Federated Bayesian Surveillance of Mechanical Thrombectomy Adverse Events: A Population Risk Layer for Surgical Digital Twins
A federated Bayesian protocol privately estimates thrombectomy adverse-event rates from FDA MAUDE reports.
Stories per day · 30 days
2 stories, newest first · one card per story
Stories tagged #maude
Towards Tackling Application Logic Flaws through Autonomous Formal-Logic Modeling and Automated Reasoning
LL-Verifier combines LLMs with logic model checking to automatically discover logic flaws, uncovering vulnerabilities in 27 IoT access-control protocols.