تحسين النتائح
ترتيب حسب
من
الى
الصفحة 1
الصفحة 1
Complex Systems in Biomedicine
Features contributions from several Italian research groups that are working on the field of biomedicine. Each chapter in this book deals with a specific subfield, with the aim of providing an overview of the subject and an account of the research results.
Cell Surface Receptors : A Short Course on Theory and Methods
Cell Surface Receptors: A Short Course on Theory and Methods, 3rd Edition, links theoretical insights into drug-receptor interactions described in mathematical models with the experimental strategies to characterize the biological receptor of interest.
Brain Control of Wakefulness and Sleep
The book is rich in references and leaves no aspect of the problem untouched. The morphological, pharmacological, physiological and mathematical modeling aspects of different components of the subject are treated to exhaustion...the book is richly illustrated and down-right comprehensive. It will delight those interested in the field, will inform those who need a context for their research efforts and is a must for graduate and medical libraries.
Classification and Modeling with Linguistic Information Granules : Advanced Approaches to Linguistic Data Mining
Many approaches have already been proposed for classification and modeling in the literature. These approaches are usually based on mathematical mod els. Computer systems can easily handle mathematical models even when they are complicated and nonlinear (e.g., neural networks). On the other hand, it is not always easy for human users to intuitively understand mathe matical models even when they are simple and linear. This is because human information processing is based mainly on linguistic knowledge while com puter systems are designed to handle symbolic and numerical information. A large part of our daily communication is based on words. We learn from various media such as books, newspapers, magazines, TV, and the Inter net through words. We also communicate with others through words. While words play a central role in human information processing, linguistic models are not often used in the fields of classification and modeling. If there is no goal other than the maximization of accuracy in classification and modeling, mathematical models may always be preferred to linguistic models. On the other hand, linguistic models may be chosen if emphasis is placed on interpretability.
Bioinformatics
In this textbook present mathematical models in bioinformatics and they describe the biological problems that inspire the computer science tools used to handle the enormous data sets involved. The first part of the book covers the mathematical and computational methods, while the practical applications are presented in the second part. The mathematical presentation is descriptive and avoids unnecessary formalism, and yet remains clear and precise. Emphasis is laid on motivation through biological problems and cross applications. Each of the four chapters in the first part is accompanied by exercises and problems to support an understanding of the techniques presented. Each of the six chapters of the second part is devoted to some specific application domain: sequence alignment, molecular phylogenetics and coalescence theory, genomics, proteomics, RNA, and DNA microarrays. Each chapter concludes with a problems and projects section, to deepen the reader's understanding and to allow for the design of derived methods. Many of the projects involve publicly available software and/or Web-based bioinformatics depositories. Finally, the book closes with a thorough bibliography, reaching from classic research results to very recent findings, providing many pointers for future research.Overall, this volume is ideally suited for a senior undergraduate or graduate course on bioinformatics, with a strong focus on its mathematical and computer science background.
Algorithms for a New World : When Big Data and Mathematical Models Meet
Algorithms, artificial neural networks, and machine learning help us discover the opportunities and pitfalls of a world governed by mathematics and artificial intelligence.
Advanced mathematical science for mobility society
The automotive industry has made steady progress in technological innovations under the names of Connected Autonomous-Shared-Electric (CASE) and Mobility as a Service (MaaS). Needless to say, mathematics and informatics are important to support such innovations. As the concept of cars and movement itself is diversifying, they are indispensable for grasping the essence of the future mobility society and building the foundation for the next generation. This book contains three main contents. 1. Mathematical models of flow 2. Mathematical methodsfor huge data and network analysis 3. Algorithm for mobility society The first one discusses mathematical models of pedestrian and traffic flow, as they are important for preventing accidents and achieving efficient transportation.
A High-Performance Logical Framework -- All About Maude : How to Specify, Program, and Verify Systems in Rewriting Logic
This book gives a comprehensive account of Maude, a language and system based on rewriting logic. Many examples are used throughout the book to illustrate the main ideas and features of Maude, and its many possible uses. Maude modules are rewrite theories. Computation with such modules is - cient deduction by rewriting. Because of its logical basis and its initial model semantics,aMaude module defines a precise mathematical model.This means that Maude and its formal tool environment can be used in three, mutually reinforcing ways: • as a declarative programming language; • as an executable formal specification language; and • as a formal verification system. Maude’s rewriting logic is simple, yet very expressive. This gives Maude good representational capabilities as a semantic framework to formally represent a wide range of systems, including models of concurrency, distributed al- rithms, network protocols, semantics of programming languages, and models of cell biology. Rewriting logic is also an expressive universal logic,making Maude a fiexible logical framework in which many difierent logics and - ference systems can be represented and mechanized. This makes Maude a useful metatool to build many other tools, including those in its own formal tool environment. Thanks to the logic’s simplicity and the use of advanced semi-compilation techniques, Maude has a high-performance implementation, making it competitive with other declarative programming languages.
Application of numerical methods in engineering problems using MATLAB
Presents an analysis of structures using numerical methods and mathematical modeling. This structural analysis also includes beam, plate, and pipe elements, and examines deflection and frequency or buckling loads. The various engineering theories of beams/plates/shells are comprehensively presented, and the relationships between stress and strain, and the governing equations of the structure are extracted. To solve governing equations with numerical methods, there are two general types, including methods based on derivatives or integrals. Derivative-based methods have the advantage of flexibility in modeling boundary conditions, low analysis time, and a very high degree of accuracy.
Advances in Mechanics of Materials for Environmental and Civil Engineering
Deals with both mathematical modeling and experimental studies related to systems relevant for various civil engineering fields. The book addresses several key topics, including artificial intelligence applied to the control and monitoring of construction site personnel, finite element models for endplate beam-to-column connections under various load conditions, random functionally graded micropolar beams, and many others. The book explores the design and study of microstructures aimed at increasing the toughness and durability of novel materials in building and construction, based also on the re-utilization of residues and wastes of metallurgical industry produces.
Martingales and financial mathematics in discrete time
This book is entirely devoted to discrete time and provides a detailed introduction to the construction of the rigorous mathematical tools required for the evaluation of options in financial markets. Both theoretical and practical aspects are explored through multiple examples and exercises, for which complete solutions are provided. Particular attention is paid to the Cox, Ross and Rubinstein model in discrete time.
Analysis and Algorithms for Service Parts Supply Chains
Services requiring parts has become a $1.5 trillion business annually worldwide, creating a tremendous incentive to manage the logistics of these parts efficiently by making planning and operational decisions in a rational and rigorous manner. This book provides a broad overview of modeling approaches and solution methodologies for addressing service parts inventory problems found in high-powered technology and aerospace applications. The focus in this work is on the management of high cost, low demand rate service parts found in multi-echelon settings. This unique book, with its breadth of topics and mathematical treatment, begins by first demonstrating the optimality of an order-up-to policy [or (s-1,s)] in certain environments. This policy is used in the real world and studied throughout the text. The fundamental mathematical building blocks for modeling and solving applications of stochastic process and optimization techniques to service parts management problems are summarized extensively. A wide range of exact and approximate mathematical models of multi-echelon systems is developed and used in practice to estimate future inventory investment and part repair requirements.
Mathematical Models for Registration and Applications to Medical Imaging
Image registration is an emerging topic in image processing with many applications in medical imaging, picture and movie processing. The classical problem of image registration is concerned with ?nding an appropriate transformation between two data sets. This fuzzy de?nition of registration requires a mathematical modeling and in particular a mathematical speci?cation of the terms appropriate transformations and correlation between data sets. Depending on the type of application, typically Euler, rigid, plastic, elastic deformations are considered. The variety of similarity p measures ranges from a simpleL distance between the pixel values of the data to mutual information or entropy distances. This goal of this book is to highlight by some experts in industry and medicine relevant and emerging image registration applications and to show new emerging mathematical technologies in these areas. Currently, many registration application are solved based on variational prin- ple requiring sophisticated analysis, such as calculus of variations and the theory of partial differential equations, to name but a few. Due to the numerical compl- ity of registration problems ef?cient numerical realization are required. Concepts like multi-level solver for partial differential equations, non-convex optimization, and so on play an important role. Mathematical and numerical issues in the area of registration are discussed by some of the experts in this volume.
Mathematical Modelling of Biosystems
This volume is an interdisciplinary book, which introduces, in a very readable way, state of the art research in the fundamental topics of mathematical modelling of Biosystems. These topics include: the study of Biological Growth and its mechanisms, the coupling of pattern to form via theorems of Differential Geometry, the human immunodeficiency virus dynamics, the inverse folding problem and the possibility of analysing true protein backbone flexibility, the Biclustering techniques for the organization of microarray data, the analytical approach to the modelling of biomolecular structure via Steiner trees, the action of biocides on resistance mechanisms of mutated and phenotypic bacteria strains, a description of the fundamental processes for the distribution and abundances of species towards a unified theory of Ecology, and a special introduction to Protein Physics aiming to explain the all-or-none first order phase transitions from native to denatured states.
Mathematical Modelling for Sustainable Development
Mathematics needs Sustainable Development. When science was gradually reinvented in European medieval societies, it was legitimised as contributing to the disclosure of God’s divine creation. The conflicts that emerged became well known as a result of the clash between Galileo and the Church. Science found a new legitimacy through recognition that it was a powerful force against superstition. In the Enlightenment the argument was pushed forward by attributing Progress to the advancement of science: science could produce a better world by promoting rationality. In our modern society, science has become intimately linked to technology. Science for its own sake unfortunately rarely has positive outcomes in terms of research grant applications. Meanwhile, science and technology, and the progress they are supposed to produce, meet with wide scale scepticism. We all know of the current global problems: climate change, resource depletion, a thinning ozone layer, space debris, declining biodiversity, malnutrition, dying ecosystems, global inequity, and the risk of unprecedented nuclear wars
Mathematical Modeling of Complex Biological Systems : A Kinetic Theory Approach
This book 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. The book follows a classical research approach applied to modeling real systems, linking the observation of biological phenomena, collection of experimental data, modeling, and computational simulations to validate the proposed models. Qualitative analysis techniques are used to identify the prediction ability of specific models.
Mathematical Modeling of Biological Systems ; Vol. II : Epidemiology, Evolution and Ecology,Immunology, Neural Systems and the Brain, and Innovative Mathematical Methods
This two-volume, interdisciplinary work is a unified presentation of a broad range of state-of-the-art topics in the rapidly growing field of mathematical modeling in the biological sciences. Highlighted throughout both works are mathematical and computational approaches to examine central problems in the life sciences, ranging from the organizational principles of individual cells to the dynamics of large populations.
Mathematical Modeling of Biological Systems ; Vol. I : Cellular Biophysics, Regulatory Networks, Development, Biomedicine, and Data Analysis
This two-volume, interdisciplinary work is a unified presentation of a broad range of state-of-the-art topics in the rapidly growing field of mathematical modeling in the biological sciences. Highlighted throughout both works are mathematical and computational approaches to examine central problems in the life sciences, ranging from the organizational principles of individual cells to the dynamics of large populations.
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 Methods in Robust Control of Linear Stochastic Systems
Linear stochastic systems are successfully used to provide mathematical models for real processes in fields such as aerospace engineering, communications, manufacturing, finance and economy. This monograph presents a useful methodology for the control of such stochastic systems with a focus on robust stabilization in the mean square, linear quadratic control, the disturbance attenuation problem, and robust stabilization with respect to dynamic and parametric uncertainty.
