الصفحة 16
الصفحة 16
Modellistica Numerica per Problemi Differenziali = Numerical Modeling for Differential Problems
This text introduces the fundamental concepts for the numerical modeling of partial differential problems. We consider the classic linear elliptic, parabolic and hyperbolic equations, but also other equations, such as those of diffusion and transport, of Navier-Stokes, and the conservation laws. Numerous physical examples underlying these equations are provided, their main mathematical properties are studied, then numerical resolution methods based on finite elements, finite differences, finite volumes and spectral methods are proposed and analyzed. In particular, the algorithmic and computer implementation aspects are discussed and some easy-to-use programs in C ++ language are provided. The text does not presuppose an advanced mathematical knowledge of partial differential equations: the strictly indispensable concepts in this regard are reported in the Appendix. The volume is therefore suitable for students of scientific degree courses (Engineering, Mathematics, Physics, Chemistry, Information Sciences) and recommended for researchers from the academic and extra-academic world who want to approach this interesting branch of applied mathematics.
Modelling, Analysis and Optimization of Biosystems
Mathematical models in biology and medicine cannot be based on natural laws as it is the case with physics and chemistry. This is due to the fact that biological and medical processes are concerned with living organisms. Mathematical models, however, can be used as a language by which certain aspects of biological or medical processes can be expressed. In general, several mathematical models can be designed in order to describe a biological or medical process and there is no unique criterion which model gives the best description. This book presents several of these models and shows applications of them to different biological and medical problems. The book shows that operations research expertise is necessary in respect to modeling, analysis and optimization of biosystems.
Modelling Land-Use Change : Progress and Applications
land-use change simulation modelling is a relatively new and dynamic field of study and this book provides a full overview of the topic, a wide range of applications (both geographically and thematically), a mix of theory and practice, a synthesis of recent research progress, and educational material for students and teachers.
Modelling Environmental Dynamics : Advances in Geomatic Solutions
Modelling environmental dynamics is critical to understanding and predicting the evolution of the environment in response to the large number of influences including urbanisation, climate change and deforestation. Simulation and modelling provide support for decision making in environmental management.
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 Autonomic Communications Environments ; 3rd IEEE International Workshop, MACE 2008, Samos Island, Greece, September 22-26, 2008. Proceedings
Research and development of autonomics have come a long way, and we are delighted to present the proceedings of the 3rd IEEE International Workshop on Modelling Autonomic Communications Environments (MACE 2008).Asin the last two years, this workshopwasheld aspart of Manweek, the International Week on Management of Networks and Services, which took place on the lovely Island of Samos in Greece .MACE started as anexperimentin2006,andcreatedasmallcommunitythat nowfnds it self attracted backeachyearby afeeling ofexcitement-thatthere is something new going on. Certainly, MACE is not as shiny or practiced as other well-known conferences and workshops, but we consider this a feature of the workshopitself.
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 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.
Modeling Theory in Science Education
The book focuses as much on course content as on instruction and learning methodology, and presents practical aspects that have repeatedly demonstrated their value in fostering meaningful and equitable learning of physics and other science courses at the secondary school and college levels.The author shows how a scientific theory that is the object of a given science course can be organized around a limited set of basic models. Special tools are introduced, including modeling schemata, for students to meaningfully construct models and required conceptions, and for teachers to efficiently plan instruction and assess and regulate student learning and teaching practice. A scientific model is conceived to represent a particular pattern in the structure or behavior of physical realities and to explore and reify the pattern in specific ways. The author further shows how to engage students in modeling activities through structured learning cycles.
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 Marvels : Computational Anticipation of Novel Molecules
The aim of this book is to survey a number of chemical compounds that chemists, both theoretical and experimental, find fascinating. Some of these compounds, like planar carbon species or oxirene, offer no obvious practical applications; nitrogen oligomers and polymers, in contrast, have been touted as possible high-energy-density materials. What unites this otherwise eclectic collection is that these substances are unknown and offer a challenge to theory and to synthesis.
Modeling Foundations of Economic Property Rights Theory : An Axiomatic Analysis of Economic Agreements
The idea is to construct a kind of mathematical application in which any fundamental formal entity and/or operation has an empirical economic interpretation. This approach is seen as a way to cope with an extreme c- plexity of economic phenomena under consideration and requests for precise formulationofmodelswheremeaningfulanswersandsolutionsofproblemsare only those which are obtained rigorously. The proposed extensions in ma- ematical economics and property rights theory are to provide rich enough foundations to follow complexity of economic property rights in the exact way, and to identify where there is an appropriate method providing a- quate solution, and also to ?nd problems where in general there is no such methodology.
Modeling Financial Time Series with S-PLUS®
This book represents an integration of theory, methods, and examples using the S-PLUS statistical modeling language and the S+FinMetrics module to facilitate the practice of financial econometrics. This is the first book to show the power of S-PLUS for the analysis of time series data.It covers S+FinMetrics 2.0 and includes new chapters on copulas, nonlinear regime switching models, continuous-time financial models, generalized method of moments, semi-nonparametric conditional density models, and the efficient method of moments.
Modeling Decisions for Artificial Intelligence ; 5th International Conference, MDAI 2008 Sabadell, Spain, October 30-31, 2008. Proceedings
This book constitutes the refereed proceedings of the 5th International Conference on Modeling Decisions for Artificial Intelligence, MDAI 2008, held in Sabadell, Spain, in October 2008.The 19 revised full papers presented together with 2 invited lectures were thoroughly reviewed and selected from 43 submissions; they are devoted to theory and tools for modeling decisions, as well as applications that encompass decision making processes and information fusion techniques. The papers are organized in topical sections on aggregation operators, decision making, clustering and similarity, computational intelligence and optimization, as well as data privacy.
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 biological systems : Principles and applications
This extensively revised second edition of Modeling Biological Systems: Principles and Applications describes the essentials of creating and analyzing mathematical and computer simulation models for advanced undergraduates and graduate students. It offers a comprehensive understanding of the underlying principle, as well as details and equations applicable to a wide variety of biological systems and disciplines. Students will acquire from this text the tools necessary to produce their own models. The text contains two major sections: Principles and Applications. The first section discusses the principles of biological systems with a thorough description of the essential modeling activities of formulation, implementation, validation, and analysis. These activities are illustrated by a set of example models taken from recent and classical literature, chosen for their breadth of coverage and current timeliness. The new edition updates extensively many of these topics, especially quantitative model formulation, validation and model discrimination using information theory measures and Bayesian probability, and stability analysis and non-dimensionalization.
Modeling and Using Context ; 5th International and Interdisciplinary Conference, CONTEXT 2005, Paris, France, July 5-8, 2005, Proceedings
Context is of crucial importance for research and applications in many disciplines, as evidenced by many workshops, symposia, seminars, and conferences on specific aspects of context. The International and Interdisciplinary Conference on Modeling and Using Context (CONTEXT), the oldest conference series focusing on context, provides a unique interdisciplinary emphasis, bringing together participants from a wide range of disciplines, including artificial intelligence, cognitive science, computer science, linguistics, organizational science, philosophy, psychology, ubiquitous computing, and application areas such as medicine and law, to discuss and report on context-related research and projects. Previous CONTEXT conferences were held in Rio de Janeiro, Brazil (1997), Trento, Italy (1999, LNCS 1688), Dundee, UK (2001, LNCS 2116), and Palo Alto, USA (2003, LNCS 2680). CONTEXT 2005 was held in Paris, France during July 5–8, 2005. There was a strong response to the CONTEXT 2005 Call for Papers, with 120 submissions received. A careful review process assessed all submissions, with each paper first reviewed by the international Program Committee, and then reviewer discussions were initiated as needed to assure that the final decisions carefully considered all aspects of each paper. Reviews of submissions by the Program Chairs were supervised independently and anonymously, to assure fair consideration of all work. Out of the 120 submissions, 23 were selected as full papers for oral presentation, and 20 were selected as full papers for poster presentation. These outstanding papers are presented in this proceedings.
Modeling and Simulation in Scilab
Scilab is a free open-source software package for scientific computation. It includes hundreds of general purpose and specialized functions for numerical computation, organized in libraries called toolboxes, which cover such areas as simulation, optimization, systems and control, and signal processing. One important Scilab toolbox is Scicos. Scicos provides a block diagram graphical editor for the construction and simulation of dynamical systems. The objective of this book is to provide a tutorial for the use of Scilab/Scicos with a special emphasis on modeling and simulation tools. The book is divided into two parts. The first part concerns Scilab and includes a tutorial covering the language features, the data structures and specialized functions for doing graphics, importing, exporting data and interfacing external routines. It also covers in detail Scilab numerical solvers for ordinary differential equations and differential-algebraic equations. Even though the emphasis is placed on modeling and simulation applications, this part provides a global view of Scilab. The second part is dedicated to modeling and simulation of dynamical systems in Scicos. This type of modeling tool is widely used in industry because it provides a means for constructing modular and reusable models. This part contains a detailed description of the editor and its usage, which is illustrated through numerous examples.
