Sciweavers

4679 search results - page 281 / 936
» Modeling When Connections Are the Problem
Sort
View
CDC
2009
IEEE
119views Control Systems» more  CDC 2009»
15 years 11 months ago
Optimal controlled trajectories for a mathematical model of anti-angiogenic therapy in cancer
Abstract— Anti-angiogenic therapy is a novel treatment approach in cancer therapy that aims at preventing a tumor from developing a network of blood vessels and capillaries that ...
Urszula Ledzewicz, Heinz Schättler
IFIP
1993
Springer
15 years 10 months ago
Plant Engineering: Conceptual Modeling and Modular Design of a Computer Aided Environment
When designing a plant for continuous or semi-continuous processes, such as paper pulp or petrochemical production systems, engineers face very complex tasks, which are only in pa...
Cláudio Walter, José Palazzo M. de O...
AMAST
2006
Springer
15 years 10 months ago
A Computational Group Theoretic Symmetry Reduction Package for the Spin Model Checker
Abstract. Symmetry reduced model checking is hindered by two problems: how to identify state space symmetry when systems are not fully symmetric, and how to determine equivalence o...
Alastair F. Donaldson, Alice Miller
EMNLP
2008
15 years 8 months ago
Latent-Variable Modeling of String Transductions with Finite-State Methods
String-to-string transduction is a central problem in computational linguistics and natural language processing. It occurs in tasks as diverse as name transliteration, spelling co...
Markus Dreyer, Jason Smith, Jason Eisner
SE
2008
15 years 8 months ago
Towards Evaluating Maintainability Within Model-Driven Environments
: Model Driven Software Development (MDSD) has matured over the last few years and is now becoming an established technology. One advantage that is promoted by the MDSD community i...
Thomas Goldschmidt, Jens Kübler