تحسين النتائح
ترتيب حسب
من
الى
الصفحة 34
الصفحة 34
Advancing Culture of Living with Landslides ; Vol. 1 : ISDR-ICL Sendai Partnerships 2015-2025
Contains peer-reviewed papers from the Fourth World Landslide Forum organized by the International Consortium on Landslides (ICL), the Global Promotion Committee of the International Programme on Landslides (IPL), University of Ljubljana (UL) and Geological Survey of Slovenia in Ljubljana, Slovenia from May 29 to June 2, 2017. The complete collection of papers from the Forum is published in five full-color volumes
Advances in verification of time Petri Nets and timed automata : A temporal logic approach
This monograph presents a comprehensive introduction to timed automata (TA) and time Petri nets (TPNs) which belong to the most widely used models of real-time systems. Some of the existing methods of translating time Petri nets to timed automata are presented, with a focus on the translations that correspond to the semantics of time Petri nets, associating clocks with various components of the nets. "Advances in Verification of Time Petri Nets and Timed Automata – A Temporal Logic Approach" introduces timed and untimed temporal specification languages and gives model abstraction methods based on state class approaches for TPNs and on partition refinement for TA. Moreover, the monograph presents a recent progress in the development of two model checking methods, based on either exploiting abstract state spaces or on application of SAT-based symbolic techniques.
Advances in Urban Ecology : Integrating Humans and Ecological Processes in Urban Ecosystems
The future of Earth’s ecosystems is increasingly influenced by the pace and patterns of urbanization. One of the greatest challenges for natural and social scientists is to understand how urbanizing regions evolve through the complex interactions between humans and ecological processes. Questions and methods of inquiry specific to our traditional disciplinary domains yield partial views that reflect different epistemologies and understandings of the world. In order to achieve the level of synthesis required to see the urban ecosystem as a whole we must change the way we pose questions and search for answers. Cities are the result of human and ecological processes occurring simultaneously in time and in space and the legacy of the simultaneous processes of the past. Urban ecology is the study of the co-evolution of human-ecological systems. Scholars of both urban systems and ecology must challenge the assumptions and world views within their disciplines and work towards a hybrid theory that builds on multiple world views.
Advances in the Geological Storage of Carbon Dioxide : International Approaches to Reduce Anthropogenic Greenhouse Gas Emissions
As is now generally accepted mankind’s burning of fossil fuels has resulted in the mass transfer of greenhouse gases to the atmosphere, a modification of the delicately-balanced global carbon cycle, and a measurable change in world-wide temperatures and climate. Although not the most powerful greenhouse gas, carbon dioxide (CO) drives climate 2 change due to the enormous volumes of this gas pumped into the atmosphere every day. Produced in almost equal parts by the transportation, industrial and energy-generating sectors, atmospheric CO concentrations have 2 increased by about 50% over the last 300 years, and according to some sources are predicted to increase by up to 200% over pre-industrial levels during the next 100 years. If we are to reverse this trend, in order to prevent significant environmental change in the future, action must be taken immediately.
Advances in solid state physics ; Vol. 45
The book presents, to some extent, the status of the field of solid-state physics in 2005 not only in Germany but also internationally. It is ''nanoscience'', namely the physics of quantum dots and wires, electrical transport, optical properties, spin transport in nanostructures, and magnetism on the nanoscale, that is of central interest to the physics community. Also, soft matter and biological systems are covered.
Advances in Integrated Design and Manufacturing in Mechanical Engineering
This book presents a selection of papers related to the fifth edition of book further to the International Conference on Integrated Design and Manufacturing in Mechanical Engineering. This Conference has been organized within the framework of the activities of the AIP-PRIMECA network whose main scientific field is Integrated Design applied to both Mechanical Engineering and Productics. This network isorganized along the lines of a joint project: the evolution, in the field of training of Integrated Design in Mechanics and Productics, in quite close connection with the ever changing industrial needs over the past 20 years. It is in charge of promoting both exchanges of experience and know-how capitalisation. It has a paramount mission to fulfil, be it in the field of initial and continuous education, technological transfer and knowledge dissemination through strong links with research labs.
Advances in Evolutionary Computing for System Design
Evolutionary computing paradigms offer robust and powerful adaptive search mechanisms for system design. This book includes thirteen chapters covering a wide area of topics in evolutionary computing and applications including: -Introduction to evolutionary computing in system design - Evolutionary neuro-fuzzy systems - Evolution of fuzzy controllers - Genetic algorithms for multi-classifier design -Evolutionary grooming of traffic -Evolutionary particle swarms -Fuzzy logic systems using genetic algorithms - Evolutionary algorithms and immune learning for neural network-based controller design - Distributed problem solving using evolutionary learning -Evolutionary computing within grid environment -Evolutionary game theory in wireless mesh networks - Hybrid multiobjective evolutionary algorithms for the sailor assignment problem - Evolutionary techniques in hardware optimization
Advances in Digital Terrain Analysis
Terrain analysis has been an active study field for years and attracted research studies from geographers, surveyors, engineers and computer scientists. With the rapid growth of Geographical Information System (GIS) technology, particularly the establishment of high resolution Digital Elevation Models (DEM) at national level, the challenge is now focused on delivering justifiable socio-economical and environmental benefits. The contributions in this book represent the state of the art of terrain analysis methods and techniques in areas of digital representation, morphological and hydrological models, uncertainty and applications of terrain analysis.
Advances in communication systems and electrical engineering
Compiles revised and extended articles written by prominent researchers participating in the IAENG International Conference on Communication Systems and Applications, IAENG International Conference on Internet Computing and Web Services, and IAENG International Conference on Electrical Engineering of the International MultiConference of Engineers and Computer Scientists (IMECS) 2007. This volume presents the latest technologies and applications in wireless networks, telecommunication, and signal processing.
Advances in Cardiac Signal Processing
Deals with the acquisition and extraction of the various morphological features of the electrocardiogram signals.In the first chapters the book first presents data fusion and different data mining techniques that have been used for the cardiac state diagnosis. The second part deals with heart rate variability (HRV), a non-invasive measurement of cardiovascular autonomic regulation. Next, visualization of ECG data is discussed, an important part of the display in life threatening state. Here, the handling of data is discussed which were acquired during several hours. In the following chapters the book discusses aortic pressure measurement which is of significant clinical importance. It presents non-invasive methods for analysis of the aortic pressure waveform, indicating how it can be employed to determine cardiac contractility, arterial compliance, and peripheral resistance. In addition, the book demonstrates methods to extract diagnostic parameters for assessing cardiac function. Further the measurement strategies for contractile effort of the left ventricle are presented. Finally, the book concludes about the future of cardiac signal processing leading to next generation research topics which directly impacts the cardiac health care.
Advanced Time-Correlated Single Photon Counting Techniques
Time-correlated single photon counting (TCSPC) is a remarkable technique for recording low-level light signals with extremely high precision and picosecond-time resolution. TCSPC has developed from an intrinsically time-consuming and one-dimensional technique into a fast, multi-dimensional technique to record light signals. So this reference and text describes how advanced TCSPC techniques work and demonstrates their application to time-resolved laser scanning microscopy, single molecule spectroscopy, photon correlation experiments, and diffuse optical tomography of biological tissue. It gives practical hints about constructing suitable optical systems, choosing and using detectors, detector safety, preamplifiers, and using the control features and optimising the operating conditions of TCSPC devices. Advanced TCSPC Techniques is an indispensable tool for everyone in research and development who is confronted with the task of recording low-intensity light signals in the picosecond and nanosecond range.
Advanced strategies in control systems with Input and Output Constraints
The different techniques described throughout the book are particularly attractive for industrial applications not only in aeronautical or space domains but also in the context of biological systems domain. Such methods are well suited for the development of tools that help engineers to solve analysis and synthesis problems in the context of control systems with input and output constraints
Advanced science and technology for biological decontamination of sites affected by chemical and radiological nuclear agents
This book about Proceedings of the NATO Advanced Study Institute on Advanced Science and Technology for Biological Decontamination of Sites Affected by Chemical and Radiological Nuclear Agents, held in Zhitomir, Ukraine, 17-28 August 2005
Advanced Microsystems for Automotive Applications 2007 ; 3rd ed.
There is a coincidence of the AMAA objectives and those of EPoSS, the European Technology Platform on Smart Systems Integration, contributing intensively to the development of automotive-specific smart systems. You will find a series of the EPoSS items in the programme of the 11th AMAA, which continues to be a unique exchange forum for companies in the automotive value chain. The publication in hand also reflects these issues. It is a cut-out of new technological priorities in the area of microsystems-based smart devices and opens up a mid-term perspective of future smart systems applications in automobiles
Advanced Microsystems for Automotive Applications 2006 ; 2nd ed.
Microsystems in many cases provided the key functions for this progress. Although the issues the event concentrated on didn’t change significantly (safety, powertrain, comfort, etc.), considerable shifts of technological paradigms and approaches can be stated. The future of microsystems will consist of integrated smart systems which are able to diagnose a situation, to describe and to qualify it. They will be able to identify and mutually address each other. They will be predictive and therefore they will be able to decide and help to decide. Smart systems will enable the automobile to interact with the environment, they will perform multiple tasks and assist a variety of activities. Smart systems will be highly reliable, often networked and energy autonomous.
Advanced Microsystems for Automotive Applications 2005 ; 1st ed.
The book accompanying the event has demonstrated to be an efficient instrument for the diffusion of new concepts and technology results. The present volume including the papers of the AMAA 2005 gives an overview on the state-of-the-art and outlines imminent and mid-term R&D perspectives. The 2005 publication reflects – as in the past – the current state of discussions within industry. More than the previous publications, the AMAA 2005 "goes back" to the technological requirements and indispensable developments for fulfilling the market needs. The large part of contributions dealing with sensors as well as "sensor technologies and data fusion" is exemplary for this tendency.
Advanced Fuzzy Logic Technologies in Industrial Applications
Addresses the problem by introducing a dynamic, on-line fuzzy inference system. In this system membership functions and control rules are not determined until the system is applied and each output of its lookup table is calculated based on current inputs. The tuning process is a major focus in this volume because it is the most difficult stage in fuzzy control application. Using new methods such as µ-law technique, histogram equalization and the Bezier-based method, all detailed here, the tuning process can be significantly simplified and control performance improved. The other great strength of this book lies in the range and contemporaneity of its applications and examples which include: laser tracking and control; robot calibration; image processing and pattern recognition; medical engineering; audio systems; autonomous underwater vehicles and data mining.
Advanced Environmental Monitoring
This book deals with recent developments and applications of environmental monitoring technologies, with emphasis on optical and biological methods that are rapidly progressing through the integration of emerging technologies from various disciplines.
Advanced BDD Optimization
This book gives a modern presentation of the established as well as of recent concepts. Latest results in BDD optimization are given, c- ering di?erent aspects of paths in BDDs and the use of e?cient lower bounds during optimization. The presented algorithms include Branch ? and Bound and the generic A -algorithm as e?cient techniques to - plore large search spaces. ? The A -algorithm originates from Arti?cial Intelligence (AI), and the EDA community has been unaware of this concept for a long time. Re- ? cently, the A -algorithm has been introduced as a new paradigm to explore design spaces in VLSI CAD. Besides AI search techniques, the book also discusses the relation to another ?eld of activity bordered to VLSI CAD and BDD optimization: the clausal representation as a SAT problem.
Advanced Algebra : Along with a companion Vol. Basic Algebra
Basic Algebra and Advanced Algebra systematically develop concepts and tools in algebra that are vital to every mathematician, whether pure or applied, aspiring or established. Together, the two books give the reader a global view of algebra and its role in mathematics as a whole.
