Search Sciweavers | Sciweavers

48 search results - page 10 / 10

» Stochastic Model of Protease-Ligand Reactions

click to vote

APVIS
2009

92views Information Technology» more APVIS 2009»

Visual support for the understanding of simulation processes

13 years 6 months ago

Download www.informatik.uni-rostock.de

Current visualization systems are typically based on the concept of interactive post-processing. This decoupling of data visualization from the process of data generation offers a...

Andrea Unger, Heidrun Schumann

claim paper

Read More »

click to vote

CAV
2009
Springer

135views Hardware» more CAV 2009»

Sliding Window Abstraction for Infinite Markov Chains

14 years 5 months ago

Download mtc.epfl.ch

Window Abstraction for Infinite Markov Chains Thomas A. Henzinger1 , Maria Mateescu1 , and Verena Wolf1,2 1 EPFL, Switzerland 2 Saarland University, Germany Abstract. We present an...

Thomas A. Henzinger, Maria Mateescu, Verena Wolf

claim paper

Read More »

click to vote

HASE
2007
IEEE

119views Control Systems» more HASE 2007»

Simulation Models and Implementation of a Simulator for the Performability Analysis of Electric Power Systems Considering Interd

13 years 11 months ago

Download bonda.cnuce.cnr.it

Electric Power Systems (EPS) become more and more critical for our society, since they provide vital services for the human activities. At the same time, obtaining dependable beha...

Francesco Romani, Silvano Chiaradonna, Felicita Di...

claim paper

Read More »

« Prev « First page 10 / 10 Last » Next »

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers