@article{19729, abstract = {From anthropogenic litter carried by ocean currents to plant stems travelling through the atmosphere, geophysical flows are often seeded with elongated, fibre-like particles. In this study, we used a large-scale laboratory model of a tidal current – representative of a widespread class of geophysical flows – to investigate the tumbling motion of long, slender and floating fibres in the complex turbulence generated by flow interactions with a tidal inlet. Despite the non-stationary, non-homogeneous and anisotropic nature of this turbulence, we find that long fibres statistically rotate at the same frequency as eddies of similar size, a phenomenon called scale selection, which is known to occur in ideal turbulence. Furthermore, we report that the signal of the instantaneous transverse velocity difference between the fibre ends changes significantly from the signal produced by the flow in the fibre surroundings, although the two are statistically equivalent. These observations have twofold implications. On the one hand, they confirm the reliability of using the end-to-end velocity signal of rigid fibres to probe the two-point transverse statistics of the flow, even under realistic conditions: oceanographers could exploit this observation to measure transverse velocity differences through elongated floats in the field, where superdiffusion complicates collecting sufficient data to probe two-point turbulence statistics at a fixed separation effectively. On the other hand, by addressing the dynamics of inertial range particles floating in the coastal zone, these observations are crucial to improving our ability to predict the fate of meso- and macro-litter, a size class that is currently understudied.}, author = {De Leo, Annalisa and Brizzolara, Stefano and Cavaiola, Mattia and He, Junlin and Stocchino, Alessandro}, issn = {1469-7645}, journal = {Journal of Fluid Mechanics}, publisher = {Cambridge University Press}, title = {{Rigid fibre transport in a periodic non-homogeneous geophysical turbulent flow}}, doi = {10.1017/jfm.2025.362}, volume = {1011}, year = {2025}, } @article{19730, abstract = {Feigenbaum universality is shown to occur in subcritical shear flows. Our testing ground is the counter-rotation regime of the Taylor–Couette flow, where numerical calculations are performed within a small periodic domain. The accurate computation of up to the seventh period-doubling bifurcation, assisted by a purposely defined Poincaré section, has enabled us to reproduce the two Feigenbaum universal constants with unprecedented accuracy in a fluid flow problem. We have further devised a method to predict the bifurcation diagram up to the accumulation point of the cascade based on the detailed inspection of just the first few period-doubling bifurcations. Remarkably, the method is applicable beyond the accumulation point, with predictions remaining valid, in a statistical sense, for the chaotic dynamics that follows.}, author = {Wang, Baoying and Ayats López, Roger and Deguchi, K. and Meseguer, A. and Mellibovsky, F.}, issn = {1469-7645}, journal = {Journal of Fluid Mechanics}, publisher = {Cambridge University Press}, title = {{Feigenbaum universality in subcritical Taylor-Couette flow}}, doi = {10.1017/jfm.2025.278}, volume = {1010}, year = {2025}, } @article{19731, abstract = {In an era of high-resolution displays, powerful design software, and automated plotting tools, one would think that scientific figures would be clearer than ever. Yet, despite numerous editorials, guidelines, and workshops dedicated to improving figure design, poorly constructed figures remain a persistent issue. Editors and experienced researchers have repeatedly highlighted key pitfalls such as cluttered layouts, inconsistent formatting, poor color choices, and misleading visuals. (1−8) Yet, the aforementioned graphical shortcomings continue to plague even high-impact journals. Why? The problem is not a lack of technology; it is a combination of poor design habits, rushed deadlines, and a tendency to treat figures as mere “data dumps” rather than as essential storytelling tools. Many people process information more effectively through visuals, naturally associating concepts easily when presented graphically. A well-crafted figure serves as a narrative within the larger story, making complex ideas more accessible. Unfortunately, visual storytelling often takes a backseat in scientific communication. Scientists are trained to analyze and interpret data, but many default to software-generated plots without considering accessibility or how their figures will be perceived by readers outside their immediate field. Without thoughtful design, figures lose their power to enhance understanding, ultimately limiting the significance of the research itself. In this editorial, we examine the challenges that, in our view, hamper scientific figure design and discuss how thoughtful refinements driven by feedback, iteration, and design principles can enhance clarity and impact visual communication.}, author = {Rayaroth Puthiyaveettil, Aiswarya and Fiedler, Christine and Ibáñez, Maria}, issn = {2694-2461}, journal = {ACS Materials Au}, number = {3}, pages = {438--440}, publisher = {American Chemical Society}, title = {{Let us FIGURE it out: Why do scientists still make “bad” figures?}}, doi = {10.1021/acsmaterialsau.5c00037}, volume = {5}, year = {2025}, } @article{19732, abstract = {The transition to chaos in the subcritical regime of counter-rotating Taylor–Couette flow is investigated using a minimal periodic domain capable of sustaining coherent structures. Following a Feigenbaum cascade, the dynamics is found to be remarkably well approximated by a simple discrete map that admits rigorous proof of its chaotic nature. The chaotic set that arises for the map features densely distributed periodic points that are in one-to-one correspondence with unstable periodic orbits (UPOs) of the Navier–Stokes system. This supports the increasingly accepted view that UPOs may serve as the backbone of turbulence and, indeed, we demonstrate that it is possible to reconstruct every statistical property of chaotic fluid flow from UPOs.}, author = {Wang, Baoying and Ayats López, Roger and Deguchi, K. and Meseguer, A. and Mellibovsky, F.}, issn = {1469-7645}, journal = {Journal of Fluid Mechanics}, publisher = {Cambridge University Press}, title = {{Mathematically established chaos and forecast of statistics with recurrent patterns in Taylor-Couette flow}}, doi = {10.1017/jfm.2025.151}, volume = {1011}, year = {2025}, } @article{19736, abstract = {The phytohormone auxin is a major signal coordinating growth and development in plants. The variety of its effects arises from its ability to form local auxin maxima and gradients within tissues, generated through directional cell-to-cell transport and elaborate metabolic control. These auxin distribution patterns instruct cells in a context-dependent manner to undergo predefined developmental transitions. In this Review, we discuss advances in auxin action at the level of homeostasis and signalling. We highlight key insights into the structural basis of PIN-mediated intercellular auxin transport and explore two novel non-transcriptional auxin signalling mechanisms: one involving intracellular Ca2+ transients and another involving cell-surface auxin perception that mediates global, ultrafast phosphorylation. Furthermore, we examine emerging evidence indicating the involvement of cyclic adenosine monophosphate as a second messenger in the transcriptional auxin response. Together, these recent developments in auxin research have profoundly deepened our understanding of the complex and diverse activities of auxin in plant growth and development.}, author = {Vanneste, Steffen and Pei, Yuanrong and Friml, Jiří}, issn = {1471-0080}, journal = {Nature Reviews Molecular Cell Biology}, publisher = {Springer Nature}, title = {{Mechanisms of auxin action in plant growth and development}}, doi = {10.1038/s41580-025-00851-2}, year = {2025}, } @article{19737, abstract = {For general large non–Hermitian random matrices X and deterministic normal deformations A, we prove that the local eigenvalue statistics of A + X close to the critical edge points of its spectrum are universal. This concludes the proof of the third and last remaining typical universality class for non–Hermitian random matrices (for normal deformations), after bulk and sharp edge universalities have been established in recent years.}, author = {Cipolloni, Giorgio and Erdös, László and Ji, Hong Chang}, issn = {1432-2064}, journal = {Probability Theory and Related Fields}, publisher = {Springer Nature}, title = {{Non–Hermitian spectral universality at critical points}}, doi = {10.1007/s00440-025-01384-7}, year = {2025}, } @inproceedings{19738, abstract = {Garbling is a fundamental cryptographic primitive, with numerous theoretical and practical applications. Since the first construction by Yao (FOCS’82, ’86), a line of work has concerned itself with reducing the communication and computational complexity of that construction. One of the most efficient garbling schemes presently is the ‘Half Gates’ scheme by Zahur, Rosulek, and Evans (Eurocrypt’15). Despite its widespread adoption, the provable security of this scheme has been based on assumptions whose only instantiations are in idealized models. For example, in their original paper, Zahur, Rosulek, and Evans showed that hash functions satisfying a notion called circular correlation robustness (CCR) suffice for this task, and then proved that CCR secure hash functions can be instantiated in the random permutation model. In this work, we show how to securely instantiate the Half Gates scheme in the standard model. To this end, we first show how this scheme can be securely instantiated given a (family of) weak CCR hash function, a notion that we introduce. Furthermore, we show how a weak CCR hash function can be used to securely instantiate other efficient garbling schemes, namely the ones by Rosulek and Roy (Crypto’21) and Heath (Eurocrypt’24). Thus we believe this notion to be of independent interest. Finally, we construct such weak CCR hash functions using indistinguishability obfuscation and one-way functions. The security proof of this construction constitutes our main technical contribution. While our construction is not practical, it serves as a proof of concept supporting the soundness of these garbling schemes, which we regard to be particularly important given the recent initiative by NIST to standardize garbling, and the optimizations in Half Gates being potentially adopted.}, author = {Acharya, Anasuya and Azari, Karen and Baig, Mirza Ahad and Hofheinz, Dennis and Kamath, Chethan}, booktitle = {28th IACR International Conference on Practice and Theory of Public-Key Cryptography}, isbn = {9783031918285}, issn = {1611-3349}, location = {Roros, Norway}, pages = {37--75}, publisher = {Springer Nature}, title = {{Securely instantiating ‘Half Gates’ garbling in the standard model}}, doi = {10.1007/978-3-031-91829-2_2}, volume = {15677}, year = {2025}, } @inproceedings{19739, abstract = {Cooperative verification is gaining momentum in recent years. The usual setup in cooperative verification is that a verifier A is run with some pre-defined resources, and if it is not able to verify the program, the verification task is passed to a verifier B together with information learned about the program by verifier A, then the chain can continue to a verifier C, and so on. This scheme is static: tools run one after another in a fixed pre-defined order and fixed parameters and resource limits (the scheme may differ for properties to be analyzed, though). Bubaak is a program analysis tool that allows to run multiple program verifiers in a dynamically changing combination of parallel and sequential portfolios. Bubaak starts the verification process by invoking an initial set of tasks; every task, when it is done (e.g., because of hitting a time limit or finishing its job), rewrites itself into one or more successor tasks. New tasks can be also spawned upon events generated by other tasks. This all happens dynamically based on the information gathered by finished and running tasks. During their execution, tasks that run in parallel can exchange (partial) verification artifacts, either directly or with Bubaak as an intermediary.}, author = {Chalupa, Marek and Richter, Cedric}, booktitle = {31st International Conference on Tools and Algorithms for the Construction and Analysis of Systems}, isbn = {9783031906596}, issn = {1611-3349}, location = {Hamilton, ON, Canada}, pages = {212--216}, publisher = {Springer Nature}, title = {{BUBAAK: Dynamic cooperative verification}}, doi = {10.1007/978-3-031-90660-2_14}, volume = {15698}, year = {2025}, } @inproceedings{19742, abstract = {Statistical model checking estimates probabilities and expectations of interest in probabilistic system models by using random simulations. Its results come with statistical guarantees. However, many tools use unsound statistical methods that produce incorrect results more often than they claim. In this paper, we provide a comprehensive overview of tools and their correctness, as well as of sound methods available for estimating probabilities from the literature. For expected rewards, we investigate how to bound the path reward distribution to apply sound statistical methods for bounded distributions, of which we recommend the Dvoretzky-Kiefer-Wolfowitz inequality that has not been used in SMC so far. We prove that even reachability rewards can be bounded in theory, and formalise the concept of limit-PAC procedures for a practical solution. The modes SMC tool implements our methods and recommendations, which we use to experimentally confirm our results.}, author = {Budde, Carlos E. and Hartmanns, Arnd and Meggendorfer, Tobias and Weininger, Maximilian and Wienhöft, Patrick}, booktitle = {31st International Conference on Tools and Algorithms for the Construction and Analysis of Systems}, isbn = {9783031906428}, issn = {1611-3349}, location = {Hamilton, ON, Canada}, pages = {167--190}, publisher = {Springer Nature}, title = {{Sound statistical model checking for probabilities and expected rewards}}, doi = {10.1007/978-3-031-90643-5_9}, volume = {15696}, year = {2025}, } @misc{19769, abstract = {Artifact to reproduce the experimental results presented in the article "Sound Statistical Model Checking for Probabilities and Expected Rewards" by Carlos E. Budde, Arnd Hartmanns, Tobias Meggendorfer, Maximilian Weininger, and Patrick Wienhöft (TACAS 2025). The contents include all data and software (formal models, software tools, Python & bash scripts) used in the experimental evaluation presented in sections 3, 4, and 6 of the article. Detailed instructions on how to reproduce the results are bundled in the artifact.}, author = {Budde, Carlos and Hartmanns, Arnd and Meggendorfer, Tobias and Weininger, Maximilian and Wienhöft, Patrick}, publisher = {Zenodo}, title = {{Sound statistical model checking for probabilities and expected rewards (experimental reproduction package)}}, doi = {10.5281/ZENODO.14602066}, year = {2025}, } @article{19777, abstract = {Snow cover is of key importance for water resources in high mountain Asia (HMA) and is expected to undergo extensive changes in a warming climate. Past studies have quantified snow cover changes with satellite products of relatively low spatial resolution (∼500 m) which are hindered by the steep topography of this mountain region. We derive snowlines from Sentinel-2 and Landsat 5, 7 and 8 images, which, thanks to their higher spatial resolution, are less sensitive to the local topography. We calculate the snow line altitude (SLA) and its seasonality for all glacierized catchments of HMA and link these patterns to climate variables corrected for topographic biases. As such, the snowline changes provide a clear proxy for climatic changes. Our results highlight a strong spatial variability in mean SLA and in its seasonal changes, including across mountain chains and between the monsoon-dominated and the westerlies-dominated catchments. Over the period 1999–2019, the western regions of HMA (Pamir, Karakoram, Western Himalaya) have undergone increased snow coverage, expressed as seasonal SLA decrease, in spring and summer. This change is opposed to a widespread increase in SLA in autumn across the region, and especially the southeastern regions of HMA (Nyainqentanglha, Hengduan Shan, South–East Himalaya). Our results indicate that the diversity of seasonal snow dynamics across the region is controlled not by temperature or precipitation directly but by the timing and partitioning of solid precipitation. Decadal snowline changes (1999–2009 vs 2009–2019) seasonally precede temperature changes, suggesting that seasonal temperature changes in the Karakoram–Pamir and Eastern Nyainqentanglha regions may have responded to snow cover changes, rather than driving them.}, author = {Bernat, M. and Miles, E. S. and Kneib, M. and Fujita, K. and Sasaki, O. and Shaw, Thomas and Pellicciotti, Francesca}, issn = {1748-9326}, journal = {Environmental Research Letters}, number = {6}, publisher = {IOP Publishing}, title = {{Precipitation phase drives seasonal and decadal snowline changes in high mountain Asia}}, doi = {10.1088/1748-9326/adcf39}, volume = {20}, year = {2025}, } @inproceedings{19778, abstract = {A verifiable delay function VDF(x, T)->(y, π) maps an input x and time parameter T to an output y together with an efficiently verifiable proof π certifying that y was correctly computed. The function runs in T sequential steps, and it should not be possible to compute y much faster than that. The only known practical VDFs use sequential squaring in groups of unknown order as the sequential function, i.e., y = x^2^T. There are two constructions for the proof of exponentiation (PoE) certifying that y = x^2^T, with Wesolowski (Eurocrypt’19) having very short proofs, but they are more expensive to compute and the soundness relies on stronger assumptions than the PoE proposed by Pietrzak (ITCS’19). A recent application of VDFs by Arun, Bonneau and Clark (Asiacrypt’22) are short-lived proofs and signatures, which are proofs and signatures that are only sound for some time t, but after that can be forged by anyone. For this they rely on “watermarkable VDFs”, where the proof embeds a prover chosen watermark. To achieve stronger notions of proofs/signatures with reusable forgeability, they rely on “zero-knowledge VDFs”, where instead of the output y, one just proves knowledge of this output. The existing proposals for watermarkable and zero-knowledge VDFs all build on Wesolowski’s PoE, for the watermarkable VDFs there’s currently no security proof. In this work we give the first constructions that transform any PoEs in hidden order groups into watermarkable VDFs and into zkVDFs, solving an open question by Arun et al. Unlike our watermarkable VDF, the zkVDF (required for reusable forgeability) is not very practical as the number of group elements in the proof is a security parameter. To address this, we introduce the notion of zero-knowledge proofs of sequential work (zkPoSW), a notion that relaxes zkVDFs by not requiring that the output is unique. We show that zkPoSW are sufficient to construct proofs or signatures with reusable forgeability, and construct efficient zkPoSW from any PoE, ultimately achieving short lived proofs and signatures that improve upon Arun et al.’s construction in several dimensions (faster forging times, arguably weaker assumptions). A key idea underlying our constructions is to not directly construct a (watermarked or zk) proof for y = x^2^T, but instead give a (watermarked or zk) proof for the more basic statement that x^l, y^l satisfy x^l = x ^r, y^l = y^r for some r, together with a normal PoE for y^l = (x^l)^2^T.}, author = {Hoffmann, Charlotte and Pietrzak, Krzysztof Z}, booktitle = {28th IACR International Conference on Practice and Theory of Public-Key Cryptography}, isbn = {9783031918193}, issn = {1611-3349}, location = {Roros, Norway}, pages = {36--66}, publisher = {Springer Nature}, title = {{Watermarkable and zero-knowledge Verifiable Delay Functions from any proof of exponentiation}}, doi = {10.1007/978-3-031-91820-9_2}, volume = {15674}, year = {2025}, } @article{19779, abstract = {The transverse thermoelectric (Nernst) effect is a powerful probe for studying the electronic and structural properties of materials. In this study, we employ transverse thermoelectric measurements to investigate the ferroelectric distortion in the topological crystalline insulator (TCI) Pb0.60Sn0.40Te, a compound derived from PbTe and SnTe, known for their exceptional thermoelectric performance and distinct ferroelectric properties. By leveraging Nernst measurements, we provide direct evidence of ferroelectric distortion in this TCI, corroborated by Shubnikov–de Haas quantum oscillations that confirm the presence of two topologically nontrivial Fermi pockets. Density functional theory calculations show that these pockets originate from the L and T points in the Brillouin zone of the distorted structure within the TCI phase. Raman spectroscopy further identifies a structural phase transition below 50 K, consistent with the quantum oscillation observations. This observation is further substantiated by temperature-dependent synchrotron X-ray pair distribution function analysis and transmission electron microscopy, which confirm the local off-centering of cations at low temperature. These findings underscore the potential of transverse thermoelectric measurements in unveiling ferroelectric distortions and their role in modulating topological quantum states, opening new directions for research into the synergy between ferroelectricity and topological phases.}, author = {Negi, Pranav and He, Bin and Ukolov, Denis and Horta, Sharona and Maji, Krishnendu and Mao, Ning and Peshcherenko, Nikolai and Yanda, Premakumar and Yao, Mengyu and Dutta, Moinak and Robredo, Iñigo and Iraola, Mikel and Vergniory, Maia G. and Lemmens, Peter and Zhang, Yang and Shekhar, Chandra and Ibáñez, Maria and Felser, Claudia and Roychowdhury, Subhajit}, issn = {1520-5126}, journal = {Journal of the American Chemical Society}, number = {22}, pages = {18704--18711}, publisher = {American Chemical Society}, title = {{Evidence of ferroelectric distortions in topological crystalline insulators via transverse thermoelectric measurements}}, doi = {10.1021/jacs.5c01700}, volume = {147}, year = {2025}, } @misc{19780, abstract = {This repository contains the data used for the study Precipitation phase drives seasonal and decadal snowline changes in high mountain Asia. This study focuses on 4776 glacierized catchments across high mountain Asia (HMA). They are numbered from 0 to 4775. This code number is then used in all the products as their unique ID. }, author = {Bernat, M}, publisher = {Zenodo}, title = {{Snow line altitude in high mountain Asia derived from satellite imagery (LS5, LS7, LS8 & S2) between 1999 and 2019}}, doi = {10.5281/ZENODO.15223343}, year = {2025}, } @article{19783, abstract = {We consider a local Cahn–Hilliard‐type model for tumor growth as well as a nonlocal model where, compared to the local system, the Laplacian in the equation for the chemical potential is replaced by a nonlocal operator. The latter is defined as a convolution integral with suitable kernels parametrized by a small parameter. For sufficiently smooth bounded domains in three dimensions, we prove convergence of weak solutions of the nonlocal model toward strong solutions of the local model together with convergence rates with respect to the small parameter. The proof is done via a Gronwall‐type argument and a convergence result with rates for the nonlocal integral operator toward the Laplacian due to Abels and Hurm.}, author = {Hurm, Christoph and Moser, Maximilian}, issn = {1522-2608}, journal = {GAMM-Mitteilungen}, number = {2}, publisher = {Wiley}, title = {{Nonlocal‐to‐local convergence for a Cahn–Hilliard tumor growth model}}, doi = {10.1002/gamm.70003}, volume = {48}, year = {2025}, } @article{19784, abstract = {We present the Red Unknowns: Bright Infrared Extragalactic Survey (RUBIES) providing JWST/NIRSpec spectroscopy of red sources selected across ∼150 arcmin2 from public JWST/NIRCam imaging in the UDS and EGS fields. The novel observing strategy of RUBIES offers a well-quantified selection function. The survey has been optimised to reach high (>70%) spectroscopic completeness for bright and red (F150W−F444W>2) sources that are very rare. To place these rare sources in context, we simultaneously observed a reference sample of the 23 using only the G395M disperser. The RUBIES data reveal a highly diverse population of red sources that span a broad redshift range (zspec∼1−9), with photometric redshift scatter and an outlier fraction that are three times higher than for similarly bright sources that are less red. This diversity is not apparent from the photometric spectral energy distributions (SEDs). Only spectroscopy reveals that the SEDs encompass a mixture of galaxies with dust-obscured star formation, extreme line emission, a lack of star formation indicating early quenching, and luminous active galactic nuclei. As a first demonstration of our broader selection function we compared the stellar masses and rest-frame U−V colours of the red sources and our reference sample. We find that the red sources are typically more massive (M*∼1010−11.5 M⊙) across all redshifts. However, we also find that the most massive systems span a wide range in U−V colour. We describe our data reduction procedure and data quality, and we publicly release the reduced RUBIES data and vetted spectroscopic redshifts of the first half of the survey through the DAWN JWST Archive.}, author = {de Graaff, Anna and Brammer, Gabriel and Weibel, Andrea and Lewis, Zach and Maseda, Michael V. and Oesch, Pascal A. and Bezanson, Rachel and Boogaard, Leindert A. and Cleri, Nikko J. and Cooper, Olivia R. and Gottumukkala, Rashmi and Greene, Jenny E. and Hirschmann, Michaela and Hviding, Raphael E. and Katz, Harley and Labbé, Ivo and Leja, Joel and Matthee, Jorryt J and McConachie, Ian and Miller, Tim B. and Naidu, Rohan P. and Price, Sedona H. and Rix, Hans-Walter and Setton, David J. and Suess, Katherine A. and Wang, Bingjie and Whitaker, Katherine E. and Williams, Christina C.}, issn = {1432-0746}, journal = {Astronomy & Astrophysics}, publisher = {EDP Sciences}, title = {{RUBIES: A complete census of the bright and red distant universe with JWST/NIRSpec}}, doi = {10.1051/0004-6361/202452186}, volume = {697}, year = {2025}, } @misc{19791, abstract = {Confinement is a prominent phenomenon in condensed matter and high-energy physics that has recently become the focus of quantum-simulation experiments of lattice gauge theories (LGTs). As such, a theoretical understanding of the effect of confinement on LGT dynamics is not only of fundamental importance, but can lend itself to upcoming experiments. Here, we show how confinement in a Z2 LGT can be locally avoided by proximity to a resonance between the fermion mass and the electric field strength. Furthermore, we show that this local deconfinement can become global for certain initial conditions, where information transport occurs over the entire chain. In addition, we show how this can lead to strong quantum many-body scarring starting in different initial states. Our findings provide deeper insights into the nature of confinement in Z2 LGTs and can be tested on current and near-term quantum devices.}, author = {Desaules, Jean-Yves Marc}, keywords = {lattice gauge theories, quantum many-body scars, deconfinement}, publisher = {Institute of Science and Technology Austria}, title = {{Research Data for "Mass-Assisted Local Deconfinement in a Confined Z2 Lattice Gauge Theory"}}, doi = {10.15479/AT:ISTA:19791}, year = {2025}, } @article{19794, abstract = {Status epilepticus (SE), seizures lasting beyond five minutes, is a medical emergency commonly treated with benzodiazepines which enhance GABAA receptor (GABAAR) conductance. Despite widespread use, benzodiazepines fail in over one-third of patients, potentially due to seizure-induced disruption of neuronal chloride (Cl−) homeostasis. Understanding these changes at a network level is crucial for improving clinical translation. Here, we address this using a large-scale spiking neural network model incorporating Cl− dynamics, informed by clinical EEG and experimental slice recordings. Our simulations confirm that the GABAAR reversal potential (EGABA) dictates the pro- or anti-seizure effect of GABAAR conductance modulation, with high EGABA rendering benzodiazepines ineffective or excitatory. We show SE-like activity and EGABA depend non-linearly on Cl− extrusion efficacy and GABAAR conductance. Critically, cell-type specific manipulations reveal that pyramidal cell, not interneuron, Cl− extrusion predominantly determines the severity of SE activity and the response to simulated benzodiazepines. Leveraging these mechanistic insights, we develop a predictive framework mapping network states to Cl− extrusion capacity and GABAergic load, yielding a proposed decision-making strategy to guide therapeutic interventions based on initial treatment response. This work identifies pyramidal cell Cl− handling as a key therapeutic target and demonstrates the utility of biophysically detailed network models for optimising SE treatment protocols.}, author = {Currin, Christopher and Burman, Richard J. and Fedele, Tommaso and Ramantani, Georgia and Rosch, Richard E. and Sprekeler, Henning and Raimondo, Joseph V.}, issn = {1095-953X}, journal = {Neurobiology of Disease}, publisher = {Elsevier}, title = {{Network models incorporating chloride dynamics predict optimal strategies for terminating status epilepticus}}, doi = {10.1016/j.nbd.2025.106966}, volume = {212}, year = {2025}, } @article{19796, abstract = {Motivation: Boolean networks are popular dynamical models of cellular processes in systems biology. Their attractors model phenotypes that arise from the interplay of key regulatory subcircuits. A succession diagram (SD) describes this interplay in a discrete analog of Waddington’s epigenetic attractor landscape that allows for fast identification of attractors and attractor control strategies. Efficient computational tools for studying SDs are essential for the understanding of Boolean attractor landscapes and connecting them to their biological functions. Results: We present a new approach to SD construction for asynchronously updated Boolean networks, implemented in the biologist’s Boolean attractor landscape mapper, biobalm. We compare biobalm to similar tools and find a substantial performance increase in SD construction, attractor identification, and attractor control. We perform the most comprehensive comparative analysis to date of the SD structure in experimentally-validated Boolean models of cell processes and random ensembles. We find that random models (including critical Kauffman networks) have relatively small SDs, indicating simple decision structures. In contrast, nonrandom models from the literature are enriched in extremely large SDs, indicating an abundance of decision points and suggesting the presence of complex Waddington landscapes in nature. Availability and implementation: The tool biobalm is available online at https://github.com/jcrozum/biobalm. Further data, scripts for testing, analysis, and figure generation are available online at https://github.com/jcrozum/biobalm-analysis and in the reproducibility artefact at https://doi.org/10.5281/zenodo.13854760.}, author = {Trinh, Van Giang and Park, Kyu Hyong and Pastva, Samuel and Rozum, Jordan C.}, issn = {1367-4811}, journal = {Bioinformatics}, number = {5}, publisher = {Oxford University Press}, title = {{Mapping the attractor landscape of Boolean networks with biobalm}}, doi = {10.1093/bioinformatics/btaf280}, volume = {41}, year = {2025}, } @article{19798, abstract = {In an n×n array filled with symbols, a transversal is a collection of entries with distinct rows, columns and symbols. In this note we show that if no symbol appears more than βn times, the array contains a transversal of size (1−β/4−o(1))n . In particular, if the array is filled with n symbols, each appearing n times (an equi- n square), we get transversals of size (3/4−o(1))n. Moreover, our proof gives a deterministic algorithm with polynomial running time, that finds these transversals.}, author = {Anastos, Michael and Morris, Patrick}, issn = {1520-6610}, journal = {Journal of Combinatorial Designs}, number = {9}, pages = {338--342}, publisher = {Wiley}, title = {{A note on finding large transversals efficiently}}, doi = {10.1002/jcd.21990}, volume = {33}, year = {2025}, }