الصفحة 1
الصفحة 1
Networked Control Systems: Theory and Applications
Networked Control Systems presents the most recent results in stability and robustness analysis as well as new developments related to networked fuzzy and optimal control. Many of the chapters contain details of case-studies, experimental, simulation and/or other application-related work showing how the theories put forward can be implemented in real systems.
Network and Parallel Computing ; IFIP International Conference, NPC 2008, Shanghai, China, October 18-20, 2008. Proceedings
This book constitutes the refereed proceedings of the IFIP International Conference on Network and Parallel Computing, NPC 2008, held in Shanghai, China in October 2008.The 32 revised full papers presented were carefully selected from over 140 submissions. The papers are organized in topical sections on network technologies; network applications; network and parallel architectures; parallel and distributed software.
Multicriteria Scheduling : Theory, Models and Algorithms
Scheduling and multicriteria optimisation theory have been subject, separately, to numerous studies. Since the last twenty years, multicriteria scheduling problems have been subject to a growing interest. However, a gap between multicriteria scheduling approaches and multicriteria optimisation field exits. This book is an attempt to collect the elementary of multicriteria optimisation theory and the basic models and algorithms of multicriteria scheduling. It is composed of numerous illustrations, algorithms and examples which may help the reader in understanding the presented concepts. This book covers general concepts such as Pareto optimality, complexity theory, and general method for multicriteria optimisation, as well as dedicated scheduling problems and algorithms: just-in-time scheduling, flexibility and robustness, single machine problems, parallel machine problems, shop problems, etc.
Multi-Agent and Multi-Agent-Based Simulation ; Joint Workshop MABS 2004
The aim of the workshop was to provide a forum for work in both appli- tions of multi-agent-based simulation and the technical challenges of simulating large multi-agent systems (MAS). There has been considerable recent progress in modelling and analyzing multi-agent systems, and in techniques that apply MAS models to complex real-world systems such as social systems and organi- tions. Simulation is an increasingly important strand that weaves together this work. In high-risk, high-cost situations, simulations provide critical cost/benefit leverage, and make possible explorations that cannot be carried out in situ: – Multi-agent approaches to simulating complex systems are keytools in interdisciplinary studies of social systems. Agent-based social simulation (ABSS) research simulates and synthesizes social behavior in order to understand real social systems with properties of self-organization, scalability, robustness, and openness. – In the MAS community, simulation has been applied to awide range of MAS research and design problems, from models of complex individual agents - ploying sophisticated internal mechanisms to models of large-scale societies of relatively simple agents which focus more on the interactions between agents.
Model-based Fault Diagnosis Techniques : Design Schemes, Algorithms, and Tools
The objective of this book is to introduce basic model-based FDI schemes, advanced analysis and design algorithms and the needed mathematical and control theory tools at a level for graduate students and researchers as well as for engineers.
Medical Image Computing and Computer-Assisted Intervention – MICCAI 2005 ; 8th International Conference, Palm Springs, CA, USA, October 26-29, 2005, Proceedings, Part I
This paper presents a method for classification of medical images, using machine learning and deformation-based morphometry. A morphological representation of the anatomy of interest is first obtained using highdimensional template warping, from which regions that display strong correlations between morphological measurements and the classification (clinical) variable are extracted using a watershed segmentation, taking into account the regional smoothness of the correlation map which is estimated by a crossvalidation strategy in order to achieve robustness to outliers. A Support Vector Machine-Recursive Feature Elimination (SVM-RFE) technique is then used to rank computed features from the extracted regions, according to their effect on the leave-one-out error bound. Finally, SVM classification is applied using the best set of features, and it is tested using leave-one-out. The results from a group of 61 brain images of female normal controls and schizophrenia patients demonstrate not only high classification accuracy (91.8%) and steep ROC curves, but also exceptional stability with respect to the number of selected features and the SVM kernel size
Mathematical Systems Theory I : Modelling, State Space Analysis, Stability and Robustness
This book presents the mathematical foundations of systems theory in a self-contained, comprehensive, detailed and mathematically rigorous way. This volume is devoted to the analysis of dynamical systems with emphasis on problems of uncertainty, whereas the second volume will be devoted to control. It combines features of a detailed introductory textbook with that of a reference source. The book contains many examples and figures illustrating the text which help to bring out the intuitive ideas behind the mathematical constructions.
Health technology assessments by the National Institute for Health and Clinical Excellence : A qualitative study
This volume dissects the robustness of the agency’s technology appraisal processes as NICE evaluates innovative methods for diagnosis and intervention. Given the unique features of attention-deficit/hyperactivity disorder (ADHD)—starting with it being diagnosed mainly in children and adolescents, its high comorbidity with other psychiatric conditions, and its considerable economic impact—the disorder is a perfect focal point for discussion.
Formal Modeling and Analysis of Timed Systems ; Vol.4202 ; 4th International Conference, FORMATS 2006, Paris, France, September 25-27, 2006, Proceedings
The aim of FORMATS is to promote the study of fundamental and practical aspects of timed systems, and to bring together researchers from di?erent d- ciplines that share interests in modelling and analysis of timed systems. In this volume, there are articles on: – Foundations and Semantics: contributions to the theoretical foundations of timed systems and timed formal languages as well as comparison between di?erentmodelsusedbydi?erentcommunities(timedautomata,timedPetri nets, timed MSCs, hybrid automata, timed process algebra, timed temporal logics, timed abstract state machines, as well as probabilistic models). – Methods and Tools: techniques, algorithms, data structures, and software toolsforanalyzingtimedsystemsandresolvingtemporalconstraints(mod- checking, simulation, robustness analysis, scheduling, etc).
Fault-Tolerance Techniques for SRAM-Based FPGAs
This book discusses fault-tolerance techniques for SRAM-based Field Programmable Gate Arrays (FPGAs). It starts by showing the model of the problem and the upset effects in the programmable architecture. In the sequence, it shows the main fault tolerance techniques used nowadays to protect integrated circuits against errors. A large set of methods for designing fault tolerance systems in SRAM-based FPGAs is described. Some presented techniques are based on developing a new fault-tolerant architecture with new robustness FPGA elements. Other techniques are based on protecting the high-level hardware description before the synthesis in the FPGA.
Evolvable Machines : Theory & Practice
Methods for the artificial evolution of active components, such as programs and hardware, are rapidly developing branches of adaptive computation and adaptive engineering. "Evolvable Machines" reports innovative and significant progress in automatic and evolutionary methodology applied to machine design. This book presents theoretical as well as practical chapters concentrating on Evolvable Robots, Evolvable Hardware Synthesis, as well as Evolvable Design.
European Robotics Symposium 2008
These monothematic proceedings represent a collection of papers presented at the 2nd European Robotics Symposium, held in Prague, March 26-27, 2008. The goal of the given selection of papers is to provide a comprehensive overview of the recent status in robotics research world-wide in the key areas of cognition, autonomy, adaptation and robustness in robotics.
Emergent Properties in Natural and Artificial Dynamical Systems
An important part of the science of complexity is the study of emergent properties arising through dynamical processes in various types of natural and artificial systems. This is the aim of this book, which is the outcome of a discussion meeting within the first European conference on complex systems. It presents multidisciplinary approaches for getting representations of complex systems and using different methods to extract emergent structures. This carefully edited book studies emergent features such as self organization, synchronization, opening on stability and robustness properties. Invariant techniques are presented which can express global emergent properties in dynamical and in temporal evolution systems. This book demonstrates how artificial systems such as a distributed platform can be used for simulation used to search emergent placement during simulation execution.
Embedded systems design : The ARTIST roadmap for research and development
Embedded systems now include a very large proportion of the advanced products designed in the world, spanning transport (avionics, space, automotive, trains), electrical and electronic appliances (cameras, toys, televisions, home appliances, audio systems, and cellular phones), process control (energy production and distribution, factory automation and optimization), telecommunications (satellites, mobile phones and telecom networks), and security (e-commerce, smart cards), etc. The extensive and increasing use of embedded systems and their integration in everyday products marks a significant evolution in information science and technology. We expect that within a short timeframe embedded systems will be a part of nearly all equipment designed or manufactured in Europe, the USA, and Asia. There is now a strategic shift in emphasis for embedded systems designers: from simply achieving feasibility, to achieving optimality. Optimal design of embedded systems means targeting a given market segment at the lowest cost and delivery time possible. Optimality implies seamless integration with the physical and electronic environment while respecting real-world constraints such as hard deadlines, reliability, availability, robustness, power consumption, and cost. In our view, optimality can only be achieved through the emergence of embedded systems as a discipline in its own right.
Dynamics beyond uniform hyperbolicity : A global geometric and probabilistic perspective
In broad terms, the goal of dynamics is to describe the long-term evolution of systems for which an ""infinitesimal"" evolution rule, such as a differential equation or the iteration of a map, is known.This book aims to put such recent developments in a unified perspective, and to point out open problems and likely directions for further progress. It is aimed willing to get a quick, yet broad, view of this part of dynamics. Main ideas, methods, and results are discussed, at variable degrees of depth, with references to the original works for details and complementary information.
Digital watermarking ; Vol. 3304 ; 3rd International Workshop, IWDW 2004, Seoul, Korea, October 30 - November 1, 2004, revised selected papers
We are happy to present to you the proceedings of the 3rd International Workshop on Digital Watermarking, IWDW 2004. Since its modern reappearance in the academic community in the early 1990s, great progress has been made in understanding both the capabilities and the weaknesses of digital watermarking. On the theoretical side, we all are now well aware of the fact that digital watermarking is best viewed as a form of communication using side information. In the case of digital watermarking the side information in question is the document to be watermarked. This insight has led to a better understanding of the limits of the capacity and robustness of digital watermarking algorithms. It has also led to new and improved watermarking algorithms, both in terms of capacity and imperceptibility. Similarly, the role of human perception, and models thereof, has been greatly enhanced in the study and design of digital watermarking algorithms and systems. On the practical side, applications of watermarking are not yet abundant. The original euphoria on the role of digital watermarking in copy protection and copyright protection has not resulted in widespread use in practical systems. With hindsight, a number of reasons can be given for this lack of practical applications.
Demystifying Internet of Things Security : Successful IoT Device/Edge and Platform Security Deployment
The IoT presents unique challenges in implementing security and Intel has both CPU and Isolated Security Engine capabilities to simplify it. This book explores the challenges to secure these devices to make them immune to different threats originating from within and outside the network. The requirements and robustness rules to protect the assets vary greatly and there is no single blanket solution approach to implement security.
Deep neural networks and data for automated driving : robustness, uncertainty quantification, and insights towards safety
Environment perception for highly automated driving heavily employs deep neural networks, facing many challenges. How much data do we need for training and testing? How to use synthetic data to save labeling costs for training? How do we increase robustness and decrease memory usage? For inevitably poor conditions: How do we know that the network is uncertain about its decisions? Can we understand a bit more about what actually happens inside neural networks? This leads to a very practical problem particularly for DNNs employed in automated driving: What are useful validation techniques and how about safety? This book unites the views from both academia and industry, where computer vision and machine learning meet environment perception for highly automated driving. Naturally, aspects of data, robustness, uncertainty quantification, and, last but not least, safety are at the core of it. This book is unique: In its first part, an extended survey of all the relevant aspects is provided. The second part contains the detailed technical elaboration of the various questions mentioned above.
Decision Making for Complex Socio-Technical Systems : Robustness from Lessons Learned in Long-Term Radioactive Waste Governance
The long-term governance of radioactive waste continues to be a major complex and contentious socio-technical issue worldwide. Traditionally, it has been considered as mainly a challenge to scientists and engineers to develop technical "solutions" to specific problems. But increasingly these narrow solutions have been enlarged by wider societal considerations such as ethics, public involvement, control and retrievability – needs that have in the meanwhile been recognised by the nuclear community, at least in a general way. In this book, we analyse motives for a broad discourse as well as suggest prerequisites to launch it. The author attempts to give a novel, empirically based and technically sound treatment of fundamental issues in long-term management and governance. Written to be accessible to a wide selection of the interested public, the study proposes a combination of technical design issues, analysis methods and institutional backup in a dynamic procedure, and with involvement at all levels of political, commercial and social life.
Data Journeys in the Sciences
This groundbreaking, book analyses and compares data practices across several fields through the analysis of specific cases of data journeys. It brings together leading scholars in the philosophy, history and social studies of science to achieve two goals: tracking the travel of data across different spaces, times and domains of research practice; and documenting how such journeys affect the use of data as evidence and the knowledge being produced.
