Refine Results
Sort By
From
To
Page 71
Page 71
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 Unmanned Aerial Vehicles : State of the Art and the Road to Autonomy
There has been tremendous emphasis in unmanned aerial vehicles, both of fixed (airplanes) and rotary wing (vertical take off and landing, helicopters) types over the past ten years. Applications span both civilian and military domains, the latter being the most important at this stage. This edited book provides a solid and diversified reference source related to basic, applied research and development on small and miniature unmanned aerial vehicles, both fixed and rotary wing. As such, the book offers background information on the evolution of such vehicles over the years, followed by modeling and control fundamentals that are of paramount importance due to unmanned aerial vehicle model complexity, nonlinearity, coupling, inhirent instability and parameter values uncertainty. Aspects of navigation, including visual-based navigation and target tracking are discussed, followed by applications to attitude estimation on micro unmanned aerial vehicles, autonomous solar unmanned aerial vehicle, biomimetic sensing for autonomous flights in near-earth environments, localization of air-ground wireless sensor networks, decentralized formation tracking, design of an unmanned aerial vehicle for volcanic gas sampling and design of an on-board processing controller for miniature helicopters.
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 Services Innovations
The book documents the state-of-the-art in Services Science. It combines contributions in Service Engineering, Service Management and Service Marketing and helps to develop a roadmap for future R & D activities in these fields. The book is written for researchers in engineering and management.
Advances in Robot Control : From Everyday Physics to Human-Like Movements
This volume provides a unique collection of papers written in honor of the 70th birthday of Suguru Arimoto who has long been recognized as a pioneer in the field of robot control. A variety of his research is reflected in this book, which includes contributions from leading experts in the field, who have also been closely associated with Suguru Arimoto at various stages in his distinguished career. The book is build around two themes: the physics-based robot control for coping with the so-called everyday physics problems on one hand, and the challenge of reproducing beautiful, human-like movements on the other hand. These themes defined much of Arimoto’s research in the field of robot control and are the cornerstones of his perception of human robotics.
Advances in Medical Engineering
In this book, research and development trends of physics, engineering, mathematics and computer sciences in biomedical engineering are presented. Contributions from industry, clinics, universities and research labs with foci on medical imaging (CT, MRT, US, PET, SPECT etc.), medical image processing (segmentation, registration, visualization etc.), computer-assisted surgery (medical robotics, navigation), biomechanics (motion analysis, accident research, computer in sports, ergonomics etc.), biomedical optics (OCT, soft-tissue optics, optical monitoring etc.) and laser medicine (tissue ablation, gas analytics, topometry etc.) give insight to recent engineering, clinical and mathematical studies.
Advances in Mathematical Finance
This volume brings together a collection of chapters by some of the most distinguished researchers and practitioners in the fields of mathematical finance and financial engineering. Presenting state-of-the-art developments in theory and practice.
Advances in Land Remote Sensing : System, Modeling, Inversion and Application
It systematically summarizes the past achievements and identifies the frontier issues as the research agenda for the near future. It covers all aspects of land remote sensing, from sensor systems, physical modeling, inversion algorithms, to various applications. The papers on remote sensing system evaluate the capabilities of different sensor systems for estimating key land surface variables and how they can best be improved and integrated effectively in the future.
Advances in Information Technologies for Electromagnetics
Simple tutorial chapters introduce the reader to cutting edge technologies, such as parallel and distributed computing, object-oriented technologies, grid computing, semantic grids, agent based computing and service-oriented architectures. On such bases, a variety of EM applications is proposed: 1) parallel FDTD codes (both for antenna analysis and for metamaterial applications), 2) grid computing for computational EM (CEM) (with applications to antenna arrays, wireless and remote-sensing systems) 3) mobile agents for parametric CEM modeling 4) complex/hybrid EM software environments (with applications to planar circuits, quasi-optical systems,…) 5) semantic grids for CAE of antennas arrays.
Advances in Fractional Calculus : Theoretical Developments and Applications in Physics and Engineering
The scope of the book is thus to present the state of the art in the study of fractional systems and the application of fractional differentiation.As this volume covers recent applications of fractional calculus, it will be of interest to engineers, scientists, and applied mathematicians.
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 Electronic Testing : Challenges and Methodologies
The book is a comprehensive elaboration on important topics which capture major research and development efforts today. The motivation and inspiration behind this book is to deliver a thorough text that focuses on the evolution of test technology, provides insight about the abiding importance of discussed topics, records today’s state of the art and industrial practices and trends, reveals the challenges for emerging testing methodologies, and envisages the future of this journey. The book consists of eleven edited chapters written by experts in Defect-Oriented Testing, Nanometer Technologies Failures and Testing, Silicon Debug, Delay Testing, High-Speed Test Interfaces, DFT-Oriented Low-Cost Testers, Embedded Cores and System-on-Chip Testing, Memory Testing, Mixed-Signal Testing, RF Testing and Loaded Board Testing.
Advances in Earthquake Engineering for Urban Risk Reduction
It is the vulnerable buildings - liable to cause damage and loss of life - that need immediate attention and urgent appraisal in order to decide if structural rehabilitation and upgrading are feasible. Current economic, efficient and occupant-friendly rehabilitation techniques vary widely and include the application either of precast concrete panels or layers, strips and patches of fiber reinforced polymers (FRP) in strategic locations. The papers in this book, many by renowned authorities in earthquake engineering, chart new and vital directions of research and application in the assessment and rehabilitation of buildings in seismic regions. While several papers discuss the probabilistic prediction and quantification of structural damage, others present approaches related with the in-situ and occupant friendly upgrading of buildings and propose both economical and practical techniques to address the problem.
Advances in Dynamic Games: Applications to Economics, Finance, Optimization, and Stochastic Control
This book focuses on various aspects of dynamic game theory, presenting state-of-the-art research and serving as a guide to the vitality and growth of the field and its applications. The selected chapters, written by experts in their respective disciplines, are an outgrowth of presentations originally given at the 9th International Symposium of Dynamic Games and Applications. Featured throughout are useful tools for researchers and practitioners who use game theory for modeling in many disciplines.
Advances in Dynamic Games : Applications to Economics, Management Science, Engineering, and Environmental Management
This book—an outgrowth of the 10th International Symposium on Dynamic Games—presents current developments of the theory of dynamic games and its applications to various domains, in particular energy-environment economics and management sciences.The volume uses dynamic game models of various sorts to approach and solve several problems pertaining to pursuit-evasion, marketing, finance, climate and environmental economics, resource exploitation, as well as auditing and tax evasions. In addition, it includes some chapters on cooperative games, which are increasingly drawing dynamic approaches to their classical solutions.
Advances in Discrete Tomography and its Applications
Advances in Discrete Tomography and Its Applications is a unified presentation of new methods, algorithms, and select applications that are the foundations of multidimensional image reconstruction by discrete tomographic methods. The self-contained chapters, written by leading mathematicians, engineers, and computer scientists, present cutting-edge research and results in the field.Three main areas are covered: foundations, algorithms, and practical applications. Following an introduction that reports the recent literature of the field, the book explores various mathematical and computational problems of discrete tomography including new applications.
Advances in Design and Specification Languages for SoCs : Selected Contributions from FDL'04
Presents a selection of the articles from the Forum on Specification and Design Languages (FDL'04). The Analog and Mixed-Signal Systems contributions bring some answers to the difficult problem of co-simulating discrete and continuous models of computati
Advances in Design
Advances in Design examines recent advances and innovations in product design paradigms, methods, tools and applications. It presents fifty-two selected papers which were presented at the 14th CIRP International Design Seminar held in May 2004.
Advances in Data Analysis ; Proceedings of the 30th Annual Conference of the Gesellschaft für Klassifikation e.V., Freie Universität Berlin, March 8-10, 2006
Focuses on exploratory data analysis, learning of latent structures in datasets, and unscrambling of knowledge. Coverage details a broad range of methods from multivariate statistics, clustering and classification.
Advances in Computational Intelligence in Transport, Logistics, and Supply Chain Management
Presents a careful selection of relevant applications of CI methods for transport, logistics, and supply chain management problems. The chapters illustrate the current state-of-the-art in the application of CI methods in these fields and should help and inspire researchers and practitioners to apply and develop efficient methods.
