@article{8093, abstract = {Background: The activation of the EGFR/Ras-signalling pathway in tumour cells induces a distinct chemokine repertoire, which in turn modulates the tumour microenvironment. Methods: The effects of EGFR/Ras on the expression and translation of CCL20 were analysed in a large set of epithelial cancer cell lines and tumour tissues by RT-qPCR and ELISA in vitro. CCL20 production was verified by immunohistochemistry in different tumour tissues and correlated with clinical data. The effects of CCL20 on endothelial cell migration and tumour-associated vascularisation were comprehensively analysed with chemotaxis assays in vitro and in CCR6-deficient mice in vivo. Results: Tumours facilitate progression by the EGFR/Ras-induced production of CCL20. Expression of the chemokine CCL20 in tumours correlates with advanced tumour stage, increased lymph node metastasis and decreased survival in patients. Microvascular endothelial cells abundantly express the specific CCL20 receptor CCR6. CCR6 signalling in endothelial cells induces angiogenesis. CCR6-deficient mice show significantly decreased tumour growth and tumour-associated vascularisation. The observed phenotype is dependent on CCR6 deficiency in stromal cells but not within the immune system. Conclusion: We propose that the chemokine axis CCL20–CCR6 represents a novel and promising target to interfere with the tumour microenvironment, and opens an innovative multimodal strategy for cancer therapy.}, author = {Hippe, Andreas and Braun, Stephan Alexander and Oláh, Péter and Gerber, Peter Arne and Schorr, Anne and Seeliger, Stephan and Holtz, Stephanie and Jannasch, Katharina and Pivarcsi, Andor and Buhren, Bettina and Schrumpf, Holger and Kislat, Andreas and Bünemann, Erich and Steinhoff, Martin and Fischer, Jens and Lira, Sérgio A. and Boukamp, Petra and Hevezi, Peter and Stoecklein, Nikolas Hendrik and Hoffmann, Thomas and Alves, Frauke and Sleeman, Jonathan and Bauer, Thomas and Klufa, Jörg and Amberg, Nicole and Sibilia, Maria and Zlotnik, Albert and Müller-Homey, Anja and Homey, Bernhard}, issn = {1532-1827}, journal = {British Journal of Cancer}, pages = {942--954}, publisher = {Springer Nature}, title = {{EGFR/Ras-induced CCL20 production modulates the tumour microenvironment}}, doi = {10.1038/s41416-020-0943-2}, volume = {123}, year = {2020}, } @article{8091, abstract = {In the setting of the fractional quantum Hall effect we study the effects of strong, repulsive two-body interaction potentials of short range. We prove that Haldane’s pseudo-potential operators, including their pre-factors, emerge as mathematically rigorous limits of such interactions when the range of the potential tends to zero while its strength tends to infinity. In a common approach the interaction potential is expanded in angular momentum eigenstates in the lowest Landau level, which amounts to taking the pre-factors to be the moments of the potential. Such a procedure is not appropriate for very strong interactions, however, in particular not in the case of hard spheres. We derive the formulas valid in the short-range case, which involve the scattering lengths of the interaction potential in different angular momentum channels rather than its moments. Our results hold for bosons and fermions alike and generalize previous results in [6], which apply to bosons in the lowest angular momentum channel. Our main theorem asserts the convergence in a norm-resolvent sense of the Hamiltonian on the whole Hilbert space, after appropriate energy scalings, to Hamiltonians with contact interactions in the lowest Landau level.}, author = {Seiringer, Robert and Yngvason, Jakob}, issn = {15729613}, journal = {Journal of Statistical Physics}, pages = {448--464}, publisher = {Springer}, title = {{Emergence of Haldane pseudo-potentials in systems with short-range interactions}}, doi = {10.1007/s10955-020-02586-0}, volume = {181}, year = {2020}, } @article{8077, abstract = {The projection methods with vanilla inertial extrapolation step for variational inequalities have been of interest to many authors recently due to the improved convergence speed contributed by the presence of inertial extrapolation step. However, it is discovered that these projection methods with inertial steps lose the Fejér monotonicity of the iterates with respect to the solution, which is being enjoyed by their corresponding non-inertial projection methods for variational inequalities. This lack of Fejér monotonicity makes projection methods with vanilla inertial extrapolation step for variational inequalities not to converge faster than their corresponding non-inertial projection methods at times. Also, it has recently been proved that the projection methods with vanilla inertial extrapolation step may provide convergence rates that are worse than the classical projected gradient methods for strongly convex functions. In this paper, we introduce projection methods with alternated inertial extrapolation step for solving variational inequalities. We show that the sequence of iterates generated by our methods converges weakly to a solution of the variational inequality under some appropriate conditions. The Fejér monotonicity of even subsequence is recovered in these methods and linear rate of convergence is obtained. The numerical implementations of our methods compared with some other inertial projection methods show that our method is more efficient and outperforms some of these inertial projection methods.}, author = {Shehu, Yekini and Iyiola, Olaniyi S.}, issn = {0168-9274}, journal = {Applied Numerical Mathematics}, pages = {315--337}, publisher = {Elsevier}, title = {{Projection methods with alternating inertial steps for variational inequalities: Weak and linear convergence}}, doi = {10.1016/j.apnum.2020.06.009}, volume = {157}, year = {2020}, } @article{8039, abstract = {In the present work, we report a solution-based strategy to produce crystallographically textured SnSe bulk nanomaterials and printed layers with optimized thermoelectric performance in the direction normal to the substrate. Our strategy is based on the formulation of a molecular precursor that can be continuously decomposed to produce a SnSe powder or printed into predefined patterns. The precursor formulation and decomposition conditions are optimized to produce pure phase 2D SnSe nanoplates. The printed layer and the bulk material obtained after hot press displays a clear preferential orientation of the crystallographic domains, resulting in an ultralow thermal conductivity of 0.55 W m–1 K–1 in the direction normal to the substrate. Such textured nanomaterials present highly anisotropic properties with the best thermoelectric performance in plane, i.e., in the directions parallel to the substrate, which coincide with the crystallographic bc plane of SnSe. This is an unfortunate characteristic because thermoelectric devices are designed to create/harvest temperature gradients in the direction normal to the substrate. We further demonstrate that this limitation can be overcome with the introduction of small amounts of tellurium in the precursor. The presence of tellurium allows one to reduce the band gap and increase both the charge carrier concentration and the mobility, especially the cross plane, with a minimal decrease of the Seebeck coefficient. These effects translate into record out of plane ZT values at 800 K.}, author = {Zhang, Yu and Liu, Yu and Xing, Congcong and Zhang, Ting and Li, Mengyao and Pacios, Mercè and Yu, Xiaoting and Arbiol, Jordi and Llorca, Jordi and Cadavid, Doris and Ibáñez, Maria and Cabot, Andreu}, issn = {19448252}, journal = {ACS Applied Materials and Interfaces}, number = {24}, pages = {27104--27111}, publisher = {American Chemical Society}, title = {{Tin selenide molecular precursor for the solution processing of thermoelectric materials and devices}}, doi = {10.1021/acsami.0c04331}, volume = {12}, year = {2020}, } @article{8133, abstract = {The molecular factors which control circulating levels of inflammatory proteins are not well understood. Furthermore, association studies between molecular probes and human traits are often performed by linear model-based methods which may fail to account for complex structure and interrelationships within molecular datasets.In this study, we perform genome- and epigenome-wide association studies (GWAS/EWAS) on the levels of 70 plasma-derived inflammatory protein biomarkers in healthy older adults (Lothian Birth Cohort 1936; n = 876; Olink® inflammation panel). We employ a Bayesian framework (BayesR+) which can account for issues pertaining to data structure and unknown confounding variables (with sensitivity analyses using ordinary least squares- (OLS) and mixed model-based approaches). We identified 13 SNPs associated with 13 proteins (n = 1 SNP each) concordant across OLS and Bayesian methods. We identified 3 CpG sites spread across 3 proteins (n = 1 CpG each) that were concordant across OLS, mixed-model and Bayesian analyses. Tagged genetic variants accounted for up to 45% of variance in protein levels (for MCP2, 36% of variance alone attributable to 1 polymorphism). Methylation data accounted for up to 46% of variation in protein levels (for CXCL10). Up to 66% of variation in protein levels (for VEGFA) was explained using genetic and epigenetic data combined. We demonstrated putative causal relationships between CD6 and IL18R1 with inflammatory bowel disease and between IL12B and Crohn’s disease. Our data may aid understanding of the molecular regulation of the circulating inflammatory proteome as well as causal relationships between inflammatory mediators and disease.}, author = {Hillary, Robert F. and Trejo-Banos, Daniel and Kousathanas, Athanasios and Mccartney, Daniel L. and Harris, Sarah E. and Stevenson, Anna J. and Patxot, Marion and Ojavee, Sven Erik and Zhang, Qian and Liewald, David C. and Ritchie, Craig W. and Evans, Kathryn L. and Tucker-Drob, Elliot M. and Wray, Naomi R. and Mcrae, Allan F. and Visscher, Peter M. and Deary, Ian J. and Robinson, Matthew Richard and Marioni, Riccardo E.}, issn = {1756994X}, journal = {Genome Medicine}, number = {1}, publisher = {Springer Nature}, title = {{Multi-method genome- and epigenome-wide studies of inflammatory protein levels in healthy older adults}}, doi = {10.1186/s13073-020-00754-1}, volume = {12}, year = {2020}, } @article{8127, abstract = {Mechanistic modeling in neuroscience aims to explain observed phenomena in terms of underlying causes. However, determining which model parameters agree with complex and stochastic neural data presents a significant challenge. We address this challenge with a machine learning tool which uses deep neural density estimators—trained using model simulations—to carry out Bayesian inference and retrieve the full space of parameters compatible with raw data or selected data features. Our method is scalable in parameters and data features and can rapidly analyze new data after initial training. We demonstrate the power and flexibility of our approach on receptive fields, ion channels, and Hodgkin–Huxley models. We also characterize the space of circuit configurations giving rise to rhythmic activity in the crustacean stomatogastric ganglion, and use these results to derive hypotheses for underlying compensation mechanisms. Our approach will help close the gap between data-driven and theory-driven models of neural dynamics.}, author = {Gonçalves, Pedro J. and Lueckmann, Jan-Matthis and Deistler, Michael and Nonnenmacher, Marcel and Öcal, Kaan and Bassetto, Giacomo and Chintaluri, Chaitanya and Podlaski, William F. and Haddad, Sara A. and Vogels, Tim P and Greenberg, David S. and Macke, Jakob H.}, issn = {2050-084X}, journal = {eLife}, publisher = {eLife Sciences Publications}, title = {{Training deep neural density estimators to identify mechanistic models of neural dynamics}}, doi = {10.7554/eLife.56261}, volume = {9}, year = {2020}, } @article{8126, abstract = {Cortical areas comprise multiple types of inhibitory interneurons with stereotypical connectivity motifs, but their combined effect on postsynaptic dynamics has been largely unexplored. Here, we analyse the response of a single postsynaptic model neuron receiving tuned excitatory connections alongside inhibition from two plastic populations. Depending on the inhibitory plasticity rule, synapses remain unspecific (flat), become anti-correlated to, or mirror excitatory synapses. Crucially, the neuron’s receptive field, i.e., its response to presynaptic stimuli, depends on the modulatory state of inhibition. When both inhibitory populations are active, inhibition balances excitation, resulting in uncorrelated postsynaptic responses regardless of the inhibitory tuning profiles. Modulating the activity of a given inhibitory population produces strong correlations to either preferred or non-preferred inputs, in line with recent experimental findings showing dramatic context-dependent changes of neurons’ receptive fields. We thus confirm that a neuron’s receptive field doesn’t follow directly from the weight profiles of its presynaptic afferents.}, author = {Agnes, Everton J. and Luppi, Andrea I. and Vogels, Tim P}, issn = {1529-2401}, journal = {The Journal of Neuroscience}, number = {50}, pages = {9634--9649}, publisher = {Society for Neuroscience}, title = {{Complementary inhibitory weight profiles emerge from plasticity and allow attentional switching of receptive fields}}, doi = {10.1523/JNEUROSCI.0276-20.2020}, volume = {40}, year = {2020}, } @article{8132, abstract = {The WAVE regulatory complex (WRC) is crucial for assembly of the peripheral branched actin network constituting one of the main drivers of eukaryotic cell migration. Here, we uncover an essential role of the hematopoietic-specific WRC component HEM1 for immune cell development. Germline-encoded HEM1 deficiency underlies an inborn error of immunity with systemic autoimmunity, at cellular level marked by WRC destabilization, reduced filamentous actin, and failure to assemble lamellipodia. Hem1−/− mice display systemic autoimmunity, phenocopying the human disease. In the absence of Hem1, B cells become deprived of extracellular stimuli necessary to maintain the strength of B cell receptor signaling at a level permissive for survival of non-autoreactive B cells. This shifts the balance of B cell fate choices toward autoreactive B cells and thus autoimmunity.}, author = {Salzer, Elisabeth and Zoghi, Samaneh and Kiss, Máté G. and Kage, Frieda and Rashkova, Christina and Stahnke, Stephanie and Haimel, Matthias and Platzer, René and Caldera, Michael and Ardy, Rico Chandra and Hoeger, Birgit and Block, Jana and Medgyesi, David and Sin, Celine and Shahkarami, Sepideh and Kain, Renate and Ziaee, Vahid and Hammerl, Peter and Bock, Christoph and Menche, Jörg and Dupré, Loïc and Huppa, Johannes B. and Sixt, Michael K and Lomakin, Alexis and Rottner, Klemens and Binder, Christoph J. and Stradal, Theresia E.B. and Rezaei, Nima and Boztug, Kaan}, issn = {24709468}, journal = {Science Immunology}, number = {49}, publisher = {AAAS}, title = {{The cytoskeletal regulator HEM1 governs B cell development and prevents autoimmunity}}, doi = {10.1126/sciimmunol.abc3979}, volume = {5}, year = {2020}, } @misc{9706, abstract = {Additional file 2: Supplementary Tables. The association of pre-adjusted protein levels with biological and technical covariates. Protein levels were adjusted for age, sex, array plate and four genetic principal components (population structure) prior to analyses. Significant associations are emboldened. (Table S1). pQTLs associated with inflammatory biomarker levels from Bayesian penalised regression model (Posterior Inclusion Probability > 95%). (Table S2). All pQTLs associated with inflammatory biomarker levels from ordinary least squares regression model (P < 7.14 × 10− 10). (Table S3). Summary of lambda values relating to ordinary least squares GWAS and EWAS performed on inflammatory protein levels (n = 70) in Lothian Birth Cohort 1936 study. (Table S4). Conditionally significant pQTLs associated with inflammatory biomarker levels from ordinary least squares regression model (P < 7.14 × 10− 10). (Table S5). Comparison of variance explained by ordinary least squares and Bayesian penalised regression models for concordantly identified SNPs. (Table S6). Estimate of heritability for blood protein levels as well as proportion of variance explained attributable to different prior mixtures. (Table S7). Comparison of heritability estimates from Ahsan et al. (maximum likelihood) and Hillary et al. (Bayesian penalised regression). (Table S8). List of concordant SNPs identified by linear model and Bayesian penalised regression and whether they have been previously identified as eQTLs. (Table S9). Bayesian tests of colocalisation for cis pQTLs and cis eQTLs. (Table S10). Sherlock algorithm: Genes whose expression are putatively associated with circulating inflammatory proteins that harbour pQTLs. (Table S11). CpGs associated with inflammatory protein biomarkers as identified by Bayesian model (Bayesian model; Posterior Inclusion Probability > 95%). (Table S12). CpGs associated with inflammatory protein biomarkers as identified by linear model (limma) at P < 5.14 × 10− 10. (Table S13). CpGs associated with inflammatory protein biomarkers as identified by mixed linear model (OSCA) at P < 5.14 × 10− 10. (Table S14). Estimate of variance explained for blood protein levels by DNA methylation as well as proportion of explained attributable to different prior mixtures - BayesR+. (Table S15). Comparison of variance in protein levels explained by genome-wide DNA methylation data by mixed linear model (OSCA) and Bayesian penalised regression model (BayesR+). (Table S16). Variance in circulating inflammatory protein biomarker levels explained by common genetic and methylation data (joint and conditional estimates from BayesR+). Ordered by combined variance explained by genetic and epigenetic data - smallest to largest. Significant results from t-tests comparing distributions for variance explained by methylation or genetics alone versus combined estimate are emboldened. (Table S17). Genetic and epigenetic factors identified by BayesR+ when conditioning on all SNPs and CpGs together. (Table S18). Mendelian Randomisation analyses to assess whether proteins with concordantly identified genetic signals are causally associated with Alzheimer’s disease risk. (Table S19).}, author = {Hillary, Robert F. and Trejo-Banos, Daniel and Kousathanas, Athanasios and McCartney, Daniel L. and Harris, Sarah E. and Stevenson, Anna J. and Patxot, Marion and Ojavee, Sven Erik and Zhang, Qian and Liewald, David C. and Ritchie, Craig W. and Evans, Kathryn L. and Tucker-Drob, Elliot M. and Wray, Naomi R. and McRae, Allan F. and Visscher, Peter M. and Deary, Ian J. and Robinson, Matthew Richard and Marioni, Riccardo E. }, publisher = {Springer Nature}, title = {{Additional file 2 of multi-method genome- and epigenome-wide studies of inflammatory protein levels in healthy older adults}}, doi = {10.6084/m9.figshare.12629697.v1}, year = {2020}, } @article{8134, abstract = {We prove an upper bound on the free energy of a two-dimensional homogeneous Bose gas in the thermodynamic limit. We show that for a2ρ ≪ 1 and βρ ≳ 1, the free energy per unit volume differs from the one of the non-interacting system by at most 4πρ2|lna2ρ|−1(2−[1−βc/β]2+) to leading order, where a is the scattering length of the two-body interaction potential, ρ is the density, β is the inverse temperature, and βc is the inverse Berezinskii–Kosterlitz–Thouless critical temperature for superfluidity. In combination with the corresponding matching lower bound proved by Deuchert et al. [Forum Math. Sigma 8, e20 (2020)], this shows equality in the asymptotic expansion.}, author = {Mayer, Simon and Seiringer, Robert}, issn = {00222488}, journal = {Journal of Mathematical Physics}, number = {6}, publisher = {AIP Publishing}, title = {{The free energy of the two-dimensional dilute Bose gas. II. Upper bound}}, doi = {10.1063/5.0005950}, volume = {61}, year = {2020}, } @article{8112, author = {Barton, Nicholas H}, issn = {1471-2970}, journal = {Philosophical Transactions of the Royal Society. Series B: Biological Sciences}, number = {1806}, publisher = {The Royal Society}, title = {{On the completion of speciation}}, doi = {10.1098/rstb.2019.0530}, volume = {375}, year = {2020}, } @article{8162, abstract = {In mammalian genomes, a subset of genes is regulated by genomic imprinting, resulting in silencing of one parental allele. Imprinting is essential for cerebral cortex development, but prevalence and functional impact in individual cells is unclear. Here, we determined allelic expression in cortical cell types and established a quantitative platform to interrogate imprinting in single cells. We created cells with uniparental chromosome disomy (UPD) containing two copies of either the maternal or the paternal chromosome; hence, imprinted genes will be 2-fold overexpressed or not expressed. By genetic labeling of UPD, we determined cellular phenotypes and transcriptional responses to deregulated imprinted gene expression at unprecedented single-cell resolution. We discovered an unexpected degree of cell-type specificity and a novel function of imprinting in the regulation of cortical astrocyte survival. More generally, our results suggest functional relevance of imprinted gene expression in glial astrocyte lineage and thus for generating cortical cell-type diversity.}, author = {Laukoter, Susanne and Pauler, Florian and Beattie, Robert J and Amberg, Nicole and Hansen, Andi H and Streicher, Carmen and Penz, Thomas and Bock, Christoph and Hippenmeyer, Simon}, issn = {0896-6273}, journal = {Neuron}, number = {6}, pages = {1160--1179.e9}, publisher = {Elsevier}, title = {{Cell-type specificity of genomic imprinting in cerebral cortex}}, doi = {10.1016/j.neuron.2020.06.031}, volume = {107}, year = {2020}, } @article{8138, abstract = {Directional transport of the phytohormone auxin is a versatile, plant-specific mechanism regulating many aspects of plant development. The recently identified plant hormones, strigolactones (SLs), are implicated in many plant traits; among others, they modify the phenotypic output of PIN-FORMED (PIN) auxin transporters for fine-tuning of growth and developmental responses. Here, we show in pea and Arabidopsis that SLs target processes dependent on the canalization of auxin flow, which involves auxin feedback on PIN subcellular distribution. D14 receptor- and MAX2 F-box-mediated SL signaling inhibits the formation of auxin-conducting channels after wounding or from artificial auxin sources, during vasculature de novo formation and regeneration. At the cellular level, SLs interfere with auxin effects on PIN polar targeting, constitutive PIN trafficking as well as clathrin-mediated endocytosis. Our results identify a non-transcriptional mechanism of SL action, uncoupling auxin feedback on PIN polarity and trafficking, thereby regulating vascular tissue formation and regeneration.}, author = {Zhang, J and Mazur, E and Balla, J and Gallei, Michelle C and Kalousek, P and Medveďová, Z and Li, Y and Wang, Y and Prat, Tomas and Vasileva, Mina K and Reinöhl, V and Procházka, S and Halouzka, R and Tarkowski, P and Luschnig, C and Brewer, PB and Friml, Jiří}, issn = {2041-1723}, journal = {Nature Communications}, number = {1}, pages = {3508}, publisher = {Springer Nature}, title = {{Strigolactones inhibit auxin feedback on PIN-dependent auxin transport canalization}}, doi = {10.1038/s41467-020-17252-y}, volume = {11}, year = {2020}, } @article{8168, abstract = {Speciation, that is, the evolution of reproductive barriers eventually leading to complete isolation, is a crucial process generating biodiversity. Recent work has contributed much to our understanding of how reproductive barriers begin to evolve, and how they are maintained in the face of gene flow. However, little is known about the transition from partial to strong reproductive isolation (RI) and the completion of speciation. We argue that the evolution of strong RI is likely to involve different processes, or new interactions among processes, compared with the evolution of the first reproductive barriers. Transition to strong RI may be brought about by changing external conditions, for example, following secondary contact. However, the increasing levels of RI themselves create opportunities for new barriers to evolve and, and interaction or coupling among barriers. These changing processes may depend on genomic architecture and leave detectable signals in the genome. We outline outstanding questions and suggest more theoretical and empirical work, considering both patterns and processes associated with strong RI, is needed to understand how speciation is completed.}, author = {Kulmuni, Jonna and Butlin, Roger K. and Lucek, Kay and Savolainen, Vincent and Westram, Anja M}, issn = {1471-2970}, journal = {Philosophical Transactions of the Royal Society. Series B: Biological sciences}, number = {1806}, publisher = {The Royal Society}, title = {{Towards the completion of speciation: The evolution of reproductive isolation beyond the first barriers}}, doi = {10.1098/rstb.2019.0528}, volume = {375}, year = {2020}, } @article{8167, abstract = {The evolution of strong reproductive isolation (RI) is fundamental to the origins and maintenance of biological diversity, especially in situations where geographical distributions of taxa broadly overlap. But what is the history behind strong barriers currently acting in sympatry? Using whole-genome sequencing and single nucleotide polymorphism genotyping, we inferred (i) the evolutionary relationships, (ii) the strength of RI, and (iii) the demographic history of divergence between two broadly sympatric taxa of intertidal snail. Despite being cryptic, based on external morphology, Littorina arcana and Littorina saxatilis differ in their mode of female reproduction (egg-laying versus brooding), which may generate a strong post-zygotic barrier. We show that egg-laying and brooding snails are closely related, but genetically distinct. Genotyping of 3092 snails from three locations failed to recover any recent hybrid or backcrossed individuals, confirming that RI is strong. There was, however, evidence for a very low level of asymmetrical introgression, suggesting that isolation remains incomplete. The presence of strong, asymmetrical RI was further supported by demographic analysis of these populations. Although the taxa are currently broadly sympatric, demographic modelling suggests that they initially diverged during a short period of geographical separation involving very low gene flow. Our study suggests that some geographical separation may kick-start the evolution of strong RI, facilitating subsequent coexistence of taxa in sympatry. The strength of RI needed to achieve sympatry and the subsequent effect of sympatry on RI remain open questions.}, author = {Stankowski, Sean and Westram, Anja M and Zagrodzka, Zuzanna B. and Eyres, Isobel and Broquet, Thomas and Johannesson, Kerstin and Butlin, Roger K.}, issn = {1471-2970}, journal = {Philosophical Transactions of the Royal Society. Series B: Biological Sciences}, number = {1806}, publisher = {The Royal Society}, title = {{The evolution of strong reproductive isolation between sympatric intertidal snails}}, doi = {10.1098/rstb.2019.0545}, volume = {375}, year = {2020}, } @article{8170, abstract = {Alignment of OCS, CS2, and I2 molecules embedded in helium nanodroplets is measured as a function of time following rotational excitation by a nonresonant, comparatively weak ps laser pulse. The distinct peaks in the power spectra, obtained by Fourier analysis, are used to determine the rotational, B, and centrifugal distortion, D, constants. For OCS, B and D match the values known from IR spectroscopy. For CS2 and I2, they are the first experimental results reported. The alignment dynamics calculated from the gas-phase rotational Schrödinger equation, using the experimental in-droplet B and D values, agree in detail with the measurement for all three molecules. The rotational spectroscopy technique for molecules in helium droplets introduced here should apply to a range of molecules and complexes.}, author = {Chatterley, Adam S. and Christiansen, Lars and Schouder, Constant A. and Jørgensen, Anders V. and Shepperson, Benjamin and Cherepanov, Igor and Bighin, Giacomo and Zillich, Robert E. and Lemeshko, Mikhail and Stapelfeldt, Henrik}, issn = {10797114}, journal = {Physical Review Letters}, number = {1}, publisher = {American Physical Society}, title = {{Rotational coherence spectroscopy of molecules in Helium nanodroplets: Reconciling the time and the frequency domains}}, doi = {10.1103/PhysRevLett.125.013001}, volume = {125}, year = {2020}, } @inproceedings{8194, abstract = {Fixed-point arithmetic is a popular alternative to floating-point arithmetic on embedded systems. Existing work on the verification of fixed-point programs relies on custom formalizations of fixed-point arithmetic, which makes it hard to compare the described techniques or reuse the implementations. In this paper, we address this issue by proposing and formalizing an SMT theory of fixed-point arithmetic. We present an intuitive yet comprehensive syntax of the fixed-point theory, and provide formal semantics for it based on rational arithmetic. We also describe two decision procedures for this theory: one based on the theory of bit-vectors and the other on the theory of reals. We implement the two decision procedures, and evaluate our implementations using existing mature SMT solvers on a benchmark suite we created. Finally, we perform a case study of using the theory we propose to verify properties of quantized neural networks.}, author = {Baranowski, Marek and He, Shaobo and Lechner, Mathias and Nguyen, Thanh Son and Rakamarić, Zvonimir}, booktitle = {Automated Reasoning}, isbn = {9783030510732}, issn = {16113349}, location = {Paris, France}, pages = {13--31}, publisher = {Springer Nature}, title = {{An SMT theory of fixed-point arithmetic}}, doi = {10.1007/978-3-030-51074-9_2}, volume = {12166}, year = {2020}, } @article{8169, abstract = {Many recent studies have addressed the mechanisms operating during the early stages of speciation, but surprisingly few studies have tested theoretical predictions on the evolution of strong reproductive isolation (RI). To help address this gap, we first undertook a quantitative review of the hybrid zone literature for flowering plants in relation to reproductive barriers. Then, using Populus as an exemplary model group, we analysed genome-wide variation for phylogenetic tree topologies in both early- and late-stage speciation taxa to determine how these patterns may be related to the genomic architecture of RI. Our plant literature survey revealed variation in barrier complexity and an association between barrier number and introgressive gene flow. Focusing on Populus, our genome-wide analysis of tree topologies in speciating poplar taxa points to unusually complex genomic architectures of RI, consistent with earlier genome-wide association studies. These architectures appear to facilitate the ‘escape’ of introgressed genome segments from polygenic barriers even with strong RI, thus affecting their relationships with recombination rates. Placed within the context of the broader literature, our data illustrate how phylogenomic approaches hold great promise for addressing the evolution and temporary breakdown of RI during late stages of speciation.}, author = {Shang, Huiying and Hess, Jaqueline and Pickup, Melinda and Field, David and Ingvarsson, Pär K. and Liu, Jianquan and Lexer, Christian}, issn = {14712970}, journal = {Philosophical Transactions of the Royal Society. Series B: Biological Sciences}, number = {1806}, publisher = {The Royal Society}, title = {{Evolution of strong reproductive isolation in plants: Broad-scale patterns and lessons from a perennial model group}}, doi = {10.1098/rstb.2019.0544}, volume = {375}, year = {2020}, } @article{8189, abstract = {Direct ethanol fuel cells (DEFCs) show a huge potential to power future electric vehicles and portable electronics, but their deployment is currently limited by the unavailability of proper electrocatalysis for the ethanol oxidation reaction (EOR). In this work, we engineer a new electrocatalyst by incorporating phosphorous into a palladium-tin alloy and demonstrate a significant performance improvement toward EOR. We first detail a synthetic method to produce Pd2Sn:P nanocrystals that incorporate 35% of phosphorus. These nanoparticles are supported on carbon black and tested for EOR. Pd2Sn:P/C catalysts exhibit mass current densities up to 5.03 A mgPd−1, well above those of Pd2Sn/C, PdP2/C and Pd/C reference catalysts. Furthermore, a twofold lower Tafel slope and a much longer durability are revealed for the Pd2Sn:P/C catalyst compared with Pd/C. The performance improvement is rationalized with the aid of density functional theory (DFT) calculations considering different phosphorous chemical environments. Depending on its oxidation state, surface phosphorus introduces sites with low energy OH− adsorption and/or strongly influences the electronic structure of palladium and tin to facilitate the oxidation of the acetyl to acetic acid, which is considered the EOR rate limiting step. DFT calculations also points out that the durability improvement of Pd2Sn:P/C catalyst is associated to the promotion of OH adsorption that accelerates the oxidation of intermediate poisoning COads, reactivating the catalyst surface.}, author = {Yu, Xiaoting and Liu, Junfeng and Li, Junshan and Luo, Zhishan and Zuo, Yong and Xing, Congcong and Llorca, Jordi and Nasiou, Déspina and Arbiol, Jordi and Pan, Kai and Kleinhanns, Tobias and Xie, Ying and Cabot, Andreu}, issn = {2211-2855}, journal = {Nano Energy}, number = {11}, publisher = {Elsevier}, title = {{Phosphorous incorporation in Pd2Sn alloys for electrocatalytic ethanol oxidation}}, doi = {10.1016/j.nanoen.2020.105116}, volume = {77}, year = {2020}, } @article{8220, abstract = {Understanding to what extent stem cell potential is a cell-intrinsic property or an emergent behavior coming from global tissue dynamics and geometry is a key outstanding question of systems and stem cell biology. Here, we propose a theory of stem cell dynamics as a stochastic competition for access to a spatially localized niche, giving rise to a stochastic conveyor-belt model. Cell divisions produce a steady cellular stream which advects cells away from the niche, while random rearrangements enable cells away from the niche to be favorably repositioned. Importantly, even when assuming that all cells in a tissue are molecularly equivalent, we predict a common (“universal”) functional dependence of the long-term clonal survival probability on distance from the niche, as well as the emergence of a well-defined number of functional stem cells, dependent only on the rate of random movements vs. mitosis-driven advection. We test the predictions of this theory on datasets of pubertal mammary gland tips and embryonic kidney tips, as well as homeostatic intestinal crypts. Importantly, we find good agreement for the predicted functional dependency of the competition as a function of position, and thus functional stem cell number in each organ. This argues for a key role of positional fluctuations in dictating stem cell number and dynamics, and we discuss the applicability of this theory to other settings.}, author = {Corominas-Murtra, Bernat and Scheele, Colinda L.G.J. and Kishi, Kasumi and Ellenbroek, Saskia I.J. and Simons, Benjamin D. and Van Rheenen, Jacco and Hannezo, Edouard B}, issn = {10916490}, journal = {Proceedings of the National Academy of Sciences of the United States of America}, number = {29}, pages = {16969--16975}, publisher = {National Academy of Sciences}, title = {{Stem cell lineage survival as a noisy competition for niche access}}, doi = {10.1073/pnas.1921205117}, volume = {117}, year = {2020}, }