Modelling and Applications in Mathematics Education : The 14th ICMI Study
The contributing authors are eminent members of the mathematics education community. Modelling and Applications in Mathematics Education will be of special interest to mathematics educators, teacher educators, researchers, education administrators, curriculum developers and student teachers.
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 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 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 Control of Antennas and Telescopes
Modeling and Control of Antennas and Telescopes presents the author’s research and field experience in the area of antenna modeling, dynamics, and control. The required spacecraft tracking accuracy of 1 mdeg was the impetus for the new approaches to the antenna controls that use model based controllers (LQG and H¥ ). Consequently, modeling also required a new approach using system identification techniques. Most of the material presented is new in the telescope industry. The methods have been not only analyzed and tested, but actually implemented, giving confidence in the final result, which is significantly increased antenna pointing accuracy.
Model-Driven Development and Operation of Multi-Cloud Applications : The MODAClouds Approach
In this book readers will find technological discussions on the existing and emerging technologies across the different stages of the big data value chain. They will learn about legal aspects of big data, the social impact, and about education needs and requirements. And they will discover the business perspective and how big data technology can be exploited to deliver value within different sectors of the economy. The book is structured in four parts: Part I "The Big Data Opportunity" explores the value potential of big data with a particular focus on the European context. It also describes the legal, business and social dimensions that need to be addressed, and briefly introduces the European Commission's BIG project.
Model-Based Testing of Reactive Systems : Advanced Lectures
This book is based on a seminar held in Dagstuhl Castle, Germany, in January 2004. It presents 19 carefully reviewed and revised lectures given at the seminar in a well-balanced way ensuring competent complementary coverage of all relevant aspects. An appendix provides a glossary for model-based testing and basics on finite state machines and on labelled transition systems. The lectures are presented in topical sections on testing of finite state machines, testing of labelled transition systems, model-based test case generation, tools and case studies, standardized test notation and execution architectures, and beyond testing.
Model-based Geostatistics
Geostatistics is concerned with estimation and prediction problems for spatially continuous phenomena, using data obtained at a limited number of spatial locations. The name reflects its origins in mineral exploration, but the methods are now used in a wide range of settings including public health and the physical and environmental sciences. Model-based geostatistics refers to the application of general statistical principles of modeling and inference to geostatistical problems. This volume is the first book-length treatment of model-based geostatistics. The authors have written an expository text, emphasizing statistical methods and applications rather than the underlying mathematical theory. Analyses of datasets from a range of scientific contexts feature prominently, and simulations are used to illustrate theoretical results. Readers can reproduce most of the computational results in the book by using the authors' R-based software package, geoR, whose usage is illustrated in a computation section at the end of each chapter.
Model Based Learning and Instruction in Science
This book describes new, model based teaching methods for science instruction. It presents research that describes these new methods in a very diverse group of settings: middle school biology, high school physics, and college chemistry classrooms. Mental models in these areas such as understanding the structure of the lungs or cells, molecular structures and reaction mechanisms in chemistry, or causes of current flow in electricity are notoriously difficult for many students to learn. Yet these lie at the core of conceptual understanding in these areas. The studies focus on a variety of teaching strategies such as discrepant questioning, analogies, animations, model competition, and hands on activities.
Mobilities of Knowledge
This collection of essays examines how spatial mobilities of people and practices, technologies and objects, knowledge and ideas have shaped the production, circulation, and transfer of knowledge in different historical and geographical contexts. Targeting an interdisciplinary audience, Mobilities of Knowledge combines detailed empirical analyses with innovative conceptual approaches. The first part scrutinizes knowledge circulation, transfer, and adaption, focussing on the interpersonal communication process, early techniques of papermaking, a geographical text, indigenous knowledge in exploration, the genealogy of spatial analysis, and different disciplinary knowledges about the formation of cities, states, and agriculture.
Mobile and Wireless Network Security and Privacy
Mobile and Wireless Network Security and Privacy analyzes important security and privacy problems in the realms of wireless networks and mobile computing. The material includes a report to the National Science Foundation of the United States which will be used by program managers for the foundation in setting priorities for research directions in this area. In the following chapters field experts expand upon the report and provide further information about important research directions in the fields of wireless networks and mobile computing. The chapters are written by the leading international researchers and professionals in thes fields. Each chapter represents state-of-the-art research and includes several influential contributions. A multitude of valuable discussions on relevant concepts, such as the various approaches that define emerging security and privacy in mobile and wireless environment, are featured.
Mixed Hodge Structures
The text of this book has its origins more than twenty- ve years ago. In the seminar of the Dutch Singularity Theory project in 1982 and 1983, the second-named author gave a series of lectures on Mixed Hodge Structures and Singularities, accompanied by a set of hand-written notes. The publication of these notes was prevented by a revolution in the subject due to Morihiko Saito: the introduction of the theory of Mixed Hodge Modules around 1985. Understanding this theory was at the same time of great importance and very hard, due to the fact that it uni es many di erent theories which are quite complicated themselves: algebraic D-modules and perverse sheaves. The present book intends to provide a comprehensive text about Mixed Hodge Theory with a view towards Mixed Hodge Modules.
Microbial protein toxins
Since the initial establishment of Robert Koch’s postulates in the nineteenth century, microbial protein toxins have been recognized as a major factor of bacterial and fungal virulence. An increasing number of proteins produced and secreted by various bacteria, yeasts and plants are extremely toxic and most of them developed remarkably "intelligent" strategies to enter, to penetrate and to finally kill a eukaryotic target cell by modifying or blocking essential cellular components. This book describes the strategies employed by protein toxins to render their pro- and eukaryotic producers a selective growth advantage over competitors. In providing an up-to-date overview on the mode of protein toxin actions, it accommodates biomedically and biologically relevant toxin model systems. As a result, it significantly broadens our perspective on biochemical architecture and molecular ploy behind the lethal principles of pro- and eukaryotic toxins.
Microbial Activity in the Rhizosphere
The rhizosphere is a very complex environment in which the effects of the plant on soil microorganisms and the effects of the microorganisms on the plant are interacting and are interdependent. Plant root exudates and breakdown products attract microbes and feed them and, in turn, the plants often benefit from the microbes. Interactions among microorganisms and plant roots are essential for nutritional requirements of the plant. Plant growth, development and productivity are largely dependent on the soil environment in the root region rhizosphere. The new techniques of studying the rhizosphere enables us to get a much better understanding of the dynamics of the rhizosphere population, such rhizosphere studies being of interest to agriculturists, soilbiologists, chemists, microbiologists and molecular biologists. The rhizosphere microbes in?uence the root environment in several ways. They may change the oxidation-reduction potential, influence the availability of moisture and nutrients, produce growth inhibiting or growth promoting substances in the form of exudates, provide competition and possibly induce many other effects. My corrhizal associations are beneficial in mineral uptake and in increasing root surface area for effective ion absorption. Antagonism, ompetition and synergism in soil and the rhizoplane (rhizosphere) are the most important microbial interactions to consider in the study of rhizosphere biology. With the growing information on the production of growth regulators, competitiveness of the microbes in the rhizosphere, microsymbionts, and other factors, their effect upon plant growth will become more evident. Experiments on the introduction of microbes or their products in the rhizosphere will help to improve our understandingofthebiologyoftherhizosphere.
Micro Cogeneration : Towards Decentralized Energy Systems
The need for replacement is an extremely important driving force for the current transformation, forcing conventional and new technologies to compete for a role in the future energy supply. The overall transformation of electricity systems is neither driven nor shaped by technical or societal modifications alone, but rather by a rich diversity of processes in the realms of technology, politics, society and economy.
Mezzi di contrasto in ecografia : Applicazioni addominali = Contrast media in ultrasound : Abdominal applications
Lopera presenta unanalisi completa delle applicazioni dei mezzi di contrasto ecografici a livello addominale. La parte introduttiva di natura tecnica presenta la classificazione generale e le proprietà fisiche dei mezzi di contrasto ecografici, nonché una dettagliata classificazione delle tecniche ecografiche contrasto-specifiche; segue una parte speciale che descrive le applicazioni delle microbolle a livello del fegato, della milza e del rene. Vengono quindi presentate le applicazioni speciali e innovative dei mezzi di contrasto ecografici nellambito dei traumi delladdome, della patologia del pancreas, della parete intestinale e dei vasi addominali, e della valutazione del reflusso vescico-ureterale. Infine, viene proposta unanalisi economica relativa allapplicazione dei mezzi di contrasto ecografici nella caratterizzazione delle lesioni focali epatiche. Il libro è principalmente rivolto ai medici impegnati nellattività ecografica quotidiana, particolarmente in ambito internistico, che desiderano ampliare le proprie competenze nel settore dellecografia con mezzo di contrasto
Methods of Legal Reasoning
The book attempts to describe and criticize four methods used in legal practice, legal dogmatics and legal theory: logic, analysis, argumentation and hermeneutics. Apart from a presentation of basic ideas connected with the above mentioned methods, the essays contained in this book seek to answer questions concerning the assumptions standing behind these methods, the limits of using them and their usefulness in the practice and theory of law. A specific feature of the book is that in one study four different, sometimes competing concepts of legal method are discussed. The panorama, sketched like this, allows one to reflect deeply on the questions concerning the methodological conditioning of legal science and the existence of a unique, specific legal method. The authors argue that there exists no such method.
Methods and Tools for Effective Knowledge Life-Cycle-Management
This book provides an understanding of what knowledge is and of why it is one of the most strategic issues in future manufacturing competitiveness, which will be based primarily on high-level technologies and innovative products.
Methods and Techniques for Cleaning-up Contaminated Sites
This publication is meant to foster links between groups facing challenges cleaning up contaminated sites through presentations that explore the problems currently being addressed and solutions that are emerging in the field.
Métastases vertébrales = Vertebral metastases
Updating the technical progress made by each of the players, both diagnostic and therapeutic, was necessary and confirms the quality of the result of a joint venture serving a patient in a particularly delicate situation. It is intended to be practical for each of the care providers and didactic for those who are less specialized in one or another area. This has led us to make choices, of course debatable, leading to explanations that are sometimes a little too "obvious" for connoisseurs, a little too technical for neophytes, repetitions for everyone to find in "their" chapter what makes it so. interested.



















