الصفحة 7
الصفحة 7
Modern Hematology : Biology and Clinical Management
The first chapters of this book contain a self-contained introduction to path integrals in Euclidean quantum mechanics and statistical mechanics. The resulting high-dimensional integrals can be estimated with the help of Monte Carlo simulations based on Markov processes. The most commonly used algorithms are presented in detail so as to prepare the reader for the use of high-performance computers as an “experimental” tool for this burgeoning field of theoretical physics. Several chapters are then devoted to an introduction to simple lattice field theories and a variety of spin systems with discrete and continuous spins, where the ubiquitous Ising model serves as an ideal guide for introducing the fascinating area of phase transitions. As an alternative to the lattice formulation of quantum field theories, variants of the flexible renormalization group methods are discussed in detail. Since, according to our present-day knowledge, all fundamental interactions in nature are described by gauge theories, the remaining chapters of the book deal with gauge theories without and with matter.
Modern Formal Methods and Applications
Formal methods are a robust approach for problem solving. It is based on logic and algebraic methods where problems can be formulated in a way that can help to find an appropriate solution. This book shows the basic concepts of formal methods and highlights modern modifications and enhancements to provide a more robust and efficient problem solving tool.Applications are presented from different disciplines such as engineering where the operation of chemical plants is synthesized using formal methods. Computational biology becomes easier and systematic using formal methods. Also, hardware compilation and systems can be managed using formal methods.
Modern deep learning for tabular data : Novel approaches to common modeling problems
Synthesizes and presents novel deep learning approaches to a seemingly unlikely domain - tabular data. Whether for finance, business, security, medicine, or countless other domain, deep learning can help mine and model complex patterns in tabular data - an incredibly ubiquitous form of structured data. Part I of the book offers a rigorous overview of machine learning principles, algorithms, and implementation skills relevant to holistically modeling and manipulating tabular data. Part II studies five dominant deep learning model designs - Artificial Neural Networks, Convolutional Neural Networks, Recurrent Neural Networks, Attention and Transformers, and Tree-Rooted Networks - through both their 'default' usage and their application to tabular data. Part III compounds the power of the previously covered methods by surveying strategies and techniques to supercharge deep learning systems: autoencoders, deep data generation, meta-optimization, multi-model arrangement, and neural network interpretability.
Modern cryptography ; Vol.1 : A classical introduction to informational and mathematical principle
This book systematically explores the statistical characteristics of cryptographic systems, the computational complexity theory of cryptographic algorithms and the mathematical principles behind various encryption and decryption algorithms. The theory stems from technology. Based on Shannon's information theory, this book systematically introduces the information theory, statistical characteristics and computational complexity theory of public key cryptography, focusing on the three main algorithms of public key cryptography, RSA, discrete logarithm and elliptic curve cryptosystem.
Modern Control Theory
This book presents a unified, systematic description of basic and advanced problems, methods and algorithms of the modern control theory treated as a foundation for the design of computer control and management systems.
Modern Computational Intelligence Methods for the Interpretation of Medical Images
A detailed description of up-to-date methods used for computer processing and interpretation of medical images is given. The scope of the book include images acquisition, storing with compression, processing, analysis, recognition and also its automatic understanding In introduction general overview of the computer vision methods designed for medical images is presented. Next sources of medical images are presented with their general characteristics. Both traditional (like X-ray) and very modern (like PET) sources of medical images are presented. The main emphasis is placed on such properties of medical images given by particular medical imaging methods which are important form the point of view of its computer processing, analysis and recognition.
Models for computer aided tolerancing in design and manufacturing ; Selected conference papers from the 9th CIRP International Seminar on Computer-aided tolerancing, held at Arizona State University, Tempe, Arizona, USA, 10-12 April, 2005
Computer Aided Tolerancing (CAT) is an important topic in any field of design and production where parts move relative to one another and/or are assembled together. Geometric variations from specified dimensions and form always occur when parts are manufactured. Improvements in production systems can cause the amounts of the variations to become smaller, but their presence does not disappear. To shorten the time from concept to market of a product, it has been increasingly important to take clearances and the tolerancing of manufacturing variations into consideration right from the beginning, at the stage of design. Hence, geometric models are defined that represent both the complete array of geometric variations possible during manufacture and also the influence of geometry on the function of individual parts and on assemblies of them.
Models and Algorithms for Global Optimization : Essays Dedicated to Antanas Žilinskas on the Occasion of His 60th Birthday
The research of Antanas Žilinskas has focused on developing models for global optimization, implementing and investigating the corresponding algorithms, and applying those algorithms to practical problems. This volume, dedicated to Professor Žilinskas on the occasion of his 60th birthday, contains new survey papers in which leading researchers from the field present various models and algorithms for solving global optimization problems.
Modelling Distributed Systems
Process algebras are languages for the description of elementary parallel systems and are used to study the behavioural properties of distributed systems, but they often lack the ability to handle data. This textbook guides students through algebraic specification and verification of distributed systems, and some of the most prominent formal verification techniques.
Modelling community structure in freshwater ecosystems
"The book presents approaches and methodologies for predicting the structure and diversity of key aquatic communities (namely diatoms, benthic macroinvertebrates and fish), under natural conditions and under man-made disturbance. Such an approach will make it possible to: 1) set up procedures for robust and sensitive ecosystem evaluation, based on the prediction of the excepted community structure; 2) model community structure in disturbed ecosystems, taking into account all the relevant ecological variables; 3) test ecosystem sensitivity to natural and anthropic disturbance; and 4) explore specific actions to be taken for the restoration of ecosystem integrity."--Jacket.
Modelling and Simulation : Exploring Dynamic System Behaviour
Modelling and Simulation: Exploring Dynamic System Behaviour provides the reader with a balanced and integrated presentation of the modelling and simulation activity for both Discrete Event Dynamic Systems (DEDS) and Continuous Time Dynamic Systems (CTDS). This book presents the fundamentals necessary to understand the many important facets of the modeling and simulation methodology.
Modelling and Reasoning with Vague Concepts
This volume outlines a formal representation framework for modelling and reasoning with vague concepts in Artificial Intelligence. The new calculus has many applications, especially in automated reasoning, learning, data analysis and information fusion. This book gives a rigorous introduction to label semantics theory, illustrated with many examples, and suggests clear operational interpretations of the proposed measures. It also provides a detailed description of how the theory can be applied in data analysis and information fusion based on a range of benchmark problems.
Modelling and Optimization of Biotechnological Processes : Artificial Intelligence Approaches
The book begins with a historical introduction to the field of bioprocess control based on artificial intelligence approaches, followed by two chapters covering the optimization of fed-batch culture using genetic algorithms. Online biomass soft-sensors are constructed in Chapter 4 using recurrent neural networks. The bioprocess is then modelled in Chapter 5 by cascading two soft-sensor neural networks. Optimization and validation of the final product are detailed in Chapters 6 and 7. The general conclusions are drawn in Chapter 8.
Modelling and Estimation Strategies for Fault Diagnosis of Non-Linear Systems : From Analytical to Soft Computing Approaches
This monograph presents a variety of techniques that can be used for designing robust fault diagnosis schemes for non-linear systems. The introductory part of the book is of a tutorial value and can be perceived as a good starting point for the new-comers to this field. Subsequently, advanced robust observer structures are presented. Parameter estimation based techniques are discussed as well. A particular attention is drawn to experimental design for fault diagnosis. The book also presents a number of robust soft computing approaches utilizing evolutionary algorithms and neural networks. All approaches described in this book are illustrated by practical applications.
Modelling and Control of Mini-Flying Machines
Modelling and Control of Mini-Flying Machines is an exposition of models developed for various types of mini-aircraft. Modelling and Control of Mini-Flying Machines provides valuable insights to the application of real-time nonlinear techniques in an always challenging area.
Modelling and Control of Dynamical Systems : Numerical Implementation in a Behavioral Framework
This book reviews known topics of the Behavioral Approach and offers new theoretic results with the advantage of including control algorithms implemented numerically in the computer. In addition, issues of numerical analysis are also included. The programs and algorithms are MATLAB based.
Modeling, Control and Implementation of Smart Structures : A FEM-State Space Approach
This monograph presents an introductory overview of smart structures, their concepts, their active involvement in the vibration control, their applications and the extensive research work done on it so far. The modelling of flexible beams using two types of beam theories, viz., the Euler-Bernoulli theory and the Timoshenko beam theory is presented, including a new concept of finite element modeling of the flexible structures using Timoshenko beam theory with the inclusion of the shear both in the piezo-patches as well as in the host structure. It presents the design of the periodic output feedback control system for smart structure systems, the design of the FOS controllers for active vibration control and the design of Discrete Sliding Mode controllers using multirate output feedback technique.
Modeling of Creep for Structural Analysis
"Creep Modeling for Structural Analysis" develops methods to simulate and analyze the time-dependent changes of stress and strain states in engineering structures up to the critical stage of creep rupture. The principal subjects of creep mechanics are the formulation of constitutive equations for creep in structural materials under multi-axial stress states; the application of structural mechanics models of beams, plates, shells and three-dimensional solids and the utilization of procedures for the solution of non-linear initial-boundary value problems. The objective of this book is to review some of the classical and recently proposed approaches to the modeling of creep for structural analysis applications as well as to extend the collection of available solutions of creep problems by new, more sophisticated examples.
Modeling and computations in electromagnetics ; A volume dedicated to Jean-Claude Nédélec
Modeling and computations in electromagnetics is a quite novel and growing discipline, expanding as a result of the steadily increasing demand for designing electrical devices, modeling electromagnetic materials, and simulating electromagnetic fields in nanoscale structures. The aim of this volume is to bring together prominent worldwide experts to review state-of-the-art developments and future trends of modeling and computations in electromagnetics. This volume is devoted to merging the expertise of scientists working in this dynamic discipline, and to raising interest for challenging issues. The most significant advances in computational techniques have been made only in the last few years, and several challenging technological applications are presented in this volume.
Modeling and Analysis of Transient Processes in Open Resonant Structures : New Methods and Techniques
The principal goal of the book is to describe new accurate and robust algorithms for open resonant structures with substantially increased efficiency. The book presents a systematic approach to the study of electromagnetic waves scattering which can be introduced in undergraduate/postgraduate education in theoretical and applied radiophysics and different advanced engineering courses on antenna and wave-guide technology.
