- Table View
- List View
Mixture Models and Applications (Unsupervised and Semi-Supervised Learning)
by Nizar Bouguila Wentao FanThis book focuses on recent advances, approaches, theories and applications related to mixture models. In particular, it presents recent unsupervised and semi-supervised frameworks that consider mixture models as their main tool. The chapters considers mixture models involving several interesting and challenging problems such as parameters estimation, model selection, feature selection, etc. The goal of this book is to summarize the recent advances and modern approaches related to these problems. Each contributor presents novel research, a practical study, or novel applications based on mixture models, or a survey of the literature.Reports advances on classic problems in mixture modeling such as parameter estimation, model selection, and feature selection;Present theoretical and practical developments in mixture-based modeling and their importance in different applications;Discusses perspectives and challenging future works related to mixture modeling.
Mixture Models: Parametric, Semiparametric, and New Directions (ISSN)
by Weixin Yao Sijia XiangMixture models are a powerful tool for analyzing complex and heterogeneous datasets across many scientific fields, from finance to genomics. Mixture Models: Parametric, Semiparametric, and New Directions provides an up-to-date introduction to these models, their recent developments, and their implementation using R. It fills a gap in the literature by covering not only the basics of finite mixture models, but also recent developments such as semiparametric extensions, robust modeling, label switching, and high-dimensional modeling. Features Comprehensive overview of the methods and applications of mixture models Key topics including hypothesis testing, model selection, estimation methods, and Bayesian approaches Recent developments, such as semiparametric extensions, robust modeling, label switching, and high-dimensional modeling Examples and case studies from such fields as astronomy, biology, genomics, economics, finance, medicine, engineering, and sociology Integrated R code for many of the models, with code and data available in the R Package MixSemiRob Mixture Models: Parametric, Semiparametric, and New Directions is a valuable resource for researchers and postgraduate students from statistics, biostatistics, and other fields. It could be used as a textbook for a course on model-based clustering methods, and as a supplementary text for courses on data mining, semiparametric modeling, and high-dimensional data analysis.
Mixture and Hidden Markov Models with R (Use R!)
by Ingmar Visser Maarten SpeekenbrinkThis book discusses mixture and hidden Markov models for modeling behavioral data. Mixture and hidden Markov models are statistical models which are useful when an observed system occupies a number of distinct “regimes” or unobserved (hidden) states. These models are widely used in a variety of fields, including artificial intelligence, biology, finance, and psychology. Hidden Markov models can be viewed as an extension of mixture models, to model transitions between states over time. Covering both mixture and hidden Markov models in a single book allows main concepts and issues to be introduced in the relatively simpler context of mixture models. After a thorough treatment of the theory and practice of mixture modeling, the conceptual leap towards hidden Markov models is relatively straightforward. This book provides many practical examples illustrating the wide variety of uses of the models. These examples are drawn from our own work in psychology, as well as other areas such as financial time series and climate data. Most examples illustrate the use of the authors’ depmixS4 package, which provides a flexible framework to construct and estimate mixture and hidden Markov models. All examples are fully reproducible and the accompanying hmmR package provides all the datasets used, as well as additional functionality. This book is suitable for advanced students and researchers with an applied background.
Mixtures: Estimation And Applications (Wiley Series In Probability And Statistics Ser. #896)
by Christian Robert Mike Titterington Kerrie MengersenThis book uses the EM (expectation maximization) algorithm to simultaneously estimate the missing data and unknown parameter(s) associated with a data set. The parameters describe the component distributions of the mixture; the distributions may be continuous or discrete.The editors provide a complete account of the applications, mathematical structure and statistical analysis of finite mixture distributions along with MCMC computational methods, together with a range of detailed discussions covering the applications of the methods and features chapters from the leading experts on the subject. The applications are drawn from scientific discipline, including biostatistics, computer science, ecology and finance. This area of statistics is important to a range of disciplines, and its methodology attracts interest from researchers in the fields in which it can be applied.
Mobile Apps Engineering: Design, Development, Security, and Testing
by Ghita Kouadri Mostefaoui and Faisal TariqThe objective of this edited book is to gather best practices in the development and management of mobile apps projects. Mobile Apps Engineering aims to provide software engineering lecturers, students and researchers of mobile computing a starting point for developing successful mobile apps. To achieve these objectives, the book’s contributors emphasize the essential concepts of the field, such as apps design, testing and security, with the intention of offering a compact, self-contained book which shall stimulate further research interest in the topic. The editors hope and believe that their efforts in bringing this book together can make mobile apps engineering an independent discipline inspired by traditional software engineering, but taking into account the new challenges posed by mobile computing.
Mobile Cloud Computing: Architectures, Algorithms and Applications
by Debashis DeMinimize Power Consumption and Enhance User ExperienceEssential for high-speed fifth-generation mobile networks, mobile cloud computing (MCC) integrates the power of cloud data centers with the portability of mobile computing devices. Mobile Cloud Computing: Architectures, Algorithms and Applications covers the latest technological and architectura
Mobile Cloud Computing: Models, Implementation, and Security
by Meikang Qiu Keke GaiMobile Cloud Computing: Models, Implementation, and Security provides a comprehensive introduction to mobile cloud computing, including key concepts, models, and relevant applications. The book focuses on novel and advanced algorithms, as well as mobile app development. <P><P>The book begins with an overview of mobile cloud computing concepts, models, and service deployments, as well as specific cloud service models. It continues with the basic mechanisms and principles of mobile computing, as well as virtualization techniques. The book also introduces mobile cloud computing architecture, design, key techniques, and challenges. <P><P>The second part of the book covers optimizations of data processing and storage in mobile clouds, including performance and green clouds. The crucial optimization algorithm in mobile cloud computing is also explored, along with big data and service computing. <P><P>Security issues in mobile cloud computing are covered in-depth, including a brief introduction to security and privacy issues and threats, as well as privacy protection techniques in mobile systems. The last part of the book features the integration of service-oriented architecture with mobile cloud computing. It discusses web service specifications related to implementations of mobile cloud computing. <P><P>The book not only presents critical concepts in mobile cloud systems, but also drives readers to deeper research, through open discussion questions. Practical case studies are also included. Suitable for graduate students and professionals, this book provides a detailed and timely overview of mobile cloud computing for a broad range of readers.
Mobile Networks for Biometric Data Analysis
by Simone Orcioni Natividad Martínez Madrid Massimo Conti Ralf SeepoldThis book showcases new and innovative approaches to biometric data capture and analysis, focusing especially on those that are characterized by non-intrusiveness, reliable prediction algorithms, and high user acceptance. It comprises the peer-reviewed papers from the international workshop on the subject that was held in Ancona, Italy, in October 2014 and featured sessions on ICT for health care, biometric data in automotive and home applications, embedded systems for biometric data analysis, biometric data analysis: EMG and ECG, and ICT for gait analysis. The background to the book is the challenge posed by the prevention and treatment of common, widespread chronic diseases in modern, aging societies. Capture of biometric data is a cornerstone for any analysis and treatment strategy. The latest advances in sensor technology allow accurate data measurement in a non-intrusive way, and in many cases it is necessary to provide online monitoring and real-time data capturing to support a patient's prevention plans or to allow medical professionals to access the patient's current status. This book will be of value to all with an interest in this expanding field.
Mobility Data Management and Exploration
by Nikos Pelekis Yannis TheodoridisThis text integrates different mobility data handling processes, from database management to multi-dimensional analysis and mining, into a unified presentation driven by the spectrum of requirements raised by real-world applications. It presents a step-by-step methodology to understand and exploit mobility data: collecting and cleansing data, storage in Moving Object Database (MOD) engines, indexing, processing, analyzing and mining mobility data. Emerging issues, such as semantic and privacy-aware querying and mining as well as distributed data processing, are also covered. Theoretical presentation is smoothly interchanged with hands-on exercises and case studies involving an actual MOD engine. The authors are established experts who address both theoretical and practical dimensions of the field but also present valuable prototype software. The background context, clear explanations and sample exercises make this an ideal textbook for graduate students studying database management, data mining and geographic information systems.
Mobility and Geographical Scales
by Vincent Kaufmann Guillaume DrevonThe concept of mobility has grown enormously over the last two decades. A large part of the social sciences has been interested in the different forms of mobility, from a wide variety of spatial and temporal scales. This book presents the different spatial and temporal scales of mobility and the way in which they form a system, by associating them with essential and original research objects. It provides an in-depth review of scientific knowledge, a perspective on major societal issues, analytical tools and a discussion on the main current academic debates. The authors highlight the need to take into account both the spatial and temporal scales of mobility in order to address contemporary environmental and societal issues. The book invites us to think about the entanglement of these different scales from the analysis of rhythms by founding a rhythmology of contemporary mobilities.
Mobilität, Erreichbarkeit, Raum: (Selbst-)kritische Perspektiven aus Wissenschaft und Praxis (Studien zur Mobilitäts- und Verkehrsforschung)
by Joachim Scheiner Mathias Wilde Alexandra AppelDer Sammelband fasst wichtige Themen und Entwicklungen der Mobilitäts- und Verkehrsforschung der letzten Jahre zusammen. Die Beiträge gehen auf das Instrumentarium empirischer Forschung ein und erläutern deren Einsatzbereiche anhand konkreter Anwendungsfälle. Genauso zeigt der Sammelband jene Perspektiven auf, mit denen die Planungspraxis der (Um-)Gestaltung der Verkehrssysteme eine Form geben kann, um nachhaltigere Mobilität zu fördern. Damit richtet er sich sowohl an eine Leserschaft, die sich mit den wissenschaftlichen Grundlagen der Mobilitäts- und Verkehrsforschung befasst, als auch an eine Leserschaft, die an wissenschaftlich fundierten Maßnahmen zur nachhaltigen Umgestaltung der Verkehrssysteme interessiert ist.
Mobius Invariant QK Spaces
by Hasi Wulan Kehe ZhuThis monograph summarizes the recent major achievements in M#65533;bius invariant QK spaces. First introduced by Hasi Wulan and his collaborators, the theory of QK spaces has developed immensely in the last two decades, and the topics covered in this book will be helpful to graduate students and new researchers interested in the field. Featuring a wide range of subjects, including an overview of QK spaces, QK-Teichm#65533;ller spaces, K-Carleson measures and analysis of weight functions, this book serves as an important resource for analysts interested in this area of complex analysis. Notes, numerous exercises, and a comprehensive up-to-date bibliography provide an accessible entry to anyone with a standard graduate background in real and complex analysis.
Mod Two Homology and Cohomology
by Jean-Claude HausmannCohomology and homology modulo 2 helps the reader grasp more readily the basics of a major tool in algebraic topology. Compared to a more general approach to (co)homology this refreshing approach has many pedagogical advantages: 1. It leads more quickly to the essentials of the subject, 2. An absence of signs and orientation considerations simplifies the theory, 3. Computations and advanced applications can be presented at an earlier stage, 4. Simple geometrical interpretations of (co)chains. Mod 2 (co)homology was developed in the first quarter of the twentieth century as an alternative to integral homology, before both became particular cases of (co)homology with arbitrary coefficients. The first chapters of this book may serve as a basis for a graduate-level introductory course to (co)homology. Simplicial and singular mod 2 (co)homology are introduced, with their products and Steenrod squares, as well as equivariant cohomology. Classical applications include Brouwer's fixed point theorem, Poincaré duality, Borsuk-Ulam theorem, Hopf invariant, Smith theory, Kervaire invariant, etc. The cohomology of flag manifolds is treated in detail (without spectral sequences), including the relationship between Stiefel-Whitney classes and Schubert calculus. More recent developments are also covered, including topological complexity, face spaces, equivariant Morse theory, conjugation spaces, polygon spaces, amongst others. Each chapter ends with exercises, with some hints and answers at the end of the book.
Mod-ϕ Convergence
by Valentin Féray Pierre-Loïc Méliot Ashkan NikeghbaliThe canonical way to establish the central limit theorem for i. i. d. random variables is to use characteristic functions and L#65533;vy's continuity theorem. This monograph focuses on this characteristic function approach and presents a renormalization theory called mod-ϕ convergence. This type of convergence is a relatively new concept with many deep ramifications, and has not previously been published in a single accessible volume. The authors construct an extremely flexible framework using this concept in order to study limit theorems and large deviations for a number of probabilistic models related to classical probability, combinatorics, non-commutative random variables, as well as geometric and number-theoretical objects. Intended for researchers in probability theory, the text is carefully well-written and well-structured, containing a great amount of detail and interesting examples.
Modal Interval Analysis
by Miguel A. Sainz Joaquim Armengol Remei Calm Pau Herrero Lambert Jorba Josep VehiThis book presents an innovative new approach to interval analysis. Modal Interval Analysis (MIA) is an attempt to go beyond the limitations of classic intervals in terms of their structural, algebraic and logical features. The starting point of MIA is quite simple: It consists in defining a modal interval that attaches a quantifier to a classical interval and in introducing the basic relation of inclusion between modal intervals through the inclusion of the sets of predicates they accept. This modal approach introduces interval extensions of the real continuous functions, identifies equivalences between logical formulas and interval inclusions, and provides the semantic theorems that justify these equivalences, along with guidelines for arriving at these inclusions. Applications of these equivalences in different areas illustrate the obtained results. The book also presents a new interval object: marks, which aspire to be a new form of numerical treatment of errors in measurements and computations.
Modal Logic
by Patrick Blackburn Maarten De Rijke Yde VenemaThis modern, advanced textbook reviews modal logic, a field which caught the attention of computer scientists in the late 1970's. The development is mathematical; prior acquaintance with first-order logic and its semantics is assumed, and familiarity with the basic mathematical notions of set theory is required. The authors focus on the use of modal languages as tools to analyze the properties of relational structures, including their algorithmic and algebraic aspects. Applications to issues in logic and computer science such as completeness, computability and complexity are considered.
Modal Logic for Philosophers
by James W. GarsonDesigned for use by philosophy students, this 2006 book provides an accessible, yet technically sound treatment of modal logic and its philosophical applications. Every effort has been made to simplify the presentation by using diagrams in place of more complex mathematical apparatus. These and other innovations provide philosophers with easy access to a rich variety of topics in modal logic, including a full coverage of quantified modal logic, non-rigid designators, definite descriptions, and the de-re de-dictio distinction. Discussion of philosophical issues concerning the development of modal logic is woven into the text. The book uses natural deduction systems and also includes a diagram technique that extends the method of truth trees to modal logic. This feature provides a foundation for a novel method for showing completeness, one that is easy to extend to systems that include quantifiers.
Modality and Propositional Attitudes
by Michael HegartyThis book shows that the semantic analysis of modal notions of possibility and necessity can be used to enhance our understanding of the interpretation of reports of belief or emotional state. It introduces intuitive notation and terminology to express ideas in modern theories of modal interpretation that are normally represented in complex logical formulas, effectively updates the 1960s-era link between possible worlds and the semantics of propositional attitude ascriptions, and reconciles two disparate views of the role of events in semantic interpretation, that of Donald Davidson and that of David Lewis. It reduces a host of variable behaviors of propositional attitude ascription to an intuitive and precise distinction between ascriptions that merely express a commitment to propositional content versus ones that attribute a mental state to the holder of the propositional attitude. This leads to an explanation of the nature and effects of the language disorder of fluent aphasia.
Modality in Argumentation
by Andrea RocciThis book addresses two related questions that have first arisen in Toulmin's seminal book on the uses of argument. The first question is the one of the relationship between the semantic analysis of modality and the structure of arguments. The second question is the one of the distinctive place, or role, of modality in the fundamental structure of arguments. These two questions concern how modality, as a semantic category, relates to the fundamental structure of arguments. The book addresses modality and argumentation also according to another perspective by looking at how different linguistic modal expressions may be taken as argumentative indicators. It explores the role of modal expressions as argumentative indicators by using the Italian modal system as a case study. At the same time, it uses predictions/forecasts in the business-financial daily press to investigate the relation between modality and the context of argumentation.
Model Averaging (SpringerBriefs in Statistics)
by David FletcherThis book provides a concise and accessible overview of model averaging, with a focus on applications. Model averaging is a common means of allowing for model uncertainty when analysing data, and has been used in a wide range of application areas, such as ecology, econometrics, meteorology and pharmacology. The book presents an overview of the methods developed in this area, illustrating many of them with examples from the life sciences involving real-world data. It also includes an extensive list of references and suggestions for further research. Further, it clearly demonstrates the links between the methods developed in statistics, econometrics and machine learning, as well as the connection between the Bayesian and frequentist approaches to model averaging. The book appeals to statisticians and scientists interested in what methods are available, how they differ and what is known about their properties. It is assumed that readers are familiar with the basic concepts of statistical theory and modelling, including probability, likelihood and generalized linear models.
Model Based Parameter Estimation: Theory and Applications
by Johannes P. Schlöder Rolf Rannacher Stefan Körkel Thomas Carraro Willi Jäger Hans Georg BockThis judicious selection of articles combines mathematical and numerical methods to apply parameter estimation and optimum experimental design in a range of contexts. These include fields as diverse as biology, medicine, chemistry, environmental physics, image processing and computer vision. The material chosen was presented at a multidisciplinary workshop on parameter estimation held in 2009 in Heidelberg. The contributions show how indispensable efficient methods of applied mathematics and computer-based modeling can be to enhancing the quality of interdisciplinary research. The use of scientific computing to model, simulate, and optimize complex processes has become a standard methodology in many scientific fields, as well as in industry. Demonstrating that the use of state-of-the-art optimization techniques in a number of research areas has much potential for improvement, this book provides advanced numerical methods and the very latest results for the applications under consideration.
Model Building in Economics
by Lawrence A. BolandConcern about the role and the limits of modeling has heightened after repeated questions were raised regarding the dependability and suitability of the models that were used in the run-up to the 2008 financial crash. In this book, Lawrence Boland provides an overview of the practices of and the problems faced by model builders to explain the nature of models, the modeling process, and the possibility for and nature of their testing. In a reflective manner, the author raises serious questions about the assumptions and judgments that model builders make in constructing models. In making his case, he examines the traditional microeconomics-macroeconomics separation with regard to how theoretical models are built and used and how they interact, paying particular attention to the use of equilibrium concepts in macroeconomic models and game theory and to the challenges involved in building empirical models, testing models, and using models to test theoretical explanations.
Model Checking Software: 25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018, Proceedings (Lecture Notes in Computer Science #10869)
by Pedro Merino María Del GallardoThis book constitutes the refereed proceedings of the 25th International Symposium on Model Checking Software, SPIN 2018, held in Malaga, Spain, in June 2018.The 14 papers presented, 1 short paper, and 1 demo-tool paper, were carefully reviewed and selected from 28 submissions. Topics covered include formal verification techniques for automated analysis of software; formal analysis for modeling languages, such as UML/state charts; formal specification languages, temporal logic, design-by-contract; model checking, automated theorem proving, including SAT and SMT; verifying compilers; abstraction and symbolic execution techniques; and much more.
Model Checking Software: 26th International Symposium, SPIN 2019, Beijing, China, July 15–16, 2019, Proceedings (Lecture Notes in Computer Science #11636)
by Axel Legay Fabrizio Biondi Thomas Given-WilsonThis book constitutes the refereed proceedings of the 26th International Symposium on Model Checking Software, SPIN 2019, held in Beijing, China, in July 2019. The 11 full papers presented and 2 demo-tool papers, were carefully reviewed and selected from 29 submissions. Topics covered include formal verification techniques for automated analysis of software; formal analysis for modeling languages, such as UML/state charts; formal specification languages, temporal logic, design-by-contract; model checking, automated theorem proving, including SAT and SMT; verifying compilers; abstraction and symbolic execution techniques; and much more.
Model Checking Software: 27th International Symposium, SPIN 2021, Virtual Event, July 12, 2021, Proceedings (Lecture Notes in Computer Science #12864)
by Ana Sokolova Alfons LaarmanThis book constitutes the refereed proceedings of the 27th International Symposium on Model Checking Software, SPIN 2021, held virtually in July 2021.The 3 full papers, 4 tool papers, and 1 case study presented together with 2 invited talks were carefully reviewed and selected from 20 submissions. Topics covered include formal verification techniques for automated analysis of software; formal analysis for modeling languages, such as UML/state charts; formal specification languages, temporal logic, design-by-contract; model checking, automated theorem proving, including SAT and SMT; verifying compilers; abstraction and symbolic execution techniques; and much more.