A Mechanised Proof of an Adaptive State Counting Algorithm

$ 31.50

4.6
(721)
In stock
Description

Robert M. Hierons's research works The University of Sheffield, Sheffield (Sheffield) and other places

A Mechanised Proof of an Adaptive State Counting Algorithm

Battery state-of-charge estimation using machine learning analysis of ultrasonic signatures - ScienceDirect

Artificial neural network-based smart aerogel glazing in low-energy buildings: A state-of-the-art review - ScienceDirect

Consciousness - Wikipedia

PDF) Test selection based on communicating nondeterministic finite-statemachines using a generalized Wp-method

PDF) Test selection based on communicating nondeterministic finite-statemachines using a generalized Wp-method

Overview of immune cells in the innate and adaptive immune systems. The

ProtInteract: A deep learning framework for predicting protein–protein interactions - Computational and Structural Biotechnology Journal

Photochemically Sequestered Off-Pathway Dormant States of Peptide Amphiphiles for Predictive On-Demand Piezoresponsive Nanostructures

Wen-ling Huang's research works Universität Bremen, Bremen (Uni Bremen) and other places

PDF) Adaptive Testing of Nondeterministic Systems with FSM