<--- Back to Details
First PageDocument Content
Science / CityGML / Computer-aided design / Markup languages / Technology / Geodesy / 3D city models / Geography Markup Language / Simulation / Geographic information systems / GIS file formats / Computing
Date: 2015-01-22 13:04:40
Science
CityGML
Computer-aided design
Markup languages
Technology
Geodesy
3D city models
Geography Markup Language
Simulation
Geographic information systems
GIS file formats
Computing

int-v14i2-Geo-International-v7.indd

Add to Reading List

Source URL: www.geoconnexion.com

Download Document from Source Website

File Size: 980,82 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