Modern computer algebra systems are revolutionizing the teaching and learning of mathematically intensive subjects in science and engineering, enabling students to explore increasingly complex and computationally intensive models that provide analytic solutions, animated numerical solutions, and complex two- and three-dimensional graphic displays.
During the last decade, the area of stochastic max-plus linear systems has witnessed a rapid development, which created a growing interest in this area.
Integrated Methods for Optimization integrates the key concepts of Mathematical Programming and Constraint Programming into a unified framework that allows them to be generalized and combined.
The past decade has seen powerful new computational tools for modeling which combine a Bayesian approach with recent Monte simulation techniques based on Markov chains.
We publish in this volume a selection of the papers presented at the 22nd Conference on System Modeling and Optimization, held at the Politecnico di Torino in July 2005.
We publish in this volume the plenary talks and a selection of the papers on numerics, optimization and their applications, presented at the 22nd Conference on System Modeling and Optimization, held at the Politecnico di Torino in July 2005.
Most books about global optimization describe the theory of the algorithms, whereas a given implementation's quality never depends exclusively on the theoretical soundness of the algorithms that are implemented.
Continuous System Simulation describes systematically and methodically how mathematical models of dynamic systems, usually described by sets of either ordinary or partial differential equations possibly coupled with algebraic equations, can be simulated on a digital computer.
The attraction of quantum computation and quantum communica- tion theory and experiments hes in the fact that we engineer both them themselves and the quantum systems they treat.
This book is based mainly on the lecture notes that I have been using since 1993 for a course on applied probability for engineers that I teach at the Ecole Polytechnique de Montreal.
At first glance, this might appear to be a book on mathematics, but it is really intended for the practical engineer who wishes to gain greater control of the multidimensional mathematical models which are increasingly an important part of his environment.
In recent years, the discovery of new algorithms for dealing with polynomial equations, coupled with their implementation on fast inexpensive computers, has sparked a minor revolution in the study and practice of algebraic geometry.
Graph Theory, Combinatorics and Algorithms: Interdisciplinary Applications focuses on discrete mathematics and combinatorial algorithms interacting with real world problems in computer science, operations research, applied mathematics and engineering.
Proceedings of the International Symposium on High Performance Computational Science and Engineering 2004 (IFIP World Computer Congress) is an essential reference for both academic and professional researchers in the field of computational science and engineering.
Supervisory Control Theory (SCT) provides a tool to model and control human-engineered complex systems, such as computer networks, World Wide Web, identification and spread of malicious executables, and command, control, communication, and information systems.
Computer Science and Operations Research continue to have a synergistic relationship and this book represents the results of the cross-fertilization between OR/MS and CS/AI.
"e;It is impossible to exaggerate the extent to which modern applied mathematics has been shaped and fueled by the g- eral availability of fast computers with large memories.
The abstract branch of theoretical computer science known as Computation Theory typically appears in undergraduate academic curricula in a form that obscures both the mathematical concepts that are central to the various components of the theory and the relevance of the theory to the typical student.
Created to teach students many of the most important techniques used for constructing combinatorial designs, this is an ideal textbook for advanced undergraduate and graduate courses in combinatorial design theory.
Thedevelopmentoftechnologiesforhigh-throughputmeasurementofgene expression in biological system is providing powerful new tools for inv- tigating the transcriptome on a genomic scale, and across diverse biol- ical systems and experimental designs.
An essential contribution to the study of the history of computers, this work identifies the computer's impact on the physical, biological, cognitive, and medical sciences.
