Search Sciweavers | Sciweavers

29172 search results - page 48 / 5835

» Modeling Systems in CLP

141

ATVA
2005
Springer

142views Hardware» more ATVA 2005»

Algorithmic Algebraic Model Checking II: Decidability of Semi-algebraic Model Checking and Its Applications to Systems Biology

15 years 11 months ago

Download cs.nyu.edu

Venkatesh Mysore, Carla Piazza, Bud Mishra

claim paper

Read More »

100

click to vote

ICINCO
2007

56views Robotics» more ICINCO 2007»

Mechanical system modelling of robot dynamics using a mass/pulley model

15 years 7 months ago

Download www.ece.ubc.ca

Leo J. Stocco, Matthew J. Yedlin

claim paper

Read More »

111

click to vote

SPRINGSIM
2007

76views Modeling And Simulation» more SPRINGSIM 2007»

System modeling with mixed object and data models

15 years 7 months ago

Download www.acims.arizona.edu

Hessam S. Sarjoughian, Robert Flasher

claim paper

Read More »

124

click to vote

ATAL
2010
Springer

117views Intelligent Agents» more ATAL 2010»

Agents and artefacts for multiple models co-evolution: building complex system simulation as a set of interacting models

15 years 7 months ago

Download hal.archives-ouvertes.fr

Julien Siebert, Laurent Ciarletta, Vincent Chevrie...

claim paper

Read More »

134

click to vote

JIB
2006

55views more JIB 2006»

Kinetic Modelling with the Systems Biology Modelling Environment SyBME

15 years 6 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers