RenewableXAI is a fully implemented system for interactive inspection of renewable-energy forecasting models. The system combines semantically grouped TreeSHAP explanations, model-exact one-feature explanation-stability intervals, adjacent boundary-transition analysis, interactive scenario editing, and an evidence-cons...
Павел Матренин, Alexandra I. Khalyasmaa, Stanislav A. Eroshenko et al.· Zenodo (CERN European Organi...· 0 citations
RenewableXAI is a fully implemented system for interactive inspection of renewable-energy forecasting models. The system combines semantically grouped TreeSHAP explanations, model-exact one-feature explanation-stability intervals, adjacent boundary-transition analysis, interactive scenario editing, and an evidence-cons...
Павел Матренин, Alexandra I. Khalyasmaa, Stanislav A. Eroshenko et al.· Zenodo (CERN European Organi...· 0 citations
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
Reach audiences
Advertise in front of researchers, engineers, and readers.
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
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.
