الصفحة 13
الصفحة 13
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 checking software ; 14th International SPIN Workshop, Berlin, Germany, July 1-3, 2007, Proceedings
This book presents the proceedings of the 14th International SPIN workshop on Model Checking Software, held in Berlin, Germany. The papers are organized into topical sections covering directed model checking, partial order reduction, program analysis, exploration advances, modeling and case studies, and tool demonstrations.
Model Based Inference in the Life Sciences : A Primer on Evidence
The abstract concept of "information" can be quantified and this has led to many important advances in the analysis of data in the empirical sciences. This text focuses on a science philosophy based on "multiple working hypotheses" and statistical models to represent them. The fundamental science question relates to the empirical evidence for hypotheses in this set—a formal strength of evidence. Kullback-Leibler information is the information lost when a model is used to approximate full reality. Hirotugu Akaike found a link between K-L information (a cornerstone of information theory) and the maximized log-likelihood (a cornerstone of mathematical statistics). This combination has become the basis for a new paradigm in model based inference. The text advocates formal inference from all the hypotheses/models in the a priori set—multimodel inference.
Model and Mathematics : From the 19th to the 21st Century
This book collects the historical and medial perspectives of a systematic and epistemological analysis of the complicated, multifaceted relationship between model and mathematics, ranging from, for example, the physical mathematical models of the 19th century to the simulation and digital modelling of the 21st century. The aim of this anthology is to showcase the status of the mathematical model between abstraction and realization, presentation and representation, what is modeled and what models.
Modal Array Signal Processing : Principles and Applications of Acoustic Wavefield Decomposition
Many applications of acoustic signal processing, such as teleconferencing and surveillance systems, require an estimate of several parameters present in the observed acoustic wavefield. The most important parameters are the number as well as the location of active acoustic sources. This book deals with the problem of detecting and localizing multiple simultaneously active wideband acoustic sources by applying the notion of wavefield decomposition using circular and spherical microphone arrays. The decomposed wavefield representation is used to serve as a basis for so-called modal array signal processing algorithms, which have the significant advantage over classical array signal processing algorithms that they inherently support multiple wideband acoustic sources. A rigorous derivation of modal array signal processing algorithms for unambiguous source detection and localization as well as performance evaluations by means of measurements using an actual real-time capable implementation are discussed.
mODa 8 - Advances in Model-Oriented Design and Analysis ; Proceedings of the 8th International Workshop in Model-Oriented Design and Analysis held in Almagro, Spain, June 4–8, 2007
The volume contains the proceedings of the 8th Workshop on Model-Oriented Design and Analysis. This book offers leading and pioneering work on optimal experimental designs, both from a mathematical/statistical point of view and with regard to real applications. Scientists from all over the world, from Eastern and Western Europe, the USA, Latin-America, Asia and Africa, have contributed to this volume. Primary topics are designs for nonlinear models and applications to experimental medicine.
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 Information Systems II ; IFIP Working Conference on Mobile Information Systems, MOBIS 2005, Leeds, UK, December 6-7, 2005
Contains the proceedings of the second IFIP TC8 Working Conference on Mobile Information Systems which was held in December 2005 in Leeds, UK and sponsored by the International Federation of Information Processing (IFIP). Mobile Information Systems II aims to: · Clarify differences and similarities between the development of mobile and more traditional information systems. · Investigate the organizational impact of mobile information systems. · Investigate the 'e to m shift' , for example in m-Commerce relative to e-Commerce. · Investigate mobile commerce applications combined with the advantages of mobile communications technologies, the drivers of which have been identified as ubiquity, accessibility, security, convenience, localization, instant connectivity, and personalization. · Evaluate existing and newly developed approaches for the analysis, design, implementation, and evolution of mobile information systems. · Investigate technical issues and the constraints they impose on mobile information systems functionalities and design.
Mobile Information Systems ; Vol. 158 : IFIP TC 8 Working Conference on Mobile Information Systems (MOBIS) 15-17 September 2004, Oslo, Norway
This book contains the proceedings of the IFIP TC8 Working Conference on Mobile Information Systems, which was held in September 2004 in Oslo, Norway and sponsored by the International Federation for Information Processing (IFIP). Mobile Information Systems aims to: Clarify differences and similarities between the development of mobile vs. more traditional information system. Investigate the organizational impact of mobile information systems Investigate mCommerce relative to eCommerce Investigate mobile commerce applications combined with the advantages of mobile communications technologies, the drivers of which have been identified as ubiquity, reachability, security, convenience, localization, instant connectivity and personalization. Evaluate existing and newly developed approaches for analysis, design, implementation, and evolution of mobile information systems. Investigate technical issues and the constraints they pose on mobile information systems functionalities and design
Mobile health technologies for ambient assisted living and healthcare
The use of telemedicine and mobile devices is growing, and sensors might aid in creating creative solutions. Developing these solutions is crucial for monitoring senior citizens, lifestyles, and medical procedures. The development of assistive technology for various users to follow sports and other activities is strongly tied to this study area. Data protection is crucial, and the development of these solutions for medical uses should be verified. The security and privacy of the information may be tied to other recognized research projects for their acceptability. ICT research has considerably improved quality of life and has fully assimilated all citizens into society through medical rehabilitation and assistive technology. The technologies and research fields that influence medical informatics include databases, networking, graphical user interfaces, data mining, machine learning, intelligent decision support systems, and specialized programming languages.
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 Communications : Re-negotiation of the Social Sphere
Mobile Communications: Renegotiation of the Social Sphere surveys some of the broader issues associated with the adoption and use of mobile communication, and explores developing areas of inquiry. Mobile communications are looked at in the context of other types of mediated interaction (e-mail, instant messaging, Wi-Fi, landline telephone etc.), thus demonstrating the uniqueness of this form of communication and how it is influencing the renegotiation of the social sphere. A truly international set of contributors consider how mobile communication has impacted on society and reflect on how it is used (and sometimes resented) in various public and private spaces. They provide an in-depth analysis of specific areas which complement our understanding of the phenomena including: • The psychological dimensions of mobile communication (addiction, proclivity to be disturbed by others use of the mobile phone), • The linguistics of mobile communication, and • The understanding of mobile communication’s commercialisation. This book will be a valuable addition to any researcher’s or professional’s reading material in the area of interaction of technology and society, providing the reader with a broad insight and specific knowledge of how mobile communication is reformulating the social sphere.
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).
Mix-Design and Application of Hydraulic Grouts for Masonry Strengthening
Provides guidance for the rational design and application of hydraulic grouts, based on a series of specific data (type of masonry, voids' width, targeted strength and durability level, available materials, etc.). To this end, the basic characteristics of a grout, i.e. its injectability (penetrability, fluidity and stability), its strength and durability, are taken into account by means of rational models and quantified expressions of all grout-design parameters. Thus, a holistic, rational mix design methodology for optimization of grout composition is given, permitting the preliminary design of grouts, without having to resort to multiple tests in advance.
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.
Mining Complex Data ; ECML/PKDD 2007 Third International Workshop, MCD 2007, Warsaw, Poland, September 17-21, 2007, Revised Selected Papers
This book constitutes the refereed proceedings of the Third International Workshop on Mining Complex Data, MCD 2007, held in Warsaw, Poland, in September 2007, co-located with ECML and PKDD 2007.The 20 revised full papers presented were carefully reviewed and selected; they present original results on knowledge discovery from complex data. In contrast to the typical tabular data, complex data can consist of heterogenous data types, can come from different sources, or live in high dimensional spaces. All these specificities call for new data mining strategies.
Mini-Micro Fuel Cells : Fundamentals and Applications
This volume contains an archival record of the NATO Advanced Institute on Mini – Micro Fuel Cells – Fundamental and Applications held in Çesme – Izmir, Turkey, July 22–August 3, 2007. The ASIs are intended to be a high-level teaching activity in scientific and technical areas of current concern. In this volume, the reader may find interesting chapters on Mini- Micro Fuel Cells with fundamentals and applications. In recent years, fu- cell development, modeling and performance analysis has received much attention due to their potential for distributed power which is a critical issue for energy security and the environmental protection.
Minimal English for a Global World : Improved Communication Using Fewer Words
This book introduces a new tool for improving communication and promoting clearer thinking in a world where the use of Global English can create numerous comprehension and communication issues. Based on research findings from cross-linguistic semantics, it contains essays and studies by leading experts exploring the value and application of ‘Minimal English’ in various fields, including ethics, health, human rights discourse, education and international relations.
Mild Stress and Healthy Aging : Applying hormesis in aging research and interventions
Stress is a double edged sword. Whereas chronic stress has well known harmful effects, recent research shows that intermittent exposure of cells and organisms to mild stress can improve various biological parameters, including severe stress tolerance, health span and longevity. Mild stress-induced hormesis is potentially a powerful tool in gerontological research and interventions. This book brings together some of the world leaders in this area of research who present a critical analysis of the ongoing research with respect to the effects and mechanisms of action of various types of mild stress, such as irradiation, heat, physical exercise, hypergravity, pro-oxidants and nutritional components, on a variety of biological systems ranging from fruitflies to human cells and bodies. Their separate chapters and a final collective chapter open up a whole new world of possibilities for future research in aging, successful aging, and health span extension.
Migration and Social Protection in Europe and Beyond ; Vol.1 : Comparing Access to Welfare Entitlements
This book in a series of three volumes provides an in-depth analysis of social protection policies that EU Member States make accessible to resident nationals, non-resident nationals and non-national residents. In doing so, it discusses different scenarios in which the interplay between nationality and residence could lead to inequalities of access to welfare
