FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2727985489> ?p ?o ?g. }

• W2727985489 abstract "Nano-devices are molecular machines synthesized from molecular subcomponents whose functions are combined in order to perform the func- tion of the machine. It frequently results of relative motions of subcomponents triggered by chemical events such as excitement induced by light, acidity or tem- perature changes. Thus the function consists in the transformation of a chemical event into a mechanical event. An important and characteristic feature of these devices is their intrinsic compositional nature. Therefore process-algebra for- malisms are natural candidates for their modeling. To this aim we introduce a dialect of the -calculus, the nano calculus. It is a rule-based language, the basic agents are molecules, with explicit representa- tion of molecular complexations and internal states. Its stochastic semantics is governed by rules which correspond to chemical reactions. The stochastic rate of the rule, possibly in nite, corresponds to the kinetic rate of the reaction. We illustrated its relevance for the modeling and simulation of nano-devices with an example stemming from the collaboration with the chemistry department of bologna: the [2]RaH rotaxane. We modeled it in nano and simulated its behaviour under various conditions of concentration: rst we validate our model by checking its correspondance with the experimental data and then we investi- gate extreme conditions not observable in practice. We were able to show that some classical assumption about kinetic rates were not correct any longer in this setting. The calculus has many advantages for the modelling of biochemical sys- tems. It is in particular compact, easily reusable and modi able and maybe more importantly much biological-like and thus easier to learn for biochemists. On the other hand the -calculus, also often used to model biochemical sys- tems, has a much more developed theory and more available tools. We present an encoding from the nano calculus to the stochastic -calculus. It satis es a very strong correctness property: S ! T , [[S]] ! [[T]], where S and T are nano terms, is the rate of the reaction and [[:]] is the encoding. Thus it permits to use nano as a front-end formalism and still get the bene ts of the theory and tools of the -calculus. We carry on with a study of the chemical master equation. It probabilisti- cally describes the possible behaviours of the system over time as a di erential equation on the probability to be in a given state at a given instant. It is a key notion in chemistry. There have been many e orts to solve it, and methods such as the Gillespie's algorithm has been developed to simulate its solution. We introduce and motivate a notion of equivalence based on the chemical master equation. It equates state with similar stochastic behavior. Then we prove that this equivalence corresponds exactly to the notion backward stochastic bisimu- lation. This bisimulation di ers from the usual ones because it considers ingoing transitions instead of outgoing transitions. This results is worth in itself since it establishes a bridge between a chemical semantics and a computer semantics, but it is also the rst step towards a metrics for biochemistry. Finally we present an unexpected consequence of our study of the nano calculus. We study the relative expressiveness of the synchronous and asyn- chronous -calculus. In the classical setting the latter is known to be strictly less expressive than the former. We prove that the separation also holds in the stochastic setting. We then extend the result to the -calculi with in nite rates. We also show that under a small restriction the asynchronous -calculus with in nite rates can encode the synchronous -calculus without in nite rates. In- terestingly the separation results are proved using the encodability of the nano calculus. We also propose and motivate a stochastic -calculus with rates of di erent orders of magnitude: the multi-scale -calculus to which we generalize our results. Finally we prove that in the probabilistic settings the asynchronous -calculus can be encoded into the asynchronous one." @default.
• W2727985489 created "2017-07-14" @default.
• W2727985489 creator A5028295523 @default.
• W2727985489 date "2009-09-25" @default.
• W2727985489 modified "2023-09-23" @default.
• W2727985489 title "A formal approach to the modeling, simulation and analysis of nano-devices." @default.
• W2727985489 cites W1495299640 @default.
• W2727985489 cites W1497762588 @default.
• W2727985489 cites W1503456243 @default.
• W2727985489 cites W1513962738 @default.
• W2727985489 cites W1514324734 @default.
• W2727985489 cites W1543050278 @default.
• W2727985489 cites W1544634046 @default.
• W2727985489 cites W1561934984 @default.
• W2727985489 cites W1586735752 @default.
• W2727985489 cites W1587845087 @default.
• W2727985489 cites W1595516773 @default.
• W2727985489 cites W1603799276 @default.
• W2727985489 cites W1604669046 @default.
• W2727985489 cites W16297429 @default.
• W2727985489 cites W1934319200 @default.
• W2727985489 cites W1955679363 @default.
• W2727985489 cites W1969553191 @default.
• W2727985489 cites W1986649132 @default.
• W2727985489 cites W1991595317 @default.
• W2727985489 cites W2007006124 @default.
• W2727985489 cites W2015172530 @default.
• W2727985489 cites W2021089599 @default.
• W2727985489 cites W2021990421 @default.
• W2727985489 cites W2032908219 @default.
• W2727985489 cites W2045989306 @default.
• W2727985489 cites W2074813799 @default.
• W2727985489 cites W2075040560 @default.
• W2727985489 cites W2075379212 @default.
• W2727985489 cites W2109142454 @default.
• W2727985489 cites W2116855816 @default.
• W2727985489 cites W2118039525 @default.
• W2727985489 cites W2118229393 @default.
• W2727985489 cites W2120926795 @default.
• W2727985489 cites W2128492772 @default.
• W2727985489 cites W2130429899 @default.
• W2727985489 cites W2136730847 @default.
• W2727985489 cites W2139506117 @default.
• W2727985489 cites W2144063122 @default.
• W2727985489 cites W2152604899 @default.
• W2727985489 cites W2162607114 @default.
• W2727985489 cites W2169193349 @default.
• W2727985489 cites W2284263109 @default.
• W2727985489 cites W2340390498 @default.
• W2727985489 cites W2341023421 @default.
• W2727985489 cites W2496632825 @default.
• W2727985489 cites W3124439491 @default.
• W2727985489 cites W65560789 @default.
• W2727985489 hasPublicationYear "2009" @default.
• W2727985489 type Work @default.
• W2727985489 sameAs 2727985489 @default.
• W2727985489 citedByCount "0" @default.
• W2727985489 crossrefType "dissertation" @default.
• W2727985489 hasAuthorship W2727985489A5028295523 @default.
• W2727985489 hasConcept C121332964 @default.
• W2727985489 hasConcept C139425391 @default.
• W2727985489 hasConcept C14036430 @default.
• W2727985489 hasConcept C158154518 @default.
• W2727985489 hasConcept C171250308 @default.
• W2727985489 hasConcept C17744445 @default.
• W2727985489 hasConcept C192562407 @default.
• W2727985489 hasConcept C199539241 @default.
• W2727985489 hasConcept C2780357685 @default.
• W2727985489 hasConcept C41008148 @default.
• W2727985489 hasConcept C62520636 @default.
• W2727985489 hasConcept C78458016 @default.
• W2727985489 hasConcept C86803240 @default.
• W2727985489 hasConceptScore W2727985489C121332964 @default.
• W2727985489 hasConceptScore W2727985489C139425391 @default.
• W2727985489 hasConceptScore W2727985489C14036430 @default.
• W2727985489 hasConceptScore W2727985489C158154518 @default.
• W2727985489 hasConceptScore W2727985489C171250308 @default.
• W2727985489 hasConceptScore W2727985489C17744445 @default.
• W2727985489 hasConceptScore W2727985489C192562407 @default.
• W2727985489 hasConceptScore W2727985489C199539241 @default.
• W2727985489 hasConceptScore W2727985489C2780357685 @default.
• W2727985489 hasConceptScore W2727985489C41008148 @default.
• W2727985489 hasConceptScore W2727985489C62520636 @default.
• W2727985489 hasConceptScore W2727985489C78458016 @default.
• W2727985489 hasConceptScore W2727985489C86803240 @default.
• W2727985489 hasLocation W27279854891 @default.
• W2727985489 hasOpenAccess W2727985489 @default.
• W2727985489 hasPrimaryLocation W27279854891 @default.
• W2727985489 hasRelatedWork W1486044873 @default.
• W2727985489 hasRelatedWork W1586890499 @default.
• W2727985489 hasRelatedWork W1863410196 @default.
• W2727985489 hasRelatedWork W1967907738 @default.
• W2727985489 hasRelatedWork W1999972524 @default.
• W2727985489 hasRelatedWork W2033241085 @default.
• W2727985489 hasRelatedWork W2034020594 @default.
• W2727985489 hasRelatedWork W2094902343 @default.
• W2727985489 hasRelatedWork W2128995870 @default.
• W2727985489 hasRelatedWork W2133959263 @default.
• W2727985489 hasRelatedWork W2223741211 @default.
• W2727985489 hasRelatedWork W2294656289 @default.

• next