Using the principal tools of prediction and optimisation, this work gives the examples of how to deal with constraints, placing ...
Lire la suiteConstraint satisfaction problems are significant in the domain of automated reasoning for artificial intelligence. They can ...
Lire la suiteThe enormous potential of digital computation to manage new complex systems is impeded by exponential increases in complexity. ...
Lire la suiteHistory based access control and secure information flow The spec# programming system Mastering test generation from smart ...
Lire la suiteThis book constitutes the refereed post-proceedings of the Second International Workshop on Construction and Analysis of ...
Lire la suiteCancer is perhaps the modern world's most feared disease. Yet, we know relatively little about this malady's history before ...
Lire la suiteContainer transportation is the predominant mode of inter-continental cargo traffic. Since container ships and port terminals ...
Lire la suiteSignificant gains in productivity can be achieved through advanced terminal layouts, more efficient IT-support and improved ...
Lire la suiteThis volume offers a unique set of research exemplars for science, mathematics and technology educators. The volume explores ...
Lire la suiteThis book covers the major theoretical orientations that have been influential in American sociology since the mid-twentieth ...
Lire la suiteContent Delivery Networks enables the readers to understand the basics, to identify the underlying technology, to summarize ...
Lire la suiteThe search for the best possible performance is inherent in human nature. Individuals, enterprises and governments all seek ...
Lire la suiteThe book faces the interplay among dynamical properties of semigroups, analytical properties of infinitesimal generators ...
Lire la suiteContinuous System Simulation describes systematically and methodically how mathematical models of dynamic systems, usually ...
Lire la suiteThe book systematically covers major foundations of the systems theory. First, the quantitative and qualitative methods of ...
Lire la suiteThis book presents an introduction into the entire science of Continuum Mechanics in three parts. PART I: Continuum Mechanics ...
Lire la suiteEugen Lamers explains the principle of simulation speed-up in general, demonstrates the technique RESTART for the simulation ...
Lire la suiteThis book puts the larger vision of ubiquitous computing in the context of today’s mobile and distributed computing systems ...
Lire la suiteThe book is introduced through the very important topic of modeling switched power electronics as controlled dynamical systems. ...
Lire la suiteAfter motivating examples, this monograph gives substantial new results on the analysis and control of linear repetitive ...
Lire la suite