A comprehensive analysis of the synergistic application of microbial engineering and artificial intelligence to resolve bioprocessing bottlenecks within a food-to-food closed-loop framework concludes that this data-driven synergistic paradigm is pivotal for establishing a resilient circular bioeconomy.
Jia-Jin Sun, Dongbo Ma, Qing-Wei Meng et al.· Comprehensive Reviews in Foo...· 0 citations
Intraoperative planning for distalization tibial tubercle osteotomy translates into accurate postoperative correction of patellar height with minimal bias and support the reliability of intraoperative measurement in achieving radiographic goals and reinforce the use of CDI as a practical metric for surgical planning in...
D. Sachdev, J. Amin, Christopher B. Song et al.· Arthroscopy: The Journal of...· 0 citations
Aesthetic preferences for AI-assisted smile designs differed meaningfully between software platforms and, to a lesser extent, between dental specialists and laypeople, with specialists showing a distinctly stronger relative preference for Smilecloud.
G. Alsulaiman, R. Baaj, Rasha Altahan· Journal of Prosthodontics· 0 citations
Right ventricular free-wall longitudinal strain is a robust determinant of adverse outcomes beyond conventional LV indices and A4C-LVLS in VFMR and might be incorporated into routine evaluation to improve risk stratification in VFMR.
C. Lee, Chi-Han Wu, Hsuan-Hao Hsu et al.· Journal of the American Soci...· 0 citations
This record contains the replication package for the manuscript “Beyond Plans and Permissions: Enforcing Physical Effect Closure in Infrastructure Automation.” The package provides the EffectSeal reference implementation, executable verification tests, controlled Terraform/AWS-provider experiment configurations and fro...
Hamad Alsawalqah, Ahmad Abadleh· Zenodo (CERN European Organi...· 0 citations
Supporting data for Mishra & Tyagi, "Analysis of Major Forbush Decrease Events during Current Solar Cycle in Association with Interplanetary and Geomagnetic Disturbances", submitted to Journal of Geophysical Research: Space Physics. This deposit contains the event catalogue, methodology documentation and validation dat...
V. K. Mishra, Praveen Tyagi· Zenodo (CERN European Organi...· 0 citations
University technology campuses contain specialized laboratories, academic programs, and services that can be difficult for first-time visitors to identify. This paper presents INDI, a custom mobile campus guide robot that combines spoken interaction, synthesized speech, touchscreen feedback, animated facial states, hea...
J. Varela-Aldás, Christian P. Carvajal, Josue Cadena et al.· Computers· 0 citations
An explainable machine learning-based framework for accurate, transparent, and reliable DDoS attack detection in an SDN environment that combines reliable DDoS detection with transparent, analyst-oriented decision support for SDN security monitoring is developed.
J. Malik, N. Naz, Muhammad Saleem et al.· Italian National Conference...· 0 citations
HEAR (Human-Evidence-driven Alignment of Requirements) is a requirements engineering framework for building inclusive digital health software. In HEAR, an evidence-attributed requirement leads every iteration: it carries the evidence that raised it, serves as the criterion the build is judged against, and receives the...
Yuqing Xiao, John Grundy, Anuradha Madugalla et al.· Figshare· 0 citations
Semantic Contract Engineering (SCE) is an end-to-end engineering methodology for designing software systems through explicit semantic contracts established before implementation. SCE treats system meaning, intent, domain concepts, architectural structure, component responsibilities, interfaces, behavioral constraints,...
Daniel Ignacio Canedo· Zenodo (CERN European Organi...· 0 citations
Objective To understand the level of e-health literacy among sports majors and its influencing factors, providing reference for developing measures to improve e-health literacy in this population. Methods An online survey was conducted among college students from 6 universities in Jiangsu Province using an e-health lit...
Yue Yin, Jing Chen, Wenqing Zhao et al.· Frontiers in Public Health· 0 citations
AI agents can generate code at a scale that’s hard for humans to review line-by-line. PDD Kit helps ensure the code is doing what the developer intended by creating formal specifications and testing against them. It converts developer intent into a Verus specification, proves AI-generated code meets it for every input, and uses tests where proofs aren't practical. Developers review intent, not every line. The post Formally verifying agent-written full-stack web apps with PDD Kit appeared first o…
Is your company’s AI sovereign? A practical guide for CIOs on AI vendor lock-in, EU Data Act switching, cloud sovereignty, and testing your exit plan before you need it. The post Sovereignty Is the Option to Leave appeared first on GPT-Lab.
Microsoft Research Blog· microsoft.comOct 30, 2026
Evaluating Microsoft Copilot at enterprise scale requires test data that captures the full complexity of real organizations, yet real enterprise data contains sensitive information that cannot be used for evaluation under any circumstances. The post From synthetic enterprise data evaluations to real Microsoft Copilot AI confidence appeared first on Microsoft Research.
Microsoft Research Blog· microsoft.comOct 29, 2026
Host Sowbhagya Suresh shares some of the latest news and cutting-edge research from across Microsoft—from understanding the challenges facing coding agents to uncovering how people use AI at work and improving extended-range weather forecasting. The post Microsoft Research Focus – Edition #97 appeared first on Microsoft Research.
