نتایج جستجو برای: horizontal composition

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

2011
A. T. J. de Laat M. van Weele

Satellite observations show that the 2010 Antarctic ozone hole is characterized by anomalously small amounts of photochemical ozone destruction (40-60% less than the 2005-2009 average). Observations from the MLS instrument show that this is mainly related to reduced photochemical ozone destruction between 20-25 km altitude. Lower down between 15-20 km the atmospheric chemical composition and ph...

2016
R. Henda E. Scheid L. Kouassi J. Samitier A. El Hassani R. HENDA

Silicon nitride was deposited from disilane and ammonia reactant gases under LPCVD conditions and at temperatures around 600 OC. The growth rate was studied experimentally on 4 and 5-inch silicon wafers by batch depositions in a horizontal hotwall LPCVD furnace. The kinetics of growth was found to follow a LangmuirHinshelwood mechanism and the appropriate kinetic constants were estimated using ...

1995
Eike Best Hans Fleischhack Wojciech Fra czak Richard P. Hopkins Hanna Klaudel Elisabeth Pelz

In this paper a high-level Petri net model called M-nets (for multilabeled nets) is developed. A distinctive feature of this model is that it allows not only vertical unfolding, as do most other high-level net models, but also horizontal composition-in particular, synchronisation-in a manner similar to process algebras such as CCS. This turns the set of M-nets into a domain whose composition op...

2015
B. Langerock M. De Mazière F. Hendrick C. Vigouroux F. Desmet B. Dils S. Niemeijer

MACC-II,III, Monitoring Atmospheric Composition and Climate, is the current pre-operational Copernicus Atmosphere Monitoring Service (CAMS). It provides data records on atmospheric composition for recent years, present conditions and forecasts (a few days ahead). To support the quality assessment of the CAMS products, the EU FP7 project Network Of ground-based Remote-Sensing Observations (NORS)...

2010
A. Sernadas C. Sernadas J. Rasga

Recent graph-theoretic developments [26, 27] in the semantic theory of combination of logics look at a signature as a multi-graph (of sorts and connectives) and obtain the induced language as the category of multipaths where formulas appear as morphisms. This idea is carried over to Hilbert-style deductive systems by looking at an inference rule as a metaedge from its premises to its conclusion...

Journal: :PLoS Biology 2003
Emmanuelle Lerat Vincent Daubin Nancy A Moran

The rapid increase in published genomic sequences for bacteria presents the first opportunity to reconstruct evolutionary events on the scale of entire genomes. However, extensive lateral gene transfer (LGT) may thwart this goal by preventing the establishment of organismal relationships based on individual gene phylogenies. The group for which cases of LGT are most frequently documented and fo...

Journal: :Applied and environmental microbiology 2006
Robert J Martinez Yanling Wang Melanie A Raimondo Jonna M Coombs Tamar Barkay Patricia A Sobecky

Aerobic heterotrophs were isolated from subsurface soil samples obtained from the U.S. Department of Energy's (DOE) Field Research Center (FRC) located at Oak Ridge, Tenn. The FRC represents a unique, extreme environment consisting of highly acidic soils with co-occurring heavy metals, radionuclides, and high nitrate concentrations. Four hundred isolates obtained from contaminated soil were ass...

2011
Marios Poulos

The calibration method used in this study allows for the examination of distributed, but potentially subtle, representations of semantic information between mechanistic encoding of the language and the EEG. In particular, a horizontal connection between two basic Fundamental Operations (Semantic Composition and Synchronization) is attempted. The experimental results gave significant differences...

2006
Donald Sannella Andrzej Tarlecki

We recall the contribution of Goguen and Burstall’s 1980 CAT paper and its powerful influence on theories of specification implementation that were emerging at about the same time, via the introduction of the notions of vertical and horizontal composition of implementations. We then give a different view of implementation which we believe provides a more adequate reflection of the rather subtle...

2005
Wilford D. Gardner Pierre E. Biscaye Mary Jo Richardson

Sediment traps are used to measure fluxes and collect samples for studies in biology, chemistry and geology, yet we have much to learn about factors that influence particle collection rates. Toward this end, we deployed cylindrical sediment traps on five current meter moorings across the Vema Channel to field-test the effect of different horizontal particle fluxes on the collection rate of the ...

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

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