الصفحة 21
الصفحة 21
Jubilee Line Extension : From concept to completion
Details the story of London Underground's award winning Jubilee Line Extension (JLE), how it came to being, how it was planned, how it was designed, built and commissioned, and how the millennium deadline imposed by the Dome was met. Always in the public eye and the political spotlight, the JLE has played a significant role in the success of the Canary Wharf development, improved public transport immeasurably in the areas of southeast and east London, and set new standards for London Underground and public transport.
Japan Nutrition
This auto-translation book demonstrates a time series of nutrition improvement in Japan since the introduction of nutrition sciences to Japan about 150 years ago. The chapters present the historical event where nutritional deficiency due to food shortage was improved in almost a century, by the introduction of nutrition policy and practices such as the "Nutrition Improvement Law". The book contributed to the construction of a longevity nation by resolving the double burden of malnutrition, which is a mixture of undernutrition and overnutrition and creating a social environment in which sustainable healthy diets can be accessed.
Comprehensive mathematics for computer scientists 2 : Calculus and ODEs, splines, probability, fourier and wavelet theory, fractals and neural networks, categories and lambda calculus
This second volume of a comprehensive tour through mathematical core subjects for computer scientists completes the first volume in two - gards: Part III first adds topology, di?erential, and integral calculus to the t- ics of sets, graphs, algebra, formal logic, machines, and linear geometry, of volume 1. With this spectrum of fundamentals in mathematical e- cation, young professionals should be able to successfully attack more involved subjects, which may be relevant to the computational sciences. In a second regard, the end of part III and part IV add a selection of more advanced topics. In view of the overwhelming variety of mathematical approaches in the computational sciences, any selection, even the most empirical, requires a methodological justi?cation. Our primary criterion has been the search for harmonization and optimization of thematic - versity and logical coherence. This is why we have, for instance, bundled such seemingly distant subjects as recursive constructions, ordinary d- ferential equations, and fractals under the unifying perspective of c- traction theory.
Composites for building assembly : connections, members and structures
Pesents buildings developed using modular assembly approaches based on lightweight and corrosion-resistant fiber reinforced polymer (FRP) composites. Construction methods and the choice of building materials offer great opportunities for more productive and environmentally friendly solutions. This book includes valuable experimental data on large-scale structural components (beams, slabs, amd columns), connections (shear connections, wall stud connections, beam-column connections, column-column connections) and structures (composite floor system, structural sandwich assemblies, and full-scale structural demonstrations), supported with detailed numerical modelling and analytical methods.
Composite structures of steel and concrete : Beams, slabs, columns and frames for buildings
Provides an introduction to the theory and design of composite structures of steel and concrete. Material applicable to both buildings and bridges is included, with more detailed information relating to structures for buildings. Throughout, the design methods are illustrated by calculations in accordance with the Eurocode for composite structures, EN 1994, Part 1-1, 'General rules and rules for buildings' and Part 1-2, 'Structural fire design', and their cross-references to ENs 1990 to 1993.
Component-Based Software Testing with UML
Component-based software development regards software construction in terms of conventional engineering disciplines where the assembly of systems from readily-available prefabricated parts is the norm. Because both component-based systems themselves and the stakeholders in component-based development projects are different from traditional software systems, component-based testing also needs to deviate from traditional software testing approaches. Gross first describes the specific challenges related to component-based testing like the lack of internal knowledge of a component or the usage of a component in diverse contexts. He argues that only built-in contract testing, a test organization for component-based applications founded on building test artifacts directly into components, can prevent catastrophic failures like the one that caused the now famous ARIANE 5 crash in 1996. This book is the first comprehensive treatment of the intricacies of testing component-based software systems. With its strong modeling background, it appeals to researchers and graduate students specializing in component-based software engineering. Professionals architecting and developing component-based systems will profit from the UML-based methodology and the implementation hints based on the XUnit and JUnit frameworks.
Complex-valued neural networks
This book is the first monograph ever on complex-valued neural networks, which lends itself to graduate and undergraduate courses in electrical engineering, informatics, control engineering, mechanics, robotics, bioengineering, and other relevant fields. It is useful for those beginning their studies, for instance, adaptive signal processing for highly functional sensing and imaging, control in unknown and changing environment, brainlike information processing, robotics inspired by human neural systems, and interdisciplinary studies to realize comfortable society. It is also helpful to those who carry out research and development regarding new products and services at companies.
Complex Motion ; 1st International Workshop, IWCM 2004, Günzburg, Germany, October 12-14, 2004, Revised Papers
The world we live in is a dynamic one: we explore it by moving through it, and many of the objects which we are interested in are also moving. Trafic, for instance, is an example of a domain where detecting and processing visual motion is of vital interest, both in a metaphoric as well as in a purely literal sense. Visual communication is another important example of an area of science which is dominated by the need to measure, understand, and represent visual motion in an eficient way. Visual motion is a subject of research which forces the investigator to deal with complexity; complexity in the sense of facing efiects of motion in a very large diversity of forms, starting from analyzing simple motion in a changing envir- ment (illumination, shadows, . . . ), under adverse observation conditions, such as bad signal-to-noiseratio (low illumination, small-scaleprocesses, low-dosex-ray, etc. ), covering also multiple motions of independent objects, occlusions, and - ing as far as dealing with objects which are complex in themselves (articulated objects such as bodies of living beings). The spectrum of problems includes, but does not end at, objects which are not ‘bodies’ at all, e. g. , when anal- ing fiuid motion, cloud motion, and so on. Analyzing the motion of a crowd in a shopping mall or in an airport is a further example that implies the need to struggle against the problems induced by complexity.
Complete dentures : Ffrom planning to problem solving
Deals with the planning, construction and review of complete dentures and examines the role of osseointegrated prostheses in the management of edentulism.
Compiler construction ; Vol. 3923 : 15th International Conference, CC 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 30-31, 2006, Proceedings
ETAPS 2006 was the ninth instance of the European Joint Conferences on Theory and Practice of Software. ETAPS is an annual federated conference that was established in 1998 by combining a number of existing and new conferences. The events that comprise ETAPS address various aspects of the system devel- ment process, including speci?cation, design, implementation, analysis and impro- ment. The languages, methodologies and tools which support these activities are all well within its scope. Di?erent blends of theory and practice are represented, with an inclination towards theory with a practical motivation on the one hand and soundly based practice on the other.
Compiler construction ; Vol. 3443 : 14th International Conference, CC 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedings
"This book constitutes the refereed proceedings of 14th International Conference, CC 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, including Topics Programming Languages, Compilers, Interpreters Logics and Meanings of Programs / Mathematical Logic and Formal Languages / Software Engineering / Artificial Intelligence"
Compiler construction ; 17th International Conference, CC 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29 - April 6, 2008. Proceedings
This book constitutes the proceedings of the 17th International Conference on Compiler Construction, CC 2008. It covers analysis and transformations, compiling for parallel architectures, runtime techniques and tools, analyses, and atomicity and transactions.
Compiler construction ; 16th International Conference, CC 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 26-30, 2007, Proceedings
This book covered Theory and Practice of Software. The sections includes architecture, garbage collection and program analysis, register allocation, and program analysis.
Compactifying Moduli Spaces for Abelian Varieties
This volume presents the construction of canonical modular compactifications of moduli spaces for polarized Abelian varieties (possibly with level structure), building on the earlier work of Alexeev, Nakamura, and Namikawa. This provides a different approach to compactifying these spaces than the more classical approach using toroical embeddings, which are not canonical. There are two main new contributions in this monograph: (1) The introduction of logarithmic geometry as understood by Fontaine, Illusie, and Kato to the study of degenerating Abelian varieties; and (2) the construction of canonical compactifications for moduli spaces with higher degree polarizations based on stack-theoretic techniques and a study of the theta group.
Compactifications of Symmetric and Locally Symmetric Spaces
Noncompact symmetric and locally symmetric spaces naturally appear in many mathematical theories, including analysis (representation theory, nonabelian harmonic analysis), number theory (automorphic forms), algebraic geometry (modulae) and algebraic topology (cohomology of discrete groups). In most applications it is necessary to form an appropriate compactification of the space. The literature dealing with such compactifications is vast. The main purpose of this book is to introduce uniform constructions of most of the known compactifications with emphasis on their geometric and topological structures. The book is divided into three parts. Part I studies compactifications of Riemannian symmetric spaces and their arithmetic quotients. Part II is a study of compact smooth manifolds. Part III studies the compactification of locally symmetric spaces.
Clinical Bioethics : A Search for the Foundations
Clinical Bioethics. A Search for the Foundations compares major theoretical models in the foundation of clinical bioethics and explains medicine as a normative practice. The goals of medicine are discussed with particular reference to the subjectivisation of health and the rationalisation of health care institutions. This volume provides a consistent reconstruction of bioethical judgment both at the level of epistemological statute and institutional context, i.e. clinical ethics committees and clinical ethics consultation.
Climate risk in Africa : Adaptation and resilience
This book highlights the complexities around making adaptation decisions and building resilience in the face of climate risk. It is based on experiences in sub-Saharan Africa through the Future Climate For Africa (FCFA) applied research programme. It begins by dealing with underlying principles and structures designed to facilitate effective engagement about climate risk, including the robustness of information and the construction of knowledge through co-production
Cleft Maxillary Reconstruction
Aims to teach the reader about all aspects of maxillary cleft reconstruction, with emphasis on management of the patient born with a congenital anomaly, cleft lip and palate, which will usually have been managed by several different providers during earlier childhood.
Civil Engineering Materials for Transportation Infrastructure
Includes the fundamental mechanical and physical properties of materials; properties, tests, and gradation designs of aggregates; production, composition, hydration, properties, and tests of lime and cement; composition, tests, and design of cement concrete; mechanisms, properties, and design of inorganic binder stabilized material; properties, tests, and grading of asphalt; composition, properties, tests, and designs of asphalt mixture; and properties, treatments, tests, and selections of steel.
Civil engineering materials : From theory to practice ; 1st ed.
Presents the state-of-the-art in civil engineering materials, including the fundamental theory of materials needed for civil engineering projects and unique insights from decades of large-scale construction in China. The title includes the latest advances in new materials and techniques for civil engineering, showing the relationship between composition, structure and properties, and covering ultra-high-performance concrete and self-compacting concrete developed in China. This book provides comprehensive coverage of the most commonly used, most advanced materials for use in civil engineering. This volume consists of eight chapters covering the fundamentals of materials, inorganic cementing materials, Portland cement concrete, bricks, blocks and building mortar, metal, wood, asphalt and polymers.
