Communications of the ACM

Equation-Directed Axiomatization of Lustre Semantics to Enable Optimized Code Validation

C compiler, LustreC, into a generator of both executable code and associated specification. Model-based design tools are ...
Microsoft

How we build robust-by-design algorithms

We use heuristics to solve computationally difficult problems where optimal solutions are too expensive to deploy, hard to manage, or otherwise inefficient. Our prior work, MetaOpt, shows many of the ...
Taiwan News

Positive Phase 1b/2 Results from Ongoing REC-4881 TUPELO Trial Demonstrate Rapid and Durable Reductions in Polyp Burden in Familial Adenomatous Polyposis (FAP) a…

As of the November 25, 2025 data cutoff in the open-label Phase 2 portion of TUPELO, treatment with REC-4881 (4 mg QD) ...
IEEE

Comparative Analysis of Machine Learning Algorithms for Breast Cancer Diagnosis

Abstract: Breast cancer remains a significant health challenge globally, driving the need for accurate and efficient diagnostic tools. Machine learning (ML) algorithms have gained prominence in ...
IEEE

A Recursive Total Least Squares Solution for Bearing-Only Target Motion Analysis and Circumnavigation

Bearing-only Target Motion Analysis (TMA) is a promising technique for passive tracking in various applications as a bearing angle is easy to measure. Despite its advantages, bearing-only TMA is ...