Model Checking

Homelessness has been recognized as a serious problem in Japan since the 1990s, but the dominant model of a “homeless person” has been that of an unemployed male laborer - a model that has

Drawing analogies proposes an innovative way of drawing by means of which we can go from observing an existing architectural model to a design idea inspired by the same model. Using exclusively free h

Psychoanalysis and Dreams explores some of the cornerstones of Antonino Ferro’s theoretical model but also attempts to extend the dreamlike boundaries of the model. Based on Bion’s theory of alph

During the early part of the Cold War, Japan emerged as a model ally, and Japanese Americans were seen as a model minority. From Confinement to Containment examines the work of four Japanese and Japan

During the early part of the Cold War, Japan emerged as a model ally, and Japanese Americans were seen as a model minority. From Confinement to Containment examines the work of four Japanese and Japan

Since 1945, the liberal-democratic model of capitalism spread across the globe, ultimately prevailing over communism. Over the past two decades, a new statist-authoritarian model has begun diffusing across East Asia. Rather than rejecting capitalism, authoritarian leaders harness it to uphold their rule. Based on extensive research of East Asia's largest corporations and sovereign wealth funds, this book argues that the most aggressive version of this model does not belong to China. Rather, it can be found in Malaysia and Singapore. Although these countries are small, the implications are profound because one-third of all countries in the world possess the same type of regime. With an increasing number of these authoritarian regimes establishing sovereign wealth funds, their ability to intervene in the corporate sectors of other countries is rapidly expanding.

This book delves into the limitations of Singapore’s authoritarian governance model. In doing so, the relevance of the Singapore governance model for other industrialising economies is systematically

Is there a distinctive Chinese model for law and economic development? In The Beijing Consensus scholars turn their collective attention to answer this basic but seemingly under-explored question as China rises higher in its global standing. Advancing debates on alternative development programs, with a particular focus on social and political contexts, this book demonstrates that essentially, no model exists. Engaging in comparative studies, the contributors create a new set of benchmarks to evaluate the conventional wisdom that the Beijing Consensus challenges and that of the Beijing Consensus itself. Has China demonstrated that the best model is in fact no model at all? Overall, this title equips the reader with an understanding of the conclusions derived from China's experience in its legal and economic development in recent decades.

The issue of debt and how it effects are lives is becoming more and more urgent. The "Austerity" model has been the prevalent European economic policies of recent years led by the "German model". Ell

The issue of debt and how it effects are lives is becoming more and more urgent. The "Austerity" model has been the prevalent European economic policies of recent years led by the "German model". Ell

This book presents a tutorial review of van der Pol model, a universal oscillator model for the analysis of modern RC-oscillators in weak and strong nonlinear regimes. A detailed analysis of the injec

Establishes theatrical improvisation as a model for Christian ethics, helping Christians embody their faith in the practices of discipleship.

This book presents a framework to model the main activities of information security management and governance. The same model can be used for any security sub-domain such as cybersecurity, data protec

This book is the first digital atlas of the degu brain with microscopic features simultaneously in Nissl sections and magnetic resonance imaging (MRI). As an experimental animal model, the degu contri

While contemporary scholars have taken a great interest in diversity or heterogeneity, this model is relatively new and literature of the past is still crying out for its place in the diversity model.

School Success for At-Risk Students: A Culturally Responsive Tiered Approach introduces a model that incorporates cultural responsiveness into the familiar three-tiered model of behavioural and academ

"This book explores the mathematical analysis of gap processes underpinning elaboration of a simulation model for optimization of a bursty business process. It explores a new model based on the assump

In Synthetic Vision: Using Volume Learning and Visual DNA, a holistic model of the human visual system is developed into a working model in C++, informed by the latest neuroscience, DNN, and computer

An up-to-date text, covering the concept of incomplete fusion (ICF) in heavy ion (HI) interactions at energies below 10 MeV/ nucleon. Important concepts including the exciton model, the Harp Miller and Berne model, Hybrid model, Sum rule model, Hot spot model and promptly emitted particles model are covered in depth. It studies the ICF and PE-emission in heavy ion reactions at low energies using off-beam and in-beam experimental techniques. Theories of complete fusion (CF) of heavy ions based on Compound Nucleus (CN) mechanism of statistical nuclear reactions, details of the Computer code PACE4 based on CN mechanism, pre-equilibrium (PE) emission, modeling of (ICF) and their limits of application are discussed in detail.

The old service model of delight-at-all-costs is out and a new model of low-effort, low-friction service powered by mobile phones and social media is here to stay. Phone trees and email are dead. Soci

Crustaceans are increasingly being used as model organisms in all fields of biology, including neurobiology, developmental biology, animal physiology, evolutionary ecology, biogeography, and resource

This second edition of Cambridge IGCSE® Mathematics Core and Extended Coursebook offers complete coverage of the Cambridge IGCSE Mathematics (0580/0980) syllabus. It contains detailed explanations and clear worked examples, followed by practice exercises to allow students to consolidate the required mathematical skills. The coursebook offers opportunities for checking prior knowledge before starting a new chapter and testing knowledge with end-of-chapter and exam-practice exercises. Core and Extended materials are presented within the same book and are clearly signposted to allow students to see the range of mathematics required for study at this level. Answers are at the back of the book.

In this work the development of a new geometrically detailed finite element head model is presented. Special attention is given to sulci and gyri modelling, making this model more geometrically accura

Undergraduate textbook taking a critical view of the dominant psychiatric model of psychopathology, and offering both psychosocial and neuro/biopsychological approaches.

A more effective leadership model for the new business environment. Spiral Dynamics in Action explores the evolution of modern business, and provides a model for moving forward amidst ever-increasing

This book provides an overview of classical actuarial techniques, including material that is not readily accessible elsewhere such as the Ammeter risk model and the Markov-modulated risk model. Other

This book offers a theoretical model of feed-in tariffs and provides different investigations into the promotion of renewable energy. The first part of the book proposes a model to investigate feed-in

The latest model to join Leica’s digital elite is the M10—the first of its type to combine the true aesthetics and ergonomics of a traditional analog Leica M model with a high-resolution d

Since 1945, the liberal-democratic model of capitalism spread across the globe, ultimately prevailing over communism. Over the past two decades, a new statist-authoritarian model has begun diffusing across East Asia. Rather than rejecting capitalism, authoritarian leaders harness it to uphold their rule. Based on extensive research of East Asia's largest corporations and sovereign wealth funds, this book argues that the most aggressive version of this model does not belong to China. Rather, it can be found in Malaysia and Singapore. Although these countries are small, the implications are profound because one-third of all countries in the world possess the same type of regime. With an increasing number of these authoritarian regimes establishing sovereign wealth funds, their ability to intervene in the corporate sectors of other countries is rapidly expanding.

The UK model of incentive regulation of power grids was at one time the most advanced, and elements of it were adopted throughout the EU. This model worked well, particularly in the context of limited

This book offers a comprehensive model for explaining the success and failure of cities in nurturing startups, presents detailed case studies of how participants in that model help or hinder startup a

A digital elevation model (DEM) is a digital representation of ground surface topography or terrain. It is also widely known as a digital terrain model (DTM). A DEM can be represented as a raster (a g

The notion of an (∞,1)-category has become widely used in homotopy theory, category theory, and in a number of applications. There are many different approaches to this structure, all of them equivalent, and each with its corresponding homotopy theory. This book provides a relatively self-contained source of the definitions of the different models, the model structure (homotopy theory) of each, and the equivalences between the models. While most of the current literature focusses on how to extend category theory in this context, and centers in particular on the quasi-category model, this book offers a balanced treatment of the appropriate model structures for simplicial categories, Segal categories, complete Segal spaces, quasi-categories, and relative categories, all from a homotopy-theoretic perspective. Introductory chapters provide background in both homotopy and category theory and contain many references to the literature, thus making the book accessible to graduates and to resea

The notion of an (∞,1)-category has become widely used in homotopy theory, category theory, and in a number of applications. There are many different approaches to this structure, all of them equivalent, and each with its corresponding homotopy theory. This book provides a relatively self-contained source of the definitions of the different models, the model structure (homotopy theory) of each, and the equivalences between the models. While most of the current literature focusses on how to extend category theory in this context, and centers in particular on the quasi-category model, this book offers a balanced treatment of the appropriate model structures for simplicial categories, Segal categories, complete Segal spaces, quasi-categories, and relative categories, all from a homotopy-theoretic perspective. Introductory chapters provide background in both homotopy and category theory and contain many references to the literature, thus making the book accessible to graduates and to resea

This report documents RAND’s efforts to develop a long-term remotely piloted aircraft (RPA) career field planning model that addresses force health; it explains the model’s main features,

In this book a new model for data classification was developed. This new model is based on the competitive neural network Learning Vector Quantization (LVQ) and type-2 fuzzy logic. This computational

This book presents efficient uncertainty quantification schemes following meta-model-based approaches for stochasticity in material and geometric parameters of laminated composite structures. Several

Get ready to take off, with this striking model plane that’s a must-have for aircraft-loving kids! Build your very own mega-model of a Beechcraft Staggerwing biplane, complete with wheels

This book presents numerous discussions of specific aspects of democratic politics, showing how ‘democracy’ can be projected as a model of deliberate imperfection – a model that tolerates various loos

Katie's class is building model volcanoes, but when most of the ingredients end up on Katie, she blows her top.