Page 8
Page 8
Formal Methods and Testing : An Outcome of the FORTEST Network, Revised Selected Papers
This book constitutes the thoroughly refereed and peer-reviewed outcome of the Formal Methods and Testing (FORTEST) network - formed as a network established under UK EPSRC funding that investigated the relationships between formal (and semi-formal) methods and software testing - now being a subject group of two BCS Special Interest Groups: Formal Aspects of Computing Science (BCS FACS) and Special Interest Group in Software Testing (BCS SIGIST).
Formal Approaches to Agent-Based Systems ; 3rd International Workshop, FAABS 2004, Greenbelt, MD, April 26-27, 2004, Revised Selected Papers
The 3rd Workshop on Formal Approaches to Agent-Based Systems (FAABS-III) was held at the Greenbelt Marriott Hotel (near NASA Goddard Space Flight Center) in April 2004 in conjunction with the IEEE Computer Society. The first FAABS workshop was help in April 2000 and the second in October 2002. Interest in agent-based systems continues to grow and this is seen in the wide range of conferences and journals that are addressing the research in this area as well as the prototype and developmental systems that are coming into use. Our third workshop, FAABS-III, was held in April, 2004. This volume contains the revised papers and posters presented at that workshop. The Organizing Committee was fortunate in having significant support in the planning and organization of these events, and were privileged to have wor- renowned keynote speakers Prof. J Moore (FAABS-I), Prof. Sir Roger Penrose (FAABS-II), and Prof. John McCarthy (FAABS-III), who spoke on the topic of se- aware computing systems, auguring perhaps a greater interest in autonomic computing as part of future FAABS events. We are grateful to all who attended the workshop, presented papers or posters, and participated in panel sessions and both formal and informal discussions to make the workshop a great success. Our thanks go to the NASA Goddard Space Flight Center, Codes 588 and 581 (Software Engineering Laboratory) for their financial support and to the IEEE Computer Society (Technical Committee on Complexity in Computing) for their sponsorship and organizational assistance.
Flexitranstore ; Special session in the 21st International symposium on high voltage engineering (ISH 2019)
This book comprises 10 high-level papers on research and innovation within the Flexitranstore Project that were presented at the FLEXITRANSTORE special session organized as part of the 21st International Symposium on High Voltage Engineering.
First course on fuzzy theory and applications
This basic textbook gives an easily accessible introduction to Fuzzy theory and its applications. It provides basic and concrete concepts of the field in a self-contained, condensed and understandable style. This "First Course on Fuzzy Theory and Applications" includes numerous examples, descriptive illustrations and figures of the basic concepts, as well as exercises at the end of each chapter. The author has long time experience in teaching on fuzzy theory and its applications and continuously developed and summarized his didactic lecture notes into this book. This book can be used in introductory graduate and undergraduate courses in Fuzziness and Soft Computing and is recommendable to students, scientists, engineers, or professionals in the field for self-study.
Fire-fighter robot
Firefighting is an important but dangerous career that can potentially cause the loss of life, property damage and permanent disability to the victim. Robots are designed to find a fire, before it rages out of control, could one day work with fire fighters greatly reducing the risk of injury to victims. In this report we will focus on each phase of the project one by one and demonstrate them.
Exploring Resilience : A Scientific Journey from Practice to Theory
Resilience has become an important topic on the safety research agenda and in organizational practice. Most empirical work on resilience has been descriptive, identifying characteristics of work and organizing activity which allow organizations to cope with unexpected situations. Fewer studies have developed testable models and theories that can be used to support interventions aiming to increase resilience and improve safety. In addition, the absent integration of different system levels from individuals, teams, organizations, regulatory bodies, and policy level in theory and practice imply that mechanisms through which resilience is linked across complex systems are not yet well understood. Scientific efforts have been made to develop constructs and models that present relationships; however, these cannot be characterized as sufficient for theory building. There is a need for taking a broader look at resilience practices as a foundation for developing a theoretical framework that can help improve safety in complex systems.
Explicit Stability Conditions for Continuous Systems : A Functional Analytic Approach
Explicit Stability Conditions for Continuous Systems deals with non-autonomous linear and nonlinear continuous finite dimensional systems. Explicit conditions for the asymptotic, absolute, input-to-state and orbital stabilities are discussed. This monograph provides new tools for specialists in control system theory and stability theory of ordinary differential equations, with a special emphasis on the Aizerman problem. A systematic exposition of the approach to stability analysis based on estimates for matrix-valued functions is suggested and various classes of systems are investigated from a unified viewpoint.
Explainable artificial intelligence in troke from the clinical, rehabilitation and nursing perspectives
As we know, strokes are one of the world's leading causes of death, and the cruel aspect of a stroke is that it leaves people with severe functional disability and/or cognitive impairment. Strokes have a significant impact on economies worldwide, as it is estimated that about 10% of the male population and 8% of the female population are affected by them. Such people need personal help in their everyday life and must be materially supported by social services. With the advancement of medicine, artificial intelligence, and new technologies have been developing rapidly and are gradually applied in diseases of the nervous system, increasingly helping diagnosis, treatment, rehabilitation, and prognosis of disease.
Expert Spring MVC and Web Flow
Expert Spring MVC and Web Flow provides in-depth coverage of Spring MVC and Spring Web Flow, two highly customizable and powerful web frameworks brought to you by the developers and community of the Spring Framework. Spring MVC is a modern web application framework built upon the Spring Framework, and Spring Web Flow is a new project that compliments Spring MVC for building reusable web controller modules that encapsulate rich page navigation rules. Along with detailed analysis of the code and functionality, plus the first-published coverage of Spring Web Flow, this book includes numerous tips and tricks to help you get the most out of Spring MVC, Spring Web Flow, and web development in general.
Expert Oracle
Thomas Kyte has a simple philosophy: You can treat Oracle as a black box and shove data inside of it, or you can learn how Oracle works and exploit it as a powerful computing environment. If you choose the latter, you will see there are few information management problems you cannot solve quickly and elegantly. Kyte has selected the most important features and techniques to discuss in Expert One-on-One Oracle, which he teaches in a proof-by-example manner. He discusses available features, implementing software using these features, and avoiding potential pitfalls.
Expert .NET Delivery Using NAnt and CruiseControl.NET
This book is a guide to the implementation of good processes in a .NET environment. Author Marc Holmes focuses on actual implementation, and details patterns and anti-patterns to watch out for. He also provides a practical and in-depth look at NAnt and CruiseControl.NET, and solutions to common problem scenarios.
Experimental Research in Evolutionary Computation : The New Experimentalism
This book introduces the new experimentalism in evolutionary computation, providing tools to understand algorithms and programs and their interaction with optimization problems. The book develops and applies statistical techniques to analyze and compare modern search heuristics such as evolutionary algorithms and particle swarm optimization. Treating optimization runs as experiments, the author offers methods for solving complex real-world problems that involve optimization via simulation, and he describes successful applications in engineering and industrial control projects.
E-Voting and Identity ; 1st International Conference, VOTE-ID 2007, Bochum, Germany, October 4-5, 2007, Revised Selected Papers
Voting and identity have a very delicate relationship. Only a few processes - pendso much on an identity management respecting the fine line between reliable identification and reliable non-identifiability each at its part during the process. And only a few processes may change their outer appearance so much with the advent of new IT as voting and identity management do. So it was no surprise in FIDIS, the interdisciplinary Network of Excellence working on the Future of Identity in the Information Society
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.
Event-Triggered and Time-Triggered Control Paradigms
Event-Triggered and Time-Triggered Control Paradigms presents a valuable survey about existing architectures for safety-critical applications and discusses the issues that must be considered when moving from a federated to an integrated architecture. The book focuses on one key topic--the amalgamation of the event-triggered and the time-triggered control paradigm into a coherent integrated architecture. The architecture provides for the integration of independent distributed application subsystems by introducing multi-criticality nodes and virtual networks of known temporal properties.
Enterprise ontology : Theory and methodology
Such a theory and a matching methodology, which has passed the test of practical experience, constitute the contents of this book. The enterprise ontology, as developed by Dietz, is the starting point for profoundly understanding the organization of an enterprise and subsequently for analyzing, (re)designing, and (re)engineering it. The approach covers numerous issues in an integrated way: business processes, in- and outsourcing, information systems, management control, staffing etc.
Enterprise Information Systems VI
This book contains the best papers of the Sixth International Conference on Enterprise Information Systems (ICEIS 2004), held in Porto (Portugal) and organized by INSTICC (Institute for Systems and Technologies of Information, Communication and Control) in collaboration with PORTUCALENSE UNIVERSITY, who hosted the event. Following the route started in 1999, ICEIS has become a major point of contact between research scientists, engineers and practitioners on the area of business applications of information systems. This conference has received an increased interest every year, from especially from the international academic community, and it is now one of the world largest conferences in its area. This year, five simultaneous tracks were held, covering different aspects related to enterprise computing, including: “Databases and Information Systems Integration”,
Enhanced Methods in Computer Security, Biometric and Artificial Intelligence Systems
"Methods of Artificial Intelligence and Intelligent Agents" contains 13 contributions analyzing such areas of AI as fuzzy set theory, predicate logic, neural networks, clustering, data mining and others. It also presents applications of AI as possible solutions for problems like firm bankruptcy, soil erosion, flight control and others. "Information Technology Security" covers three important areas of security engineering in information systems: software security, public key infrastructure and the design of new cryptographic protocols and algorithms. "Biometric Systems" comprises 11 contributions dealing with face picture analysis and recognition systems. This chapter focuses on known methods of biometric problem solution as well as the design of new models.
Engineering self-organising systems Vol. 3910 ; 3rd International Workshop, ESOA 2005, Utrecht, The Netherlands, July 25, 2005, Revised Selected Papers
This book contains recent work from a broad range of areas with the common theme of utilising self-organisation productively. As distributed information infrastructures continue to spread (such as the Internet, wireless and mobile systems), new challenges have arisen demanding robust and scalable solutions. In these new challenging environments the - signers and engineers of global applications and services can seldom rely on centralised control or management, high reliability of devices, or secure en- ronments. At the other end of the scale, ad-hoc sensor networks and ubiquitous computing devices are making it possible to embed millions of smart computing agents into the local environment.
Energy Efficient Servers : Blueprints for Data Center Optimization
The book includes a deep examination of different features used in processors, memory, interconnects, I/O devices, and other platform components. It outlines the power and performance impact of these features and the role firmware and software play in initialization and control. Using examples from cloud, HPC, and enterprise environments, the book demonstrates how various power management technologies are utilized across a range of server utilization. It teaches the reader how to monitor, analyze, and optimize their environment to best suit their needs. It shares optimization techniques used by data center administrators and system optimization experts at the world’s most advanced data centers.
