نتایج جستجو برای: trio
تعداد نتایج: 2043 فیلتر نتایج به سال:
In recent decades, there has been an increase in the prevalence and medical social burden of osteoarthritis (OA) nonspecific back pain all countries world. The First Multidisciplinary Bilateral Russia-Uzbekistan Expert Council presented innovations prognosing, personalized prevention adjuvant therapy degenerative-dystrophic diseases joints spine, evidence base for effectiveness safety use drugs...
The first laser to operate with an output wavelength shorter than that of the excitation was a pulsed erbium laser reported by Johnson and Guggenheim.l Since this early work, a variety of continuous-wave lasers have been reported in which upconversion occurs by different mechanisms, and inversions of upconverted energy levels have been sustained by avalanche processes, 2.3 direct pairpumping,4 ...
We split each autosome in to non-overlapping segments of 80 SNPs and a new version of PHASE (v2.1) that deals with father-mother-child trios was applied to each segment in turn. We used the default settings of PHASE and took the most likely haplotype reconstruction returned by the program as the infered haplotypes. To link the haplotypes from each segment back together we used the information a...
Abstruct-We address the problem of formally analyzing the properties of real-time systems. We propose a method based on modeling the system as a timed Petri net and on specifying its properties in TRIO, an extension of temporal logic suitable for dealing explicitly with time and for measuring it. Timed Petri nets are axiomatized in terms of TRIO, so that their properties can be derived as theor...
Several requirements for high quality specifications of real-time systems are stated. An approach based on the integration of logic and object-oriented formalisms is advocated and the essential features of a language–named TRIO+– that exploits such an approach are described. It is also argued that the benefits of the use of rigorous approaches to the system specification phase can be highly enh...
This paper outlines the formation of the Expanded Performance (EP) trio, a chamber ensemble comprised of electric cello with sensor bow, augmented digital percussion, and digital turntable with mixer. Decisions relating to physical set-ups and control capabilities, sonic identities, and mappings of each instrument, as well as their roles within the ensemble, are explored. The contributions of t...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید