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.
The Science of Secrecy from Ancient Egypt to Quantum CryptographyFrom the best-selling author of Fermat's Last Theorem, The Code Book is a history of man's urge to uncover the secrets of codes, from Egyptian puzzles to modern day computer encryptions.
The aim of the book is to cover the three fundamental aspects of research in equilibrium problems: the statement problem and its formulation using mainly variational methods, its theoretical solution by means of classical and new variational tools, the calculus of solutions and applications in concrete cases.
This book contains 28 research articles from among the 49 papers and abstracts presented at the Tenth International Conference on Fibonacci Numbers and Their Applications.
This volume, which contains chapters written by reputable researchers, provides the state of the art in theory and algorithms for the traveling salesman problem (TSP).
Logic Synthesis and Verification Algorithms is a textbook designed for courses on VLSI Logic Synthesis and Verification, Design Automation, CAD and advanced level discrete mathematics.
A cooperative system is defined to be multiple dynamic entities that share information or tasks to accomplish a common, though perhaps not singular, objective.
Although rigidity has been studied since the time of Lagrange (1788) and Maxwell (1864), it is only in the last twenty-five years that it has begun to find applications in the basic sciences.
Coding and Modulation for Digital Television presents a comprehensive description of all error control coding and digital modulation techniques used in Digital Television (DTV).
Graph Separators with Applications is devoted to techniques for obtaining upper and lower bounds on the sizes of graph separators - upper bounds being obtained via decomposition algorithms.
Basic Category Theory for Computer Scientists provides a straightforward presentation of the basic constructions and terminology of category theory, including limits, functors, natural transformations, adjoints, and cartesian closed categories.
An understanding of the theory and application of logic is fundamental both to successful software and hardware development, and to gain a thorough grasp of modern computing.
Stochastic Subsurface Hydrogeology is the study of subsurface, geological heterogeneity, and its effects on flow and transport process, using probabilistic and geostatistical concepts.
