الصفحة 320
الصفحة 320
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 Variable Structure and Sliding Mode Control
Sliding Mode Control is recognized as an efficient tool to design controllers which are robust with respect to uncertainty. The resulting controllers have low sensitivity to plant parameters and perturbations and allow the possibility of decoupling the original plant system into two components of lower dimension. In addition many controllers ensure finite time convergence to the switching surface and can be straightforwardly implemented. However, in addition to this traditional area of exploitation, sliding mode concepts are being increasingly deployed for the design of observers for estimation and identification.
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 UAV detection, classification and tracking
Explores the latest techniques and advancements in unmanned aerial vehicle (UAV) detection, classification, and tracking. As UAV technology continues to evolve and become more accessible, there is a growing need for effective methods to detect, identify, and track these devices in various scenarios. This reprint provides a thorough overview of the state-of-the-art approaches for UAV detection, classification, and tracking, covering both theoretical and practical aspects.The reprint begins by introducing the basics of UAVs and their various applications, followed by a detailed overview of the challenges associated with UAV detection, classification, and tracking. The authors then present the latest techniques and algorithms used in the field, including machine-learning-based approaches, computer vision techniques, and sensor fusion techniques. The reprint also covers the challenges of real-world applications, such as dealing with occlusions, sensor noise, and environmental factors.
Advances in the toxicity of construction and building materials
Presents the potential and toxic effects of building materials on human health, along with tactics on how to minimize exposure. Chapters are divided into four sections covering the toxicity of indoor environments, fire toxicity, radioactive materials, and toxicity from plastics, metals, asbestos, nanoparticles and construction wastes. Key chapters focus on the reduction of chemical emissions in houses with eco-labelled building materials and potential risks posed by indoor pollutants that may include volatile organic compounds (VOC), formaldehyde, semi-volatile organic compounds (SVOC), radon, NOx, asbestos and nanoparticles.
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 Telerobotics
The main purpose of this book is to provide readers with recent advances in the field of Telerobotics. It describes methods, experimental results, applications, and developments, highly relevant for scientists, researchers, and students in Teleoperation. This book is structured in three parts: I. Human System Interfaces, II. Control, and III. Applications. Chapters in part I concentrate on human interface technology which allows a human operator to close the control loop of a remote robot. Topics related to control algorithms - in particular for the case with time delay in the communication network - are the focus in part II, concentrating on bilateral control methods. Part III presents a variety of advanced applications in surgery, space, and other fields relevant to everyday life.
Advances in statistical methods for the health sciences : Applications to cancer and AIDS studies, genome sequence analysis, and survival analysis
This volume, an outgrowth of an "International Conference on Statistical Methods in Health Sciences," covers a wide range of topics pertaining to new statistical methods and novel applications in the health sciences.
Advances in spatial and temporal databases ; 9th International symposium, SSTD 2005, Angra dos Reis, Brazil, August 22-24, 2005, Proceedings
Constitutes the refereed proceedings of the introduce the papers of the proceedings of the 9th - ternational Symposium on Spatial and Temporal Databases – SSTD 2005. This year’s symposium continues the tradition of being the premier forum for the presentation of research results and experience reports on leading edge issues of spatial and temporal database systems, including data models, systems, applications and theory. ll the needs of novel applications and heterogeneous environments and identify new directions for future research and development. aspects of database systems for managing spatial and temporal data and for supporting their applications. A total of 77 papers were submitted this year from several countries. After a thorough review process, the program committee accepted 24 papers covering a variety of topics, including indexing techniques and query processing, mobile environments and moving objects, and spatial and temporal data streams.
Advances in spatial and temporal databases ; 7th International symposium, SSTD 2001, Redondo Beach, CA, USA, July 12-15, 2001 Proceedings
The Seventh International Symposium on Spatial and Temporal Databases (SSTD 2001), held in Redondo Beach, CA, USA, July 12{15, 2001, brought together leading researchers and developers in the area of spatial, temporal, and spatio-temporal databases to discuss the state of the art in spatial and temporal data management and applications, and to understand the challenges and - search directions in the advancing area of data management for moving objects. The symposium served as a forum for disseminating research in spatial and temporal data management, and for maximizing the interchange of knowledge among researchers from the established spatial and temporal database com- nities. The exchange of research ideas and results not only contributes to the academic arena, but also bene ts the user and commercial communities.
Advances in Sensing with Security Applications
The chapters in this volume were presented at the July 2005NATO Advanced Study Institute on Advances in Sensing with Security App- cations. The ASI was divided into three broadly de?ned but interrelated areas: the - creasing need for fast and accurate sensing, the scienti?c underpinnings of the ongoing revolution in sensing, and speci?c sensing algorithms and techniques. The ASI brought together world leaders from academia, government, andindustry,withextensivemultidisciplinarybackgroundsevidencedby theirresearchandparticipationinnumerousworkshopsandconferences.
Advances in semantic media adaptation and personalization
Realizing the growing importance of semantic adaptation and personalization of media, the editors of this book brought together leading researchers and practitioners of the field to discuss the state-of-the-art, and explore emerging exciting developments. This volume comprises extended versions of selected papers presented at the 1st International Workshop on Semantic Media Adaptation and Personalization (SMAP 2006).
Advances in Salivary Diagnostics
Reviews the progress made in salivary diagnostics during the past two decades and identifies the likely direction of future endeavors. After an introductory section describing the histological and anatomical features of the salivary glands and salivary function, salivary collection devices and diagnostic platforms are reviewed.
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 Radiation Oncology in Lung Cancer
This volume is unique in being devoted solely to the radiation oncology of lung cancer, and will be of great value to all who are involved in the diagnosis and treatment of the disease. Both non-small cell and small cell lung cancer are considered in detail. Current state of the art treatment strategies and novel approaches that promise further improvements in outcome are explained and evaluated, with the aid of high-quality illustrations. Treatment-related toxicity is discussed, and further individual chapters focus on topics such as quality of life studies, prognostic factors and pitfalls in the design and analysis of clinical trials.
Advances in radar systems for target detection and tracking
Radar systems can provide the all-weather and all-time detection and tracking of targets of interest, and they have been extensively applied by the remote sensing community, in applications such as geological exploration, disaster forecasting, traffic monitoring, urban planning, environmental sciences, hydrology, littoral zones, oceans, etc. This reprint contains the several advance research studies on radar systems for target detection and tracking. It includes multipath ghost suppression, maneuvering target tracking, target detection, and other topics.
Advances in psoriasis : A multisystemic guide
Provides an up-to-date and highly informative textbook on psoriasis. The understanding of the mechanisms behind the disease and the available treatment options have continued to develop rapidly in recent times, with this vital resource covering the latest in these management options, including targeted T-cell therapy, the use of immunomodulators, systemic therapies, and ultraviolet and laser therapy. In addition, it provides a detailed overview of the pathophysiology, comorbidities, epidemiology and triggers of the disease.
Advances in pharmacokinetics and pharmacodynamics
Provides a concise overview of recent advances in Pharmacokinetics (PK) and Pharmacodynamics (PD). The pharmacokinetics section covers the state of the art in Physiologically Based Pharmacokinetic (PBPK) modeling (Chapter 1) as well as the assessment of food effect on drug absorption using PBPK modeling (Chapter 2). Chapters 3 and 4 describe the recent development of Physiologically Based Finite Time Pharmacokinetic (PBFTPK) models and their applications to pharmacokinetic data. The pharmacodynamics section focuses on PK/PD modeling. Chapter 5 provides an overview of PK/PD modeling and simulation in clinical practice and studies. Chapter 6 deals with the subject/physiology variability issue encountered in PK/PD studies, while Chapter 7 reviews the influence of clinical pharmacology in the modernization of drug development and regulation. This book is an essential reference for pharmaceutical scientists.
Advances in pharma business management and research ; Vol. 1
This book presents a unique collection of practical examples from the field of pharma business management and research. It covers a wide range of topics such as: 'Brexit and its Impact on pharmaceutical Law - Implications for Global Pharma Companies', 'Implementation of Measures and Sustainable Actions to Improve Employee's Engagement', 'Global Medical Clinical and Regulatory Affairs (GMCRA)', and 'A Quality Management System for R&D Project and Portfolio Management in a Pharmaceutical Company'.
Advances in pervasive computing and networking
"Pervasive Computing and Networking aim at providing ubiquitous, ever-present, adaptable, smart, enveloping and immersive environments in which computing components and humans can interact regardless of the location. The combination of an abundance of computational power of the processors and the communication bandwidth provided by the wireless and mobile networking everywhere and all the time makes such environments within the reach of current technology. Yet, to realize the full potential of such environments, many technical and economical challenges needs to be overcome. These challenges and the perspective on the seminal directions of the research in this area were the subject of the Workshop for Pervasive Computing and Networking at Rensselaer Polytechnic Institute, Troy, NY, USA.
