Page 17
Page 17
MICAI 2005 : Advances in Artificial Intelligence ; 4th Mexican International Conference on Artificial Intelligence, Monterrey, Mexico, November 14-18, 2005, Proceedings
Constitutes the refereed proceedings of the 4th Mexican International Conference on Artificial Intelligence, MICAI 2005, held Mexico, in November 2005. This book is organized in topical sections on knowledge representation and management, logic and constraint programming, uncertainty reasoning, multiagent systems and distributed AI, and others.
Mezzi di contrasto in ecografia : Applicazioni addominali = Contrast media in ultrasound : Abdominal applications
Lopera presenta unanalisi completa delle applicazioni dei mezzi di contrasto ecografici a livello addominale. La parte introduttiva di natura tecnica presenta la classificazione generale e le proprietà fisiche dei mezzi di contrasto ecografici, nonché una dettagliata classificazione delle tecniche ecografiche contrasto-specifiche; segue una parte speciale che descrive le applicazioni delle microbolle a livello del fegato, della milza e del rene. Vengono quindi presentate le applicazioni speciali e innovative dei mezzi di contrasto ecografici nellambito dei traumi delladdome, della patologia del pancreas, della parete intestinale e dei vasi addominali, e della valutazione del reflusso vescico-ureterale. Infine, viene proposta unanalisi economica relativa allapplicazione dei mezzi di contrasto ecografici nella caratterizzazione delle lesioni focali epatiche. Il libro è principalmente rivolto ai medici impegnati nellattività ecografica quotidiana, particolarmente in ambito internistico, che desiderano ampliare le proprie competenze nel settore dellecografia con mezzo di contrasto
Methods of Celestial Mechanics: Vol. I: Physical, Mathematical, and Numerical Principles
G. Beutler's Methods of Celestial Mechanics is a coherent textbook for students in physics, mathematics and engineering as well as an excellent reference for practitioners. This Volume I gives a thorough treatment of celestial mechanics and presents all the necessary mathematical details that a professional would need. After a brief review of the history of celestial mechanics, the equations of motion (Newtonian and relativistic versions) are developed for planetary systems (N-body-problem), for artificial Earth satellites, and for extended bodies (which includes the problem of Earth and lunar rotation). Perturbation theory is outlined in an elementary way from generally known mathematical principles without making use of the advanced tools of analytical mechanics. The variational equations associated with orbital motion - of fundamental importance for parameter estimation (e.g., orbit determination), numerical error propagation, and stability considerations - are introduced and their properties discussed in considerable detail. Numerical methods, especially for orbit determination and orbit improvement, are discussed in considerable depth. The algorithms may be easily applied to objects of the planetary system and to Earth satellites and space debris.
Methods of Celestial Mechanics ; Vol. II : Application to Planetary System, Geodynamics and Satellite Geodesy
G. Beutler's Methods of Celestial Mechanics is a coherent textbook for students as well as an excellent reference for practitioners. Volume II is devoted to the applications and to the presentation of the program system CelestialMechanics. Three major areas of applications are covered: (1) Orbital and rotational motion of extended celestial bodies. The properties of the Earth-Moon system are developed from the simplest case (rigid bodies) to more general cases, including the rotation of an elastic Earth, the rotation of an Earth partly covered by oceans and surrounded by an atmosphere, and the rotation of an Earth composed of a liquid core and a rigid shell (Poincaré model). (2) Artificial Earth Satellites. The oblateness perturbation acting on a satellite and the exploitation of its properties in practice is discussed using simulation methods (CelestialMechanics) and (simplified) first order perturbation methods. The perturbations due to the higher-order terms of the Earth's gravitational potential and resonant perturbations are considered thereafter. Special attention is paid to satellites of the Global Navigation Satellite Systems and to geostationary satellites. The characteristics of and models for the two most important non-gravitational forces, atmospheric drag and radiation pressure, are presented as well as the most relevant forces acting on high- and low-orbiting satellites. (3) Evolution of the Planetary System. The outer planetary system consisting of the planets Jupiter to Pluto is studied over long time intervals using simulation methods and spectral analysis (CelestialMechanics). The properties of the inner systems, in particular of the Earth's orbit, are made visible by integrating the entire system over long time intervals relevant for climate change. The distribution of minor planets and their orbital properties, regular orbits, and chaotic orbits are easily generated and analyzed using CelestialMechanics. The volume concludes with the discussion of important mathematical tools of the program system and of the principles of spectral analysis.
Methods of Cancer Diagnosis, Therapy and Prognosis : Breast Carcinoma
Focusing on Breast Carcinoma, this first volume in the series Methods of Cancer Diagnosis, Therapy and Prognosis brings together 56 leading scientists from around the world to deliver a comprehensive treatise on all aspects of breast cancer, including diagnosis, treatments and prognosis.
Methods in Nonlinear Analysis
Nonlinear analysis has developed rapidly in the last three decades. Theories, techniques and results in many different branches of mathematics have been combined in solving nonlinear problems. This book collects and reorganizes up-to-date materials scattered throughout the literature from the methodology point of view, and presents them in a systematic way. It contains the basic theories and methods with many interesting problems in partial and ordinary differential equations, differential geometry and mathematical physics as applications.There are five chapters that cover linearization, fixed-point theorems based on compactness and convexity, topological degree theory, minimization and topological variational methods. Each chapter combines abstract, classical and applied analysis. Particular topics included are bifurcation, perturbation, gluing technique, transversality, Nash–Moser technique, Ky Fan's inequality and Nash equilibrium in game theory, setvalued mappings and differential equations with discontinuous nonlinear terms, multiple solutions in partial differential equations, direct method, quasiconvexity and relaxation, Young measure, compensation compactness method and Hardy space, concentration compactness and best constants, Ekeland variational principle, infinite-dimensional Morse theory, minimax method, index theory with group action, and Conley index theory.
Methods in Gut microbial ecology for ruminants
As a result of various human activities, such as increase in human population,decrease in arable land due to soil degradation, urbanization, industrialization and associated increase in the demand for livestock products, dramatic changes are occurring in the global ruminant livestock sector. These changes includeshift inthesize of regional livestock populations and in the types of management and feeding systems under which ruminant livestock are held, and increased demand of a wider range of quality attributes from animal agriculture, not just of the products themselves but also of the methods used in their production. The livestock sector will need to respond to new challenges of increasing live stock productivity while protecting environment and human health and conservingbiodiversity and natural resources. The micro-organisms in the digestive tracts of ruminant livestock have a profound in?uence on the conversion offeedinto end products, which can impact on the- imal and theenvironment. As the livestock sector grows particularly in developing countries, there will be an increasing need to understand these processes for b- ter management and use ofbothfeed and other natural resources that underpinthe development of sustainable feeding systems.
Methods for measuring greenhouse Gas balances and evaluating mitigation options in smallholder agriculture
This book provides standards and guidelines for quantifying greenhouse gas emissions and removals in smallholder agricultural systems and comparing options for climate change mitigation based on emission reductions and livelihood trade-offs. Globally, agriculture is directly responsible for about 11% of annual greenhouse gas (GHG) emissions and induces an additional 17% through land use change, mostly in developing countries. Farms in the developing countries of sub-Saharan Africa and Asia are predominately managed by smallholders, with 80% of land holdings smaller than ten hectares. However, little to no information exists on greenhouse gas emissions and mitigation potentials in smallholder agriculture.
Methods for Constructing Exact Solutions of Partial Differential Equations: Mathematical and Analytical Techniques with Applications to Engineering
The book is primarily designed to present both fundamental theoretical and algorithmic aspects of these methods. The description of algorithms contains illustrative examples which are typically taken from continuum mechanics. Some sections of the book introduce new applications and extensions of these methods.
Methods and Tools for Effective Knowledge Life-Cycle-Management
This book provides an understanding of what knowledge is and of why it is one of the most strategic issues in future manufacturing competitiveness, which will be based primarily on high-level technologies and innovative products.
Méthodes Numériques : Algorithmes, analyse et applications = Numerical Methods : Algorithms, Analysis and Applications
This book aims to present the theoretical and methodological foundations of numerical analysis. Particular attention is paid to the concepts of stability, precision and complexity of algorithms. Modern methods relating to the following topics are presented and analyzed in detail: solving linear and nonlinear systems, polynomial approximation, optimization, numerical integration, orthogonal polynomials, rapid transformations, ordinary differential equations. The techniques presented are illustrated by numerous tables and figures. Many examples and counter-examples are offered to allow the reader to develop his critical sense.
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.
Metastasis of Prostate Cancer
Without metastasis, prostate cancer would be both tolerable and treatable. The high incidence of indolent and organ confined disease is testament to this sweeping generalisation. Equally, if molecular markers of metastatic spread can be identified, then the choice of treatment for many patients would be easier and more radical, even curative. However, should prevention and treatment of the primary tumors prove difficult or impossible.
Metastasis of Breast Cancer
The book has covered a broad range of topics in the metastasis of breast cancer, from genetics, biology to clinical management. Main topics include genetic control, biology, growth factors, cell adhesion, cell motility and invasion, natures of bone metastasis, sentinel node therapies, hormonal links, new biomarkers and detection of micrometastasis, and diagnosis The book also covers the current treatment options including surgical management, chemotherapy and hormonal therapies.
Metamorphoses of Hamiltonian Systems with Symmetries
Modern notions and important tools of classical mechanics are used in the study of concrete examples that model physically significant molecular and atomic systems. The parametric nature of these examples leads naturally to the study of the major qualitative changes of such systems (metamorphoses) as the parameters are varied. The symmetries of these systems, discrete or continuous, exact or approximate, are used to simplify the problem through a number of mathematical tools and techniques like normalization and reduction. The book moves gradually from finding relative equilibria using symmetry, to the Hamiltonian Hopf bifurcation and its relation to monodromy and, finally, to generalizations of monodromy.
Metakaolin and Fly Ash as Mineral Admixtures for Concrete
Deals with modern theoretical concepts related to the impact of fly ash and metakaolin admixtures on structure formation processes of concrete. Results of the effect of fly ash, metakaolin and their composition on properties of self-compacting and self-leveling concrete are presented. Based on mathematical models, obtained using mathematical experiments planning methodology, the impact of the main factors and their combination on workability, strength and other properties that determine efficiency and durability of concrete are analyzed. Using calculated dependencies, a methodology for designing optimal compositions of concrete containing active mineral admixtures and superplasticizers is proposed. Features of industrial production of concrete for the proposed compositions are discussed. The book is intended for specialists working in the production of concrete and reinforced concrete products and elements. It can also be used by construction engineers to design compositions of cost-effective self-compacting and self-leveling concrete as well as to determine the rational direction of using technogenic raw materials like ash and metakaolin.
Metaheuristics for Scheduling in Distributed Computing Environments
This volume presents meta-heuristics approaches for Grid scheduling problems. Due to the complex nature of the problem, meta-heuristics are primary techniques for the design and implementation of efficient Grid schedulers. The volume brings new ideas, analysis, implementations and evaluation of meta-heuristic techniques for Grid scheduling, which make this volume novel in several aspects. The 13 chapters of this volume have identified several important formulations of the problem, which we believe will serve as a reference for the researchers in the Grid computing community.
Metaheuristic Procedures for Training Neural Networks
Metaheuristic Procedures For Training Neural Networks provides successful implementations of metaheuristic methods for neural network training. Apart from Chapter 1, which reviews classical training methods, the chapters are divided into three main categories. The first one is devoted to local search based methods, including Simulated Annealing, Tabu Search, and Variable Neighborhood Search.
Metaheuristic Optimization via Memory and Evolution : Tabu Search and Scatter Search
Tabu Search (TS) and, more recently, Scatter Search (SS) have proved highly effective in solving a wide range of optimization problems, and have had a variety of applications in industry, science, and government. The goal of METAHEURISTIC OPTIMIZATION VIA MEMORY AND EVOLUTION: Tabu Search and Scatter Search is to report original research on algorithms and applications of tabu search, scatter search or both, as well as variations and extensions having "adaptive memory programming" as a primary focus. Individual chapters identify useful new implementations or new ways to integrate and apply the principles of TS and SS, or that prove new theoretical results, or describe the successful application of these methods to real world problems.The chapters of this book provide a series of landmarks along the way as we investigate and seek to better understand the elements of tabu search and scatter search that account for their successes in an astonishingly varied range of applications.
Metaheuristic Optimization Algorithms in Civil Engineering : New Applications
Discusses the application of metaheuristic algorithms in a number of important optimization problems in civil engineering. Advances in civil engineering technologies require greater accuracy, efficiency and speed in terms of the analysis and design of the corresponding systems. As such, it is not surprising that novel methods have been developed for the optimal design of real-world systems and models with complex configurations and large numbers of elements.
