arXiv subjects

G. Santin

Publications and source records attributed to G. Santin.

9 recordsLinked to original sources

arXiv2026

Kernel Methods for the Construction of Certified Lyapunov Functions via Approximate Koopman Eigenfunctions

We present a kernel-based methodology for constructing Lyapunov functions for nonlinear dynamical systems using approximate Koopman eigenfunctions. Our approach decomposes principal Koopman eigenfunctions into linear and nonlinear components, where the linear part is obtained from the system's linearization and the nonlinear part is computed by solving a partial differential equation using symmetric kernel collocation in reproducing kernel Hilbert spaces (RKHS). The resulting Lyapunov function is constructed as a quadratic form in the approximate eigenfunctions. We establish error bounds relating the approximation quality to the fill distance of collocation points and provide a certification procedure using continuous piecewise affine (CPA) methods. Numerical experiments on benchmark systems, including a polynomial system and the Duffing oscillator, demonstrate the effectiveness of our approach.

math.NA↗

arXiv2021

Measuring close proximity interactions in summer camps during the COVID-19 pandemic

Policy makers have implemented multiple non-pharmaceutical strategies to mitigate the COVID-19 worldwide crisis. Interventions had the aim of reducing close proximity interactions, which drive the spread of the disease. A deeper knowledge of human physical interactions has revealed necessary, especially in all settings involving children, whose education and gathering activities should be preserved. Despite their relevance, almost no data are available on close proximity contacts among children in schools or other educational settings during the pandemic. Contact data are usually gathered via Bluetooth, which nonetheless offers a low temporal and spatial resolution. Recently, ultra-wideband (UWB) radios emerged as a more accurate alternative that nonetheless exhibits a significantly higher energy consumption, limiting in-field studies. In this paper, we leverage a novel approach, embodied by the Janus system that combines these radios by exploiting their complementary benefits. The very accurate proximity data gathered in-field by Janus, once augmented with several metadata, unlocks unprecedented levels of information, enabling the development of novel multi-level risk analyses. By means of this technology, we have collected real contact data of children and educators in three summer camps during summer 2020 in the province of Trento, Italy. The wide variety of performed daily activities induced multiple individual behaviors, allowing a rich investigation of social environments from the contagion risk perspective. We consider risk based on duration and proximity of contacts and classify interactions according to different risk levels. We can then evaluate the summer camps' organization, observe the effect of partition in small groups, or social bubbles, and identify the organized activities that mitigate the riskier behaviors. [...]

cs.NI↗

arXiv2018

Greedy kernel methods for accelerating implicit integrators for parametric ODEs

We present a novel acceleration method for the solution of parametric ODEs by single-step implicit solvers by means of greedy kernel-based surrogate models. In an offline phase, a set of trajectories is precomputed with a high-accuracy ODE solver for a selected set of parameter samples, and used to train a kernel model which predicts the next point in the trajectory as a function of the last one. This model is cheap to evaluate, and it is used in an online phase for new parameter samples to provide a good initialization point for the nonlinear solver of the implicit integrator. The accuracy of the surrogate reflects into a reduction of the number of iterations until convergence of the solver, thus providing an overall speedup of the full simulation. Interestingly, in addition to providing an acceleration, the accuracy of the solution is maintained, since the ODE solver is still used to guarantee the required precision. Although the method can be applied to a large variety of solvers and different ODEs, we will present in details its use with the Implicit Euler method for the solution of the Burgers equation, which results to be a meaningful test case to demonstrate the method's features.

math.NA↗

arXiv2016

Partition of unity interpolation using stable kernel-based techniques

In this paper we propose a new stable and accurate approximation technique which is extremely effective for interpolating large scattered data sets. The Partition of Unity (PU) method is performed considering Radial Basis Functions (RBFs) as local approximants and using locally supported weights. In particular, the approach consists in computing, for each PU subdomain, a stable basis. Such technique, taking advantage of the local scheme, leads to a significant benefit in terms of stability, especially for flat kernels. Furthermore, an optimized searching procedure is applied to build the local stable bases, thus rendering the method more efficient.

math.NA↗

arXiv2004

Validation of the GATE Monte Carlo simulation platform for modelling a CsI(Tl) scintillation camera dedicated to small animal imaging

Monte Carlo simulations are increasingly used in scintigraphic imaging to model imaging systems and to develop and assess tomographic reconstruction algorithms and correction methods for improved image quantitation. GATE (GEANT 4 Application for Tomographic Emission) is a new Monte Carlo simulation platform based on GEANT4 dedicated to nuclear imaging applications. This paper describes the GATE simulation of a prototype of scintillation camera dedicated to small animal imaging and consisting of a CsI(Tl) crystal array coupled to a position sensitive photomultiplier tube. The relevance of GATE to model the camera prototype was assessed by comparing simulated 99mTc point spread functions, energy spectra, sensitivities, scatter fractions and image of a capillary phantom with the corresponding experimental measurements. Results showed an excellent agreement between simulated and experimental data: experimental spatial resolutions were predicted with an error less than 100 mu m. The difference between experimental and simulated system sensitivities for different source-to-collimator distances was within 2%. Simulated and experimental scatter fractions in a [98-182 keV] energy window differed by less than 2% for sources located in water. Simulated and experimental energy spectra agreed very well between 40 and 180 keV. These results demonstrate the ability and flexibility of GATE for simulating original detector designs. The main weakness of GATE concerns the long computation time it requires: this issue is currently under investigation by the GEANT4 and the GATE collaborations

physics.ins-det↗

arXiv2004

GATE : a simulation toolkit for PET and SPECT

Monte Carlo simulation is an essential tool in emission tomography that can assist in the design of new medical imaging devices, the optimization of acquisition protocols, and the development or assessment of image reconstruction algorithms and correction techniques. GATE, the Geant4 Application for Tomographic Emission, encapsulates the Geant4 libraries to achieve a modular, versatile, scripted simulation toolkit adapted to the field of nuclear medicine. In particular, GATE allows the description of time-dependent phenomena such as source or detector movement, and source decay kinetics. This feature makes it possible to simulate time curves under realistic acquisition conditions and to test dynamic reconstruction algorithms. A public release of GATE licensed under the GNU Lesser General Public License can be downloaded at the address http://www-lphe.epfl.ch/GATE/.

physics.med-ph↗

arXiv2003

Search for neutrino oscillations on a long base-line at the CHOOZ nuclear power station

This final article about the CHOOZ experiment presents a complete description of the electron antineutrino source and detector, the calibration methods and stability checks, the event reconstruction procedures and the Monte Carlo simulation. The data analysis, systematic effects and the methods used to reach our conclusions are fully discussed. Some new remarks are presented on the deduction of the confidence limits and on the correct treatment of systematic errors.

hep-ex↗

arXiv1999

Limits on Neutrino Oscillations from the CHOOZ Experiment

We present new results based on the entire CHOOZ data sample. We find (at 90% confidence level) no evidence for neutrino oscillations in the anti_nue disappearance mode, for the parameter region given by approximately Delta m**2 > 7 x 10**-4 eV^2 for maximum mixing, and sin**2(2 theta) = 0.10 for large Delta m**2. Lower sensitivity results, based only on the comparison of the positron spectra from the two different-distance nuclear reactors, are also presented; these are independent of the absolute normalization of the anti_nue flux, the cross section, the number of target protons and the detector efficiencies.

hep-ex↗

arXiv1999

Determination of neutrino incoming direction in the CHOOZ experiment and Supernova explosion location by scintillator detectors

The CHOOZ experiment measured the antineutrino flux at a distance of about 1 Km from two nuclear reactors in order to detect possible neutrino oscillations with squared mass differences as low as 10**-3 eV**2 for full mixing. We show that the data analysis of the electron antineutrino events, collected by our liquid scintillation detector, locates the antineutrino source within a cone of half-aperture of about 18 degrees at the 68% C.L.. We discuss the implications of this experimental result for tracking down a supernova explosion.

hep-ex↗