Louise A. Dennis & Michael Fisher 
Verifiable Autonomous Systems [PDF ebook] 
Using Rational Agents to Provide Assurance about Decisions Made by Machines

A current trend in digital design-the integration of the MATLAB® components Simulink® and Stateflow® for model building, simulations, system testing, and fault detection-allows for better control ove …

The book offers an insight on artificial neural networks for giving a robot a high level of autonomous tasks, such as navigation, cost mapping, object recognition, intelligent control of ground and a …

Sensor devices that are flexible and printable have received a lot of interest in recent years. New techniques such as printing and additive manufacturing are being developed to realize a wide range …

Practical Communication Theory, 2nd Edition enables the reader to quickly and easily generate the answers to real-world problems encountered in specifying, testing, and fielding any type of systems t …

Information Science and Electronic Engineering is a collection of contributions drawn from the International Conference of Electronic Engineering and Information Science (ICEEIS 2016) held January 4- …

Data flow analysis is used to discover information for a wide variety of useful applications, ranging from compiler optimizations to software engineering and verification. Modern compilers apply it t …

This second edition of Real-Time Embedded Multithreading contains the fundamentals of developing real-time operating systems and multithreading with all the new functionality of Thread X Version 5. T …

The desired objective of this book is to investigate diversity and mutual coupling effects on MIMO antenna designs for WLAN/Wi MAX/LTE applications, controlled with diversity and ground modification …

This updated edition of the industry”s classic text combines the theory, practice, and latest technology of spectrum and network measurements in electronic systems to offer a comprehensive and easy …