999 resultados para Transition P System


Relevância:

80.00% 80.00%

Publicador:

Resumo:

We discuss the asymptotic properties of quantum states density for fundamental p-branes which can yield a microscopic interpretation of the thermodynamic quantities in M-theory. The matching of the BPS part of spectrum for superstring and supermembrane gives the possibility of getting membrane's results via string calculations. In the weak coupling limit of M-theory, the critical behavior coincides with the first-order phase transition in the standard string theory at temperature less than the Hagedorn's temperature T-H. The critical temperature at large coupling constant is computed by considering M-theory on manifold with topology R-9 circle times T-2. Alternatively we argue that any finite temperature can be introduced in the framework of membrane thermodynamics.

Relevância:

80.00% 80.00%

Publicador:

Resumo:

A very recent and exciting new area of research is the application of Concurrency Theory tools to formalize and analyze biological systems and one of the most promising approach comes from the process algebras (process calculi). A process calculus is a formal language that allows to describe concurrent systems and comes with well-established techniques for quantitative and qualitative analysis. Biological systems can be regarded as concurrent systems and therefore modeled by means of process calculi. In this thesis we focus on the process calculi approach to the modeling of biological systems and investigate, mostly from a theoretical point of view, several promising bio-inspired formalisms: Brane Calculi and k-calculus family. We provide several expressiveness results mostly by means of comparisons between calculi. We provide a lower bound to the computational power of the non Turing complete MDB Brane Calculi by showing an encoding of a simple P-System into MDB. We address the issue of local implementation within the k-calculus family: whether n-way rewrites can be simulated by binary interactions only. A solution introducing divergence is provided and we prove a deterministic solution preserving the termination property is not possible. We use the symmetric leader election problem to test synchronization capabilities within the k-calculus family. Several fragments of the original k-calculus are considered and we prove an impossibility result about encoding n-way synchronization into (n-1)-way synchronization. A similar impossibility result is obtained in a pure computer science context. We introduce CCSn, an extension of CCS with multiple input prefixes and show, using the dining philosophers problem, that there is no reasonable encoding of CCS(n+1) into CCSn.

Relevância:

80.00% 80.00%

Publicador:

Resumo:

Background The reduction in the amount of food available for European avian scavengers as a consequence of restrictive public health policies is a concern for managers and conservationists. Since 2002, the application of several sanitary regulations has limited the availability of feeding resources provided by domestic carcasses, but theoretical studies assessing whether the availability of food resources provided by wild ungulates are enough to cover energetic requirements are lacking. Methodology/Findings We assessed food provided by a wild ungulate population in two areas of NE Spain inhabited by three vulture species and developed a P System computational model to assess the effects of the carrion resources provided on their population dynamics. We compared the real population trend with to a hypothetical scenario in which only food provided by wild ungulates was available. Simulation testing of the model suggests that wild ungulates constitute an important food resource in the Pyrenees and the vulture population inhabiting this area could grow if only the food provided by wild ungulates would be available. On the contrary, in the Pre-Pyrenees there is insufficient food to cover the energy requirements of avian scavenger guilds, declining sharply if biomass from domestic animals would not be available. Conclusions/Significance Our results suggest that public health legislation can modify scavenger population trends if a large number of domestic ungulate carcasses disappear from the mountains. In this case, food provided by wild ungulates could be not enough and supplementary feeding could be necessary if other alternative food resources are not available (i.e. the reintroduction of wild ungulates), preferably in European Mediterranean scenarios sharing similar and socio-economic conditions where there are low densities of wild ungulates. Managers should anticipate the conservation actions required by assessing food availability and the possible scenarios in order to make the most suitable decisions.

Relevância:

80.00% 80.00%

Publicador:

Resumo:

J. P.

Relevância:

80.00% 80.00%

Publicador:

Resumo:

P.

Relevância:

80.00% 80.00%

Publicador:

Resumo:

-p-

Relevância:

80.00% 80.00%

Publicador:

Resumo:

P. P.

Relevância:

80.00% 80.00%

Publicador:

Resumo:

J. P.

Relevância:

80.00% 80.00%

Publicador:

Resumo:

E. P.

Relevância:

80.00% 80.00%

Publicador:

Resumo:

F. P.

Relevância:

80.00% 80.00%

Publicador:

Resumo:

F. P.

Relevância:

80.00% 80.00%

Publicador:

Resumo:

A. H. P.