Milazzo - PDFSEARCH.IO - Document Search Engine

Milazzo
Results: 35

#	Item
1	Extending the Calculus of Looping Sequences to Model Protein Interaction at the Domain Level Roberto Barbuti, 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:14 Logic Mathematics Automated theorem proving Logic programming Mathematical logic Logical truth Propositional calculus Substitution Sequence LOOP Constructible universe Ground expression
2	The Calculus of Looping Sequences Roberto Barbuti, Giulio Caravagna, Andrea Maggiolo–Schettini, Paolo Milazzo, and Giovanni Pardini Dipartimento di Informatica, Universit` a di Pisa Largo B. Pontecorvo 3, 56127 Pisa, I Add to Reading List Source URL: pages.di.unipi.it Language: English - Date: 2015-12-18 06:55:14 Biology Biochemistry Logic in computer science Molecular biology Epidermal growth factor Morphogens Protein domain Rewriting Natural computing RNA polymerase RNA
3	An Intermediate Language for the Stochastic Simulation of Biological Systems Roberto Barbuti, Giulio Caravagna, 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:15 Mathematics Formal languages Combinatorics Theoretical computer science Mathematical logic Combinatorics on words Data types Order theory Multiset Rewriting Path ordering L-system
4	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
5	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
6	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
7	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
8	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
9	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
10	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

UPDATE