@inproceedings{15333,
  abstract     = {BUBAAK-SpLit is a tool for dynamically splitting verification tasks into parts that can then be analyzed in parallel. It is built on top of BUBAAK, a tool designed for running combinations of verifiers in parallel. In contrast to BUBAAK, that directly invokes verifiers on the inputs, BUBAAK-SpLit first starts by splitting the input program into multiple modified versions called program splits. During the splitting process, BUBAAK-SpLit utilizes a weak verifier (in our case symbolic execution with a short timelimit) to analyze each generated program split. If the weak verifier fails on a program split, we split this program split again and start the verification process again on the generated program splits. We run the splitting process until a predefined number of hard-to-verify program splits is generated or a splitting limit is reached. During the main verification phase, we run a combination of BUBAAK-LEE and SLOWBEAST in parallel on the remaining unsolved parts of the verification task.},
  author       = {Chalupa, Marek and Richter, Cedric},
  booktitle    = {30th International Conference on Tools and Algorithms for the Construction and Analysis of Systems},
  isbn         = {9783031572555},
  issn         = {1611-3349},
  location     = {Luxembourg City, Luxembourg},
  pages        = {353–358},
  publisher    = {Springer Nature},
  title        = {{Bubaak-SpLit: Split what you cannot verify (Competition contribution)}},
  doi          = {10.1007/978-3-031-57256-2_20},
  volume       = {14572},
  year         = {2024},
}

@article{15334,
  abstract     = {We consider the sharp interface limit of a Navier-Stokes/Allen Cahn equation in a bounded smooth domain in two space dimensions, in the case of vanishing mobility mε=ε√, where the small parameter ε>0 related to the thickness of the diffuse interface is sent to zero. For well-prepared initial data and sufficiently small times, we rigorously prove convergence to the classical two-phase Navier-Stokes system with surface tension. The idea of the proof is to use asymptotic expansions to construct an approximate solution and to estimate the difference of the exact and approximate solutions with a spectral estimate for the (at the approximate solution) linearized Allen-Cahn operator. In the calculations we use a fractional order ansatz and new ansatz terms in higher orders leading to a suitable ε-scaled and coupled model problem. Moreover, we apply the novel idea of introducing ε-dependent coordinates.},
  author       = {Abels, Helmut and Fei, Mingwen and Moser, Maximilian},
  issn         = {1432-0835},
  journal      = {Calculus of Variations and Partial Differential Equations},
  number       = {4},
  publisher    = {Springer Nature},
  title        = {{Sharp interface limit for a Navier–Stokes/Allen–Cahn system in the case of a vanishing mobility}},
  doi          = {10.1007/s00526-024-02715-7},
  volume       = {63},
  year         = {2024},
}

@article{15335,
  abstract     = {Stable matching of neurotransmitters with their receptors is fundamental to synapse function and reliable communication in neural circuits. Presynaptic neurotransmitters regulate the stabilization of postsynaptic transmitter receptors. Whether postsynaptic receptors regulate stabilization of presynaptic transmitters has received less attention. Here, we show that blockade of endogenous postsynaptic acetylcholine receptors (AChR) at the neuromuscular junction destabilizes the cholinergic phenotype in motor neurons and stabilizes an earlier, developmentally transient glutamatergic phenotype. Further, expression of exogenous postsynaptic gamma-aminobutyric acid type A receptors (GABAA receptors) in muscle cells stabilizes an earlier, developmentally transient GABAergic motor neuron phenotype. Both AChR and GABAA receptors are linked to presynaptic neurons through transsynaptic bridges. Knockdown of specific components of these transsynaptic bridges prevents stabilization of the cholinergic or GABAergic phenotypes. Bidirectional communication can enforce a match between transmitter and receptor and ensure the fidelity of synaptic transmission. Our findings suggest a potential role of dysfunctional transmitter receptors in neurological disorders that involve the loss of the presynaptic transmitter.},
  author       = {Godavarthi, Swetha K. and Hiramoto, Masaki and Ignatyev, Yuri and Levin, Jacqueline B. and Li, Hui Quan and Pratelli, Marta and Borchardt, Jennifer and Czajkowski, Cynthia and Borodinsky, Laura N. and Sweeney, Lora Beatrice Jaeger and Cline, Hollis T. and Spitzer, Nicholas C.},
  issn         = {1091-6490},
  journal      = {Proceedings of the National Academy of Sciences of the United States of America},
  number       = {15},
  publisher    = {National Academy of Sciences},
  title        = {{Postsynaptic receptors regulate presynaptic transmitter stability through transsynaptic bridges}},
  doi          = {10.1073/pnas.2318041121},
  volume       = {121},
  year         = {2024},
}

@article{15336,
  abstract     = {Submillimeter surveys toward overdense regions in the early Universe are essential for uncovering the obscured star formation and the cold gas content of assembling galaxies within massive dark matter halos. In this work, we present deep ALMA mosaic observations covering an area of ∼2′×2′ around MUSE Quasar Nebula 01 (MQN01), one of the largest and brightest Ly-α emitting nebulae discovered thus far; it surrounds a radio-quiet quasar at z ≃ 3.25. Our observations target the 1.2 and the 3 mm dust continuum as well as the carbon monoxide CO(4–3) transition in galaxies in the vicinity of the quasar. We identify a robust sample of 11 CO-line-emitting galaxies (including a closely separated quasar companion) that lie within ±4000 km s−1 of the quasar systemic redshift. A fraction of these objects were missed in previous deep rest-frame optical/UV surveys, which highlights the critical role of (sub)millimeter imaging. We also detect a total of 11 sources revealed in the dust continuum at 1.2 mm; six of them have either high-fidelity spectroscopic redshift information from rest-frame UV metal absorptions or the CO(4–3) line that places them in the same narrow redshift range. A comparison of the CO luminosity function and 1.2 mm number count density with those of the general fields points to a galaxy overdensity of δ > 10. We find evidence of a systematic flattening at the bright end of the CO luminosity function with respect to the trend measured in blank fields. Our findings reveal that galaxies in dense regions at z ∼ 3 are more massive and significantly richer in molecular gas than galaxies in fields, which enables a faster and accelerated assembly. This is the first in a series of studies aimed at characterizing one of the densest regions of the Universe found so far at z > 3.},
  author       = {Pensabene, A. and Cantalupo, S. and Cicone, C. and Decarli, R. and Galbiati, M. and Ginolfi, M. and De Beer, S. and Fossati, M. and Fumagalli, M. and Lazeyras, T. and Pezzulli, G. and Travascio, A. and Wang, W. and Matthee, Jorryt J and Maseda, M. V.},
  issn         = {1432-0746},
  journal      = {Astronomy and Astrophysics},
  publisher    = {EDP Sciences},
  title        = {{ALMA survey of a massive node of the Cosmic Web at z ∼ 3: I. Discovery of a large overdensity of CO emitters}},
  doi          = {10.1051/0004-6361/202348659},
  volume       = {684},
  year         = {2024},
}

@article{15337,
  abstract     = {We prove the Manin–Peyre conjecture for the number of rational points of bounded height outside of a thin subset on a family of Fano threefolds of bidegree (1, 2).},
  author       = {Bonolis, Dante and Browning, Timothy D and Huang, Zhizhong},
  issn         = {1432-1807},
  journal      = {Mathematische Annalen},
  pages        = {4123--4207},
  publisher    = {Springer Nature},
  title        = {{Density of rational points on some quadric bundle threefolds}},
  doi          = {10.1007/s00208-024-02854-4},
  volume       = {390},
  year         = {2024},
}

@article{15338,
  abstract     = {We introduce a new class of generalised quadratic forms over totally real number fields, which is rich enough to capture the arithmetic of arbitrary systems of quadrics over the rational numbers. We explore this connection through a version of the Hardy–Littlewood circle method over number fields.},
  author       = {Browning, Timothy D and Pierce, Lillian B. and Schindler, Damaris},
  issn         = {1475-3030},
  journal      = {Journal of the Institute of Mathematics of Jussieu},
  number       = {6},
  pages        = {2859--2912},
  publisher    = {Cambridge University Press},
  title        = {{Generalised quadratic forms over totally real number fields}},
  doi          = {10.1017/S1474748024000161},
  volume       = {23},
  year         = {2024},
}

@article{15339,
  abstract     = {We define even very stable Higgs bundles and study the Hitchin map restricted to their upward flows. In the GLn case, we classify the type (1,…,1) examples, and find that they are governed by a root system formed by the roots of even height. We discuss how the spectrum of equivariant cohomology of real and quaternionic Grassmannians, 4n-spheres and the real Cayley plane appear to describe the Hitchin map on even cominuscule upward flows. The even upward flows in question are the same as upward flows in Higgs bundle moduli spaces for quasi-split inner real forms. The latter spaces have been pioneered by Oscar García-Prada and his collaborators.},
  author       = {González, Miguel and Hausel, Tamás},
  issn         = {1793-6519},
  journal      = {International Journal of Mathematics},
  number       = {09},
  publisher    = {World Scientific Publishing},
  title        = {{Hitchin map on even very stable upward flows}},
  doi          = {10.1142/S0129167X2441009X},
  volume       = {35},
  year         = {2024},
}

@article{15348,
  abstract     = {We report on synthesis of highly crystalline polythiophene and its application in supercapacitor electrodes. The material exhibits a remarkably stable electrochemical behavior and an excellent device performance. The device delivers an electrode specific capacitance (Csp) of 129.13F g−1, Cell Csp of 32.28F g−1 at 0.5 A/g; energy, and power densities of ∼ 3 Wh kg−1 and 250 W kg -1, respectively at 0.5 A/g. Also, it exhibits an excellent retention of Cell Csp and coulombic efficiency up to ∼ 95 % over 10,000 continuous galvanostatic charge discharge (GCD) cycles indicating a remarkable performance by a standalone, pristine and undoped polythiophene. Electrochemical impedance spectroscopy (EIS) studies further suggest material’s stable capacitive behavior. The material’s enhanced electrochemical properties, stable behavior and outstanding performance in device application are attributed to the crystalline phases present in the polymer matrix achievable via a slow rate of synthesis; overall, an edge over other conventional synthesis methods.},
  author       = {Mahato, Neelima and Singh, Saurabh and Sreekanth, T. V.M. and Yoo, Kisoo and Kim, Jonghoon},
  issn         = {1873-4979},
  journal      = {Materials Letters},
  publisher    = {Elsevier},
  title        = {{In-situ engineered highly crystalline polythiophene empowered electrochemical capacitor-I: Synthesis, characterization, and electrochemical charge storage}},
  doi          = {10.1016/j.matlet.2024.136483},
  volume       = {365},
  year         = {2024},
}

@article{15350,
  abstract     = {We extend three related results from the analysis of influences of Boolean functions to the quantum setting, namely the KKL theorem, Friedgut’s Junta theorem and Talagrand’s variance inequality for geometric influences. Our results are derived by a joint use of recently studied hypercontractivity and gradient estimates. These generic tools also allow us to derive generalizations of these results in a general von Neumann algebraic setting beyond the case of the quantum hypercube, including examples in infinite dimensions relevant to quantum information theory such as continuous variables quantum systems. Finally, we comment on the implications of our results as regards to noncommutative extensions of isoperimetric type inequalities, quantum circuit complexity lower bounds and the learnability of quantum observables.},
  author       = {Rouzé, Cambyse and Wirth, Melchior and Zhang, Haonan},
  issn         = {1432-0916},
  journal      = {Communications in Mathematical Physics},
  number       = {4},
  publisher    = {Springer Nature},
  title        = {{Quantum Talagrand, KKL and Friedgut’s theorems and the learnability of quantum boolean functions}},
  doi          = {10.1007/s00220-024-04981-0},
  volume       = {405},
  year         = {2024},
}

@article{15356,
  abstract     = {Identifying efficient active sites for the direct synthesis of hydrogen peroxide over Pd-based catalysts has been a subject of considerable debate. In this study, we employ particle swarm optimization method and density functional theory to explore the H2O2 synthesis mechanism on Pd, PdO, and the partially oxidized surface (Pd9OX). A comprehensive mechanism for Pd9OX is elucidated, and subsequent coverage-dependent kinetic analysis allows for a quantitative assessment of catalytic performance at the interphase. Our findings conclusively establish that the interphase between Pd and PdO represents the optimal active site. Phase diagram analysis further aids in determining stable structures under reaction conditions. At 298.15 K and under oxygen balance, the Pd9O6 surface remains stable throughout the reaction, demonstrating high activity and selectivity. This work underscores the significance of the interphase in comprehending catalytic performance and unveils promising avenues for optimizing catalyst performance by controlling reaction conditions and surface composition.},
  author       = {Zhao, Jinyan and Yao, Zihao and Bunting, Rhys and Wang, Yaqiu and Wang, Jianguo},
  issn         = {0009-2509},
  journal      = {Chemical Engineering Science},
  publisher    = {Elsevier},
  title        = {{Identifying Pd9OX as the optimum catalyst for the direct synthesis of H2O2 through microkinetic modeling with coverage effects}},
  doi          = {10.1016/j.ces.2024.120199},
  volume       = {295},
  year         = {2024},
}

@article{15358,
  abstract     = {We consider how a population of N haploid individuals responds to directional selection on standing variation, with no new variation from recombination or mutation. Individuals have trait values z1,…,zN, which are drawn from a distribution ψ; the fitness of individual i is proportional to [Formula: see text] . For illustration, we consider the Laplace and Gaussian distributions, which are parametrised only by the variance V0, and show that for large N, there is a scaling limit which depends on a single parameter NV0. When selection is weak relative to drift (NV0≪1), the variance decreases exponentially at rate 1/N, and the expected ultimate gain in log fitness (scaled by V0), is just NV0, which is the same as Robertson's (1960) prediction for a sexual population. In contrast, when selection is strong relative to drift (NV0≫1), the ultimate gain can be found by approximating the establishment of alleles by a branching process in which each allele competes independently with the population mean and the fittest allele to establish is certain to fix. Then, if the probability of survival to time t∼1/V0 of an allele with value z is P(z), with mean P¯, the winning allele is the fittest of NP¯ survivors drawn from a distribution ψP/P¯. The expected ultimate change is ∼2log(1.15NV0) for a Gaussian distribution, and ∼-12log0.36NV0-log-log0.36NV0 for a Laplace distribution. This approach also predicts the variability of the process, and its dynamics; we show that in the strong selection regime, the expected genetic variance decreases as ∼t-3 at large times. We discuss how these results may be related to selection on standing variation that is spread along a linear chromosome.},
  author       = {Barton, Nicholas H and Sachdeva, Himani},
  issn         = {1096-0325},
  journal      = {Theoretical Population Biology},
  pages        = {129--137},
  publisher    = {Elsevier},
  title        = {{Limits to selection on standing variation in an asexual population}},
  doi          = {10.1016/j.tpb.2024.04.001},
  volume       = {157},
  year         = {2024},
}

@article{15359,
  abstract     = {Molecular dynamics (MD) simulations play an important role in understanding and engineering heat transport properties of complex materials. An essential requirement for reliably predicting heat transport properties is the use of accurate and efficient interatomic potentials. Recently, machine-learned potentials (MLPs) have shown great promise in providing the required accuracy for a broad range of materials. In this mini-review and tutorial, we delve into the fundamentals of heat transport, explore pertinent MD simulation methods, and survey the applications of MLPs in MD simulations of heat transport. Furthermore, we provide a step-by-step tutorial on developing MLPs for highly efficient and predictive heat transport simulations, utilizing the neuroevolution potentials as implemented in the GPUMD package. Our aim with this mini-review and tutorial is to empower researchers with valuable insights into cutting-edge methodologies that can significantly enhance the accuracy and efficiency of MD simulations for heat transport studies.},
  author       = {Dong, Haikuan and Shi, Yongbo and Ying, Penghua and Xu, Ke and Liang, Ting and Wang, Yanzhou and Zeng, Zezhu and Wu, Xin and Zhou, Wenjiang and Xiong, Shiyun and Chen, Shunda and Fan, Zheyong},
  issn         = {1089-7550},
  journal      = {Journal of Applied Physics},
  number       = {16},
  publisher    = {AIP Publishing},
  title        = {{Molecular dynamics simulations of heat transport using machine-learned potentials: A mini-review and tutorial on GPUMD with neuroevolution potentials}},
  doi          = {10.1063/5.0200833},
  volume       = {135},
  year         = {2024},
}

@article{15360,
  abstract     = {We investigate superradiant enhancements in the refrigeration performance of a set of N three-level systems that are collectively coupled to a hot and a cold thermal reservoir and are additionally subject to collective periodic (circular) driving. Assuming the system-reservoir coupling to be weak, we explore the regime of stronger periodic driving strengths by comparing collective weak driving, Floquet-Lindblad, and Floquet-Redfield master equations. We identify regimes where the power injected by the periodic driving is used to pump heat from the cold to the hot reservoir and derive analytic sufficient conditions for them based on a cycle analysis of the Floquet-Lindblad master equation. In those regimes, we also argue for which parameters collective enhancements like a quadratic scaling of the cooling current with N can be expected and support our arguments by numerical simulations.},
  author       = {Kolisnyk, Dmytro and Queißer, Friedemann and Schaller, Gernot and Schützhold, Ralf},
  issn         = {2331-7019},
  journal      = {Physical Review Applied},
  number       = {4},
  publisher    = {American Physical Society},
  title        = {{Floquet analysis of a superradiant many-qutrit refrigerator}},
  doi          = {10.1103/PhysRevApplied.21.044050},
  volume       = {21},
  year         = {2024},
}

@inbook{15361,
  abstract     = {Bimolecular fluorescence complementation (BiFC) is a powerful tool for studying protein-protein interactions in living cells. By fusing interacting proteins to fluorescent protein fragments, BiFC allows visualization of spatial localization patterns of protein complexes. This method has been adapted to a variety of expression systems in different organisms and is widely used to study protein interactions in plant cells. The Agrobacterium-mediated transient expression protocol for BiFC assays in Nicotiana benthamiana (N. benthamiana) leaf cells is widely used, but in this chapter, a method for BiFC assay using Arabidopsis thaliana protoplasts is presented.},
  author       = {Jayasree, Aswathy and Salava, Hymavathi and Nodzynski, Tomasz and Sravankumar, Thula},
  booktitle    = {Plant Functional Genomics},
  editor       = {Maghuly, Fatemeh},
  isbn         = {9781071637777},
  issn         = {1940-6029},
  pages        = {305--313},
  publisher    = {Springer Nature},
  title        = {{Protein-Protein Interactions Visualized by Bimolecular Fluorescence Complementation in Arabidopsis thaliana Protoplasts from Leaf}},
  doi          = {10.1007/978-1-0716-3778-4_21},
  volume       = {2787},
  year         = {2024},
}

@article{15367,
  abstract     = {Two-dimensional semiconductor-superconductor heterostructures form the foundation of numerous nanoscale physical systems. However, measuring the properties of such heterostructures, and characterizing the semiconductor in-situ is challenging. A recent experimental study by [Phys. Rev. Lett. 128, 107701 (2022)] was able to probe the semiconductor within the heterostructure using microwave measurements of the superfluid density. This work revealed a rapid depletion of superfluid density in semiconductor, caused by the in-plane magnetic field which in presence of spin-orbit coupling creates so-called Bogoliubov Fermi surfaces. The experimental work used a simplified theoretical model that neglected the presence of non-magnetic disorder in the semiconductor, hence describing the data only qualitatively. Motivated by experiments, we introduce a theoretical model describing a disordered semiconductor with strong spin-orbit coupling that is proximitized by a superconductor. Our model provides specific predictions for the density of states and superfluid density. Presence of disorder leads to the emergence of a gapless superconducting phase, that may be viewed as a manifestation of Bogoliubov Fermi surface. When applied to real experimental data, our model showcases excellent quantitative agreement, enabling the extraction of material parameters such as mean free path and mobility, and estimating g-tensor after taking into account the orbital contribution of magnetic field. Our model can be used to probe in-situ parameters of other superconductor-semiconductor heterostructures and can be further extended to give access to transport properties.},
  author       = {Babkin, Serafim and Higginbotham, Andrew P and Serbyn, Maksym},
  issn         = {2542-4653},
  journal      = {SciPost Physics},
  number       = {5},
  publisher    = {SciPost Foundation},
  title        = {{Proximity-induced gapless superconductivity in two-dimensional Rashba semiconductor in magnetic field}},
  doi          = {10.21468/scipostphys.16.5.115},
  volume       = {16},
  year         = {2024},
}

@article{15372,
  abstract     = {CRISPR-Cas9 is a powerful tool for genome editing, but the strict requirement for an NGG protospacer-adjacent motif (PAM) sequence immediately next to the DNA target limits the number of editable genes. Recently developed Cas9 variants have been engineered with relaxed PAM requirements, including SpG-Cas9 (SpG) and the nearly PAM-less SpRY-Cas9 (SpRY). However, the molecular mechanisms of how SpRY recognizes all potential PAM sequences remains unclear. Here, we combine structural and biochemical approaches to determine how SpRY interrogates DNA and recognizes target sites. Divergent PAM sequences can be accommodated through conformational flexibility within the PAM-interacting region, which facilitates tight binding to off-target DNA sequences. Nuclease activation occurs ~1000-fold slower than for Streptococcus pyogenes Cas9, enabling us to directly visualize multiple on-pathway intermediate states. Experiments with SpG position it as an intermediate enzyme between Cas9 and SpRY. Our findings shed light on the molecular mechanisms of PAMless genome editing.},
  author       = {Hibshman, Grace N. and Bravo, Jack Peter Kelly and Hooper, Matthew M. and Dangerfield, Tyler L. and Zhang, Hongshan and Finkelstein, Ilya J. and Johnson, Kenneth A. and Taylor, David W.},
  issn         = {2041-1723},
  journal      = {Nature Communications},
  publisher    = {Springer Nature},
  title        = {{Unraveling the mechanisms of PAMless DNA interrogation by SpRY-Cas9}},
  doi          = {10.1038/s41467-024-47830-3},
  volume       = {15},
  year         = {2024},
}

@article{15373,
  abstract     = {In this article we prove a refined version of the Christensen–Evans theorem for generators of uniformly continuous GNS-symmetric quantum Markov semigroups. We use this result to show the existence of GNS-symmetric extensions of GNS-symmetric quantum Markov semigroups. In particular, this implies that the generators of GNS-symmetric quantum Markov semigroups on finite-dimensional von Neumann algebra can be written in the form specified by Alicki's theorem.},
  author       = {Wirth, Melchior},
  issn         = {1096-0783},
  journal      = {Journal of Functional Analysis},
  number       = {3},
  publisher    = {Elsevier},
  title        = {{Christensen–Evans theorem and extensions of GNS-symmetric quantum Markov semigroups}},
  doi          = {10.1016/j.jfa.2024.110475},
  volume       = {287},
  year         = {2024},
}

@article{15374,
  abstract     = {Clathrin-mediated endocytosis (CME) is an essential process of cargo uptake operating in all eukaryotes. In animals and yeast, BAR-SH3 domain proteins, endophilins and amphiphysins, function at the conclusion of CME to recruit factors for vesicle scission and uncoating. Arabidopsis thaliana contains the BAR-SH3 domain proteins SH3P1–SH3P3, but their role is poorly understood. Here, we identify SH3Ps as functional homologs of endophilin/amphiphysin. SH3P1–SH3P3 bind to discrete foci at the plasma membrane (PM), and SH3P2 recruits late to a subset of clathrin-coated pits. The SH3P2 PM recruitment pattern is nearly identical to its interactor, a putative uncoating factor, AUXILIN-LIKE1. Notably, SH3P1–SH3P3 are required for most of AUXILIN-LIKE1 recruitment to the PM. This indicates a plant-specific modification of CME, where BAR-SH3 proteins recruit auxilin-like uncoating factors rather than the uncoating phosphatases, synaptojanins. SH3P1–SH3P3 act redundantly in overall CME with the plant-specific endocytic adaptor TPLATE complex but not due to an SH3 domain in its TASH3 subunit.},
  author       = {Adamowski, Maciek and Randuch, Marek and Matijevic, Ivana and Narasimhan, Madhumitha and Friml, Jiří},
  issn         = {2211-1247},
  journal      = {Cell Reports},
  number       = {5},
  publisher    = {Cell Press},
  title        = {{SH3Ps recruit auxilin-like vesicle uncoating factors for clathrin-mediated endocytosis}},
  doi          = {10.1016/j.celrep.2024.114195},
  volume       = {43},
  year         = {2024},
}

@article{15375,
  abstract     = {In the eukaryotic nucleus, heterochromatin forms highly condensed, visible foci known as heterochromatin foci (HF). These HF are enriched with linker histone H1, a key player in heterochromatin condensation and silencing. However, it is unknown how H1 aggregates HF and condenses heterochromatin. In this study, we established that H1 facilitates heterochromatin condensation by enhancing inter- and intrachromosomal interactions between and within heterochromatic regions of the Arabidopsis (Arabidopsis thaliana) genome. We demonstrated that H1 drives HF formation via phase separation, which requires its C-terminal intrinsically disordered region (C-IDR). A truncated H1 lacking the C-IDR fails to form foci or recover HF in the h1 mutant background, whereas C-IDR with a short stretch of the globular domain (18 out of 71 amino acids) is sufficient to rescue both defects. In addition, C-IDR is essential for H1's roles in regulating nucleosome repeat length and DNA methylation in Arabidopsis, indicating that phase separation capability is required for chromatin functions of H1. Our data suggest that bacterial H1-like proteins, which have been shown to condense DNA, are intrinsically disordered and capable of mediating phase separation. Therefore, we propose that phase separation mediated by H1 or H1-like proteins may represent an ancient mechanism for condensing chromatin and DNA.},
  author       = {He, Shengbo and Yu, Yiming and Wang, Liang and Zhang, Jingyi and Bai, Zhengyong and Li, Guohong and Li, Pilong and Feng, Xiaoqi},
  issn         = {1532-298X},
  journal      = {The Plant Cell},
  number       = {5},
  pages        = {1829--1843},
  publisher    = {Oxford University Press},
  title        = {{Linker histone H1 drives heterochromatin condensation via phase separation in Arabidopsis}},
  doi          = {10.1093/plcell/koae034},
  volume       = {36},
  year         = {2024},
}

@inproceedings{15376,
  abstract     = {Sequential decision-making tasks often require satisfaction of multiple, partially-contradictory objectives. Existing approaches are monolithic, where a single policy fulfills all objectives. We present auction-based scheduling, a decentralized framework for multi-objective sequential decision making. Each objective is fulfilled using a separate and independent policy. Composition of policies is performed at runtime, where at each step, the policies simultaneously bid from pre-allocated budgets for the privilege of choosing the next action. The framework allows policies to be independently created, modified, and replaced. We study path planning problems on finite graphs with two temporal objectives and present algorithms to synthesize policies together with bidding policies in a decentralized manner. We consider three categories of decentralized synthesis problems, parameterized by the assumptions that the policies make on each other. We identify a class of assumptions called assume-admissible for which synthesis is always possible for graphs whose every vertex has at most two outgoing edges.},
  author       = {Avni, Guy and Mallik, Kaushik and Sadhukhan, Suman},
  booktitle    = {30th International Conference on Tools and Algorithms for the Construction and Analysis of Systems},
  isbn         = {9783031572555},
  issn         = {1611-3349},
  location     = {Luxembourg City, Luxembourg},
  pages        = {153--172},
  publisher    = {Springer Nature},
  title        = {{Auction-based scheduling}},
  doi          = {10.1007/978-3-031-57256-2_8},
  volume       = {14572},
  year         = {2024},
}