Tootfinder

Iterative Methods for the Projected Solutions of Quasi-equilibrium Problems
Didier Aussel, Jauny, Asrifa Sultana, Shivani Valecha
https://arxiv.org/abs/2506.22080

Iterative Methods for the Projected Solutions of Quasi-equilibrium Problems
Aussel et al. (J Optim Theory Appl 170 818-837 2016) introduced the concept of projected solutions for the quasi-variational inequalities with a non-self constraint map, that is, the case where the constraint map may take values outside the feasible set. This paper presents two iterative methods to determine the projected solutions for quasi-equilibrium problems (QEP). We prove the convergence of the sequence generated by iterative methods to a projected solution of the QEP under some suitable …

Source Identification Problem for a Nonlinear Subdiffusion Equation
R. R. Ashurov, O. T. Mukhiddinova
https://arxiv.org/abs/2506.11519 https://

Source Identification Problem for a Nonlinear Subdiffusion Equation
The work is devoted to the study of the inverse problem of determining the right-hand side of a nonlinear subdiffusion equation with a Caputo derivative with respect to time. Nonlinearity of the equation means that the right-hand side of the equation depends nonlinearly on the solution of the equation. The inverse problem consists of reconstructing the coefficient of the right-hand side, which depends on both time and spatial variables, under a measurement in an integral form. Similar inverse p…

The Scintillator Surface Detector of the Pierre Auger Observatory
The Pierre Auger Collaboration
https://arxiv.org/abs/2507.07762 https://

The Scintillator Surface Detector of the Pierre Auger Observatory
Data collected so far by the Pierre Auger Observatory have enabled major advances in ultra-high energy cosmic ray physics and demonstrated that improved determination of masses of primary cosmic-ray particles, preferably on an event-by-event basis, is necessary for understanding their origin and nature. Improvement in primary mass measurements was the main motivation for the upgrade of the Pierre Auger Observatory, called AugerPrime. As part of this upgrade, scintillator detectors are added to …

Backward Responsibility in Transition Systems Beyond Safety
Christel Baier, Rio Klatt, Sascha Kl\"uppelholz, Johannes Lehmann
https://arxiv.org/abs/2506.05192

Backward Responsibility in Transition Systems Beyond Safety
As the complexity of software systems rises, methods for explaining their behaviour are becoming ever-more important. When a system fails, it is critical to determine which of its components are responsible for this failure. Within the verification community, one approach uses graph games and the Shapley value to ascribe a responsibility value to every state of a transition system. As this is done with respect to a specific failure, it is called backward responsibility. This paper provides ti…