22 resultados para refinement calculus

em BORIS: Bern Open Repository and Information System - Berna - Suiça


Relevância:

20.00% 20.00%

Publicador:

Resumo:

In vertebrates, efficient gas exchange depends primarily on establishment of a thin blood-gas barrier (BGB). The primordial air conduits of the developing avian lung are lined with a cuboidal epithelium that is ultimately converted to a squamous one that participates in the formation of the BGB. In the early stages, cells form intraluminal protrusions (aposomes) then transcellular double membranes separating the aposome from the basal part of the cell establish, unzip and sever the aposome from the cell. Additionally, better endowed cells squeeze out adjacent cells or such cells constrict spontaneously thus extruding the squeezed out aposome. Formation of vesicles or vacuoles below the aposome and fusion of such cavities with their neighboring cognates results in severing of the aposome. Augmentation of cavities and their subsequent fusion with the apical plasma membranes results in formation of numerous microfolds separating concavities on the apical part of the cell. Abscission of such microfolds results in a smooth squamous epithelium just before hatching.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

To quantify the dose of pancuronium required to obtain moderate neuromuscular blockade as monitored by acceleromyography (NMB(mod) : train-of-four count of ≤2) as a part of a balanced anaesthetic protocol in pigs used in cardiovascular research.

Relevância:

20.00% 20.00%

Publicador:

Relevância:

20.00% 20.00%

Publicador:

Relevância:

20.00% 20.00%

Publicador:

Relevância:

20.00% 20.00%

Publicador:

Resumo:

The demands of developing modern, highly dynamic applications have led to an increasing interest in dynamic programming languages and mechanisms. Not only applications must evolve over time, but the object models themselves may need to be adapted to the requirements of different run-time contexts. Class-based models and prototype-based models, for example, may need to co-exist to meet the demands of dynamically evolving applications. Multi-dimensional dispatch, fine-grained and dynamic software composition, and run-time evolution of behaviour are further examples of diverse mechanisms which may need to co-exist in a dynamically evolving run-time environment How can we model the semantics of these highly dynamic features, yet still offer some reasonable safety guarantees? To this end we present an original calculus in which objects can adapt their behaviour at run-time to changing contexts. Both objects and environments are represented by first-class mappings between variables and values. Message sends are dynamically resolved to method calls. Variables may be dynamically bound, making it possible to model a variety of dynamic mechanisms within the same calculus. Despite the highly dynamic nature of the calculus, safety properties are assured by a type assignment system.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

The demands of developing modern, highly dynamic applications have led to an increasing interest in dynamic programming languages and mechanisms. Not only must applications evolve over time, but the object models themselves may need to be adapted to the requirements of different run-time contexts. Class-based models and prototype-based models, for example, may need to co-exist to meet the demands of dynamically evolving applications. Multi-dimensional dispatch, fine-grained and dynamic software composition, and run-time evolution of behaviour are further examples of diverse mechanisms which may need to co-exist in a dynamically evolving run-time environment. How can we model the semantics of these highly dynamic features, yet still offer some reasonable safety guarantees? To this end we present an original calculus in which objects can adapt their behaviour at run-time. Both objects and environments are represented by first-class mappings between variables and values. Message sends are dynamically resolved to method calls. Variables may be dynamically bound, making it possible to model a variety of dynamic mechanisms within the same calculus. Despite the highly dynamic nature of the calculus, safety properties are assured by a type assignment system.

Relevância:

20.00% 20.00%

Publicador: