Fundamenta Informaticae XX–29 1 IOS Press

Source URL: pages.di.unipi.it

• Computer programming
• Biology
• Theoretical computer science
• Protein structure
• Epidermal growth factor
• Morphogens
• Sequence
• Monad
• Protein domain
• Rewriting
• WiskottAldrich syndrome protein
• Protein

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

The Calculus of Looping Sequences for Modeling Biological Membranes Roberto Barbuti Andrea Maggiolo–Schettini Paolo Milazzo Angelo Troina

Source URL: pages.di.unipi.it

• Biology
• Biotechnology
• Nucleic acids
• Molecular biology
• Epidermal growth factor
• Morphogens
• RNA
• DNA
• Protein domain
• Transmembrane protein

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

Source URL: pages.di.unipi.it

• Theoretical computer science
• Mathematics
• Logic in computer science
• Lambda calculus
• Formal languages
• Mathematical logic
• Rewriting
• Fixed-point combinator
• Sequence
• Rewrite order
• Substitution

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

Source URL: pages.di.unipi.it

• Differential equations
• Biology
• Stochastic simulation
• Stochastic processes
• Cellular processes
• Cell cycle
• Delay differential equation
• G1 phase
• Gillespie algorithm

MATHEMATICS OF COMPUTATION Volume 81, Number 279, July 2012, Pages 1487–1511 SArticle electronically published on February 17, 2012 PERTURBATION ANALYSIS OF THE QR FACTOR R

Source URL: perso.ens-lyon.fr

• Algebra
• Mathematics
• Linear algebra
• Rank
• QR decomposition
• Matrix
• Determinant

JFP 27, e19, 29 pages, 2017 https://doi.orgS0956796817000107 1

Source URL: jeapostrophe.github.io

• Mathematics
• Mathematical logic
• Theoretical computer science
• Enumerative combinatorics
• Enumeration
• Ordering
• Lambda calculus
• Type theory
• Enumerated type
• Recursively enumerable set
• Combinatory logic

Appeared in Proceedings of the Fourth Symposium on Operating Systems Design and Implementation (OSDI 2000), pages 347–360, San Diego, CA, October 23–25, 2000. Knit: Component Composition for Systems Software Alastair

Source URL: www.cs.utah.edu

• Software engineering
• Computer programming
• Computing
• Object-oriented programming
• Component-based software engineering
• Inter-process communication
• C++
• Component Object Model
• Inline function
• ECO
• Scope
• C standard library

PERSPECTIVES AOÛT/SEPTEMBREPerspectives Stratégie d’investissement – pages 3-5

Source URL: perspectives.pictet.com

CS2BioModular Verification of Interactive Systems with Application to Biology Peter Dr´abik Andrea Maggiolo-Schettini Paolo Milazzo Dipartimento di Informatica, Universit`

Source URL: pages.di.unipi.it

• Gene expression
• Molecular biology
• Biochemistry
• Biology
• Lac operon
• Beta-galactosidase
• Inducer
• Allolactose
• Galactosidases
• Lac repressor
• Lactose
• Galactose