Related papers: RAY-RAMSES: a code for ray tracing on the fly in N…
Runtime verification is checking whether a system execution satisfies or violates a given correctness property. A procedure that automatically, and typically on the fly, verifies conformance of the system's behavior to the specified…
We present a numerical weak-lensing analysis that is fully relativistic and non-perturbative for the scalar part of the gravitational potential and first-order in the vector part, frame dragging. Integrating the photon geodesics backwards…
This paper presents a systematic literature review focusing on the application of machine learning techniques for deriving observational constraints in cosmology. The goal is to evaluate and synthesize existing research to identify…
We propose a new algorithm for real-time detection and tracking of elliptic patterns suitable for real-world robotics applications. The method fits ellipses to each contour in the image frame and rejects ellipses that do not yield a good…
We introduce and study a new scheme to construct relativistic observables from post-processing light cone data. This construction is based on a novel approach, LC-Metric, which takes general light cone or snapshot output generated by…
We describe an algorithm for constructing N-body realisations of equilibrium stellar systems. The algorithm complements existing orbit-based modelling techniques using linear programming or other optimization algorithms. The equilibria are…
We present TRACE, an almost time-reversible hybrid integrator for the planetary N-body problem. Like hybrid symplectic integrators, TRACE can resolve close encounters between particles while retaining many of the accuracy and speed…
Ray tracing algorithms that compute pulse profiles from rotating neutron stars are essential tools for constraining neutron-star properties with data from missions such as NICER. However, the high computational cost of these simulations…
In cosmic-ray physics, large field of view experiments are triggered by a number of signals laying on different angular scales: point-like and extended gamma-ray sources, diffuse emissions, as well as large and intermediate scale cosmic-ray…
Catching objects in-flight is an outstanding challenge in robotics. In this paper, we present a closed-loop control system fusing data from two sensor modalities: an RGB-D camera and a radar. To develop and test our method, we start with an…
Two different frameworks are developed to model the wave field generated by a transducer and propagating through one or more interfaces, and a Quasi-Monte Carlo (QMC) integration scheme is used to numerically evaluate their results. The…
Gravitational N-body simulations, that is numerical solutions of the equations of motions for N particles interacting gravitationally, are widely used tools in astrophysics, with applications from few body or solar system like systems all…
The manuscript discusses the increasing use of location-aware radio communication systems to support operational processes for the demanding aircraft cabin environment. In this context, the challenges for evaluation and integration of…
For problems in astrophysics, planetary science and beyond, numerical simulations are often limited to simulating fewer particles than in the real system. To model collisions, the simulated particles (aka superparticles) need to be inflated…
To use strong gravitational lenses as an astrophysical or cosmological probe, models of their mass distributions are often needed. We present a new, time-efficient automation code for uniform modeling of strongly lensed quasars with GLEE, a…
Doppler lensing, a relativistic effect resulting from the peculiar velocities of galaxies along the line of sight, provides insight into the large-scale structure of the Universe. Relativistic simulations are essential for modeling Doppler…
Detecting multiple planes in images is a challenging problem, but one with many applications. Recent work such as J-Linkage and Ordered Residual Kernels have focussed on developing a domain independent approach to detect multiple…
The vision of unmanned aerial vehicles is very significant for UAV-related applications such as search and rescue, landing on a moving platform, etc. In this work, we have developed an integrated system for the UAV landing on the moving…
Numerical N-body simulations are commonly used to explore stability regions around exoplanets, offering insights into the possible existence of satellites and ring systems. This study aims to utilize Machine Learning (ML) techniques to…
This study investigates the potential of eye-tracking technology and the Segment Anything Model (SAM) to design a collaborative human-computer interaction system that automates medical image segmentation. We present the \textbf{GazeSAM}…