<--- Back to Details
First PageDocument Content
Knowledge / Military / One Semi-Automated Forces / High-level architecture / Simulation / Scientific modelling / Interoperability / Conceptual interoperability / Live /  virtual /  and constructive / Modeling and simulation / Composability / Computing
Date: 2004-04-16 14:09:46
Knowledge
Military
One Semi-Automated Forces
High-level architecture
Simulation
Scientific modelling
Interoperability
Conceptual interoperability
Live
virtual
and constructive
Modeling and simulation
Composability
Computing

Add to Reading List

Source URL: www.cs.virginia.edu

Download Document from Source Website

File Size: 204,50 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