For advanced web search engines to be able not only to search for semantically related information dispersed over different web pages, but also for semantic services providing certain functionalities,
Formal verification means having a mathematical model of a system, a language for specifying desired properties of the system in a concise, comprehensible and unambiguous way, and a method of proof
This book presents the original proof of Gromov's compactness theorem for pseudo-holomorphic curves in detail. Local properties of pseudo-holomorphic curves are investigated and proved from a geometri
The recent concept of universal (also called automatic or black-box) random variate generation can only be found?dispersed in the literature. Being unique in its overall organization, the book covers
?The volume is dedicated to Stephen Smale on the occasion of his 80th birthday.Besides his startling 1960 result of the proof of the Poincar’e conjecture for all dimensionsgreater than or equal to fiv
[From the foreword by B. Teissier] The main ideas of the proof of resolution of singularities of complex-analytic spaces presented here were developed by Heisuke Hironaka in the late 1960s and early 1
Automorphic forms are an important complex analytic tool in number theory and modern arithmetic geometry. They played for example a vital role in Andrew Wiles's proof of Fermat's Last Theorem. This te
The relay feedback test (RFT) has become a popular and efficient in process identification and automatic controller tuning. Non-parametric Tuning of PID Controllers couples new modifications of classi
Geometry and topology are strongly motivated by thevisualization of ideal objects that have certain specialcharacteristics. A clear formulation of a specific propertyor a logically consistent proof o
The concept generation process seems like an intuitional thought: difficult to capture and perform, although everyone is capable of it. It is not an analytical process but a synthetic process which ha
Next-generation Internet providers face high expectations, as contemporary users worldwide expect high-quality multimedia functionality in a landscape of ever-expanding network applications. This volu
Airbreathing Propulsion covers the physics of combustion, fluid and thermo-dynamics, and structural mechanics of airbreathing engines, including piston, turboprop, turbojet, turbofan, and ramjet engin
Multicore Programming Using the ParC Language discusses the principles of practical parallel programming using shared memory on multicore machines. It uses a simple yet powerful parallel dialect of C
This short book, geared towards undergraduate students of computer science and mathematics, is specifically designed for a first course in mathematical logic.A proof of Godel's completeness theorem an
Search and Classification Using Multiple Autonomous Vehicles provides a comprehensive study of decision-making strategies for domain search and object classification using multiple autonomous vehicles
Whilst most contemporary books in the aerospace propulsion field are dedicated primarily to gas turbine engines, there is often little or no coverage of other propulsion systems and devices such as pr
The realistic generation of virtual doubles of real-world actors has been the focus of computer graphics research for many years. However, some problems still remain unsolved: it is still time-consumi
Written for geodesists using computers of modest capacity, the book reviews the latest development in geodetic computation techniques. The aim is to take stock of available data (datums, ellipsoids, u
The aim of the present book is to give a comprehensive account of the ‘state of the art’ of substructural logics, focusing both on their proof theory (especially on sequent calculi and their generaliz
One of the last Prussian Reforms during the Napoleonic Era was the constitution of local autonomy for the cities. Proof of its lasting importance is that it was the cities that carried out the deficit
This book comprises five parts. The first three contain ten historical essays on important topics: number theory, calculus/analysis, and proof, respectively.? Part four deals with several historically
Commercial Web search engines such as Google, Yahoo, and Bing are used every day by millions of people across the globe. With their ever-growing refinement and usage, it has become increasingly diffic
Militarized Conflict Modeling Using Computational Intelligence examines the application of computational intelligence methods to model conflict. Traditionally, conflict has been modeled using game the
The last one hundred years have seen many important achievements in the classical part of number theory. After the proof of the Prime Number Theorem in 1896, a quick development of analytical tools le
This must-read text presents the pioneering work of the late Professor Jacob (Jack) T. Schwartz on computational logic and set theory and its application to proof verification techniques, culminating
Second-Generation High-Temperature Superconducting Coils and Their Applications for Energy Storage addresses the practical electric power applications of high-temperature superconductors. It validates
This book provides a comprehensive treatment of extrapolation theory. Starting from an extremely clear and simple proof of the classical result of Rubio de Francia, the authors show how the key ideas
"Catalytic Microreactors for Portable Power Generation” addresses a problem of high relevance and increased complexity in energy technology. This thesis outlines an investigation into catalytic and ga
Due to their novel concepts and extraordinary high-throughput sequencing capacity, the “next generation sequencing” methods allow scientists to grasp system-wide landscapes of the complex molecular ev
In this book a theory of reasoning with evidence in the context of criminal cases is developed. The main subject of this study is not the law of evidence but rather the rational process of proof, whic
Model Predictive Control System Design and Implementation Using MATLABR proposes methods for design and implementation of MPC systems using basis functions that confer the following advantages: - cont
Systems driven far from thermodynamic equilibrium can create dissipative structures through the spontaneous breaking of symmetries. A particularly fascinating feature of these pattern-forming systems
Written by two leading workers in the field, this brief but elegant book presents in full detail the simplest proof of the "main conjecture" for cyclotomic fields. Its motivation stems not only from t
Cell and organ printing has become a hot topic of scientific pursuit. Since several early publications between 2000-2003 that demonstrated proof-of-concept, cell and organ printing has blossomed into
The comfort of a car as perceived by the driver can be as important to its commercial success as its performance and fuel efficiency. Modern engines deliver increased torque and there is a current tr
The realistic generation of virtual doubles of real-world actors has been the focus of computer graphics research for many years. However, some problems still remain unsolved: it is still time-consumi
Internal combustion engines (ICE) still have potential for substantial improvements, particularly with regard to fuel efficiency and environmental compatibility. In order to fully exploit the remainin
Underground mines require fool-proof, mine-wide communication systems for smooth functioning of mine production and worker safety. Proper and reliable communication systems not only decrease machine b
The birth and evolution of our universe is the greatest enigma to mankind. Remarkably, it is our generation that is able to trace the evolution of the universe as a whole – from its very beginning to
