الصفحة 9
الصفحة 9
Model Checking Software ; Vol. 3639 : 12th International SPIN Workshop, San Francisco, CA, USA, August 22-24, 2005, Proceedings
Constitutes the refereed proceedings of the 12th International SPIN workshop on Model Checking Software, SPIN 2005, held in San Francisco, USA in August 2005. The papers are organized in topical sections on state representation and abstraction, dealing with concurrency, dealing with complex data, checking temporal properties, and more.
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.
Modalities and Multimodalities
In the last two decades modal logic has undergone an explosive growth, to thepointthatacompletebibliographyofthisbranchoflogic,supposingthat someone were capable to compile it, would ?ll itself a ponderous volume. What is impressive in the growth of modal logic has not been so much the quick accumulation of results but the richness of its thematic dev- opments. In the 1960s, when Kripke semantics gave new credibility to the logic of modalities? which was already known and appreciated in the Ancient and Medieval times? no one could have foreseen that in a short time modal logic would become a lively source of ideas and methods for analytical philosophers,historians of philosophy,linguists, epistemologists and computer scientists.
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.
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.
Mitochondrial Medicine : Mitochondrial Metabolism, Diseases, Diagnosis and Therapy
Mitochondrial Medicine is a relatively new area where several disciplines from basic science to clinical medicine converge. Mitochondrial medicine deals with diseases that are related to mitochondrial dysfunction due to a number of causes from free radical damage to genetic mutation.
Mitochondria : The Dynamic Organelle
This volume discusses the death pathways that are initiated by the mitochondria. Novel therapeutic interventions are proposed which interfere with the death cascades, thereby rescuing the cell from mitochondria-linked apoptosis and necrotic oncosis.
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.
Minerals as Advanced Materials I
This book represents a collection of papers presented at the 1st International workshop ‘Minerals as Advanced Materials I’ . The basic idea of the workshop was to identify minerals and mineral objects that have or potentially have unique physical, chemical and structural properties that are of interest from the viewpoint of applied mineralogy and material science.
Migrant Hospitalities in the Mediterranean : Encounters with Alterity in Birth and Death
This book applies insights from the anthropology of hospitality to illuminate ethnographic accounts of migrant reception in various parts of the Mediterranean. The contributors ground the idea and practice of hospitality in concrete ethnographic settings and challenge how the casual usage of Derridean or Kantian notions of hospitality can blur the boundaries between social scales and between metaphor and practice. Host-guest relations are multiplied through pregnancy and childbirth, and new forms of hospitality emerge with the need to offer mortuary practices for dead strangers, helping to illuminate the spatial and scalar dimensions of morality and politics in Mediterranean migrant reception.
Mid-infrared Semiconductor Optoelectronics
Mid-infrared Semiconductor Optoelectronics is an overview of the current status and technological development in this rapidly emerging area. It is composed of four parts. First, the basic physics and some of the main problems facing the design engineer (together with a comparison of possible solutions) are laid out. Next, there is a consideration of the multifarious lasers used as sources for mid-infrared technology, including an inspection of current approaches to the lack of such a source in the 3–4 µm region. Part III reviews recent work in light-emitting diodes and detectors and also deals with negative luminescence. The final part of the book is concerned with applications and highlights, once more, the diversity and technological importance of the mid-infrared spectral region.
Microwave Dielectric Behaviour of Wet Soils
This book, aimed for agriculture and soil physicists and those working in the areas of remote sensing, deals with the physical and dielectric properties of soils, methods of soil, dielectric measurements using microwaves and remote sensing techniques. Some of the results on soil moisture measurements, theoretical models of soil moisture data and the recently used synthetic aperture radar techniques for the purpose of remote sensing and their interpretation of soil moistures are also discussed. The course contents are developed and updated with the help of the latest literature available which will help bridge the existing need of scientists in the area.
Microstructuring of Glasses
As microstructured glass becomes increasingly important for microsystems technology, the main application fields include micro-fluidic systems, micro-analysis systems, sensors, micro-actuators and implants. And, because glass has quite distinct properties from silicon, PMMA and metals, applications exist where only glass devices meet the requirements. The main advantages of glass derive from its amorphous nature, the precondition for its - theoretically - direction-independent geometric structurability. Microstructuring of Glasses deals with the amorphous state, various glass compositions and their properties, the interactions between glasses and the electromagnetic waves used to modify it.
Microscale and Nanoscale Heat Transfer
Constitutes a particularly complete and original collection of ideas, models, numerical methods and experimental tools which will prove invaluable in the study of microscale and nanoscale heat transfer. It should be of interest to research scientists and thermal engineers who wish to carry out theoretical research or metrology in this field, but also to physicists concerned with the problems of heat transfer, or teachers requiring a solid foundation for an undergraduate university course in this area.
Microorganisms and Bioterrorism
The purpose of this book is to bring together, in a single volume, the most up-to-date information concerning microbes with potential as bioterrorist weapons. The primary audience includes microbiologists, including bacteriologists, virologists and mycologists, in academia, government laboratories and research institutes at the forefront of studies concerning microbes which have potential as bioterrorist weapons, public health physicians and researchers and scientists who must be trained to deal with bioterrorist attacks as well as laboratory investigators who must identify and characterize these microorganisms from the environment and from possibly infected patients.
Micrometastasis
Distant metastases are the main cause of cancer-related death. The onset of the metastatic process can now be assessed in cancer patients by the use of immunocytochemical and molecular methods that allow the identification of disseminated carcinoma cells in regional lymph nodes, peripheral blood or distant organs. There is increasing evidence that the detection and characterization of tumor cells present in bone marrow or peripheral blood can provide clinically important information. In this book, leading experts in the area of micrometastasis research provide an overview that summarizes the current state of research on micrometastatic disease in patients with solid tumors. In each chapter, the technical aspect as well as clinical relevance of micrometastasis detection is discussed. The book addresses basic researchers as well as clinicians involved in the treatment of cancer patients.
Micromechanics of Contact and Interphase Layers
Micromechanics provides a link between the structure and the properties at different scales of observation. This book deals with micromechanical analysis of interfaces and interface layers and presents several modelling tools, ranging from the rigorous method of asymptotic expansions to practical finite element simulations, suitable for this class of problems. Two application areas are discussed. Boundary layers associated with contact of rough bodies are modelled by applying a scale transition approach in which a macroscopic interface of zero thickness is seen at the micro-scale as a layer with some finite thickness. Secondly, evolution of laminated microstructures accompanying stress-induced martensitic transformations in shape memory alloys (SMA) is analyzed as an illustration of the case when the local interfacial phenomena – here the propagation of phase transformation fronts – govern the macroscopic behaviour of a heterogeneous material.
Micro-ISV : From Vision to Reality
Micro-ISV: From Vision to Reality explains what works and why in today's emerging micro-ISV sector. Currently, thousands of programmers build and deliver great solutions ISV-style, earning success and revenues much larger than you might guess. Written by and for micro-ISVs, with help from some of the leaders of the field, this book takes you beyond just daydreaming to running your own business. It thoroughly explores how it is indeed possible to launch and maintain a small and successful ISV business, and is an ideal read if you're interested in getting started.
Microearthquake Seismology and Seismotectonics of South Asia
This volume comprehensively deals with plate tectonics and seismic waves in general and earthquake monitoring by permanent and temporary networks for active fault mapping, aftershock, swarm and induced seismicity investigations in interplate collision and subduction zones and in intraplate shield region.
Microdynamics Simulation
This volume deals with the simulation of metamorphic and tectonic microstrucutres in rocks with a special emphasis on the modelling package "Elle". The first part provides a review of the problems and opportunities in the modelling of microstructures, followed by an introduction to various numerical modelling techniques. In the second part examples of the modelling of different processes which alter rock microstructure are presented, beginning with individual processes and progressing to modelling multiple coupled processes.
