@misc{13173, abstract = {GABAB receptor (GBR) activation inhibits neurotransmitter release in axon terminals in the brain, except in medial habenula (MHb) terminals, which show robust potentiation. However, mechanisms underlying this enigmatic potentiation remain elusive. Here, we report that GBR activation on MHb terminals induces an activity-dependent transition from a facilitating, tonic to a depressing, phasic neurotransmitter release mode. This transition is accompanied by a 4.1-fold increase in readily releasable vesicle pool (RRP) size and a 3.5-fold increase of docked synaptic vesicles at the presynaptic active zone (AZ). Strikingly, tonic and phasic release exhibit distinct coupling distances and are selectively affected by deletion of synaptoporin (SPO) and Ca2+-dependent activator protein for secretion 2 (CAPS2), respectively. SPO modulates augmentation, the short-term plasticity associated with tonic release, and CAPS2 retains the increased RRP for initial responses in phasic response trains. Double pre-embedding immunolabeling confirmed the co-localization of CAPS2 and SPO inside the same terminal. The cytosolic protein CAPS2 showed a synaptic vesicle (SV)-associated distribution similar to the vesicular transmembrane protein SPO. A newly developed “Flash and Freeze-fracture” method revealed the release of SPO-associated vesicles in both tonic and phasic modes and activity-dependent recruitment of CAPS2 to the AZ during phasic release, which lasted several minutes. Overall, these results indicate that GBR activation translocates CAPS2 to the AZ along with the fusion of CAPS2-associated SVs, contributing to a persistent RRP increase. Thus, we discovered structural and molecular mechanisms underlying tonic and phasic neurotransmitter release and their transition by GBR activation in MHb terminals.}, author = {Shigemoto, Ryuichi}, keywords = {medial habenula, GABAB receptor, vesicle release, Flash and Freeze, Flash and Freeze-fracture}, publisher = {Institute of Science and Technology Austria}, title = {{Transition from tonic to phasic neurotransmitter release by presynaptic GABAB receptor activation in medial habenula terminals}}, doi = {10.15479/AT:ISTA:13173}, year = {2023}, } @article{13177, abstract = {In this note we study the eigenvalue growth of infinite graphs with discrete spectrum. We assume that the corresponding Dirichlet forms satisfy certain Sobolev-type inequalities and that the total measure is finite. In this sense, the associated operators on these graphs display similarities to elliptic operators on bounded domains in the continuum. Specifically, we prove lower bounds on the eigenvalue growth and show by examples that corresponding upper bounds cannot be established.}, author = {Hua, Bobo and Keller, Matthias and Schwarz, Michael and Wirth, Melchior}, issn = {1088-6826}, journal = {Proceedings of the American Mathematical Society}, number = {8}, pages = {3401--3414}, publisher = {American Mathematical Society}, title = {{Sobolev-type inequalities and eigenvalue growth on graphs with finite measure}}, doi = {10.1090/proc/14361}, volume = {151}, year = {2023}, } @article{13178, abstract = {We consider the large polaron described by the Fröhlich Hamiltonian and study its energy-momentum relation defined as the lowest possible energy as a function of the total momentum. Using a suitable family of trial states, we derive an optimal parabolic upper bound for the energy-momentum relation in the limit of strong coupling. The upper bound consists of a momentum independent term that agrees with the predicted two-term expansion for the ground state energy of the strongly coupled polaron at rest and a term that is quadratic in the momentum with coefficient given by the inverse of twice the classical effective mass introduced by Landau and Pekar.}, author = {Mitrouskas, David Johannes and Mysliwy, Krzysztof and Seiringer, Robert}, issn = {2050-5094}, journal = {Forum of Mathematics}, pages = {1--52}, publisher = {Cambridge University Press}, title = {{Optimal parabolic upper bound for the energy-momentum relation of a strongly coupled polaron}}, doi = {10.1017/fms.2023.45}, volume = {11}, year = {2023}, } @article{13179, abstract = {Writing concurrent code that is both correct and efficient is notoriously difficult. Thus, programmers often prefer to use synchronization abstractions, which render code simpler and easier to reason about. Despite a wealth of work on this topic, there is still a gap between the rich semantics provided by synchronization abstractions in modern programming languages—specifically, fair FIFO ordering of synchronization requests and support for abortable operations—and frameworks for implementing it correctly and efficiently. Supporting such semantics is critical given the rising popularity of constructs for asynchronous programming, such as coroutines, which abort frequently and are cheaper to suspend and resume compared to native threads. This paper introduces a new framework called CancellableQueueSynchronizer (CQS), which enables simple yet efficient implementations of a wide range of fair and abortable synchronization primitives: mutexes, semaphores, barriers, count-down latches, and blocking pools. Our main contribution is algorithmic, as implementing both fairness and abortability efficiently at this level of generality is non-trivial. Importantly, all our algorithms, including the CQS framework and the primitives built on top of it, come with formal proofs in the Iris framework for Coq for many of their properties. These proofs are modular, so it is easy to show correctness for new primitives implemented on top of CQS. From a practical perspective, implementation of CQS for native threads on the JVM improves throughput by up to two orders of magnitude over Java’s AbstractQueuedSynchronizer, the only practical abstraction offering similar semantics. Further, we successfully integrated CQS as a core component of the popular Kotlin Coroutines library, validating the framework’s practical impact and expressiveness in a real-world environment. In sum, CancellableQueueSynchronizer is the first framework to combine expressiveness with formal guarantees and solid practical performance. Our approach should be extensible to other languages and families of synchronization primitives.}, author = {Koval, Nikita and Khalanskiy, Dmitry and Alistarh, Dan-Adrian}, issn = {2475-1421}, journal = {Proceedings of the ACM on Programming Languages}, publisher = {Association for Computing Machinery }, title = {{CQS: A formally-verified framework for fair and abortable synchronization}}, doi = {10.1145/3591230}, volume = {7}, year = {2023}, } @article{13180, abstract = {We study the density of everywhere locally soluble diagonal quadric surfaces, parameterised by rational points that lie on a split quadric surface}, author = {Browning, Timothy D and Lyczak, Julian and Sarapin, Roman}, issn = {1944-4184}, journal = {Involve}, number = {2}, pages = {331--342}, publisher = {Mathematical Sciences Publishers}, title = {{Local solubility for a family of quadrics over a split quadric surface}}, doi = {10.2140/involve.2023.16.331}, volume = {16}, year = {2023}, } @article{13197, abstract = {Nominally identical materials exchange net electric charge during contact through a mechanism that is still debated. ‘Mosaic models’, in which surfaces are presumed to consist of a random patchwork of microscopic donor/acceptor sites, offer an appealing explanation for this phenomenon. However, recent experiments have shown that global differences persist even between same-material samples, which the standard mosaic framework does not account for. Here, we expand the mosaic framework by incorporating global differences in the densities of donor/acceptor sites. We develop an analytical model, backed by numerical simulations, that smoothly connects the global and deterministic charge transfer of different materials to the local and stochastic mosaic picture normally associated with identical materials. Going further, we extend our model to explain the effect of contact asymmetries during sliding, providing a plausible explanation for reversal of charging sign that has been observed experimentally.}, author = {Grosjean, Galien M and Waitukaitis, Scott R}, issn = {2475-9953}, journal = {Physical Review Materials}, keywords = {Physics and Astronomy (miscellaneous), General Materials Science}, number = {6}, publisher = {American Physical Society}, title = {{Asymmetries in triboelectric charging: Generalizing mosaic models to different-material samples and sliding contacts}}, doi = {10.1103/physrevmaterials.7.065601}, volume = {7}, year = {2023}, } @article{13202, abstract = {Phosphatidylinositol-4,5-bisphosphate (PI(4,5)P2) plays an essential role in neuronal activities through interaction with various proteins involved in signaling at membranes. However, the distribution pattern of PI(4,5)P2 and the association with these proteins on the neuronal cell membranes remain elusive. In this study, we established a method for visualizing PI(4,5)P2 by SDS-digested freeze-fracture replica labeling (SDS-FRL) to investigate the quantitative nanoscale distribution of PI(4,5)P2 in cryo-fixed brain. We demonstrate that PI(4,5)P2 forms tiny clusters with a mean size of ∼1000 nm2 rather than randomly distributed in cerebellar neuronal membranes in male C57BL/6J mice. These clusters show preferential accumulation in specific membrane compartments of different cell types, in particular, in Purkinje cell (PC) spines and granule cell (GC) presynaptic active zones. Furthermore, we revealed extensive association of PI(4,5)P2 with CaV2.1 and GIRK3 across different membrane compartments, whereas its association with mGluR1α was compartment specific. These results suggest that our SDS-FRL method provides valuable insights into the physiological functions of PI(4,5)P2 in neurons.}, author = {Eguchi, Kohgaku and Le Monnier, Elodie and Shigemoto, Ryuichi}, issn = {1529-2401}, journal = {The Journal of Neuroscience}, number = {23}, pages = {4197--4216}, publisher = {Society for Neuroscience}, title = {{Nanoscale phosphoinositide distribution on cell membranes of mouse cerebellar neurons}}, doi = {10.1523/JNEUROSCI.1514-22.2023}, volume = {43}, year = {2023}, } @article{13209, abstract = {The phytohormone auxin plays central roles in many growth and developmental processes in plants. Development of chemical tools targeting the auxin pathway is useful for both plant biology and agriculture. Here we reveal that naproxen, a synthetic compound with anti-inflammatory activity in humans, acts as an auxin transport inhibitor targeting PIN-FORMED (PIN) transporters in plants. Physiological experiments indicate that exogenous naproxen treatment affects pleiotropic auxin-regulated developmental processes. Additional cellular and biochemical evidence indicates that naproxen suppresses auxin transport, specifically PIN-mediated auxin efflux. Moreover, biochemical and structural analyses confirm that naproxen binds directly to PIN1 protein via the same binding cavity as the indole-3-acetic acid substrate. Thus, by combining cellular, biochemical, and structural approaches, this study clearly establishes that naproxen is a PIN inhibitor and elucidates the underlying mechanisms. Further use of this compound may advance our understanding of the molecular mechanisms of PIN-mediated auxin transport and expand our toolkit in auxin biology and agriculture.}, author = {Xia, Jing and Kong, Mengjuan and Yang, Zhisen and Sun, Lianghanxiao and Peng, Yakun and Mao, Yanbo and Wei, Hong and Ying, Wei and Gao, Yongxiao and Friml, Jiří and Weng, Jianping and Liu, Xin and Sun, Linfeng and Tan, Shutang}, issn = {2590-3462}, journal = {Plant Communications}, number = {6}, publisher = {Elsevier }, title = {{Chemical inhibition of Arabidopsis PIN-FORMED auxin transporters by the anti-inflammatory drug naproxen}}, doi = {10.1016/j.xplc.2023.100632}, volume = {4}, year = {2023}, } @article{13213, abstract = {The primary cell wall is a fundamental plant constituent that is flexible but sufficiently rigid to support the plant cell shape. Although many studies have demonstrated that reactive oxygen species (ROS) serve as important signaling messengers to modify the cell wall structure and affect cellular growth, the regulatory mechanism underlying the spatial-temporal regulation of ROS activity for cell wall maintenance remains largely unclear. Here, we demonstrate the role of the Arabidopsis (Arabidopsis thaliana) multicopper oxidase-like protein skewed 5 (SKU5) and its homolog SKU5-similar 1 (SKS1) in root cell wall formation through modulating ROS homeostasis. Loss of SKU5 and SKS1 function resulted in aberrant division planes, protruding cell walls, ectopic deposition of iron, and reduced nicotinamide adeninedinucleotide phosphate (NADPH) oxidase-dependent ROS overproduction in the root epidermis–cortex and cortex–endodermis junctions. A decrease in ROS level or inhibition of NADPH oxidase activity rescued the cell wall defects of sku5 sks1 double mutants. SKU5 and SKS1 proteins were activated by iron treatment, and iron over-accumulated in the walls between the root epidermis and cortex cell layers of sku5 sks1. The glycosylphosphatidylinositol-anchored motif was crucial for membrane association and functionality of SKU5 and SKS1. Overall, our results identified SKU5 and SKS1 as regulators of ROS at the cell surface for regulation of cell wall structure and root cell growth.}, author = {Chen, C and Zhang, Y and Cai, J and Qiu, Y and Li, L and Gao, C and Gao, Y and Ke, M and Wu, S and Wei, C and Chen, J and Xu, T and Friml, Jiří and Wang, J and Li, R and Chao, D and Zhang, B and Chen, X and Gao, Z}, issn = {1532-2548}, journal = {Plant Physiology}, number = {3}, pages = {2243--2260}, publisher = {American Society of Plant Biologists}, title = {{Multi-copper oxidases SKU5 and SKS1 coordinate cell wall formation using apoplastic redox-based reactions in roots}}, doi = {10.1093/plphys/kiad207}, volume = {192}, year = {2023}, } @article{13214, abstract = {Nitrogen is an important macronutrient required for plant growth and development, thus directly impacting agricultural productivity. In recent years, numerous studies have shown that nitrogen-driven growth depends on pathways that control nitrate/nitrogen homeostasis and hormonal networks that act both locally and systemically to coordinate growth and development of plant organs. In this review, we will focus on recent advances in understanding the role of the plant hormones auxin and cytokinin and their crosstalk in nitrate-regulated growth and discuss the significance of novel findings and possible missing links.}, author = {Abualia, R and Riegler, Stefan and Benková, Eva}, issn = {2073-4409}, journal = {Cells}, number = {12}, publisher = {MDPI}, title = {{Nitrate, auxin and cytokinin - a trio to tango}}, doi = {10.3390/cells12121613}, volume = {12}, year = {2023}, } @article{13216, abstract = {Physical catalysts often have multiple sites where reactions can take place. One prominent example is single-atom alloys, where the reactive dopant atoms can preferentially locate in the bulk or at different sites on the surface of the nanoparticle. However, ab initio modeling of catalysts usually only considers one site of the catalyst, neglecting the effects of multiple sites. Here, nanoparticles of copper doped with single-atom rhodium or palladium are modeled for the dehydrogenation of propane. Single-atom alloy nanoparticles are simulated at 400–600 K, using machine learning potentials trained on density functional theory calculations, and then the occupation of different single-atom active sites is identified using a similarity kernel. Further, the turnover frequency for all possible sites is calculated for propane dehydrogenation to propene through microkinetic modeling using density functional theory calculations. The total turnover frequencies of the whole nanoparticle are then described from both the population and the individual turnover frequency of each site. Under operating conditions, rhodium as a dopant is found to almost exclusively occupy (111) surface sites while palladium as a dopant occupies a greater variety of facets. Undercoordinated dopant surface sites are found to tend to be more reactive for propane dehydrogenation compared to the (111) surface. It is found that considering the dynamics of the single-atom alloy nanoparticle has a profound effect on the calculated catalytic activity of single-atom alloys by several orders of magnitude.}, author = {Bunting, Rhys and Wodaczek, Felix and Torabi, Tina and Cheng, Bingqing}, issn = {1520-5126}, journal = {Journal of the American Chemical Society}, keywords = {Colloid and Surface Chemistry, Biochemistry, General Chemistry, Catalysis}, number = {27}, pages = {14894--14902}, publisher = {American Chemical Society}, title = {{Reactivity of single-atom alloy nanoparticles: Modeling the dehydrogenation of propane}}, doi = {10.1021/jacs.3c04030}, volume = {145}, year = {2023}, } @article{13225, abstract = {Recently the leading order of the correlation energy of a Fermi gas in a coupled mean-field and semiclassical scaling regime has been derived, under the assumption of an interaction potential with a small norm and with compact support in Fourier space. We generalize this result to large interaction potentials, requiring only |⋅|V^∈ℓ1(Z3). Our proof is based on approximate, collective bosonization in three dimensions. Significant improvements compared to recent work include stronger bounds on non-bosonizable terms and more efficient control on the bosonization of the kinetic energy.}, author = {Benedikter, Niels P and Porta, Marcello and Schlein, Benjamin and Seiringer, Robert}, issn = {1432-0673}, journal = {Archive for Rational Mechanics and Analysis}, number = {4}, publisher = {Springer Nature}, title = {{Correlation energy of a weakly interacting Fermi gas with large interaction potential}}, doi = {10.1007/s00205-023-01893-6}, volume = {247}, year = {2023}, } @article{13226, abstract = {We consider the ground state and the low-energy excited states of a system of N identical bosons with interactions in the mean-field scaling regime. For the ground state, we derive a weak Edgeworth expansion for the fluctuations of bounded one-body operators, which yields corrections to a central limit theorem to any order in 1/N−−√. For suitable excited states, we show that the limiting distribution is a polynomial times a normal distribution, and that higher-order corrections are given by an Edgeworth-type expansion.}, author = {Bossmann, Lea and Petrat, Sören P}, issn = {1573-0530}, journal = {Letters in Mathematical Physics}, number = {4}, publisher = {Springer Nature}, title = {{Weak Edgeworth expansion for the mean-field Bose gas}}, doi = {10.1007/s11005-023-01698-4}, volume = {113}, year = {2023}, } @inproceedings{13228, abstract = {A machine-learned system that is fair in static decision-making tasks may have biased societal impacts in the long-run. This may happen when the system interacts with humans and feedback patterns emerge, reinforcing old biases in the system and creating new biases. While existing works try to identify and mitigate long-run biases through smart system design, we introduce techniques for monitoring fairness in real time. Our goal is to build and deploy a monitor that will continuously observe a long sequence of events generated by the system in the wild, and will output, with each event, a verdict on how fair the system is at the current point in time. The advantages of monitoring are two-fold. Firstly, fairness is evaluated at run-time, which is important because unfair behaviors may not be eliminated a priori, at design-time, due to partial knowledge about the system and the environment, as well as uncertainties and dynamic changes in the system and the environment, such as the unpredictability of human behavior. Secondly, monitors are by design oblivious to how the monitored system is constructed, which makes them suitable to be used as trusted third-party fairness watchdogs. They function as computationally lightweight statistical estimators, and their correctness proofs rely on the rigorous analysis of the stochastic process that models the assumptions about the underlying dynamics of the system. We show, both in theory and experiments, how monitors can warn us (1) if a bank’s credit policy over time has created an unfair distribution of credit scores among the population, and (2) if a resource allocator’s allocation policy over time has made unfair allocations. Our experiments demonstrate that the monitors introduce very low overhead. We believe that runtime monitoring is an important and mathematically rigorous new addition to the fairness toolbox.}, author = {Henzinger, Thomas A and Karimi, Mahyar and Kueffner, Konstantin and Mallik, Kaushik}, booktitle = {FAccT '23: Proceedings of the 2023 ACM Conference on Fairness, Accountability, and Transparency}, isbn = {9781450372527}, location = {Chicago, IL, United States}, pages = {604--614}, publisher = {Association for Computing Machinery}, title = {{Runtime monitoring of dynamic fairness properties}}, doi = {10.1145/3593013.3594028}, year = {2023}, } @article{13229, abstract = {Dynamic reorganization of the cytoplasm is key to many core cellular processes, such as cell division, cell migration, and cell polarization. Cytoskeletal rearrangements are thought to constitute the main drivers of cytoplasmic flows and reorganization. In contrast, remarkably little is known about how dynamic changes in size and shape of cell organelles affect cytoplasmic organization. Here, we show that within the maturing zebrafish oocyte, the surface localization of exocytosis-competent cortical granules (Cgs) upon germinal vesicle breakdown (GVBD) is achieved by the combined activities of yolk granule (Yg) fusion and microtubule aster formation and translocation. We find that Cgs are moved towards the oocyte surface through radially outward cytoplasmic flows induced by Ygs fusing and compacting towards the oocyte center in response to GVBD. We further show that vesicles decorated with the small Rab GTPase Rab11, a master regulator of vesicular trafficking and exocytosis, accumulate together with Cgs at the oocyte surface. This accumulation is achieved by Rab11-positive vesicles being transported by acentrosomal microtubule asters, the formation of which is induced by the release of CyclinB/Cdk1 upon GVBD, and which display a net movement towards the oocyte surface by preferentially binding to the oocyte actin cortex. We finally demonstrate that the decoration of Cgs by Rab11 at the oocyte surface is needed for Cg exocytosis and subsequent chorion elevation, a process central in egg activation. Collectively, these findings unravel a yet unrecognized role of organelle fusion, functioning together with cytoskeletal rearrangements, in orchestrating cytoplasmic organization during oocyte maturation.}, author = {Shamipour, Shayan and Hofmann, Laura and Steccari, Irene and Kardos, Roland and Heisenberg, Carl-Philipp J}, issn = {1545-7885}, journal = {PLoS Biology}, number = {6}, pages = {e3002146}, publisher = {Public Library of Science}, title = {{Yolk granule fusion and microtubule aster formation regulate cortical granule translocation and exocytosis in zebrafish oocytes}}, doi = {10.1371/journal.pbio.3002146}, volume = {21}, year = {2023}, } @article{13230, abstract = {To interpret the sensory environment, the brain combines ambiguous sensory measurements with knowledge that reflects context-specific prior experience. But environmental contexts can change abruptly and unpredictably, resulting in uncertainty about the current context. Here we address two questions: how should context-specific prior knowledge optimally guide the interpretation of sensory stimuli in changing environments, and do human decision-making strategies resemble this optimum? We probe these questions with a task in which subjects report the orientation of ambiguous visual stimuli that were drawn from three dynamically switching distributions, representing different environmental contexts. We derive predictions for an ideal Bayesian observer that leverages knowledge about the statistical structure of the task to maximize decision accuracy, including knowledge about the dynamics of the environment. We show that its decisions are biased by the dynamically changing task context. The magnitude of this decision bias depends on the observer’s continually evolving belief about the current context. The model therefore not only predicts that decision bias will grow as the context is indicated more reliably, but also as the stability of the environment increases, and as the number of trials since the last context switch grows. Analysis of human choice data validates all three predictions, suggesting that the brain leverages knowledge of the statistical structure of environmental change when interpreting ambiguous sensory signals.}, author = {Charlton, Julie A. and Mlynarski, Wiktor F and Bai, Yoon H. and Hermundstad, Ann M. and Goris, Robbe L.T.}, issn = {1553-7358}, journal = {PLoS Computational Biology}, number = {6}, publisher = {Public Library of Science}, title = {{Environmental dynamics shape perceptual decision bias}}, doi = {10.1371/journal.pcbi.1011104}, volume = {19}, year = {2023}, } @article{13231, abstract = {We study ab initio approaches for calculating x-ray Thomson scattering spectra from density functional theory molecular dynamics simulations based on a modified Chihara formula that expresses the inelastic contribution in terms of the dielectric function. We study the electronic dynamic structure factor computed from the Mermin dielectric function using an ab initio electron-ion collision frequency in comparison to computations using a linear-response time-dependent density functional theory (LR-TDDFT) framework for hydrogen and beryllium and investigate the dispersion of free-free and bound-free contributions to the scattering signal. A separate treatment of these contributions, where only the free-free part follows the Mermin dispersion, shows good agreement with LR-TDDFT results for ambient-density beryllium, but breaks down for highly compressed matter where the bound states become pressure ionized. LR-TDDFT is used to reanalyze x-ray Thomson scattering experiments on beryllium demonstrating strong deviations from the plasma conditions inferred with traditional analytic models at small scattering angles.}, author = {Schörner, Maximilian and Bethkenhagen, Mandy and Döppner, Tilo and Kraus, Dominik and Fletcher, Luke B. and Glenzer, Siegfried H. and Redmer, Ronald}, issn = {2470-0053}, journal = {Physical Review E}, number = {6}, publisher = {American Physical Society}, title = {{X-ray Thomson scattering spectra from density functional theory molecular dynamics simulations based on a modified Chihara formula}}, doi = {10.1103/PhysRevE.107.065207}, volume = {107}, year = {2023}, } @article{13232, abstract = {The potential of immune-evasive mutation accumulation in the SARS-CoV-2 virus has led to its rapid spread, causing over 600 million confirmed cases and more than 6.5 million confirmed deaths. The huge demand for the rapid development and deployment of low-cost and effective vaccines against emerging variants has renewed interest in DNA vaccine technology. Here, we report the rapid generation and immunological evaluation of novel DNA vaccine candidates against the Wuhan-Hu-1 and Omicron variants based on the RBD protein fused with the Potato virus X coat protein (PVXCP). The delivery of DNA vaccines using electroporation in a two-dose regimen induced high-antibody titers and profound cellular responses in mice. The antibody titers induced against the Omicron variant of the vaccine were sufficient for effective protection against both Omicron and Wuhan-Hu-1 virus infections. The PVXCP protein in the vaccine construct shifted the immune response to the favorable Th1-like type and provided the oligomerization of RBD-PVXCP protein. Naked DNA delivery by needle-free injection allowed us to achieve antibody titers comparable with mRNA-LNP delivery in rabbits. These data identify the RBD-PVXCP DNA vaccine platform as a promising solution for robust and effective SARS-CoV-2 protection, supporting further translational study.}, author = {Dormeshkin, Dmitri and Katsin, Mikalai and Stegantseva, Maria and Golenchenko, Sergey and Shapira, Michail and Dubovik, Simon and Lutskovich, Dzmitry and Kavaleuski, Anton and Meleshko, Alexander}, issn = {2076-393X}, journal = {Vaccines}, number = {6}, publisher = {MDPI}, title = {{Design and immunogenicity of SARS-CoV-2 DNA vaccine encoding RBD-PVXCP fusion protein}}, doi = {10.3390/vaccines11061014}, volume = {11}, year = {2023}, } @article{13233, abstract = {We study the impact of finite-range physics on the zero-range-model analysis of three-body recombination in ultracold atoms. We find that temperature dependence of the zero-range parameters can vary from one set of measurements to another as it may be driven by the distribution of error bars in the experiment, and not by the underlying three-body physics. To study finite-temperature effects in three-body recombination beyond the zero-range physics, we introduce and examine a finite-range model based upon a hyperspherical formalism. The systematic error discussed in this Letter may provide a significant contribution to the error bars of measured three-body parameters.}, author = {Agafonova, Sofya and Lemeshko, Mikhail and Volosniev, Artem}, issn = {2469-9934}, journal = {Physical Review A}, number = {6}, publisher = {American Physical Society}, title = {{Finite-range bias in fitting three-body loss to the zero-range model}}, doi = {10.1103/PhysRevA.107.L061304}, volume = {107}, year = {2023}, } @article{13234, abstract = {Neural-network classifiers achieve high accuracy when predicting the class of an input that they were trained to identify. Maintaining this accuracy in dynamic environments, where inputs frequently fall outside the fixed set of initially known classes, remains a challenge. We consider the problem of monitoring the classification decisions of neural networks in the presence of novel classes. For this purpose, we generalize our recently proposed abstraction-based monitor from binary output to real-valued quantitative output. This quantitative output enables new applications, two of which we investigate in the paper. As our first application, we introduce an algorithmic framework for active monitoring of a neural network, which allows us to learn new classes dynamically and yet maintain high monitoring performance. As our second application, we present an offline procedure to retrain the neural network to improve the monitor’s detection performance without deteriorating the network’s classification accuracy. Our experimental evaluation demonstrates both the benefits of our active monitoring framework in dynamic scenarios and the effectiveness of the retraining procedure.}, author = {Kueffner, Konstantin and Lukina, Anna and Schilling, Christian and Henzinger, Thomas A}, issn = {1433-2787}, journal = {International Journal on Software Tools for Technology Transfer}, pages = {575--592}, publisher = {Springer Nature}, title = {{Into the unknown: Active monitoring of neural networks (extended version)}}, doi = {10.1007/s10009-023-00711-4}, volume = {25}, year = {2023}, }