@article{21981, abstract = {For Hamiltonian actions of semidirect products G = FxH, we study 2-cocycles arising from residual Hamiltonian actions of F on Hamiltonian reductions for H. The motivation comes from the study of Teichmüller spaces for surfaces with boundary, which carry Hamiltonian actions of the Virasoro algebra. In this paper, we give a general setup for the problem, and we suggest an easier way to obtain the Gelfand-Fuchs 2-cocycles for Hamiltonian actions on Teichmüller spaces.}, author = {Goncharov, Viacheslav}, issn = {1879-1662}, journal = {Journal of Geometry and Physics}, publisher = {Elsevier}, title = {{An easier way to compute 2-cocycles coming from a reduction for semidirect products}}, doi = {10.1016/j.geomphys.2026.105878}, volume = {227}, year = {2026}, } @article{21472, abstract = {We study the ground state energy of a gas of spin 1/2 fermions with repulsive short-range interactions. We derive an upper bound that agrees, at low density e, with the Huang–Yang conjecture. The latter captures the first three terms in an asymptotic low-density expansion, and in particular the Huang–Yang correction term of order e^7/3. Our trial state is constructed using an adaptation of the bosonic Bogoliubov theory to the Fermi system, where the correlation structure of fermionic particles is incorporated by quasi-bosonic Bogoliubov transformations. In the latter, it is important to consider a modified zero-energy scattering equation that takes into account the presence of the Fermi sea, in the spirit of the Bethe–Goldstone equation.}, author = {Giacomelli, Emanuela L. and Hainzl, Christian and Nam, Phan Thành and Seiringer, Robert}, issn = {1097-0312}, journal = {Communications on Pure and Applied Mathematics}, publisher = {Wiley}, title = {{The Huang–Yang formula for the low-density Fermi gas: Upper bound}}, doi = {10.1002/cpa.70040}, year = {2026}, } @article{21767, abstract = {The involvement of non-scientific staff in discussions about animal welfare and scientific quality is essential for biomedical research progress. In this study, we developed a survey to collect the self-perception of animal care staff (ACS) and laboratory technicians about their involvement in scientific planning and conduct. Participants were contacted to complete an anonymous online questionnaire. We obtained 850 responses, mainly from Europe: 564 from ACS and 286 from laboratory technicians. Job satisfaction was assessed as positive by ACS and laboratory technicians despite the low frequency of culture of care activities and mental health meetings. Both groups expressed their desire to be trained in research planning and conduct; however, regular training was not reported. In addition, the inability to act on animal welfare concerns owing to experimental reasons was reported by both groups. Over half of the participants felt valued and appreciated by the lead scientists or animal facility manager; however, it is not clear how they are acknowledged, as their names on the authors list or in the manuscript acknowledgments are barely included. Our results indicated that involvement of ACS and laboratory technicians in planning and conducting studies would improve their understanding of how experiments are done, and therefore communication processes, work satisfaction, animal welfare, and scientific quality. Finally, we provided recommendations to improve the engagement of ACS and laboratory technicians in discussions about animal research planning and conduct.}, author = {Gonzalez-Uarquin, Fernando and Jirkof, Paulin and Bert, Bettina and Hawkins, Penny and Angelovski, Ljupco and Baumgart, Jan and Baumgart, Nadine and Cevik, Özge S. and Franco, Nuno H. and Horata, Erdal and Kaura, Rohish and Neuhaus, Winfried and Riso, Brigida and Smith, Adrian J. and Sotiropoulos, Athanassia and Vitale, Augusto and Schober, Sophie}, issn = {1758-1117}, journal = {Laboratory Animals}, publisher = {SAGE Publications}, title = {{Building bridges: Involvement of animal care staff and laboratory technicians in experimental planning and conduct of animal studies for better job satisfaction and science}}, doi = {10.1177/00236772251400976}, year = {2026}, } @article{21759, abstract = {Promoters and enhancers are cis-regulatory elements (CREs), DNA sequences that bind transcription factor (TF) proteins to up- or down-regulate target genes. Decades-long efforts yielded TF-DNA interaction models that predict how strongly an individual TF binds arbitrary DNA sequences and how individual binding events on the CRE combine to affect gene expression. These insights can be synthesized into a global, biophysically realistic, and quantitative genotype-phenotype (GP) map for gene regulation, a ‘holy grail’ for the application of evolutionary theory. A global map provides a rare opportunity to simulate the long-term evolution of regulatory sequences and pose several fundamental questions: How long does it take to evolve CREs de novo? How many non-trivial regulatory functions exist in sequence space? How connected are they? For which regulatory architecture is CRE evolution most rapid and evolvable? In this article, the second of a two-part series, we review the application of evolutionary concepts — epistasis, robustness, evolvability, tunability, plasticity, and bet-hedging — to the evolution of gene regulatory sequences. We then evaluate the potential for a unifying theory for the evolution of regulatory sequences and identify key open challenges.}, author = {Mascolo, Elia and Körei, Reka E and Borst, Noa O. and Barton, Nicholas H and Crocker, Justin and Tkačik, Gašper}, issn = {1879-0380}, journal = {Current Opinion in Genetics and Development}, publisher = {Elsevier}, title = {{Long-term evolution of regulatory DNA sequences. Part 2: Theory and future challenges}}, doi = {10.1016/j.gde.2026.102472}, volume = {98}, year = {2026}, } @article{21483, abstract = {Embryogenesis in the model plant Arabidopsis thaliana provides a framework for understanding how cell polarity and patterning coordinate with hormonal signalling to establish the plant body plan. Following fertilisation, the zygote divides asymmetrically to generate apical and basal lineages, establishing the apical–basal axis that defines future shoot and root poles. Genetic and molecular analyses of classical mutants including gnom, monopteros (mp), bodenlos (bdl) and topless revealed that localised auxin biosynthesis, directional transport and downstream transcriptional responses are central to apical–basal axis establishment and organ initiation. The main components of this regulation are polarly localised PIN auxin transporters and downstream modules involving MONOPTEROS and WUSCHEL-RELATED HOMEOBOX transcription factors. Advances in microscopy have transformed the study of Arabidopsis embryogenesis: fluorescence-compatible clearing reagents and three-dimensional reconstructions now permit quantitative analyses of cell geometry, division orientation, and cytoskeletal dynamics. Live ovule imaging setups with confocal laser scanning and multiphoton microscopes enable real-time observation of embryo development, while laser-assisted cell ablation can be used to probe cell-to-cell communication and fate plasticity. Together, these methodological breakthroughs position Arabidopsis embryos as a prime model for dissecting the chemical and biophysical cues that shape plant development.}, author = {Babic, David and Zupunski, Milan and Friml, Jiří}, issn = {1469-8137}, journal = {New Phytologist}, publisher = {Wiley}, title = {{Imaging and genetic toolbox to study Arabidopsis embryogenesis}}, doi = {10.1111/nph.71072}, year = {2026}, } @article{21484, abstract = {An individual's phenotype reflects a complex interplay of the direct effects of their DNA, epigenetic modifications of their DNA induced by their parents, and indirect effects of their parents' DNA. Here, we derive how the genetic variance within a population is changed under the influence of indirect maternal, paternal and parent-of-origin effects under random mating. We also consider indirect effects of a sibling, in particular how the genetic variance is altered when looking at the phenotypic difference between two siblings. The calculations are then extended to include assortative mating (AM), which alters the variance by inducing increased homozygosity and correlations within and across loci. AM likely leads to covariance of parental genetic effects, a measure of the similarity of parents in the indirect effects they have on their children. We propose that this assortment for parental characteristics, where biological parents create similar environments for their children, can create shared parental effects across traits and the appearance of cross-trait AM. Our theory shows how the resemblance among relatives increases under both AM, indirect and parent-of-origin effects. When our model is used to predict correlations among relatives in human height, we find that explaining the patterns observed in real data requires both indirect genetic effects and assortative mating. The degree to which direct, indirect and epigenetic effects shape the phenotypic variance of complex traits remains an open question that requires large-scale family data to be resolved.}, author = {Krätschmer, Ilse and Robinson, Matthew Richard}, issn = {1943-2631}, journal = {Genetics}, publisher = {Oxford University Press}, title = {{A quantitative genetic model for indirect genetic effects and genomic imprinting under random and assortative mating}}, doi = {10.1093/genetics/iyag042}, year = {2026}, } @article{21502, abstract = {The mammalian brain stores glucose, the main circulating energy substrate, as glycogen. In rodents, the cerebellum contains relatively high glycogen levels, yet its cellular and subcellular distribution remains poorly defined. Using monoclonal antibodies against glycogen, we examined its distribution in the mouse cerebellar cortex. Glycogen was predominantly localized to Bergmann glia (BG) processes in the molecular layer and was also detected in Purkinje cells (PCs), the principal cerebellar neurons. To assess the functional significance of cerebellar glycogen, we analyzed behavior in mice lacking glycogen synthase 1 (Gys1) in BG or PCs using a floxed Gys1 line. Gys1 deficiency in either PCs or GFAP-positive cells reduced anxiety-like behavior, whereas combined deletion caused PC degeneration and ataxia. These findings reveal a critical role for glycogen metabolism in both astrocytes and neurons in cerebellar function.}, author = {Akther, Sonam and Lee, Ashley Bomin and Konno, Ayumu and Asiminas, Antonis and Vittani, Marta and Mishima, Tsuneko and Hirai, Hirokazu and Meehan, Claire Francesca and Duran, Jordi and Guinovart, Joan and Ashida, Hitoshi and Morita, Tsuyoshi and Baba, Otto and Shigemoto, Ryuichi and Nedergaard, Maiken and Hirase, Hajime}, issn = {2589-0042}, journal = {iScience}, number = {4}, publisher = {Elsevier}, title = {{Distribution and functional significance of rodent cerebellar glycogen}}, doi = {10.1016/j.isci.2026.115192}, volume = {29}, year = {2026}, } @article{21436, abstract = {The cobalt-intercalated transition metal dichalcogenide CoxTaS2 hosts a rich landscape of magnetic phases that depend sensitively on x. While the stoichiometric compound with x = 1/3 exhibits a single magnetic transition, samples with x≤0.325 display two transitions with an anomalous Hall effect (AHE) emerging in the lower temperature phase. Here, we resolve the spin structure in each phase by employing a suite of magneto-optical probes that include the discovery of anomalous magneto-birefringence: a spontaneous time-reversal sensitive rotation of the principal optic axes. A symmetry-based analysis identifies the AHE-active phase as an anisotropic (2+1)Q state, in which magnetic modulation at one wavevector (Q) differs in symmetry from that at the remaining two. The (2+1)Q state naturally exhibits scalar spin chirality as a mechanism for the AHE and expands the classification of multi-Q magnetic phases.}, author = {Kruppe, Jonathon and Rodriguez, Josue and Xu, Catherine and Analytis, James and Orenstein, Joseph and Sunko, Veronika}, issn = {2397-4648}, journal = {npj Quantum Materials}, publisher = {Springer Nature}, title = {{Anisotropic multi-Q order in CoxTaS2}}, doi = {10.1038/s41535-026-00856-w}, year = {2026}, } @article{21986, abstract = {Over the past two decades, molecular electronics has made significant progress toward discovering nanoscale analogues of conventional electronic components, largely enabled by the development of the scanning tunneling microscope-based break-junction (STM-BJ) technique. The STM-BJ technique enables precise and highly reproducible measurement of a molecule’s electronic transport properties, making it a powerful technique to explore physiochemical and electrochemical phenomena that are otherwise difficult to access. It has gained substantial popularity in the past 20 years, with experiments becoming increasingly diverse and sophisticated. Despite the wealth of literature, an accessible, practical guide to performing STM-BJ experiments and interpreting the data is largely absent. This tutorial includes a brief background into the development of STM-BJ measurements, followed by detailed explanations of instrumentation, data collection, statistical analysis, variations on standard experiments, and some troubleshooting methods. It is aimed at researchers looking to begin or improve STM-BJ studies in their laboratories, graduate students and postdoctoral researchers learning the technique, and readers seeking to critically evaluate the growing body of STM-BJ literature.}, author = {York, Emma and Venkataraman, Latha}, issn = {2694-2445}, journal = {ACS Physical Chemistry Au}, number = {3}, pages = {408--424}, publisher = {American Chemical Society}, title = {{Scanning tunneling microscope-based break-junction technique - A tutorial}}, doi = {10.1021/acsphyschemau.6c00026}, volume = {6}, year = {2026}, } @article{21987, abstract = {We introduce JODIE, a genetic joint modeling approach that estimates how DNA loci influence human traits by partitioning genetic effects into four components: direct effects (from a child’s alleles), indirect maternal and paternal effects (from parents’ alleles), and parent-of-origin (PofO) effects (dependent on parental transmission of alleles), while uniquely accounting for assortative mating. We analyze 30,000 child-mother-father trios from the Estonian Biobank and the Norwegian Mother, Father, and Child Cohort, focusing on height, body mass index, and childhood educational test scores. We find direct effects to be the largest contributor to trait variation, but combined, indirect parental and PofO effects are similarly substantial. We support our results by within-family genome-wide association testing and identify 276 independently associated DNA regions with a complex interplay between direct, indirect, and PofO effects. By joint modeling, we show that direct, indirect, and PofO effects collectively shape human phenotypic variation across loci genome-wide.}, author = {Krätschmer, Ilse and Hegemann, Laura and Hofmeister, Robin J. and Corfield, Elizabeth C. and Mahmoudi, Mahdi and Delaneau, Olivier and Andreassen, Ole A. and Campbell, Archie and Hayward, Caroline and Marioni, Riccardo E. and Ystrom, Eivind and Havdahl, Alexandra and Robinson, Matthew Richard}, issn = {2666-979X}, journal = {Cell Genomics}, publisher = {Elsevier}, title = {{Separating direct, indirect, and parent-of-origin genetic effects in the human population}}, doi = {10.1016/j.xgen.2026.101277}, year = {2026}, } @unpublished{21994, abstract = {Adaptive plant development is orchestrated, among others, by directional, intercellular transport of the phytohormone auxin. Self-organizing development, such as flexible vasculature formation, depends on so-called auxin canalization, manifested by the gradual formation of auxin transport channels through feedback between auxin signalling and transport. Herein, we identify MAKR6 as an important, novel component in this feedback. MAKR6 expression accumulates strongly in vascular cells and is tightly regulated by auxin via the Aux/IAA-ARF-WRKY23 transcriptional network. MAKR6 is required for auxin canalization-dependent processes, including leaf venation, vasculature regeneration, and de novo auxin channel formation from local auxin sources. Mechanistically, MAKR6 interacts with the PIN1 auxin transporter, modulating its trafficking and polarization. MAKR6 also associates with and integrates two key receptor-like kinase complexes involved in canalization, TMK1/4 and the CAMEL-CANAR. Together, our study establishes MAKR6 as a multifaceted regulator that couples transcriptional auxin signalling to PIN1 repolarization and coordinates multiple RLK-mediated signalling pathways during canalization. This provides mechanistic insights into auxin canalization and exemplifies a framework for exploring similar regulatory nodes in other developmental contexts.}, author = {Ge, Zengxiang and Koczka, Lilla and Mazur, Ewa and Molnar, Gergely and Vladimirtsev, Dmitrii and Kassem, Nada and Ait Ikene, Sara and Fiedler, Lukas and Friml, Jiří}, booktitle = {bioRxiv}, title = {{MAKR6 integrates TMK and CAMEL/CANAR signalling for auxin canalization in Arabidopsis}}, doi = {10.1101/2025.10.07.680881}, year = {2026}, } @article{21998, abstract = {Little Red Dots (LRDs), among the most enigmatic high-redshift discoveries by JWST, are commonly believed to be powered by accreting supermassive black holes. Here, we explore the possibility that these sources are globular clusters in formation, with rest-frame UV arising from a very young stellar population and rest-frame optical from a short-lived supermassive (>104 M⊙) star. The spectral profiles of LRDs are broadly consistent with this scenario, though the observed temperatures and bolometric luminosities favor emission reprocessed by optically thick continuum-driven winds not fully captured by current models. The LRD z ∼ 5−7 UV luminosity function naturally evolves, under standard evolutionary and mass-loss prescriptions, into a present-day mass function with a turnover at log10(M*/M⊙) = 5.3 and an exponential cutoff at high masses, consistent with local globular cluster populations. We estimate the total present-day number density of LRDs formed across all redshifts to be ≈0.3 Mpc−3, similar within uncertainties to local globular clusters. The observed LRD redshift range matches the age distribution of metal-poor globular clusters, without current LRD counterparts to the metal-rich population. If LRDs are globular clusters in formation, we predict chemical abundance patterns characteristic of multiple stellar populations, including enhanced He and N, and potential Na–O and Al–Mg anticorrelations. These results offer a local perspective to explore this surprisingly abundant population of distant sources, and a potential new window into extreme stellar astrophysics in the early Universe.}, author = {Chisholm, John and Berg, Danielle A. and Boylan-Kolchin, Michael and De Graaff, Anna and Furtak, Lukas J. and Kokorev, Vasily and Matthee, Jorryt J and Muñoz, Julian B. and Naidu, Rohan P. and Sander, Andreas A.C.}, issn = {2041-8213}, journal = {The Astrophysical Journal Letters}, number = {1}, publisher = {IOP Publishing}, title = {{Little Red Dots as globular clusters in formation}}, doi = {10.3847/2041-8213/ae6dae}, volume = {1004}, year = {2026}, } @article{21997, abstract = {The massive binary common envelope (CE) phase plays a pivotal role in the formation of close black hole (BH)/neutron star binaries, yet significant uncertainties remain in our understanding of this process. In this study, we aim to constrain the massive binary CE phase by systematically reconstructing three observed BH X-ray binaries (BHXBs): GRO J1655-40, SAX J1819.3-2525, and 4U 1543-47. Through comprehensive binary evolution simulations and parametric supernova modeling, we establish lower limits for the CE efficiency parameters under different energy considerations within the standard energy formalism. Specifically, we derive minimum values for three cases: α0.5U and αU, representing CE efficiencies with half and all of the internal energy contributing to the envelope ejection, respectively, and αH, accounting for the envelope’s enthalpy. Our analysis reveals that the self-consistent formation of these three BHXBs requires CE efficiency parameters satisfying α0.5U ≳ 6.7, αU ≳ 4.2, and αH ≳ 1.7. Notably, we find no viable solutions with CE efficiency values below unity, even when considering the most extreme scenarios, in which the envelope binding energy is significantly reduced through enthalpy inclusion. Our results strongly imply that either additional energy sources are required or the formalism itself must be revised. Furthermore, we quantitatively assess the impact of BH natal kicks on our results. A key finding is that 4U 1543-47’s formation requires substantial natal kicks (≳50 km s−1), as lower kick velocities are incompatible with isolated binary evolution.}, author = {Li, Zhenwei and Wei, Dandan and Jia, Shi and Chen, Hailiang and Ge, Hongwei and Chen, Zhuo and Zhang, Yangyang and Chen, Xuefei and Han, Zhanwen}, issn = {1538-4357}, journal = {The Astrophysical Journal}, number = {1}, publisher = {IOP Publishing}, title = {{A path to constraints on common envelope ejection in massive binaries: Full evolutionary reconstruction of three Black Hole X-ray binaries}}, doi = {10.3847/1538-4357/ae66fd}, volume = {1004}, year = {2026}, } @article{14278, abstract = {The Birkhoff conjecture says that the boundary of a strictly convex integrable billiard table is necessarily an ellipse. In this article, we consider a stronger notion of integrability, namely, integrability close to the boundary, and prove a local version of this conjecture: a small perturbation of almost every ellipse that preserves integrability near the boundary, is itself an ellipse. We apply this result to study local spectral uniqueness of ellipses using the connection between the wave trace of the Laplacian and the dynamics near the boundary and establish local uniqueness for almost all of them.}, author = {Koval, Illya}, issn = {1432-1297}, journal = {Inventiones Mathematicae}, publisher = {Springer Nature}, title = {{Local strong Birkhoff conjecture and local spectral rigidity of almost every ellipse}}, doi = {10.1007/s00222-025-01397-y}, year = {2025}, } @article{14647, abstract = {In the developing vertebrate central nervous system, neurons and glia typically arise sequentially from common progenitors. Here, we report that the transcription factor Forkhead Box G1 (Foxg1) regulates gliogenesis in the mouse neocortex via distinct cell-autonomous roles in progenitors and postmitotic neurons that regulate different aspects of the gliogenic FGF signalling pathway. We demonstrate that loss of Foxg1 in cortical progenitors at neurogenic stages causes premature astrogliogenesis. We identify a novel FOXG1 target, the pro-gliogenic FGF pathway component Fgfr3, which is suppressed by FOXG1 cell-autonomously to maintain neurogenesis. Furthermore, FOXG1 can also suppress premature astrogliogenesis triggered by the augmentation of FGF signalling. We identify a second novel function of FOXG1 in regulating the expression of gliogenic cues in newborn neocortical upper-layer neurons. Loss of FOXG1 in postmitotic neurons non-autonomously enhances gliogenesis in the progenitors via FGF signalling. These results fit well with the model that newborn neurons secrete cues that trigger progenitors to produce the next wave of cell types, astrocytes. If FGF signalling is attenuated in Foxg1 null progenitors, they progress to oligodendrocyte production. Therefore, loss of FOXG1 transitions the progenitor to a gliogenic state, producing either astrocytes or oligodendrocytes depending on FGF signalling levels. Our results uncover how FOXG1 integrates extrinsic signalling via the FGF pathway to regulate the sequential generation of neurons, astrocytes, and oligodendrocytes in the cerebral cortex. }, author = {Bose, Mahima and Suresh, Varun and Mishra, Urvi and Talwar, Ishita and Yadav, Anuradha and Biswas, Shiona and Hippenmeyer, Simon and Tole, Shubha}, issn = {2050-084X}, journal = {eLife}, publisher = {eLife Sciences Publications}, title = {{Dual role of FOXG1 in regulating gliogenesis in the developing neocortex via the FGF signalling pathway}}, doi = {10.7554/elife.101851.3}, volume = {13}, 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}, }