الصفحة 17
الصفحة 17
Modelling and Development of Intelligent Systems ; 6th International Conference, MDIS 2019, Sibiu, Romania, October 3–5, 2019, Revised Selected Papers
This volume constitutes the refereed proceedings of the 6th International Conference on Modelling and Development of Intelligent Systems, MDIS 2019, held in Sibiu, Romania, in October 2019. The 13 revised full papers presented in the volume were carefully reviewed and selected from 31 submissions. The papers are organized in topical sections on adaptive systems; conceptual modelling; data mining; intelligent systems for decision support; machine learning.
Modelling and Analysis of Hybrid Supervisory Systems : A Petri Net Approach
Modelling and Analysis of Hybrid Supervisory Systems introduces a modelling formalism that merges Petri nets, differential equation systems and object-oriented methods; a formalism that is adequate for modelling complex and large-scale systems. To guide the designer and conduct hybrid modelling, the book describes a method that starts from the requirements of a supervisory system and results in a proposal for such a system. The method is mainly based on Unified Modelling Language diagrams, well-known tools in both academia and industry. In order to ensure that the supervisory system will behave as expected under any operational circumstances, a validation procedure that allows verification of the formal properties of the hybrid model is presented.
Modelli Matematici in Biologia = Mathematical Models in Biology
This text is addressed first of all to the students of the Specialist Degrees in Biology of the Universities, but it will also be of interest to students of Natural Sciences and Medicine. The topics covered include the most classic mathematical models of biological phenomena (population dynamics, spread of infectious diseases, simple physiology models), but a relevant part of the text is dedicated to the mathematical approach to the theory of natural evolution. The only prerequisites required of the reader are those provided by the basic courses of Mathematics of the Bachelor's Degree in Biology, Natural Sciences or Medicine.
Modélisation et statistique spatiales = Spatial modeling and statistics
Spatial statistics are undergoing significant development due to their use in many fields: earth sciences, environment and climatology, epidemiology, econometrics, image analysis, etc. This book presents the main spatial models used as well as their statistics for the three types of data: geostatistics (observation on a continuous domain), data on a discrete network, point data. The objective is to present in a concise but mathematically complete way the most classical models (second order and variogram; software model and Gibbs-Markov field; point processes) as well as their simulation by MCMC algorithm. Then comes the presentation of statistical tools useful for their study.
Modeling, Simulation and Optimization of Complex Processes ; Proceedings of the Third International Conference on High Performance Scientific Computing, March 6–10, 2006, Hanoi, Vietnam
This proceedings volume contains a selection of papers presented at the Third International Conference on High Performance Scientific Computing held at the Hanoi Institute of Mathematics, Vietnamese Academy of Science and Technology (VAST), March 6-10, 2006. The conference has been organized by the Hanoi Institute of Mathematics, Interdisciplinary Center for Scientific Computing (IWR), Heidelberg, and its International PhD Program ``Complex Processes: Modeling, Simulation and Optimization'', and Ho Chi Minh City University of Technology. The contributions cover the broad interdisciplinary spectrum of scientific computing and present recent advances in theory, development of methods, and applications in practice. Subjects covered are mathematical modelling, numerical simulation, methods for optimization and control, parallel computing, software development, applications of scientific computing in physics, chemistry, biology and mechanics, environmental and hydrology problems, transport, logistics and site location, communication networks, production scheduling, industrial and commercial problems.
Modeling, Simulation and Optimization of Complex Processes ; Proceedings of the International Conference on High Performance Scientific Computing, March 10-14, 2003, Hanoi, Vietnam
This proceedings volume contains a selection of papers presented at the symposium "International Conference on High Performance Scientific Computing'' held at the Hanoi Institute of Mathematics of the Vietnam National Center for Natural Science and Technology (NCST). The contributions cover the broad interdisciplinary spectrum of scientific computing and present recent advances in theory, development of methods, and applications in practice. Subjects covered are mathematical modelling, numerical simulation, methods for optimization and optimal control, parallel computing, symbolic computing, software development, applications of scientific computing in physics, chemistry, biology and mechanics, environmental and hydrology problems, transport, logistics and site location, communication networks, production scheduling, industrial and commercial problems.
Modeling, Estimation and Control : Festschrift in Honor of Giorgio Picci on the Occasion of his Sixty-Fifth Birthday
Coefficients of Variations in Analysis of Macro-Policy Effects: An example of two-parameter Poisson-Dirichlet distributions.- How Many Experiments Are Needed to Adapt?- A Mutual Information Based Distance for Multivariate Gaussian Processes.- Differential Forms and Dynamical Systems.- An Algebraic Framework for Bayes Nets of Time Series.- A Birds Eye View on System Identification.- Further Results on the Byrnes-Georgiou-Lindquist Generalized Moment Problem.- Factor Analysis and Alternating Minimization.- Tensored PolynomialModels.- Distances Between Time-Series and Their Autocorrelation Statistics.- Global Identifiability of Complex Models, Constructed from Simple Submodels.- Identification of Hidden MarkovModels - Uniform LLN-s.- Identifiability and Informative Experiments in Open and Closed-Loop Identification.- On Interpolation and the Kimura-Georgiou Parametrization.- The Control of Error in Numerical Methods.- Contour Reconstruction and Matching Using Recursive Smoothing Splines.- Role of LQ Decomposition in Subspace Identification Methods.- Canonical Operators on Graphs.
Modeling Solar Radiation at the Earth’s Surface : Recent Advances
Solar radiation data is important for a wide range of applications, e.g. in engineering, agriculture, health sector, and in many fields of the natural sciences. A few examples showing the diversity of applications may include: architecture and building design e.g. air conditioning and cooling systems; solar heating system design and use; solar power generation; weather and climate prediction models; evaporation and irrigation; calculation of water requirements for crops; monitoring plant growth and disease control; skin cancer research.
Modeling Semantic Web Services : The Web Service Modeling Language
In this book, Jos de Bruijn and his coauthors lay the foundations for understanding the requirements that shape the description of the various aspects related to Semantic Web services, such as the static background knowledge in the form of ontologies, the functional description of the service, and the behavioral description of the service. They introduce the Web Service Modeling Language (WSML), which provides means for describing the functionality and behavior of Web services, as well as the underlying business knowledge, in the form of ontologies, with a conceptual grounding in the Web Service Modeling Ontology.
Modeling in Biopharmaceutics, Pharmacokinetics and Pharmacodynamics : Homogeneous and Heterogeneous Approaches
The state of the art in Biopharmaceutics, Pharmacokinetics, and Pharmacodynamics Modeling is presented in this book. It shows how advanced physical and mathematical methods can expand classical models in order to cover heterogeneous drug-biological processes and therapeutic effects in the body. The book is divided into four parts; the first deals with the fundamental principles of fractals, diffusion and nonlinear dynamics; the second with drug dissolution, release, and absorption; the third with empirical, compartmental, and stochastic pharmacokinetic models, and the fourth mainly with nonclassical aspects of pharmacodynamics. The classical models that have relevance and application to these sciences are also considered throughout. Many examples are used to illustrate the intrinsic complexity of drug administration related phenomena in the human, justifying the use of advanced modeling methods.
Modeling Decisions for Artificial Intelligence ; Vol.3885 ; 3rd International Conference, MDAI 2006, Tarragona, Spain, April 3-5, 2006, Proceedings
This book constitutes the refereed proceedings of the Third International Conference on Modeling Decisions for Artificial Intelligence, MDAI 2006, held in Tarragona, Spain, in April 2006.
Modeling Complex Living Systems : A Kinetic Theory and Stochastic Game Approach
Using tools from mathematical kinetic theory and stochastic game theory, this work deals with the modeling of large complex systems in the applied sciences, particularly those comprised of several interacting individuals whose dynamics follow rules determined by some organized, or even "intelligent" ability. Traditionally, methods of mathematical kinetic theory have been applied to model the evolution of large systems of interacting classical or quantum particles. This book, on the other hand, examines the modeling of living systems as opposed to inert systems.
Modeling Communication with Robots and Virtual Humans ; Second ZiF Research Group International Workshop on Embodied Communication in Humans and Machines, Bielefeld, Germany, April 5-8, 2006, Revised Selected Papers
The 17 articles in this state-of-the-art survey address artificial intelligence research on communicative agents and also provide an interdisciplinary perspective from linguistics, behavioral research, theoretical biology, philosophy, communication psychology, and computational neuroscience. The topics include studies on human multimodal communication; the modeling of feedback signals, facial expression, eye contact, and deception; the recognition and comprehension of hand gestures and head movements; communication interfaces for humanoid robots; the evolution of cognition and language; emotion and social appraisal in nonverbal communication; dialogue models and methodologies; theory of mind and intentionality; complex systems, dynamic field theory, and connectionist modeling.
Modeling and simulation tools for emerging telecommunication networks : Needs, trends, challenges and solutions
This book contains a selection of papers presented at a symposium organized under the aegis of COST Telecommunications Action 285. The main objective of the Action is to enhance existing tools and develop new modeling and simulation tools for research in emerging multi-service telecommunication networks in the areas of model performance improvements, multilayer traffic modeling, and the important issue of evaluation and validation of the new modeling tools.
Modeling and simulation of complex communication networks
Covers important topics and approaches related to the modeling and simulation of complex communication networks from a complex adaptive systems perspective. The authors present different modeling paradigms and approaches as well as surveys and case studies. Modern network systems such as Internet of Things, Smart Grid, VoIP traffic, Peer-to-Peer protocol, and social networks, are inherently complex. They require powerful and realistic models and tools not only for analysis and simulation but also for prediction. With contributions from an international panel of experts, this book is essential reading for networking, computing, and communications professionals, researchers and engineers in the field of next generation networks and complex information and communication systems, and academics and advanced students working in these fields.
Modeling and Control of Discrete-event Dynamic Systems : with Petri Nets and Other Tools
Discrete-event dynamic systems (DEDs) permeate our world, being of great importance in modern manufacturing processes, transportation and various forms of computer and communications networking. Modeling and Control of Discrete-event Dynamic Systems begins with the mathematical basics required for the study of DEDs and moves on to present various tools used in their modeling and control. Among the instruments explained are many forms of Petri net, Grafcet (the sequential function chart), state charts, formal languages and max-plus algebra; all essential for control students to become proficient with DEDs and to make use of them in practical applications.
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.
Model-Driven Testing : Using the UML Testing Profile
Written by the original members of this standardization group, this book shows you how to use UML to test complex software systems. The authors introduce UTP step-by-step, using a case study that illustrates how UTP can be used for test modeling and test specification. You’ll learn how UTP concepts can be used for functional and non-functional testing, with example applications and best practices for user-interfaces and service oriented architectures. In addition, the authors demonstrate how to apply UTP using frameworks like TTCN-3 and the JUnit test framework for Java.
Model-Driven Development of Reliable Automotive Services ; 2nd Automotive Software Workshop, ASWSD 2006, San Diego, CA, USA, March 15-17, 2006, Revised Selected Papers
This book constitutes the thoroughly refereed post-workshop proceedings of the Second Automotive Software Workshop, ASWSD 2006, held in San Diego, CA, USA in March 2006.The 11 revised full papers presented were carefully reviewed and selected from 18 lectures held at the workshop, that brought together experts from industry and academia, working on highly complex, distributed, reactive software systems related to the automotive domain. The papers are organized in topical sections on modeling techniques and infrastructures, model transformations, quality assurance, real-time control, as well as services and components.
