A Mechanised Proof of an Adaptive State Counting Algorithm

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

Adaptive multi-temperature control for transport and storage containers enabled by phase-change materials

Jan PELESKA, Professor (Full), Dr. rer. nat., Universität Bremen, Bremen, Uni Bremen, Faculty 03: Mathematics/Computer Science

A Mechanised Proof of an Adaptive State Counting Algorithm

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

Frontiers Passive Brain-Computer Interfaces for Enhanced Human-Robot Interaction

Graph neural networks for construction applications - ScienceDirect

PDF) On the implementation of the algorithm for representation of discontinuity in natural language

Batteries, Free Full-Text

Directionality of developing skeletal muscles is set by mechanical forces

Frontiers Discernment on assistive technology for the care and support requirements of older adults and differently-abled individuals