Søgning på underkategorier- og emner:
In this monograph we introduce and examine four new temporal logic formalisms that can be used as specification languages for the automated verification of the reliability of hardware and software designs with respect to a desired behavior.
This book constitutes the refereed proceedings of the 8th International Conference on Applications and Techniques in Information Security, ATIS 2017, held in Auckland, New Zealand, in July 2017.
It helps students succeed in mechanics courses by showing them how to apply the fundamental knowledge they gained in... Læs mere
This book describes grouping detection and initiation; At the same time, it integrates cognition into the application. Group-target Tracking is designed as a book for... Læs mere
This book not only provides a comprehensive introduction to neural-based PCA methods in control science, but also presents many novel PCA algorithms and their extensions and generalizations, e.g., dual purpose, coupled PCA, GED, neural based SVD algorithms, etc.
This book gathers high-quality papers presented at 2nd International Conference on Technology Innovation and Data Sciences (ICTIDS 2021), organized by Lincoln University, Malaysia from 19 – 20 February 2021.
This book is the proceedings of Third International Conference on Computational Science, Engineering and Information Technology (CCSEIT-2013) that was held in Konya, Turkey, on June 7-9.
This book constitutes the refereed contest reports of the 1st International Workshop, VAAM 2014, held in Stockholm, Sweden, in August 2014.