Sciweavers

8196 search results - page 402 / 1640
» Computational Modeling and Complexity Science
Sort
View
TCS
2010
15 years 5 months ago
Comparing free algebras in Topological and Classical Domain Theory
We compare how computational effects are modelled in Classical Domain Theory and Topological Domain Theory. Both of these theories provide powerful toolkits for denotational sema...
Ingo Battenfeld
185
Voted
APNOMS
2006
Springer
15 years 10 months ago
Hybrid Inference Architecture and Model for Self-healing System
Distributed computing systems are continuously increasing in complexity and cost of managing, and system management tasks require significantly higher levels of autonomic managemen...
Giljong Yoo, Jeongmin Park, Eunseok Lee
SAG
2004
Springer
16 years 4 days ago
Modelling a Protein Structure Comparison Application on the Grid Using PROTEUS
Bioinformatics applications manage complex biological data stored into distributed and often heterogeneous databases and require large computing power. Among these, protein structu...
Mario Cannataro, Matteo Comin, Carlo Ferrari, Conc...
CIDU
2010
15 years 4 months ago
Tracking Climate Models
Abstract. Climate models are complex mathematical models designed by meteorologists, geophysicists, and climate scientists to simulate and predict climate. Given temperature predic...
Claire Monteleoni, Gavin Schmidt, Shailesh Saroha
JCT
2007
83views more  JCT 2007»
15 years 6 months ago
A finiteness theorem for Markov bases of hierarchical models
We show that the complexity of the Markov bases of multidimensional tables stabilizes eventually if a single table dimension is allowed to vary. In particular, if this table dimen...
Serkan Hosten, Seth Sullivant