Code and frozen result records for rotcert, an angle-aware distribution-free conformal certification method for oriented (rotated) object detection in aerial imagery. rotcert scores oriented detections with a seam-continuous, square-safe Gaussian–Wasserstein distance (GWD) nonconformity measure and issues two certifica...
Zeyu Fu, Xin Pu, Kuan Yu et al.· Zenodo (CERN European Organi...· 0 citations
AlphaFold Y-Shape Studio 1.4.0 is a desktop application for screening AlphaFold 3 IgG1 antibody models and inspecting their structures with Matplotlib. It assigns chains and domains, measures hinge and Fab/Fc geometry, reports candidate disulfide bonds, and provides an interactive three-dimensional preview. Analysis ru...
Hongyun Zhao· Zenodo (CERN European Organi...· 0 citations
This v1.5 release accompanies the manuscript by Gerhard Rambold, “Full-sky CMB temperature topology as evidence for large-scale differential rotation in the early universe”. The analysis applies one frozen multiscale reconstructibility operator (AC*) separately to the Planck PR3 SMICA, NILC, Commander, and SEVEM temper...
Gerhard Rambold· Zenodo (CERN European Organi...· 0 citations
ملخص: تهدف هذه الدراسة إلى تحليل ومقارنة المتغيرات البيوميكانيكية المرتبطة بأداء مهارة القلبة الهوائية الأمامية المستقيمة مع لفتين على بساط الحركات الأرضية بين لاعبي المنتخبين العراقي والإيراني في الجمناستك الفني، حيث اعتمد الباحث على المنهج الوصفي بأسلوبه المسحي، وتكونت العينة من (6) لاعبين من المنتخب العراقي ولاعب وا...
This record contains the software, manuscript source, tests, and publication-ready derived artifacts for the study “Strict Trace Replay and Local Diagnosis for Distributed Accelerator Slack Recovery”. The archive includes the current manuscript, Python source code, unit tests, and the CSV, JSON, LaTeX-table, and figure...
Dorn Yuriy· Zenodo (CERN European Organi...· 0 citations
This is a major release: three changes break a straight git pull upgrade from v1.1.0 and require the manual steps in the Upgrade Tutorial below: migrating dependency management from pip to uv, adding Node/npm as a required build-time dependency on the server, and moving scheduled maintenance jobs onto a persistent Dags...
Dennis Handy· Zenodo (CERN European Organi...· 0 citations
This dataset is the reproducibility and robustness evidence companion to the SCILLA v1.1.0 canonical research note (DOI: 10.5281/zenodo.22209746). It contains the synthetic evidence used to audit and reproduce the principal computational results of SCILLA, including matched run-level results, aggregate policy effects,...
Michele Giletto· Zenodo (CERN European Organi...· 2 citations
Version 0.5.0 of the open exchange and preservation standard for digital representations of musical instruments and other acoustic objects. This release adds identified cross-carrier distributions, carrier and descriptor fixity, release-inventory validation, and a two-carrier repository profile for bootstrap and preser...
Copilot CLI Local Memory v1.1.2 — Citation and provenance This release makes the project's authorship, design history, and public release chronology explicit and machine-readable. It does not change the plugin's runtime behaviour. What changed Added CITATION.cff so GitHub, Zenodo, reference managers, and researchers ca...
Shankar Balakrishna· Zenodo (CERN European Organi...· 0 citations
Multi-vendor enterprise systems operating under regulatory mandates face a structural software quality failure that existing governance frameworks do not address: interpretation divergence. When multiple vendors independently translate the same regulatory requirement into system behavior, each may produce an implementa...
Sreedhar Ailu· International Journal of Glo...· 0 citations
Copilot CLI Local Memory v1.1.2 — Citation and provenance This release makes the project's authorship, design history, and public release chronology explicit and machine-readable. It does not change the plugin's runtime behaviour. What changed Added CITATION.cff so GitHub, Zenodo, reference managers, and researchers ca...
Shankar Balakrishna· Zenodo (CERN European Organi...· 0 citations
Analysis code, configuration, intermediate result tables and figure-generating scripts supporting the manuscript "African and European Haplotypes Carry Different Slick PRLR Alleles in Criollo and Senepol Cattle" (submitted to Animal Genetics). What the study does. The slick coat phenotype of tropically adapted cattle a...
Luiz Dione Barbosa de Melo· Zenodo (CERN European Organi...· 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.
