Page 10
Page 10
Scanning Probe Microscopy : Atomic Scale Engineering by Forces and Currents
Scanning Probe Microscopy provides a comprehensive source of information for researchers, teachers, and graduate students about the rapidly expanding field of scanning probe theory. Written in the style of a textbook, it explains from scratch the theory behind today’s simulation techniques and gives examples of theoretical concepts through state-of-the-art simulations, including the means to compare these results with experimental data. The book provides the first comprehensive framework for electron transport theory with its various degrees of approximations used in today’s research, thus allowing extensive insight into the physics of scanning probes. Experimentalists will appreciate how the instrument's operation is changed by materials properties; theorists will understand how simulations can be directly compared to experimental data.
Scaling of Differential Equations
Serves both as a reference for various scaled models with corresponding dimensionless numbers, and as a resource for learning the art of scaling. A special feature of the book is the emphasis on how to create software for scaled models, based on existing software for unscaled models. Scaling (or non-dimensionalization) is a mathematical technique that greatly simplifies the setting of input parameters in numerical simulations. Moreover, scaling enhances the understanding of how different physical processes interact in a differential equation model. Compared to the existing literature, where the topic of scaling is frequently encountered, but very often in only a brief and shallow setting, the present book gives much more thorough explanations of how to reason about finding the right scales.
Scale Space and Variational Methods in Computer Vision ; 1st International Conference, SSVM 2007, Ischia, Italy, May 30 - June 2, 2007, Proceedings
Constitutes the refereed proceedings of the First International Conference on Scale Space Methods and Variational Methods in Computer Vision, SSVM 2007. This book introduces topical sections on scale space and features extraction, image enhancement and reconstruction, image segmentation and visual grouping, motion analysis, and optical flow.
Scalable Hardware Verification with Symbolic Simulation
Scalable Hardware Verification with Symbolic Simulation presents recent advancements in symbolic simulation-based solutions which radically improve scalability. It overviews current verification techniques, both based on logic simulation and formal verification methods, and unveils the inner workings of symbolic simulation.
Safety, Reliability and Risks Associated with Water, Oil and Gas Pipelines
In this book, the three two major defect assessment tools for pipes are presented : i) the failure assessment diagram and particularly the SINTAP procedure, ii) limit analysis, iii) strain design approach Methods of defect repair are based on investigation findings. Methods such as welded sleeve, repair clamp composite sleeve, grinding, pipe replacement are described.
Russias Cosmonauts : Inside the Yuri Gagarin Training Center
With the aid of unique photographs, first-hand interviews and historical resources, Rex Hall, Dave Shayler and Bert Vis explain, for the very first time, how Russian citizens have been selected and trained to fly in space, and how these procedures have changed during the past 40 years. The authors also describe the evolution of the often overlooked ground support infrastructure and how the role of cosmonauts has changed from the very earliest days of the Gagarin era, through the demise of the Soviet Union, to the era of international co-operation and collaboration on programmes such as the International Space Station. The book will provide much important background information and insight to the operational Soviet/Russian manned space programme, already covered in other Springer-Praxis titles, but revealing information and facts not covered elsewhere, and providing a unique reference source for all those who wish to understand the changing role of Russian cosmonauts in today’s global space programme.
Rugged Free Energy Landscapes : Common Computational Approaches to Spin Glasses, Structural Glasses and Biological Macromolecules
This collection of lectures and tutorial reviews by renowned experts focusses on the common computational approaches in use to unravel the static and dynamical behaviour of complex physical systems at the interface of physics, chemistry and biology. Paradigmatic examples of condensed matter physics are spin and structural glasses and protein folding, as well as their aggregation and adsorption to hard and soft surfaces, in physico-chemical biology.
Robust Control of Time-delay Systems
This volume presents a systematic and comprehensive treatment for robust (H-infinity) control of such systems in the frequency domain. The emphasis is on systems with a single input or output delay, although the delay-free part of the plant can be multi-input-multi-output, in which case the delays in different channels should be the same.
Robotica Mobile: Un’introduzione pratica = Mobile robotics: A practical introduction
This book is an excellent introduction to the fundamentals and methods of designing and testing autonomous mobile robots. The discussion presents in a clear and rigorous way the central themes of this complex field of research: robot learning and training; autonomous navigation in unmodified environments, subject to noise and unpredictable events; the analysis of the behavior of the robot; the recognition of perceptual novelties; the simulation of real robots. Thirteen detailed case studies show how to design and program real robots that can perform assigned tasks. The book is an indispensable reference for students of university and specialization courses in the fields of robotics, artificial intelligence, cognitive sciences and robot engineering, but is also accessible to readers with non-specific scientific preparation
Robot Cognition and Navigation : An Experiment with Mobile Robots
In this book the author employs a cybernetic view of robot cognition and perception as he examines mobile robot simulations, realizations and experiments, and explains the related mathematical models and algorithms.
Robot Adventures in Python and C
In this book the author stresses software as the most important topic in modern robotics. In particular the book concentrates on software for mobile robots, and the author demonstrates how inexpensive solutions can be constructed by mounting Raspberry Pi controllers and cameras onto model cars or other simple mechanical drive systems. He introduces EyeSim-VR, a freely available system that can realistically simulate driving, swimming, diving, and walking robots. The emphasis throughout is on algorithm development and all software assignments can run on real robot hardware, as well as on the simulation system presented.
Riverbank Filtration Hydrology
Riverbank Filtration (RBF) has gained popularity in the past decade as an excellent source of high quality water for public water supply. This text compliments the existing literature on RBF water quality, and provides much-need guidance in the design and operation of RBF facilities. RBF has proven effective in many hydrogeological settings worldwide, and can be an excellent solution to water supply problems in both developed and developing countries. Topics covered include surface stream hydrology, particle clogging, and biological/geochemical processes. Data and case histories are provided from dozens of installations, providing much-needed practical information regarding RBF design, operation, and performance.
RF System Design of Transceivers for Wireless Communications
In this book the author develops systematic methods for RF systems design, complete with a comprehensive set of design formulas. Its focus on mobile station transmitter and receiver system design also applies to transceiver design of other wireless systems.
Rewriting Techniques and Applications; 19th International Conference, RTA 2008 Hagenberg, Austria, July 15-17, 2008 Proceedings
The book covers current research on all aspects of rewriting including typical areas of interest such as applications, foundational issues, frameworks, implementations, and semantics.
Reversible Computation : Extending Horizons of Computing: Selected Results of the COST Action IC1405
This State-of-the-Art Survey presents the main recent scientific outcomes in the area of reversible computation, focusing on those that have emerged during COST Action IC1405 "Reversible Computation - Extending Horizons of Computing", a European research network that operated from May 2015 to April 2019.
Revenue Management with Flexible Products : Models and Methods for the Broadcasting Industry
Remarkable features of revenue management (RM) problems in the cargo, manufacturing and broadcasting industries are so-called flexible products. "Flexibility" means that the actual mode of production is not defined at the time of purchase, but can be chosen later on by the service provider. This book is among the first to analyze RM problems with flexible products and RM in broadcasting companies. The implications of flexibility are explicitly taken into account in the models and methods presented. As an aside, the book contains descriptions of algorithms to generate stochastic demand data streams for general RM problems. An implementation as a Microsoft Windows executable file is available, which can directly be used both by theoreticians and practitioners in their own simulation studies.
RESPACE, key technologies for reusable space systems : Results of a virtual institute programme of the German Helmholtz-Association, 2003-2007
This volume contains the main results of the three years study (2003 - 2007) of the Virtual Institute RESPACE (Key Technologies for Re-Usable Space Systems), The nine topics treated with a multidisciplinary numerical and experimental approach are systems aspects of advanced space transportation vehicles, vehicle base flow, propulsion jet and external flow interaction, active cooling of hot structures, film cooling and its influence on boundary-layer flow.
Resource Management in Satellite Networks : Optimization and Cross-Layer Design
Resource Management in Satellite Networks: Optimization and Cross-Layer Design addresses the emergent research area of cross-layer air interface design for satellite systems. A detailed analysis of cross-layer methods is presented along with new analytical and simulation results demonstrating that these techniques can assures high QoS levels for differentiated traffic classes. The research presented integrates the expertise of a wide range of researchers, and addresses all aspects of system design (e.g., propagation issues, resource management techniques, link design, QoS, transport protocols, etc.). Of particular importance is the inclusion of research applicable to both fixed and mobile satellite systems.
Resource Allocation In Multiuser Multicarrier Wireless Systems
This book proposes a unified algorithmic framework based on dual optimization techniques that have complexities that are linear in the number of subcarriers and users, and that achieve negligible optimality gaps in standards-based numerical simulations.
Residual Stress and Its Effects on Fatigue and Fracture ; Proceedings of a Special Symposium held within the 16th European Conference of Fracture - ECF16, Alexandroupolis, Greece, 3-7 July, 2006
Simplified fracture mechanics based assessment methods are widely used by the industry to determine the structural integrity significance of postulated cracks, manufacturing flaws, service-induced cracking or suspected degradation of engineering components under normal and abnormal service loads. In many cases, welded joints are the regions most likely to contain original fabrication defects or cracks initiating and growing during service operation. Various procedures provide upper bound residual stress profiles for various classes of welded joints that can be used in fracture assessments, but these often give very conservative results. Recently, the option to use more realistic profiles has been adopted, but only where such profiles are based on finite element residual stress simulations supported by detailed residual stress measurements.
