This monograph aims to provide an accessible and fairly comprehensive treatment of recent developments on generalised dualities for graphs on surfaces and their applications. Duality arises in many areas, particularly topological and algebraic graph theory, topology, and physics. The importance of duality derives not only from its inherent...
With the proliferation of huge amounts of (heterogeneous) data on the Web, the importance of information retrieval (IR) has grown considerably over the last few years. Big players in the computer industry, such as Google, Microsoft and Yahoo!, are the primary contributors of technology for fast access to Web-based information; and searching...
This meticulous critical assessment of the ground-breaking work of philosopher Stanislaw LeÅniewski focuses exclusively on primary texts and explores the full range of output by one of the master logicians of the Lvov-Warsaw school. The author’s nuanced survey eschews secondary commentary, analyzing LeÅniewski's core...
This book lays the theoretical foundations and emphasizes the close connection between theory and experiment to optimize models and real-life procedures for the various stages of polymer composite development. As such, it covers quantum-mechanical approaches to understand the chemical processes on an atomistic level, molecular mechanics...
Discrete Control Systems establishes a basis for the analysis and design of discretized/quantized control systems for continuous physical systems. Beginning with the necessary mathematical foundations and system-model descriptions, the text moves on to derive a robust stability condition. To keep a practical perspective on the uncertain...
Generate Better, Faster Results— Using Less Capital and Fewer Resources!
“[The High-Velocity Edge] contains ideas that form the basis for structured continuous learning and improvement in every aspect of our lives. While this book is tailored to business leaders, it should be read by high school seniors,...
For a long time, human beings have dreamed of a virtual world where it is possible to interact with synthetic entities as if they were real. It has been shown that the ability to touch virtual objects increases the sense of presence in virtual environments. This book provides an authoritative overview of state-of-theart haptic rendering...
Traditional methods for creating intelligent computational systems have privileged private "internal" cognitive and computational processes. In contrast, Swarm Intelligence argues that human intelligence derives from the interactions of individuals in a social world and further, that this model of...
Logic is sometimes called the foundation of mathematics: the logician studies the kinds of reasoning used in the individual steps of a proof. Alonzo Church was a pioneer in the field of mathematical logic, whose contributions to number theory and the theories of algorithms and computability laid the theoretical foundations of computer...
A major revision of a textbook on intermediate macroeconomics, a new emphasis on long run growth is now added to the book's strengths and even more international material - particularly international policy examples - is featured. "Macroeconomics", by two internationally known economists, offers a balance of theory, economic...
This mathematically oriented introduction to the theory of logic programming presents a systematic exposition of the resolution method for propositional, first-order, and Horn- clause logics, together with an analysis of the semantic aspects of the method. It is through the inference rule of resolution that both proofs and computations can be...
Methods of controlling mass concrete temperatures range from relatively simple to complex and from inexpensive too costly. Depending on a particular situation, it may be advantageous to use one or more methods over others. Based on the author's 50 years of personal experience in designing mass concrete structures, Thermal Stresses and...
