@article{20755, abstract = {We report the development of a continuous flow approach to nitrogen atom insertion. The setup is modular, enabling the rapid optimization of reaction conditions for a wide range of substrates. The milder reaction conditions led to an improved substrate scope and functional group tolerance compared to batch conditions. The reactions can also be safely scaled up to preparative scale.}, author = {Moon, Sooyeon and Reisenbauer, Julia and Paschke, Ann-Sophie K. and Scotto, Alessandro and Terraneo, Luca and Brenner, Niklas and Lefebvre, Quentin and Fessard, Thomas C. and Morandi, Bill}, issn = {1364-548X}, journal = {Chemical Communications}, number = {87}, pages = {16993--16996}, publisher = {Royal Society of Chemistry}, title = {{Efficient optimization and synthesis of diverse azaarenes via nitrogen atom insertion under continuous flow conditions}}, doi = {10.1039/d5cc03194j}, volume = {61}, year = {2025}, } @article{20767, abstract = {Chemistry education at the graduate level and beyond faces the formidable challenge of a boundless and constantly expanding frontier of knowledge on many fronts. While modern learners have an increasingly broad range of resources available at their disposal (including open access text-based references, online videos, training problems, and other digital learning materials), there are comparatively fewer such materials aimed at the highest levels of study. With the goal of producing widely accessible graduate-level learning content, we created a community-based approach to online course design that is easily digestible to meet the expectations of modern learners. Herein, we report the development of an open access Advanced Organic Chemistry video-based online course and several other specialized minicourses using the Synthesis Workshop YouTube channel.}, author = {Horwitz, Matthew A. and Al-Ahmad, Reem and Bai, Xingfeng and Balletti, Matteo and Bellotti, Peter and Ben-Tal, Yael and Campbell, Mark W. and Cheasty, Kathleen and Crossley, Steven W. M. and Day, Craig S. and Deneny, Patrick J. and Forbes, Katherine C. and Gogarnoiu, Emma S. and Grant, Phillip S. and Halder, Riya and Harris, Georgia R. and Hernández-Lladó, Pol and Jouanneau, Morgan and Jost, Vera and Kutateladze, Dennis A. and Laudadio, Gabriele and Liu, Chun and Looby, Aidan P. and Maestro, Aitor and McCallum, Terry and Palkowitz, Maximilian D. and Paolillo, Joshua M. and Perry, Matthew W. D. and Reisenbauer, Julia and Reyes, Cesar and Sharma, Hayden A. and Sheong, Fu Kit and Thoma, Benjamin and Tran, Andrew V. and Tran, Duc N. and Aguilar Troyano, Francisco José and Verheyen, Thomas and Walsh, Mark P. and Wagner, Alicia and Wearing, Emily R. and Wuitschik, Georg}, issn = {1938-1328}, journal = {Journal of Chemical Education}, number = {9}, pages = {3777--3783}, publisher = {American Chemical Society}, title = {{Reimagining advanced chemistry education: A community-based approach to course design for modern learners}}, doi = {10.1021/acs.jchemed.5c00555}, volume = {102}, year = {2025}, } @misc{20780, abstract = {Sex-chromosome systems are highly variable across animals, but how they transition from one to another is not well understood. Diptera have undergone multiple sex-chromosome turnovers and expansions while maintaining their general chromosomal content, which makes them an ideal clade to study such transitions. We analysed more than 100 dipteran whole-genome assemblies and identified 4 new lineages that underwent sex-chromosome turnover (in addition to the 5 previously reported). We find the majority of turnovers happened in the group Schizophora, which tend to have fewer genes on the F element (the chromosome homologous to the ancestral insect X chromosome) than lower dipterans, a factor previously hypothesized to facilitate turnover. Most derived X chromosomes have higher GC content than autosomes, consistent with a high prevalence of male-achiasmy in Diptera. In addition, an excess of gene movement out of the X is detected for most of these new X chromosomes, and many of these moved genes have high testis expression in Drosophila, suggesting that out-of-X gene movement contributes to the long-term demasculinization of X chromosomes.}, author = {Layana Franco, Lorena Alexandra and Toups, Melissa A and Vicoso, Beatriz}, keywords = {Schizophora, sex chromosomes, sex-chromosome turnover, Diptera, genomic features, out-of-X movement.}, publisher = {Institute of Science and Technology Austria}, title = {{Causes and consequences of sex-chromosome turnovers in Diptera}}, doi = {10.15479/AT-ISTA-20780}, year = {2025}, } @article{20795, abstract = {The tropical climate variability is characterized by various oscillations across a range of timescales. Oscillations that imprint the tropical mean state are generally attributed to slow processes, such as the seasonal cycle or interannual variability. Here, we identify a pronounced tropics-wide intraseasonal oscillation (TWISO) in satellite observations and reanalyses. This oscillation, with a period of 30 to 60 d, is evident across multiple variables and involves interactions between convection, radiation, surface fluxes, and large-scale circulation. It is primarily manifested as convective perturbations in the tropical Indo-Pacific warm pool accompanied by oscillations in the large-scale tropical overturning circulation. Here, we examine the relationship between TWISO, the Madden–Julian Oscillation (MJO), and the instability of radiative-convective equilibrium. Certain phases of TWISO coincide with specific phases of the MJO, suggesting a potential connection between the two. However, although the MJO can amplify the oscillation amplitude of TWISO, it is not essential for TWISO to occur. Finally, due to its broad manifestation across the tropics, TWISO potentially exerts widespread influence on tropical weather and climate at regional scales.}, author = {Bao, Jiawei and Bony, Sandrine and Takasuka, Daisuke and Muller, Caroline J}, issn = {1091-6490}, journal = {Proceedings of the National Academy of Sciences}, number = {48}, publisher = {National Academy of Sciences}, title = {{Tropics-wide intraseasonal oscillations}}, doi = {10.1073/pnas.2511549122}, volume = {122}, year = {2025}, } @article{20796, abstract = {Rapid prophase chromosome movements ensure faithful alignment of the parental homologous chromosomes and successful synapsis formation during meiosis. These movements are driven by cytoplasmic forces transmitted to the nuclear periphery, where chromosome ends are attached through transmembrane proteins. During many developmental stages a specific genome architecture with chromatin nuclear periphery contacts mediates specific gene expression. Whether chromatin is removed from the nuclear periphery as a consequence of chromosome motions or by a specific mechanism is not fully understood. Here, we identify a mechanism to remove chromatin from the nuclear periphery through vaccinia related kinase (VRK-1)–dependent phosphorylation of Barrier to Autointegration Factor 1 (BAF-1) in Caenorhabditis elegans early prophase of meiosis. Interfering with chromatin removal delays chromosome pairing, impairs synapsis, produces oocytes with abnormal chromosomes and elevated apoptosis. Long read sequencing reveals deletions and duplications in offspring lacking VRK-1 underscoring the importance of the BAF-1–VRK-1 module in preserving genome stability in gametes during rapid chromosome movements.}, author = {Paouneskou, Dimitra and Baudrimont, Antoine and Kelemen, Réka K and Elkrewi, Marwan N and Graf, Angela and Moukbel Ali Aldawla, Shehab and Kölbl, Claudia and Tiemann-Boege, Irene and Vicoso, Beatriz and Jantsch, Verena}, issn = {2041-1723}, journal = {Nature Communications}, publisher = {Springer Nature}, title = {{BAF-1–VRK-1 mediated release of meiotic chromosomes from the nuclear periphery is important for genome integrity}}, doi = {10.1038/s41467-025-65420-9}, volume = {16}, year = {2025}, } @article{20816, abstract = {Background: DNA methylation (DNAm) can regulate gene expression, and its genome-wide patterns (epigenetic scores or EpiScores) can act as biomarkers for complex traits. The relative stability of methylation profiles may enable better assessment of chronic exposures compared to single time-point protein measures. We present the first large-scale epigenetic study of the highly-abundant serum proteome measured via ultra-high throughput mass spectrometry in 14,671 samples from the Generation Scotland cohort. We further demonstrate the first large-scale comparison of protein EpiScores and their respective proteins as predictors of incident cardiovascular disease. Results: Marginal epigenome-wide association models, adjusting for age, sex, measurement batch, estimated white cell proportions, BMI, smoking and methylation principal components, reveal 15,855 significant CpG – protein associations across 125 of 133 proteins PBonferroni < 2.71 × 10-10. Bayesian epigenome-wide association studies of the same 133 proteins reveal 697 CpG-Protein associations (posterior inclusion probability > 0.95). 112 protein EpiScores correlate significantly with their respective protein in a holdout test-set. Of these, sixteen associate significantly with incident all-cause cardiovascular disease (Nevents=191) compared to one measured protein. Conclusions: We highlight a complex interplay between the blood-based methylome and proteome. Importantly, we show that protein EpiScores correlate with measured proteins and demonstrate that the, as-yet understudied, high-abundance proteome may yield clinically relevant biomarkers. The protein EpiScores demonstrate more significant associations with cardiovascular disease than directly measured proteins, suggesting their potential as clinical biomarkers for monitoring or predicting disease risk. We suggest that biomarker development could be enhanced by the consideration of protein EpiScores alongside measured proteins.}, author = {Robertson, Josephine A. and Bajzik, Jakub and Vernardis, Spyros and Chybowska, Aleksandra D. and Mccartney, Daniel L. and Grauslys, Arturas and Mur, Jure and Smith, Hannah M. and Campbell, Archie and Drake, Camilla and Grant, Hannah and Pearce, Jamie and Russ, Tom C. and Adkin, Poppy and White, Matthew and Brigden, Charles and Messner, Christoph B. and Porteous, David J. and Hayward, Caroline and Cox, Simon R. and Zelezniak, Aleksej and Ralser, Markus and Robinson, Matthew Richard and Marioni, Riccardo E.}, issn = {1474-760X}, journal = {Genome Biology}, publisher = {Springer Nature}, title = {{Methylome-wide association studies and epigenetic biomarker development for 133 mass spectrometry-assessed circulating proteins in 14,671 Generation Scotland participants}}, doi = {10.1186/s13059-025-03892-0}, volume = {26}, year = {2025}, } @inproceedings{20817, abstract = {We present Mechanistic PDE Networks -- a model for discovery of governing partial differential equations from data. Mechanistic PDE Networks represent spatiotemporal data as space-time dependent linear partial differential equations in neural network hidden representations. The represented PDEs are then solved and decoded for specific tasks. The learned PDE representations naturally express the spatiotemporal dynamics in data in neural network hidden space, enabling increased modeling power. Solving the PDE representations in a compute and memory-efficient way, however, is a significant challenge. We develop a native, GPU-capable, parallel, sparse and differentiable multigrid solver specialized for linear partial differential equations that acts as a module in Mechanistic PDE Networks. Leveraging the PDE solver we propose a discovery architecture that can discovers nonlinear PDEs in complex settings, while being robust to noise. We validate PDE discovery on a number of PDEs including reaction-diffusion and Navier-Stokes equations.}, author = {Pervez, Adeel A and Gavves, Efstratios and Locatello, Francesco}, booktitle = {42nd International Conference on Machine Learning}, issn = {2640-3498}, location = {Vancouver, Canada}, pages = {48962--48973}, publisher = {ML Research Press}, title = {{Mechanistic PDE networks for discovery of governing equations}}, volume = {267}, year = {2025}, } @inproceedings{20819, abstract = {Clustering is a cornerstone of data analysis that is particularly suited to identifying coherent subgroups or substructures in unlabeled data, as are generated continuously in large amounts these days. However, in many cases traditional clustering methods are not applicable, because data are increasingly being produced and stored in a distributed way, e.g. on edge devices, and privacy concerns prevent it from being transferred to a central server. To address this challenge, we present FedDP-KMeans, a new algorithm for -means clustering that is fully-federated as well as differentially private. Our approach leverages (potentially small and out-of-distribution) server-side data to overcome the primary challenge of differentially private clustering methods: the need for a good initialization. Combining our initialization with a simple federated DP-Lloyds algorithm we obtain an algorithm that achieves excellent results on synthetic and real-world benchmark tasks. We also provide a theoretical analysis of our method that provides bounds on the convergence speed and cluster identification success.}, author = {Scott, Jonathan A and Lampert, Christoph and Saulpic, David}, booktitle = {42nd International Conference on Machine Learning}, issn = {2640-3498}, location = {Vancouver, Canada}, pages = {53757--53790}, publisher = {ML Research Press}, title = {{Differentially private federated k-means clustering with server-side data}}, volume = {267}, year = {2025}, } @article{10045, abstract = {Given a fixed finite metric space (V,μ), the {\em minimum 0-extension problem}, denoted as 0-Ext[μ], is equivalent to the following optimization problem: minimize function of the form minx∈Vn∑ifi(xi)+∑ijcijμ(xi,xj) where cij,cvi are given nonnegative costs and fi:V→R are functions given by fi(xi)=∑v∈Vcviμ(xi,v). The computational complexity of 0-Ext[μ] has been recently established by Karzanov and by Hirai: if metric μ is {\em orientable modular} then 0-Ext[μ] can be solved in polynomial time, otherwise 0-Ext[μ] is NP-hard. To prove the tractability part, Hirai developed a theory of discrete convex functions on orientable modular graphs generalizing several known classes of functions in discrete convex analysis, such as L♮-convex functions. We consider a more general version of the problem in which unary functions fi(xi) can additionally have terms of the form cuv;iμ(xi,{u,v}) for {u,v}∈F, where set F⊆(V2) is fixed. We extend the complexity classification above by providing an explicit condition on (μ,F) for the problem to be tractable. In order to prove the tractability part, we generalize Hirai's theory and define a larger class of discrete convex functions. It covers, in particular, another well-known class of functions, namely submodular functions on an integer lattice. Finally, we improve the complexity of Hirai's algorithm for solving 0-Ext on orientable modular graphs. }, author = {Dvorak, Martin and Kolmogorov, Vladimir}, issn = {1436-4646}, journal = {Mathematical Programming}, keywords = {minimum 0-extension problem, metric labeling problem, discrete metric spaces, metric extensions, computational complexity, valued constraint satisfaction problems, discrete convex analysis, L-convex functions}, pages = {279--322}, publisher = {Springer Nature}, title = {{Generalized minimum 0-extension problem and discrete convexity}}, doi = {10.1007/s10107-024-02064-5}, volume = {209}, year = {2025}, } @article{8125, abstract = {Biological memory is known to be flexible—memory formation and recall depend on factors such as the behavioral context of the organism. However, this property is often ignored in associative memory models, leaving it unclear how memories can be organized and recalled when subject to contextual control. Because of the lack of a rigorous analytical framework, it is also unknown how contextual control affects memory stability, storage capacity, and information content. Here, we bring the dynamic nature of memory to the fore by introducing a novel model of associative memory, which we refer to as the context-modular memory network. In our model, stored memory patterns are associated to one of several background network states, or contexts. Memories are accessible when their corresponding context is active, and are otherwise inaccessible. Context modulates the effective network connectivity by imposing a specific configuration of neuronal and synaptic gating—gated neurons (synapses) have their activity (weights) momentarily silenced, thereby reducing interference from memories belonging to other contexts. Memory patterns are randomly and independently chosen, while neuronal and synaptic gates may be selected randomly or optimized through a process of contextual synaptic refinement. Through analytic and numerical results, we show that context-modular memory networks can exhibit both improved memory capacity and differential control of memory stability with random gating (especially for neuronal gating). For contextual synaptic refinement, we devise a method in which synapses are gated off for a given context if they destabilize the memory patterns in that context, drastically improving memory capacity and enabling even more precise control over memory stability. Notably, synaptic refinement allows for patterns to be accessible in multiple contexts, stabilizing memory patterns even for weight matrices that alone do not contain any information about the memory patterns, such as Gaussian random matrices. Overall, our model integrates recent ideas about context-dependent memory organization with classic associative memory models and proposes a rigorous theory which can act as a framework for future work. Furthermore, our work carries important implications for the understanding of biological memory storage and recall in the brain, such as highlighting an intriguing trade-off between memory capacity and accessibility.}, author = {Podlaski, William F. and Agnes, Everton J. and Vogels, Tim P}, issn = {2160-3308}, journal = {Physical Review X}, publisher = {American Physical Society}, title = {{High capacity and dynamic accessibility in associative memory networks with context-dependent neuronal and synaptic gating}}, doi = {10.1103/PhysRevX.15.011057}, volume = {15}, year = {2025}, } @article{8616, abstract = {The brain vasculature supplies neurons with glucose and oxygen, but little is known about how vascular plasticity contributes to brain function. Using longitudinal in vivo imaging, we report that a substantial proportion of blood vessels in the adult mouse brain sporadically occlude and regress. Their regression proceeds through sequential stages of blood-flow occlusion, endothelial cell collapse, relocation or loss of pericytes, and retraction of glial endfeet. Regressing vessels are found to be widespread in mouse, monkey and human brains. We further reveal that blood vessel regression cause a reduction of neuronal activity due to a dysfunction in mitochondrial metabolism and glutamate production. Our results elucidate the mechanism of vessel regression and its role in neuronal function in the adult brain.}, author = {Gao, Xiaofei and Li, Jun-Liszt and Chen, Xingjun and Ci, Bo and Chen, Fei and Lu, Nannan and Shen, Bo and Zheng, Lijun and Jia, Jie-Min and Yi, Yating and Zhang, Shiwen and Shi, Ying-Chao and Shi, Kaibin and Propson, Nicholas E and Huang, Yubin and Poinsatte, Katherine and Zhang, Zhaohuan and Yue, Yuanlei and Bosco, Dale B and Lu, Ying-mei and Yang, Shi-bing and Adams, Ralf H. and Lindner, Volkhard and Huang, Fen and Wu, Long-Jun and Zheng, Hui and Han, Feng and Hippenmeyer, Simon and Stowe, Ann M. and Peng, Bo and Margeta, Marta and Wang, Xiaoqun and Liu, Qiang and Körbelin, Jakob and Trepel, Martin and Lu, Hui and Zhou, Bo O. and Zhao, Hu and Su, Wenzhi and Bachoo, Robert M. and Ge, Woo-ping}, issn = {2041-1723}, journal = {Nature Communications}, publisher = {Springer Nature}, title = {{Reduction of neuronal activity mediated by blood-vessel regression in the brain}}, doi = {10.1038/s41467-025-60308-0}, volume = {16}, year = {2025}, } @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}, }