Kategoria BISAC: Mathematics >> Linear & Nonlinear Programming

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

A collection of research articles originating from the Workshop on Nonlinear Analysis and Applications held in Bergamo in July 2001.

Classical topics of nonlinear analysis were considered, such as calculus of variations, variational inequalities, critical point theory and their use in various aspects of the study of elliptic differential equations and systems, equations of Hamilton-Jacobi, Schrodinger and Navier-Stokes, and free boundary problems. Moreover, various models were focused upon: travelling waves in supported beams and plates, vortex condensation in electroweak theory,...

This two volume set presents over 50 of the most groundbreaking contributions of Menahem M Schiffer. All of the reprints of Schiffer's works herein have extensive annotation and invited commentaries, giving new clarity and insight into the impact and legacy of Schiffer's work. A complete bibliography and brief biography make this a rounded and invaluable reference.

The objective of this book is to advance the current knowledge of sensor research particularly highlighting recent advances, current work, and future needs. The goal is to share current technologies and steer future efforts in directions that will benefit the majority of researchers and practitioners working in this broad field of study.

This book highlights recent developments in multidimensional data visualization, presenting both new methods and modifications on classic techniques. Throughout the book, various applications of multidimensional data visualization are presented including its uses in social sciences (economy, education, politics, psychology), environmetrics, and medicine (ophthalmology, sport medicine, pharmacology, sleep medicine).

The book provides recent research results in optimization-based visualization. Evolutionary algorithms and a two-level optimization method, based on combinatorial...