Abstract. The Changing-Atmosphere Infra-Red Tomography Explorer (CAIRT) was proposed as a candidate for the European Space Agency’s eleventh Earth Explorer mission to address critical knowledge gaps in middle atmosphere dynamics and composition. Utilizing an innovative Imaging Fourier Transform Spectrometer (IFTS) in a limb-sounding geometry, CAIRT is designed to provide high-resolution, three-dimensional (3D) tomographic observations of the atmosphere from the free troposphere (5 km) to the lower thermosphere (115 km). To support the scientific evaluation and requirement consolidation of the mission, this paper introduces two computationally efficient performance modeling tools: the Linear Performance Estimator (LPE) and the Fast L2 Simulator (FL2S). The Linear Performance Estimator (LPE) serves as a diagnostic tool that applies linear retrieval theory to quantify spatial resolution and retrieval uncertainties for atmospheric targets like temperature and trace gas concentrations. It features a novel extension to 2D tomographic retrievals, enabling the assessment of how instrument characteristics and uncertainties propagate into final Level-2 (L2) geophysical data products. The Fast Level-2 Simulator (FL2S) complements this by utilizing LPE-derived metrics to project high-resolution atmospheric model data fields onto a simulated CAIRT measurement grid, generating synthetic L2 data products that mimic the full retrieval chain. This allows for a streamlined assessment of how CAIRT’s spatial resolution and uncertainties affect specific scientific use cases. Applying these tools to the CAIRT instrument characteristics, we demonstrate the mission’s capability to meet specified L2 and science performance requirements. The results confirm that the modular end-to-end simulation framework effectively translates instrument specifications into robust scientific performance metrics, providing a mature basis for possible future implementations of limb-imaging space missions.
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
It is proved that any global minimizer of the trajectory balance objective can define a policy that samples exactly from the target distribution, and empirically demonstrate the benefits of the trajectories balance objective for GFlowNet convergence, diversity of generated samples, and robustness to long action sequenc...
Esmeralda S. Whitammer, Moksh Jain, Emmanuel Bengio et al.· Neural Information Processin...· 302 citations· ⚡60