Page 30
Page 30
Mathematical Problems from Applied Logic I : Logics for the XXIst Century
Mathematical Problems from Applied Logic I presents chapters from selected, world renowned, logicians. Important topics of logic are discussed from the point of view of their further development in light of requirements arising from their successful application in areas such as Computer Science and AI language. An overview of the current state as well as open problems and perspectives are clarified in such fields as non-standard inferences in description logics, logic of provability, logical dynamics and computability theory. The book contains interesting contributions concerning the role of logic today, including some unexpected aspects of contemporary logic and the application of logic. This should be of interest to logicians and mathematicians in general.
Mathematical Morphology : 40 Years On ; Proceedings of the 7th International Symposium on Mathematical Morphology, April 18-20, 2005
Mathematical Morphology is a speciality in Image Processing and Analysis, which considers images as geometrical objects, to be analyzed through their interactions with other geometrical objects. It relies on several branches of mathematics, such as discrete geometry, topology, lattice theory, partial differential equations, integral geometry and geometrical probability. It has produced fast and efficient algorithms for computer analysis of images, and has found applications in bio-medical imaging, materials science, geoscience, remote sensing, quality control, document processing and data analysis. This book contains the 43 papers presented at the 7th International Symposium on Mathematical Morphology, held in Paris on April 18-20, 2005. It gives a lively state of the art of current research topics in this field. It also marks a milestone, the 40 years of uninterrupted development of this ever-expanding domain.
Isomonodromic Deformations and Frobenius Manifolds : An Introduction
The notion of a Frobenius structure on a complex analytic manifold appeared at the end of the seventies in the theory of singularities of holomorphic functions. Motivated by physical considerations, further development of the theory has opened new perspectives on, and revealed new links between, many apparently unrelated areas of mathematics and physics. Based on a series of graduate lectures, this book provides an introduction to algebraic geometric methods in the theory of complex linear differential equations. Starting from basic notions in complex algebraic geometry, it develops some of the classical problems of linear differential equations and ends with applications to recent research questions related to mirror symmetry.
Isodual theory of antimatter : With applications to antigravity, grand unification and cosmology
Antimatter, already conjectured by A. Schuster in 1898, was actually predicted by P.A.M. Dirac in the late 19-twenties in the negative-energy solutions of the Dirac equation. Its existence was subsequently confirmed via the Wilson chamber and became an established part of theoretical physics. Dirac soon discovered that particles with negative energy do not behave in a physically conventional manner, and he therefore developed his "hole theory". This restricted the study of antimatter to the sole level of second quantization. As a result antimatter created a scientific imbalance, because matter was treated at all levels of study, while antimatter was treated only at the level of second quantization.In search of a new mathematics for the resolution of this imbalance the author conceived what we know today as Santilli’s isodual mathematics, which permitted the construction of isodual classical mechanics, isodual quantization and isodual quantum mechanics. The scope of this monograph is to show that our classical, quantum and cosmological knowledge of antimatter is at its beginning with much yet to be discovered, and that a commitment to antimatter by experimentalists will be invaluable to antimatter science.
Irreversible Phenomena : Ignitions, Combustion and Detonation Waves
Ideals are simple and able to be easily understood, but never exist in reality. In this book a theory based on the second law of thermodynamics and its applications are described. In thermodynamics there is a concept of an ideal gas which satisfies a mathematical formula PV = RT. This formula can appro- mately be applied to the real gas, so far as the gas has not an especially high pressure and low temperature. In connection with the second law of thermo- namics there is also a concept of reversible and irreversible processes. The reversible process is a phenomenon proceeding at an infinitely low velocity, while the irreversible process is that proceeding with a finite velocity. Such a process with an infinitely slow velocity can really never take place, and all processes observed are always irreversible, therefore, the reversible process is an ideal process, while the irreversible process is a real process.
IP Traffic Theory and Performance
This book presents different approaches in IP traffic theory and classifies them, especially towards applications in the Internet. It comprises the state of the art in this area, which is currently presented only by numerous research papers and overview articles. The book provides an ideal starting point for detailed studies of traffic analysis in IP networks. It gives the reader the possibility to judge on different models and to select the appropriate for his individual needs in applications.
IP operations and management ; 8th IEEE International workshop, IPOM 2008, Samos Island, Greece, September 22-26, 2008. Proceedings
Constitutes the refereed proceedings of the 8th IEEE Workshop on IP Operations and Management, IPOM 2008, held on Samos Island, Greece, on September 22-26, 2008, as part of the 4th International Week on Management of Networks and Services, Manweek 2008. The 12 revised full papers presented in this volume were carefully reviewed and selected from 30 submissions. The papers are organized in topical sections on network anomaly detection; traffic engineering, protection, and recovery; network measurements and applications; and network management and security.
IP Networking over Next-Generation Satellite Systems ; International Workshop, Budapest, July 2007
Highlights the very latest research output of several EU satellite-related projects and addresses many unresolved issues in next-generation satellite systems, such as efficient deployment of IPv6 over satellites, working with WLAN and WiMax, QoS provisioning over multi-segment networks (including satellite networks), multicast networks and security.
IoT-enabled Smart Healthcare Systems, Services and Applications
In IoT-Enabled Smart Healthcare Systems, Services and Applications, an accomplished team of researchers delivers an insightful and comprehensive exploration of the roles played by cutting-edge technologies in modern healthcare delivery. The distinguished editors have included resources from a diverse array of learned experts in the field that combine to create a broad examination of a rapidly developing field.
IoT and AI Technologies for Sustainable Living : A Practical Handbook
Brings together all the latest methodologies, tools and techniques related to the Internet of Things and Artificial Intelligence in a single volume to build insight into their use in sustainable living. The areas of application include agriculture, smart farming, healthcare, bioinformatics, self-diagnosis systems, body sensor networks, multimedia mining, and multimedia in forensics and security. Provides a comprehensive discussion of modeling and implementation in water resource optimization, recognizing pest patterns, traffic scheduling, web mining, cyber security and cyber forensics. It will help develop an understanding of the need for AI and IoT to have a sustainable era of human living. The tools covered include genetic algorithms, cloud computing, water resource management, web mining, machine learning, block chaining, learning algorithms, sentimental analysis and Natural Language Processing (NLP).
Ionic Soft Matter : Modern Trends in Theory and Applications; Proceedings of the NATO Advanced Research Workshop on Ionic Soft Matter: Modern Trends in Theory and Application Lviv, Ukraine, 14-17 April, 2004
Consists of reviews of the experimental, theoretical and simulation studies on ionic criticality, polyelectrolytes, proton transport in fuel cell membranes, and the design of DNA arrays. This book deals with discussions of the fundamental and applied problems of important phenomena such as ion association, ion adsorption, ion solvation.
Inverse Problems in Vibration
In this new edition the scope of the book has been widened to include topics such as isospectral systems- families of systems which all exhibit some specified behaviour; applications of the concept of Toda flow; new, non-classical approaches to inverse Sturm-Liouville problems; qualitative properties of the modes of some finite element models; damage identification.
Inverse Problems in Electric Circuits and Electromagnetics
This text treats important new methods in inverse problems in electromagnetics. The inverse problems such as synthesis, diagnostics, fault detection, and identification are becoming one of the most important subjects in the field because of the significant practical applications to electric circuits and electromagnetics. This book introduces the recent achievements in mathematics and computing, while focusing on an approach to inverse problems that provides numerical solutions. The text systematically supplies descriptions of the most important practical inverse problems and the methods to solve them, thereby providing the reader with the best application for these intuitive processes. Also included are descriptions of the properties of inverse problems and known methods of their solution as well as the practical implementation of these methods in electric circuits theory and electromagnetic field theory.
Inverse Problems for Partial Differential Equations
The topic of the inverse problems is of substantial and rapidly growing interest for many scientists and engineers. The second edition covers most important recent developments in the field of inverse problems, describing theoretical and computational methods, and emphasizing new ideas and techniques. It also reflects new changes since the first edition, including some corrections. This edition is considerably expanded, with some concepts such as pseudo-convexity, and proofs simplified. New material is added to reflect recent progress in theory of inverse problems.This book is intended for mathematicians working with partial differential equations and their applications, and physicists, geophysicists and engineers involved with experiments in nondestructive evaluation, seismic exploration, remote sensing and tomography.
Inverse Problems and Imaging : Lectures given at the C.I.M.E. Summer School held in Martina Franca, Italy September 15–21, 2002
Nowadays we are facing numerous and important imaging problems: nondestructive testing of materials, monitoring of industrial processes, enhancement of oil production by efficient reservoir characterization, emerging developments in noninvasive imaging techniques for medical purposes - computerized tomography (CT), magnetic resonance imaging (MRI), positron emission tomography (PET), X-ray and ultrasound tomography, etc. In the CIME Summer School on Imaging (Martina Franca, Italy 2002), leading experts in mathematical techniques and applications presented broad and useful introductions for non-experts and practitioners alike to many aspects of this exciting field. The volume contains part of the above lectures completed and updated by additional contributions on other related topics: a general presentation and introduction (Moscoso), X-ray tomography (Natterer), Electromagnetic imaging (Dorn, Bertete-Aguirre, Papanicolaou), coherent imaging in telecommunications in a multiple input-multiple output setup (Dorn), polarization based optical imaging (Moscoso), topological derivatives used in shape reconstruction related to inverse scattering problems (Carpio, Rapún), Point interactions (Dell’Antonio, Figari, Teta).
Inverse Problems : Mathematical and Analytical Techniques with Applications to Engineering
This book presents the theory of inverse spectral and scattering problems and of many other inverse problems for differential equations in an essentially self-contained way. An outline of the theory of ill-posed problems is given, because inverse problems are often ill-posed.
Inventive Thinking through TRIZ : A Practical Guide
This is the second edition of the Michael Orloff's successful practical introduction to TRIZ (Theory of Inventive Problem Solving) - a strategy and methods for breaking out of rigid thought patterns to achieve truly creative engineering solutions. Written for self-study, the book provides the reader in the most vivid and systematic manner with the key ideas, techniques, and paradigms of the quite complex TRIZ method. The author is experienced in many practical applications of TRIZ in various fields.
Intumescent Coating and Fire Protection of Steel Structures
Introduced are the features and applications of intumescent coatings for protecting steel structures against fire. The constant effective thermal conductivity is defined and employed to simplify the quantification for the thermo-resistance of intumescent coatings. An experimental investigation into the hydrothermal aging effects on insulative properties of intumescent coatings is presented, as well as the influence of topcoat on insulation and aging of intumescent coatings. Also described is a practical method for calculating the temperature of the protected steel structures with intumescent coatings in order to evaluate the fire safety of a structure.
Intuitive Probability and Random Processes using MATLAB®
Intuitive Probability and Random Processes using MATLAB® is an introduction to probability and random processes that merges theory with practice. Based on the author’s belief that only "hands-on" experience with the material can promote intuitive understanding, the approach is to motivate the need for theory using MATLAB examples, followed by theory and analysis, and finally descriptions of "real-world" examples to acquaint the reader with a wide variety of applications.
Introductory Lectures on Fluctuations of Lévy Processes with Applications
Lévy processes are the natural continuous-time analogue of random walks and form a rich class of stochastic processes around which a robust mathematical theory exists. Their mathematical significance is justified by their application in many areas of classical and modern stochastic models including storage models, renewal processes, insurance risk models, optimal stopping problems, mathematical finance and continuous-state branching processes.The book aims to be mathematically rigorous while still providing an intuitive feel for underlying principles. The results and applications often focus on the case of Lévy processes with jumps in only one direction.
