A Mechanised Proof of an Adaptive State Counting Algorithm, adapted state

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

Robert Sachtleben's research works Universität Bremen, Bremen (Uni Bremen) and other places

Information, Free Full-Text

Adaptive laboratory evolution and reverse engineering enhances autotrophic growth in Pichia pastoris - ScienceDirect

A Simulated Annealing Algorithm for the Satisfiability Problem Using Dynamic Markov Chains with Linear Regression Equilibrium

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

The Coming Software Apocalypse - The Atlantic

Formal Verification of Executable Complementation and Equivalence Checking for Büchi Automata

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

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

Algorithm to calculate the co-occurrence matrix based on counting the

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

Cohort intelligence with self-adaptive penalty function approach hybridized with colliding bodies optimization algorithm for discrete and mixed variable constrained problems