A Mechanised Proof of an Adaptive State Counting Algorithm
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