الصفحة 201
الصفحة 201
Advances in visual computing ; Vol. 3804 ; 1st International symposium, ISVC 2005, Lake Tahoe, NV, USA, December 5-7, 2005, Proceedings
Constitutes the refereed proceedings of the introduce the papers of the proceedings of the for the 2005 Int- national Symposium on Visual Computing (ISVC). ISVC provides a common umbrella for the four main areas of visual computing: vision, graphics, visu- ization, and virtual reality.
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 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 sustainable materials and technology
Discusses numerous relevant areas and innovative technologies, such as key construction materials and production, materials with lower energy impact, production processes encouraging less use of ever-depleting natural raw materials, minimization of the generation of greenhouse gases, development of new, environmentally friendly materials and agents, characterization of the properties of construction materials, and methodologies applied in the building of structures.
Advances in Structural Engineering - Optimization : Emerging Trends in Structural Optimization
An up-to-date source for computation applications of optimization, prediction via artificial intelligence methods, and evaluation of metaheuristic algorithm with different structural applications. As the current interest of researcher, metaheuristic algorithms are a high interest topic area since advance and non-optimized problems via mathematical methods are challenged by the development of advance and modified algorithms. The artificial intelligence (AI) area is also important in predicting optimum results by skipping long iterative optimization processes. The machine learning used in generation of AI models also needs optimum results of metaheuristic-based approaches.
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 ; 10th International symposium, SSTD 2007, Boston, MA, USA, July 16.-18, 2007, Proceedings
The book is classified in numerous categories, each corresponding to a conference session. These include continuous monitoring; indexing and query processing; and mining.
Advances in Software Engineering ; Lipari Summer School 2007, Lipari Island, Italy, July 8-21, 2007, Revised Tutorial Lectures
This tutorial presents a collection of research papers on themes discussed at the Lipari Summer School on Advances in Software Engineering, held on Lipari Island, Italy, in July 2007.
Advances in Smaltalk ; 14th International Smaltalk Conference, ISC 2006, Prague, Czech Republic, September 4-8, 2006, Revised Selected Papers
This book constitutes the thoroughly refereed post-proceedings of the 14th International Smalltalk Conference.
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 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 Rule Interchange and Applications ; International Symposium, RuleML 2007, Orlando, Florida, October 25-26, 2007, Proceedings
The goal of RuleM is to develop an open, general, XML-based family of rule languages as intermediaries between various ‘specialized’ rule vendors, applications, industrial and academic research groups, as well as standardization efforts such as OMG’s PRR or W3C’s RIF. A general advantage of using declarative rules is that they can be easily represented in a machine-readable and platform-independent manner, often governed by an XML schema. This fits well into today’s distributed, heterogeneous Web-based system environments. Rules represented in standardized Web formats can be discovered, interchanged and invoked at runtime within and across Web systems, and can be interpreted and executed on any platform.
Advances in Robot Kinematics : Mechanisms and Motion
This book presents 53 independently reviewed papers which embody the latest advances in the theory, design, control and application of robotic systems, which are intended for a variety of purposes such as manipulation, manufacturing, automation, surgery, locomotion and biomechanics.
Advances in public economics : Utility, choice and welfare
This Festschrift in honor ofChristian Seidl combines a group of prominent authors who are experts in areas like public economics, welfare economic, decision theory, and experimental economics in a unique volume. He has dedicated most of his research to utility and decision theory, social choice theory, welfare economics, and public economics.
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 proof-theoretic semantics
This volume is the first ever collection devoted to the field of proof-theoretic semantics. Contributions address topics including the systematics of introduction and elimination rules and proofs of normalization, the categorial characterization of deductions, the relation between Heyting's and Gentzen's approaches to meaning, knowability paradoxes, proof-theoretic foundations of set theory, Dummett's justification of logical laws, Kreisel's theory of constructions, paradoxical reasoning, and the defence of model theory.
