Andrea - PDFSEARCH.IO - Document Search Engine

Andrea
Results: 6699

#	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	Dissertation Abstract: Distributed Privacy-preserving Multi-agent Planning Andrea Bonisoli Univrsit`a degli Studi di Brescia Dipartimento di Ingegneria dell’Informazione Via Branze, Brescia (IT) andrea.bonis Add to Reading List Source URL: icaps16.icaps-conference.org Language: English - Date: 2016-06-09 08:09:19 Multi-agent systems Automated planning and scheduling Artificial intelligence Systems science Computing Multi-agent planning Planning Domain Definition Language Intelligent agent Agent-based model
14	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
15	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
16	When Your Fitness Tracker Betrays You: Quantifying the Predictability of Biometric Features Across Contexts Simon Eberz∗ , Giulio Lovisotto∗ , Andrea Patan`e∗ , Marta Kwiatkowska∗ , Vincent Lenders† and Ivan Ma Add to Reading List Source URL: www.lenders.ch Language: English - Date: 2018-06-20 05:17:28 Security engineering Biometrics Cryptography Prevention Surveillance Security Identification Authentication Facial recognition system Password Computer security Replay attack
17	Efficient Zero-Knowledge Arguments for Arithmetic Circuits in the Discrete Log Setting†∗ Jonathan Bootle1 , Andrea Cerulli1 , Pyrros Chaidos1∗∗ , Jens Groth1 , and Christophe Petit2 1 Add to Reading List Source URL: eprint.iacr.org Language: English - Date: 2016-03-08 12:29:47 Cryptography Computational complexity theory Complexity classes Randomized algorithms Zero-knowledge proof Analysis of algorithms NP Commitment scheme Probabilistically checkable proof IP Logarithm XTR
18	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
19	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
20	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