Page 4
Page 4
Computer simulation studies in condensed-matter physics XVI ; Proceedings of the Seventeenth Workshop, Athens, GA, USA, February 16-20, 2004
This status report features the most recent developments in the field, spanning a wide range of topical areas in the computer simulation of condensed matter/materials physics. Both established and new topics are included, ranging from the statistical mechanics of classical magnetic spin models to electronic structure calculations, quantum simulations, and simulations of soft condensed matter. The book presents new physical results as well as novel methods of simulation and data analysis. Highlights of this volume include various aspects of non-equilibrium statistical mechanics, studies of properties of real materials using both classical model simulations and electronic structure calculations, and the use of computer simulations in teaching.
Computer Aided Pharmaceutics and Drug Delivery : An Application Guide for Students and Researchers of Pharmaceutical Sciences
Examines the role of computer-assisted techniques for discovering, designing, optimizing and manufacturing new, effective, and safe pharmaceutical formulations and drug delivery systems. The book discusses computational approaches, statistical modeling and molecular modeling for the development and safe delivery of drugs in humans. The application of concepts of QbD (Quality by Design), DoE (Design of Experiments), artificial intelligence and in silico pharmacokinetic assessment/simulation have been made a lot easier with the help of commercial software and expert systems. This title provides in-depth knowledge of such useful software with illustrations from the latest researches. The book also fills in the gap between pharmaceutics and molecular modeling at micro, meso and maro scale by covering topics such as advancements in computer-aided Drug Design (CADD), drug-polymer interactions in drug delivery systems, molecular modeling of nanoparticles and pharmaceutics/bioinformatics.
CMOS Multi-Channel Single-Chip Receivers for Multi-Gigabit Optical Data Communications
Focuses on optical communications for short and very short distance applications and discusses the monolithic integration of optical receivers with processing elements in standard CMOS technologies. CMOS Multi-Channel Single-Chip Receivers for Multi-Gigabit Optical Data Communications provides the reader with the necessary background knowledge to fully understand the trade-offs in short-distance communication receiver design and presents the key issues to be addressed in the development of such receivers in CMOS technologies. Moreover, novel design approaches are presented. A system-level design methodology allows for the impact analysis of different block specifications and system-wide design optimization. Statistical models are used for design space exploration in the scope of jitter tolerance analysis of clock recovery circuits.
Mathematical Modeling of Complex Biological Systems : A Kinetic Theory Approach
Describes the evolution of several socio-biological systems using mathematical kinetic theory. Specifically, it deals with modeling and simulations of biological systems—comprised of large populations of interacting cells—whose dynamics follow the rules of mechanics as well as rules governed by their own ability to organize movement and biological functions. The authors propose a new biological model for the analysis of competition between cells of an aggressive host and cells of a corresponding immune system.Because the microscopic description of a biological system is far more complex than that of a physical system of inert matter, a higher level of analysis is needed to deal with such complexity. Mathematical models using kinetic theory may represent a way to deal with such complexity, allowing for an understanding of phenomena of nonequilibrium statistical mechanics not described by the traditional macroscopic approach. The proposed models are related to the generalized Boltzmann equation and describe the population dynamics of several interacting elements (kinetic population models).The particular models proposed by the authors are based on a framework related to a system of integro-differential equations, defining the evolution of the distribution function over the microscopic state of each element in a given system. Macroscopic information on the behavior of the system is obtained from suitable moments of the distribution function over the microscopic states of the elements involved.
Mathematical Modeling for the Life Sciences
Proposing a wide range of mathematical models that are currently used in life sciences may be regarded as a challenge, and that is precisely the challenge that this book takes up. Of course this panoramic study does not claim to offer a detailed and exhaustive view of the many interactions between mathematical models and life sciences. This textbook provides a general overview of realistic mathematical models in life sciences, considering both deterministic and stochastic models and covering dynamical systems, game theory, stochastic processes and statistical methods. Each mathematical model is explained and illustrated individually with an appropriate biological example. Finally three appendices on ordinary differential equations, evolution equations, and probability are added to make it possible to read this book independently of other literature.
Mathematical and Statistical Methods in Insurance and Finance
The interaction between mathematicians and statisticians reveals to be an effective approach to the analysis of insurance and financial problems, in particular in an operative perspective. The Maf2006 conference, held at the University of Salerno in 2006, had precisely this purpose and the collection here published gathers some of the papers presented at the conference and successively worked out to this aim. They cover a wide variety of subjects in insurance and financial fields, all treated in light of the successful cooperation between the two quantitative methods.
Machine Learning for Multimodal Interaction ; Vol.3361 : 1st International Workshop, MLMI 2004, Martigny, Switzerland, June 21-23, 2004, Revised Selected Papers
his book contains a selection of refereed papers presented at the 1st Wo- shop on Machine Learning for Multimodal Interaction (MLMI 2004), held at the “Centre du Parc,” Martigny, Switzerland, during June 21–23, 2004. The workshop was organized and sponsored jointly by three European projects, – AMI, Augmented Multiparty Interaction, http://www.amiproject.org – PASCAL, Pattern Analysis, Statistical Modeling and Computational Learning, http://www.pascal-network.org – M4, Multi-modal Meeting Manager, http://www.m4project.org as well as the Swiss National Centre of Competence in Research (NCCR): – IM2: Interactive Multimodal Information Management, http://www.im2.ch MLMI 2004 was thus sponsored by the European Commission and the Swiss National Science Foundation.
Long Memory in Economics
When applying the statistical theory of long range dependent (LRD) processes to economics, the strong complexity of macroeconomic and financial variables, compared to standard LRD processes, becomes apparent. In order to get a better understanding of the behaviour of some economic variables, the book assembles three different strands of long memory analysis: statistical literature on the properties of, and tests for, LRD processes; mathematical literature on the stochastic processes involved; models from economic theory providing plausible micro foundations for the occurence of long memory in economics. Each chapter of the book will give a comprehensive survey of the state of the art and the directions that future developments are likely to take. Taken as a whole the book provides an overview of LRD processes which is accessible to economists, econometricians and statisticians.
Leveraging applications of formal methods, verification and validation : Verification Principles ; 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part I
Constitutes the refereed proceedings of the 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, which was planned to take place during October 20–30, 2020, on Rhodes, Greece. The papers presented were carefully reviewed and selected for inclusion in the proceedings. Each volume focusses on an individual topic with topical section headings within the volume : Part I, Verification Principles : Modularity and (De-)Composition in Verification ; X-by-Construction: Correctness meets Probability ; 30 Years of Statistical Model Checking ; Verification and Validation of Concurrent and Distributed Systems.
Le raisonnement bayésien : Modélisation et inférence = Bayesian reasoning : Modeling and inference
Describes in detail the practice of the Bayesian statistical approach using many examples chosen for their educational interest. The first part gives the general principles of statistical modeling making it possible to supervise but also to come to the aid of the imagination of the apprentice modeler. By examining examples of increasing difficulty, the reader forges the keys to building their own model. The second part presents the most useful calculation algorithms for estimating the unknowns of the model. Each inference method is presented and illustrated by numerous application cases.
Compendium of Theoretical Physics
Mechanics, Electrodynamics, Quantum Mechanics, and Statistical Mechanics and Thermodynamics comprise the canonical undergraduate curriculum of theoretical physics. In Compendium of Theoretical Physics, Armin Wachter and Henning Hoeber offer a concise, rigorous and structured overview that will be invaluable for students preparing for their qualifying examinations, readers needing a supplement to standard textbooks, and research or industrial physicists seeking a bridge between extensive textbooks and formula books. The authors take an axiomatic-deductive approach to each topic, starting the discussion of each theory with its fundamental equations. By subsequently deriving the various physical relationships and laws in logical rather than chronological order, and by using a consistent presentation and notation throughout, they emphasize the connections between the individual theories. The reader’s understanding is then reinforced with exercises, solutions and topic summaries.
Classifying madness : A philosophical examination of the diagnostic and statistical manual of mental disorders
Classifying Madness examines the conceptual foundations of the D.S.M., the main classification of mental disorders used by psychiatrists world-wide. It will be of interest to both mental health professionals and to philosophers interested in classification in science. The D.S.M. has become extremely controversial, and the possibility that there may be philosophical difficulties with it has become a commonplace in the mental health literature. Classifying Madness offers mental health professionals an opportunity to explore suspicions that there might be conceptual problems with the D.S.M. For philosophers, this book aims to contribute to debates in the philosophy of science concerning natural kinds, the theory-ladenness of classification, and the effect of sociological factors in science. These issues are normally approached via a consideration of the natural sciences and, as will be seen, approaching them via a consideration of psychiatry helps shed new light on old problems.
Classical Methods of Statistics : With Applications in Fusion-Oriented Plasma Physics
Classical Methods of Statistics is a blend of theory and practical statistical methods written for graduate students and researchers interested in applications to plasma physics and its experimental aspects. It can also fruitfully be used by students majoring in probability theory and statistics. In the first part, the mathematical framework and some of the history of the subject are described. Many exercises help readers to understand the underlying concepts. In the second part, two case studies are presented exemplifying discriminant analysis and multivariate profile analysis. The introductions of these case studies outline contextual magnetic plasma fusion research. In the third part, an overview of statistical software is given and, in particular, SAS and S-PLUS are discussed. In the last chapter, several datasets with guided exercises, predominantly from the ASDEX Upgrade tokamak, are included and their physical background is concisely described. The book concludes with a list of essential keyword translations.
Chaos, Nonlinearity, Complexity : The Dynamical Paradigm of Nature
This carefully edited book presents a focused debate on the mathematics and physics of chaos, nonlinearity and complexity in nature. It explores the role of non-extensive statistical mechanics in non-equilibrium thermodynamics, and presents an overview of the strong nonlinearity of chaos and complexity in natural systems that draws on the relevant mathematics from topology, measure-theory, inverse and ill-posed problems, set-valued analysis, and nonlinear functional analysis. It presents a self-contained scientific theory of complexity and complex systems as the steady state of non-equilibrium systems, denoting a homeostatic dynamic equilibrium between stabilizing order and destabilizing disorder.
Carbonate Reservoir Characterization : An Integrated Approach
One principal need in petroleum recovery from carbonate reservoirs is the description of the three-dimensional distribution of petrophysical properties in order to improve performance predictions by means of fluid-flow computer simulations. The book focuses on a rock based approach for the integration of geological, petrophysical, and geostatistical methods to construct a reservoir model suitable to input into flow simulation programs. This second edition includes a new chapter on model construction and new examples of limestone, dolostone, and touching-vug reservoir models as well as improved chapters on basic petrophysical properties, rock-fabric/petrophysical relationships, calibration of wireline logs, and sequence stratigraphy.
Car deal : The ultimate used-cars marketplace
This is an effort to represents the design and implementation of a mobile application that serves as a marketplace for buying and selling used cars. The application is developed using Flutter, a popular cross-platform framework, and integrates an Artificial Intelligence (AI) model to predict the price of used cars based on various parameters, such as the car's model, age, mileage, and condition. The report provides a comprehensive overview of the project's development process, including the use of agile methodology and various technologies, such as Firebase, Python, and TensorFlow. The AI model's accuracy is evaluated using statistical metrics, such as Mean Absolute Error (MAE) and Root Mean Squared Error (RMSE).
Business statistics : Communicating with numbers
Takes a comprehensive and contemporary approach that aims to bridge the gap between how statistics is taught and applied in the business world. this title not only prepares students in basic statistics but also gets them excited about further exploration of data analytics. the authors emphasize communicating with numbers rather than number crunching, through relatable case studies with relevant statistical methods and takeaways. this title incorporates timely examples from various fields, reinforces core features from previous editions, uses Excel and R to analyze data and solve problems, and includes new improvements, such as a revised chapter on data visualization, an exclusive chapter on logistic regression, and digital enhancements such as a big data capstone project with algorithmic exercises that span across multiple chapt.
Browning Agents and Active Particles : Collective Dynamics in the Natural and Social Sciences
Lays out a vision for a coherent framework for understanding complex systems'' (from the foreword by J. Doyne Farmer). By developing the genuine idea of Brownian agents, the author combines concepts from informatics, such as multiagent systems, with approaches of statistical many-particle physics. This way, an efficient method for computer simulations of complex systems is developed which is also accessible to analytical investigations and quantitative predictions. The book demonstrates that Brownian agent models can be successfully applied in many different contexts, ranging from physicochemical pattern formation, to active motion and swarming in biological systems, to self-assembling of networks, evolutionary optimization, urban growth, economic agglomeration and even social systems.
Blind Speech Separation
This is the first book to provide a cutting edge reference to the fascinating topic of blind source separation (BSS) for convolved speech mixtures. Through contributions by the foremost experts on the subject, the book provides an up-to-date account of research findings, explains the underlying theory, and discusses potential applications. The individual chapters are designed to be tutorial in nature with specific emphasis on an in-depth treatment of state of the art techniques. Blind Speech Separation is divided into three parts:Part 1 presents overdetermined or critically determined BSS. Here the main technology is independent component analysis (ICA). ICA is a statistical method for extracting mutually independent sources from their mixtures. Part 2 addresses underdetermined BSS, where there are fewer microphones than source signals. Here, the sparseness of speech sources is very useful; we can utilize time-frequency diversity, where sources are active in different regions of the time-frequency plane.Part 3 presents monaural BSS where there is only one microphone. Here, we can separate a mixture by using the harmonicity and temporal structure of the sources. We can build a probabilistic framework by assuming a source model, and separate a mixture by maximizing the a posteriori probability of the sources.
Biostatistics and microbiology : A survival manual
This book presents a step-by-step manner that eliminates the greatest obstacle to the learner, which is applying the many processes that comprise a statistical method. The author counters the fear of statistical methods by describing early in the book a step-by-step procedure to perform a statistical method - a process that we will term "the six-step procedure." All of the testing will be performed adhering to six well-defined steps, which will greatly simplify the statistical process. Each step in the sequence must be completed before moving on to the next step.
