Page 40
Page 40
Applied Proof Theory : Proof Interpretations and Their Use in Mathematics
Ulrich Kohlenbach presents an applied form of proof theory that has led in recent years to new results in number theory, approximation theory, nonlinear analysis, geodesic geometry and ergodic theory (among others). This applied approach is based on logical transformations (so-called proof interpretations) and concerns the extraction of effective data (such as bounds) from prima facie ineffective proofs as well as new qualitative results such as independence of solutions from certain parameters, generalizations of proofs by elimination of premises. The book first develops the necessary logical machinery emphasizing novel forms of Gödel's famous functional ('Dialectica') interpretation. It then establishes general logical metatheorems that connect these techniques with concrete mathematics. Finally, two extended case studies (one in approximation theory and one in fixed point theory) show in detail how this machinery can be applied to concrete proofs in different areas of mathematics.
Applied Mathematics for Restructured Electric Power Systems : Optimization, Control, and Computational Intellige
Discusses the use of applied mathematics to solve challenging power system problems. This book covers such areas as: control, optimization, and computational intelligence. It follows a three-part format: a description of an important power system problem or problems; the practice and/or particular research approaches; and, research directions.
Applied mathematics and machine learning
The simultaneous availability of large datasets and high-performance computing capability in recent years has enabled the rapid development of powerful machine learning algorithms. On the one hand, state-of-the-art machine learning techniques have transformed many areas of science and engineering; on the other hand, theoretical discoveries in mathematical algorithms, differential equations, and statistical inferences, to name a few, have provided the foundation for the exploration of new multidisciplinary models for solving practical problems. This Special Issue endeavors to continue the journey that started in our previous Special Issue (Applied Mathematics and Computational Physics) by providing a platform for researchers from both academia and industry, as well as government, to present their new computational methods that have engineering and physics applications.
Applied Hydrogeophysics
This book focuses on how hydrogeophysical methods can be applied to solve problems facing environmental engineers, geophysicists, agronomists, hydrologists, soil scientists and hydrogeologists. We present applications of hydrogeophysical methods to the understanding of hydrological processes and environmental problems dealing with the flow of water and the transport of solutes and contaminants. The majority of the book is organized as a series of process-driven chapters, each authored by leading experts. Areas covered include: infiltration and solute transport processes, biogeochemical functioning of soil-water systems, coastal groundwater interactions, cold region hydrology, engineered barriers and landfill processes. In addition, the book offers insight into the development of new data fusion methodologies, of value to many hydrogeophysical investigations, and provides an account how the rapidly developing self-potential technique can give valuable information about water fluxes and hydrochemical states within the subsurface.
Applied Fuzzy Arithmetic : An Introduction with Engineering Applications
Applied Fuzzy Arithmetic provides a well-structured compendium that offers both a deeper knowledge about the theory of fuzzy arithmetic and an extensive view on its applications in the engineering sciences, making it a resource for students, researchers, and practical engineers. The first part of the book gives an introduction to the theory of fuzzy arithmetic, which aims to present the subject in a well-organized and comprehensible form. The derivation of fuzzy arithmetic from the original fuzzy set theory and its evolution towards a successful implementation is presented with existing formulations of fuzzy arithmetic included and integrated in the overall context. The second part of the book presents a diversified exposition of the application of fuzzy arithmetic, addressing different areas of the engineering sciences, such as mechanical, geotechnical, biomedical, and control engineering.
Applied Demography in the 21st Century : Selected Papers from the Biennial Conference on Applied Demography, San Antonio, Texas, January 7–9, 2007
The work contains chapters on several major topical areas that are central to applied demography including works on data Use and measurement, including detailed analysis of the American Community Survey and Master Address File, population estimation and projection, applied demography and health, and surveys examples of applied demographic analysis in such diverse areas as urban planning, educational planning, church selection, and private-sector marketing. The work also contains a section on the process of educating applied demographers delineating the types of skills needed by the applied demographer and providing examples of a program designed to meet such needs.
Applied cryptography and network security ; Vol. 3531 ; 3rd international conference, ACNS 2005, New York, NY, USA, June 7-10, 2005, Proceedings
The 3rd International Conference on Applied Cryptography and Network Security (ACNS 2005) was sponsored and organized by ICISA (the International Commu- cations and Information Security Association). It was held at Columbia University in New York, USA, 2005. This conference proceedings volume contains papers presented in the academic/research track. ACNS covers a large number of research areas that have been gaining importance in recent years due to the development of the Internet, wireless communication and the increased global exposure of computing resources. The papers in this volume are representative of the state of the art in security and cryptography research, worldwide.
Applied and computational mathematics for digital environments
Contains the 11 papers that were accepted and published in the Special Issue “Applied and Computational Mathematics for Digital Environments” of the MDPI Mathematics journal. The topics of interest include, among others, scientific research, applied tasks, and problems in the following areas: The construction of mathematical and information models of intelligent computer systems for monitoring and controlling the parameters of digital environments; The development of intelligent optimization algorithms that search for optimal parameter values of mathematical and information models in digital environments; Software and mathematical technologies in the implementation of intelligent monitoring and computer control of the parameters of digital environments; The development and application of mathematical and information models, machine learning methods, and artificial intelligence for the analysis and processing of big data in digital environments.
Applications of random matrices in physics
Random matrices are widely and successfully used in physics for almost 60-70 years, beginning with the works of Dyson and Wigner. Although it is an old subject, it is constantly developing into new areas of physics and mathematics. It constitutes now a part of the general culture of a theoretical physicist. Mathematical methods inspired by random matrix theory become more powerful, sophisticated and enjoy rapidly growing applications in physics. Recent examples include the calculation of universal correlations in the mesoscopic system, new applications in disordered and quantum chaotic systems, in combinatorial and growth models, as well as the recent breakthrough, due to the matrix models, in two dimensional gravity and string theory and the non-abelian gauge theories. The book consists of the lectures of the leading specialists and covers rather systematically many of these topics.
Applications of evolutionary computing ; EvoWorkshops 2007 : EvoCOMNET, EvoFIN, EvoIASP, EvoINTERACTION, EvoMUSART, EvoSTOC, and EvoTransLog, Valencia, Spain, April 11-13, 2007, Proceedings
This volume contains contributions for EvoCOMNET, EvoFIN, EvoIHOT, EvoMUSART, EvoSTIM, and EvoTRANSLOC. The 51 revised full papers presented were carefully reviewed and selected from numerous submissions. This volume presents an overview about the latest research in EC. Areas where evolutionary computation techniques have been applied range from telecommunication networks to complex systems, finance and economics, games, image analysis, evolutionary music and art, parameter optimization, scheduling, and logistics. These papers may provide guidelines to help new researchers tackling their own problem using EC.
Apoptosis, cell signaling, and human diseases : Molecular mechanisms ; Vol.2
Volume 1 is divided into two sections: "Malignant Transformation and Metastasis" and "Molecular Basis of Disease Therapy." Volume 2 follows a similar structure and is divided into sections entitled "Kinases and Phosphate" and "Molecular Basis of Cell Death." All of the contributors are at the forefront of scientific discovery, and the reviews they present systemically examine the most exciting and innovative aspects of their particular areas of expertise. Researchers will find these volumes of major benefit as they search for novel and more effective treatments for human diseases.
Apoptosis, cell signaling, and human diseases : Molecular mechanisms ; Vol.1
Volume 1 is divided into two sections: “Malignant Transformation and Metastasis” and “Molecular Basis of Disease Therapy.” Volume 2 follows a similar structure and is divided into sections entitled “Kinases and Phosphate” and “Molecular Basis of Cell Death.” All of the contributors are at the forefront of scientific discovery, and the reviews they present systemically examine the most exciting and innovative aspects of their particular areas of expertise. Researchers will find these volumes of major benefit as they search for novel and more effective treatments for human diseases.
Antifouling Paint Biocides
This volume describes the state-of-the-art advances regarding antifouling paint biocides and provides thorough evaluation of research and information on major topics such as occurrence and levels, environmental fate, analytical techniques and methods for the monitoring and control, environmental modeling, ecotoxicological effects and risk assessment placing emphasis on the knowledge acquired over the last 10 years. The contamination of the aquatic environment by antifouling compounds has been a topic of increasing importance during the last few years. The major classes of antifouling active biocides are discussed including the old-fashioned organotin compounds, the modern organic booster biocides and the promising naturally occurring antifoulant products. Therefore, the reader will get a balanced view of this developing field. Chapters were written by leading experts in their field who critically surveyed all the major areas of progress. This volume is an important resource and can constitute a good grounding in the field of antifouling paint biocides.
Anthracycline Chemistry and Biology I : Biological Occurence and Biosynthesis, Synthesis and Chemistry
"This book … covers many different aspects of the origin, chemistry, and biosynthesis of one of the oldest but most important classes of anticancer agents. … In summary, the book is nicely produced, very well edited, and should serve as a valuable source of information … . This book will serve as an inspiration for scientists and students in the areas of chemistry, drug discovery, and biological evaluation. It should be an essential addition to institutional library collections … ."
Anomaly Detection : Techniques and Applications
When information in the data warehouse is processed, it follows a definite pattern. An unexpected deviation in the data pattern from the usual behavior is called an anomaly. The anomaly in the data is also referred to as noise, outlier, spammer, deviations, novelties and exceptions. Identification of the rare items, events, observations, patterns which raise suspension by differing significantly from the majority of data is called anomaly detection. With progress in the technologies and the widespread use of data for the purpose for business the increase in the spams faced by the individuals and the companies are increasing day by day. This noisy data has boomed as a major problem in various areas such as Internet of Things, web service, Machine Learning, Artificial Intelligence, Deep learning, Image Processing, Cloud Computing, Audio processing, Video Processing, VoIP, Data Science, Wireless Sensor etc. Identifying the anomaly data and filtering them before processing is a major challenge for the data analyst. This anomaly is unavoidable in all areas of research. This book covers the techniques and algorithms for detecting the deviated data.
Anion Sensing
This treatise on anion sensing and recognition represents a new addition to a very small number of books in this area, Although this Topics volume does not cover all the different classes fo receptors, it does provide new and timely perspectives to anion chemistry by highlighting several areas that have been generally overlooked in other reviews. The individual chapters are well-written and include references from earlier works up to the present. As such, this volume will be of interest to the community of researchers interested in anions as well as to those who wish to learn about the host-guest chemistry of anion recognition and its applications.
Animals in Our Midst : The Challenges of Co-existing with Animals in the Anthropocene
This book brings together authoritative voices in animal and environmental ethics, who address the many different facets of changing human-animal relationships in the Anthropocene. As we are living in complex times, the issue of how to establish meaningful relationships with other animals under Anthropocene conditions needs to be approached from a multitude of angles. This book offers the reader insight into the different discussions that exist around the topics of how we should understand animal agency, how we could take animal agency seriously in farms, urban areas and the wild, and what technologies are appropriate and morally desirable to use regarding animals. This book is of interest to both animal studies scholars and environmental ethics scholars, as well as to practitioners working with animals, such as wildlife managers, zookeepers, and conservation biologists.
Angiogenesis in Inflammation : Mechanisms and Clinical Correlates
This volume relates the lessons learned from tumour biology applied to inflammation. This issue of Angiogenesis in Inflammation: Mechanisms and Clinical Correlates develops current knowledge on the mechanisms at the molecular and cellular levels as they relate to inflammation, including acute and chronic inflammation, neurogenic initiation, and the role of the multiple cellular components that comprise inflammation: granulocytes, macrophages, fibroblasts, dendritic cells and lymphocytes. This is related to inflammatory disease: not only the familiar angiogenesis dependent diseases of rheumatoid arthritis and psoriasis, but also loci such as the lung, gastric ulcers, the eye with uveitis, wound healing and periodontal disease and their therapy, how this knowledge may be used in the discovery of novel therapeutics. The volume brings together experts in each of these fields to link the molecular and cellular processes in angiogenesis to those of inflammation and disease, culminating in a discourse on areas for future therapies.
Anatomy for Dental Medicine
Strikes an optimal balance between systemic and regional approaches to complex head and neck anatomy. Award-winning full-color illustrations, succinct text, summary tables, and questions put anatomical structures and knowledge into a practical context. NEW! Additional radiologic images and landmark features throughoutNEW! Reorganized brain/nerve sectionsNEW! Expanded clinical question appendix including patient box questions in the style of the INBDENEW! Factual question appendix places greater emphasis on areas including the skull, larynx, cross sectional anatomy, body below the neck, and local anesthesia
Analytical Methods for Problems of Molecular Transport
"This book is designed to serve a dual function. It is intended that it be capable of serving as a teaching instrument, either in a classroom environment or independently, for the study of basic analytical methods and mathematical techniques that may be used in the Kinetic Theory of Gases and is primarily suitable for use in graduate level physics and engineering courses on the subject. This book should also be useful as a reference for scientists and engineers working in the fields of Rarefied Gas Dynamics and Aerosol Mechanics. In addition, the material in this book may be of interest to individuals working in such areas as Physical Chemistry, Chemical Engineering, or any other applied discipline in which gas-surface interactions should play a significant role."-
