نتایج جستجو برای: mega

تعداد نتایج: 7441  

2014
Joakim Lilliesköld Lars Taxén

In this paper we propose a workpractice approach towards operationalizing the coordination of mega-projects. The approach matured over several years in development practice at Ericsson, a major supplier of telecommunication products and services worldwide. Key points in the approach are the management of critical dependencies and the construction of a communal understanding on how to coordinate...

2004
DREW NELSON

Over the last forty years, the Brazilian Amazon has been the object of many development and industrialization programs. The vast majority of those programs have been “mega-projects” implemented by the Brazilian federal government. Recently, several states have implemented their own style of economic development programs in the Amazon. These smaller scale “local” sustainable development programs...

1997
Lassaad Cheikhrouhou Detlef Fehrer Armin Fiedler Xiaorong Huang Manfred Kerber Michael Kohlhase Karsten Konrad Andreas Meier Erica Melis Wolf Schaarschmidt Volker Sorge

mega is a mixed-initiative system with the ultimate purpose of supporting theorem proving in main-stream mathematics and mathematics education. The current system consists of a proof planner and an integrated collection of tools for formulating problems, proving subproblems, and proof presentation.

2008
Andrew Blanchard Jeffry Golden Robert Morgan James Cai Andrea Fumagalli Franco Maloberti

Remote sensing technologies have long since been relegated to the implementation of airborne, or spaceborne configurations. We recognize that distributed sensors in all configurations can contribute to improved sensor performance and expanded measurement configurations. These new sensor systems require designs that can be scaled to hundreds to potentially thousands of individual sensors or sens...

Journal: :The Journal of Cell Biology 1964
M. Steinert

Un organite d'ultrastructure typiquement mitochondriale a t6 rcemment observe chez les trypanosomes, en troite association avec le kin6tonucleus (3, 6-8, 17). Cette meme association a 6t6 trouvee chez un bodonide (14). Bien que de forme assez variable, cet organite est generalement allong6 et a souvent 6t6 decrit sous l'aspect d'un long tube ou canal (6, 7) sinueux, allant du kin6tonucleus chac...

1996
Roman Barták

Meta-programming is a well-known technique widely used in logic programming and artificial intelligence. Meta-interpreters are powerful tools especially for writing expert systems in general and for writing their inference machines in particular. While the classical approach to meta-interpretation is based on the syntactic definition of a meta-interpreter, new approach presented in this paper c...

2005
W. Retschitzegger W. Schwinger

With the advent of the Model Driven Architecture, models are replacing code as the major artifact in software development. A critical success factor for this is the possibility to derive models from each other in terms of transformations. Existing approaches, such as the forthcoming QVT-standard, will provide a proper foundation for transforming models on a fine-grained level. They, however, do...

2015
Sivakumar Gopalswamy Joseph Mathew

MELAS syndrome (mitochondrial cytopathy, encephalomyopathy, lactic acidosis and stroke like episodes) is a syndrome in which signs and symptoms of gastro-intestinal disease are uncommon, if not rare. We describe a young female patient who presented as an acute surgical emergency, diagnosed as toxic mega colon necessitating an emergency total colectomy; the diagnosis of MELAS syndrome was made p...

Journal: :Trends in ecology & evolution 2005
William F Laurance

The rate of forest destruction has accelerated sharply in Brazilian Amazonia, but there are also vital conservation opportunities with the ongoing designation of important new protected areas. In a timely paper, Carlos Peres argues that an extensive network of mega-reserves, operationally defined as those exceeding 1 million ha in area, is needed to ensure the long-term persistence of Amazonian...

نمودار تعداد نتایج جستجو در هر سال

با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید