@article{6262,
  abstract     = {Gravitropism is an adaptive response that orients plant growth parallel to the gravity vector. Asymmetric
distribution of the phytohormone auxin is a necessary prerequisite to the tropic bending both in roots and
shoots. During hypocotyl gravitropic response, the PIN3 auxin transporter polarizes within gravity-sensing
cells to redirect intercellular auxin fluxes. First gravity-induced PIN3 polarization to the bottom cell mem-
branes leads to the auxin accumulation at the lower side of the organ, initiating bending and, later, auxin
feedback-mediated repolarization restores symmetric auxin distribution to terminate bending. Here, we per-
formed a forward genetic screen to identify regulators of both PIN3 polarization events during gravitropic
response. We searched for mutants with defective PIN3 polarizations based on easy-to-score morphological
outputs of decreased or increased gravity-induced hypocotyl bending. We identified the number of
hypocotyl reduced bending (hrb) and hypocotyl hyperbending (hhb) mutants, revealing that reduced bending corre-
lated typically with defective gravity-induced PIN3 relocation whereas all analyzed hhb mutants showed
defects in the second, auxin-mediated PIN3 relocation. Next-generation sequencing-aided mutation map-
ping identified several candidate genes, including SCARECROW and ACTIN2, revealing roles of endodermis
specification and actin cytoskeleton in the respective gravity- and auxin-induced PIN polarization events.
The hypocotyl gravitropism screen thus promises to provide novel insights into mechanisms underlying cell
polarity and plant adaptive development.},
  author       = {Rakusová, Hana and Han, Huibin and Valošek, Petr and Friml, Jiří},
  issn         = {1365-313x},
  journal      = {The Plant Journal},
  number       = {6},
  pages        = {1048--1059},
  publisher    = {Wiley},
  title        = {{Genetic screen for factors mediating PIN polarization in gravistimulated Arabidopsis thaliana hypocotyls}},
  doi          = {10.1111/tpj.14301},
  volume       = {98},
  year         = {2019},
}

@article{6297,
  abstract     = {Cell-cell and cell-glycocalyx interactions under flow are important for the behaviour of circulating cells in blood and lymphatic vessels. However, such interactions are not well understood due in part to a lack of tools to study them in defined environments. Here, we develop a versatile in vitro platform for the study of cell-glycocalyx interactions in well-defined physical and chemical settings under flow. Our approach is demonstrated with the interaction between hyaluronan (HA, a key component of the endothelial glycocalyx) and its cell receptor CD44. We generate HA brushes in situ within a microfluidic device, and demonstrate the tuning of their physical (thickness and softness) and chemical (density of CD44 binding sites) properties using characterisation with reflection interference contrast microscopy (RICM) and application of polymer theory. We highlight the interactions of HA brushes with CD44-displaying beads and cells under flow. Observations of CD44+ beads on a HA brush with RICM enabled the 3-dimensional trajectories to be generated, and revealed interactions in the form of stop and go phases with reduced rolling velocity and reduced distance between the bead and the HA brush, compared to uncoated beads. Combined RICM and bright-field microscopy of CD44+ AKR1 T-lymphocytes revealed complementary information about the dynamics of cell rolling and cell morphology, and highlighted the formation of tethers and slings, as they interacted with a HA brush under flow. This platform can readily incorporate more complex models of the glycocalyx, and should permit the study of how mechanical and biochemical factors are orchestrated to enable highly selective blood cell-vessel wall interactions under flow.},
  author       = {Davies, Heather S. and Baranova, Natalia S. and El Amri, Nouha and Coche-Guérente, Liliane and Verdier, Claude and Bureau, Lionel and Richter, Ralf P. and Débarre, Delphine},
  issn         = {0945-053X},
  journal      = {Matrix Biology},
  pages        = {47--59},
  publisher    = {Elsevier},
  title        = {{An integrated assay to probe endothelial glycocalyx-blood cell interactions under flow in mechanically and biochemically well-defined environments}},
  doi          = {10.1016/j.matbio.2018.12.002},
  volume       = {78-79},
  year         = {2019},
}

@article{6310,
  abstract     = {An asymptotic formula is established for the number of rational points of bounded anticanonical height which lie on a certain Zariskiopen subset of an arbitrary smooth biquadratic hypersurface in sufficiently many variables. The proof uses the Hardy–Littlewood circle method.},
  author       = {Browning, Timothy D and Hu, L.Q.},
  issn         = {1090-2082},
  journal      = {Advances in Mathematics},
  pages        = {920--940},
  publisher    = {Elsevier},
  title        = {{Counting rational points on biquadratic hypersurfaces}},
  doi          = {10.1016/j.aim.2019.04.031},
  volume       = {349},
  year         = {2019},
}

@article{6338,
  abstract     = {Hippocampal activity patterns representing movement trajectories are reactivated in immobility and sleep periods, a process associated with memory recall, consolidation, and decision making. It is thought that only fixed, behaviorally relevant patterns can be reactivated, which are stored across hippocampal synaptic connections. To test whether some generalized rules govern reactivation, we examined trajectory reactivation following non-stereotypical exploration of familiar open-field environments. We found that random trajectories of varying lengths and timescales were reactivated, resembling that of Brownian motion of particles. The animals’ behavioral trajectory did not follow Brownian diffusion demonstrating that the exact behavioral experience is not reactivated. Therefore, hippocampal circuits are able to generate random trajectories of any recently active map by following diffusion dynamics. This ability of hippocampal circuits to generate representations of all behavioral outcome combinations, experienced or not, may underlie a wide variety of hippocampal-dependent cognitive functions such as learning, generalization, and planning.},
  author       = {Stella, Federico and Baracskay, Peter and O'Neill, Joseph and Csicsvari, Jozsef L},
  journal      = {Neuron},
  pages        = {450--461},
  publisher    = {Elsevier},
  title        = {{Hippocampal reactivation of random trajectories resembling Brownian diffusion}},
  doi          = {10.1016/j.neuron.2019.01.052},
  volume       = {102},
  year         = {2019},
}

@article{6343,
  abstract     = {Cryo-electron tomography (cryo-ET) provides unprecedented insights into the molecular constituents of biological environments. In combination with an image processing method called subtomogram averaging (STA), detailed 3D structures of biological molecules can be obtained in large, irregular macromolecular assemblies or in situ, without the need for purification. The contextual meta-information these methods also provide, such as a protein’s location within its native environment, can then be combined with functional data. This allows the derivation of a detailed view on the physiological or pathological roles of proteins from the molecular to cellular level. Despite their tremendous potential in in situ structural biology, cryo-ET and STA have been restricted by methodological limitations, such as the low obtainable resolution. Exciting progress now allows one to reach unprecedented resolutions in situ, ranging in optimal cases beyond the nanometer barrier. Here, I review current frontiers and future challenges in routinely determining high-resolution structures in in situ environments using cryo-ET and STA.},
  author       = {Schur, Florian KM},
  issn         = {0959-440X},
  journal      = {Current Opinion in Structural Biology},
  number       = {10},
  pages        = {1--9},
  publisher    = {Elsevier},
  title        = {{Toward high-resolution in situ structural biology with cryo-electron tomography and subtomogram averaging}},
  doi          = {10.1016/j.sbi.2019.03.018},
  volume       = {58},
  year         = {2019},
}

@article{6348,
  abstract     = {High-speed optical telecommunication is enabled by wavelength-division multiplexing, whereby hundreds of individually stabilized lasers encode information within a single-mode optical fibre. Higher bandwidths require higher total optical power, but the power sent into the fibre is limited by optical nonlinearities within the fibre, and energy consumption by the light sources starts to become a substantial cost factor1. Optical frequency combs have been suggested to remedy this problem by generating numerous discrete, equidistant laser lines within a monolithic device; however, at present their stability and coherence allow them to operate only within small parameter ranges2,3,4. Here we show that a broadband frequency comb realized through the electro-optic effect within a high-quality whispering-gallery-mode resonator can operate at low microwave and optical powers. Unlike the usual third-order Kerr nonlinear optical frequency combs, our combs rely on the second-order nonlinear effect, which is much more efficient. Our result uses a fixed microwave signal that is mixed with an optical-pump signal to generate a coherent frequency comb with a precisely determined carrier separation. The resonant enhancement enables us to work with microwave powers that are three orders of magnitude lower than those in commercially available devices. We emphasize the practical relevance of our results to high rates of data communication. To circumvent the limitations imposed by nonlinear effects in optical communication fibres, one has to solve two problems: to provide a compact and fully integrated, yet high-quality and coherent, frequency comb generator; and to calculate nonlinear signal propagation in real time5. We report a solution to the first problem.},
  author       = {Rueda Sanchez, Alfredo R and Sedlmeir, Florian and Kumari, Madhuri and Leuchs, Gerd and Schwefel, Harald G.L.},
  issn         = {1476-4687},
  journal      = {Nature},
  number       = {7752},
  pages        = {378--381},
  publisher    = {Springer Nature},
  title        = {{Resonant electro-optic frequency comb}},
  doi          = {10.1038/s41586-019-1110-x},
  volume       = {568},
  year         = {2019},
}

@article{6352,
  abstract     = {Chronic overuse of common pharmaceuticals, e.g. acetaminophen (paracetamol), often leads to the development of acute liver failure (ALF). This study aimed to elucidate the effect of cultured mesenchymal stem cells (MSCs) proteome on the onset of liver damage and regeneration dynamics in animals with ALF induced by acetaminophen, to test the liver protective efficacy of MSCs proteome depending on the oxygen tension in cell culture, and to blueprint protein components responsible for the effect. Protein compositions prepared from MSCs cultured in mild hypoxic (5% and 10%  O2) and normal (21%  O2) conditions were used to treat ALF induced in mice by injection of acetaminophen. To test the effect of reduced oxygen tension in cell culture on resulting MSCs proteome content we applied a combination of high performance liquid chromatography and mass-spectrometry (LC–MS/MS) for the identification of proteins in lysates of MSCs cultured at different  O2 levels. The treatment of acetaminophen-administered animals with proteins released from cultured MSCs resulted in the inhibition of inflammatory reactions in damaged liver; the area of hepatocyte necrosis being reduced in the first 24 h. Compositions obtained from MSCs cultured at lower O2 level were shown to be more potent than a composition prepared from normoxic cells. A comparative characterization of protein pattern and identification of individual components done by a cytokine assay and proteomics analysis of protein compositions revealed that even moderate hypoxia produces discrete changes in the expression of various subsets of proteins responsible for intracellular respiration and cell signaling. The application of proteins prepared from MSCs grown in vitro at reduced oxygen tension significantly accelerates healing process in damaged liver tissue. The proteomics data obtained for different preparations offer new information about the potential candidates in the MSCs protein repertoire sensitive to oxygen tension in culture medium, which can be involved in the generalized mechanisms the cells use to respond to acute liver failure.},
  author       = {Temnov, Andrey Alexandrovich and Rogov, Konstantin Arkadevich and Sklifas, Alla Nikolaevna and Klychnikova, Elena Valerievna and Hartl, Markus and Djinovic-Carugo, Kristina and Charnagalov, Alexej},
  issn         = {1573-4978},
  journal      = {Molecular Biology Reports},
  publisher    = {Springer},
  title        = {{Protective properties of the cultured stem cell proteome studied in an animal model of acetaminophen-induced acute liver failure}},
  doi          = {10.1007/s11033-019-04765-z},
  year         = {2019},
}

@article{6366,
  abstract     = {Plants have a remarkable capacity to adjust their growth and development to elevated ambient temperatures. Increased elongation growth of roots, hypocotyls and petioles in warm temperatures are hallmarks of seedling thermomorphogenesis. In the last decade, significant progress has been made to identify the molecular signaling components regulating these growth responses. Increased ambient temperature utilizes diverse components of the light sensing and signal transduction network to trigger growth adjustments. However, it remains unknown whether temperature sensing and responses are universal processes that occur uniformly in all plant organs. Alternatively, temperature sensing may be confined to specific tissues or organs, which would require a systemic signal that mediates responses in distal parts of the plant. Here we show that Arabidopsis (Arabidopsis thaliana) seedlings show organ-specific transcriptome responses to elevated temperatures, and that thermomorphogenesis involves both autonomous and organ-interdependent temperature sensing and signaling. Seedling roots can sense and respond to temperature in a shoot-independent manner, whereas shoot temperature responses require both local and systemic processes. The induction of cell elongation in hypocotyls requires temperature sensing in cotyledons, followed by generation of a mobile auxin signal. Subsequently, auxin travels to the hypocotyl where it triggers local brassinosteroid-induced cell elongation in seedling stems, which depends upon a distinct, permissive temperature sensor in the hypocotyl.},
  author       = {Bellstaedt, Julia and Trenner, Jana and Lippmann, Rebecca and Poeschl, Yvonne and Zhang, Xixi and Friml, Jiří and Quint, Marcel and Delker, Carolin},
  issn         = {1532-2548},
  journal      = {Plant Physiology},
  number       = {2},
  pages        = {757--766},
  publisher    = {ASPB},
  title        = {{A mobile auxin signal connects temperature sensing in cotyledons with growth responses in hypocotyls}},
  doi          = {10.1104/pp.18.01377},
  volume       = {180},
  year         = {2019},
}

@article{6377,
  abstract     = {Clathrin-mediated endocytosis (CME) is a highly conserved and essential cellular process in eukaryotic cells, but its dynamic and vital nature makes it challenging to study using classical genetics tools. In contrast, although small molecules can acutely and reversibly perturb CME, the few chemical CME inhibitors that have been applied to plants are either ineffective or show undesirable side effects. Here, we identify the previously described endosidin9 (ES9) as an inhibitor of clathrin heavy chain (CHC) function in both Arabidopsis and human cells through affinity-based target isolation, in vitro binding studies and X-ray crystallography. Moreover, we present a chemically improved ES9 analog, ES9-17, which lacks the undesirable side effects of ES9 while retaining the ability to target CHC. ES9 and ES9-17 have expanded the chemical toolbox used to probe CHC function, and present chemical scaffolds for further design of more specific and potent CHC inhibitors across different systems.},
  author       = {Dejonghe, Wim and Sharma, Isha and Denoo, Bram and De Munck, Steven and Lu, Qing and Mishev, Kiril and Bulut, Haydar and Mylle, Evelien and De Rycke, Riet and Vasileva, Mina K and Savatin, Daniel V. and Nerinckx, Wim and Staes, An and Drozdzecki, Andrzej and Audenaert, Dominique and Yperman, Klaas and Madder, Annemieke and Friml, Jiří and Van Damme, Daniël and Gevaert, Kris and Haucke, Volker and Savvides, Savvas N. and Winne, Johan and Russinova, Eugenia},
  issn         = {1552-4469},
  journal      = {Nature Chemical Biology},
  number       = {6},
  pages        = {641–649},
  publisher    = {Springer Nature},
  title        = {{Disruption of endocytosis through chemical inhibition of clathrin heavy chain function}},
  doi          = {10.1038/s41589-019-0262-1},
  volume       = {15},
  year         = {2019},
}

@article{6412,
  abstract     = {Polycomb group (PcG) proteins play critical roles in the epigenetic inheritance of cell fate. The Polycomb Repressive Complexes PRC1 and PRC2 catalyse distinct chromatin modifications to enforce gene silencing, but how transcriptional repression is propagated through mitotic cell divisions remains a key unresolved question. Using reversible tethering of PcG proteins to ectopic sites in mouse embryonic stem cells, here we show that PRC1 can trigger transcriptional repression and Polycomb-dependent chromatin modifications. We find that canonical PRC1 (cPRC1), but not variant PRC1, maintains gene silencing through cell division upon reversal of tethering. Propagation of gene repression is sustained by cis-acting histone modifications, PRC2-mediated H3K27me3 and cPRC1-mediated H2AK119ub1, promoting a sequence-independent feedback mechanism for PcG protein recruitment. Thus, the distinct PRC1 complexes present in vertebrates can differentially regulate epigenetic maintenance of gene silencing, potentially enabling dynamic heritable responses to complex stimuli. Our findings reveal how PcG repression is potentially inherited in vertebrates.},
  author       = {Moussa, Hagar F. and Bsteh, Daniel and Yelagandula, Ramesh and Pribitzer, Carina and Stecher, Karin and Bartalska, Katarina and Michetti, Luca and Wang, Jingkui and Zepeda-Martinez, Jorge A. and Elling, Ulrich and Stuckey, Jacob I. and James, Lindsey I. and Frye, Stephen V. and Bell, Oliver},
  issn         = {2041-1723},
  journal      = {Nature Communications},
  number       = {1},
  publisher    = {Springer Nature},
  title        = {{Canonical PRC1 controls sequence-independent propagation of Polycomb-mediated gene silencing}},
  doi          = {10.1038/s41467-019-09628-6},
  volume       = {10},
  year         = {2019},
}

@article{6413,
  abstract     = {Phase-field methods have long been used to model the flow of immiscible fluids. Their ability to naturally capture interface topological changes is widely recognized, but their accuracy in simulating flows of real fluids in practical geometries is not established. We here quantitatively investigate the convergence of the phase-field method to the sharp-interface limit with simulations of two-phase pipe flow. We focus on core-annular flows, in which a highly viscous fluid is lubricated by a less viscous fluid, and validate our simulations with an analytic laminar solution, a formal linear stability analysis and also in the fully nonlinear regime. We demonstrate the ability of the phase-field method to accurately deal with non-rectangular geometry, strong advection, unsteady fluctuations and large viscosity contrast. We argue that phase-field methods are very promising for quantitatively studying moderately turbulent flows, especially at high concentrations of the disperse phase.},
  author       = {Song, Baofang and Plana, Carlos and Lopez Alonso, Jose M and Avila, Marc},
  issn         = {0301-9322},
  journal      = {International Journal of Multiphase Flow},
  pages        = {14--24},
  publisher    = {Elsevier},
  title        = {{Phase-field simulation of core-annular pipe flow}},
  doi          = {10.1016/j.ijmultiphaseflow.2019.04.027},
  volume       = {117},
  year         = {2019},
}

@article{6415,
  abstract     = {Ant invasions are often harmful to native species communities. Their pathogens and host disease defense mechanisms may be one component of their devastating success. First, they can introduce harmful diseases to their competitors in the introduced range, to which they themselves are tolerant. Second, their supercolonial social structure of huge multi-queen nest networks means that they will harbor a broad pathogen spectrum and high pathogen load while remaining resilient, unlike the smaller, territorial colonies of the native species. Thus, it is likely that invasive ants act as a disease reservoir, promoting their competitive advantage and invasive success.},
  author       = {Cremer, Sylvia},
  issn         = {2214-5753},
  journal      = {Current Opinion in Insect Science},
  pages        = {63--68},
  publisher    = {Elsevier},
  title        = {{Pathogens and disease defense of invasive ants}},
  doi          = {10.1016/j.cois.2019.03.011},
  volume       = {33},
  year         = {2019},
}

@article{6418,
  abstract     = {Males and females of Artemia franciscana, a crustacean commonly used in the aquarium trade, are highly dimorphic. Sex is determined by a pair of ZW chromosomes, but the nature and extent of differentiation of these chromosomes is unknown. Here, we characterize the Z chromosome by detecting genomic regions that show lower genomic coverage in female than in male samples, and regions that harbor an excess of female-specific SNPs. We detect many Z-specific genes, which no longer have homologs on the W, but also Z-linked genes that appear to have diverged very recently from their existing W-linked homolog. We assess patterns of male and female expression in two tissues with extensive morphological dimorphism, gonads, and heads. In agreement with their morphology, sex-biased expression is common in both tissues. Interestingly, the Z chromosome is not enriched for sex-biased genes, and seems to in fact have a mechanism of dosage compensation that leads to equal expression in males and in females. Both of these patterns are contrary to most ZW systems studied so far, making A. franciscana an excellent model for investigating the interplay between the evolution of sexual dimorphism and dosage compensation, as well as Z chromosome evolution in general.},
  author       = {Huylmans, Ann K and Toups, Melissa A and Macon, Ariana and Gammerdinger, William J and Vicoso, Beatriz},
  issn         = {1759-6653},
  journal      = {Genome biology and evolution},
  number       = {4},
  pages        = {1033--1044},
  publisher    = {Oxford University Press},
  title        = {{Sex-biased gene expression and dosage compensation on the Artemia franciscana Z-chromosome}},
  doi          = {10.1093/gbe/evz053},
  volume       = {11},
  year         = {2019},
}

@inbook{19987,
  abstract     = {These lecture notes are based on Yang’s talk at the MATRIX program Geometric R-Matrices: from Geometry to Probability, at the University of Melbourne, Dec. 18–22, 2017, and Zhao’s talk at Perimeter Institute for Theoretical Physics in January 2018. We give an introductory survey of the results in Yang and Zhao (Quiver varieties and elliptic quantum groups, 2017. arxiv1708.01418). We discuss a sheafified elliptic quantum group associated to any symmetric Kac-Moody Lie algebra. The sheafification is obtained by applying the equivariant elliptic cohomological theory to the moduli space of representations of a preprojective algebra. By construction, the elliptic quantum group naturally acts on the equivariant elliptic cohomology of Nakajima quiver varieties. As an application, we obtain a relation between the sheafified elliptic quantum group and the global affine Grassmannian over an elliptic curve.},
  author       = {Yang, Yaping and Zhao, Gufang},
  booktitle    = {2017 MATRIX Annals},
  isbn         = {9783030041601},
  issn         = {2523-305X},
  pages        = {675--691},
  publisher    = {Springer International Publishing},
  title        = {{How to Sheafify an Elliptic Quantum Group}},
  doi          = {10.1007/978-3-030-04161-8_54},
  volume       = {2},
  year         = {2019},
}

@inbook{19988,
  abstract     = {Quantitative studies of cell metabolism are often based on large chemical reaction network models. A steady-state approach is suited to analyze phenomena on the timescale of cell growth and circumvents the problem of incomplete experimental knowledge on kinetic laws and parameters, but it should be supported by a correct implementation of thermodynamic constraints. In this chapter, we review the latter aspect, highlighting its computational challenges and physical insights. The simple introduction of Gibbs inequalities avoids the presence of unfeasible loops allowing for correct timescale analysis, but leads to possibly non-convex feasible flux spaces whose exploration needs efficient algorithms. We briefly review the implementation of thermodynamics through variational principles in constraint-based models of metabolic networks.},
  author       = {De Martino, A and De Martino, Daniele and Marinari, E},
  booktitle    = {Chemical Kinetics},
  isbn         = {9781786347008},
  pages        = {455--471},
  publisher    = {World Scientific Publishing},
  title        = {{The Essential Role of Thermodynamics in Metabolic Network Modeling: Physical Insights and Computational Challenges}},
  doi          = {10.1142/9781786347015_0018},
  year         = {2019},
}

@inbook{19989,
  abstract     = {Neurone empfangen Eingangssignale, konvertieren diese in Aktionspotenziale und generieren schließlich Ausgangssignale auf ihren Zielzellen. Dabei sind die zu überwindenden räumlichen Distanzen oft groß. Daher ist entscheidend, dass elektrische Signale in Nervenzellen schnell von einem zum anderen Ort geleitet werden können. Diese wichtige Aufgabe erfüllt das Axon, der „Ausgangsfortsatz“ der Nervenzelle. Für die schnelle Leitung des Aktionspotenzials sind sowohl die passiven Eigenschaften des axonalen Kabels als auch die aktiven Eigenschaften der Zellmembran von entscheidender Bedeutung. Die Evolution bedient sich zweier Tricks, um die Leitungsgeschwindigkeit des Aktionspotenzials zu maximieren. Der eine Trick ist die Zunahme des Axondurchmessers. Der andere Trick ist die Ausbildung von Markscheiden. Dies führt bei nahezu gleichem Platzbedarf zu einer Zunahme der Leistungsgeschwindigkeit um fast zwei Größenordnungen. Die Aktionspotenzialleitung an myelinisierten Axonen erfolgt „saltatorisch“.},
  author       = {Jonas, Peter M},
  booktitle    = {Physiologie des Menschen},
  isbn         = {9783662564677},
  issn         = {2512-5214},
  pages        = {72--82},
  publisher    = {Springer Nature},
  title        = {{Aktionspotenzial: Fortleitung im Axon}},
  doi          = {10.1007/978-3-662-56468-4_7},
  year         = {2019},
}

@inproceedings{10190,
  abstract     = {The verification of concurrent programs remains an open challenge, as thread interaction has to be accounted for, which leads to state-space explosion. Stateless model checking battles this problem by exploring traces rather than states of the program. As there are exponentially many traces, dynamic partial-order reduction (DPOR) techniques are used to partition the trace space into equivalence classes, and explore a few representatives from each class. The standard equivalence that underlies most DPOR techniques is the happens-before equivalence, however recent works have spawned a vivid interest towards coarser equivalences. The efficiency of such approaches is a product of two parameters: (i) the size of the partitioning induced by the equivalence, and (ii) the time spent by the exploration algorithm in each class of the partitioning. In this work, we present a new equivalence, called value-happens-before and show that it has two appealing features. First, value-happens-before is always at least as coarse as the happens-before equivalence, and can be even exponentially coarser. Second, the value-happens-before partitioning is efficiently explorable when the number of threads is bounded. We present an algorithm called value-centric DPOR (VCDPOR), which explores the underlying partitioning using polynomial time per class. Finally, we perform an experimental evaluation of VCDPOR on various benchmarks, and compare it against other state-of-the-art approaches. Our results show that value-happens-before typically induces a significant reduction in the size of the underlying partitioning, which leads to a considerable reduction in the running time for exploring the whole partitioning.},
  author       = {Chatterjee, Krishnendu and Pavlogiannis, Andreas and Toman, Viktor},
  booktitle    = {Proceedings of the 34th ACM International Conference on Object-Oriented Programming, Systems, Languages, and Applications},
  issn         = {2475-1421},
  keywords     = {safety, risk, reliability and quality, software},
  location     = {Athens, Greece},
  publisher    = {ACM},
  title        = {{Value-centric dynamic partial order reduction}},
  doi          = {10.1145/3360550},
  volume       = {3},
  year         = {2019},
}

@article{105,
  abstract     = {Clinical Utility Gene Card. 1. Name of Disease (Synonyms): Pontocerebellar hypoplasia type 9 (PCH9) and spastic paraplegia-63 (SPG63). 2. OMIM# of the Disease: 615809 and 615686. 3. Name of the Analysed Genes or DNA/Chromosome Segments: AMPD2 at 1p13.3. 4. OMIM# of the Gene(s): 102771.},
  author       = {Marsh, Ashley and Novarino, Gaia and Lockhart, Paul and Leventer, Richard},
  journal      = {European Journal of Human Genetics},
  pages        = {161--166},
  publisher    = {Springer Nature},
  title        = {{CUGC for pontocerebellar hypoplasia type 9 and spastic paraplegia-63}},
  doi          = {10.1038/s41431-018-0231-2},
  volume       = {27},
  year         = {2019},
}

@article{319,
  abstract     = {We study spaces of modelled distributions with singular behaviour near the boundary of a domain that, in the context of the theory of regularity structures, allow one to give robust solution theories for singular stochastic PDEs with boundary conditions. The calculus of modelled distributions established in Hairer (Invent Math 198(2):269–504, 2014. https://doi.org/10.1007/s00222-014-0505-4) is extended to this setting. We formulate and solve fixed point problems in these spaces with a class of kernels that is sufficiently large to cover in particular the Dirichlet and Neumann heat kernels. These results are then used to provide solution theories for the KPZ equation with Dirichlet and Neumann boundary conditions and for the 2D generalised parabolic Anderson model with Dirichlet boundary conditions. In the case of the KPZ equation with Neumann boundary conditions, we show that, depending on the class of mollifiers one considers, a “boundary renormalisation” takes place. In other words, there are situations in which a certain boundary condition is applied to an approximation to the KPZ equation, but the limiting process is the Hopf–Cole solution to the KPZ equation with a different boundary condition.},
  author       = {Gerencser, Mate and Hairer, Martin},
  issn         = {1432-2064},
  journal      = {Probability Theory and Related Fields},
  number       = {3-4},
  pages        = {697–758},
  publisher    = {Springer},
  title        = {{Singular SPDEs in domains with boundaries}},
  doi          = {10.1007/s00440-018-0841-1},
  volume       = {173},
  year         = {2019},
}

@article{405,
  abstract     = {We investigate the quantum Jensen divergences from the viewpoint of joint convexity. It turns out that the set of the functions which generate jointly convex quantum Jensen divergences on positive matrices coincides with the Matrix Entropy Class which has been introduced by Chen and Tropp quite recently.},
  author       = {Virosztek, Daniel},
  journal      = {Linear Algebra and Its Applications},
  pages        = {67--78},
  publisher    = {Elsevier},
  title        = {{Jointly convex quantum Jensen divergences}},
  doi          = {10.1016/j.laa.2018.03.002},
  volume       = {576},
  year         = {2019},
}

