Marine Navigation and Safety of Sea Transportation
The TransNav 2013 Symposium held at the Gdynia Maritime University, Poland in June 2013 has brought together a wide range of participants from all over the world. The program has offered a variety of contributions, allowing to look at many aspects of the navigational safety from various different points of view. Topics presente
Microsoft(r) Windows Server 2003 Inside Out (Inside Out (Redmond, Wash.))
by William R. Stanek
Recent advancements in technology have led to significant improvements in designing various electronic systems. This provides a wide range of different components that can be utilized across numerous applications. Microcontroller System Design Using PIC18F Processors provides comprehensive discussions on strategies and techniques for optimizing microprocessor-based electronic system development and examines methods for acquiring improved software and hardware skills. Highlighting innovative conc...
Erlang's process-oriented approach has given it a very different runtime environment. As Erlang and tools built on Erlang, like CouchDB, Riak, and EjabberD spread, understanding those underpinnings becomes much more important for people building and maintaining applications. This book will explore Erlang's unique approach to building a virtual machine, demonstrating how to take advantage of its power and tune it to fit your needs.
The objective of this edited book is to share the outcomes from various research domains to develop efficient, adaptive, and intelligent models to handle the challenges related to decision making. It incorporates the advances in machine intelligent techniques such as data streaming, classification, clustering, pattern matching, feature selection, and deep learning in the decision-making process for several diversified applications such as agriculture, character recognition, landslide susceptibil...
Intelligent Data Analysis for Real-Life Applications: Theory and Practice investigates the application of Intelligent Data Analysis (IDA) to these data sets through the design and development of algorithms and techniques to extract knowledge from databases. This pivotal reference explores practical applications of IDA, and it is essential for academic and research libraries as well as students, researchers, and educators in data analysis, application development, and database management.
This book constitutes the refereed proceedings of the International Conference on Embedded and Ubiquitous Computing, EUC 2004, held in Aizu-Wakamatsu City, Japan, in August 2004. The 104 revised full papers presented were carefully reviewed and selected from more than 260 submissions. The papers are organized in topical sections on embedded hardware and software; real-time systems; power-aware computing; hardware/software codesign and systems-on-chip; mobile computing; wireless communication; mu...
Das Buch fuhrt in grundlegende Modelle und Methoden fur die Planung, Steuerung und Uberwachung von Unternehmensprozessen ein. Im Mittelpunkt der Diskussion steht die Analyse von Ablaufen mit dem Ziel der Optimierung. Innerhalb quantitativer Ansatze entwirft der Autor Modelle und stellt verschiedene Methoden zur Problemlosung vor. Er unterscheidet dabei die Entwurfs- und die Realisierungsebene von Prozessen und unterzieht sie einer genauen Betrachtung. Den Rahmen der Ausfuhrungen bilden die Aufga...
Electronic Systems Effectiveness and Life Cycle Costing (NATO ASI Subseries F, #3)
by J. K. Skwirzynski
This volume contains the complete proceedings of a NATO Advanced Study Institute on various aspects of the reliability of electronic and other systems. The aim of the Insti~ute was to bring together specialists in this subject. An important outcome of this Conference, as many of the delegates have pointed out to me, was complementing theoretical concepts and practical applications in both software and hardware. The reader will find papers on the mathematical background, on reliability problems i...
Synchronous Programming of Reactive Systems (The Springer International Series in Engineering and Computer Science, #215)
by Nicolas Halbwachs
This book will attempt to give a first synthesis of recent works con cerning reactive system design. The term "reactive system" has been introduced in order to at'oid the ambiguities often associated with by the term "real-time system," which, although best known and more sugges tive, has been given so many different meanings that it is almost in evitably misunderstood. Industrial process control systems, transporta tion control and supervision systems, signal-processing systems, are ex amp...
Modular System Design and Evaluation (Decision Engineering)
by Mark Sh Levin
This book examines seven key combinatorial engineering frameworks (composite schemes consisting of algorithms and/or interactive procedures) for hierarchical modular (composite) systems. These frameworks are based on combinatorial optimization problems (e.g., knapsack problem, multiple choice problem, assignment problem, morphological clique problem), with the author's version of morphological design approach - Hierarchical Morphological Multicritieria Design (HMMD) - providing a conceptual lens...
Behavioural Types (River Publishers Series in Automation, Control and Robotics)
Behavioural type systems in programming languages support the specification and verification of properties of programs beyond the traditional use of type systems to describe data processing. A major example of such a property is correctness of communication in concurrent and distributed systems, motivated by the importance of structured communication in modern software. Behavioural Types: from Theory to Tools presents programming languages and software tools produced by members of COST Action...
Cyber–physical Systems: Theory, Methodology and Applications (IEEE Press)
by Pedro H. J. Nardelli
CYBER-PHYSICAL SYSTEMS Provides a unique general theory of cyber-physical systems, focusing on how physical, data, and decision processes are articulated as a complex whole Cyber-physical systems (CPS) operate in complex environments systems with integrated physical and computational capabilities. With the ability to interact with humans through variety of modalities, cyber-physical systems are applied across areas such as Internet of Things (IoT)-enabled devices, smart grids, autonomous auto...
Performing fieldwork in healthcare settings is significantly different from fieldwork in other domains and it presents unique challenges to researchers. Whilst results are reported in research papers, the details of how to actually perform these fieldwork studies are not. This is the first of two volumes designed as a collective graduate guidebook for conducting fieldwork in healthcare. This volume brings together the experiences of established researchers who do fieldwork in clinical and non-cl...
MODERN SYSTEMS ANALY & DESIGN & CASEBK PKG
by Jeffrey Slater, Joey George, and Joseph S. Valacich
Electronic System Level Design: an Open-Source Approach is based on the successful experience acquired with the conception of the ADL ArchC, the development of its underlying tool suite, and the building of its platform modeling infrastructure. With more than 10000 accesses per year since 2004, the dissemination of ArchC models reached not only students in quest of proper infrastructure to develop their research projects but also some companies in need of processor models to build virtual platfo...
Soft Errors in Modern Electronic Systems (Frontiers in Electronic Testing, #41)
This book provides a comprehensive presentation of the most advanced research results and technological developments enabling understanding, qualifying and mitigating the soft errors effect in advanced electronics, including the fundamental physical mechanisms of radiation induced soft errors, the various steps that lead to a system failure, the modelling and simulation of soft error at various levels (including physical, electrical, netlist, event driven, RTL, and system level modelling and sim...
Unified Low-Power Design Flow for Data-Dominated Multi-Media and Telecom Applications
by Francky Catthoor
Computational Trust Models and Machine Learning provides a detailed introduction to the concept of trust and its application in various computer science areas, including multi-agent systems, online social networks, and communication systems. Identifying trust modeling challenges that cannot be addressed by traditional approaches, this book:Explains
Parallel Computing Technologies (Theoretical Computer Science and General Issues, #10421) (Lecture Notes in Computer Science, #6873)
This book constitutes the proceedings of the Third International Conference on Parallel Computing Technologies, PaCT '95, held in St. Petersburg, Russia in September 1995. The volume presents 45 revised full papers selected from a total of 98 submissions, including six invited presentations. The proceedings is organized in parts on theory, software, hardware and architecture, and applications to large-scale problems. Parallel processing technologies are shown to be the touchstone of parallel the...
Expert systems allow scientists to access, manage, and apply data and specialized knowledge from various disciplines to their own research. Expert Systems in Chemistry Research explains the general scientific basis and computational principles behind expert systems and demonstrates how they can improve the efficiency of scientific workflows