A Practical Guide for SystemVerilog Assertions
SystemVerilog language consists of three very specific areas of constructs - design, assertions and testbench. This guide ...
Lire la suiteA Practical Guide to TPM 2.0 : Using the New Trusted Platform Module in the New Age of Security
A Practical Guide to TPM 2.0: Using the Trusted Platform Module in the New Age of Security is a straight-forward primer for ...
Lire la suite
A Practical Introduction to PSL
Practical Introduction to PSL is primarily targeted to hardware designers and verification engineers who plan to use PSL. ...
Lire la suite
A Practical Theory of Reactive Systems
A man may imagine he understands something, but still not understand anything in the way that he ought to. (Paul of Tarsus, ...
Lire la suite
A Reappraisal of the Ascending Systems in Man, with Emphasis on the Medial Lemniscus
Based on material assembled by Dr Jaap HR Schoen who was one of the few neuroanatomists to apply the Nauta method to human ...
Lire la suite
A Roadmap for Formal Property Verification
This book develops the answers to these questions and fits them into a roadmap for formal property verification – a roadmap ...
Lire la suite
A Short Course on Operator Semigroups
The book gives a streamlined and systematic introduction to strongly continuous semigroups of bounded linear operators on ...
Lire la suite
A Singular Introduction to Commutative Algebra
This substantially enlarged second edition aims to lead a further stage in the computational revolution in commutative algebra. ...
Lire la suite
A Software-Defined GPS and Galileo Receiver
Satellite navigation receivers are used to receive, process, and decode space-based navigation signals, such as those provided ...
Lire la suite
A Space of Their Own: The Archaeology of Nineteenth Century Lunatic Asylums in Britain, South Australia and Tasmania
The history of lunatic asylums – what do we really know about them? Films and television programs have portrayed them as ...
Lire la suite
A Theory of Distributed Objects
Distributed and communicating objects are becoming ubiquitous. In global, Grid and Peer-to-Peer computing environments, extensive ...
Lire la suite
A Theory of Shape Identification
Recent years have seen dramatic progress in shape recognition algorithms applied to ever-growing image databases. They have ...
Lire la suiteA Time for Metabolism and Hormones
Recent years have seen spectacular advances in the field of circadian biology. These have attracted the interest of researchers ...
Lire la suite
A Time for Metabolism and Hormones
Recent years have seen spectacular advances in the field of circadian biology. These have attracted the interest of researchers ...
Lire la suite
AI 2005: Advances in Artificial Intelligence
The 18th Australian Joint Conference on Artificial Intelligence (AI 2005) was held at the University of Technology, Sydney ...
Lire la suite
AI 2008: Advances in Artificial Intelligence : 21st Australasian Joint Conference on Artificial Intelligence Auckland, New Zealand, December 1-5, 2008. Proceedings
This book constitutes the refereed proceedings of the 21th Australasian Joint Conference on Artificial Intelligence, AI 2008, ...
Lire la suite
AI For Emerging Verticals : Human-robot computing, sensing and networking
Artificial intelligence (AI) and machine learning (ML) will play a major role. By adopting AI software and services, businesses ...
Lire la suite
AI based Robot Safe Learning and Control
This book mainly focuses on the safe control of robot manipulators. The control schemes are mainly developed based on dynamic ...
Lire la suite
AI-Enabled Threat Detection and Security Analysis for Industrial IoT / Hadis Karimipour, Farnaz Derakhshan
Provides the state-of-the-art development on security and privacy for cyber-physical systems (CPS) and industrial Internet ...
Lire la suite
ANEMONA : A Mulit-agent Methodology for Holonic Manufacturing Systems
ANEMONA is a multi-agent system (MAS) methodology for holonic manufacturing system (HMS) analysis and design, based on HMS ...
Lire la suite
