@article{12331,
  abstract     = {High carrier mobility is critical to improving thermoelectric performance over a broad temperature range. However, traditional doping inevitably deteriorates carrier mobility. Herein, we develop a strategy for fine tuning of defects to improve carrier mobility. To begin, n-type PbTe is created by compensating for the intrinsic Pb vacancy in bare PbTe. Excess Pb2+ reduces vacancy scattering, resulting in a high carrier mobility of ∼3400 cm2 V–1 s–1. Then, excess Ag is introduced to compensate for the remaining intrinsic Pb vacancies. We find that excess Ag exhibits a dynamic doping process with increasing temperatures, increasing both the carrier concentration and carrier mobility throughout a wide temperature range; specifically, an ultrahigh carrier mobility ∼7300 cm2 V–1 s–1 is obtained for Pb1.01Te + 0.002Ag at 300 K. Moreover, the dynamic doping-induced high carrier concentration suppresses the bipolar thermal conductivity at high temperatures. The final step is using iodine to optimize the carrier concentration to ∼1019 cm–3. Ultimately, a maximum ZT value of ∼1.5 and a large average ZTave value of ∼1.0 at 300–773 K are obtained for Pb1.01Te0.998I0.002 + 0.002Ag. These findings demonstrate that fine tuning of defects with <0.5% impurities can remarkably enhance carrier mobility and improve thermoelectric performance.},
  author       = {Wang, Siqi and Chang, Cheng and Bai, Shulin and Qin, Bingchao and Zhu, Yingcai and Zhan, Shaoping and Zheng, Junqing and Tang, Shuwei and Zhao, Li Dong},
  issn         = {1520-5002},
  journal      = {Chemistry of Materials},
  number       = {2},
  pages        = {755--763},
  publisher    = {American Chemical Society},
  title        = {{Fine tuning of defects enables high carrier mobility and enhanced thermoelectric performance of n-type PbTe}},
  doi          = {10.1021/acs.chemmater.2c03542},
  volume       = {35},
  year         = {2023},
}

@article{12406,
  abstract     = {Let X be a sufficiently large positive integer. We prove that one may choose a subset S of primes with cardinality O(logX) such that a positive proportion of integers less than X can be represented by x2+py2 for at least one p∈S.},
  author       = {Diao, Yijie},
  issn         = {1730-6264},
  journal      = {Acta Arithmetica},
  keywords     = {Algebra, Number Theory},
  pages        = {1--17},
  publisher    = {Instytut Matematyczny},
  title        = {{Density of the union of positive diagonal binary quadratic forms}},
  doi          = {10.4064/aa210830-24-11},
  volume       = {207},
  year         = {2023},
}

@misc{12407,
  abstract     = {As the complexity and criticality of software increase every year, so does the importance of run-time monitoring. Third-party monitoring, with limited knowledge of the monitored software, and best-effort monitoring, which keeps pace with the monitored software, are especially valuable, yet underexplored areas of run-time monitoring. Most existing monitoring frameworks do not support their combination because they either require access to the monitored code for instrumentation purposes or the processing of all observed events, or both.

We present a middleware framework, VAMOS, for the run-time monitoring of software which is explicitly designed to support third-party and best-effort scenarios. The design goals of VAMOS are (i) efficiency (keeping pace at low overhead), (ii) flexibility (the ability to monitor black-box code through a variety of different event channels, and the connectability to monitors written in different specification languages), and (iii) ease-of-use. To achieve its goals, VAMOS combines aspects of event broker and event recognition systems with aspects of stream processing systems.

We implemented a prototype toolchain for VAMOS and conducted experiments including a case study of monitoring for data races. The results indicate that VAMOS enables writing useful yet efficient monitors, is compatible with a variety of event sources and monitor specifications, and simplifies key aspects of setting up a monitoring system from scratch.},
  author       = {Chalupa, Marek and Mühlböck, Fabian and Muroya Lei, Stefanie and Henzinger, Thomas A},
  issn         = {2664-1690},
  keywords     = {runtime monitoring, best effort, third party},
  pages        = {38},
  publisher    = {Institute of Science and Technology Austria},
  title        = {{VAMOS: Middleware for Best-Effort Third-Party Monitoring}},
  doi          = {10.15479/AT:ISTA:12407},
  year         = {2023},
}

@article{12421,
  abstract     = {The actin cytoskeleton plays a key role in cell migration and cellular morphodynamics in most eukaryotes. The ability of the actin cytoskeleton to assemble and disassemble in a spatiotemporally controlled manner allows it to form higher-order structures, which can generate forces required for a cell to explore and navigate through its environment. It is regulated not only via a complex synergistic and competitive interplay between actin-binding proteins (ABP), but also by filament biochemistry and filament geometry. The lack of structural insights into how geometry and ABPs regulate the actin cytoskeleton limits our understanding of the molecular mechanisms that define actin cytoskeleton remodeling and, in turn, impact emerging cell migration characteristics. With the advent of cryo-electron microscopy (cryo-EM) and advanced computational methods, it is now possible to define these molecular mechanisms involving actin and its interactors at both atomic and ultra-structural levels in vitro and in cellulo. In this review, we will provide an overview of the available cryo-EM methods, applicable to further our understanding of the actin cytoskeleton, specifically in the context of cell migration. We will discuss how these methods have been employed to elucidate ABP- and geometry-defined regulatory mechanisms in initiating, maintaining, and disassembling cellular actin networks in migratory protrusions.},
  author       = {Fäßler, Florian and Javoor, Manjunath and Schur, Florian KM},
  issn         = {1470-8752},
  journal      = {Biochemical Society Transactions},
  keywords     = {Biochemistry},
  number       = {1},
  pages        = {87--99},
  publisher    = {Portland Press},
  title        = {{Deciphering the molecular mechanisms of actin cytoskeleton regulation in cell migration using cryo-EM}},
  doi          = {10.1042/bst20220221},
  volume       = {51},
  year         = {2023},
}

@article{12427,
  abstract     = {Let k be a number field and X a smooth, geometrically integral quasi-projective variety over k. For any linear algebraic group G over k and any G-torsor g : Z → X, we observe that if the étale-Brauer obstruction is the only one for strong approximation off a finite set of places S for all twists of Z by elements in H^1(k, G), then the étale-Brauer obstruction is the only one for strong approximation off a finite set of places S for X. As an application, we show that any homogeneous space of the form G/H with G a connected linear algebraic group over k satisfies strong approximation off the infinite places with étale-Brauer obstruction, under some compactness assumptions when k is totally real. We also prove more refined strong approximation results for homogeneous spaces of the form G/H with G semisimple simply connected and H finite, using the theory of torsors and descent.},
  author       = {Balestrieri, Francesca},
  issn         = {1088-6826},
  journal      = {Proceedings of the American Mathematical Society},
  number       = {3},
  pages        = {907--914},
  publisher    = {American Mathematical Society},
  title        = {{Some remarks on strong approximation and applications to homogeneous spaces of linear algebraic groups}},
  doi          = {10.1090/proc/15239},
  volume       = {151},
  year         = {2023},
}

@inbook{12428,
  abstract     = {The mammary gland consists of a bilayered epithelial structure with an extensively branched morphology. The majority of this epithelial tree is laid down during puberty, during which actively proliferating terminal end buds repeatedly elongate and bifurcate to form the basic structure of the ductal tree. Mammary ducts consist of a basal and luminal cell layer with a multitude of identified sub-lineages within both layers. The understanding of how these different cell lineages are cooperatively driving branching morphogenesis is a problem of crossing multiple scales, as this requires information on the macroscopic branched structure of the gland, as well as data on single-cell dynamics driving the morphogenic program. Here we describe a method to combine genetic lineage tracing with whole-gland branching analysis. Quantitative data on the global organ structure can be used to derive a model for mammary gland branching morphogenesis and provide a backbone on which the dynamics of individual cell lineages can be simulated and compared to lineage-tracing approaches. Eventually, these quantitative models and experiments allow to understand the couplings between the macroscopic shape of the mammary gland and the underlying single-cell dynamics driving branching morphogenesis.},
  author       = {Hannezo, Edouard B and Scheele, Colinda L.G.J.},
  booktitle    = {Cell Migration in Three Dimensions},
  editor       = {Margadant, Coert},
  isbn         = {9781071628867},
  issn         = {1940-6029},
  pages        = {183--205},
  publisher    = {Springer Nature},
  title        = {{A Guide Toward Multi-scale and Quantitative Branching Analysis in the Mammary Gland}},
  doi          = {10.1007/978-1-0716-2887-4_12},
  volume       = {2608},
  year         = {2023},
}

@article{12429,
  abstract     = {In this paper, we consider traces at initial times for functions with mixed time-space smoothness. Such results are often needed in the theory of evolution equations. Our result extends and unifies many previous results. Our main improvement is that we can allow general interpolation couples. The abstract results are applied to regularity problems for fractional evolution equations and stochastic evolution equations, where uniform trace estimates on the half-line are shown.},
  author       = {Agresti, Antonio and Lindemulder, Nick and Veraar, Mark},
  issn         = {1522-2616},
  journal      = {Mathematische Nachrichten},
  number       = {4},
  pages        = {1319--1350},
  publisher    = {Wiley},
  title        = {{On the trace embedding and its applications to evolution equations}},
  doi          = {10.1002/mana.202100192},
  volume       = {296},
  year         = {2023},
}

@article{12430,
  abstract     = {We study the time evolution of the Nelson model in a mean-field limit in which N nonrelativistic bosons weakly couple (with respect to the particle number) to a positive or zero mass quantized scalar field. Our main result is the derivation of the Bogoliubov dynamics and higher-order corrections. More precisely, we prove the convergence of the approximate wave function to the many-body wave function in norm, with a convergence rate proportional to the number of corrections taken into account in the approximation. We prove an analogous result for the unitary propagator. As an application, we derive a simple system of partial differential equations describing the time evolution of the first- and second-order approximations to the one-particle reduced density matrices of the particles and the quantum field, respectively.},
  author       = {Falconi, Marco and Leopold, Nikolai K and Mitrouskas, David Johannes and Petrat, Sören P},
  issn         = {0129-055X},
  journal      = {Reviews in Mathematical Physics},
  number       = {4},
  publisher    = {World Scientific Publishing},
  title        = {{Bogoliubov dynamics and higher-order corrections for the regularized Nelson model}},
  doi          = {10.1142/S0129055X2350006X},
  volume       = {35},
  year         = {2023},
}

@inproceedings{12467,
  abstract     = {Safety and liveness are elementary concepts of computation, and the foundation of many verification paradigms. The safety-liveness classification of boolean properties characterizes whether a given property can be falsified by observing a finite prefix of an infinite computation trace (always for safety, never for liveness). In quantitative specification and verification, properties assign not truth values, but quantitative values to infinite traces (e.g., a cost, or the distance to a boolean property). We introduce quantitative safety and liveness, and we prove that our definitions induce conservative quantitative generalizations of both (1)~the safety-progress hierarchy of boolean properties and (2)~the safety-liveness decomposition of boolean properties. In particular, we show that every quantitative property can be written as the pointwise minimum of a quantitative safety property and a quantitative liveness property. Consequently, like boolean properties, also quantitative properties can be min-decomposed into safety and liveness parts, or alternatively, max-decomposed into co-safety and co-liveness parts. Moreover, quantitative properties can be approximated naturally. We prove that every quantitative property that has both safe and co-safe approximations can be monitored arbitrarily precisely by a monitor that uses only a finite number of states.},
  author       = {Henzinger, Thomas A and Mazzocchi, Nicolas Adrien and Sarac, Naci E},
  booktitle    = {26th International Conference Foundations of Software Science and Computation Structures},
  isbn         = {9783031308284},
  issn         = {1611-3349},
  location     = {Paris, France},
  pages        = {349--370},
  publisher    = {Springer Nature},
  title        = {{Quantitative safety and liveness}},
  doi          = {10.1007/978-3-031-30829-1_17},
  volume       = {13992},
  year         = {2023},
}

@article{12469,
  abstract     = {Hosts can carry many viruses in their bodies, but not all of them cause disease. We studied ants as a social host to determine both their overall viral repertoire and the subset of actively infecting viruses across natural populations of three subfamilies: the Argentine ant (Linepithema humile, Dolichoderinae), the invasive garden ant (Lasius neglectus, Formicinae) and the red ant (Myrmica rubra, Myrmicinae). We used a dual sequencing strategy to reconstruct complete virus genomes by RNA-seq and to simultaneously determine the small interfering RNAs (siRNAs) by small RNA sequencing (sRNA-seq), which constitute the host antiviral RNAi immune response. This approach led to the discovery of 41 novel viruses in ants and revealed a host ant-specific RNAi response (21 vs. 22 nt siRNAs) in the different ant species. The efficiency of the RNAi response (sRNA/RNA read count ratio) depended on the virus and the respective ant species, but not its population. Overall, we found the highest virus abundance and diversity per population in Li. humile, followed by La. neglectus and M. rubra. Argentine ants also shared a high proportion of viruses between populations, whilst overlap was nearly absent in M. rubra. Only one of the 59 viruses was found to infect two of the ant species as hosts, revealing high host-specificity in active infections. In contrast, six viruses actively infected one ant species, but were found as contaminants only in the others. Disentangling spillover of disease-causing infection from non-infecting contamination across species is providing relevant information for disease ecology and ecosystem management.},
  author       = {Viljakainen, Lumi and Fürst, Matthias and Grasse, Anna V and Jurvansuu, Jaana and Oh, Jinook and Tolonen, Lassi and Eder, Thomas and Rattei, Thomas and Cremer, Sylvia},
  issn         = {1664-302X},
  journal      = {Frontiers in Microbiology},
  publisher    = {Frontiers},
  title        = {{Antiviral immune response reveals host-specific virus infections in natural ant populations}},
  doi          = {10.3389/fmicb.2023.1119002},
  volume       = {14},
  year         = {2023},
}

@article{12478,
  abstract     = {In Gram negative bacteria, the multiple antibiotic resistance or mar operon, is known to control the expression of multi-drug efflux genes that protect bacteria from a wide range of drugs. As many different chemical compounds can induce this operon, identifying the parameters that govern the dynamics of its induction is crucial to better characterize the processes of tolerance and resistance. Most experiments have assumed that the properties of the mar transcriptional network can be inferred from population measurements. However, measurements from an asynchronous population of cells can mask underlying phenotypic variations of single cells. We monitored the activity of the mar promoter in single Escherichia coli cells in linear micro-colonies and established that the response to a steady level of inducer was most heterogeneous within individual colonies for an intermediate value of inducer. Specifically, sub-lineages defined by contiguous daughter-cells exhibited similar promoter activity, whereas activity was greatly variable between different sub-lineages. Specific sub-trees of uniform promoter activity persisted over several generations. Statistical analyses of the lineages suggest that the presence of these sub-trees is the signature of an inducible memory of the promoter state that is transmitted from mother to daughter cells. This single-cell study reveals that the degree of epigenetic inheritance changes as a function of inducer concentration, suggesting that phenotypic inheritance may be an inducible phenotype.},
  author       = {Guet, Calin C and Bruneaux, L and Oikonomou, P and Aldana, M and Cluzel, P},
  issn         = {1664-302X},
  journal      = {Frontiers in Microbiology},
  publisher    = {Frontiers},
  title        = {{Monitoring lineages of growing and dividing bacteria reveals an inducible memory of <i>mar</i> operon expression}},
  doi          = {10.3389/fmicb.2023.1049255},
  volume       = {14},
  year         = {2023},
}

@article{12487,
  abstract     = {Sleep plays a key role in preserving brain function, keeping the brain network in a state that ensures optimal computational capabilities. Empirical evidence indicates that such a state is consistent with criticality, where scale-free neuronal avalanches emerge. However, the relationship between sleep, emergent avalanches, and criticality remains poorly understood. Here we fully characterize the critical behavior of avalanches during sleep, and study their relationship with the sleep macro- and micro-architecture, in particular the cyclic alternating pattern (CAP). We show that avalanche size and duration distributions exhibit robust power laws with exponents approximately equal to −3/2 e −2, respectively. Importantly, we find that sizes scale as a power law of the durations, and that all critical exponents for neuronal avalanches obey robust scaling relations, which are consistent with the mean-field directed percolation universality class. Our analysis demonstrates that avalanche dynamics depends on the position within the NREM-REM cycles, with the avalanche density increasing in the descending phases and decreasing in the ascending phases of sleep cycles. Moreover, we show that, within NREM sleep, avalanche occurrence correlates with CAP activation phases, particularly A1, which are the expression of slow wave sleep propensity and have been proposed to be beneficial for cognitive processes. The results suggest that neuronal avalanches, and thus tuning to criticality, actively contribute to sleep development and play a role in preserving network function. Such findings, alongside characterization of the universality class for avalanches, open new avenues to the investigation of functional role of criticality during sleep with potential clinical application.</jats:p><jats:sec><jats:title>Significance statement</jats:title><jats:p>We fully characterize the critical behavior of neuronal avalanches during sleep, and show that avalanches follow precise scaling laws that are consistent with the mean-field directed percolation universality class. The analysis provides first evidence of a functional relationship between avalanche occurrence, slow-wave sleep dynamics, sleep stage transitions and occurrence of CAP phase A during NREM sleep. Because CAP is considered one of the major guardians of NREM sleep that allows the brain to dynamically react to external perturbation and contributes to the cognitive consolidation processes occurring in sleep, our observations suggest that neuronal avalanches at criticality are associated with flexible response to external inputs and to cognitive processes, a key assumption of the critical brain hypothesis.},
  author       = {Scarpetta, Silvia and Morrisi, Niccolò and Mutti, Carlotta and Azzi, Nicoletta and Trippi, Irene and Ciliento, Rosario and Apicella, Ilenia and Messuti, Giovanni and Angiolelli, Marianna and Lombardi, Fabrizio and Parrino, Liborio and Vaudano, Anna Elisabetta},
  issn         = {2589-0042},
  journal      = {iScience},
  number       = {10},
  pages        = {107840},
  publisher    = {Elsevier},
  title        = {{Criticality of neuronal avalanches in human sleep and their relationship with sleep macro- and micro-architecture}},
  doi          = {10.1016/j.isci.2023.107840},
  volume       = {26},
  year         = {2023},
}

@misc{12497,
  abstract     = {Aromatic side chains are important reporters of the plasticity of proteins, and often form important contacts in protein–protein interactions. We studied aromatic residues in the two structurally homologous cross-β amyloid fibrils HET-s, and  HELLF by employing a specific isotope-labeling approach and magic-angle-spinning NMR. The dynamic behavior of the aromatic residues Phe and Tyr indicates that the hydrophobic amyloid core is rigid, without any sign of "breathing motions" over hundreds of milliseconds at least. Aromatic residues exposed at the fibril surface have a rigid ring axis but undergo ring flips on a variety of time scales from nanoseconds to microseconds. Our approach provides direct insight into hydrophobic-core motions, enabling a better evaluation of the conformational heterogeneity generated from an NMR structural ensemble of such amyloid cross-β architecture.},
  author       = {Becker, Lea Marie and Schanda, Paul},
  keywords     = {aromatic side chains, isotopic labeling, protein dynamics, ring flips, spin relaxation},
  publisher    = {Institute of Science and Technology Austria},
  title        = {{Research data to: The rigid core and flexible surface of amyloid fibrils probed by magic-angle-spinning NMR spectroscopy of aromatic residues}},
  doi          = {10.15479/AT:ISTA:12497},
  year         = {2023},
}

@article{12515,
  abstract     = {Introduction: The olfactory system in most mammals is divided into several subsystems based on the anatomical locations of the neuroreceptor cells involved and the receptor families that are expressed. In addition to the main olfactory system and the vomeronasal system, a range of olfactory subsystems converge onto the transition zone located between the main olfactory bulb (MOB) and the accessory olfactory bulb (AOB), which has been termed the olfactory limbus (OL). The OL contains specialized glomeruli that receive noncanonical sensory afferences and which interact with the MOB and AOB. Little is known regarding the olfactory subsystems of mammals other than laboratory rodents.
Methods: We have focused on characterizing the OL in the red fox by performing general and specific histological stainings on serial sections, using both single and double immunohistochemical and lectin-histochemical labeling techniques.
Results: As a result, we have been able to determine that the OL of the red fox (Vulpes vulpes) displays an uncommonly high degree of development and complexity.
Discussion: This makes this species a novel mammalian model, the study of which could improve our understanding of the noncanonical pathways involved in the processing of chemosensory cues.},
  author       = {Ortiz-Leal, Irene and Torres, Mateo V. and Vargas Barroso, Victor M and Fidalgo, Luis Eusebio and López-Beceiro, Ana María and Larriva-Sahd, Jorge A. and Sánchez-Quinteiro, Pablo},
  issn         = {1662-5129},
  journal      = {Frontiers in Neuroanatomy},
  publisher    = {Frontiers},
  title        = {{The olfactory limbus of the red fox (Vulpes vulpes). New insights regarding a noncanonical olfactory bulb pathway}},
  doi          = {10.3389/fnana.2022.1097467},
  volume       = {16},
  year         = {2023},
}

@article{12534,
  abstract     = {Brownian motion of a mobile impurity in a bath is affected by spin-orbit coupling (SOC). Here, we discuss a Caldeira-Leggett-type model that can be used to propose and interpret quantum simulators of this problem in cold Bose gases. First, we derive a master equation that describes the model and explore it in a one-dimensional (1D) setting. To validate the standard assumptions needed for our derivation, we analyze available experimental data without SOC; as a byproduct, this analysis suggests that the quench dynamics of the impurity is beyond the 1D Bose-polaron approach at temperatures currently accessible in a cold-atom laboratory—motion of the impurity is mainly driven by dissipation. For systems with SOC, we demonstrate that 1D spin-orbit coupling can be gauged out even in the presence of dissipation—the information about SOC is incorporated in the initial conditions. Observables sensitive to this information (such as spin densities) can be used to study formation of steady spin polarization domains during quench dynamics.},
  author       = {Ghazaryan, Areg and Cappellaro, Alberto and Lemeshko, Mikhail and Volosniev, Artem},
  issn         = {2643-1564},
  journal      = {Physical Review Research},
  number       = {1},
  publisher    = {American Physical Society},
  title        = {{Dissipative dynamics of an impurity with spin-orbit coupling}},
  doi          = {10.1103/physrevresearch.5.013029},
  volume       = {5},
  year         = {2023},
}

@article{12543,
  abstract     = {Treating sick group members is a hallmark of collective disease defence in vertebrates and invertebrates alike. Despite substantial effects on pathogen fitness and epidemiology, it is still largely unknown how pathogens react to the selection pressure imposed by care intervention. Using social insects and pathogenic fungi, we here performed a serial passage experiment in the presence or absence of colony members, which provide social immunity by grooming off infectious spores from exposed individuals. We found specific effects on pathogen diversity, virulence and transmission. Under selection of social immunity, pathogens invested into higher spore production, but spores were less virulent. Notably, they also elicited a lower grooming response in colony members, compared with spores from the individual host selection lines. Chemical spore analysis suggested that the spores from social selection lines escaped the caregivers’ detection by containing lower levels of ergosterol, a key fungal membrane component. Experimental application of chemically pure ergosterol indeed induced sanitary grooming, supporting its role as a microbe-associated cue triggering host social immunity against fungal pathogens. By reducing this detection cue, pathogens were able to evade the otherwise very effective collective disease defences of their social hosts.},
  author       = {Stock, Miriam and Milutinovic, Barbara and Hönigsberger, Michaela and Grasse, Anna V and Wiesenhofer, Florian and Kampleitner, Niklas and Narasimhan, Madhumitha and Schmitt, Thomas and Cremer, Sylvia},
  issn         = {2397-334X},
  journal      = {Nature Ecology and Evolution},
  pages        = {450--460},
  publisher    = {Springer Nature},
  title        = {{Pathogen evasion of social immunity}},
  doi          = {10.1038/s41559-023-01981-6},
  volume       = {7},
  year         = {2023},
}

@article{12544,
  abstract     = {Geometry is crucial in our efforts to comprehend the structures and dynamics of biomolecules. For example, volume, surface area, and integrated mean and Gaussian curvature of the union of balls representing a molecule are used to quantify its interactions with the water surrounding it in the morphometric implicit solvent models. The Alpha Shape theory provides an accurate and reliable method for computing these geometric measures. In this paper, we derive homogeneous formulas for the expressions of these measures and their derivatives with respect to the atomic coordinates, and we provide algorithms that implement them into a new software package, AlphaMol. The only variables in these formulas are the interatomic distances, making them insensitive to translations and rotations. AlphaMol includes a sequential algorithm and a parallel algorithm. In the parallel version, we partition the atoms of the molecule of interest into 3D rectangular blocks, using a kd-tree algorithm. We then apply the sequential algorithm of AlphaMol to each block, augmented by a buffer zone to account for atoms whose ball representations may partially cover the block. The current parallel version of AlphaMol leads to a 20-fold speed-up compared to an independent serial implementation when using 32 processors. For instance, it takes 31 s to compute the geometric measures and derivatives of each atom in a viral capsid with more than 26 million atoms on 32 Intel processors running at 2.7 GHz. The presence of the buffer zones, however, leads to redundant computations, which ultimately limit the impact of using multiple processors. AlphaMol is available as an OpenSource software.},
  author       = {Koehl, Patrice and Akopyan, Arseniy and Edelsbrunner, Herbert},
  issn         = {1549-960X},
  journal      = {Journal of Chemical Information and Modeling},
  number       = {3},
  pages        = {973--985},
  publisher    = {American Chemical Society},
  title        = {{Computing the volume, surface area, mean, and Gaussian curvatures of molecules and their derivatives}},
  doi          = {10.1021/acs.jcim.2c01346},
  volume       = {63},
  year         = {2023},
}

@article{12545,
  abstract     = {We study active surface wetting using a minimal model of bacteria that takes into account the intrinsic motility diversity of living matter. A mixture of “fast” and “slow” self-propelled Brownian particles is considered in the presence of a wall. The evolution of the wetting layer thickness shows an overshoot before stationarity and its composition evolves in two stages, equilibrating after a slow elimination of excess particles. Nonmonotonic evolutions are shown to arise from delayed avalanches towards the dilute phase combined with the emergence of a transient particle front.},
  author       = {Rojas Vega, Mauricio Nicolas and De Castro, Pablo and Soto, Rodrigo},
  issn         = {2470-0053},
  journal      = {Physical Review E},
  number       = {1},
  publisher    = {American Physical Society},
  title        = {{Wetting dynamics by mixtures of fast and slow self-propelled particles}},
  doi          = {10.1103/PhysRevE.107.014608},
  volume       = {107},
  year         = {2023},
}

@inproceedings{12548,
  abstract     = {The limited exchange between human communities is a key factor in preventing the spread of COVID-19. This paper introduces a digital framework that combines an integration of real mobility data at the country scale with a series of modeling techniques and visual capabilities that highlight mobility patterns before and during the pandemic. The findings not only significantly exhibit mobility trends and different degrees of similarities at regional and local levels but also provide potential insight into the emergence of a pandemic on human behavior patterns and their likely socio-economic impacts.},
  author       = {Forghani, Mohammad and Claramunt, Christophe and Karimipour, Farid and Heiler, Georg},
  booktitle    = {2022 IEEE International Conference on Data Mining Workshops},
  issn         = {2375-9259},
  location     = {Orlando, FL, United States},
  publisher    = {Institute of Electrical and Electronics Engineers},
  title        = {{Visual analytics of mobility network changes observed using mobile phone data during COVID-19 pandemic}},
  doi          = {10.1109/icdmw58026.2022.00093},
  year         = {2023},
}

@article{12562,
  abstract     = {Presynaptic inputs determine the pattern of activation of postsynaptic neurons in a neural circuit. Molecular and genetic pathways that regulate the selective formation of subsets of presynaptic inputs are largely unknown, despite significant understanding of the general process of synaptogenesis. In this study, we have begun to identify such factors using the spinal monosynaptic stretch reflex circuit as a model system. In this neuronal circuit, Ia proprioceptive afferents establish monosynaptic connections with spinal motor neurons that project to the same muscle (termed homonymous connections) or muscles with related or synergistic function. However, monosynaptic connections are not formed with motor neurons innervating muscles with antagonistic functions. The ETS transcription factor ER81 (also known as ETV1) is expressed by all proprioceptive afferents, but only a small set of motor neuron pools in the lumbar spinal cord of the mouse. Here we use conditional mouse genetic techniques to eliminate Er81 expression selectively from motor neurons. We find that ablation of Er81 in motor neurons reduces synaptic inputs from proprioceptive afferents conveying information from homonymous and synergistic muscles, with no change observed in the connectivity pattern from antagonistic proprioceptive afferents. In summary, these findings suggest a role for ER81 in defined motor neuron pools to control the assembly of specific presynaptic inputs and thereby influence the profile of activation of these motor neurons.},
  author       = {Ladle, David R. and Hippenmeyer, Simon},
  issn         = {1522-1598},
  journal      = {Journal of Neurophysiology},
  keywords     = {Physiology, General Neuroscience},
  number       = {3},
  pages        = {501--512},
  publisher    = {American Physiological Society},
  title        = {{Loss of ETV1/ER81 in motor neurons leads to reduced monosynaptic inputs from proprioceptive sensory neurons}},
  doi          = {10.1152/jn.00172.2022},
  volume       = {129},
  year         = {2023},
}