<--- Back to Details
First PageDocument Content
Computing / Emerging technologies / E-Science / National Strategic Computing Initiative / Supercomputing / Cyberinfrastructure / Texas Advanced Computing Center / Big data / Simulation / Supercomputer / BRAIN Initiative / San Diego Supercomputer Center
Date: 2015-12-14 10:05:41
Computing
Emerging technologies
E-Science
National Strategic Computing Initiative
Supercomputing
Cyberinfrastructure
Texas Advanced Computing Center
Big data
Simulation
Supercomputer
BRAIN Initiative
San Diego Supercomputer Center

TRANSFORMING RESEARCH TRANSFORMING OUR WORLD Coalition for

Add to Reading List

Source URL: casc.org

Download Document from Source Website

File Size: 1,29 MB

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