Maths for computer scientists

Performance optimization is vital in the design and operation of modern engineering systems, including communications, manufacturing, robotics, and logistics.

The Akaike information criterion (AIC) derived as an estimator of the Kullback-Leibler information discrepancy provides a useful tool for evaluating statistical models, and numerous successful applications of the AIC have been reported in various fields of natural sciences, social sciences and engineering.

Practical Optimization: Algorithms and Engineering Applications provides a hands-on treatment of the subject of optimization.

Gluecklich, die wissen, dass hinter allen Sprachen das Unsaegliche steht.

Introduction to Discrete Event Systems is a comprehensive introduction to the field of discrete event systems, offering a breadth of coverage that makes the material accessible to readers of varied backgrounds.

Probabilistic graphical models and decision graphs are powerful modeling tools for reasoning and decision making under uncertainty.

Sequential Dynamical Systems (SDS) are a class of discrete dynamical systems which significantly generalize many aspects of systems such as cellular automata, and provide a framework for studying dynamical processes over graphs.

Essential Mathematica: With Applications to Mathematics and Physics, based on the lecture notes of a course taught at the University of Illinois at Chicago to advanced undergrad and graduate students, teaches how to use Mathematica to solve a wide variety problems in mathematics and physics.

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.

Methods of dimensionality reduction provide a way to understand and visualize the structure of complex data sets.

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.

After that, it was down to attitude.

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.

Multivariate public key cryptosystems (MPKC) is a fast-developing new area in cryptography.

Modern apparatuses allow us to collect samples of functional data, mainly curves but also images.

Generic programming is about making programs more adaptable by making them more general.

The primary reason for producing this book is to demonstrate and commu- nicate the pervasive nature of Discrete Optimisation.

A classical queueing model consists of three parts - arrival process, service process, and queue discipline.

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.

It is not an exaggeration that much of what people devote in their hfe re- solves around optimization in one way or another.

Markov chains are a particularly powerful and widely used tool for analyzing a variety of stochastic (probabilistic) systems over time.

Space, structure, and randomness: these are the three key concepts underlying Georges Matheron's scientific work.

Computer algebra systems are revolutionizing the teaching, the learning, and the exploration of science.

Mathematical Problems from Applied Logic I presents chapters from selected, world renowned, logicians.

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.

Vague concepts are intrinsic to human communication.

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.

Combinatorial optimization algorithms are used in many applications including the design, management, and operations of communication networks.

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.

Mathematica is today's most advanced technical computing system.

Computational Genome Analysis: An Introduction presents the foundations of key problems in computational molecular biology and bioinformatics.

Thisisnowthefourtheditionof"e;TheBasicsofS-Plus"e;since1997.

Mythanksareduetothemanypeoplewhohaveassistedintheworkreported here and in the preparation of this book.

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.

Switching fabrics first appeared in telephone exchanges, where there was a need to interconnect many pairs of telephones installed in the network.

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.

QoS is an important subject which occupies a central place in overall packet network technologies.

This volume reflects the theme of the INFORMS 2004 Meeting in Denver: Back to OR Roots.

"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.

Almost 12 years have passed by since we wrote Chaos and Fractals.

While SAS and SPSS have many things in common, R is very different.

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.