Scientific applications of grid computing ; First International Workshop, SAG 2004, Beijing, China, September, Revised Selected and Invited Papers
This workshop was held in September 2004, in conjunction with the 2004 IEEE/WIC/ACM International Joint Conference on Web Intelligence (WI 2004) and Intelligent Agent Technology (IAT 2004). The WI and IAT conferences have provided, for several years, a leading international forum to bring together researchers and practitioners from diverse fields, such as computer science, information technology, business, education, human factors, systems engineering, and robotics, to explore the fundamental roles as well as practical impacts of artificial intelligence (AI) (e.g., knowledge representation, planning, knowledge discovery, and data mining, intelligent agents and social network intelligence) and advanced information technology (IT) (e.g., wireless networks, ubiquitous devices, social networks, the Wisdom Web, and data/knowledge grids), and to examine the design principles and performance characteristics of various approaches in intelligent agent technology.
Science and technology of semiconductor-on-insulator structures and devices operating in a harsh environment ; Proceedings of the NATO Advanced Research Workshop on science and technology of semiconductor-on-insulator structures and devices operating in a harsh environment, Kiev, Ukraine, 26-30 April 2004
This proceedings volume archives the contributions of the speakers who attended the NATO Advanced Research Workshop on “Science and Technology of Semiconductor-On-Insulator Structures and Devices Operating in a Harsh Environment” held at the Sanatorium Puscha Ozerna, th th Kyiv, Ukraine, from 25 to 29 April 2004. The semiconductor industry has maintained a very rapid growth during the last three decades through impressive technological achievements which have resulted in products with higher performance and lower cost per function.
Scenographic design drawing : Performative drawing in an expanded field
Scenographic design drawings visualize the images in the designer’s ‘mind’s eye’ early in the design process. They are the initial design tool in the creative engagement with theatre, opera, dance, and non-text-based performance. It is, in particular, this body of drawings that is unique as both a performative and a theatrical representation of multiple worlds within the ‘stage space’. Sue Field illuminates this illustration process and identifies how these drawings have functioned and developed over time.
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.
Runtime Verification ; 8th International Workshop, RV 2008, Budapest, Hungary, March 30, 2008. Selected Papers
The subject covers several technical fields such as runtime verification, runtime checking, runtime monitoring, and security and safety matters.
Routledge Handbook of Urban Landscape Research
Presents current writing about the pivotal roles that landscape architects play in addressing some of the most pressing problems facing the planet, its environments and its populations through their research, analysis and speculative practice. The book has assembled current writings on recent research structured around five major themes: governance, power and partnership; infrastructure, systems and performance; environment, resilience and climate change; people, place and design; and culture, heritage and identity. As a collection, the chapters demonstrate the diversity of themes and topics that are expanding the scholarly body of knowledge for the discipline and its relevance to the practice of landscape architecture.
Rock Damage and Fluid Transport ; Part I
Mechanical properties and fluid transport in rocks are intimately linked as deformation of a solid rock matrix immediately affects the pore space and permeability. This may result in transient or permanent changes of pore pressures and effective pressures causing rock strength to vary in space and time. Fluid circulation and deformation processes in crustal rocks are coupled, producing significant complexity of mechanical and fluid transport behavior. This often poses severe technical and economic problems for reservoir and geotechnical engineering projects involved in oil and gas production, CO2 sequestration, mining and underground waste disposal. For example, the depletion of hydrocarbon and water reservoirs leading to compaction may have adverse effects on well production. Solution/precipitation processes modify porosity and affect permeability of aquifers and reservoir rocks. Fracture damage from underground excavation will critically influence the long-term stability and performance of waste storage.
Robust Control of Linear Systems Subject to Uncertain Time-Varying Parameters
Presents the main results appeared in the literature on the topic of robust control of dynamical systems, with particular reference to the robust stability problem for linear systems subject to time-varying uncertainties. This book mainly focuses on those problems for which a definitive solution has been found.
Robots and autonomous machines for agriculture production
In recent years, due to the improved performance of artificial intelligence, precision agriculture, and advanced control, they have been widely used in various agricultural applications, including management, disease detection, crop monitoring, yield estimation, and crop harvesting. Robotics and autonomous machines represent a high-level application of automation in agriculture, based on precise and resource-efficient approaches to sustainably achieve greater efficiency and quality in the production of agricultural products while reducing environmental impact. Reactive technologies based on agricultural robots and autonomous machines are separate but closely related fields covering the application of automated control and robotic platforms at all levels of agricultural production. In robotic or autonomous systems, agricultural sensing and control is particularly difficult due to the complexity of the environment in which agricultural production operates.
Robot navigation from nature : Simultaneous localisation, mapping, and path planning based on Hippocampal models
This book describes the development of a robot mapping and navigation system inspired by models of the neural mechanisms underlying spatial navigation in the rodent hippocampus. Computational models of animal navigation systems have traditionally had limited performance when implemented on robots. The aim of the work was to determine the extent to which hippocampal models can be used to provide a robot with functional mapping and navigation capabilities in real world environments. The focus of the research was on achieving practical robot performance, rather than maintaining biological plausibility.
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.
Risk-Conscious Operations Management : An Integrated Paradigm for Complex Engineering System
Presents various concepts and applications related to risk-conscious operations management. It also provides an overview of the risk-based engineering – fundamental to the concept of risk-conscious operations management. It presents the reliability concept to support Dependency Modelling, which includes hardware systems structures and components for reliability improvement and risk reduction. The book further develops and builds attributes and model for risk-conscious culture – critical to characterize operational approach to risk and presents human factor modelling, where it works on developing an approach for human error precursor analysis.
Risk and Variability in Geotechnical Engineering
Presents cutting edge techniques for characterising, quantifying and modelling geomaterial variability in addition to methods for quantifying the influence of this variability on the performance of geotechnical structures. It includes state-of-the-art refereed journal papers by leading international researchers along with written and informal discussions on a selection of key submissions that were presented at a Symposium at the Institution of Civil Engineers on 9th May 2005.
Rigorous Development of Complex Fault-Tolerant Systems
This volume is an outcome of the REFT 2005 Workshop on Rigorous Engineering of Fault-Tolerant Systems held in conjunction with the Formal Methods 2005 conference at Newcastle upon Tyne, UK, in July 2005. The authors of the best workshop papers were asked to enhance and expand their work and a number of well-established researchers working in the area contributed invited chapters. From the 19 refereed and revised papers presented, 12 are versions reworked from the workshop; 9 of them are totally new. The book is rounded off by two provocatively different position on the role of programming languages.
Rhythm and Transforms
People quite naturally identify the rhythmic structure of music as they tap their feet and sway in time with the beat. Underlying such mundane motions is an act of cognition that is not easily reproduced in a computer program or automated by machine. Rhythm and Transforms asks (and answers) the question: How can we build a device that can "tap its foot" along with the music? The result is a tool for detecting and measuring the temporal aspects of a musical performance: the periodicities, the regularities (and irregularities), the beat, the rhythm. The impact of such a "rhythm meter" on music theory and on the design of sound processing electronics such as musical synthesizers, drum machines, and special effects devices is described. The "rhythm meter" provides a concrete basis for a discussion of the relationship between the cognitive processing of temporal information and the mathematical techniques used to describe and understand regularities in data.
Rheology Essentials of Cosmetic and Food Emulsions
Beginning with a brief history of rheology and some fundamental principles, the manual describes in detail the use of modern viscometers and rheometers, including concise explanations of the different available instruments. But the focus remains on practical everyday lab procedures: how to characterize cosmetic and food emulsions with different rheological tests such as temperature, time, stress and strain, both static and dynamic. Also the critical topic of how the results correlate with other important product characteristics, for instance, skin sensation, pumping performance, stability etc. is carefully explored. Many pictures, illustrations, graphs and tables help readers new to the measurement of cosmetic emulsions in their daily work as well as to the more experienced who seek additional special tips and tricks.
RF Imperfections in High-rate Wireless Systems : Impact and Digital Compensation
the book focuses on multiple-antenna orthogonal frequency division multiplexing (MIMO OFDM), which will be applied as basis for the majority of near-future high-rate wireless systems. The basics of MIMO OFDM are introduced and the typically required signal processing in the implementation of such systems is elucidated. The book treats several of the front-end impairments that seriously affect the performance of MIMO OFDM systems: carrier frequency offset, phase noise, IQ imbalance and nonlinearities. To provide an in-depth understanding of the impact of these RF imperfections, analytical performance results are presented in the book. These results are then used to design different compensation approaches based on digital baseband processing.
Reuse Based Methodologies and Tools in the Design of Analog and Mixed-Signal Integrated Circuits
Reuse Based Methodologies and Tools in the Design of Analog and Mixed-Signal Integrated Circuits features a very detailed, tutorial, and in-depth coverage of all issues and must-have properties of reusable AMS blocks, as well as a thorough description of the methods and tools necessary to implement them. For the first time, this has been done hierarchically, covering one by one the different stages of the design flow, allowing us to examine how the reusable block yields its benefits, both in design time and correct performance.
Retrial Queueing Systems : A Computational Approach
Retrial Queueing Systems: A Computational Approach also : Presents motivating examples in telephone and computer networks. / Establishes a comparative analysis of the retrial queues versus standard queues with waiting lines and queues with losses. / Integrates a wide range of techniques applied to the main M/G/1 and M/M/c retrial queues, and variants with general retrial times, finite population and the discrete-time case. / Surveys basic results of the matrix-analytic formalism and emphasizes the related tools employed in retrial queues. / Discusses a few selected retrial queues with QBD, GI/M/1 and M/G/1 structures.
Resource Management in Wireless Networking
This is the first book that provides readers with a deep technical overview of recent advances in resource management for wireless networks at different layers of the protocol stack. The subject is explored in various wireless networks.



















