@article{17240, abstract = {We prove an upper bound on the energy density of the dilute spin-\(\frac {1}{2}\) Fermi gas capturing the leading correction to the kinetic energy\(8\pi a\rho _\uparrow\rho _\downarrow\) with an error of size smaller than\(a\rho^{2}(a^ 3\rho)^{1/3-\varepsilon}\) for any\(\varepsilon> 0\), where a denotes the scattering length of the interaction. The result is valid for a large class of interactions including interactions with a hard core. A central ingredient in the proof is a rigorous version of a fermionic cluster expansion adapted from the formal expansion of Gaudin et al. (Nucl Phys A 176(2):237–260, 1971. https://doi.org/10.1016/0375-9474(71)90267-3).}, author = {Lauritsen, Asbjørn Bækgaard}, issn = {1424-0637}, journal = {Annales Henri Poincare}, pages = {203--243}, publisher = {Springer Nature}, title = {{Almost optimal upper bound for the ground state energy of a dilute Fermi gas via cluster expansion}}, doi = {10.1007/s00023-024-01450-1}, volume = {26}, year = {2025}, } @article{17293, abstract = {Voltage-gated CaV2.1 (P/Q-type) Ca2+ channels play a crucial role in regulating neurotransmitter release, thus contributing to synaptic plasticity and to processes such as learning and memory. Despite their recognized importance in neural function, there is limited information on their potential involvement in neurodegenerative conditions such as Alzheimer's disease (AD). Here, we aimed to explore the impact of AD pathology on the density and nanoscale compartmentalization of CaV2.1 channels in the hippocampus in association with GABAB receptors. Histoblotting experiments showed that the density of CaV2.1 channel was significantly reduced in the hippocampus of APP/PS1 mice in a laminar-dependent manner. CaV2.1 channel was enriched in the active zone of the axon terminals and was present at a very low density over the surface of dendritic tree of the CA1 pyramidal cells, as shown by quantitative SDS-digested freeze-fracture replica labelling (SDS-FRL). In APP/PS1 mice, the density of CaV2.1 channel in the active zone was significantly reduced in the strata radiatum and lacunosum-moleculare, while it remained unaltered in the stratum oriens. The decline in Cav2.1 channel density was found to be associated with a corresponding impairment in the GABAergic synaptic function, as evidenced by electrophysiological experiments carried out in the hippocampus of APP/PS1 mice. Remarkably, double SDS-FRL showed a co-clustering of CaV2.1 channel and GABAB1 receptor in nanodomains (~40–50 nm) in wild type mice, while in APP/PS1 mice this nanoarchitecture was absent. Together, these findings suggest that the AD pathology-induced reduction in CaV2.1 channel density and CaV2.1-GABAB1 de-clustering may play a role in the synaptic transmission alterations shown in the AD hippocampus. Therefore, uncovering these layer-dependent changes in P/Q calcium currents associated with AD pathology can benefit the development of future strategies for AD management.}, author = {Martín‐Belmonte, Alejandro and Aguado, Carolina and Alfaro‐Ruiz, Rocío and Kulik, Akos and de la Ossa, Luis and Moreno‐Martínez, Ana Esther and Alberquilla, Samuel and García‐Carracedo, Lucía and Fernández, Miriam and Fajardo‐Serrano, Ana and Aso, Ester and Shigemoto, Ryuichi and Martín, Eduardo D. and Fukazawa, Yugo and Ciruela, Francisco and Luján, Rafael}, issn = {1750-3639}, journal = {Brain Pathology}, number = {2}, publisher = {Wiley}, title = {{Nanoarchitecture of CaV>2.1 channels and GABAB receptors in the mouse hippocampus: Impact of APP/PS1 pathology}}, doi = {10.1111/bpa.13279}, volume = {35}, year = {2025}, } @article{17459, abstract = {Atopic dermatitis (AD) is the most common chronic inflammatory skin disease worldwide. AD is a highly complex disease with different subtypes. Many elements of AD pathophysiology have been described, but if/how they interact with each other or which mechanisms are important in which patients is still unclear. Langerhans cells (LCs) are antigen-presenting cells (APCs) in the epidermis. Depending on the context, they can act either pro- or anti-inflammatory. Many different studies have investigated LCs in the context of AD and found them to be connected to all major mechanisms of AD pathophysiology. As APCs, LCs recruit other immune cells and shape the immune response, especially adaptive immunity via polarization of T cells. As sentinel cells, LCs are primary sensors of the skin microbiome and are important for the decision of immunity versus tolerance. LCs are also involved with the integrity of the skin barrier by influencing tight junctions. Finally, LCs are important cells in the neuro-immune crosstalk in the skin. In this review, we provide an overview about the many different roles of LCs in AD. Understanding LCs might bring us closer to a more complete understanding of this highly complex disease. Potentially, modulating LCs might offer new options for targeted therapies for AD patients.}, author = {Pan, Yi and Hochgerner, Mathias and Cichon, Malgorzata Anna and Benezeder, Theresa and Bieber, Thomas and Wolf, Peter}, issn = {1468-3083}, journal = {Journal of the European Academy of Dermatology and Venereology}, number = {2}, pages = {278--289}, publisher = {Wiley}, title = {{Langerhans cells: Central players in the pathophysiology of atopic dermatitis}}, doi = {10.1111/jdv.20291}, volume = {39}, year = {2025}, } @article{17468, abstract = {Oxygen redox chemistry is central to life1 and many human-made technologies, such as in energy storage2,3,4. The large energy gain from oxygen redox reactions is often connected with the occurrence of harmful reactive oxygen species3,5,6. Key species are superoxide and the highly reactive singlet oxygen3,4,5,6,7, which may evolve from superoxide. However, the factors determining the formation of singlet oxygen, rather than the relatively unreactive triplet oxygen, are unknown. Here we report that the release of triplet or singlet oxygen is governed by individual Marcus normal and inverted region behaviour. We found that as the driving force for the reaction increases, the initially dominant evolution of triplet oxygen slows down, and singlet oxygen evolution becomes predominant with higher maximum kinetics. This behaviour also applies to the widely observed superoxide disproportionation, in which one superoxide is oxidized by another, in both non-aqueous and aqueous systems, with Lewis and Brønsted acidity controlling the driving forces. Singlet oxygen yields governed by these conditions are relevant, for example, in batteries or cellular organelles in which superoxide forms. Our findings suggest ways to understand and control spin states and kinetics in oxygen redox chemistry, with implications for fields, including life sciences, pure chemistry and energy storage.}, author = {Mondal, Soumyadip and Nguyen, Huyen T.K. and Hauschild, Robert and Freunberger, Stefan Alexander}, issn = {1476-4687}, journal = {Nature}, number = {8085}, pages = {601–605}, publisher = {Springer Nature}, title = {{Marcus kinetics control singlet and triplet oxygen evolving from superoxide}}, doi = {10.1038/s41586-025-09587-7}, volume = {646}, year = {2025}, } @article{17884, abstract = {Human T cell leukemia virus type 1 (HTLV-1) immature particles differ in morphology from other retroviruses, suggesting a distinct way of assembly. Here we report the results of cryo-electron tomography studies of HTLV-1 virus-like particles assembled in vitro, as well as derived from cells. This work shows that HTLV-1 uses a distinct mechanism of Gag–Gag interactions to form the immature viral lattice. Analysis of high-resolution structural information from immature capsid (CA) tubular arrays reveals that the primary stabilizing component in HTLV-1 is the N-terminal domain of CA. Mutagenesis analysis supports this observation. This distinguishes HTLV-1 from other retroviruses, in which the stabilization is provided primarily by the C-terminal domain of CA. These results provide structural details of the quaternary arrangement of Gag for an immature deltaretrovirus and this helps explain why HTLV-1 particles are morphologically distinct.}, author = {Obr, Martin and Percipalle, Mathias and Chernikova, Darya and Yang, Huixin and Thader, Andreas and Pinke, Gergely and Porley, Dario J and Mansky, Louis M. and Dick, Robert A. and Schur, Florian KM}, issn = {1545-9985}, journal = {Nature Structural & Molecular Biology}, pages = {268--276}, publisher = {Springer Nature}, title = {{Distinct stabilization of the human T cell leukemia virus type 1 immature Gag lattice}}, doi = {10.1038/s41594-024-01390-8}, volume = {32}, year = {2025}, } @article{18074, abstract = {The Aharonov–Casher theorem is a result on the number of the so-called zero modes of a system described by the magnetic Pauli operator in R2. In this paper we address the same question for the Dirac operator on a flat two-dimensional manifold with boundary and Atiyah–Patodi–Singer boundary condition. More concretely we are interested in the plane and a disc with a finite number of circular holes cut out. We consider a smooth compactly supported magnetic field on the manifold and an arbitrary magnetic field inside the holes.}, author = {Fialova, Marie}, issn = {1424-0637}, journal = {Annales Henri Poincare}, pages = {2859--2900}, publisher = {Springer Nature}, title = {{Aharonov–Casher theorems for Dirac operators on manifolds with boundary and APS boundary condition}}, doi = {10.1007/s00023-024-01482-7}, volume = {26}, year = {2025}, } @article{18154, abstract = {In 1976, Deligne and Lusztig realized the representation theory of finite groups of Lie type inside étale cohomology of certain algebraic varieties. Recently, a p-adic version of this theory started to emerge: there are p-adic Deligne–Lusztig spaces, whose cohomology encodes representation theoretic information for p-adic groups – for instance, it partially realizes the local Langlands correspondence with characteristic zero coefficients. However, the parallel case of coefficients of positive characteristic ℓ≠p has not been inspected so far. The purpose of this article is to initiate such an inspection. In particular, we relate cohomology of certain p-adic Deligne–Lusztig spaces to Vignéras's modular local Langlands correspondence for GLn.}, author = {Löwit, Jakub}, issn = {1090-266X}, journal = {Journal of Algebra}, number = {2}, pages = {81--118}, publisher = {Elsevier}, title = {{On modulo ℓ cohomology of p-adic Deligne–Lusztig varieties for GLn}}, doi = {10.1016/j.jalgebra.2024.08.033}, volume = {663}, year = {2025}, } @article{18157, abstract = {Interest in sliding block puzzles dates back to the 15-puzzle, seemingly invented by Noyes Chapman in 1874 (see [23] for an account of the fascinating history of the puzzle). The game consists of fifteen movable square blocks numbered and arranged within a square box, leaving one empty space (see Figure 1). The task at hand is to start from a given configuration of the numbered blocks and reach the desired target configuration, where the only allowed move is to slide a numbered block into an adjacent empty space. This task seemed to be unpredictably either very easy to accomplish, or completely impossible, and the puzzle turned into a worldwide sensation in the spring of 1880. A particularly challenging instance, known as the 13-15-14 puzzle, consisted of initial and target configurations that differed by a single swap (historically this swap involved the blocks labeled 14 and 15). The craze of this puzzle was such that it consistently made newspaper headlines in 1880, with an article in the New York Times lamenting that it was “threatening our free institutions” [23, p. 9]. Various prizes were offered for anyone who could solve this challenge, beginning with a $25 set of teeth and culminating with Sam Loyd’s famous $1,000 cash prize.}, author = {Brunck, Florestan R and Kwan, Matthew Alan}, issn = {0343-6993}, journal = {Mathematical Intelligencer}, pages = {52--65}, publisher = {Springer Nature}, title = {{Books, Hallways, and social butterflies: A note on sliding block puzzles}}, doi = {10.1007/s00283-024-10358-x}, volume = {47}, year = {2025}, } @article{18169, abstract = {As the complexity and criticality of software increase every year, so does the importance of runtime monitoring. Third-party and best-effort monitoring are especially valuable, yet under-explored areas of runtime monitoring. In this context, third-party monitoring means monitoring with a limited knowledge of the monitored software (as it has been developed by a third party). Best-effort monitoring keeps pace with the monitored software at the cost of possibly imprecise verdicts when keeping up with the monitored software would not be feasible. Most existing monitoring frameworks do not support the combination of third-party and best-effort monitoring because they either require the full access to the monitored code or the ability to process all observable events, or both. We present a middleware framework, Vamos, for the runtime monitoring of software. Vamos is explicitly designed to support third-party and best-effort scenarios. The design goals of Vamos are (i) efficiency (tracing events with low overhead), (ii) flexibility (the ability to monitor a variety of different event channels, and to connect to a wide range of monitors), and (iii) ease-of-use. To achieve its goals, Vamos combines aspects of event broker and event recognition systems with aspects of stream processing systems. We implemented a prototype toolchain for Vamos and conducted a set of experiments demonstrating the usability of the scheme. The results indicate that Vamos enables writing useful yet efficient monitors, and simplifies key aspects of setting up a monitoring system from scratch.}, author = {Chalupa, Marek and Mühlböck, Fabian and Muroya Lei, Stefanie and Henzinger, Thomas A}, issn = {0167-6423}, journal = {Science of Computer Programming}, number = {2}, publisher = {Elsevier}, title = {{VAMOS: Middleware for best-effort third-party monitoring}}, doi = {10.1016/j.scico.2024.103212}, volume = {240}, year = {2025}, } @article{18170, abstract = {This study presents a graphene field-effect transistor (gFET) biosensor with dual detection capabilities for SARS-CoV-2: one RNA detection assay to confirm viral positivity and the other for nucleocapsid (N-)protein detection as a proxy for infectiousness of the patient. This technology can be rapidly adapted to emerging infectious diseases, making an essential tool to contain future pandemics. To detect viral RNA, the highly conserved E-gene of the virus was targeted, allowing for the determination of SARS-CoV-2 presence or absence using nasopharyngeal swab samples. For N-protein detection, specific antibodies were used. Tested on 213 clinical nasopharyngeal samples, the gFET biosensor showed good correlation with RT-PCR cycle threshold values, proving its high sensitivity in detecting SARS-CoV-2 RNA. Specificity was confirmed using 21 pre-pandemic samples positive for other respiratory viruses. The gFET biosensor had a limit of detection (LOD) for N-protein of 0.9 pM, establishing a foundation for the development of a sensitive tool for monitoring active viral infection. Results of gFET based N-protein detection corresponded to the results of virus culture in all 16 available clinical samples and thus it also proved its capability to serve as a proxy for infectivity. Overall, these findings support the potential of the gFET biosensor as a point-of-care device for rapid diagnosis of SARS-CoV-2 infection and indirect assessment of infectiousness in patients, providing additional information for clinical and public health decision-making.}, author = {Herdina, Anna Nele and Bozdogan, Anil and Aspermair, Patrik and Dostalek, Jakub and Klausberger, Miriam and Lingg, Nico and Cserjan-Puschmann, Monika and Aguilar, Patricia Pereira and Auer, Simone and Demirtas, Halil and Andersson, Jakob and Lötsch, Felix and Holzer, Barbara and Steinrigl, Adi and Thalhammer, Florian and Schellnegger, Julia and Breuer, Monika and Knoll, Wolfgang and Strassl, Robert}, issn = {1873-4235}, journal = {Biosensors and Bioelectronics}, publisher = {Elsevier}, title = {{Bridging basic science and applied diagnostics: Comprehensive viral diagnostics enabled by graphene-based electronic biosensor technology advancements}}, doi = {10.1016/j.bios.2024.116807}, volume = {267}, year = {2025}, } @article{22021, abstract = {We establish global well-posedness for both the defocusing and focusing complex-valued modified Korteweg–de Vries equations on the real line in modulation spaces Ms,2p (R), for all 1  p < 1 and 0  s < 3/2 − 1/p. We will also show that such solutions admit global-in-time bounds in these spaces and that equicontinuous sets of initial data lead to equicontinuous ensembles of orbits. Indeed, such information forms a crucial part of our well-posedness argument.}, author = {Haque, Saikatul and Killip, Rowan and Visan, Monica and Zhang, Yunfeng}, issn = {2578-5885}, journal = {Pure and Applied Analysis}, number = {3}, pages = {615--637}, publisher = {Mathematical Sciences Publishers}, title = {{ Global well-posedness and equicontinuity for modified Korteweg–de Vries equations in modulation spaces}}, doi = {10.2140/paa.2025.7.615}, volume = {7}, year = {2025}, } @article{22027, abstract = {We demonstrate that in three space dimensions, the scattering behaviour of semilinear wave equations with quintic-type nonlinearities uniquely determines the nonlinearity. The nonlinearity is permitted to depend on both space and time.}, author = {Hu, Nicholas and Killip, Rowan and Visan, Monica}, issn = {2578-5885}, journal = {Pure and Applied Analysis}, keywords = {dispersive equations, nonlinear wave equation, semilinear wave equation, scattering, inverse scattering, deconvolution}, number = {1}, pages = {1--17}, publisher = {Mathematical Sciences Publishers}, title = {{Deconvolutional determination of the nonlinearity in a semilinear wave equation}}, doi = {10.2140/paa.2025.7.1}, volume = {7}, year = {2025}, } @article{22044, abstract = {We prove that the small-data scattering map uniquely determines the nonlinearity for a wide class of gauge-invariant, intercritical nonlinear Schrödinger equations. We use the Born approximation to reduce the analysis to a deconvolution problem involving the distribution function for linear Schrödinger solutions. We then solve this deconvolution problem using the Beurling–Lax Theorem.}, author = {Killip, Rowan and Murphy, Jason and Visan, Monica}, issn = {1361-6544}, journal = {Nonlinearity}, number = {1}, publisher = {IOP Publishing}, title = {{Determination of Schrödinger nonlinearities from the scattering map}}, doi = {10.1088/1361-6544/ada1bf}, volume = {38}, year = {2025}, } @article{22069, abstract = {For slowly-varying initial data, solutions to the Ablowitz–Ladik system have been proven to converge to solutions of the cubic Schrödinger equation. In this paper we show that in the continuum limit, solutions to the Ablowitz–Ladik system with H^1 initial data may also converge to solutions of the modified Korteweg–de Vries equation. To exhibit this new limiting behavior, it suffices that the initial data is supported near the inflection points of the dispersion relation associated with the Ablowitz–Ladik system. Our arguments employ harmonic analysis tools, Strichartz estimates, and the conservation of mass and energy. Correspondingly, they are applicable beyond the completely integrable models of greatest interest to us.}, author = {Killip, Rowan and Ouyang, Zhimeng and Visan, Monica and Wu, Lei}, issn = {1553-5231}, journal = {Discrete and Continuous Dynamical Systems}, number = {3}, pages = {821--846}, publisher = {American Institute of Mathematical Sciences}, title = {{The modified Korteweg–de Vries limit of the Ablowitz–Ladik system}}, doi = {10.3934/dcds.2024114}, volume = {45}, year = {2025}, } @article{22083, abstract = {We prove global well-posedness for the cubic nonlinear Schrödinger equation with nonlinearity concentrated on a homogeneous Poisson process.}, author = {Harrop-Griffiths, Benjamin and Killip, Rowan and Visan, Monica}, issn = {1361-6544}, journal = {Nonlinearity}, number = {9}, publisher = {IOP Publishing}, title = {{The nonlinear Schrödinger equation with sprinkled nonlinearity}}, doi = {10.1088/1361-6544/ae022e}, volume = {38}, year = {2025}, } @inproceedings{22120, author = {Muñoz Hermosilla, José M and Miles, Evan and McCarthy, Michael and Hardmeier, Florian and Melo Velasco, Juan Vicente and Jouvet, Guillaume and Pellicciotti, Francesca}, booktitle = {EGU General Assembly 2025}, location = {Vienna, Austria & Virtual}, publisher = {European Geosciences Union}, title = {{Towards reconstructing debris supply to reproduce the historic changes in debris extent at a Swiss glacier}}, doi = {10.5194/egusphere-egu25-17446}, year = {2025}, } @article{21263, abstract = {Two landmark results in combinatorial random matrix theory, due to Komlós and Costello–Tao–Vu, show that discrete random matrices and symmetric discrete random matrices are typically nonsingular. In particular, in the language of graph theory, when p is a fixed constant, the biadjacency matrix of a random Erdős–Rényi bipartite graph G(n,n,p) and the adjacency matrix of an Erdős–Rényi random graph G(n,p) are both nonsingular with high probability. However, very sparse random graphs (i.e., where p is allowed to decay rapidly with n) are typically singular, due to the presence of “local” dependencies such as isolated vertices and pairs of degree-1 vertices with the same neighbour. In this paper, we give a combinatorial description of the rank of a sparse random graph G(n,n,c/n) or G(n,c/n) in terms of such local dependencies, for all constants c=e (and we present some evidence that the situation is very different for c=e). This gives an essentially complete answer to a question raised by Vu (2014). As applications of our main theorem and its proof, we also determine the asymptotic singularity probability of the 2-core of a sparse random graph, we show that the rank of a sparse random graph is extremely well approximated by its matching number, and we deduce a central limit theorem for the rank of G(n,c/n).}, author = {Glasgow, Margalit and Kwan, Matthew Alan and Sah, Ashwin and Sawhney, Mehtaab}, issn = {1435-9863}, journal = {Journal of the European Mathematical Society}, publisher = {EMS Press}, title = {{The exact rank of sparse random graphs}}, doi = {10.4171/jems/1692}, year = {2025}, } @unpublished{21427, abstract = {While tumor malignancy has been extensively studied under the prism of genetic and epigenetic heterogeneity, tumor cell states also critically depend on reciprocal interactions with the microenvironment. This raises the hitherto untested possibility that heterogeneity of the untransformed tumor stroma can actively fuel malignant progression. As biological heterogeneity is inherently difficult to control, we adopted a reductionist approach and let tumor cells invade micro-engineered environments harboring obstacles with precision-controlled geometry. We find that not only the presence of obstacles, but more surprisingly their spatial disorder, causes a drastic shift from a collective to a single-cell mode of invasion – comparable in strength to cadherin loss. Combining live-imaging and perturbation experiments with minimal biophysical modeling, we demonstrate that cell detachments result both from local geometrical constraints and a global integration of spatial disorder over time. We show that different types of microenvironments map onto different universality classes of invasion dynamics - homogeneous substrates follow Kardar–Parisi–Zhang (KPZ) scaling, while disordered ones exhibit exponents consistent with KPZ with quenched disorder (KPZq). Our findings highlight generic physical principles for how the mode of cancer cell invasion depends on environmental heterogeneity, with potential implications to understand tumor evolution in vivo.}, author = {Dunajova, Zuzana and Tasciyan, Saren and Majek, Juraj and Merrin, Jack and Sahai, Erik and Sixt, Michael K and Hannezo, Edouard B}, booktitle = {bioRxiv}, title = {{Substrate heterogeneity promotes cancer cell dissemination through interface roughening}}, doi = {10.1101/2025.05.20.655037}, year = {2025}, } @article{20656, abstract = {Phytohormone auxin and its directional transport mediate much of the remarkably plastic development of higher plants. Positive feedback between auxin signaling and transport is a prerequisite for (1) self-organizing processes, including vascular tissue formation, and (2) directional growth responses such as gravitropism. Here, we identify a mechanism by which auxin signaling directly targets PIN auxin transporters. Via the cell-surface AUXIN-BINDING PROTEIN1 (ABP1)-TRANSMEMBRANE KINASE 1 (TMK1) receptor module, auxin rapidly induces phosphorylation and thus stabilization of PIN2. Following gravistimulation, initial auxin asymmetry activates autophosphorylation of the TMK1 kinase. This induces TMK1 interaction with and phosphorylation of PIN2, stabilizing PIN2 at the lower root side, thus reinforcing asymmetric auxin flow for root bending. Upstream of TMK1 in this regulation, ABP1 acts redundantly with the root-expressed ABP1-LIKE 3 (ABL3) auxin receptor. Such positive feedback between cell-surface auxin signaling and PIN-mediated polar auxin transport is fundamental for robust root gravitropism and presumably for other self-organizing developmental phenomena.}, author = {Rodriguez Solovey, Lesia and Fiedler, Lukas and Zou, Minxia and Giannini, Caterina and Monzer, Aline and Vladimirtsev, Dmitrii and Randuch, Marek and Yu, Yongfan and Gelová, Zuzana and Verstraeten, Inge and Hajny, Jakub and Chen, Meng and Tan, Shutang and Hörmayer, Lukas and Li, Lanxin and Marques-Bueno, Maria Mar and Quddoos, Zainab and Molnar, Gergely and Kulich, Ivan and Jaillais, Yvon and Friml, Jiří}, issn = {0092-8674}, journal = {Cell}, number = {22}, pages = {6138--6150.e17}, publisher = {Elsevier}, title = {{ABP1/ABL3-TMK1 cell-surface auxin signaling targets PIN2-mediated auxin fluxes for root gravitropism}}, doi = {10.1016/j.cell.2025.08.026}, volume = {188}, year = {2025}, } @phdthesis{20364, author = {Giannini, Caterina}, issn = {2663-337X}, keywords = {Auxin Signaling, Plant Development}, pages = {151}, publisher = {Institute of Science and Technology Austria}, title = {{Nuclear and cell surface auxin signaling in A. thaliana developmental transitions}}, doi = {10.15479/AT-ISTA-20364}, year = {2025}, }