الصفحة 62
الصفحة 62
Container terminals and cargo systems : Design, operations management, and logistics control issues
Significant gains in productivity can be achieved through advanced terminal layouts, more efficient IT-support and improved logistics control software systems. The primary objective of this book is to reflect these challenges and to present new insights and successful solutions to operational problems of automated container terminals and cargo systems.
Container Terminals and Automated Transport Systems : Logistics Control Issues and Quantitative Decision Support
Container transportation is the predominant mode of inter-continental cargo traffic. Since container ships and port terminals involve a huge capital investment and significant daily operating costs, it is of crucial importance to efficiently utilize the internal resources of container terminals and transportation systems. Today there is an ongoing trend to use automated container handling and transportation technology, in particular, in countries with high labour costs. This in turn requires highly sophisticated control strategies in order to meet the desired performance measures. The primary objective of this book is to reflect these recent developments and to present new insights and successful solutions to operational problems of automated container terminals and transportation systems. It comprises reports on the state of the art, applications of quantitative methods, as well as case studies and simulation results. Its contributions are written by leading experts from academia and business.
Contact Problems : The legacy of L.A. Galin
L.A. Galin's book on contact problems is a remarkable work. Actually there are two books: the first, published in 1953 deals with contact problems in the classical theory of elasticity; this is the one that was translated into English in 1961. The second book, published in 1980, included the first, and then had new sections on contact problems for viscoelastic materials, and rough contact problems; this section has not previously been translated into English.
Consumer Packaging Strategy : Localisation in Asian Markets
Illustrates how packaging as a marketing tool is more than simply changing the label or translating the brand into vernacular language. It examines how different packaging elements (e.g. information, imagery, packaging type) can help to communicate product values to Asian consumers.
Consumer driven electronic transformation : Applying new technologies to enthuse consumers and transform the supply chain
The Symposia have become important, unique - casions in the international calendar of business research. The papers c- lected here, first presented in Athens, represent an important contribution to the research literature of modern business. The wide-scale institutional development of collaborative practices in the European consumer goods business began in 1994 with the creation of ECR (“Efficient Consumer Response”) Europe, a joint initiative of ma- facturers and retailers working together to improve the quality and p- formance of the value chain. At the heart of ECR was a business envir- ment characterised by dramatic advances in information technology, shifts in consumer demand, and the increasing movements of goods across int- national borders. This new reality required a fundamental reconsideration of the most effective way of delivering the right products to consumers at the right price.
Construction of Mappings for Hamiltonian Systems and Their Applications
Based on the method of canonical transformation of variables and the classical perturbation theory, this innovative book treats the systematic theory of symplectic mappings for Hamiltonian systems and its application to the study of the dynamics and chaos of various physical problems described by Hamiltonian systems. It develops a new, mathematically-rigorous method to construct symplectic mappings which replaces the dynamics of continuous Hamiltonian systems by the discrete ones. Applications of the mapping methods encompass the chaos theory in non-twist and non-smooth dynamical systems, the structure and chaotic transport in the stochastic layer, the magnetic field lines in magnetically confinement devices of plasmas, ray dynamics in waveguides, etc. The book is intended for postgraduate students and researches, physicists and astronomers working in the areas of plasma physics, hydrodynamics, celestial mechanics, dynamical astronomy, and accelerator physics. It should also be useful for applied mathematicians involved in analytical and numerical studies of dynamical systems.
Construction and analysis of safe, secure, and interoperable smart devices ; Vol. 3362 : International workshop, CASSIS 2004, Marseille, France, March 10-14, 2004, Revised Selected Papers
History based access control and secure information flow / The spec# programming system / Mastering test generation from smart card software formal models / A mechanism for secure, fine-grained dynamic provisioning of applications on small devices / A type system for checking applet isolation in java card / Verification of safety properties in the presence of transactions / Modelling mobility aspects of security policies / Smart devices for next generation mobile services / A flexible framework for the estimation of coverage metrics in explicit state software model checking / Combining several paradigms for circuit validation and verification / Smart card research perspectives
Construction 4.0 : advanced technology, tools and materials for the digital transformation of the construction industry
Construction 4.0 Advanced Technology, Tools and Materials for the Digital Transformation of the Construction Industry provides readers with a state-of-the-art review of the ongoing digital transformation of the sector within the new 4.0 framework, presenting a thorough investigation of the emerging trends, technologies, and strategies in the fields of smart building design, construction.
Constructing Correct Software
Central to Formal Methods is the so-called Correctness Theorem which relates a specification to its correct Implementations. This theorem is the goal of traditional program testing and, more recently, of program verification (in which the theorem must be proved). Proofs are difficult, though even with the use of powerful theorem provers. This volume explains and illustrates an alternative method, which allows the construction of (necessarily correct) algorithms from a specification using algebraic transformations and refinement techniques which prevent the introduction of errors. Based on teaching material used extensively at Loughborough University, John Cooke introduces the basics, using simple examples and lots of detailed working (which can often be re-used). Constructing Correct Software will provide invaluable reading for students and practitioners of Computer Science and Software Engineering to whom correctness of software is of prime importance.
Constructing architecture : Materials, processes, structures, a handbook
This internationally prizewinning volume now appears in its second, revised and expanded edition. Since the first edition was published in 2005, it has been adopted as a textbook at many universities. Organized into chapters on ''Raw Materials/Building Materials (Modules),'' ''Building Components (Elements),'' ''Building Methods (Structures),'' and ''Buildings (Examples),'' the book now includes a new section on translucent materials and an article on the use of glass. The chapter on ''Building Elements'' now includes a discussion of facades, and the chapter on ''Structures'' has been expanded to cover ''Principles of Space Creation.'' The examples section now includes extensive documentation of current projects whose systematic character is oriented around the production process.
Constraint satisfaction techniques for agent-based reasoning
Constraint satisfaction problems are significant in the domain of automated reasoning for artificial intelligence. They can be applied to the modeling and solving of a wide range of combinatorial applications such as planning, scheduling and resource sharing in a variety of practical domains such as transportation, production, supply-chains, network management and human resource management. In this book we study new techniques for solving constraint satisfaction problems, with a special focus on solution adaptation applied to agent reasoning.
Constraint handling rules : Current research topics
The Constraint Handling Rules (CHR) language is a declarative concurrent committed-choice constraint logic programming language consisting of guarded rules that transform multisets of relations called constraints until no more change occurs. The aim of this volume was to attract high-quality research papers on these recent advances in Constraint Handling Rules.
Consciousness : A Mathematical Treatment of the Global Neuronal Workspace Model
This book brings together the fundamental ideas of information theory and the statistical mechanics of phase transitions within the context of the neurosciences, culture, immunology and socio-psychological studies. Outlined is a program pertaining to a dynamic and semantic extension of current models for the global neuronal workspace as were previously introduced by Baars, Dretske and others.
Conics and Cubics : A Concrete Introduction to Algebraic Curves
Its focus on curves of degree at most three keeps results tangible and proofs transparent. Theorems follow naturally from high school algebra and two key ideas: homogenous coordinates and intersection multiplicities. By classifying irreducible cubics over the real numbers and proving that their points form Abelian groups, the book gives readers easy access to the study of elliptic curves. It includes a simple proof of Bezout's Theorem on the number of intersections of two curves.The book is a text for a one-semester course on algebraic curves for junior-senior mathematics majors. The only prerequisite is first-year calculus.
Congruency, Expectations and Consumer Behavior in Digital Environments
A progress in technologies, the increasing expansion and use of digital environments lead to remarkable shifts of business activities. These transformations not only impact business but also affect consumers’ attitudes, beliefs, and practices. Thus, Frederic Nimmermann sheds light on consumer behavior in central subareas in digital environments such as advertising.
Congenital infections : Toxoplasmosis and rubella
Torch syndrome is caused by a uterine infection with one of the factors that cause Torch syndrome, which disrupts the development of the fetus. Torch syndrome can be prevented by treating the infected pregnant woman, and thus preventing transmission of the infection to the fetus. And some of the factors that cause Torch Syndrome can give the mother permanent immunity, preventing the arrival of the disease and thus fetal malformations. They include a group of symptoms caused by a congenital infection such as toxoplasmosis, rubella, CMV and herpes, or due to other organisms such as syphilis, small viruses, and varicella zoster virus. The Toxoplasma parasite and the rubella virus can provide lasting immunity if the mother was infected before pregnancy in both or if she was vaccinated before pregnancy in Rubella.
Conducting Polymers : A New Era in Electrochemistry
The discovery of polymers with variable conductivity brought forth a paradigmatic change in chemistry and in other branches of science and technology. Electrochemistry has played a central role in the preparation, characterization and application of these new materials. This book is a systematic survey of the knowledge accumulated in this field in the last thirty years. It includes thermodynamic aspects, the theory of the mechanism of charge transport processes, the chemical and physical properties of these compounds, the techniques of characterization, the chemical and electrochemical methods of synthesis as well as the application of these systems. The book contains a compilation of the polymers prepared so far and covers the relevant literature.
Concurrency, Graphs and Models : Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday
The volume consists of seven sections, six of which are dedicated to the main research areas to which Ugo Montanari has contributed: Graph Transformation; Constraint and Logic Programming; Software Engineering; Concurrency; Models of Computation; and Software Verification.
CONCUR 2008 - Concurrency Theory ; 19th International Conference, CONCUR 2008, Toronto, Canada, August 19-22, 2008. Proceedings
This book constitutes the refereed proceedings of the 19th International Conference on Concurrency Theory, CONCUR 2008, held in Toronto, Canada, August 19-22, 2008.
Concrete materials and technology : A practical guide
Demands an underlying knowledge of concrete fundamentals as well as its constituent materials, and in various formulations. Starting with the basics, Concrete Materials and Technology: A Practical Guide examines the production and chemistry of cement, as well as the different types and their applications. Quality control processes and numerous methods for testing are presented and explained in detail.
