相关论文: The AGILEScience App to execute gamma-ray scientif…
We present sensipy, an open-source Python toolkit for simulating observations of transient astrophysical sources, particularly in the high-energy (HE, keV-GeV) and very-high-energy (VHE, GeV-TeV) gamma-ray ranges. The most explosive events…
AGILE pointed observations performed from July 9, 2007 to October 30, 2009 cover a very large time interval, with a \gamma-ray dataset useful to perform studies of medium to high brightness galactic sources in the 30 MeV -- 50 GeV energy…
The LIGO-Virgo Collaboration (LVC) detected, on 2017 August 17, an exceptional gravitational-wave (GW) event temporally consistent within $\sim\,1.7 \, \rm s$ with the GRB 1708117A observed by Fermi-GBM and INTEGRAL. The event turns out to…
Mobile graphical user interface (GUI) agents enable AI models to autonomously operate smartphones on behalf of users. However, most existing systems focus primarily on optimizing task accuracy and rely on cloud-hosted models for inference,…
Physics-based simulators play a critical role in scientific discovery and risk assessment, enabling what-if analyses for events like wildfires and hurricanes. Today, databases treat these simulators as external pre-processing steps.…
In recent years, the monitoring and study of natural hazards have gained significant attention, particularly due to climate change, which exacerbates incidents like floods, droughts, storm surges, and landslides. Together with the constant…
The rapid release of accurate sky localization for gravitational-wave candidates is crucial for multi-messenger observations. During the third observing run of Advanced LIGO and Advanced Virgo, automated gravitational-wave alerts were…
AGILE data on Cygnus X-3 are reviewed focussing on the correlation between the production of gamma-ray transient emission and spectral state changes of the source. AGILE clearly establishes a relation between enhanced gamma-ray emission and…
Artificial intelligence systems are transforming scientific discovery by accelerating specific research tasks, from protein structure prediction to materials design, yet remain confined to narrow domains requiring substantial human…
The AGILE satellite detected transient high-energy gamma-ray emission from the X-ray binary V404 Cygni, during the June 2015 outburst observed in radio, optical, X-ray and soft gamma-ray frequencies. The activity was observed by AGILE in…
In this paper, we argue that database systems be augmented with an automated data exploration service that methodically steers users through the data in a meaningful way. Such an automated system is crucial for deriving insights from…
Scientific reasoning inherently demands integrating sophisticated toolkits to navigate domain-specific knowledge. Yet, current benchmarks largely overlook agents' ability to orchestrate tools for such rigorous workflows. To bridge this gap,…
We report the first blazar detection by the AGILE satellite. AGILE detected 3C 454.3 during a period of strongly enhanced optical emission in July 2007. AGILE observed the source with a dedicated repointing during the period 2007 July 24-30…
The proposed mission "Space Atomic Gravity Explorer" (SAGE) has the scientific objective to investigate gravitational waves, dark matter, and other fundamental aspects of gravity as well as the connection between gravitational physics and…
Follow-up of gravitational wave alerts has proven to be challenging in the past due to the large uncertainty on the localisation, much larger than the field of view of most instruments. A smart pointing strategy helps to increase the chance…
We present planning challenges, methods and preliminary results for a new model-based paradigm for earth observing systems in adaptive remote sensing. Our heuristically guided constraint optimization planner produces coordinated plans for…
In the past decade, transcriptome data have become an important component of many phylogenetic studies. Phylogenetic studies now regularly include genes from newly sequenced transcriptomes, as well as publicly available transcriptomes and…
Formalising informal mathematical reasoning into formally verifiable code is a significant challenge for large language models. In scientific fields such as physics, domain-specific machinery (\textit{e.g.} Dirac notation, vector calculus)…
Scientific workflows have become integral tools in broad scientific computing use cases. Science discovery is increasingly dependent on workflows to orchestrate large and complex scientific experiments that range from execution of a…
Reduction in aircraft emission is a main driver for the development of more efficient aircraft and enabling technologies are reaching operational maturity. Aircraft manufacturers need an efficient product development process to capture…