تحسين النتائح
ترتيب حسب
من
الى
الصفحة 41
الصفحة 41
Advances of Computational Intelligence in Industrial Systems
Advances of Computational Intelligence in Industrial Systems reports the exploration of CI frontiers with an emphasis on a broad spectrum of real-world applications. Section I – Theory and Foundation presents some of the latest developments in CI.
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 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 solid state physics ; Vol. 47
The present volume 47 of the Advances in Solid State Physics contains the written version of a large number of the invited talks of the 2007 Spring Meeting of the Arbeitskreis Festkörperphysik which was held in Regensburg, Germany, from March 26 to 30, 2007 in conjunction with the 71st Annual Meeting of the Deutsche Physikalische Gesellschaft.It gives an overview of the present status of solid state physics where low-dimensional systems such as quantum dots and quantum wires are dominating. The importance of magnetic materials is reflected by the large number of contributions in the part dealing with ferromagnetic films and particles. One of the most exciting achievements of the last couple of years is the successful application of electrical contacts to and the investigation of single layers of graphene.
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 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 Robot Kinematics : Analysis and Design
This book presents the most recent research advances in the theory, design, control and application of robot systems, which are intended for a variety of purposes such as manipulation, manufacturing, automation, surgery, locomotion and biomechanics.
Advances in Ranking and Selection, Multiple Comparisons, and Reliability: Methodology and Applications
S. Panchapakesan has made significant contributions to ranking and selection and has published in many other areas of statistics, including order statistics, reliability theory, stochastic inequalities, and inference. Written in his honor, the twenty invited articles in this volume reflect recent advances in these fields and form a tribute to Panchapakesan’s influence and impact on these areas. Thematically organized, the chapters cover a broad range of topics from: Inference / Ranking and Selection / Multiple Comparisons and Tests / Agreement Assessment / Reliability / Biostatistics
Advances in Probabilistic Graphical Models
This carefully edited book brings together in one volume some of the most important topics of current research in probabilistic graphical modelling, learning from data and probabilistic inference. This includes topics such as the characterisation of conditional independence, the sensitivity of the underlying probability distribution of a Bayesian network to variation in its parameters, the learning of graphical models with latent variables and extensions to the influence diagram formalism. In addition, attention is given to important application fields of probabilistic graphical models, such as the control of vehicles, bioinformatics and medicine.
Advances in Natural Multimodal Dialogue Systems
The chapters in this book jointly contribute to what we shall call the fieldof natural and multimodal interactive systems engineering. This is not yet awell-established field of research and commercial development but, rather, anemerging one in all respects. It brings together, in a process that, arguably, wasbound to happen, contributors from many different, and often far more estab-lished, fields of research and industrial development. To mention but a few,these include speech technology, computer graphics and computer vision. Thefield’s rapid expansion seems driven by a shared vision of the potential of newinteractive modalities of information representation and exchange for radicallytransforming the world of computer systems, networks, devices, applications,etc.
Advances in Multiresolution for Geometric Modelling
Multiresolution methods in geometric modelling are concerned with the generation, representation, and manipulation of geometric objects at several levels of detail. Applications include fast visualization and rendering as well as coding, compression, and digital transmission of 3D geometric objects.The book contains seven survey papers, providing a detailed overview of recent advances in the various fields within multiresolution modelling, and sixteen additional research papers. Each of the seven parts of the book starts with a survey paper, followed by the associated research papers in that area.
Advances in Mobile and Wireless Communications : Views of the 16th IST Mobile and Wireless Communication Summit
This Volume presents the most exciting results of the Mobile and Wireless Communication Summit, held 2007 in Budapest. It contains worked out contributions from all areas of wireless communications, physical layer, access methods, techniques and technologies, networks, applications and systems.
Advances in Meshfree Techniques
In recent years meshless/meshfree methods have gained a considerable attention in engineering and applied mathematics. The variety of problems that are now being addressed by these techniques continues to expand and the quality of the results obtained demonstrates the effectiveness of many of the methods currently available. The book presents a significant sample of the state of the art in the field with methods that have reached a certain level of maturity while also addressing many open issues.The book collects extended original contributions presented at the first ECCOMAS Conference on Meshless Methods held in 2005 in Lisbon. The list of contributors reveals a mix of highly distinguished authors as well as quite young but very active and promising researchers, thus giving the reader an interesting and updated view of different mesh reduction methods and its range of applications. The material presented is appropriate for researchers, engineers, physicists, applied mathematicians and graduate students interested in this active research area.
Advances in Mathematical and Statistical Modeling
Enrique Castillo is a leading figure in several mathematical, statistical, and engineering fields, having contributed seminal work in such areas as statistical modeling, extreme value analysis, multivariate distribution theory, Bayesian networks, neural networks, functional equations, artificial intelligence, linear algebra, optimization methods, numerical methods, reliability engineering, as well as sensitivity analysis and its applications. Organized to honor Castillo's significant contributions, this volume is an outgrowth of the International Conference on Mathematical and Statistical Modeling and covers recent advances in the field. Also presented are applications to safety, reliability and life-testing, financial modeling, quality control, general inference, as well as neural networks and computational techniques.
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 Human-Robot Interaction
The book addresses key issues of human-robot interaction concerned with perception, modelling, control, planning and cognition, covering a wide spectrum of applications. This includes interaction and communication with robots in manufacturing environments and the collaboration and co-existence with assistive robots in domestic environments. Among the presented examples are a robotic bartender, a new programming paradigm for a cleaning robot, or an approach to interactive teaching of a robot assistant in manufacturing environment. This carefully edited book reports on contributions from leading German academic institutions and industrial companies brought together within MORPHA, a 4 year project on interaction and communication between humans and anthropomorphic robot assistants
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.
