نتایج جستجو برای: short term enrichment time ste
تعداد نتایج: 2613015 فیلتر نتایج به سال:
55 When dealing with sensor data for a team sport, it is often useful to be able to query across multiple sensors and thus to be able to compare data from several players for any given moment in time. In order to do this, the data from all sensors must be synchronized so that the start time of the game or activity can be identified in the data from each individual sensor. This is necessary beca...
We investigate expressivity and complexity of hybrid logics on linear structures. Hybrid logics are an enrichment of modal logics with certain first-order features which are algorithmically well behaved. Therefore, they are well suited for the specification of certain properties of computational systems. We show that hybrid logics are more expressive than usual modal and temporal logics on line...
Results from a non-leptonic neural-network trigger hosted by experiment WA92, looking for beauty particle production from 350 GeV negative pions on a fixed Cu target, are presented. The neural trigger has been used to send events selected by means of a non-leptonic signature based on microvertex detector information to a special data stream, meant for early analysis. The non-leptonic signature,...
The purpose of this paper is to show that we can work in the spirit of minimalist grammars by means of a labelled commutative (and associative) calculus (Oehrle’s Mon:LP), enriched with constraints on the use of assumptions. Lexical entries are considered proper axioms, some of which are coupled with (sequences of) hypotheses which must necessarily be introduced and discharged before the use of...
BACKGROUND Measurement of systolic and diastolic function in animal models is challenging by conventional non-invasive methods. Therefore, we aimed at comparing speckle-tracking echocardiography (STE)-derived parameters to the indices of left ventricular (LV) pressure-volume (PV) analysis to detect cardiac dysfunction in rat models of type-1 (T1DM) and type-2 (T2DM) diabetes mellitus. METHODS...
The enrichment of the intergalactic medium with heavy elements is a process that lies at the nexus of poorly-understood aspects of physical cosmology. We review current understanding of the processes that may remove metals from galaxies, the basic predictions of these models, the key observational constraints on enrichment, and how intergalactic enrichment may be used to test cosmological simul...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید