@article{9827, abstract = {The Nearest neighbour search (NNS) is a fundamental problem in many application domains dealing with multidimensional data. In a concurrent setting, where dynamic modifications are allowed, a linearizable implementation of the NNS is highly desirable.This paper introduces the LockFree-kD-tree (LFkD-tree ): a lock-free concurrent kD-tree, which implements an abstract data type (ADT) that provides the operations Add, Remove, Contains, and NNS. Our implementation is linearizable. The operations in the LFkD-tree use single-word read and compare-and-swap (Image 1 ) atomic primitives, which are readily supported on available multi-core processors. We experimentally evaluate the LFkD-tree using several benchmarks comprising real-world and synthetic datasets. The experiments show that the presented design is scalable and achieves significant speed-up compared to the implementations of an existing sequential kD-tree and a recently proposed multidimensional indexing structure, PH-tree.}, author = {Chatterjee, Bapi and Walulya, Ivan and Tsigas, Philippas}, issn = {0304-3975}, journal = {Theoretical Computer Science}, keywords = {Concurrent data structure, kD-tree, Nearest neighbor search, Similarity search, Lock-free, Linearizability}, pages = {27--48}, publisher = {Elsevier}, title = {{Concurrent linearizable nearest neighbour search in LockFree-kD-tree}}, doi = {10.1016/j.tcs.2021.06.041}, volume = {886}, year = {2021}, } @article{9828, abstract = {Amplitude demodulation is a classical operation used in signal processing. For a long time, its effective applications in practice have been limited to narrowband signals. In this work, we generalize amplitude demodulation to wideband signals. We pose demodulation as a recovery problem of an oversampled corrupted signal and introduce special iterative schemes belonging to the family of alternating projection algorithms to solve it. Sensibly chosen structural assumptions on the demodulation outputs allow us to reveal the high inferential accuracy of the method over a rich set of relevant signals. This new approach surpasses current state-of-the-art demodulation techniques apt to wideband signals in computational efficiency by up to many orders of magnitude with no sacrifice in quality. Such performance opens the door for applications of the amplitude demodulation procedure in new contexts. In particular, the new method makes online and large-scale offline data processing feasible, including the calculation of modulator-carrier pairs in higher dimensions and poor sampling conditions, independent of the signal bandwidth. We illustrate the utility and specifics of applications of the new method in practice by using natural speech and synthetic signals.}, author = {Gabrielaitis, Mantas}, issn = {1941-0476}, journal = {IEEE Transactions on Signal Processing}, pages = {4039 -- 4054}, publisher = {Institute of Electrical and Electronics Engineers}, title = {{Fast and accurate amplitude demodulation of wideband signals}}, doi = {10.1109/TSP.2021.3087899}, volume = {69}, year = {2021}, } @article{9829, abstract = {In 2020, many in-person scientific events were canceled due to the COVID-19 pandemic, creating a vacuum in networking and knowledge exchange between scientists. To fill this void in scientific communication, a group of early career nanocrystal enthusiasts launched the virtual seminar series, News in Nanocrystals, in the summer of 2020. By the end of the year, the series had attracted over 850 participants from 46 countries. In this Nano Focus, we describe the process of organizing the News in Nanocrystals seminar series; discuss its growth, emphasizing what the organizers have learned in terms of diversity and accessibility; and provide an outlook for the next steps and future opportunities. This summary and analysis of experiences and learned lessons are intended to inform the broader scientific community, especially those who are looking for avenues to continue fostering discussion and scientific engagement virtually, both during the pandemic and after.}, author = {Baranov, Dmitry and Šverko, Tara and Moot, Taylor and Keller, Helena R. and Klein, Megan D. and Vishnu, E. K. and Balazs, Daniel and Shulenberger, Katherine E.}, issn = {1936-086X}, journal = {ACS Nano}, number = {7}, pages = {10743–10747}, publisher = {American Chemical Society}, title = {{News in Nanocrystals seminar: Self-assembly of early career researchers toward globally accessible nanoscience}}, doi = {10.1021/acsnano.1c03276}, volume = {15}, year = {2021}, } @article{9874, abstract = {Myocardial regeneration is restricted to early postnatal life, when mammalian cardiomyocytes still retain the ability to proliferate. The molecular cues that induce cell cycle arrest of neonatal cardiomyocytes towards terminally differentiated adult heart muscle cells remain obscure. Here we report that the miR-106b~25 cluster is higher expressed in the early postnatal myocardium and decreases in expression towards adulthood, especially under conditions of overload, and orchestrates the transition of cardiomyocyte hyperplasia towards cell cycle arrest and hypertrophy by virtue of its targetome. In line, gene delivery of miR-106b~25 to the mouse heart provokes cardiomyocyte proliferation by targeting a network of negative cell cycle regulators including E2f5, Cdkn1c, Ccne1 and Wee1. Conversely, gene-targeted miR-106b~25 null mice display spontaneous hypertrophic remodeling and exaggerated remodeling to overload by derepression of the prohypertrophic transcription factors Hand2 and Mef2d. Taking advantage of the regulatory function of miR-106b~25 on cardiomyocyte hyperplasia and hypertrophy, viral gene delivery of miR-106b~25 provokes nearly complete regeneration of the adult myocardium after ischemic injury. Our data demonstrate that exploitation of conserved molecular programs can enhance the regenerative capacity of the injured heart.}, author = {Raso, Andrea and Dirkx, Ellen and Sampaio-Pinto, Vasco and el Azzouzi, Hamid and Cubero, Ryan J and Sorensen, Daniel W. and Ottaviani, Lara and Olieslagers, Servé and Huibers, Manon M. and de Weger, Roel and Siddiqi, Sailay and Moimas, Silvia and Torrini, Consuelo and Zentillin, Lorena and Braga, Luca and Nascimento, Diana S. and da Costa Martins, Paula A. and van Berlo, Jop H. and Zacchigna, Serena and Giacca, Mauro and De Windt, Leon J.}, issn = {2041-1723}, journal = {Nature Communications}, publisher = {Springer Nature}, title = {{A microRNA program regulates the balance between cardiomyocyte hyperplasia and hypertrophy and stimulates cardiac regeneration}}, doi = {10.1038/s41467-021-25211-4}, volume = {12}, year = {2021}, } @article{9877, abstract = {Parent-of-origin–dependent gene expression in mammals and flowering plants results from differing chromatin imprints (genomic imprinting) between maternally and paternally inherited alleles. Imprinted gene expression in the endosperm of seeds is associated with localized hypomethylation of maternally but not paternally inherited DNA, with certain small RNAs also displaying parent-of-origin–specific expression. To understand the evolution of imprinting mechanisms in Oryza sativa (rice), we analyzed imprinting divergence among four cultivars that span both japonica and indica subspecies: Nipponbare, Kitaake, 93-11, and IR64. Most imprinted genes are imprinted across cultivars and enriched for functions in chromatin and transcriptional regulation, development, and signaling. However, 4 to 11% of imprinted genes display divergent imprinting. Analyses of DNA methylation and small RNAs revealed that endosperm-specific 24-nt small RNA–producing loci show weak RNA-directed DNA methylation, frequently overlap genes, and are imprinted four times more often than genes. However, imprinting divergence most often correlated with local DNA methylation epimutations (9 of 17 assessable loci), which were largely stable within subspecies. Small insertion/deletion events and transposable element insertions accompanied 4 of the 9 locally epimutated loci and associated with imprinting divergence at another 4 of the remaining 8 loci. Correlating epigenetic and genetic variation occurred at key regulatory regions—the promoter and transcription start site of maternally biased genes, and the promoter and gene body of paternally biased genes. Our results reinforce models for the role of maternal-specific DNA hypomethylation in imprinting of both maternally and paternally biased genes, and highlight the role of transposition and epimutation in rice imprinting evolution.}, author = {Rodrigues, Jessica A. and Hsieh, Ping-Hung and Ruan, Deling and Nishimura, Toshiro and Sharma, Manoj K. and Sharma, Rita and Ye, XinYi and Nguyen, Nicholas D. and Nijjar, Sukhranjan and Ronald, Pamela C. and Fischer, Robert L. and Zilberman, Daniel}, issn = {1091-6490}, journal = {Proceedings of the National Academy of Sciences of the United States of America}, number = {29}, publisher = {National Academy of Sciences}, title = {{Divergence among rice cultivars reveals roles for transposition and epimutation in ongoing evolution of genomic imprinting}}, doi = {10.1073/pnas.2104445118}, volume = {118}, year = {2021}, } @article{9891, abstract = {Extending on ideas of Lewin, Lieb, and Seiringer [Phys. Rev. B 100, 035127 (2019)], we present a modified “floating crystal” trial state for jellium (also known as the classical homogeneous electron gas) with density equal to a characteristic function. This allows us to show that three definitions of the jellium energy coincide in dimensions d ≥ 2, thus extending the result of Cotar and Petrache [“Equality of the Jellium and uniform electron gas next-order asymptotic terms for Coulomb and Riesz potentials,” arXiv: 1707.07664 (2019)] and Lewin, Lieb, and Seiringer [Phys. Rev. B 100, 035127 (2019)] that the three definitions coincide in dimension d ≥ 3. We show that the jellium energy is also equivalent to a “renormalized energy” studied in a series of papers by Serfaty and others, and thus, by the work of Bétermin and Sandier [Constr. Approximation 47, 39–74 (2018)], we relate the jellium energy to the order n term in the logarithmic energy of n points on the unit 2-sphere. We improve upon known lower bounds for this renormalized energy. Additionally, we derive formulas for the jellium energy of periodic configurations.}, author = {Lauritsen, Asbjørn Bækgaard}, issn = {1089-7658}, journal = {Journal of Mathematical Physics}, keywords = {Mathematical Physics, Statistical and Nonlinear Physics}, number = {8}, publisher = {AIP Publishing}, title = {{Floating Wigner crystal and periodic jellium configurations}}, doi = {10.1063/5.0053494}, volume = {62}, year = {2021}, } @article{9906, abstract = {Endometriosis is a common gynecological disorder characterized by ectopic growth of endometrium outside the uterus and is associated with chronic pain and infertility. We investigated the role of the long intergenic noncoding RNA 01133 (LINC01133) in endometriosis, an lncRNA that has been implicated in several types of cancer. We found that LINC01133 is upregulated in ectopic endometriotic lesions. As expression appeared higher in the epithelial endometrial layer, we performed a siRNA knockdown of LINC01133 in an endometriosis epithelial cell line. Phenotypic assays indicated that LINC01133 may promote proliferation and suppress cellular migration, and affect the cytoskeleton and morphology of the cells. Gene ontology analysis of differentially expressed genes indicated that cell proliferation and migration pathways were affected in line with the observed phenotype. We validated upregulation of p21 and downregulation of Cyclin A at the protein level, which together with the quantification of the DNA content using fluorescence-activated cell sorting (FACS) analysis indicated that the observed effects on cellular proliferation may be due to changes in cell cycle. Further, we found testis-specific protein kinase 1 (TESK1) kinase upregulation corresponding with phosphorylation and inactivation of actin severing protein Cofilin, which could explain changes in the cytoskeleton and cellular migration. These results indicate that endometriosis is associated with LINC01133 upregulation, which may affect pathogenesis via the cellular proliferation and migration pathways.}, author = {Yotova, Iveta and Hudson, Quanah J. and Pauler, Florian and Proestling, Katharina and Haslinger, Isabella and Kuessel, Lorenz and Perricos, Alexandra and Husslein, Heinrich and Wenzl, René}, issn = {1422-0067}, journal = {International Journal of Molecular Sciences}, number = {16}, publisher = {MDPI}, title = {{LINC01133 inhibits invasion and promotes proliferation in an endometriosis epithelial cell line}}, doi = {10.3390/ijms22168385}, volume = {22}, year = {2021}, } @article{9907, abstract = {DivIVA is a protein initially identified as a spatial regulator of cell division in the model organism Bacillus subtilis, but its homologues are present in many other Gram-positive bacteria, including Clostridia species. Besides its role as topological regulator of the Min system during bacterial cell division, DivIVA is involved in chromosome segregation during sporulation, genetic competence, and cell wall synthesis. DivIVA localizes to regions of high membrane curvature, such as the cell poles and cell division site, where it recruits distinct binding partners. Previously, it was suggested that negative curvature sensing is the main mechanism by which DivIVA binds to these specific regions. Here, we show that Clostridioides difficile DivIVA binds preferably to membranes containing negatively charged phospholipids, especially cardiolipin. Strikingly, we observed that upon binding, DivIVA modifies the lipid distribution and induces changes to lipid bilayers containing cardiolipin. Our observations indicate that DivIVA might play a more complex and so far unknown active role during the formation of the cell division septal membrane. }, author = {Labajová, Naďa and Baranova, Natalia S. and Jurásek, Miroslav and Vácha, Robert and Loose, Martin and Barák, Imrich}, issn = {1422-0067}, journal = {International Journal of Molecular Sciences}, number = {15}, publisher = {MDPI}, title = {{Cardiolipin-containing lipid membranes attract the bacterial cell division protein diviva}}, doi = {10.3390/ijms22158350}, volume = {22}, year = {2021}, } @article{9910, abstract = {Adult height inspired the first biometrical and quantitative genetic studies and is a test-case trait for understanding heritability. The studies of height led to formulation of the classical polygenic model, that has a profound influence on the way we view and analyse complex traits. An essential part of the classical model is an assumption of additivity of effects and normality of the distribution of the residuals. However, it may be expected that the normal approximation will become insufficient in bigger studies. Here, we demonstrate that when the height of hundreds of thousands of individuals is analysed, the model complexity needs to be increased to include non-additive interactions between sex, environment and genes. Alternatively, the use of log-normal approximation allowed us to still use the additive effects model. These findings are important for future genetic and methodologic studies that make use of adult height as an exemplar trait.}, author = {Slavskii, Sergei A. and Kuznetsov, Ivan A. and Shashkova, Tatiana I. and Bazykin, Georgii A. and Axenovich, Tatiana I. and Kondrashov, Fyodor and Aulchenko, Yurii S.}, issn = {1476-5438}, journal = {European Journal of Human Genetics}, number = {7}, pages = {1082--1091}, publisher = {Springer Nature}, title = {{The limits of normal approximation for adult height}}, doi = {10.1038/s41431-021-00836-7}, volume = {29}, year = {2021}, } @article{9911, abstract = {A modern day light microscope has evolved from a tool devoted to making primarily empirical observations to what is now a sophisticated , quantitative device that is an integral part of both physical and life science research. Nowadays, microscopes are found in nearly every experimental laboratory. However, despite their prevalent use in capturing and quantifying scientific phenomena, neither a thorough understanding of the principles underlying quantitative imaging techniques nor appropriate knowledge of how to calibrate, operate and maintain microscopes can be taken for granted. This is clearly demonstrated by the well-documented and widespread difficulties that are routinely encountered in evaluating acquired data and reproducing scientific experiments. Indeed, studies have shown that more than 70% of researchers have tried and failed to repeat another scientist's experiments, while more than half have even failed to reproduce their own experiments. One factor behind the reproducibility crisis of experiments published in scientific journals is the frequent underreporting of imaging methods caused by a lack of awareness and/or a lack of knowledge of the applied technique. Whereas quality control procedures for some methods used in biomedical research, such as genomics (e.g. DNA sequencing, RNA-seq) or cytometry, have been introduced (e.g. ENCODE), this issue has not been tackled for optical microscopy instrumentation and images. Although many calibration standards and protocols have been published, there is a lack of awareness and agreement on common standards and guidelines for quality assessment and reproducibility. In April 2020, the QUality Assessment and REProducibility for instruments and images in Light Microscopy (QUAREP-LiMi) initiative was formed. This initiative comprises imaging scientists from academia and industry who share a common interest in achieving a better understanding of the performance and limitations of microscopes and improved quality control (QC) in light microscopy. The ultimate goal of the QUAREP-LiMi initiative is to establish a set of common QC standards, guidelines, metadata models and tools, including detailed protocols, with the ultimate aim of improving reproducible advances in scientific research. This White Paper (1) summarizes the major obstacles identified in the field that motivated the launch of the QUAREP-LiMi initiative; (2) identifies the urgent need to address these obstacles in a grassroots manner, through a community of stakeholders including, researchers, imaging scientists, bioimage analysts, bioimage informatics developers, corporate partners, funding agencies, standards organizations, scientific publishers and observers of such; (3) outlines the current actions of the QUAREP-LiMi initiative and (4) proposes future steps that can be taken to improve the dissemination and acceptance of the proposed guidelines to manage QC. To summarize, the principal goal of the QUAREP-LiMi initiative is to improve the overall quality and reproducibility of light microscope image data by introducing broadly accepted standard practices and accurately captured image data metrics.}, author = {Nelson, Glyn and Boehm, Ulrike and Bagley, Steve and Bajcsy, Peter and Bischof, Johanna and Brown, Claire M. and Dauphin, Aurélien and Dobbie, Ian M. and Eriksson, John E. and Faklaris, Orestis and Fernandez-Rodriguez, Julia and Ferrand, Alexia and Gelman, Laurent and Gheisari, Ali and Hartmann, Hella and Kukat, Christian and Laude, Alex and Mitkovski, Miso and Munck, Sebastian and North, Alison J. and Rasse, Tobias M. and Resch-Genger, Ute and Schuetz, Lucas C. and Seitz, Arne and Strambio-De-Castillia, Caterina and Swedlow, Jason R. and Alexopoulos, Ioannis and Aumayr, Karin and Avilov, Sergiy and Bakker, Gert Jan and Bammann, Rodrigo R. and Bassi, Andrea and Beckert, Hannes and Beer, Sebastian and Belyaev, Yury and Bierwagen, Jakob and Birngruber, Konstantin A. and Bosch, Manel and Breitlow, Juergen and Cameron, Lisa A. and Chalfoun, Joe and Chambers, James J. and Chen, Chieh Li and Conde-Sousa, Eduardo and Corbett, Alexander D. and Cordelieres, Fabrice P. and Nery, Elaine Del and Dietzel, Ralf and Eismann, Frank and Fazeli, Elnaz and Felscher, Andreas and Fried, Hans and Gaudreault, Nathalie and Goh, Wah Ing and Guilbert, Thomas and Hadleigh, Roland and Hemmerich, Peter and Holst, Gerhard A. and Itano, Michelle S. and Jaffe, Claudia B. and Jambor, Helena K. and Jarvis, Stuart C. and Keppler, Antje and Kirchenbuechler, David and Kirchner, Marcel and Kobayashi, Norio and Krens, Gabriel and Kunis, Susanne and Lacoste, Judith and Marcello, Marco and Martins, Gabriel G. and Metcalf, Daniel J. and Mitchell, Claire A. and Moore, Joshua and Mueller, Tobias and Nelson, Michael S. and Ogg, Stephen and Onami, Shuichi and Palmer, Alexandra L. and Paul-Gilloteaux, Perrine and Pimentel, Jaime A. and Plantard, Laure and Podder, Santosh and Rexhepaj, Elton and Royon, Arnaud and Saari, Markku A. and Schapman, Damien and Schoonderwoert, Vincent and Schroth-Diez, Britta and Schwartz, Stanley and Shaw, Michael and Spitaler, Martin and Stoeckl, Martin T. and Sudar, Damir and Teillon, Jeremie and Terjung, Stefan and Thuenauer, Roland and Wilms, Christian D. and Wright, Graham D. and Nitschke, Roland}, issn = {1365-2818}, journal = {Journal of Microscopy}, number = {1}, pages = {56--73}, publisher = {Wiley}, title = {{QUAREP-LiMi: A community-driven initiative to establish guidelines for quality assessment and reproducibility for instruments and images in light microscopy}}, doi = {10.1111/jmi.13041}, volume = {284}, year = {2021}, } @article{9912, abstract = {In the customary random matrix model for transport in quantum dots with M internal degrees of freedom coupled to a chaotic environment via 𝑁≪𝑀 channels, the density 𝜌 of transmission eigenvalues is computed from a specific invariant ensemble for which explicit formula for the joint probability density of all eigenvalues is available. We revisit this problem in the large N regime allowing for (i) arbitrary ratio 𝜙:=𝑁/𝑀≤1; and (ii) general distributions for the matrix elements of the Hamiltonian of the quantum dot. In the limit 𝜙→0, we recover the formula for the density 𝜌 that Beenakker (Rev Mod Phys 69:731–808, 1997) has derived for a special matrix ensemble. We also prove that the inverse square root singularity of the density at zero and full transmission in Beenakker’s formula persists for any 𝜙<1 but in the borderline case 𝜙=1 an anomalous 𝜆−2/3 singularity arises at zero. To access this level of generality, we develop the theory of global and local laws on the spectral density of a large class of noncommutative rational expressions in large random matrices with i.i.d. entries.}, author = {Erdös, László and Krüger, Torben H and Nemish, Yuriy}, issn = {1424-0661}, journal = {Annales Henri Poincaré }, pages = {4205–4269}, publisher = {Springer Nature}, title = {{Scattering in quantum dots via noncommutative rational functions}}, doi = {10.1007/s00023-021-01085-6}, volume = {22}, year = {2021}, } @inproceedings{9933, abstract = {In this paper, we study the power and limitations of component-stable algorithms in the low-space model of Massively Parallel Computation (MPC). Recently Ghaffari, Kuhn and Uitto (FOCS 2019) introduced the class of component-stable low-space MPC algorithms, which are, informally, defined as algorithms for which the outputs reported by the nodes in different connected components are required to be independent. This very natural notion was introduced to capture most (if not all) of the known efficient MPC algorithms to date, and it was the first general class of MPC algorithms for which one can show non-trivial conditional lower bounds. In this paper we enhance the framework of component-stable algorithms and investigate its effect on the complexity of randomized and deterministic low-space MPC. Our key contributions include: 1) We revise and formalize the lifting approach of Ghaffari, Kuhn and Uitto. This requires a very delicate amendment of the notion of component stability, which allows us to fill in gaps in the earlier arguments. 2) We also extend the framework to obtain conditional lower bounds for deterministic algorithms and fine-grained lower bounds that depend on the maximum degree Δ. 3) We demonstrate a collection of natural graph problems for which non-component-stable algorithms break the conditional lower bound obtained for component-stable algorithms. This implies that, for both deterministic and randomized algorithms, component-stable algorithms are conditionally weaker than the non-component-stable ones. Altogether our results imply that component-stability might limit the computational power of the low-space MPC model, paving the way for improved upper bounds that escape the conditional lower bound setting of Ghaffari, Kuhn, and Uitto.}, author = {Czumaj, Artur and Davies, Peter and Parter, Merav}, booktitle = {Proceedings of the 2021 ACM Symposium on Principles of Distributed Computing}, isbn = {9781450385480}, location = {Virtual, Italy}, pages = {481–491}, publisher = {Association for Computing Machinery}, title = {{Component stability in low-space massively parallel computation}}, doi = {10.1145/3465084.3467903}, year = {2021}, } @inproceedings{9935, abstract = {We present a deterministic O(log log log n)-round low-space Massively Parallel Computation (MPC) algorithm for the classical problem of (Δ+1)-coloring on n-vertex graphs. In this model, every machine has sublinear local space of size n^φ for any arbitrary constant φ \in (0,1). Our algorithm works under the relaxed setting where each machine is allowed to perform exponential local computations, while respecting the n^φ space and bandwidth limitations. Our key technical contribution is a novel derandomization of the ingenious (Δ+1)-coloring local algorithm by Chang-Li-Pettie (STOC 2018, SIAM J. Comput. 2020). The Chang-Li-Pettie algorithm runs in T_local =poly(loglog n) rounds, which sets the state-of-the-art randomized round complexity for the problem in the local model. Our derandomization employs a combination of tools, notably pseudorandom generators (PRG) and bounded-independence hash functions. The achieved round complexity of O(logloglog n) rounds matches the bound of log(T_local ), which currently serves an upper bound barrier for all known randomized algorithms for locally-checkable problems in this model. Furthermore, no deterministic sublogarithmic low-space MPC algorithms for the (Δ+1)-coloring problem have been known before.}, author = {Czumaj, Artur and Davies, Peter and Parter, Merav}, booktitle = {Proceedings of the 2021 ACM Symposium on Principles of Distributed Computing}, isbn = {978-1-4503-8548-0}, location = {Virtual, Italy}, pages = {469–479}, publisher = {Association for Computing Machinery}, title = {{Improved deterministic (Δ+1) coloring in low-space MPC}}, doi = {10.1145/3465084.3467937}, year = {2021}, } @misc{9946, abstract = {We argue that the time is ripe to investigate differential monitoring, in which the specification of a program's behavior is implicitly given by a second program implementing the same informal specification. Similar ideas have been proposed before, and are currently implemented in restricted form for testing and specialized run-time analyses, aspects of which we combine. We discuss the challenges of implementing differential monitoring as a general-purpose, black-box run-time monitoring framework, and present promising results of a preliminary implementation, showing low monitoring overheads for diverse programs.}, author = {Mühlböck, Fabian and Henzinger, Thomas A}, issn = {2664-1690}, keywords = {run-time verification, software engineering, implicit specification}, pages = {17}, publisher = {IST Austria}, title = {{Differential monitoring}}, doi = {10.15479/AT:ISTA:9946}, year = {2021}, } @misc{9949, author = {Vicoso, Beatriz}, publisher = {Institute of Science and Technology Austria}, title = {{Data from Hyulmans et al 2021, "Transitions to asexuality and evolution of gene expression in Artemia brine shrimp"}}, doi = {10.15479/AT:ISTA:9949}, year = {2021}, } @inproceedings{9951, abstract = {There has recently been a surge of interest in the computational and complexity properties of the population model, which assumes n anonymous, computationally-bounded nodes, interacting at random, with the goal of jointly computing global predicates. Significant work has gone towards investigating majority or consensus dynamics in this model: that is, assuming that every node is initially in one of two states X or Y, determine which state had higher initial count. In this paper, we consider a natural generalization of majority/consensus, which we call comparison : in its simplest formulation, we are given two baseline states, X and Y, present in any initial configuration in fixed, but possibly small counts. One of these states has higher count than the other: we will assume |X_0| > C |Y_0| for some constant C > 1. The challenge is to design a protocol by which nodes can quickly and reliably decide on which of the baseline states X_0 and Y_0 has higher initial count. We begin by analyzing a simple and general dynamics solving the above comparison problem, which uses O( log n ) states per node, and converges in O(log n) (parallel) time, with high probability, to a state where the whole population votes on opinions X or Y at rates proportional to the initial concentrations of |X_0| vs. |Y_0|. We then describe how this procedure can be bootstrapped to solve comparison, i.e. have every node in the population reach the "correct'' decision, with probability 1 - o(1), at the cost of O (log log n) additional states. Further, we prove that this dynamics is self-stabilizing, in the sense that it converges to the correct decision from arbitrary initial states, and leak-robust, in the sense that it can withstand spurious faulty reactions, which are known to occur in practical implementations of population protocols. Our analysis is based on a new martingale concentration result relating the discrete-time evolution of a population protocol to its expected (steady-state) analysis, which should be a useful tool when analyzing opinion dynamics and epidemic dissemination in the population model.}, author = {Alistarh, Dan-Adrian and Töpfer, Martin and Uznański, Przemysław}, booktitle = {Proceedings of the 2021 ACM Symposium on Principles of Distributed Computing}, isbn = {9781450385480}, location = {Virtual, Italy}, pages = {55--65}, publisher = {Association for Computing Machinery}, title = {{Comparison dynamics in population protocols}}, doi = {10.1145/3465084.3467915}, year = {2021}, } @article{9952, abstract = {Proper control of division orientation and symmetry, largely determined by spindle positioning, is essential to development and homeostasis. Spindle positioning has been extensively studied in cells dividing in two-dimensional (2D) environments and in epithelial tissues, where proteins such as NuMA (also known as NUMA1) orient division along the interphase long axis of the cell. However, little is known about how cells control spindle positioning in three-dimensional (3D) environments, such as early mammalian embryos and a variety of adult tissues. Here, we use mouse embryonic stem cells (ESCs), which grow in 3D colonies, as a model to investigate division in 3D. We observe that, at the periphery of 3D colonies, ESCs display high spindle mobility and divide asymmetrically. Our data suggest that enhanced spindle movements are due to unequal distribution of the cell–cell junction protein E-cadherin between future daughter cells. Interestingly, when cells progress towards differentiation, division becomes more symmetric, with more elongated shapes in metaphase and enhanced cortical NuMA recruitment in anaphase. Altogether, this study suggests that in 3D contexts, the geometry of the cell and its contacts with neighbors control division orientation and symmetry.}, author = {Chaigne, Agathe and Smith, Matthew B. and Cavestany, R. L. and Hannezo, Edouard B and Chalut, Kevin J. and Paluch, Ewa K.}, issn = {1477-9137}, journal = {Journal of Cell Science}, number = {14}, publisher = {The Company of Biologists}, title = {{Three-dimensional geometry controls division symmetry in stem cell colonies}}, doi = {10.1242/jcs.255018}, volume = {134}, year = {2021}, } @article{9953, abstract = {Chronic psychological stress is one of the most important triggers and environmental risk factors for neuropsychiatric disorders. Chronic stress can influence all organs via the secretion of stress hormones, including glucocorticoids by the adrenal glands, which coordinate the stress response across the body. In the brain, glucocorticoid receptors (GR) are expressed by various cell types including microglia, which are its resident immune cells regulating stress-induced inflammatory processes. To study the roles of microglial GR under normal homeostatic conditions and following chronic stress, we generated a mouse model in which the GR gene is depleted in microglia specifically at adulthood to prevent developmental confounds. We first confirmed that microglia were depleted in GR in our model in males and females among the cingulate cortex and the hippocampus, both stress-sensitive brain regions. Then, cohorts of microglial-GR depleted and wild-type (WT) adult female mice were housed for 3 weeks in a standard or stressful condition, using a chronic unpredictable mild stress (CUMS) paradigm. CUMS induced stress-related behavior in both microglial-GR depleted and WT animals as demonstrated by a decrease of both saccharine preference and progressive ratio breakpoint. Nevertheless, the hippocampal microglial and neural mechanisms underlying the adaptation to stress occurred differently between the two genotypes. Upon CUMS exposure, microglial morphology was altered in the WT controls, without any apparent effect in microglial-GR depleted mice. Furthermore, in the standard environment condition, GR depleted-microglia showed increased expression of pro-inflammatory genes, and genes involved in microglial homeostatic functions (such as Trem2, Cx3cr1 and Mertk). On the contrary, in CUMS condition, GR depleted-microglia showed reduced expression levels of pro-inflammatory genes and increased neuroprotective as well as anti-inflammatory genes compared to WT-microglia. Moreover, in microglial-GR depleted mice, but not in WT mice, CUMS led to a significant reduction of CA1 long-term potentiation and paired-pulse ratio. Lastly, differences in adult hippocampal neurogenesis were observed between the genotypes during normal homeostatic conditions, with microglial-GR deficiency increasing the formation of newborn neurons in the dentate gyrus subgranular zone independently from stress exposure. Together, these findings indicate that, although the deletion of microglial GR did not prevent the animal’s ability to respond to stress, it contributed to modulating hippocampal functions in both standard and stressful conditions, notably by shaping the microglial response to chronic stress.}, author = {Picard, Katherine and Bisht, Kanchan and Poggini, Silvia and Garofalo, Stefano and Golia, Maria Teresa and Basilico, Bernadette and Abdallah, Fatima and Ciano Albanese, Naomi and Amrein, Irmgard and Vernoux, Nathalie and Sharma, Kaushik and Hui, Chin Wai and C. Savage, Julie and Limatola, Cristina and Ragozzino, Davide and Maggi, Laura and Branchi, Igor and Tremblay, Marie Ève}, issn = {0889-1591}, journal = {Brain, Behavior, and Immunity}, pages = {423--439}, publisher = {Elsevier}, title = {{Microglial-glucocorticoid receptor depletion alters the response of hippocampal microglia and neurons in a chronic unpredictable mild stress paradigm in female mice}}, doi = {10.1016/j.bbi.2021.07.022}, volume = {97}, year = {2021}, } @inproceedings{9957, abstract = {The reflectance field of a face describes the reflectance properties responsible for complex lighting effects including diffuse, specular, inter-reflection and self shadowing. Most existing methods for estimating the face reflectance from a monocular image assume faces to be diffuse with very few approaches adding a specular component. This still leaves out important perceptual aspects of reflectance as higher-order global illumination effects and self-shadowing are not modeled. We present a new neural representation for face reflectance where we can estimate all components of the reflectance responsible for the final appearance from a single monocular image. Instead of modeling each component of the reflectance separately using parametric models, our neural representation allows us to generate a basis set of faces in a geometric deformation-invariant space, parameterized by the input light direction, viewpoint and face geometry. We learn to reconstruct this reflectance field of a face just from a monocular image, which can be used to render the face from any viewpoint in any light condition. Our method is trained on a light-stage training dataset, which captures 300 people illuminated with 150 light conditions from 8 viewpoints. We show that our method outperforms existing monocular reflectance reconstruction methods, in terms of photorealism due to better capturing of physical premitives, such as sub-surface scattering, specularities, self-shadows and other higher-order effects.}, author = {B R, Mallikarjun and Tewari, Ayush and Oh, Tae-Hyun and Weyrich, Tim and Bickel, Bernd and Seidel, Hans-Peter and Pfister, Hanspeter and Matusik, Wojciech and Elgharib, Mohamed and Theobalt, Christian}, booktitle = {Proceedings of the IEEE Computer Society Conference on Computer Vision and Pattern Recognition}, isbn = {978-166544509-2}, issn = {1063-6919}, location = {Nashville, TN, United States; Virtual}, pages = {4791--4800}, publisher = {IEEE}, title = {{Monocular reconstruction of neural face reflectance fields}}, doi = {10.1109/CVPR46437.2021.00476}, year = {2021}, } @article{9960, abstract = {The control of many-body quantum dynamics in complex systems is a key challenge in the quest to reliably produce and manipulate large-scale quantum entangled states. Recently, quench experiments in Rydberg atom arrays [Bluvstein et al. Science 371, 1355 (2021)] demonstrated that coherent revivals associated with quantum many-body scars can be stabilized by periodic driving, generating stable subharmonic responses over a wide parameter regime. We analyze a simple, related model where these phenomena originate from spatiotemporal ordering in an effective Floquet unitary, corresponding to discrete time-crystalline behavior in a prethermal regime. Unlike conventional discrete time crystals, the subharmonic response exists only for Néel-like initial states, associated with quantum scars. We predict robustness to perturbations and identify emergent timescales that could be observed in future experiments. Our results suggest a route to controlling entanglement in interacting quantum systems by combining periodic driving with many-body scars.}, author = {Maskara, N. and Michailidis, Alexios and Ho, W. W. and Bluvstein, D. and Choi, S. and Lukin, M. D. and Serbyn, Maksym}, issn = {1079-7114}, journal = {Physical Review Letters}, number = {9}, publisher = {American Physical Society}, title = {{Discrete time-crystalline order enabled by quantum many-body scars: Entanglement steering via periodic driving}}, doi = {10.1103/PhysRevLett.127.090602}, volume = {127}, year = {2021}, }