Paolo - PDFSEARCH.IO - Document Search Engine

Paolo
Results: 2705

#	Item
11	The Calculus of Looping Sequences for Modeling Biological Membranes Roberto Barbuti Andrea Maggiolo–Schettini Paolo Milazzo Angelo Troina Add to Reading List Source URL: pages.di.unipi.it Language: English - Date: 2015-12-18 06:55:15 Biology Biotechnology Nucleic acids Molecular biology Epidermal growth factor Morphogens RNA DNA Protein domain Transmembrane protein
12	Stochastic Calculus of Looping Sequences for the Modelling and Simulation of Cellular Pathways Roberto Barbuti1 , Andrea Maggiolo–Schettini1, Paolo Milazzo1 , Paolo Tiberi1 , and Angelo Troina2 1 Add to Reading List Source URL: pages.di.unipi.it Language: English - Date: 2015-12-18 06:55:15 Theoretical computer science Mathematics Logic in computer science Lambda calculus Formal languages Mathematical logic Rewriting Fixed-point combinator Sequence Rewrite order Substitution
13	Delay Stochastic Simulation of Biological Systems: A Purely Delayed Approach Roberto Barbuti, Giulio Caravagna, Andrea Maggiolo-Schettini, and Paolo Milazzo Dipartimento di Informatica, Universit` a di Pisa Add to Reading List Source URL: pages.di.unipi.it Language: English - Date: 2015-12-18 06:55:15 Differential equations Biology Stochastic simulation Stochastic processes Cellular processes Cell cycle Delay differential equation G1 phase Gillespie algorithm
14	CS2BioModular Verification of Interactive Systems with Application to Biology Peter Dr´abik Andrea Maggiolo-Schettini Paolo Milazzo Dipartimento di Informatica, Universit` Add to Reading List Source URL: pages.di.unipi.it Language: English - Date: 2015-12-18 06:55:14 Gene expression Molecular biology Biochemistry Biology Lac operon Beta-galactosidase Inducer Allolactose Galactosidases Lac repressor Lactose Galactose
15	Natural Computing manuscript No. (will be inserted by the editor) Spatial P Systems Roberto Barbuti · Andrea Maggiolo-Schettini · Paolo Milazzo · Giovanni Pardini · Add to Reading List Source URL: pages.di.unipi.it Language: English - Date: 2015-12-18 06:55:15 Models of computation Mathematics Membrane technology Theoretical computer science Chemistry Membrane computing P system Multiset Canonical form Matrix Natural computing Membrane
16	Compositional Semantics and Behavioral Equivalences for P Systems Roberto Barbuti, Andrea Maggiolo–Schettini, Paolo Milazzo Dipartimento di Informatica Universit` a di Pisa Add to Reading List Source URL: pages.di.unipi.it Language: English - Date: 2015-12-18 06:55:14 Models of computation Chemistry Membrane technology Logic P system Mathematics Multiset Modal logic Membrane Mobile membranes Membrane computing
17	Design and Verification of Long–Running Transactions in a Timed Framework Ruggero Lanotte a , Andrea Maggiolo–Schettini b , Paolo Milazzo b , Angelo Troina c,d,∗ a Dipartimento Add to Reading List Source URL: pages.di.unipi.it Language: English - Date: 2015-12-18 06:55:14 Mathematics Algebra Abstract algebra Field theory Distribution Functional analysis Papyrus 1 Valuation
18	Towards a P Systems Normal Form Preserving Step–by–step Behaviour Roberto Barbuti1 Andrea Maggiolo-Schettini1 1 Paolo Milazzo Add to Reading List Source URL: pages.di.unipi.it Language: English - Date: 2015-12-18 06:55:15 Chemistry Membrane technology Models of computation Water technology P system Membrane Mobile membranes
19	Bisimulation Congruences in the Calculus of Looping Sequences Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, and Angelo Troina Dipartimento di Informatica, Universit` a di Pisa Add to Reading List Source URL: pages.di.unipi.it Language: English - Date: 2015-12-18 06:55:14 Theoretical computer science Logic in computer science Software engineering Computing Formal languages Formal methods Bisimulation -calculus Monad Petri net Rewriting Lac operon
20	MeCBICTimed P Automata Roberto Barbutia,1 Andrea Maggiolo-Schettinia,1 Paolo Milazzoa,1 Luca Teseib,2 a Add to Reading List Source URL: pages.di.unipi.it Language: English - Date: 2015-12-18 06:55:15 Models of computation Timed automaton Symbol Multiset P system Mathematics Mobile membranes

UPDATE