Page 22
Page 22
Mathematical Problems from Applied Logic II : Logics for the XXIst Century
Mathematical Problems from Applied Logic II 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. Fields covered include: logic of provability, applications of computability theory to biology, psychology, physics, chemistry, economics, and other basic sciences; computability theory and computable models; logic and space-time geometry; hybrid systems; logic and region-based theory of space.
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.
Ion channels as targets in drug discovery
Built around ion channel research and, more specifically, ion channels as important therapeutic drug targets. Under the editorial leadership of Gary Stephens in academic research and Edward Stevens from industry, the aim is to bring these strands together to provide a cutting-edge translational reference on ion channel drug discovery. Exploiting our knowledge of ion channel structure and function has clear current and future potential to intervene and correct the pathophysiology associated with debilitating conditions, including cardiovascular disease, diabetes, cystic fibrosis, pain, epilepsy, and neurodegenerative disorders. Individual chapters have a disease focus, also providing a “case study story” that will also appeal to a clinical audience
Investment Banking : Valuation, LBOs, M&A, and IPOs
This book fulfills an important need as a valuable training material and reliable handbook for finance professionals in these markets. This book also provides essential tools for professionals at corporations, including members of business development, M&A, finance, and treasury departments. These specialists are responsible for corporate finance, valuation, and transaction-related deliverables on a daily basis. They also work with investment bankers on various M&A transactions (including leveraged buyouts (LBOs) and related financings), as well as IPOs, restructurings, and other capital markets transactions.
Investigation and management of soft rock cliffs
Cliff recession and coastal landsliding of soft rock cliffs present significant threats to land use and development. Investigation and management of soft rock cliffs presents state-of-the-art guidance on how eroding cliffs can best be managed, stressing the need to consider both structural and non-structural solutions to cliff recession problems. This authoritative text outlines the investigation approaches, measurement and monitoring techniques, and prediction methods available for obtaining the necessary cliff recession information.
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).
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.
Invariant Manifolds for Physical and Chemical Kinetics
By bringing together various ideas and methods for extracting the slow manifolds the authors show that it is possible to establish a more macroscopic description in nonequilibrium systems. The book treats slowness as stability. A unifying geometrical viewpoint of the thermodynamics of slow and fast motion enables the development of reduction techniques, both analytical and numerical. Examples considered in the book range from the Boltzmann kinetic equation and hydrodynamics to the Fokker-Planck equations of polymer dynamics and models of chemical kinetics describing oxidation reactions. Special chapters are devoted to model reduction in classical statistical dynamics, natural selection, and exact solutions for slow hydrodynamic manifolds. The book will be a major reference source for both theoretical and applied model reduction. Intended primarily as a postgraduate-level text in nonequilibrium kinetics and model reduction, it will also be valuable to PhD students and researchers in applied mathematics, physics and various fields of engineering.
Introduzione alla medicina molecolare = Introduction to molecular medicine
An indispensable guide for understanding a young science with rapid and promising developments. Now in its third completely revised edition, it presents in a concise yet comprehensive way the scientific and technological principles of this discipline and provides, in widely accessible language, the basic conceptual tools for understanding the human genome, gene expression and regulation, the various aspects of genetic engineering that allow for the manipulation of DNA, and human cloning.
Introductory Statistics with R
R is an Open Source implementation of the S language. It works on multiple computing platforms and can be freely downloaded. R is now in widespread use for teaching at many levels as well as for practical data analysis and methodological development. This book provides an elementary-level introduction to R, targeting both non-statistician scientists in various fields and students of statistics. The main mode of presentation is via code examples with liberal commenting of the code and the output, from the computational as well as the statistical viewpoint. A supplementary R package can be downloaded and contains the data sets.
Introduction to Wave Scattering, Localization and Mesoscopic Phenomena
Waves represent a classic topic of study in physics, mathematics, and engineering. Many modern technologies are based on our understanding of waves and their interaction with matter. In the past thirty years there have been some revolutionary developments in the study of waves. The present volume is the only available source which details these developments in a systematic manner, with the aim of reaching a broad audience of non-experts. It is an important resource book for those interested in understanding the physics underlying nanotechnology and mesoscopic phenomena, as well as for bridging the gap between the textbooks and research frontiers in any wave related topic. A special feature of this volume is the treatment of classical and quantum mechanical waves within a unified framework, thus facilitating an understanding of similarities and differences between the two.
Introduction to Variance Estimation
The book provides instruction on the methods that are vital to data-driven decision making in business, government, and academe. It will appeal to survey statisticians and other scientists engaged in the planning and conduct of survey research, and to those analyzing survey data and charged with extracting compelling information from such data. It will appeal to graduate students and university faculty who are focused on the development of new theory and methods and on the evaluation of alternative methods. Software developers concerned with creating the computer tools necessary to enable sound decision-making will find it essential.
Introduction to toxicology
Charts the evolution of the field of toxicology, from the use of natural toxins by ancient tribes through the developments established by Paracelsus, and progresses through to the current topics in the public interest. For centuries, the study of toxicology has fascinated students. The book begins with basic toxicological principles, including an historical summary, dose-response relationships (NEW chapter), exposure-response relationships (NEW chapter), disposition, and metabolism of xenobiotic toxic substances. Other important new chapters include target organ toxicity, toxicity of carcinogenic agents and new and updated concepts in toxicity testing, and antidotes and treatment of poisonings. In all, nine new or expanded chapters from the third edition are advanced. Current concerns about the effects of therapeutic drugs, carcinogens, industrial toxins, pesticides, and herbicides on human health, animal welfare, and the stability and maintenance of the ecosystem continue to highlight toxicology as an important and growing scientific discipline.
Introduction to Sustainability : Road to a Better Future
This book provides the tools to navigate this Road to a Better Future by explaining concepts, giving ideas, proposing methods, and suggesting actions. To illustrate the utilization of techniques there are many examples, applied to a variety of activities, and to wrap up concepts, the last chapter is dedicated to the analysis of a community in search of a sustainable environment. A thematic index has been designed to help a person quickly find information on relevant topics.
Introduction to software design with Java
Provides an in-depth introduction to software design, with a focus on object-oriented design, and using the Java programming language. Its goal is to help readers learn software design by discovering the experience of the design process. To this end, the text follows a continuous narrative that introduces each element of design know-how in context, and explores alternative solutions in that context. This narrative is complemented by hundreds of code fragments and design diagrams.
Introduction to Planetary Science : The Geological Perspective
This textbook is intended to be used in a lecture course for college students majoring in the Earth Sciences. Planetary Science provides an opportunity for these students to apply a wide range of subject matter pertaining to the Earth to the study of other planets of the solar system and their principal satellites. As a result, students gain a wider perspective of the different worlds that are accessible to us and they are led to recognize the Earth as the only oasis in space where we can live without life-support systems.The subject matter is presented in 24 chapters that lead the reader through the solar system starting with historical perspectives on space exploration and the development of the scientific method. The presentations concerning the planets and their satellites emphasize that their origin and subsequent evolution can be explained by applications of certain basic principles of physics, chemistry, and celestial mechanics and that the surface features of the solid bodies in the solar system can be interpreted by means of the principles of geology.
Introduction to Partial Differential Equations: A Computational Approach
Mathematics is playing an ever more important role in the physical and biological sciences, provoking a blurring of boundaries between scientific disciplines and a resurgence of interest in the modern as well as the cl- sical techniques of applied mathematics. This renewal of interest, both in research and teaching, has led to the establishment of the series: Texts in Applied Mathematics (TAM). The development of new courses is a natural consequence of a high level of excitement on the research frontier as newer techniques, such as numerical and symbolic computer systems, dynamical systems, and chaos mix with and reinforce the traditional methods of applied mathematics. Thus, the purpose of this textbook series is to meet the current and future needs of these advances and encourage the teaching of new courses.
