Kategoria BISAC: Mathematics >> Linear & Nonlinear Programming

Today most computer scientists believe that NP-hard problems cannot be solved by polynomial-time algorithms. From the polynomial-time perspective, all NP-complete problems are equivalent but their exponential-time properties vary widely. Why do some NP-hard problems appear to be easier than others? Are there algorithmic techniques for solving hard problems that are significantly faster than the exhaustive, brute-force methods? The algorithms that address these questions are known as exact exponential algorithms.

The history of exact exponential algorithms for NP-hard problems dates back...

In 1915 and 1916 Emmy Noether was asked by Felix Klein and David Hilbert to assist them in understanding issues involved in any attempt to formulate a general theory of relativity, in particular the new ideas of Einstein. She was consulted particularly over the difficult issue of the form a law of conservation of energy could take in the new theory, and she succeeded brilliantly, finding two deep theorems.

But between 1916 and 1950, the theorem was poorly understood and Noether's name disappeared almost entirely. People like Klein and Einstein did little more then mention her name in...

Bioinspired computation methods such as evolutionary algorithms and ant colony optimization are being applied successfully to complex engineering problems and to problems from combinatorial optimization, and with this comes the requirement to more fully understand the computational complexity of these search heuristics. This is the first textbook covering the most important results achieved in this area.

The authors study the computational complexity of bioinspired computation and show how runtime behavior can be analyzed in a rigorous way using some of the best-known combinatorial...

In 1915 and 1916 Emmy Noether was asked by Felix Klein and David Hilbert to assist them in understanding issues involved in any attempt to formulate a general theory of relativity, in particular the new ideas of Einstein. She was consulted particularly over the difficult issue of the form a law of conservation of energy could take in the new theory, and she succeeded brilliantly, finding two deep theorems.

But between 1916 and 1950, the theorem was poorly understood and Noether's name disappeared almost entirely. People like Klein and Einstein did little more then mention her name in...

Nonlinear Optimization is an intriguing area of study where mathematical theory, algorithms and applications converge to calculate the optimal values of continuous functions. Within this subject, Global Optimization aims at finding global optima for difficult problems in which many local optima might exist.

This book provides a compelling introduction to global and non-linear optimization providing interdisciplinary readers with a strong background to continue their studies into these and other related fields. The book offers insight in relevant concepts such as "region of...

Individuals and families make key decisions that impact many aspects of financial stability and determine the future of the economy. These decisions involve balancing current sacrifice against future benefits. People have to decide how much to invest in health care, exercise, their diet, and insurance. They must decide how much debt to take on, and how much to save. And they make choices about jobs that determine employment and unemployment levels. Forward-Looking Decision Making is about modeling this individual or family-based decision making using an optimizing dynamic...

Hybrid dynamical systems exhibit continuous and instantaneous changes, having features of continuous-time and discrete-time dynamical systems. Filled with a wealth of examples to illustrate concepts, this book presents a complete theory of robust asymptotic stability for hybrid dynamical systems that is applicable to the design of hybrid control algorithms--algorithms that feature logic, timers, or combinations of digital and analog components.

With the tools of modern mathematical analysis, Hybrid Dynamical Systems unifies and generalizes earlier developments in...

Demonstrating the different roles that logic plays in the disciplines of computer science, mathematics, and philosophy, this concise undergraduate textbook covers select topics from three different areas of logic: proof theory, computability theory, and nonclassical logic. The book balances accessibility, breadth, and rigor, and is designed so that its materials will fit into a single semester. Its distinctive presentation of traditional logic material will enhance readers' capabilities and mathematical maturity.

The proof theory portion presents classical propositional logic...

The aim of stochastic programming is to find optimal decisions in problems which involve uncertain data. This field is currently developing rapidly with contributions from many disciplines including operations research, mathematics, and probability. At the same time, it is now being applied in a wide variety of subjects ranging from agriculture to financial planning and from industrial engineering to computer networks. This textbook provides a first course in stochastic programming suitable for students with a basic knowledge of linear programming, elementary analysis, and probability. The...

Gas turbines play an important role in power generation and aeroengines. An extended survey of methods associated with the control and systems identification in these engines, Dynamic Modelling of Gas Turbines reviews current methods and presents a number of new perspectives.

- Describes a total modelling and identification program for various classes of aeroengine, allowing you to deal with the engine's behaviour over its complete life cycle.

- Shows how the above regime can be applied to a real engine balancing the theory with practical use.

- Follows a...