Informatica - PDFSEARCH.IO - Document Search Engine

Informatica
Results: 3331

#	Item
1	Compositional Semantics of Spiking Neural P Systems Roberto Barbutia , Andrea Maggiolo-Schettinia, Paolo Milazzoa,∗, Simone Tinib a Dipartimento di Informatica, Universit` a di Pisa, Largo B. Pontecorvo 3, 56127 Pisa, Add to Reading List Source URL: pages.di.unipi.it Language: English - Date: 2015-12-18 06:55:15 Computational neuroscience Neural networks Artificial neural networks Neuroscience Cybernetics Nervous system Spiking neural network Neuron Artificial neuron Nervous system network models GalvesLcherbach model
2	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
3	Acta Informatica manuscript No. (will be inserted by the editor) Precise Parameter Synthesis for Stochastic Biochemical Systems ˇ ska · Frits Dannenberg · Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2016-03-04 09:24:11 Mathematics Mathematical analysis Distribution Functional analysis Parameter space Linear temporal logic BorelKolmogorov paradox
4	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
5	Automated Reasoning for EXplainable Artificial Intelligence Maria Paola Bonacina Dipartimento di Informatica Universit` a degli Studi di Verona Add to Reading List Source URL: www.cs.man.ac.uk Language: English - Date: 2017-08-08 03:28:31 Artificial intelligence Logic Cognitive science Automated reasoning Reasoning Accountability Technology Automated theorem proving Explainable Artificial Intelligence Xai Inference
6	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
7	Automated Reasoning for Explainable Artificial Intelligence∗ Maria Paola Bonacina1 Dipartimento di Informatica Universit` a degli Studi di Verona Strada Le Grazie 15 Add to Reading List Source URL: www.cs.man.ac.uk Language: English - Date: 2017-07-30 15:10:53 Artificial intelligence Cognitive science Logic Cognition Cybernetics Automated reasoning Automated theorem proving Computational neuroscience Explainable Artificial Intelligence Mark E. Stickel Reason Inference
8	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
9	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
10	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