Pisa - PDFSEARCH.IO - Document Search Engine

Pisa
Results: 2684

#	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	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
4	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
5	Ann. Sc. Norm. Super. Pisa Cl. Sci. (5) Vol. XVIII (2018), On Lang’s conjecture for some product-quotient surfaces J ULIEN G RIVAUX , J ULIANA R ESTREPO V ELASQUEZ AND E RWAN ROUSSEAU Add to Reading List Source URL: jgrivaux.perso.math.cnrs.fr Language: English - Date: 2018-07-16 09:35:28 Algebra Abstract algebra Geometry Algebraic geometry Group theory Algebraic surfaces Divisor Projective variety Quotient group Differential geometry of surfaces GIT quotient Draft:Residual intersection
6	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
7	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
8	Pisa: Arbitration Outsourcing for State Channels Patrick McCorry Surya Bakshi Iddo Bentov Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 2018-05-23 16:05:11 Cryptocurrencies Economy Money Financial services Smart contract Blockchain Ethereum Bitcoin Cheque Settlement Lightning Network
9	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
10	Calculus, heat flow and curvature-dimension bounds in metric measure spaces Luigi Ambrosio (Scuola Normale Superiore, Pisa, Italy) March 3, Add to Reading List Source URL: eta.impa.br Language: English - Date: 2018-07-28 17:09:47 Mathematical analysis Mathematics Analysis Metric geometry Differential topology Measure theory Vector calculus Vector field Transportation theory Riemannian manifold Lipschitz continuity Metric space