From the 2 of 8 papers with an AI index.
- Centre National de la Recherche ScientifiqueFR2 papers
- European Southern ObservatoryCL2 papers
- Max Planck Institute for Extraterrestrial PhysicsDE2 papers
- Sorbonne Paris CitéFR2 papers
- Sorbonne UniversitéFR2 papers
- Universidade Federal de São CarlosBR2 papers
- Université Paris CitéFR2 papers
- Aalto UniversityFI1 paper
- Abu Dhabi UniversityAE1 paper
- Aix-Marseille UniversitéFR1 paper
- AlbaNovaSE1 paper
- Ames Research CenterUS1 paper
8 papers
Early Exploration of the Scientific Discovery Space for the Habitable Worlds Observatory
Courtney D. Dressing, Danica Adams, Evelyne Alecian +324
The paper summarizes 70 science cases for the proposed NASA Habitable Worlds Observatory, outlining the observational needs across four scientific pillars and detailing required ca…
GRAVITY+: reducing non-common-path aberrations for sub-10 μas astrometric accuracy
Quentin Fournier, Guillaume Bourdarot, Frank Eisenhauer +26
GRAVITY is a state-of-the-art instrument for near-infrared astrometric interferometry that routinely achieves astrometric accuracy of 30-100 microarcsecond in its phase-referenced…
Hubble tension problem encompassed by phase-space quantum cosmology
Alex E. Bernardini
The paper proposes a phase‑space quantum cosmology framework using Weyl–Wigner mechanics to derive quantum corrections to the Friedmann equation that can reduce the discrepancy bet…
LoKI-GM: a global model framework for plasma chemistry studies
L. L. Alves, A. Tejero-Del-Caz, L. Marques +6
Global (zero-dimensional or spatially averaged) models are widely employed to study complex chemistries in low-temperature plasmas (LTPs). By adopting a spatially average descripti…
MaudeTypedLog: A Typed Interpreter for Prolog in Maude
Enrique Gallifa-Tronch, João Barbosa, Santiago Escobar
Prolog is traditionally thought of as an untyped logic programming language, although there are queries that result in a type error. Several attempts of statically introducing a ty…
Linearising Explicit Substitutions using Intersection Types
Ana Jorge Almeida, Sandra Alves, Mário Florido
Term expansion was originally introduced in 2004 as a way to relate terms typed in an intersection type system with linear terms. Recently, new applications of term expansion inclu…