<--- Back to Details
First PageDocument Content
Scientific modeling / Models of computation / Simulation / Business process modeling / Modeling and simulation / Systems engineering / Modeling language / Business process management / Petri net / Conceptual model / Scientific modelling
Date: 2015-02-02 08:46:58
Scientific modeling
Models of computation
Simulation
Business process modeling
Modeling and simulation
Systems engineering
Modeling language
Business process management
Petri net
Conceptual model
Scientific modelling

ABOUT MANUSCRIPTS FOR IJ ITA

Add to Reading List

Source URL: foibg.com

Download Document from Source Website

File Size: 635,46 KB

Share Document on Facebook

Similar Documents

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

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

DocID: 1xVQS - View Document

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

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

DocID: 1xVuZ - View Document

Neutrale Interessenvertretung der Anwender numerischer Simulationsmethoden Einladung und Vortragsprogramm Berechnung und Simulation:

DocID: 1xV8C - View Document

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

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

DocID: 1xV6J - View Document

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

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

DocID: 1xV6j - View Document