الصفحة 14
الصفحة 14
Highway engineering : Planning, design, and operations ; 2nd ed.
Presents a clear and rigorous exposition of highway engineering concepts, including project development and the relationship between planning, operations, safety and highway types. The book includes important topics such as corridor selection and traverses, horizontal and vertical alignment, design controls, basic roadway design, cross section elements, intersection and interchange design, and the integration of new vehicle technologies and trends. It also presents end of chapter exercises to further aid understanding and learning. This edition has been fully updated with the current design policies and reference manuals essential for highway, transportation, and civil engineers who are required to work to these standards.
Heterogeneous Objects Modelling and Applications : Collection of Papers on Foundations and Practice
Heterogeneous object modelling is a new and quickly developing research area. This book is one of the first attempts to systematically cover the most relevant themes and problems of this new and challenging subject area. It is a collection of invited papers and papers co-authored by the editors. Each chapter presents either new research results or a survey on the following topics:Formal models and abstractions of heterogeneous objects including geometric, topological, discrete and continuous models, operations forming special algebras and conversions between different model types.
Hardy Inequalities on Homogeneous Groups : 100 Years of Hardy Inequalities
This book provides an extensive treatment of Hardy inequalities and closely related topics from the point of view of Folland and Stein's homogeneous (Lie) groups. The place where Hardy inequalities and homogeneous groups meet is a beautiful area of mathematics with links to many other subjects.In this environment, the theory of Hardy inequalities becomes intricately intertwined with the properties of sub-Laplacians and subelliptic partial differential equations.
Handbook of Spatial Logics
The aim of this handbook is to create, for the first time, a systematic account of the field of spatial logic. The book comprises a general introduction, followed by fourteen chapters by invited authors. Each chapter provides a self-contained overview of its topic, describing the principal results obtained to date, explaining the methods used to obtain them, and listing the most important open problems. Jointly, these contributions constitute a comprehensive survey of this rapidly expanding subject.
Handbook of Normal Frames and Coordinates
This book provides the first comprehensive and complete overview on results and methods concerning normal frames and coordinates in differential geometry, with emphasis on vector and differentiable bundles. The book can be used as a reference manual, for reviewing the existing results and as an introduction to some new ideas and developments. Virtually all essential results and methods concerning normal frames and coordinates are presented, most of them with full proofs, in some cases using new approaches.All classical results are expanded and generalized in various directions. For example, normal frames and coordinates are defined and investigated for different kinds of derivations, in particular for (possibly linear) connections on manifolds, with or without torsion, in vector bundles and on differentiable bundles; they are explored also for (possibly parallel) transports along paths in vector bundles. Theorems of existence, uniqueness and, possibly, holonomicity of normal frames and coordinates are proved; mostly, the proofs are constructive and some of their parts can be used independently for other tasks.
Handbook of molecular force spectroscopy
Modern materials science and biophysics are increasingly focused on studying and controlling intermolecular interactions on the single-molecule level. Molecular force spectroscopy was developed in the past decade as the result of several unprecedented advances in the capabilities of modern scientific instrumentation, and defines a number of techniques that use mechanical force measurements to study interactions between single molecules and molecular assemblies in chemical and biological systems. Examples of these techniques, which typically target a specific range of experimental systems and geometries, include atomic force microscopy, optical tweezers, surface forces apparatus, and magnetic tweezers.
Handbook of Mathematical Models in Computer Vision
In this edited volume we present the most prominent mathematical models that are considered in computational vision. To this end, tasks of increasing complexity are considered and we present the state-of-the-art methods to cope with such tasks. The volume consists of six thematic areas that provide answers to the most dominant questions of computational vision: Image reconstruction, Segmentation and object extraction, Shape modeling and registration, Motion analysis and tracking, 3D from images, geometry and reconstruction Applications in medical image analysis
Handbook of K-Theory
This handbook offers a compilation of techniques and results in K-theory.Many chapters present historical background; some present previously unpublished results, whereas some present the first expository account of a topic; many discuss future directions as well as open problems. The overall intent of this handbook is to offer the interested reader an exposition of our current state of knowledge as well as an implicit blueprint for future research.
Handbook of Geometric Computing : Applications in Pattern Recognition, Computer Vision, Neuralcomputing, and Robotics
Many computer scientists, engineers, applied mathematicians, and physicists use geometry theory and geometric computing methods in the design of perception-action systems, intelligent autonomous systems, and man-machine interfaces. This handbook brings together the most recent advances in the application of geometric computing for building such systems, with contributions from leading experts in the important fields of neuroscience, neural networks, image processing, pattern recognition, computer vision, uncertainty in geometric computations, conformal computational geometry, computer graphics and visualization, medical imagery, geometry and robotics, and reaching and motion planning. For the first time, the various methods are presented in a comprehensive, unified manner.
Handbook of Continued Fractions for Special Functions
Special functions are pervasive in all fields of science and industry. The most well-known application areas are in physics, engineering, chemistry, computer science and statistics. Because of their importance, several books and websites (see for instance http: functions.wolfram.com) and a large collection of papers have been devoted to these functions. Of the standard work on the subject, namely the Handbook of Mathematical Functions with formulas, graphs and mathematical tables edited by Milton Abramowitz and Irene Stegun, the American National Institute of Standards claims to have sold over 700 000 copies!
Graph-theoretic concepts in computer science ; Vol. 3787 ; 31st International Workshop, WG 2005, Metz, France, June 23-25, 2005, Revised Selected Papers
that aims to unite theory and practice by demonstrating how graph-theoretic concepts can be applied to various areas in Computer Science. This book provides results for various classes of graphs, graph computations, graph algorithms, and graph-theoretical applications in various fields.
Graph Transformations ; 4th International Conference, ICGT 2008, Leicester, United Kingdom, September 7-13, 2008. Proceedings
This book constitutes the refereed proceedings of the 4th International Conference on Graph Transformations, ICGT 2008, held in Leicester, UK, in September 2008.The 27 revised full papers presented together with 5 tutorial and workshop papers and 3 invited lectures were carefully selected from 57 submissions. All current aspects in graph drawing are addressed including hypergraphs and termgraph rewriting, applications of graph transformation, execution of graph transformations, compositional systems, validation and verification, graph languages and special transformation concepts, as well as patterns and model transformations.
Graph theory and combinatorial optimization
Graph theory is very much tied to the geometric properties of optimization and combinatorial optimization. Moreover, graph theory's geometric properties are at the core of many research interests in operations research and applied mathematics. Its techniques have been used in solving many classical problems including maximum flow problems, independent set problems, and the traveling salesman problem. Graph Theory and Combinatorial Optimization explores the field's classical foundations and its developing theories, ideas and applications to new problems. The book examines the geometric properties of graph theory and its widening uses in combinatorial optimization theory and application.
Graph drawing ; 15th International symposium, GD 2007, Sydney, Australia, September 24-26, 2007. Revised Papers
The 16th International Symposium on Graph Drawing (GD 2008) was held in Hersonissos, near Heraklion, Crete, Greece, September 21-24, 2008, and was attended by 91 participants from 19 countries. In response to the call for papers the Program Committee received 83 s- missions,eachdescribing originalresearchand/or a systemdemonstration.Tamassia showed how graph drawing techniques can be used as an e?ective tool in computer security and pointed to future research directions in this area. Following what is now a tradition, the 15th Annual Graph Drawing Contest was held during the conference, also including a Graph Drawing Challenge to the conference attendees.
Graph drawing ; 14th International symposium, GD 2006, Karlsruhe, Germany, September 18-20, 2006, Revised Papers
The 33 revised full papers and 5 revised short papers presented together with 2 invited talks, 1 system demo, 2 poster papers address all current aspects in graph drawing, ranging from foundational and methodological issues to applications for various classes of graphs in a variety of fields.
Granite genesis : in-situ melting and crustal evolution
In this book we suggest an alternative model for the origin of granite in terms of in-situ meltingintracrustal convection that physically determines the process from partial melting of mid-upper crustal rocks to formation of a convecting magma layer. We illustrate the model using the geological, geochemical and geophysical studies from Australia, North and South America, Europe and China, and conclude that heat convection within a crustal partial melting layer is essential for formation of granite magma and that without convection, partial melting of rocks produces migmatites rather than granites. Granite is layer-like within the crust, and shape and size of granite bodies reflect the geometric relationship between an irregular upper surface of the crystallised magma layer and erosion surface. Repeated melting of the crust generates downward-younging granite sequences. Chemical and isotopic compositions of granites indicate differentiation within the magma rather than different deep sources.
Grammatical Picture Generation : A Tree-Based Approach
The book presents important types of picture generators, using a tree-based approach to stress their common algorithmic basis, the treatment influenced by the theory of computation, and the theory of formal languages in particular. It guides the reader through the basics of the tree-based approach on to dedicated chapters on line-drawing languages, collage grammars, iterated function systems, grid picture languages, languages of fractals, and languages of coloured collages, while presenting results about (un)decidable, NP-complete, or efficiently solvable problems, normal forms, hierarchies of language classes, and related phenomena.
Global Aspects of Complex Geometry
This collection of surveys present an overview of recent developments in Complex Geometry. Topics range from curve and surface theory through special varieties in higher dimensions, moduli theory, Kähler geometry, and group actions to Hodge theory and characteristic p-geometry.
Geometry of Quantum Theory ; 2nd ed.
This book a classic on the foundations of quantum theory. This view, which is essentially geometric and relies on the concept of symmetry. The mathematical treatment of symmetry in quantum theory is based on the theory of group representations, and this book includes a self-contained treatment of the parts of this theory that are most useful in quantum physics.
Geometry of Principal Sheaves
The book provides a detailed introduction to the theory of connections on principal sheaves in the framework of Abstract Differential Geometry (ADG). This is a new approach to differential geometry based on sheaf theoretic methods, without use of ordinary calculus. This point of view complies with the demand of contemporary physics to cope with non-smooth models of physical phenomena and spaces with singularities. Starting with a brief survey of the required sheaf theory and cohomology, the exposition then moves on to differential triads (the abstraction of smooth manifolds) and Lie sheaves of groups (the abstraction of Lie groups). Having laid the groundwork, the main part of the book is devoted to the theory of connections on principal sheaves, incorporating connections on vector
