@article{12113, abstract = {The power factor of poly(3,4-ethylenedioxythiophene):poly(styrene sulfonate) (PEDOT:PSS) film can be significantly improved by optimizing the oxidation level of the film in oxidation and reduction processes. However, precise control over the oxidation and reduction effects in PEDOT:PSS remains a challenge, which greatly sacrifices both S and σ. Here, we propose a two-step post-treatment using a mixture of ethylene glycol (EG) and Arginine (Arg) and sulfuric acid (H2SO4) in sequence to engineer high-performance PEDOT:PSS thermoelectric films. The high-polarity EG dopant removes the excess non-ionized PSS and induces benzenoid-to-quinoid conformational change in the PEDOT:PSS films. In particular, basic amino acid Arg tunes the oxidation level of PEDOT:PSS and prevents the films from over-oxidation during H2SO4 post-treatment, leading to increased S. The following H2SO4 post-treatment further induces highly orientated lamellar stacking microstructures to increase σ, yielding a maximum power factor of 170.6 μW m−1 K−2 at 460 K. Moreover, a novel trigonal-shape thermoelectric device is designed and assembled by the as-prepared PEDOT:PSS films in order to harvest heat via a vertical temperature gradient. An output power density of 33 μW cm−2 is generated at a temperature difference of 40 K, showing the potential application for low-grade wearable electronic devices.}, author = {Zhang, Li and Liu, Xingyu and Wu, Ting and Xu, Shengduo and Suo, Guoquan and Ye, Xiaohui and Hou, Xiaojiang and Yang, Yanling and Liu, Qingfeng and Wang, Hongqiang}, issn = {0169-4332}, journal = {Applied Surface Science}, keywords = {Surfaces, Coatings and Films, Condensed Matter Physics, Surfaces and Interfaces, General Physics and Astronomy, General Chemistry}, publisher = {Elsevier}, title = {{Two-step post-treatment to deliver high performance thermoelectric device with vertical temperature gradient}}, doi = {10.1016/j.apsusc.2022.156101}, volume = {613}, year = {2023}, } @article{12114, abstract = {Probing the dynamics of aromatic side chains provides important insights into the behavior of a protein because flips of aromatic rings in a protein’s hydrophobic core report on breathing motion involving a large part of the protein. Inherently invisible to crystallography, aromatic motions have been primarily studied by solution NMR. The question how packing of proteins in crystals affects ring flips has, thus, remained largely unexplored. Here we apply magic-angle spinning NMR, advanced phenylalanine 1H-13C/2H isotope labeling and MD simulation to a protein in three different crystal packing environments to shed light onto possible impact of packing on ring flips. The flips of the two Phe residues in ubiquitin, both surface exposed, appear remarkably conserved in the different crystal forms, even though the intermolecular packing is quite different: Phe4 flips on a ca. 10–20 ns time scale, and Phe45 are broadened in all crystals, presumably due to µs motion. Our findings suggest that intramolecular influences are more important for ring flips than intermolecular (packing) effects.}, author = {Gauto, Diego F. and Lebedenko, Olga O. and Becker, Lea Marie and Ayala, Isabel and Lichtenecker, Roman and Skrynnikov, Nikolai R. and Schanda, Paul}, issn = {2590-1524}, journal = {Journal of Structural Biology: X}, keywords = {Structural Biology}, publisher = {Elsevier}, title = {{Aromatic ring flips in differently packed ubiquitin protein crystals from MAS NMR and MD}}, doi = {10.1016/j.yjsbx.2022.100079}, volume = {7}, year = {2023}, } @article{12115, author = {Glajzer, Jacek and Castillo-Tong, Dan Cacsire and Richter, Rolf and Vergote, Ignace and Kulbe, Hagen and Vanderstichele, Adriaan and Ruscito, Ilary and Trillsch, Fabian and Mustea, Alexander and Kreuzinger, Caroline and Gourley, Charlie and Gabra, Hani and Taube, Eliane T. and Dorigo, Oliver and Horst, David and Keunecke, Carlotta and Baum, Joanna and Angelotti, Timothy and Sehouli, Jalid and Braicu, Elena Ioana}, issn = {1534-4681}, journal = {Annals of Surgical Oncology}, keywords = {Oncology, Surgery}, pages = {46--47}, publisher = {Springer Nature}, title = {{ASO Visual Abstract: Impact of BRCA mutation status on tumor dissemination pattern, surgical outcome, and patient survival in primary and recurrent high-grade serous ovarian cancer (HGSOC). A multicenter, retrospective study of the ovarian cancer therapy—innovative models prolong survival (OCTIPS) consortium}}, doi = {10.1245/s10434-022-12681-z}, volume = {30}, year = {2023}, } @article{12158, abstract = {Post-translational histone modifications modulate chromatin activity to affect gene expression. How chromatin states underlie lineage choice in single cells is relatively unexplored. We develop sort-assisted single-cell chromatin immunocleavage (sortChIC) and map active (H3K4me1 and H3K4me3) and repressive (H3K27me3 and H3K9me3) histone modifications in the mouse bone marrow. During differentiation, hematopoietic stem and progenitor cells (HSPCs) acquire active chromatin states mediated by cell-type-specifying transcription factors, which are unique for each lineage. By contrast, most alterations in repressive marks during differentiation occur independent of the final cell type. Chromatin trajectory analysis shows that lineage choice at the chromatin level occurs at the progenitor stage. Joint profiling of H3K4me1 and H3K9me3 demonstrates that cell types within the myeloid lineage have distinct active chromatin but share similar myeloid-specific heterochromatin states. This implies a hierarchical regulation of chromatin during hematopoiesis: heterochromatin dynamics distinguish differentiation trajectories and lineages, while euchromatin dynamics reflect cell types within lineages.}, author = {Zeller, Peter and Yeung, Jake and Viñas Gaza, Helena and de Barbanson, Buys Anton and Bhardwaj, Vivek and Florescu, Maria and van der Linden, Reinier and van Oudenaarden, Alexander}, issn = {1546-1718}, journal = {Nature Genetics}, keywords = {Genetics}, pages = {333--345}, publisher = {Springer Nature}, title = {{Single-cell sortChIC identifies hierarchical chromatin dynamics during hematopoiesis}}, doi = {10.1038/s41588-022-01260-3}, volume = {55}, year = {2023}, } @article{12162, abstract = {Homeostatic balance in the intestinal epithelium relies on a fast cellular turnover, which is coordinated by an intricate interplay between biochemical signalling, mechanical forces and organ geometry. We review recent modelling approaches that have been developed to understand different facets of this remarkable homeostatic equilibrium. Existing models offer different, albeit complementary, perspectives on the problem. First, biomechanical models aim to explain the local and global mechanical stresses driving cell renewal as well as tissue shape maintenance. Second, compartmental models provide insights into the conditions necessary to keep a constant flow of cells with well-defined ratios of cell types, and how perturbations can lead to an unbalance of relative compartment sizes. A third family of models address, at the cellular level, the nature and regulation of stem fate choices that are necessary to fuel cellular turnover. We also review how these different approaches are starting to be integrated together across scales, to provide quantitative predictions and new conceptual frameworks to think about the dynamics of cell renewal in complex tissues.}, author = {Corominas-Murtra, Bernat and Hannezo, Edouard B}, issn = {1084-9521}, journal = {Seminars in Cell & Developmental Biology}, keywords = {Cell Biology, Developmental Biology}, pages = {58--65}, publisher = {Elsevier}, title = {{Modelling the dynamics of mammalian gut homeostasis}}, doi = {10.1016/j.semcdb.2022.11.005}, volume = {150-151}, year = {2023}, } @article{12163, abstract = {Small GTPases play essential roles in the organization of eukaryotic cells. In recent years, it has become clear that their intracellular functions result from intricate biochemical networks of the GTPase and their regulators that dynamically bind to a membrane surface. Due to the inherent complexities of their interactions, however, revealing the underlying mechanisms of action is often difficult to achieve from in vivo studies. This review summarizes in vitro reconstitution approaches developed to obtain a better mechanistic understanding of how small GTPase activities are regulated in space and time.}, author = {Loose, Martin and Auer, Albert and Brognara, Gabriel and Budiman, Hanifatul R and Kowalski, Lukasz M and Matijevic, Ivana}, issn = {1873-3468}, journal = {FEBS Letters}, keywords = {Cell Biology, Genetics, Molecular Biology, Biochemistry, Structural Biology, Biophysics}, number = {6}, pages = {762--777}, publisher = {Wiley}, title = {{In vitro reconstitution of small GTPase regulation}}, doi = {10.1002/1873-3468.14540}, volume = {597}, year = {2023}, } @article{12164, abstract = {A shared-memory counter is a widely-used and well-studied concurrent object. It supports two operations: An Inc operation that increases its value by 1 and a Read operation that returns its current value. In Jayanti et al (SIAM J Comput, 30(2), 2000), Jayanti, Tan and Toueg proved a linear lower bound on the worst-case step complexity of obstruction-free implementations, from read-write registers, of a large class of shared objects that includes counters. The lower bound leaves open the question of finding counter implementations with sub-linear amortized step complexity. In this work, we address this gap. We show that n-process, wait-free and linearizable counters can be implemented from read-write registers with O(log2n) amortized step complexity. This is the first counter algorithm from read-write registers that provides sub-linear amortized step complexity in executions of arbitrary length. Since a logarithmic lower bound on the amortized step complexity of obstruction-free counter implementations exists, our upper bound is within a logarithmic factor of the optimal. The worst-case step complexity of the construction remains linear, which is optimal. This is obtained thanks to a new max register construction with O(logn) amortized step complexity in executions of arbitrary length in which the value stored in the register does not grow too quickly. We then leverage an existing counter algorithm by Aspnes, Attiya and Censor-Hillel [1] in which we “plug” our max register implementation to show that it remains linearizable while achieving O(log2n) amortized step complexity.}, author = {Baig, Mirza Ahad and Hendler, Danny and Milani, Alessia and Travers, Corentin}, issn = {1432-0452}, journal = {Distributed Computing}, keywords = {Computational Theory and Mathematics, Computer Networks and Communications, Hardware and Architecture, Theoretical Computer Science}, pages = {29--43}, publisher = {Springer Nature}, title = {{Long-lived counters with polylogarithmic amortized step complexity}}, doi = {10.1007/s00446-022-00439-5}, volume = {36}, year = {2023}, } @article{12165, abstract = {It may come as a surprise that a phenomenon as ubiquitous and prominent as the transition from laminar to turbulent flow has resisted combined efforts by physicists, engineers and mathematicians, and remained unresolved for almost one and a half centuries. In recent years, various studies have proposed analogies to directed percolation, a well-known universality class in statistical mechanics, which describes a non-equilibrium phase transition from a fluctuating active phase into an absorbing state. It is this unlikely relation between the multiscale, high-dimensional dynamics that signify the transition process in virtually all flows of practical relevance, and the arguably most basic non-equilibrium phase transition, that so far has mainly been the subject of model studies, which I review in this Perspective.}, author = {Hof, Björn}, issn = {2522-5820}, journal = {Nature Reviews Physics}, keywords = {General Physics and Astronomy}, pages = {62--72}, publisher = {Springer Nature}, title = {{Directed percolation and the transition to turbulence}}, doi = {10.1038/s42254-022-00539-y}, volume = {5}, year = {2023}, } @article{12166, abstract = {Kerstin Johannesson is a marine ecologist and evolutionary biologist based at the Tjärnö Marine Laboratory of the University of Gothenburg, which is situated in the beautiful Kosterhavet National Park on the Swedish west coast. Her work, using marine periwinkles (especially Littorina saxatilis and L. fabalis) as main model systems, has made a remarkable contribution to marine evolutionary biology and our understanding of local adaptation and its genetic underpinnings.}, author = {Westram, Anja M and Butlin, Roger}, issn = {1365-294X}, journal = {Molecular Ecology}, keywords = {Genetics, Ecology, Evolution, Behavior and Systematics}, number = {1}, pages = {26--29}, publisher = {Wiley}, title = {{Professor Kerstin Johannesson–winner of the 2022 Molecular Ecology Prize}}, doi = {10.1111/mec.16779}, volume = {32}, year = {2023}, } @article{12172, abstract = {In industrial reactors and equipment, non-ideality is quite a common phenomenon rather than an exception. These deviations from ideality impact the process's overall efficiency and the effectiveness of the equipment. To recognize the associated non-ideality, one needs to have enough understanding of the formulation of the equations and in-depth knowledge of the residence time distribution (RTD) data of real reactors. In the current work, step input and pulse input were used to create RTD data for Cascade continuous stirred tank reactors (CSTRs). For the aforementioned configuration, experiments were run at various flow rates to validate the developed characteristic equations. To produce RTD data, distilled water was utilized as the flowing fluid, and NaOH was the tracer substance. The ideal behavior of tracer concentration exits age distribution, and cumulative fraction for each setup and each input was plotted and experimental results were compared with perfect behavior. Deviation of concentration exit age distribution and cumulative fractional distribution from ideal behavior is more in pulse input as compared to a step input. For ideal cases, the exit age distribution curve and cumulative fraction curves are independent of the type of input. But a significant difference was observed for the two cases, which may be due to non-measurable fluctuations in volumetric flow rate, non-achievement of instant injection of tracer in case of pulse input, and slight variations in the sampling period. Further, with increasing flow rate, concentration, exit age, and cumulative fractional curves shifted upward, and this behavior matches with the actual case.}, author = {Khatoon, Bushra and Kamil, Shoaib and Babu, Hitesh and Siraj Alam, M.}, issn = {2214-7853}, journal = {Materials Today: Proceedings}, keywords = {General Medicine}, number = {Part 1}, pages = {40--47}, publisher = {Elsevier}, title = {{Experimental analysis of Cascade CSTRs with step and pulse inputs}}, doi = {10.1016/j.matpr.2022.11.037}, volume = {78}, year = {2023}, } @article{12183, abstract = {We consider a gas of n bosonic particles confined in a box [−ℓ/2,ℓ/2]3 with Neumann boundary conditions. We prove Bose–Einstein condensation in the Gross–Pitaevskii regime, with an optimal bound on the condensate depletion. Moreover, our lower bound for the ground state energy in a small box [−ℓ/2,ℓ/2]3 implies (via Neumann bracketing) a lower bound for the ground state energy of N bosons in a large box [−L/2,L/2]3 with density ρ=N/L3 in the thermodynamic limit.}, author = {Boccato, Chiara and Seiringer, Robert}, issn = {1424-0637}, journal = {Annales Henri Poincare}, pages = {1505--1560}, publisher = {Springer Nature}, title = {{The Bose Gas in a box with Neumann boundary conditions}}, doi = {10.1007/s00023-022-01252-3}, volume = {24}, year = {2023}, } @article{12205, abstract = {Background: This study seeks to evaluate the impact of breast cancer (BRCA) gene status on tumor dissemination pattern, surgical outcome and survival in a multicenter cohort of paired primary ovarian cancer (pOC) and recurrent ovarian cancer (rOC). Patients and Methods: Medical records and follow-up data from 190 patients were gathered retrospectively. All patients had surgery at pOC and at least one further rOC surgery at four European high-volume centers. Patients were divided into one cohort with confirmed mutation for BRCA1 and/or BRCA2 (BRCAmut) and a second cohort with BRCA wild type or unknown (BRCAwt). Patterns of tumor presentation, surgical outcome and survival data were analyzed between the two groups. Results: Patients with BRCAmut disease were on average 4 years younger and had significantly more tumor involvement upon diagnosis. Patients with BRCAmut disease showed higher debulking rates at all stages. Multivariate analysis showed that only patient age had significant predictive value for complete tumor resection in pOC. At rOC, however, only BRCAmut status significantly correlated with optimal debulking. Patients with BRCAmut disease showed significantly prolonged overall survival (OS) by 24.3 months. Progression-free survival (PFS) was prolonged in the BRCAmut group at all stages as well, reaching statistical significance during recurrence. Conclusions: Patients with BRCAmut disease showed a more aggressive course of disease with earlier onset and more extensive tumor dissemination at pOC. However, surgical outcome and OS were significantly better in patients with BRCAmut disease compared with patients with BRCAwt disease. We therefore propose to consider BRCAmut status in regard to patient selection for cytoreductive surgery, especially in rOC.}, author = {Glajzer, Jacek and Castillo-Tong, Dan Cacsire and Richter, Rolf and Vergote, Ignace and Kulbe, Hagen and Vanderstichele, Adriaan and Ruscito, Ilary and Trillsch, Fabian and Mustea, Alexander and Kreuzinger, Caroline and Gourley, Charlie and Gabra, Hani and Taube, Eliane T. and Dorigo, Oliver and Horst, David and Keunecke, Carlotta and Baum, Joanna and Angelotti, Timothy and Sehouli, Jalid and Braicu, Elena Ioana}, issn = {1534-4681}, journal = {Annals of Surgical Oncology}, keywords = {Oncology, Surgery}, pages = {35--45}, publisher = {Springer Nature}, title = {{Impact of BRCA mutation status on tumor dissemination pattern, surgical outcome and patient survival in primary and recurrent high-grade serous ovarian cancer: A multicenter retrospective study by the Ovarian Cancer Therapy-Innovative Models Prolong Survival (OCTIPS) consortium}}, doi = {10.1245/s10434-022-12459-3}, volume = {30}, year = {2023}, } @article{13443, abstract = {The ages of solar-like stars have been at the center of many studies such as exoplanet characterization or Galactic-archeology. While ages are usually computed from stellar evolution models, relations linking ages to other stellar properties, such as rotation and magnetic activity, have been investigated. With the large catalog of 55,232 rotation periods, Prot, and photometric magnetic activity index, Sph from Kepler data, we have the opportunity to look for such magneto-gyro-chronology relations. Stellar ages are obtained with two stellar evolution codes that include treatment of angular momentum evolution, hence using Prot as input in addition to classical atmospheric parameters. We explore two different ways of predicting stellar ages on three subsamples with spectroscopic observations: solar analogs, late-F and G dwarfs, and K dwarfs. We first perform a Bayesian analysis to derive relations between Sph and ages between 1 and 5 Gyr, and other stellar properties. For late-F and G dwarfs, and K dwarfs, the multivariate regression favors the model with Prot and Sph with median differences of 0.1% and 0.2%, respectively. We also apply Machine Learning techniques with a Random Forest algorithm to predict ages up to 14 Gyr with the same set of input parameters. For late-F, G and K dwarfs together, predicted ages are on average within 5.3% of the model ages and improve to 3.1% when including Prot. These are very promising results for a quick age estimation for solar-like stars with photometric observations, especially with current and future space missions.}, author = {Mathur, Savita and Claytor, Zachary R. and Santos, Ângela R. G. and García, Rafael A. and Amard, Louis and Bugnet, Lisa Annabelle and Corsaro, Enrico and Bonanno, Alfio and Breton, Sylvain N. and Godoy-Rivera, Diego and Pinsonneault, Marc H. and van Saders, Jennifer}, issn = {1538-4357}, journal = {The Astrophysical Journal}, keywords = {Space and Planetary Science, Astronomy and Astrophysics}, number = {2}, publisher = {American Astronomical Society}, title = {{Magnetic activity evolution of solar-like stars. I. Sph–age relation derived from Kepler observations}}, doi = {10.3847/1538-4357/acd118}, volume = {952}, year = {2023}, } @unpublished{13447, abstract = {Asteroseismology has transformed stellar astrophysics. Red giant asteroseismology is a prime example, with oscillation periods and amplitudes that are readily detectable with time-domain space-based telescopes. These oscillations can be used to infer masses, ages and radii for large numbers of stars, providing unique constraints on stellar populations in our galaxy. The cadence, duration, and spatial resolution of the Roman galactic bulge time-domain survey (GBTDS) are well-suited for asteroseismology and will probe an important population not studied by prior missions. We identify photometric precision as a key requirement for realizing the potential of asteroseismology with Roman. A precision of 1 mmag per 15-min cadence or better for saturated stars will enable detections of the populous red clump star population in the Galactic bulge. If the survey efficiency is better than expected, we argue for repeat observations of the same fields to improve photometric precision, or covering additional fields to expand the stellar population reach if the photometric precision for saturated stars is better than 1 mmag. Asteroseismology is relatively insensitive to the timing of the observations during the mission, and the prime red clump targets can be observed in a single 70 day campaign in any given field. Complementary stellar characterization, particularly astrometry tied to the Gaia system, will also dramatically expand the diagnostic power of asteroseismology. We also highlight synergies to Roman GBTDS exoplanet science using transits and microlensing.}, author = {Huber, Daniel and Pinsonneault, Marc and Beck, Paul and Bedding, Timothy R. and Joss Bland-Hawthorn, Joss Bland-Hawthorn and Breton, Sylvain N. and Bugnet, Lisa Annabelle and Chaplin, William J. and Garcia, Rafael A. and Grunblatt, Samuel K. and Guzik, Joyce A. and Hekker, Saskia and Kawaler, Steven D. and Mathis, Stephane and Mathur, Savita and Metcalfe, Travis and Mosser, Benoit and Ness, Melissa K. and Piro, Anthony L. and Serenelli, Aldo and Sharma, Sanjib and Soderblom, David R. and Stassun, Keivan G. and Stello, Dennis and Tayar, Jamie and Belle, Gerard T. van and Zinn, Joel C.}, booktitle = {arXiv}, title = {{Asteroseismology with the Roman galactic bulge time-domain survey}}, doi = {10.48550/arXiv.2307.03237}, year = {2023}, } @article{13963, abstract = {The many-body localization (MBL) proximity effect is an intriguing phenomenon where a thermal bath localizes due to the interaction with a disordered system. The interplay of thermal and nonergodic behavior in these systems gives rise to a rich phase diagram, whose exploration is an active field of research. In this paper, we study a bosonic Hubbard model featuring two particle species representing the bath and the disordered system. Using state-of-the-art numerical techniques, we investigate the dynamics of the model in different regimes, based on which we obtain a tentative phase diagram as a function of coupling strength and bath size. When the bath is composed of a single particle, we observe clear signatures of a transition from an MBL proximity effect to a delocalized phase. Increasing the bath size, however, its thermalizing effect becomes stronger and eventually the whole system delocalizes in the range of moderate interaction strengths studied. In this regime, we characterize particle transport, revealing diffusive behavior of the originally localized bosons.}, author = {Brighi, Pietro and Ljubotina, Marko and Abanin, Dmitry A. and Serbyn, Maksym}, issn = {2469-9969}, journal = {Physical Review B}, number = {5}, publisher = {American Physical Society}, title = {{Many-body localization proximity effect in a two-species bosonic Hubbard model}}, doi = {10.1103/physrevb.108.054201}, volume = {108}, year = {2023}, } @article{13965, abstract = {Many modes and mechanisms of epigenetic inheritance have been elucidated in eukaryotes. Most of them are relatively short-term, generally not exceeding one or a few organismal generations. However, emerging evidence indicates that one mechanism, cytosine DNA methylation, can mediate epigenetic inheritance over much longer timescales, which are mostly or completely inaccessible in the laboratory. Here we discuss the evidence for, and mechanisms and implications of, such long-term epigenetic inheritance. We argue that compelling evidence supports the long-term epigenetic inheritance of gene body methylation, at least in the model angiosperm Arabidopsis thaliana, and that variation in such methylation can therefore serve as an epigenetic basis for phenotypic variation in natural populations.}, author = {Hollwey, Elizabeth and Briffa, Amy and Howard, Martin and Zilberman, Daniel}, issn = {1879-0380}, journal = {Current Opinion in Genetics and Development}, number = {8}, publisher = {Elsevier}, title = {{Concepts, mechanisms and implications of long-term epigenetic inheritance}}, doi = {10.1016/j.gde.2023.102087}, volume = {81}, year = {2023}, } @article{13966, abstract = {We present a low-scaling diagrammatic Monte Carlo approach to molecular correlation energies. Using combinatorial graph theory to encode many-body Hugenholtz diagrams, we sample the Møller-Plesset (MPn) perturbation series, obtaining accurate correlation energies up to n=5, with quadratic scaling in the number of basis functions. Our technique reduces the computational complexity of the molecular many-fermion correlation problem, opening up the possibility of low-scaling, accurate stochastic computations for a wide class of many-body systems described by Hugenholtz diagrams.}, author = {Bighin, Giacomo and Ho, Quoc P and Lemeshko, Mikhail and Tscherbul, T. V.}, issn = {2469-9969}, journal = {Physical Review B}, number = {4}, publisher = {American Physical Society}, title = {{Diagrammatic Monte Carlo for electronic correlation in molecules: High-order many-body perturbation theory with low scaling}}, doi = {10.1103/PhysRevB.108.045115}, volume = {108}, year = {2023}, } @inproceedings{13967, abstract = {A classic solution technique for Markov decision processes (MDP) and stochastic games (SG) is value iteration (VI). Due to its good practical performance, this approximative approach is typically preferred over exact techniques, even though no practical bounds on the imprecision of the result could be given until recently. As a consequence, even the most used model checkers could return arbitrarily wrong results. Over the past decade, different works derived stopping criteria, indicating when the precision reaches the desired level, for various settings, in particular MDP with reachability, total reward, and mean payoff, and SG with reachability.In this paper, we provide the first stopping criteria for VI on SG with total reward and mean payoff, yielding the first anytime algorithms in these settings. To this end, we provide the solution in two flavours: First through a reduction to the MDP case and second directly on SG. The former is simpler and automatically utilizes any advances on MDP. The latter allows for more local computations, heading towards better practical efficiency.Our solution unifies the previously mentioned approaches for MDP and SG and their underlying ideas. To achieve this, we isolate objective-specific subroutines as well as identify objective-independent concepts. These structural concepts, while surprisingly simple, form the very essence of the unified solution.}, author = {Kretinsky, Jan and Meggendorfer, Tobias and Weininger, Maximilian}, booktitle = {38th Annual ACM/IEEE Symposium on Logic in Computer Science}, isbn = {9798350335873}, issn = {1043-6871}, location = {Boston, MA, United States}, publisher = {Institute of Electrical and Electronics Engineers}, title = {{Stopping criteria for value iteration on stochastic games with quantitative objectives}}, doi = {10.1109/LICS56636.2023.10175771}, volume = {2023}, year = {2023}, } @article{13968, abstract = {The use of multimodal readout mechanisms next to label-free real-time monitoring of biomolecular interactions can provide valuable insight into surface-based reaction mechanisms. To this end, the combination of an electrolyte-gated field-effect transistor (EG-FET) with a fiber optic-coupled surface plasmon resonance (FO-SPR) probe serving as gate electrode has been investigated to deconvolute surface mass and charge density variations associated to surface reactions. However, applying an electrochemical potential on such gold-coated FO-SPR gate electrodes can induce gradual morphological changes of the thin gold film, leading to an irreversible blue-shift of the SPR wavelength and a substantial signal drift. We show that mild annealing leads to optical and electronic signal stabilization (20-fold lower signal drift than as-sputtered fiber optic gates) and improved overall analytical performance characteristics. The thermal treatment prevents morphological changes of the thin gold-film occurring during operation, hence providing reliable and stable data immediately upon gate voltage application. Thus, the readout output of both transducing principles, the optical FO-SPR and electronic EG-FET, stays constant throughout the whole sensing time-window and the long-term effect of thermal treatment is also improved, providing stable signals even after 1 year of storage. Annealing should therefore be considered a necessary modification for applying fiber optic gate electrodes in real-time multimodal investigations of surface reactions at the solid-liquid interface.}, author = {Hasler, Roger and Steger-Polt, Marie Helene and Reiner-Rozman, Ciril and Fossati, Stefan and Lee, Seungho and Aspermair, Patrik and Kleber, Christoph and Ibáñez, Maria and Dostalek, Jakub and Knoll, Wolfgang}, issn = {2296-424X}, journal = {Frontiers in Physics}, publisher = {Frontiers}, title = {{Optical and electronic signal stabilization of plasmonic fiber optic gate electrodes: Towards improved real-time dual-mode biosensing}}, doi = {10.3389/fphy.2023.1202132}, volume = {11}, year = {2023}, } @article{13969, abstract = {Bundling crossings is a strategy which can enhance the readability of graph drawings. In this paper we consider good drawings, i.e., we require that any two edges have at most one common point which can be a common vertex or a crossing. Our main result is that there is a polynomial-time algorithm to compute an 8-approximation of the bundled crossing number of a good drawing with no toothed hole. In general the number of toothed holes has to be added to the 8-approximation. In the special case of circular drawings the approximation factor is 8, this improves upon the 10-approximation of Fink et al. [14]. Our approach also works with the same approximation factor for families of pseudosegments, i.e., curves intersecting at most once. We also show how to compute a 9/2-approximation when the intersection graph of the pseudosegments is bipartite and has no toothed hole.}, author = {Arroyo Guevara, Alan M and Felsner, Stefan}, issn = {1526-1719}, journal = {Journal of Graph Algorithms and Applications}, number = {6}, pages = {433--457}, publisher = {Brown University}, title = {{Approximating the bundled crossing number}}, doi = {10.7155/jgaa.00629}, volume = {27}, year = {2023}, }