A Mechanised Proof of an Adaptive State Counting Algorithm

BibSLEIGH — algorithm tag

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

Application of Multivariate Adaptive Regression Splines (MARSplines) Methodology for Screening of Dicarboxylic Acid Cocrystal Using 1D and 2D Molecular Descriptors

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

證明助理Proof Assistant: 最新的百科全書、新聞、評論和研究

Fault detection and diagnosis in electric motors using 1d convolutional neural networks with multi-channel vibration signals - ScienceDirect

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

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

Levels of explainable artificial intelligence for human-aligned conversational explanations - ScienceDirect

High-resolution line-scan Brillouin microscopy for live imaging of mechanical properties during embryo development

Frontiers Unifying complexity science and machine learning

Automatic Discovery of Fair Paths in Infinite-State Transition Systems

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

Recycling, Free Full-Text

An Executable Mechanised Formalisation of an Adaptive State Counting Algorithm