@article{20847,
  abstract     = {We report on an experimental active matter system with motion restricted to four cardinal directions. Our particles are magnetite-doped colloidal spheres driven by the Quincke electrorotational instability. The absence of a magnetic field (|𝑩|=0) leads to circular trajectories interspersed with short spontaneous runs. Intermediate fields (|𝑩|≲20mT) linearize the motion along the axis perpendicular to 𝑩. At high magnetic fields, we observe the surprising emergence of a second, distinct linearization along the axis parallel to 𝑩. With numerical simulations, we show that this behavior can be explained by anisotropic magnetic susceptibility.},
  author       = {Fitzgerald, Eavan and Clavaud, Cécile and Das, Debasish and Lenton, Isaac C and Waitukaitis, Scott R},
  issn         = {2470-0053},
  journal      = {Physical Review E},
  number       = {6},
  publisher    = {American Physical Society},
  title        = {{Rolling at right angles: Magnetic anisotropy enables dual-anisotropic active matter}},
  doi          = {10.1103/1ss8-31rb},
  volume       = {112},
  year         = {2025},
}

@article{20848,
  abstract     = {Genetic variation that influences complex disease susceptibility is introduced into the population by mutation and removed by natural selection and genetic drift. This mutation–selection–drift balance (MSDB) shapes the prevalence of a disease and its genetic architecture. To date, however, MSDB has been modeled only for monogenic (Mendelian) diseases. Here, we develop an MSDB model for complex disease susceptibility: we assume that genotype relates to disease risk according to the canonical liability threshold model and that the selection on variants affecting risk stems from the fitness cost of the disease. We focus on diseases that are highly polygenic, entail a substantial fitness cost, and are neither extremely common in the population nor exceedingly rare. The comparison of model predictions with genome-wide association studies and other observations in humans indicates that common genetic variation affecting complex disease susceptibility is little affected by directional selection and instead shaped by pleiotropic stabilizing selection on other traits. In turn, directional selection may exert a more substantial effect on rare, large-effect variants. Our results also suggest that current estimates of disease heritability are likely biased. The model thus provides a better understanding of the evolutionary processes that shape the architecture and prevalence of complex diseases.},
  author       = {Berg, Jeremy J. and Li, Xinyi and Riall, Kellen and Hayward, Laura and Sella, Guy},
  issn         = {1943-2631},
  journal      = {Genetics},
  number       = {4},
  publisher    = {Oxford University Press},
  title        = {{Mutation–selection–drift balance models of complex diseases}},
  doi          = {10.1093/genetics/iyaf220},
  volume       = {231},
  year         = {2025},
}

@article{20857,
  abstract     = {Evolutionary games provide a flexible mathematical framework for many problems in biology and social evolution. Prisoners’ dilemma, and in particular, the important special case of donation games, represents social dilemmas where cooperation is mutually beneficial, yet defection is preferred by selfish agents. In evolutionary games on networks, the agents interact over a population structure. The existence of population structures that promote cooperative behavior is a fascinating and active research topic. Previous research establishes structures promoting cooperation in the limit of weak selection where the benefit-to-cost ratio β exceeds 1.5. The existence of such structures for medium and strong selection for 1 < ß < 2 and for weak selection for 1 < ß < 1.5 has been a long-standing open question. First, we answer the open questions in the affirmative: For every selection strength and every ß > 1, we construct networks promoting cooperation. Second, we present a robustness result with respect to β and selection strength: Our structures promote cooperation for a range of these parameter values rather than specific parameter values. Finally, we supplement our theoretical results with simulation results on small population structures that show the effectiveness of our construction over well-studied population structures.},
  author       = {Svoboda, Jakub and Chatterjee, Krishnendu},
  issn         = {1091-6490},
  journal      = {Proceedings of the National Academy of Sciences},
  number       = {51},
  pages        = {e2524109122},
  publisher    = {National Academy of Sciences},
  title        = {{Promoters of cooperation in evolutionary games}},
  doi          = {10.1073/pnas.2524109122},
  volume       = {122},
  year         = {2025},
}

@article{20864,
  abstract     = {Studies of the distant Universe are providing key insights into our understanding of the formation of galaxies. The advent of the James Webb Space Telescope (JWST) has significantly enhanced our observational capabilities, leading to an expanded redshift frontier, providing unprecedented detail in the characterisation of early galaxies and enabling the discovery of new populations of accreting black holes. This review aims to provide an introduction to the basic processes and components that shape the observed spectra of galaxies, with a focus on their relevance to techniques with which high-redshift galaxies are selected. The review further introduces specific topics that have attracted significant attention in recent literature, including the discovery of highly efficient galaxy formation in the early Universe, the relation between galaxies and the process of reionization, new insights into the formation of the first stars and the enrichment of interstellar gas with heavy elements, and breakthroughs in our understanding of the origins of supermassive black holes.},
  author       = {Matthee, Jorryt J},
  issn         = {1366-5812},
  journal      = {Contemporary Physics},
  number       = {1-4},
  pages        = {116--151},
  publisher    = {Taylor & Francis},
  title        = {{JWST provides a new view of cosmic dawn: Latest developments in studies of early galaxies}},
  doi          = {10.1080/00107514.2025.2586370},
  volume       = {66},
  year         = {2025},
}

@article{20866,
  abstract     = {In this work, we present hypernode automata as a specification formalism for hyperproperties of systems whose executions may be misaligned among themselves, such as concurrent systems. These automata consist of nodes labeled with hypernode logic formulas and transitions marked with synchronizing actions. Hypernode logic formulas establish relations between sequences of variable values among different system executions. This logic enables both synchronous and asynchronous analysis of traces. In its asynchronous view on execution traces, hypernode formulas establish relations on the order of value changes for each variable without correlating their timing. In both views, the analysis of different execution traces is synchronized through the transitions of hypernode automata. By combining logic’s declarative nature with automata’s procedural power, hypernode automata seamlessly integrate asynchronicity requirements at the node level with synchronicity between node transitions. We show that the model-checking problem for hypernode automata is decidable for specifications where each node specifies either a synchronous or an asynchronous requirement for the system’s executions, but not both.},
  author       = {Bartocci, Ezio and Chalupa, Marek and Henzinger, Thomas A and Nickovic, Dejan and Oliveira da Costa, Ana},
  issn         = {1432-0525},
  journal      = {Acta Informatica},
  number       = {4},
  publisher    = {Springer Nature},
  title        = {{Hypernode automata}},
  doi          = {10.1007/s00236-025-00509-8},
  volume       = {62},
  year         = {2025},
}

@article{20867,
  abstract     = {We discuss the embeddability of subspaces of the Gromov–Hausdorff space, which consists of isometry classes of compact metric spaces endowed with the Gromov–Hausdorff distance, into Hilbert spaces. These embeddings are particularly valuable for applications to topological data analysis. We prove that its subspace consisting of metric spaces with at most n points has asymptotic dimension n(n−1)∕2. Thus, there exists a coarse embedding of that space into a Hilbert space. On the contrary, if the number of points is not bounded, then the subspace cannot be coarsely embedded into any uniformly convex Banach space and so, in particular, into any Hilbert space. Furthermore, we prove that, even if we restrict to finite metric spaces whose diameter is bounded by some constant, the subspace still cannot be bi-Lipschitz embedded into any finite-dimensional Hilbert space. We obtain both nonembeddability results by finding obstructions to coarse and bi-Lipschitz embeddings in families of isometry classes of finite subsets of the real line endowed with the Euclidean–Hausdorff distance.},
  author       = {Zava, Nicolò},
  issn         = {1472-2739},
  journal      = {Algebraic & Geometric Topology},
  number       = {8},
  pages        = {5153--5174},
  publisher    = {Mathematical Sciences Publishers},
  title        = {{Coarse and bi-Lipschitz embeddability of subspaces of the Gromov–Hausdorff space into Hilbert spaces}},
  doi          = {10.2140/agt.2025.25.5153},
  volume       = {25},
  year         = {2025},
}

@article{20868,
  abstract     = {Residents of low-latitude megacities face growing vulnerability to humid-heat stress under urbanization and global warming, yet limited research has assessed the morbidity burden of mental and behavioral disorders (MBDs) linked to humid-heat exposures in these cities. Here we quantify the hospital admissions of MBDs in Shanghai, a megacity of over 25 million inhabitants, attributable to humid heat, and project future burdens under various greenhouse gas (GHG)-emission and population scenarios. Humid heat drives a higher morbidity burden than high temperature alone, especially in humid-heat nights. Without population change, the humid-heat-related morbidity burden of MBDs would increase by 68.2% (95% empirical confidence interval 56.7%–81.6%) under the highest-GHG-emission scenario by the 2090s, while 8,465 (95% empirical confidence interval 6,928–10,053) cases would be avoided by reducing emissions to the lowest pathway. With projected population decline, the attributable hospital admissions will decrease toward century’s end. These findings highlight the benefit of GHG mitigation in reducing the growing MBD risks posed by extreme humid heat.},
  author       = {Liang, Chen and Yuan, Jiacan and Zhang, Renhe and Tang, Xu and Schumann, Gunter and Hitchen, Esther and Polemiti, Elli and Serin, Emin and Kebir, Hedi and Lett, Tristram A. and Vaidya, Nilakshi and Roy, Jean-Charles and Walter, Henrik and Heinz, Andreas and Ralser, Markus and Twardziok, Sven and Eils, Roland and Jentsch, Marcel and Taron, Ulrike-Helene and Schütz, Tatjana and Schepanski, Kerstin and Banaschewski, Tobias and Neidhart, Maja and Meyer-Lindenberg, Andreas and Tost, Heike and Holz, Nathalie and Schwarz, Emanuel and Stringaris, Argyris and Christmann, Nina and Janson, Karina and Nees, Frauke and Neidhart, Maja and Seefried, Beke and Aden, Rieke and Andreassen, Ole A. and Westlye, Lars T. and van der Meer, Dennis and Fernández-Cabello, Sara and Kjelkenes, Rikka and Ask, Helga and Rapp, Michael and Tschorn, Mira and Böttger, Sarah Jane and Marquand, Andre and Bernas, Antoine and Novarino, Gaia and Slater, Mel and Gallego, Jaime and Pastor, Álvaro and Feixas, Guillem and Eiroa-Orosa, Francisco José and Nöthen, Markus M. and Forstner, Andreas J. and Claus, Isabelle and Mathey, Carina and Heilmann-Heimbach, Stefanie and Hoffmann, Per and Miller, Abigail and Sommer, Peter and Schmitt, Karen and Wilbertz, Johannes and Patraskaki, Myrto and Jirsa, Viktor and Petkoski, Spase and Athanasiadis, Anastasios-Polykarpos and Spanlang, Bernhard and Pearmund, Charlie and Hese, Sören and Renner, Paul and Jia, Tianye and Chang, Xiao and Dai, Yuxiang and Xia, Yunman and Li, Yuzhu and Zhang, Yanqing and Calhoun, Vince and Thompson, Paul and Clinton, Nicholas and Desrivières, Sylvane and Agunbiade, Kofoworola and Yu, Xinyang and Zhang, Zuo and Chen, Di and Young, Allan H. and Schwalber, Ameli and Köhler, Vanessa and Stahl, Bernd and Ogoh, George and Schikowski, Tamara and Brandlistuen, Ragnhild},
  issn         = {2731-6076},
  journal      = {Nature Mental Health},
  number       = {12},
  pages        = {1532--1544},
  publisher    = {Springer Nature},
  title        = {{Projecting the morbidity burden of mental and behavioral disorders associated with increasing humid heat in Shanghai}},
  doi          = {10.1038/s44220-025-00519-y},
  volume       = {3},
  year         = {2025},
}

@article{20869,
  abstract     = {Premise: What maintains trait divergence in the face of gene flow? Two varieties of wild snapdragon (Antirrhinum majus) characterized by divergent flower color hybridize in their native range. Selection on flower color genes is indicated by sharp clines, but the selective agents have not been demonstrated. Although previous work has focused on pollinators, pigmentation genes can also contribute to abiotic stress tolerance. We hypothesized that pigmentation in A. majus mediates stress tolerance, which could contribute to hybrid zone maintenance through parental niche divergence or hybrid maladaptation. Specifically, we tested whether morphotype mediates drought tolerance in an experiment comparing magenta-flowered var. pseudomajus, yellow-flowered var. striatum, and their pink-flowered hybrid cross.
Methods: We experimentally compared drought tolerance of each morphotype from allopatric crosses within and between varieties using three greenhouse treatments. Control plants were watered as needed, while drought-treated plants were watered half as often, either from the transplant stage (“early” drought), or from flowering onset (“late” drought).
Results: Parental morphotypes responded identically to drought in fitness and most phenotypic traits. However, hybrids had lower survival (14%) under late drought stress than parental morphotypes (70%). All hybrids that flowered in the late drought treatment died, compared to ~20% of flowering parental morphotypes.
Conclusions: Hybrid maladaptation to abiotic stress could potentially contribute to flower color divergence in the face of gene flow in A. majus. Further research should test the relevance of our results to field conditions and explicitly probe the role of flower color genes in drought tolerance.},
  author       = {Fuster‐Calvo, Alexandre and Jaworski, Coline C. and Ellis, Thomas and Baskett, Carina},
  issn         = {1537-2197},
  journal      = {American Journal of Botany},
  number       = {12},
  publisher    = {Wiley},
  title        = {{Reduced fitness under drought stress in F1 hybrids of Antirrhinum majus varieties with divergent flower colors}},
  doi          = {10.1002/ajb2.70129},
  volume       = {112},
  year         = {2025},
}

@inbook{20870,
  abstract     = {RNA sequencing (RNA-seq) methodologies have evolved rapidly, offering powerful tools to study gene expression, transcriptome dynamics, and molecular mechanisms in various biological contexts. However, the complexity of these approaches poses challenges in data interpretation, sensitivity, and applicability. This chapter provides a comprehensive overview of RNA-seq methodologies, highlighting their advantages, limitations, and applications, particularly in cardiovascular research. Bulk RNA sequencing enables high-throughput gene expression profiling but lacks the resolution to capture cellular heterogeneity and spatial context. Direct RNA sequencing preserves native RNA modifications, offering insights into post-transcriptional regulation, though it remains technically challenging. Single-cell RNA sequencing (scRNA-seq) and spatial transcriptomics (ST) bridge these gaps by resolving transcriptomic complexity at the cellular level and within tissue architecture, providing crucial insights into disease mechanisms such as atherosclerosis. By summarizing the strengths and limitations of these methodologies, this chapter aims to guide researchers in selecting the most suitable transcriptomic approach for their studies, ultimately advancing precision medicine and biomarker discovery in cardiovascular disease.},
  author       = {Stopa, Victoria and Sopić, Miron and Li, Guanliang and Sluimer, Judith and Basílio, José and van der Laan, Sander W. and Kreil, David P. and Devaux, Yvan and Hochreiter, Bernhard},
  booktitle    = {Transcriptomics in Atherosclerosis},
  editor       = {Devaux, Yvan and Sopic, Miron},
  isbn         = {9780443330643},
  pages        = {131--172},
  publisher    = {Elsevier},
  title        = {{Essentials of transcriptomic methods: Navigating through RNA sequencing and beyond}},
  doi          = {10.1016/b978-0-443-33064-3.00016-5},
  year         = {2025},
}

@article{20928,
  abstract     = {The current work focuses on the performance of hydrodynamics and mass transfer in a microchannel. A hydrodynamic model is developed for a gas–liquid (CO2–water) system and slug flow pattern. For the first time in literature, a concept of pulsating velocity input is introduced in an enhanced cross-T-junction microchannel to study the mass transfer using the physical absorption mechanism in ANSYS FLUENT R2 2024. The mass transfer model is associated with the hydrodynamic model and some user-defined functions in FLUENT. This work demonstrates that incorporating obstructions and applying trapezoidal and sinusoidal wave inputs improve the CO2 absorption rate. The obtained data are further compared with the plain T-junction microchannel in terms of mass transfer coefficient. Solubility of CO2 in three different solvents (ethyl alcohol, water, and ethylene glycol) has been revealed in an enhanced cross T-junction microchannel at two different temperatures, i.e., 298.15 and 303.15 K. The numerical simulations illustrate that an increase in temperature has an adverse effect on the mass transfer rate.},
  author       = {Khatoon, Bushra and Chaudhary, Vikas K. and Kamil, Shoaib and Hasan, Shabih Ul and Alam, M. Siraj},
  issn         = {1089-7666},
  journal      = {Physics of Fluids},
  number       = {12},
  publisher    = {AIP Publishing},
  title        = {{Enhanced mass transfer in microgeometry using pulsating velocity inputs: Hydrodynamic analysis and numerical simulation}},
  doi          = {10.1063/5.0303132},
  volume       = {37},
  year         = {2025},
}

@article{20929,
  abstract     = {Insulin/insulin-like growth factor signaling inhibits FOXO transcription factors to control development, homeostasis, and aging. Here, we use proximity labeling to identify proteins interacting with the C. elegans FOXO DAF-16. We show that in well-fed, unstressed animals harboring active insulin signaling, DAF-16 forms a complex with the PAR-1/MARK serine/threonine kinase, a key regulator of cell polarity. PAR-1 inhibits DAF-16 accumulation and promotes DAF-16 phosphorylation at S249, at a conserved motif that PAR-1/human MARK2 phosphorylates in vitro. DAF-2 insulin-like receptor signaling stimulates DAF-16 S249 phosphorylation, suggesting DAF-2 activates PAR-1. DAF-2 also promotes PAR-1 expression by inhibiting DAF-16. PAR-1 knockdown, or DAF-16 S249A, prolong lifespan, whereas phosphomimetic DAF-16 S249D suppresses the longevity of daf-2 mutants. At low insulin signaling, DAF-16 proximity labeling highlights transcription factors, chromatin regulators, and DNA repair proteins. One interactor, the zinc finger/homeobox protein ZFH-2/ZFHX3, forms a complex with DAF-16 and prolongs lifespan. Our work provides entry points for hypothesis-driven studies of FOXO function and longevity.},
  author       = {Artan, Murat and Schön, Hanna and De Bono, Mario},
  issn         = {2041-1723},
  journal      = {Nature Communications},
  publisher    = {Springer Nature},
  title        = {{Proximity labeling of DAF-16 FOXO highlights aging regulatory proteins}},
  doi          = {10.1038/s41467-025-66409-0},
  volume       = {16},
  year         = {2025},
}

@article{20930,
  abstract     = {Context. Beta Pictoris is an A-type star that hosts a complex planetary system with two massive gas giants and a prominent debris disc. Variable absorption lines in its stellar spectrum have been interpreted as signatures of exocomets – comet-like bodies transiting the star. Stellar flybys can gravitationally perturb objects in the outer comet reservoir, altering their orbits and potentially injecting them into the inner system, thereby triggering exocomet showers.
Aims. We assessed the contribution of stellar flybys to the observed exocomet activity by reconstructing the stellar encounter history of β Pictoris in the past and future.
Methods. We used Gaia DR3 data, supplemented with radial velocities from complementary spectroscopic surveys, to compile a catalogue of stars currently within 80 pc of β Pictoris. Their orbits were integrated backwards and forwards in time in an axisymmetric Galactic potential (via the GALA package) to identify encounters within 2 pc of the system.
Results. We identified 99 416 stars currently within 80 pc of β Pictoris with resolved kinematics. Among these, 49 stars (including the eight components of five binaries) encounter β Pictoris within 2 pc between –1.5 Myr and +2 Myr. For four of the binaries, the centre-of-mass trajectories also pass within 2 pc. We estimated the sample to be more than 60% complete within 0.5 Myr of today.
Conclusions. Despite β Pictoris being the eponym of its famous moving group, none of the identified encounters involved its moving group members; all are unrelated field stars. We found no encounter capable of shaping the observed disc structures, although stellar flybys may contribute to the long-term evolution of an Oort Cloud-like structure. Our catalogue constitutes the most complete reconstruction of the β Pictoris encounter history to date and provides a robust foundation for future dynamical simulations.},
  author       = {Gragera-Más, J. L. and Torres Rodriguez, Santiago and Mustill, A. J. and Villaver, E.},
  issn         = {1432-0746},
  journal      = {Astronomy & Astrophysics},
  publisher    = {EDP Sciences},
  title        = {{A kinematic history of stellar encounters with Beta Pictoris}},
  doi          = {10.1051/0004-6361/202555940},
  volume       = {704},
  year         = {2025},
}

@article{20932,
  abstract     = {Identifying Lyman continuum (LyC) leakers at intermediate redshifts is crucial for understanding the properties of cosmic reionizers because the opacity of the intergalactic medium (IGM) prevents the direct detection of LyC emission from sources during the Epoch of Reionization (EoR). In this study, we confirm two new LyC candidate leakers at z ∼ 3 in the Abell 2744 cluster field, with absolute escape fractions (fesc) of 0.83−0.80+0.15 and 0.74−0.70+0.23, respectively. The LyC emission was detected using HST/WFC3/F275W and F336W imaging. These two candidate leakers appear to be faint (MUV = −17.61 ± 0.06 and −18.22 ± 0.10), exhibit blue UV continuum slopes (β = −2.43 ± 0.05 and −1.92 ± 0.09), have low masses (M★ ∼ 107.51 ± 0.03 and 107.17 ± 0.15 M⊙) and Lyα equivalent widths of 90 ± 3 Å and 28 ± 12 Å, respectively. These two LyC candidate leakers were detected in a catalog of 91 spectroscopically confirmed sources using public spectra from the JWST and/or MUSE. We also analyzed properties that were proposed as indirect indicators of LyC emission, such as Lyα, the O32 ratio, and M★. We created a galaxy subsample that was selected according to these properties, stacked the LyC observations of this subsample, and assessed the limits of the escape fractions in the stacks. We aim to enhance our understanding of LyC escape mechanisms and improve our predictions of the LyC fesc during the EoR by analyzing the individual candidates and the stacks in the context of the currently limited sample of known LyC leakers at z ∼ 3.},
  author       = {Liu, Y. and Mascia, Sara and Pentericci, L. and Watson, P. and Alavi, A. and Bergamini, P. and Bradač, M. and Calabrò, A. and Glazebrook, K. and Henry, A. and Llerena, M. and Merlin, E. and Metha, B. and Nanayakkara, T. and Napolitano, L. and Roy, N. and Siana, B. and Vanzella, E. and Vulcani, B. and Wang, X.},
  issn         = {1432-0746},
  journal      = {Astronomy & Astrophysics},
  publisher    = {EDP Sciences},
  title        = {{A Lyman continuum analysis of ∼100 galaxies at z spec∼ 3 in the Abell 2744 cluster field}},
  doi          = {10.1051/0004-6361/202556410},
  volume       = {704},
  year         = {2025},
}

@article{20934,
  abstract     = { Supervised learning for causal discovery from observational data often achieves competitive performance despite seemingly avoiding the explicit assumptions that traditional methods require for identifiability. In this work, we analyze CSIvA (Ke et al., 2023) on bivariate causal models, a transformer architecture for amortized inference promising to train on synthetic data and transfer to real ones. First, we bridge the gap with identifiability theory, showing that the training distribution implicitly defines a prior on the causal model of the test observations: consistent with classical approaches, good performance is achieved when we have a good prior on the test data, and the underlying model is identifiable. Second, we find that CSIvA can not generalize to classes of causal models unseen during training: to overcome this limitation, we theoretically and empirically analyze \textit{when} training CSIvA on datasets generated by multiple identifiable causal models with different structural assumptions improves its generalization at test time. Overall, we find that amortized causal discovery still adheres to identifiability theory, violating the previous hypothesis from Lopez-Paz et al. (2015) that supervised learning methods could overcome its restrictions.},
  author       = {Montagna, Francesco and Cairney-Leeming, Maximilian T and Sridhar, Dhanya and Locatello, Francesco},
  issn         = {2835-8856},
  journal      = {Transactions on Machine Learning Research},
  publisher    = {ML Research Press},
  title        = {{Demystifying amortized causal discovery with transformers}},
  year         = {2025},
}

@article{20960,
  abstract     = {A linker unit was designed and synthesized that can serve both as a hairpin turn in a DNA duplex and anchor point for an aromatic helical foldamer mimicking the shape and surface properties of B‐DNA. Methods were developed to synthesize natural/non‐natural chimeric molecules combining foldamer and DNA segments. The ability of the linker to position the foldamer helix and the duplex DNA so that their rims and grooves are in register, despite their completely different chemical nature, was demonstrated using single crystal X‐ray diffraction, circular dichroism and molecular models. Bio‐layer interferometry confirmed that artificial hairpin DNA duplexes keep their ability to bind to DNA binding proteins. The chimeric molecules may pave the way to competitive inhibitors of protein‐DNA interactions involving sequence‐selective DNA‐binding proteins.},
  author       = {Loos, Manuel and Xu, Felix and Mandal, Pradeep K and Chakrabortty, Tulika and Douat, Céline and Konrad, David B. and Cabbar, Melis and Singer, Johannes and Corvaglia, Valentina and Carell, Thomas and Huc, Ivan},
  issn         = {1521-3773},
  journal      = {Angewandte Chemie International Edition},
  number       = {31},
  publisher    = {Wiley},
  title        = {{Interfacing B‐DNA and DNA mimic foldamers}},
  doi          = {10.1002/anie.202505273},
  volume       = {64},
  year         = {2025},
}

@article{20976,
  abstract     = {We present an experimental demonstration of an impedance-engineered Josephson parametric amplifier (IEJPA) fabricated in a single-step lithography process. Impedance-engineering is implemented using a lumped-element series LC circuit. We use a simpler lithography process where the entire device—impedance transformer and Josephson parametric amplifier (JPA)—is patterned in a single electron beam lithography step, followed by a double-angle Dolan-bridge technique for Al–AlOx–Al deposition. We observe amplification with 18 dB gain over a wide 400 MHz bandwidth centered around 5.3 GHz with added noise approaching the quantum limit, and a saturation power of −114 dBm. To accurately explain our experimental results, we extend existing theories for IEJPAs to incorporate the full sine nonlinearity of both the JPA and the transformer. Our work provides a route to simpler realization of broadband JPAs and a theoretical foundation for a regime of JPA operation that has been less explored in literature.},
  author       = {Patel, Lipi and Hawaldar, Samarth and Panikkar, Aditya and Shankar, Athreya and Suri, Baladitya},
  issn         = {1077-3118},
  journal      = {Applied Physics Letters},
  number       = {25},
  publisher    = {AIP Publishing},
  title        = {{Impedance-engineered Josephson parametric amplifier with single-step lithography}},
  doi          = {10.1063/5.0290636},
  volume       = {127},
  year         = {2025},
}

@article{20977,
  abstract     = {Hippocampal sharp-wave ripples (SPW-Rs) are high-frequency oscillations critical for memory consolidation. Despite extensive characterization in rodents, their detection in humans is limited by coarse spatial sampling, interictal epileptiform discharges (IEDs), and a lack of consensus on human ripple localization and morphology. Here, we demonstrate that mouse and human hippocampal ripples share spatial, spectral and temporal features, which are clearly distinct from IEDs. In recordings from male APP/PS1 mice, SPW-Rs were distinguishable from IEDs by multiple criteria. Hippocampal ripples recorded during NREM sleep in female and male surgical epilepsy patients exhibited similar narrowband frequency peaks and multiple ripple cycles in the CA1 and subiculum regions. Conversely, IEDs showed a broad spatial extent and wide-band frequency power. We developed a semi-automated, ripple curation toolbox (ripmap) to separate event waveforms by low-dimensional embedding to reduce false-positive rate in selected ripple channels. Our approach improves ripple detection and provides a firm foundation for future human memory research.},
  author       = {Maslarova, Anna and Shin, Jiyun N. and Navas Olivé, Andrea C and Vöröslakos, Mihály and Hamer, Hajo and Doerfler, Arnd and Henin, Simon and Buzsáki, György and Liu, Anli},
  issn         = {2041-1723},
  journal      = {Nature Communications},
  publisher    = {Springer Nature},
  title        = {{Spatiotemporal patterns differentiate hippocampal sharp-wave ripples from interictal epileptiform discharges in mice and humans}},
  doi          = {10.1038/s41467-025-66562-6},
  volume       = {16},
  year         = {2025},
}

@unpublished{20982,
  abstract     = {Plant cells respond to a wide range of stimuli through intracellular calcium (Ca2+) signaling. Cyclic nucleotide-gated channels (CNGCs) are a major class of plant Ca2+ channels, with 20 homologs in Arabidopsis. These tetrameric plasma membrane proteins act downstream of diverse signals, such as phytohormones, extracellular damage, cell wall integrity or temperature. Here, we identify a class of plant-specific proteins, Armadillo Repeat Only (ARO), as essential regulators of possibly all plant CNGCs. Abrogation of functional sporophytic AROs results in a phenotypic pattern strongly reminiscent of CNGC dysfunction, including defects in root gravitropism, root hair growth and morphology, stomatal movement, and responses to extracellular ATP and the phytohormone auxin. aro2/3/4 mutants are fully resistant to the toxic effects caused by overexpression of CNGCs. AROs colocalize and physically interact with multiple CNGCs and modulate CNGC-dependent currents in Xenopus oocytes. Structural modeling and site-directed mutagenesis reveal AROs tetramer formation surrounding the CNGC channel, interacting via its IQ domain. Taken together, plant CNGC channels don’t act alone, but in a larger complex - channelosome, first of a kind in plants.},
  author       = {Kulich, Ivan and Oulehlová, Denisa and Vladimirtsev, Dmitrii and Zou, Minxia and Lileikyte, Edita and Bondar, Alexey and Kulichová, Katarína and Janda, Martin and Iakovenko, Oksana and Neubergerová, Michaela and Studtrucker, Tanja and Pleskot, Roman and Dietrich, Petra and Fendrych, Matyas and Friml, Jiří},
  booktitle    = {bioRxiv},
  title        = {{Armadillo repeat only proteins are required for the function of plant CNGC channels}},
  doi          = {10.1101/2025.01.06.631460},
  year         = {2025},
}

@article{21007,
  abstract     = {Currently, the best known tradeoff between approximation ratio and complexity for the Sparsest Cut problem is achieved by the algorithm in [Sherman, FOCS 2009]: it computes O(√(log n)/ε)-approximation using O(nε logO(1) n) maxflows for any ε∈[Θ(1/log n),Θ(1)]. It works by solving the SDP relaxation of [Arora-Rao-Vazirani, STOC 2004] using the Multiplicative Weights Update algorithm (MW) of [Arora-Kale, JACM 2016]. To implement one MW step, Sherman approximately solves a multicommodity flow problem using another application of MW. Nested MW steps are solved via a certain "chaining" algorithm that combines results of multiple calls to the maxflow algorithm. We present an alternative approach that avoids solving the multicommodity flow problem and instead computes "violating paths". This simplifies Sherman's algorithm by removing a need for a nested application of MW, and also allows parallelization: we show how to compute O(√(log n)/ε)-approximation via O(logO(1) n) maxflows using O(nε) processors. We also revisit Sherman's chaining algorithm, and present a simpler version together with a new analysis.},
  author       = {Kolmogorov, Vladimir},
  issn         = {1549-6333},
  journal      = {ACM Transactions on Algorithms},
  number       = {4},
  pages        = {1--22},
  publisher    = {Association for Computing Machinery},
  title        = {{A simpler and parallelizable O(√log n)-approximation algorithm for SPARSEST CUT}},
  doi          = {10.1145/3748723},
  volume       = {21},
  year         = {2025},
}

@inproceedings{21020,
  abstract     = {Runtime verification offers scalable solutions to improve the safety and reliability of systems. However, systems that require verification or monitoring by a third party to ensure compliance with a specification might contain sensitive information, causing privacy concerns when usual runtime verification approaches are used. Privacy is compromised if protected information about the system, or sensitive data that is processed by the system, is revealed. In addition, revealing the specification being monitored may undermine the essence of third-party verification.
In this work, we propose two novel protocols for the privacy-preserving runtime verification of systems against formal sequential specifications. In our first protocol, the monitor verifies whether the system satisfies the specification without learning anything else, though both parties are aware of the specification. Our second protocol ensures that the system remains oblivious to the monitored specification, while the monitor learns only whether the system satisfies the specification and nothing more. Our protocols adapt and improve existing techniques used in cryptography, and more specifically, multi-party computation.
The sequential specification defines the observation step of the monitor, whose granularity depends on the situation (e.g., banks may be monitored on a daily basis). Our protocols exchange a single message per observation step, after an initialisation phase. This design minimises communication overhead, enabling relatively lightweight privacy-preserving monitoring. We implement our approach for monitoring specifications described by register automata and evaluate it experimentally.},
  author       = {Henzinger, Thomas A and Karimi, Mahyar and Thejaswini, K. S.},
  booktitle    = {Proceedings of the 2025 ACM SIGSAC Conference on Computer and Communications Security},
  isbn         = {9798400715259},
  location     = {Taipei, Taiwan},
  pages        = {2774--2787},
  publisher    = {Association for Computing Machinery},
  title        = {{Privacy-preserving runtime verification}},
  doi          = {10.1145/3719027.3765137},
  year         = {2025},
}