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,

Source URL: pages.di.unipi.it

• Computational neuroscience
• Neural networks
• Artificial neural networks
• Neuroscience
• Cybernetics
• Nervous system
• Spiking neural network
• Neuron
• Artificial neuron
• Nervous system network models
• GalvesLcherbach model

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

Source URL: pages.di.unipi.it

• Logic
• Mathematics
• Automated theorem proving
• Logic programming
• Mathematical logic
• Logical truth
• Propositional calculus
• Substitution
• Sequence
• LOOP
• Constructible universe
• Ground expression

FBTCAn Intermediate Language for the Simulation of Biological Systems 1 Roberto Barbuti,2 Giulio Caravagna,3 Andrea Maggiolo–Schettini4 and Paolo Milazzo5

Source URL: pages.di.unipi.it

• Mathematics
• Theoretical computer science
• Mathematical logic
• Formal languages
• Order theory
• Logic in computer science
• Multiset
• Path ordering
• Term
• Structure
• Rewriting
• Model theory

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

Source URL: pages.di.unipi.it

• Biology
• Biochemistry
• Logic in computer science
• Molecular biology
• Epidermal growth factor
• Morphogens
• Protein domain
• Rewriting
• Natural computing
• RNA polymerase
• RNA

MeCBICTranslating Stochastic CLS into Maude Thomas Anung Basukia,b,1 Antonio Ceronea,2 Paolo Milazzob,3 a

Source URL: pages.di.unipi.it

• Theoretical computer science
• Stochastic processes
• Formal languages
• Logic in computer science
• Stochastic simulation
• Rewriting

1 “I Can’t Get No Satisfaction”: Helping Autonomous Systems Identify Their Unsatisfied Inter-domain Interests Juan Camilo Cardona, Stefano Vissicchio, Paolo Lucente, and Pierre Francois

Source URL: inl.info.ucl.ac.be

Probabilistic Model Checking of Biological Systems with Uncertain Kinetic Rates Roberto Barbuti1 , Francesca Levi1 , Paolo Milazzo1 , and Guido Scatena2 1 2

Source URL: pages.di.unipi.it

• Probabilistic CTL
• Temporal logic
• Markov chain

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

Source URL: pages.di.unipi.it

• Mathematics
• Formal languages
• Combinatorics
• Theoretical computer science
• Mathematical logic
• Combinatorics on words
• Data types
• Order theory
• Multiset
• Rewriting
• Path ordering
• L-system

SCIENZA E VACCINAZIONI PLAUSIBILITÀ, EVIDENZE, DEONTOLOGIA Paolo Bellavite Medico chirurgo, specialista in Ematologia, Diplomato in Statistica Sanitaria e Epidemiologia, Cultore della materia di Patologia Generale, Univ

Source URL: www.medicinacentratasullapersona.org

Simulation of Kohn’s Molecular Interaction Maps Through Translation into Stochastic CLS+ Roberto Barbuti1 , Daniela Lepri2 , Andrea Maggiolo-Schettini1 , Paolo Milazzo1 , Giovanni Pardini1 , and Aureliano Rama1 1 Dipar

Source URL: pages.di.unipi.it

• Mathematical analysis
• Mathematics
• Distribution
• Functional analysis
• Markov chain
• Chemical reaction