الصفحة 8
الصفحة 8
Computational Multiscale Modeling of Fluids and Solids : Theory and Applications
The book includes the micro-scale, the meso-scale and the macro-scale. The chapters follow this classification. The book will explain in detail many tricks of the trade of some of the most important methods and techniques that are used to simulate materials on the perspective levels of spatial and temporal resolution. Case studies are occasionally included to further illustrate some methods or theoretical considerations. Example applications for all techniques are provided, some of which are from the author’s own contributions to some of the research areas. Methods are explained, if possible, on the basis of the original publications but also references to standard text books established in the various fields are mentioned.
Computational linguistics and intelligent text processing ; Vol. 3878 ; 7th International Conference, CICLing 2006, Mexico City, Mexico, February 19-25, 2006, Proceedings
CICLing 2006 (www.CICLing.org) was the 7th Annual Conference on Intelligent Text Processing and Computational Linguistics. The CICLing conferences are intended to provide a wide-scope forum for discussion of the internal art and craft of natural language processing research and the best practices in its applications.
Computational Cognitive Modeling and Linguistic Theory
This book introduces a general framework that allows natural language researchers to enhance existing competence theories with fully specified performance and processing components. Gradually developing increasingly complex and cognitively realistic competence-performance models, it provides running code for these models and shows how to fit them to real-time experimental data. This computational cognitive modeling approach opens up exciting new directions for research in formal semantics, and linguistics more generally, and offers new ways of (re)connecting semantics and the broader field of cognitive science.
Combinatorial Commutative Algebra
Combinatorial commutative algebra is an active area of research with thriving connections to other fields of pure and applied mathematics. This book provides a self-contained introduction to the subject, with an emphasis on combinatorial techniques for multigraded polynomial rings, semigroup algebras, and determinantal rings. The eighteen chapters cover a broad spectrum of topics, ranging from homological invariants of monomial ideals and their polyhedral resolutions, to hands-on tools for studying algebraic varieties with group actions, such as toric varieties, flag varieties, quiver loci, and Hilbert schemes. Over 100 figures, 250 exercises, and pointers to the literature make this book appealing to both graduate students and researchers.
Coherent sources of XUV radiation : Soft X-ray lasers and high-order harmonic generation
Extreme ultraviolet radiation, also referred to as soft X-rays or XUV, offers very special optical properties. The X-UV refractive index of matter is such that normal reflection cannot take place on polished surfaces whereas beam transmission through one micrometer of almost all materials reduces to zero. Therefore, it has long been a difficult task to imagine and to implement devices designed for complex optics experiments in this wavelength range. Thanks to new sources of coherent radiation - XUV-lasers and High Order Harmonics - the use of XUV radiation, for interferometry, holography, diffractive optics, non-linear radiation-matter interaction, time-resolved study of fast and ultrafast phenomena and many other applications, including medical sciences, is ubiquitous.
Cloud-Resolving Modeling of Convective Processes
Introduces the framework of cloud-resolving model, methodologies for analysis of modeling outputs, and validation of simulations with observations. The book details important scientific findings in the aspects of surface rainfall processes, precipitation efficiency, dynamic and thermodynamic processes associated with tropical convection, diurnal variations, radiative and cloud microphysical processes associated with development of cloud clusters, air-sea coupling on convective scales, climate equilibrium states, and remote sensing applications.
Management of fractured endodontic instruments : a clinical guide
Provides detailed information on the causes of instrument failure during endodontic treatment, the factors influencing the management of such cases, and the diverse management options that may be employed to resolve the problem.
Maîtriser laléatoire : Exercices résolus de probabilités et statistique = Mastering Randomness : Solved Exercises in Probability and Statistics
Consists of 245 solved exercises that cover all the basic concepts of probability and statistics. The work is structured in nine chapters, each containing a brief introduction, bibliographic references to more specialized works, as well as a series of exercises and their detailed solutions. Ranked in increasing order of difficulty, these will allow the reader to appreciate the extent of his progress. This book can be used as a supplement to any theory manual on statistics and probability. Due to the great diversity of the examples offered, it will suit a diverse readership: students of economics, psychology, social sciences, mathematics, physics, chemistry, medicine or biology.
Machine learning methods for reverse engineering of defective structured surfaces
Pascal Laube presents machine learning approaches for three key problems of reverse engineering of defective structured surfaces: parametrization of curves and surfaces, geometric primitive classification and inpainting of high-resolution textures. The proposed methods aim to improve the reconstruction quality while further automating the process. The contributions demonstrate that machine learning can be a viable part of the CAD reverse engineering pipeline.
Low-Power High-Speed ADCs for Nanometer CMOS Integration
Low-Power High-Speed ADCs for Nanometer CMOS Integration is about the design and implementation of ADC in nanometer CMOS processes that achieve lower power consumption for a given speed and resolution than previous designs, through architectural and circuit innovations that take advantage of unique features of nanometer CMOS processes. A phase lock loop (PLL) clock multiplier has also been designed using new circuit techniques and successfully tested.
Logic for Programming, Artificial Intelligence, and Reasoning ; Vol. 3835 : 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005, Proceedings
Constitutes the refereed proceedings of the 12th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR 2005. This book presents 46 revised papers with 3 abstracts, addressing issues in logic programming, logic-based program manipulation, formal method, automated reasoning, and various kinds of AI logics.
Logic for Computer Scientists
This book introduces the notions and methods of formal logic from a computer science standpoint, covering propositional logic, predicate logic, and foundations of logic programming. It presents applications and themes of computer science research such as resolution, automated deduction, and logic programming in a rigorous but readable way.The style and scope of the work, rounded out by the inclusion of exercises, make this an excellent textbook for an advanced undergraduate course in logic for computer scientists.
Lidar : Range-Resolved Optical Remote Sensing of the Atmosphere
Written by leading experts in optical radar, or lidar, this book brings all the recent practices up-to-date and covers a multitude of applications, from atmospheric sciences to environmental protection. Its broad cross-disciplinary scope should appeal to both the experienced scientist and the novice in the field. The Foreword is by one of the early pioneers in the area, Herbert Walther.
Layered Double Hydroxides
Both experimental and theoretical studies of nearly every aspect of the LDH structure are discussed, including the range of metal cations and interlayer anions, M 3+ /M 2+ ratios, LDH polytypes, arrangement of the "interlayer" anions and water molecules, molecular modeling and molecular dynamics simulations, and the long- and short-range order in both the layers and interlayer galleries. Of especial value is the treatment of the more detailed aspects of the LDH structure that are still unresolved.
Landscape Pattern Analysis for Assessing Ecosystem Condition
Landscape Pattern Analysis for Assessing Ecosystem Condition presents a new method for assessing spatial pattern in raster land cover maps based on satellite imagery in a way that incorporates multiple pixel resolutions. This is combined with more conventional single-resolution measurements of spatial pattern and simple non-spatial land cover proportions to assess predictability of both surface water quality and ecological integrity within watersheds of the state of Pennsylvania (USA).
Knowledge-Driven Computing : Knowledge Engineering and Intelligent Computations
Knowledge-Driven Computing constitutes an emerging area of intensive research located at the intersection of Computational Intelligence and Knowledge Engineering with strong mathematical foundations. It embraces methods and approaches coming from diverse computational paradigms, such as evolutionary computation and nature-inspired algorithms, logic programming and constraint programming, rule-based systems, fuzzy sets and many others. The use of various knowledge representation formalisms and knowledge processing and computing paradigms is oriented towards the efficient resolution of computationally complex and difficult problems.
Jurisdiction and arbitration agreements in international commercial law
This book offers a comprehensive study of the prerequisites, effectiveness, and enforcement of exclusive jurisdiction and arbitration agreements in international dispute resolution. It examines whether jurisdiction and arbitration clauses have identical effects in private international law and whether they have been or should be given the same treatment by most countries in the world. The book considers whether the Hague Convention on Choice of Court Agreements could be treated as a litigating counterpart to the New York Convention.
John Dee : Interdisciplinary Studies in English Renaissance Thought
This volume records the diversity of scholarly approaches to John Dee which have emerged since the synthetic accounts of I. R. F. Calder, Frances Yates and Peter French. If these approaches have not succeeded in resolving the problematic multiplicity of Dee’s activities, they will at least deepen our understanding of specific and local areas of his intellectual life, and render them more historiographically legible.
Jets from Young Stars II : Clues from High Angular Resolution Observations
This volume contains the edited lecture notes of the Second JETSET School on Jets from Young Stars: Clues from High Angular Resolution Observations organised by the Marie Curie Research Training Network JETSET: Jet Simulations, Experiments and Theory. After the opening two chapters on jet emission, readers can learn the fundamental background of modern high-spatial-resolution techniques, and how such methods have impacted on our understanding of young stars.
JDF : Process Integration, Technology, Product Description
The arrival of PDF has successfully optimized certain elements of the production workflow – the next challenge facing the print media industry is to resolve the problem of non-networked software packages that exist in isolation. Businesses today need to identify process inefficiencies to ensure the successful process integration of the entire value added chain. The PDF document format and the vendor-independent JDF (Job Definition Format) provide the technical platform for devising new, fully integrated workflow solutions. Networking decisions involve virtually every department of a print service provider and lay down the direction of the company over the long term. These decisions offer opportunities, but they also harbor risks. If businesses are to make the right investment decisions, it is vital they have extensive background information on technical and business management issues. The authors provide focused information for decision makers looking for support in implementing networking projects successfully. This book is couched in straightforward language, explains and highlights relevant terms, and provides readers with numerous practical illustrations, graphics and checklists that they can apply to real-life applications.
