We say that A ≤LR B if every B-random number isA-random. Intuitively this means that if oracle A can identify some patterns on some real !, oracle B can also find patterns on !. In other words, B is at least as good as A for this purpose. We study the structure of the LR degrees globally and locally (i.e., restricted to the computably enumerable degrees) and their relationship with the Turing d...

The platform-based design methodology [1] is based on the usage of formal modeling techniques, clearly defined abstraction levels and the separation of concerns to enable an effective design process. The METROPOLIS framework embodies the platform-based design methodology and has been applied to a number of case studies across multiple domains. Based on these experiences, we have identified thre...

background: generation of an effective dendritic cell (dc) based cancer vaccine depends on appropriate differentiation of monocytes in vitro. objective: to compare the effects of monocyte separation methods, flask adherence (flask-dc) and magnetic activated cell sorting (macs-dc), on phenotypic and functional characteristics of resultant dcs. methods: dcs from healthy volunteers were generated ...

Model-to-text transformations are often used to produce source code, documentation or other textual artefacts from models. A common way of implementing them is using template languages. Templates are easy to read and write, however, they tend to become long and complex as the complexity of the metamodel grows. This paper proposes a design pattern that allows for the decomposition of complex tem...

Recent technologies, like general purpose computing GPU, have a major limitation consisting in the difficulties that developers face when implementing parallel code using deviceoriented languages. This paper aims to assist developers by automatically producing snippets of code handling GPU-oriented tasks. Our proposed approach is based on Aspect-OrientedProgramming and generates modules in CUDA...

The flight navigation procedures envisioned under the Next Generation Transportation System will require a specification of the expected route of each flight. Once these specifications are provided, the flights must proceed along their routes with such speed profiles that every pair of aircraft complies with the minimal separation requirement imposed by the Federal Aviation Administration. The ...

This paper presents a new, simple method of measuring the generation lifetime in SOI (silicon-on-insulator) MOSFETS. Lifetime is extracted from the transient characteristics of MOSFET subthreshold current. Using this technique, generation lifetime was mapped across ®nished SIMOX (separation by implantated oxygen) wafers, BESOI (bonded and etchedback SOI) wafers, and UNIBOND wafers. BESOI materi...

this study focuses on the effect of social and cultural determinants on generation gap in tehranian families in 2011. the purpose of this study is to determine effective factors on generation gap in tehranian families, analytical and empirical patterns and be surveyed by related theories and effective factors. the research was prepared by questions including whether there is a relationship betw...

Surface chest motion can be easily monitored with a wide variety of sensors such as pressure belts, fiber Bragg gratings and inertial sensors, etc. The current applications of these sensors are mainly restricted to respiratory motion monitoring/analysis due to the technical challenges involved in separation of the cardiac motion from the dominant respiratory motion. The contribution of heart to...