Page 2
Page 2
Model-Driven Development of Reliable Automotive Services ; 2nd Automotive Software Workshop, ASWSD 2006, San Diego, CA, USA, March 15-17, 2006, Revised Selected Papers
This book constitutes the thoroughly refereed post-workshop proceedings of the Second Automotive Software Workshop, ASWSD 2006, held in San Diego, CA, USA in March 2006.The 11 revised full papers presented were carefully reviewed and selected from 18 lectures held at the workshop, that brought together experts from industry and academia, working on highly complex, distributed, reactive software systems related to the automotive domain. The papers are organized in topical sections on modeling techniques and infrastructures, model transformations, quality assurance, real-time control, as well as services and components.
Model-Based Testing of Reactive Systems : Advanced Lectures
This book is based on a seminar held in Dagstuhl Castle, Germany, in January 2004. It presents 19 carefully reviewed and revised lectures given at the seminar in a well-balanced way ensuring competent complementary coverage of all relevant aspects. An appendix provides a glossary for model-based testing and basics on finite state machines and on labelled transition systems. The lectures are presented in topical sections on testing of finite state machines, testing of labelled transition systems, model-based test case generation, tools and case studies, standardized test notation and execution architectures, and beyond testing.
Mixed Hodge Structures
The text of this book has its origins more than twenty- ve years ago. In the seminar of the Dutch Singularity Theory project in 1982 and 1983, the second-named author gave a series of lectures on Mixed Hodge Structures and Singularities, accompanied by a set of hand-written notes. The publication of these notes was prevented by a revolution in the subject due to Morihiko Saito: the introduction of the theory of Mixed Hodge Modules around 1985. Understanding this theory was at the same time of great importance and very hard, due to the fact that it uni es many di erent theories which are quite complicated themselves: algebraic D-modules and perverse sheaves. The present book intends to provide a comprehensive text about Mixed Hodge Theory with a view towards Mixed Hodge Modules.
Mixed Finite Elements, Compatibility Conditions, and Applications : Lectures given at the C.I.M.E. Summer School held in Cetraro, Italy June 26–July 1, 2006
Since the early 70's, mixed finite elements have been the object of a wide and deep study by the mathematical and engineering communities. The fundamental role of this method for many application fields has been worldwide recognized and its use has been introduced in several commercial codes. An important feature of mixed finite elements is the interplay between theory and application. Discretization spaces for mixed schemes require suitable compatibilities, so that simple minded approximations generally do not work and the design of appropriate stabilizations gives rise to challenging mathematical problems.
Micrometeorites and the Mysteries of Our Origins
This book relates an attempt to decrypt the still-obscure first billion years of history of the young Earth, during a cataclysmic period during which our planet was heavily bombarded by bodies ranging in size from that of Mars to 0.1 mm sized tiny micrometeorites. It was thus found that micrometeorites played an essential role in the formation of the post-lunar atmosphere. They also provided a surprisingly large diversity of reactions in the organic prebiotic chemistry required for the birth of life on our blue planet. The author presents a wide-ranging review of the type of knowledge required to decrypt this history, which provides extensive background information from astronomy, planetary dynamics, planetology, astrobiology and earth sciences. This book will appeal to both the scientist and the general reader. It will be a source of material for lectures, and possibly new investigations, in these fields.
MICAI 2008 : Advances in Artificial Intelligence ;7th Mexican International Conference on Artificial Intelligence, Atizapán de Zaragoza, Mexico, October 27-31, 2008 Proceedings
The 96 revised full papers presented together with 2 invited lectures were carefully reviewed and selected from 363 submissions. The papers are organized in topical sections on logic and reasoning, knowledge-based systems, knowledge representation and acquisition, ontologies, natural language processing, machine learning, pattern recognition, data mining, neural networks, genetic algorithms, hybrid intelligent systems, computer vision and image processing, robotics, planning and scheduling, uncertainty and probabilistic reasoning, fuzzy logic, intelligent tutoring systems, multi-agent systems and distributed ai, intelligent organizations, bioinformatics and medical applications, as well as applications.
Metathesis Chemistry : From Nanostructure Design to Synthesis of Advanced Materials
Recently, an important scientific event in metathesis chemistry, the NATO-Advanced Study Institute New Frontiers in Metathesis Chemistry: From Nanostructure Design to Sustainable Technologies for . Synthesis of Advanced Materials was organized in Antalya, Turkey (September 4-16, 2006). Prominent scientists, young researchers and students, convened for two weeks to debate on the newest trends in olefin metathesis and identify future perspectives in this fascinating field of synthetic organic, organometallic and polymer chemistry with diverse potential applications in materials science and technology. Following the fruitful practice of the previous NATO ASI meetings, selected contributions comprising plenary lectures, short communications and posters are compiled in this special volume dedicated to this outstanding international scientific meeting.
Mechanics of the 21st Century ; Proceedings of the 21st International Congress of Theoretical and Applied Mechanics, Warsaw, Poland, 15-21 August 2004
Contains the proceedings of the 21st International Congress of Theoretical and Applied Mechanics, ICTAM04, held in Warsaw, in August 2004. This book discusses the field of mechanics, and is aimed at engineers and scientists. The texts of 27 invited lectures are included along with a CD-ROM with 1225 extended summaries of presented papers.
Mechanics : From Newton's Laws to Deterministic Chaos
This updated and revised fourth edition covers all topics in mechanics from elementary Newtonian mechanics, canonical and rigid body mechanics to relativistic mechanics and nonlinear dynamics. In particular, symmetries and invariance principles, geometrical structures and continuum mechanics play an important role. This book will enable the reader to develop general principles from which equations of motions may be derived, to understand the importance of symmetries as a basis for quantum mechanics and to get practice in using theoretical tools and concepts that are essential for all branches of physics. The book contains numerous problems with complete solutions, and some practical examples.This will be appreciated in particular by students using the text to accompnay lectures on mechanics. The book ends with some historical remarks on important pioneers in mechanics.
Mathematics and the Historians Craft : The Kenneth O. May Lectures
Mathematical practitioners, for pedagogical reasons or to contextualize the work, tend to focus on finding the antecedents for current mathematical theories in a search for how particular subdisciplines and results came to be as they are today. On the other hand, historians of mathematics bypass the current state of affairs, and are more interested in questions that bear on the changing nature of the discipline itself.
Mathematical Survey Lectures 1943-2004
This collection traces the career of Beno Eckmann, whose work ranges across a broad spectrum of mathematical concepts from topology and differential geometry through homological algebra to group theory. One of our most influential living mathematicians, Eckmann has been associated for nearly his entire professional life with the Swiss Federal Institute of Technology Zurich (ETH), as student, lecturer, professor, and professor emeritus.
Mathematical Physics of Quantum Mechanics : Selected and Refereed Lectures from QMath9
At the QMath9 meeting, young scientists learn about the state of the art in the mathematical physics of quantum systems. Based on that event, this book offers a selection of outstanding articles written in pedagogical style comprising six sections which cover new techniques and recent results on spectral theory, statistical mechanics, Bose-Einstein condensation, random operators, magnetic Schrödinger operators and much more. For postgraduate students, Mathematical Physics of Quantum Systems serves as a useful introduction to the research literature. For more expert researchers, this book will be a concise and modern source of reference.
Isomonodromic Deformations and Frobenius Manifolds : An Introduction
The notion of a Frobenius structure on a complex analytic manifold appeared at the end of the seventies in the theory of singularities of holomorphic functions. Motivated by physical considerations, further development of the theory has opened new perspectives on, and revealed new links between, many apparently unrelated areas of mathematics and physics. Based on a series of graduate lectures, this book provides an introduction to algebraic geometric methods in the theory of complex linear differential equations. Starting from basic notions in complex algebraic geometry, it develops some of the classical problems of linear differential equations and ends with applications to recent research questions related to mirror symmetry.
Invited Lectures from the 13th International Congress on Mathematical Education
The book presents the Invited Lectures given at 13th International Congress on Mathematical Education (ICME-13). The papers present the work of prominent mathematics educators from all over the globe and give insight into the current discussion in mathematics education. The Invited Lectures cover a wide spectrum of topics, themes and issues and aim to give direction to future research towards educational improvement in the teaching and learning of mathematics education. This book is of particular interest to researchers, teachers and curriculum developers in mathematics education.
Inverse Problems and Imaging : Lectures given at the C.I.M.E. Summer School held in Martina Franca, Italy September 15–21, 2002
Nowadays we are facing numerous and important imaging problems: nondestructive testing of materials, monitoring of industrial processes, enhancement of oil production by efficient reservoir characterization, emerging developments in noninvasive imaging techniques for medical purposes - computerized tomography (CT), magnetic resonance imaging (MRI), positron emission tomography (PET), X-ray and ultrasound tomography, etc. In the CIME Summer School on Imaging (Martina Franca, Italy 2002), leading experts in mathematical techniques and applications presented broad and useful introductions for non-experts and practitioners alike to many aspects of this exciting field. The volume contains part of the above lectures completed and updated by additional contributions on other related topics: a general presentation and introduction (Moscoso), X-ray tomography (Natterer), Electromagnetic imaging (Dorn, Bertete-Aguirre, Papanicolaou), coherent imaging in telecommunications in a multiple input-multiple output setup (Dorn), polarization based optical imaging (Moscoso), topological derivatives used in shape reconstruction related to inverse scattering problems (Carpio, Rapún), Point interactions (Dell’Antonio, Figari, Teta).
Introductory Lectures on Fluctuations of Lévy Processes with Applications
Lévy processes are the natural continuous-time analogue of random walks and form a rich class of stochastic processes around which a robust mathematical theory exists. Their mathematical significance is justified by their application in many areas of classical and modern stochastic models including storage models, renewal processes, insurance risk models, optimal stopping problems, mathematical finance and continuous-state branching processes.The book aims to be mathematically rigorous while still providing an intuitive feel for underlying principles. The results and applications often focus on the case of Lévy processes with jumps in only one direction.
Introduction to Logic and Theory of Knowledge : Lectures 1906/07
This course on logic and theory of knowledge fell exactly midway between the publication of the Logical Investigations in 1900-01 and Ideas I in 1913. It constitutes a summation and consolidation of Husserl’s logico-scientific, epistemological, and epistemo-phenomenological investigations of the preceding years and an important step in the journey from the descriptivo-psychological elucidation of pure logic in the Logical Investigations to the transcendental phenomenology of the absolute consciousness of the objective correlates constituting themselves in its acts in Ideas I. In this course Husserl began developing his transcendental phenomenology as the genuine realization of what had only been realized in fragmentary form in the Logical Investigations.
Introduction to Bayesian Scientific Computing : Ten Lectures on Subjective Computing
Inverse problems are closely related to statistical inference problems, where the observations are used to infer on an underlying probability distribution. This connection between statistical inference and inverse problems is a central topic of the book. Inverse problems are typically ill-posed: small uncertainties in data may propagate in huge uncertainties in the estimates of the unknowns. To cope with such problems, efficient regularization techniques are developed in the framework of numerical analysis. The counterpart of regularization in the framework of statistical inference is the use prior information.
Intercultural Collaboration ; 1st International Workshop, IWIC 2007 Kyoto, Japan, January 25-26, 2007 Invited and Selected Papers
This book presents 29 revised invited and selected lectures given by top-researchers at the First International Workshop on Intercultural Collaboration, IWIC 2007, held in Kyoto, Japan in January 2007.
Interactive storytelling ; 1st Joint International Conference on interactive digital storytelling, ICIDS 2008 Erfurt, Germany, November 26-29, 2008 Proceedings
This book constitutes the refereed proceedings of the First Joint International Conference on Interactive Digital Storytelling, ICIDS 2008, held in Erfurt, Germany, in November 2008.The 19 revised full papers, 5 revised short papers, and 5 poster papers presented together with 3 invited lectures and 8 demo papers were carefully reviewed and selected from 62 submission. The papers are organized in topical sections on future perspectives on interactive digital storytelling, interactive storytelling applications, virtual characters and agents, user experience and dramatic immersion, architectures for story generation, models for drama management and interacting with stories, as well as authoring and creation of interactive narrative.
