الصفحة 76
الصفحة 76
Model driven Engineering Languages and Systems; 10th International Conference, MoDELS 2007, Nashville, USA, September 30 - October 5, 2007, Proceedings
This book constitutes the refereed proceedings of the 10th International Conference on Model Driven Engineering Languages and Systems (formerly the UML series of conferences), MODELS 2007, held in Nashville, USA, September 30 - October 5, 2007. The 45 revised full papers were carefully reviewed and selected from 158 initial submissions.
Model Driven Engineering Languages and Systems ; Vol. 4199 ; 9th International Conference, MoDELS 2006, Genova, Italy, October 1-6, 2006, Proceedings
This book constitutes the refereed proceedings of the 9th International Conference on Model Driven Engineering Languages and Systems (formerly the UML series of conferences), MoDELS 2006, held in Genova, Italy, in October 2006. The 51 revised full papers and 2 invited papers presented were carefully reviewed and selected from 178 initial submissions. The papers are organized in topical sections on evaluating UML, MDA in software development, concrete syntax, applying UML to interaction and coordination, aspects, model integration, formal semantics of UML, security, model transformation tools and implementation, analyzing dynamic models, specifying transformations, MOF, bridging models, risk, trust and dependability, tool environments, OCL, roundtrip engineering, real time and embedded systems, as well as workshops, tutorials and panels.
Model Driven Architecture - Foundations and Applications ; 4th European Conference, ECMDA-FA 2008, Berlin, Germany, June 9-13, 2008. Proceedings
The 31 revised full papers presented - 21 research papers and 10 industry papers - were carefully reviewed and selected from 87 submissions. The papers address all current issues of model-driven architecture, i.e. model management, executable models, concrete syntaxes, aspects, and concerns, validation and testing, model-based systems engineering, model-driven development and service-oriented architectures, and the application of model-driven development. The papers are organized in topical sections on model management, executable models, concrete syntaxes, aspects and concerns, validation and testing, model-based systems engineering, model-driven development and service-oriented architectures, as well as surveys on applying model-driven development.
Model Checking Software ; 15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008 Proceedings
This book constitutes the refereed proceedings of the 15th International SPIN workshop on Model Checking Software, SPIN 2008, held in Los Angeles, CA, USA, in August 2008.The 17 revised full papers presented together with 1 tool paper and 4 invited talks were carefully reviewed and selected from 41 submissions. The main focus of the workshop series is software systems, including models and programs. The papers cover theoretical and algorithmic foundations as well as tools for software model checking and foster interactions and exchanges of ideas with related areas in software engineering, such as static analysis, dynamic analysis, and testing.
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.
Mobility, data mining and privacy : Geographic knowledge discovery
This book assesses this research frontier from a computer science perspective, investigating the various scientific and technological issues, open problems, and roadmap. The editors manage a research project called GeoPKDD, Geographic Privacy-Aware Knowledge Discovery and Delivery, funded by the EU Commission and involving 40 researchers from 7 countries, and this book tightly integrates and relates their findings in 13 chapters covering all related subjects, including the concepts of movement data and knowledge discovery from movement data; privacy-aware geographic knowledge discovery; wireless network and next-generation mobile technologies; trajectory data models, systems and warehouses; privacy and security aspects of technologies and related regulations; querying, mining and reasoning on spatiotemporal data; and visual analytics methods for movement data.
Mobile Wireless Middleware, Operating Systems and Applications ; 9th EAI International Conference, MOBILWARE 2020, Hohhot, China, July 11, 2020, Proceedings
This book constitutes the refereed conference proceedings of the 9th International Conference on Mobile Wireless Middleware, Operating Systems and Applications, MOBILWARE 2020, held in Hohhot, China, in July 2020. Due to COVID-19 pandemic the conference was held virtually. The 21 revised full papers were reviewed and selected from 69 submissions and are organized in tracks on MobilWare; Big data, data mining and artificial intelligence workshop; Blockchain and internet of things workshop.
Mobile Edge Computing
It offers comprehensive, self-contained knowledge on Mobile Edge Computing (MEC), which is a very promising technology for achieving intelligence in the next-generation wireless communications and computing networks. The book starts with the basic concepts, key techniques and network architectures of MEC. Then, we present the wide applications of MEC, including edge caching, 6G networks, Internet of Vehicles, and UAVs. In the last part, we present new opportunities when MEC meets blockchain, Artificial Intelligence, and distributed machine learning (e.g., federated learning). We also identify the emerging applications of MEC in pandemic, industrial Internet of Things and disaster management.
Mobile computing, applications, and services ; 11th EAI International Conference, MobiCASE 2020, Shanghai, China, September 12, 2020, Proceedings
This book constitutes the thoroughly refereed post-conference proceedings of the 11th International Conference on Mobile Computing, Applications, and Services, MobiCASE 2020, held in Shanghai, China, in September 2020. The conference was held virtually due to the COVID-19 pandemic. The 15 full papers were carefully reviewed and selected from 49 submissions. The papers are organized in topical sections on mobile application and framework; mobile application with data analysis; and AI application.
Mobile and Wireless Communications with Practical Use-Case Scenarios
While wireless technologies had a spectacular evolution over the past years, the present trend is to adopt a global heterogeneous network of shared standards that enables the provisioning of Quality of Service and Quality of Experience to the end-user. To this end, enabling technologies like Machine Learning, Internet of Things, Digital Twins, are seen as promising solutions for next generation networks that will enable an intelligent adaptive interconnected environment with support for prediction and decision making so that the heterogeneous applications and users requirements can be highly satisfied. The aim of this textbook is to provide the readers with a comprehensive technical foundation of the mobile communication systems and wireless network design, operations and applications of various radio access technologies. Additionally, it also introduces the reader to the latest advancements in technologies in terms of Internet of Things ecosystem, Machine Learning and Digital Twins for IoT-enabled intelligent environments. Furthermore, this textbook also includes practical use-case scenarios using Altair WinProp Software as well as Phyton, TensorFlow and Jupiter as support for practice-based laboratory sessions"
Mobile Ad Hoc Networks : Energy-Efficient Real-Time Data Communications
This book presents the Time Reservation using Adaptive Control for Energy Efficiency (TRACE) family of protocol architectures that provide such dynamic coordinated channel access in a distributed manner, enabling energy-efficient, real-time data communications in MANETs. Furthermore, this book provides an introduction to the fundamentals of MANETs, an overview of protocols for each layer of the protocol stack, and a discussion of the issues involved with energy-efficient protocol design and quality of service for real-time data transmission.
Mixture Formation in Internal Combustion Engines
This book covers the various approaches to modelling and optimising the spray and mixture formation processes in modern internal combustion engines. Due to their complexity and importance in predicting the temporal and spatial distribution of liquid and gaseous fuel inside the cylinder, special emphasis is put on the detailed description of multi-dimensional CFD-models. The book describes and discusses the most widely used mathematical models for in-cylinder spray and mixture formation processes.
Mixed-criticality industrial wireless networks
Introduces criticality to label important data,which is then allocated more transmission resources, ensuring that important data’sQoS requirements can be met to the extent possible.To help readers understand how to apply mixed criticality to industrial wirelessnetworks, the content is divided into four parts. First, we introduce how to integratethe model of mixed-criticality data into industrial wireless networks (Chap. 1).Second, we explain how to analyze the schedulability of mixed-criticality data underexisting scheduling algorithms (Chaps. 2 and 3). Third, we present a range of novelscheduling algorithms for mixed-criticality data (Chaps. 4, 5, and 6). Finally, weconclude this book and discuss future research directions (Chap. 7).
Missions of universities : Past, present, future
provides an analysis of university missions over time and space. It starts out by presenting a governance framework focusing on the demands on universities set by regulators, market actors and scrutinizers. It examines organizational structures, population development, the fundamental tasks of universities, and internal governance structures. Next, offers a discussion of the idea and role of universities in society, exploring concepts such as autonomy and universality, and the university as a transformative institute. The next four chapters deal with the development of universities from medieval times, through the Renaissance, towards the research universities in the nineteenth century in Europe and the United States.
Mission AI: the new system technology
Offers a strategic perspective on AI and the process of embedding it in society. After decades of research, Artificial Intelligence (AI) is now entering society at large. Due to its general purpose character, AI will change society in multiple, fundamental and unpredictable ways. Therefore, the Netherlands Scientific Council for Government Policy (WRR) characterizes AI as a system technology: a rare type of technologies that have a systemic impact on society. Earlier system technologies include electricity, the combustion engine and the computer. The history of these technologies provides us with useful insights about what it takes to direct the introduction of AI in society.
Missing Data and Small-Area Estimation : Modern Analytical Equipment for the Survey Statistician
The general tone of the book is not "from theory to practice," but "from current practice to better practice." The third part of the book, a single chapter, presents a method for efficient estimation under model uncertainty. It is inspired by the solution for small-area estimation and is an example of "from good practice to better theory." A strength of the presentation is chapters of case studies, one for each problem. Whenever possible, turning to examples and illustrations is preferred to the theoretical argument.
Misleading marketing communication : Assessing the impact of potentially deceptive food labelling on consumer behaviour
Presenting four complementary experimental studies targeting recurrent grey-zone scenarios on the Danish food market, the book illustrates the potential of the so-called ShopTrip test paradigm which simulates and registers real-life e-shopping behaviour as it unfolds while yielding new types of data against which opposing assessments of potential misleadingness can be matched. The results are discussed in the light of possible paths of theoretical explanation and implications for future regulative practices, including companies’ self-regulation.
Misinterpretations about Covid-19 vaccines
Immunization has become a vital part of public health and disease prevention, yet remain Vaccination is the most effective medical intervention ever a controversial topic. introduced, it has eliminated a large part of the infectious diseases that once killed millions of people. Recently, a number of effective vaccines have been manufactured and proved to be effective against the virus, but a rising incidents was observed of refusing people to take COVID-19 (SARS-CoV-2) vaccine because of the wrong myths they hear about the vaccine or its existing and non-existing side effects. The purpose of this research is to clarify information and remove vagueness about the vaccines and definitively convert fake concepts into facts by answering questions in a scientific method.
Misch's Contemporary Implant Dentistry
Uses a multidisciplinary approach to cover the industry’s most current processes and surgical procedures. The new edition of this text continues to provide comprehensive, state-of-the-art information on the science and discipline of contemporary implant dentistry. Covering the breadth of dental implant surgery, it includes full-color, in-depth coverage of both simple and complicated clinical cases, with practical guidance on how to apply the latest research, diagnostic tools, treatment planning, implant designs, and materials.
Misbehaving Proteins : Protein (Mis)Folding, Aggregation, and Stability
Misfoldedaggregatedproteinoncewasconsideredasinterestingasyesterday’strash—a bothersome by-product of important and productive activities, to be disposed of and forgotten as quickly as possible. Yesterday’s trash has become today’s focus of cons- erable scienti?c interest for at least two reasons: (1) protein aggregates are at the core of a number of chronic degenerative diseases such as Alzheimer’s disease, and (2) - gregation poses signi?cant obstacles to the manufacture of safe, ef?cacious, and stable protein products. As interest in protein misfolding, aggregation, and stability has soared beyond the core group of traditional protein-folding scientists, and as substantial scienti?c progress in understanding and controlling protein misfolding has been achieved, the need to summarize the state of the art became manifest. Although there are many excellent texts and edited collections on protein structure and folding, these volumes tend to relegate protein misfolding and aggregation to a minor role. Review articles and books focused on the biological role of protein aggregates in diseases have been published recently.
