Density-functional-theory dataset for Fe substitution in BaTiO3 and the competition between its tetragonal and hexagonal polymorphs, together with SrTiO3 and CaTiO3 control systems. The archive holds 700 structures. For every calculation it gives the unrelaxed input geometry and the converged relaxed geometry, together...
Replication package for "LLM-Based Exploratory Testing Charter Generation: An Ablation Study of Prompt Structure" (Arbaz Surti; under review at Automated Software Engineering, Springer). This version corresponds to the round-1 major revision and supersedes v1. Contents: the evaluation dataset (25 requirement specificat...
Arbaz Surti· Zenodo (CERN European Organi...· 0 citations
ABSTRACT: Version 9 changes the epistemic purpose of this research record. Rather than extending or defending the previously proposed explanatory framework, it reframes the archived observations as a falsification challenge. Speculative mechanisms proposed in earlier versions - including Orch-OR 2.0, Hybrid Thermal Ent...
SERENA DENTICI· Zenodo (CERN European Organi...· 0 citations
This record contains the data and R code supporting the article “An energy-based model of soil fragmentation by tillage” by Heller et al. The model predicts tillage-induced soil fragmentation from the applied mechanical energy and the initial soil state, represented by soil water content and initial specific fragment s...
Olivier Heller· Zenodo (CERN European Organi...· 0 citations
Reach audiences
Advertise in front of researchers, engineers, and readers.
An Honest Effect Size for Contingency Tables: Why Nothing Can Be Unbiased, Where to Put the Error Instead, and How to Route the Report William J. Dwyer, MD, MPH, FAAP — Department of Mathematics and Statistics, University of Massachusetts Lowell. ORCID 0009-0004-0855-7222. Concept DOI (always resolves to the latest ver...
William Dwyer· Zenodo (CERN European Organi...· 11 citations
Version 2 (2026-08-04). Revised to the NLL Universal Paper Format v6. The original text is retained in full; nothing has been deleted. Corrections appear as marked blocks placed at the section that carries the claim, and each one states what the paper said, what the data show, the corrected claim, why it happened, and...
Venkatesh Swaminathan· Zenodo (CERN European Organi...· 64 citations
The defensible prescription is neither agility nor hybridity as a blanket label but a gate-differentiated lifecycle: plan-driven discipline where late discovery is irreversible, iterative discipline where early commitment is guesswork.
Joseph Alieme, A. Sule, Valentina Ochuko Obukadata· Gulf Journal of Computer Sci...· 1 citation
Large language models (LLMs) increasingly repair software vulnerabilities, but most evaluations judge only similarity to a developer fix or removal of the weakness, leaving no single judge trustworthy.
Patrick Deininger, Wolfgang Slany· Journal of Cybersecurity and...· 1 citation
Investigating the memory usage of battery management system (BMS) software functions required for operating the high-voltage battery system (HVBS) of a light-duty electric vehicle (EV) suggests that the BMS software functions occupy a relatively small portion of the S32K358’s 8 MB of flash and 1125 kB of RAM, leaving s...
Rômulo Navega Vieira, Tridib Banik, Pu-Zhou Wang et al.· Energies· 0 citations
This study aims to analyze and test the effect of Sales Volatility, Managerial Ownership, Book Tax Difference, Tax Planning on Profit Persistence in Non-cyclical Consumer Sector Companies in 2019-2024. The type of data used in this study is quantitative with secondary data sources in the form of company financial repor...
Triyana Lestari, Benarda· Jurnal Nusa Akuntansi· 0 citations
The relevance of the study
is due to the need to improve the efficiency and quality of the injection process of cement-sand mortar during foundation soil strengthening.
The use of a check valve and a clamping device allows achieving more uniform and stable filling of voids and cavities in the ground. Moder...
O. Gerasimov, M. A. Vlasov, N. V. Krupina· Vestnik Tomskogo gosudarstve...· 0 citations
This study bridges leadership and operational innovation by demonstrating that ethical leadership acts not only as a relational trust builder, but also as a structural enabler that activates human resource and knowledge capabilities.
Ramazan Topal, H. Zaim· Strategic HR Review· 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.
