<--- Back to Details
First PageDocument Content
Science / Technology / Operations research / Simulation / Software development process / Educational software / Software development / Software / Engineering / Software engineering / Business / Project management
Date: 2001-06-19 16:24:08
Science
Technology
Operations research
Simulation
Software development process
Educational software
Software development
Software
Engineering
Software engineering
Business
Project management

Add to Reading List

Source URL: www.ics.uci.edu

Download Document from Source Website

File Size: 15,52 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