<--- Back to Details
First PageDocument Content
Systems biology / Mathematical and theoretical biology / Scientific modeling / Biological systems / Systems ecology / Theoretical ecology / Ecosystem model / Environmental niche modelling / Species distribution / Biology / Science / Ecology
Date: 2013-01-15 18:33:16
Systems biology
Mathematical and theoretical biology
Scientific modeling
Biological systems
Systems ecology
Theoretical ecology
Ecosystem model
Environmental niche modelling
Species distribution
Biology
Science
Ecology

Coupling Meta-population Models with GIS to Predict Freshwater Biotic Invasions

Add to Reading List

Source URL: www.mssanz.org.au

Download Document from Source Website

File Size: 295,71 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

Probabilistic CTL / Temporal logic / Markov chain

Probabilistic Model Checking of Biological Systems with Uncertain Kinetic Rates Roberto Barbuti1 , Francesca Levi1 , Paolo Milazzo1 , and Guido Scatena2 1 2

DocID: 1xVCd - 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

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

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

DocID: 1xV5e - View Document

Models of computation / Concurrency / Computing / Formal methods / Diagrams / Petri net / Finite automata / Model checking / Analog television / Finite-state machine / Actor model / Information and communications technology

DYNAMIC SYNC-PROGRAMS FOR MODULAR VERIFICATION OF BIOLOGICAL SYSTEMS Peter Dr´abik, Andrea Maggiolo-Schettini and Paolo Milazzo Dipartimento di Informatica, Universit`a di Pisa

DocID: 1xTUq - View Document