الصفحة 4
الصفحة 4
Multiparadigm Programming in Mozart/Oz ; 2nd International Conference, MOZ 2004, Charleroi, Belgium, October 7-8, 2004, Revised Selected Papers
Oz's concurrency model yields simplicity and clarity (because Oz makes it easier to express complex programs with many interacting components), g- erality, and better interfaces (because the data?ow model automatically makes interfaces more lightweight). Constraint programming in Oz again yields simplicity and clarity (because theprogrammercanexpresswhatneedstobetrueratherthanthemorecomplex issue of how to make it true), and o?ers a powerful mathematical notation that is di?cult to implement on top of languages that do not support it natively. Mozart's distributed computing model makes for improved interfaces and eases the evolution of systems. In my own work, one of the most important concernsistobeabletoquicklyscaleupaprototypeimplementationintoalar- scale service that can run reliably on thousands of computers, serving millions of users.
Multifield Problems in Solid and Fluid Mechanics
This book summarizes the main scientific results of the Collaborative Research Center on Multifield Problems in Continuum Mechanics. The book is divided into three main sections: A: Volume-Coupled Problems, devoted to fields which are coupled inside the processing domain or volume, B: Boundary-Coupled Problems, here physical fields and processes are coupled via domain boundaries, C: Fundamental Methods, search into the mathematical concepts and backgrounds of multifield and multiscale modeling.
Multi-Agent and Multi-Agent-Based Simulation ; Joint Workshop MABS 2004
The aim of the workshop was to provide a forum for work in both appli- tions of multi-agent-based simulation and the technical challenges of simulating large multi-agent systems (MAS). There has been considerable recent progress in modelling and analyzing multi-agent systems, and in techniques that apply MAS models to complex real-world systems such as social systems and organi- tions. Simulation is an increasingly important strand that weaves together this work. In high-risk, high-cost situations, simulations provide critical cost/benefit leverage, and make possible explorations that cannot be carried out in situ: – Multi-agent approaches to simulating complex systems are keytools in interdisciplinary studies of social systems. Agent-based social simulation (ABSS) research simulates and synthesizes social behavior in order to understand real social systems with properties of self-organization, scalability, robustness, and openness. – In the MAS community, simulation has been applied to awide range of MAS research and design problems, from models of complex individual agents - ploying sophisticated internal mechanisms to models of large-scale societies of relatively simple agents which focus more on the interactions between agents.
Motivational profiles in TIMSS mathematics : Exploring student clusters across aountries and time
This open access book presents a person-centered exploration of student profiles, using variables related to motivation to do school mathematics derived from the IEA’s Trends in International Mathematics and Science Study (TIMSS) data. Statistical cluster analysis is used to identify groups of students with similar motivational profiles, across grades and over time, for multiple participating countries. In this book, a person-centered analysis of distinct and meaningful motivational profiles and their differences on sociodemographic variables and mathematics performance broadens understanding about the role that motivation characteristics play in learning and achievement in mathematics.
Morphological Models of Random Structures
This book covers methods of Mathematical Morphology to model and simulate random sets and functions (scalar and multivariate). The introduced models concern many physical situations in heterogeneous media, where a probabilistic approach is required, like fracture statistics of materials, scaling up of permeability in porous media, electron microscopy images (including multispectral images), rough surfaces, multi-component composites, biological tissues, textures for image coding and synthesis. The common feature of these random structures is their domain of definition in n dimensions, requiring more general models than standard Stochastic Processes.The main topics of the book cover an introduction to the theory of random sets, random space tessellations, Boolean random sets and functions, space-time random sets and functions (Dead Leaves, Sequential Alternate models, Reaction-Diffusion), prediction of effective properties of random media, and probabilistic fracture theories.
Molluscs : From Chemo-ecological Study to Biotechnological Application
Marine molluscs are very promising candidates for a wide range of biotechnological applications. For example, they possess analgesic drugs more potent than morphine and very effective anticancer agents. The present book gives an up-to-date overview of the main classes of bioactive compounds from molluscs, moving from ecological observations, to chemical characterization, to biosynthesis, to large-scale synthesis, and to pharmacological applications. A truly outstanding international panel of experts from all continents provides complete coverage of the most stimulating topics related to molluscs. This knowledge of their history and current studies provides an open door to the future.
Molecular Wires : From Design to Properties
In the emerging field of nanoscience the desire to construct objects which in the molecular scale can resemble and act as macroscopic devices is a constant trend. Amongst the simplest but also most attractive functional component molecular wires are surely the most investigated. The reason for such interest is quite obvious since wires, in today world, are used all around us and are the most indispensable unit to assemble any type of electronic devices.In this issue the synthesis and characterization of molecular wires based on organic or metal complexes components, their properties and some theoretical background will be illustrated.
Molecular Materials with Specific Interactions - Modeling and Design
One of the first requirements to initiate the molecular modeling of molecular materials is an accurate and realistic description of the electronic structure, intermolecular interactions and chemical reactions at microscopic and macroscopic scale. Therefore the first four chapters contain an extensive introduction into the latest theories of intermolecular interactions, functional density techniques, microscopic and mezoscopic modeling techniques as well as first-principle molecular dynamics.In the following chapters, techniques bridging microscopic and mezoscopic modeling scales are presented. The authors then illustrate various successful applications of molecular design of new materials, drugs, biocatalysts, etc. before presenting challenging topics in molecular materials design.
Molecular Building Blocks for Nanotechnology : From Diamondoids to Nanoscale Materials and Applications
This book contains a variety of subjects covering computational, dry and wet nanotechnology. The state-of-the-art subject matters presented here provide the reader with the latest developments on ongoing nanoscience and nanotechnology research from the bottom-up approach.
Modern Trends in Geomechanics
This book is loaded with rich and stimulating articles by a roster of brilliant scholars, reflecting some recent trends in the frontier research of geomechanics. This collection of 32 contributions stems from an international workshop on "Modern Trends of Geomechanics" held in Vienna. The contributions span a wide range of topics and an enormous range of physical scales, from micromechanics at grain scale to engineering problems at large scale; from laboratory and field testing over constitutive modelling to numerical analysis.
Modern Genome Annotation : The Biosapiens Network
An accurate description of current scientific developments in the field of bioinformatics and computational implementation is presented by research of the BioSapiens Network of Excellence. Bioinformatics is essential for annotating the structure and function of genes, proteins and the analysis of complete genomes and to molecular biology and biochemistry. Included is an overview of bioinformatics, the full spectrum of genome annotation approaches including; genome analysis and gene prediction, gene regulation analysis and expression, genome variation and QTL analysis, large scale protein annotation of function and structure, annotation and prediction of protein interactions, and the organization and annotation of molecular networks and biochemical pathways. Also covered is a technical framework to organize and represent genome data using the DAS technology and work in the annotation of two large genomic sets: HIV/HCV viral genomes and splicing alternatives potentially encoded in 1% of the human genome.
Models for Polymeric and Anisotropic Liquids
Models should be as simple as possible, but no simpler. For the physics of polymeric liquids, whose relevant lengths and time scales are out of reach for first principles calculations, this means that we have to choose a minimum set of sufficiently detailed descriptors such as architecture (linear, ring, branched), connectivity, semiflexibility, stretchability, excluded volume, and hydrodynamic interaction. These 'universal' fluids allow the prediction of material properties under external flow- or electrodynamic fields, the results being expressed in terms of reference units, specific for any particular chosen material. This book provides an introduction to the kinetic theory and computer simulation methods needed to handle these models and to interpret the results. Also included are a number of sample applications and computer codes.
Modelling water and nutrient dynamics in soil-crop systems : Applications of different models to common data sets - Proceedings of a workshop held 2004 in Müncheberg, Germany
This book contains articles from a workshop on "Modelling water and nutrient dynamics in crop-soil systems". Data sets from lysimeters and experimental fields of multiyear crop rotations were provided for modellers. A unique data set is provided of a 100 year long term field experiment regarding crop yield and organic carbon development under different management systems. The book includes a detailed description of data sets which can be used by modellers and the papers describe the applications of 18 different modelling approaches describing soil-crop-atmosphere interactions for water, nitrogen and carbon dynamics.
Modelling and Analysis of Hybrid Supervisory Systems : A Petri Net Approach
Modelling and Analysis of Hybrid Supervisory Systems introduces a modelling formalism that merges Petri nets, differential equation systems and object-oriented methods; a formalism that is adequate for modelling complex and large-scale systems. To guide the designer and conduct hybrid modelling, the book describes a method that starts from the requirements of a supervisory system and results in a proposal for such a system. The method is mainly based on Unified Modelling Language diagrams, well-known tools in both academia and industry. In order to ensure that the supervisory system will behave as expected under any operational circumstances, a validation procedure that allows verification of the formal properties of the hybrid model is presented.
Modeling Complex Living Systems : A Kinetic Theory and Stochastic Game Approach
Using tools from mathematical kinetic theory and stochastic game theory, this work deals with the modeling of large complex systems in the applied sciences, particularly those comprised of several interacting individuals whose dynamics follow rules determined by some organized, or even "intelligent" ability. Traditionally, methods of mathematical kinetic theory have been applied to model the evolution of large systems of interacting classical or quantum particles. This book, on the other hand, examines the modeling of living systems as opposed to inert systems.
Modeling and computations in electromagnetics ; A volume dedicated to Jean-Claude Nédélec
Modeling and computations in electromagnetics is a quite novel and growing discipline, expanding as a result of the steadily increasing demand for designing electrical devices, modeling electromagnetic materials, and simulating electromagnetic fields in nanoscale structures. The aim of this volume is to bring together prominent worldwide experts to review state-of-the-art developments and future trends of modeling and computations in electromagnetics. This volume is devoted to merging the expertise of scientists working in this dynamic discipline, and to raising interest for challenging issues. The most significant advances in computational techniques have been made only in the last few years, and several challenging technological applications are presented in this volume.
Model Reduction and Coarse-Graining Approaches for Multiscale Phenomena
Model reduction and coarse-graining are important in many areas of science and engineering. How does a system with many degrees of freedom become one with fewer? How can a reversible micro-description be adapted to the dissipative macroscopic model? These crucial questions, as well as many other related problems, are discussed in this book. Specific areas of study include dynamical systems, non-equilibrium statistical mechanics, kinetic theory, hydrodynamics and mechanics of continuous media, (bio)chemical kinetics, nonlinear dynamics, nonlinear control, nonlinear estimation, and particulate systems from various branches of engineering. The generic nature and the power of the pertinent conceptual, analytical and computational frameworks helps eliminate some of the traditional language barriers, which often unnecessarily impede scientific progress and the interaction of researchers between disciplines such as physics, chemistry, biology, applied mathematics and engineering. All contributions are authored by experts, whose specialities span a wide range of fields within science and engineering.
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.
Microscale Heat Transfer - Fundamentals and Applications ; Proceedings of the NATO Advanced Study Institute on Microscale Heat Transfer - Fundamentals and Applications in Biological and Microelectromechanical Systems, Cesme-Izmir, Turkey, 18-30 July, 2004
This volume contains an archival record of the NATO Advanced Institute on Microscale Heat Transfer – Fundamental and Applications in Biological and Microelectromechanical Systems held in Çesme – Izmir, Turkey, July 18–30, 2004.
Microscale Diagnostic Techniques
Microscale Diagnostic Techniques highlights the most innovative and powerful developments in microscale diagnostics. It provides a resource for scientists and researchers interested in learning about the techniques themselves, including their capabilities and limitations.
