GitHub

Monadic effects and equational reasoning in Rocq

This Rocq library contains a hierarchy of monads with their laws used in several examples of monadic equational reasoning. This repository contains a formalization of monads including examples of ...
The Lancet

FDA-cleared artificial intelligence and machine learning-based medical devices and their 510(k) predicate networks

aInstitute for Diagnostic and Interventional Radiology, University Hospital Zurich and University of Zurich, Zurich, Switzerland bDepartment of Nuclear Medicine, University Hospital Zurich and ...
IEEE

Implementation of Model Predictive Control in Programmable Logic Controllers

Abstract: In this article, we present an implementation of a low-memory footprint model predictive control (MPC)-based controller in programmable logic controllers (PLCs). Automatic code generation of ...
IEEE

Robust-Locomotion-By-Logic: Perturbation-Resilient Bipedal Locomotion via Signal Temporal Logic Guided Model Predictive Control

Abstract: This study introduces a robust planning framework that utilizes a model predictive control (MPC) approach, enhanced by incorporating signal temporal logic (STL) specifications. This marks ...
qualitysafety.bmj

Using a dark logic model to explore adverse effects in audit and feedback: a qualitative study of gaming in colonoscopy

Background Audit and feedback (A&F) interventions improve patient care but may result in unintended consequences. To evaluate plausible harms and maximise benefits, theorisation using logic models can ...