AMSER pre-registration: twenty-one frozen tests of the 20 GeV Galactic halo excess — estimands, nulls, thresholds and falsification rules for Gaia DR4, Fermi-LAT, AMS-02 and multi-messenger data.
Sep 2026· Zenodo (CERN European Organization for Nuclear Research)
Gamma-ray bursts and supernovae
Abstract
Pre-registration of twenty-one tests bearing on the 20 GeV Galactic halo excess and on a Gaia-tracer / gamma-residual alignment, frozen before the corresponding data exist. It fixes the region of interest, the estimator (partial rank correlation with |b| and θ_GC controlled), two null generators with a fixed seed, and a pre-declared threshold and falsification condition for every item — including a rule under which the author publicly withdraws her own finding, and an inference table that fixes the conclusion for each combination of outcomes in advance. Fifteen further analyses on data already in hand are listed separately as pre-specified rather than pre-registered. Procedural commitments cover blind construction of the DR4 tracer, negative controls, declared power, frozen quality cuts, a ban on rescue forks after an outcome is known, disclosure of failed calibrations, pinned external-dataset and software versions, and publication of all outcomes. The record contains the frozen analysis apparatus, a self-test reproducing all five published values of the v6 release, the target-map provenance script, and a SHA-256 manifest.Version 1.1 (same day): three corrections found by the author while executing the items, each marked inline in the document and explained in a separate erratum note — the campaign's halo profile is NFW with a 20 kpc scale radius rather than isothermal (a stale label in the configuration file had been trusted); the placebo region of item S-9 lies outside the data coverage and is replaced by controls of equal intent inside it; and the resolution-stability threshold of item S-13 was mis-specified because it ignored that pixel reliability falls with pixel size. None of the corrections relaxes a threshold in the author's favour. This version also adds the first execution report: seven items executed within hours of the freeze, of which two failed their declared expectation, one landed between the declared branches, and the leptonic closure criterion was met for one of two channels. Version 1.2 (11 September 2026): execution report 2e (all pre-registered items scored, statuses per the addendum's grading) and the addendum (grading of registered vs analysis-grade items) added; supplements article version 10.5281/zenodo.22695693.
This publication proposes a definition and a classification of agile software development approaches and analyses ten software development methods that can be characterized as being "agile" against the defined criterion.
P. Abrahamsson, O. Salo, Jussi Ronkainen et al.· arXiv.org· 727 citations· ⚡54
The study shows that agile practices improve both informal and formal communication, but indicates that, in larger development situations involving multiple external stakeholders, a mismatch of adequate communication mechanisms can sometimes even hinder the communication.
M. Pikkarainen, Jukka Haikara, O. Salo et al.· Empirical Software Engineeri...· 401 citations· ⚡48
The results indicate that software engineering work practices are chosen opportunistically, adapted and configured to provide value under the constrains imposed by the startup context.
Nicolò Paternoster, Carmine Giardino, M. Unterkalmsteiner et al.· Information and Software Tec...· 394 citations· ⚡54
The results show that the embedded industry has been able to apply agile methods in its development processes and that the appreciation of the agile methods and their individual practices appears to increase once adopted and applied in practice.
O. Salo, P. Abrahamsson· IET Software· 238 citations· ⚡9
Consequences of happiness and unhappiness that are beneficial and detrimental for developers' mental well-being, the software development process, and the produced artifacts are found.
D. Graziotin, Fabian Fagerholm, Xiaofeng Wang et al.· Journal of Systems and Softw...· 236 citations· ⚡13
The Mobile-D approach is briefly outlined here and the experiences gained from four case studies are discussed, which helped develop an agile development approach for mobile application development.
P. Abrahamsson, Antti Hanhineva, H. Hulkko et al.· Conference on Object-Oriente...· 225 citations· ⚡18
AI is making software generation faster, but speed does not remove the need for expertise. As more work is delegated to AI, tacit knowledge may become one of the most important human advantages in software engineering. The post Beyond Prompt Engineering: The Role of Tacit Knowledge in Software Engineering appeared first on GPT-Lab.
A path, a fence, a knot. MindTopo sets a new benchmark for testing how AI understands topological relationships and highlights new opportunities to strengthen spatial reasoning and planning. The post MindTopo reveals VLMs’ spatial reasoning abilities appeared first on Microsoft Research.
We use cookies to run the site and, with your consent, for analytics and to show ads.
See our Cookie Policy.