@article{7391,
  abstract     = {Electron microscopy (EM) is a technology that enables visualization of single proteins at a nanometer resolution. However, current protein analysis by EM mainly relies on immunolabeling with gold-particle-conjugated antibodies, which is compromised by large size of antibody, precluding precise detection of protein location in biological samples. Here, we develop a specific chemical labeling method for EM detection of proteins at single-molecular level. Rational design of α-helical peptide tag and probe structure provided a complementary reaction pair that enabled specific cysteine conjugation of the tag. The developed chemical labeling with gold-nanoparticle-conjugated probe showed significantly higher labeling efficiency and detectability of high-density clusters of tag-fused G protein-coupled receptors in freeze-fracture replicas compared with immunogold labeling. Furthermore, in ultrathin sections, the spatial resolution of the chemical labeling was significantly higher than that of antibody-mediated labeling. These results demonstrate substantial advantages of the chemical labeling approach for single protein visualization by EM.},
  author       = {Tabata, Shigekazu and Jevtic, Marijo and Kurashige, Nobutaka and Fuchida, Hirokazu and Kido, Munetsugu and Tani, Kazushi and Zenmyo, Naoki and Uchinomiya, Shohei and Harada, Harumi and Itakura, Makoto and Hamachi, Itaru and Shigemoto, Ryuichi and Ojida, Akio},
  issn         = {2589-0042},
  journal      = {iScience},
  number       = {12},
  pages        = {256--268},
  publisher    = {Elsevier},
  title        = {{Electron microscopic detection of single membrane proteins by a specific chemical labeling}},
  doi          = {10.1016/j.isci.2019.11.025},
  volume       = {22},
  year         = {2019},
}

@article{7393,
  abstract     = {The study of parallel ecological divergence provides important clues to the operation of natural selection. Parallel divergence often occurs in heterogeneous environments with different kinds of environmental gradients in different locations, but the genomic basis underlying this process is unknown. We investigated the genomics of rapid parallel adaptation in the marine snail Littorina saxatilis in response to two independent environmental axes (crab-predation versus wave-action and low-shore versus high-shore). Using pooled whole-genome resequencing, we show that sharing of genomic regions of high differentiation between environments is generally low but increases at smaller spatial scales. We identify different shared genomic regions of divergence for each environmental axis and show that most of these regions overlap with candidate chromosomal inversions. Several inversion regions are divergent and polymorphic across many localities. We argue that chromosomal inversions could store shared variation that fuels rapid parallel adaptation to heterogeneous environments, possibly as balanced polymorphism shared by adaptive gene flow.},
  author       = {Morales, Hernán E. and Faria, Rui and Johannesson, Kerstin and Larsson, Tomas and Panova, Marina and Westram, Anja M and Butlin, Roger K.},
  issn         = {2375-2548},
  journal      = {Science Advances},
  number       = {12},
  publisher    = {AAAS},
  title        = {{Genomic architecture of parallel ecological divergence: Beyond a single environmental contrast}},
  doi          = {10.1126/sciadv.aav9963},
  volume       = {5},
  year         = {2019},
}

@article{7394,
  author       = {Benková, Eva and Dagdas, Yasin},
  issn         = {1369-5266},
  journal      = {Current Opinion in Plant Biology},
  number       = {12},
  pages        = {A1--A2},
  publisher    = {Elsevier},
  title        = {{Editorial overview: Cell biology in the era of omics?}},
  doi          = {10.1016/j.pbi.2019.11.002},
  volume       = {52},
  year         = {2019},
}

@article{7395,
  abstract     = {The mitochondrial electron transport chain complexes are organized into supercomplexes (SCs) of defined stoichiometry, which have been proposed to regulate electron flux via substrate channeling. We demonstrate that CoQ trapping in the isolated SC I+III2 limits complex (C)I turnover, arguing against channeling. The SC structure, resolved at up to 3.8 Å in four distinct states, suggests that CoQ oxidation may be rate limiting because of unequal access of CoQ to the active sites of CIII2. CI shows a transition between “closed” and “open” conformations, accompanied by the striking rotation of a key transmembrane helix. Furthermore, the state of CI affects the conformational flexibility within CIII2, demonstrating crosstalk between the enzymes. CoQ was identified at only three of the four binding sites in CIII2, suggesting that interaction with CI disrupts CIII2 symmetry in a functionally relevant manner. Together, these observations indicate a more nuanced functional role for the SCs.},
  author       = {Letts, James A and Fiedorczuk, Karol and Degliesposti, Gianluca and Skehel, Mark and Sazanov, Leonid A},
  issn         = {1097-2765},
  journal      = {Molecular Cell},
  number       = {6},
  pages        = {1131--1146.e6},
  publisher    = {Cell Press},
  title        = {{Structures of respiratory supercomplex I+III2 reveal functional and conformational crosstalk}},
  doi          = {10.1016/j.molcel.2019.07.022},
  volume       = {75},
  year         = {2019},
}

@article{7396,
  abstract     = {The angular momentum of molecules, or, equivalently, their rotation in three-dimensional space, is ideally suited for quantum control. Molecular angular momentum is naturally quantized, time evolution is governed by a well-known Hamiltonian with only a few accurately known parameters, and transitions between rotational levels can be driven by external fields from various parts of the electromagnetic spectrum. Control over the rotational motion can be exerted in one-, two-, and many-body scenarios, thereby allowing one to probe Anderson localization, target stereoselectivity of bimolecular reactions, or encode quantum information to name just a few examples. The corresponding approaches to quantum control are pursued within separate, and typically disjoint, subfields of physics, including ultrafast science, cold collisions, ultracold gases, quantum information science, and condensed-matter physics. It is the purpose of this review to present the various control phenomena, which all rely on the same underlying physics, within a unified framework. To this end, recall the Hamiltonian for free rotations, assuming the rigid rotor approximation to be valid, and summarize the different ways for a rotor to interact with external electromagnetic fields. These interactions can be exploited for control—from achieving alignment, orientation, or laser cooling in a one-body framework, steering bimolecular collisions, or realizing a quantum computer or quantum simulator in the many-body setting.},
  author       = {Koch, Christiane P. and Lemeshko, Mikhail and Sugny, Dominique},
  issn         = {1539-0756},
  journal      = {Reviews of Modern Physics},
  number       = {3},
  publisher    = {American Physical Society},
  title        = {{Quantum control of molecular rotation}},
  doi          = {10.1103/revmodphys.91.035005},
  volume       = {91},
  year         = {2019},
}

@article{7397,
  abstract     = {Polymer additives can substantially reduce the drag of turbulent flows and the upperlimit, the so called “maximum drag reduction” (MDR) asymptote is universal, i.e. inde-pendent of the type of polymer and solvent used. Until recently, the consensus was that,in this limit, flows are in a marginal state where only a minimal level of turbulence activ-ity persists. Observations in direct numerical simulations using minimal sized channelsappeared  to  support  this  view  and  reported  long  “hibernation”  periods  where  turbu-lence is marginalized. In simulations of pipe flow we find that, indeed, with increasingWeissenberg number (Wi), turbulence expresses long periods of hibernation if the domainsize is small. However, with increasing pipe length, the temporal hibernation continuouslyalters to spatio-temporal intermittency and here the flow consists of turbulent puffs sur-rounded by laminar flow. Moreover, upon an increase in Wi, the flow fully relaminarises,in agreement with recent experiments. At even larger Wi, a different instability is en-countered causing a drag increase towards MDR. Our findings hence link earlier minimalflow unit simulations with recent experiments and confirm that the addition of polymersinitially suppresses Newtonian turbulence and leads to a reverse transition. The MDRstate on the other hand results from a separate instability and the underlying dynamicscorresponds to the recently proposed state of elasto-inertial-turbulence (EIT).},
  author       = {Lopez Alonso, Jose M and Choueiri, George H and Hof, Björn},
  issn         = {1469-7645},
  journal      = {Journal of Fluid Mechanics},
  pages        = {699--719},
  publisher    = {CUP},
  title        = {{Dynamics of viscoelastic pipe flow at low Reynolds numbers in the maximum drag reduction limit}},
  doi          = {10.1017/jfm.2019.486},
  volume       = {874},
  year         = {2019},
}

@article{7398,
  abstract     = {Transporters of the solute carrier 6 (SLC6) family translocate their cognate substrate together with Na+ and Cl−. Detailed kinetic models exist for the transporters of GABA (GAT1/SLC6A1) and the monoamines dopamine (DAT/SLC6A3) and serotonin (SERT/SLC6A4). Here, we posited that the transport cycle of individual SLC6 transporters reflects the physiological requirements they operate under. We tested this hypothesis by analyzing the transport cycle of glycine transporter 1 (GlyT1/SLC6A9) and glycine transporter 2 (GlyT2/SLC6A5). GlyT2 is the only SLC6 family member known to translocate glycine, Na+, and Cl− in a 1:3:1 stoichiometry. We analyzed partial reactions in real time by electrophysiological recordings. Contrary to monoamine transporters, both GlyTs were found to have a high transport capacity driven by rapid return of the empty transporter after release of Cl− on the intracellular side. Rapid cycling of both GlyTs was further supported by highly cooperative binding of cosubstrate ions and substrate such that their forward transport mode was maintained even under conditions of elevated intracellular Na+ or Cl−. The most important differences in the transport cycle of GlyT1 and GlyT2 arose from the kinetics of charge movement and the resulting voltage-dependent rate-limiting reactions: the kinetics of GlyT1 were governed by transition of the substrate-bound transporter from outward- to inward-facing conformations, whereas the kinetics of GlyT2 were governed by Na+ binding (or a related conformational change). Kinetic modeling showed that the kinetics of GlyT1 are ideally suited for supplying the extracellular glycine levels required for NMDA receptor activation.},
  author       = {Erdem, Fatma Asli and Ilic, Marija and Koppensteiner, Peter and Gołacki, Jakub and Lubec, Gert and Freissmuth, Michael and Sandtner, Walter},
  issn         = {1540-7748},
  journal      = {The Journal of General Physiology},
  number       = {8},
  pages        = {1035--1050},
  publisher    = {Rockefeller University Press},
  title        = {{A comparison of the transport kinetics of glycine transporter 1 and glycine transporter 2}},
  doi          = {10.1085/jgp.201912318},
  volume       = {151},
  year         = {2019},
}

@article{7399,
  abstract     = {Long non-coding (lnc) RNAs are numerous and found throughout the mammalian genome, and many are thought to be involved in the regulation of gene expression. However, the majority remain relatively uncharacterised and of uncertain function making the use of model systems to uncover their mode of action valuable. Imprinted lncRNAs target and recruit epigenetic silencing factors to a cluster of imprinted genes on the same chromosome, making them one of the best characterized lncRNAs for silencing distant genes in cis. In this study we examined silencing of the distant imprinted gene Slc22a3 by the lncRNA Airn in the Igf2r imprinted cluster in mouse. Previously we proposed that imprinted lncRNAs may silence distant imprinted genes by disrupting promoter-enhancer interactions by being transcribed through the enhancer, which we called the enhancer interference hypothesis. Here we tested this hypothesis by first using allele-specific chromosome conformation capture (3C) to detect interactions between the Slc22a3 promoter and the locus of the Airn lncRNA that silences it on the paternal chromosome. In agreement with the model, we found interactions enriched on the maternal allele across the entire Airn gene consistent with multiple enhancer-promoter interactions. Therefore, to test the enhancer interference hypothesis we devised an approach to delete the entire Airn gene. However, the deletion showed that there are no essential enhancers for Slc22a2, Pde10a and Slc22a3 within the Airn gene, strongly indicating that the Airn RNA rather than its transcription is responsible for silencing distant imprinted genes. Furthermore, we found that silent imprinted genes were covered with large blocks of H3K27me3 on the repressed paternal allele. Therefore we propose an alternative hypothesis whereby the chromosome interactions may initially guide the lncRNA to target imprinted promoters and recruit repressive chromatin, and that these interactions are lost once silencing is established.},
  author       = {Andergassen, Daniel and Muckenhuber, Markus and Bammer, Philipp C. and Kulinski, Tomasz M. and Theussl, Hans-Christian and Shimizu, Takahiko and Penninger, Josef M. and Pauler, Florian and Hudson, Quanah J.},
  issn         = {1553-7404},
  journal      = {PLoS Genetics},
  number       = {7},
  publisher    = {Public Library of Science},
  title        = {{The Airn lncRNA does not require any DNA elements within its locus to silence distant imprinted genes}},
  doi          = {10.1371/journal.pgen.1008268},
  volume       = {15},
  year         = {2019},
}

@article{7400,
  abstract     = {Suppressed recombination allows divergence between homologous sex chromosomes and the functionality of their genes. Here, we reveal patterns of the earliest stages of sex-chromosome evolution in the diploid dioecious herb Mercurialis annua on the basis of cytological analysis, de novo genome assembly and annotation, genetic mapping, exome resequencing of natural populations, and transcriptome analysis. The genome assembly contained 34,105 expressed genes, of which 10,076 were assigned to linkage groups. Genetic mapping and exome resequencing of individuals across the species range both identified the largest linkage group, LG1, as the sex chromosome. Although the sex chromosomes of M. annua are karyotypically homomorphic, we estimate that about one-third of the Y chromosome, containing 568 transcripts and spanning 22.3 cM in the corresponding female map, has ceased recombining. Nevertheless, we found limited evidence for Y-chromosome degeneration in terms of gene loss and pseudogenization, and most X- and Y-linked genes appear to have diverged in the period subsequent to speciation between M. annua and its sister species M. huetii, which shares the same sex-determining region. Taken together, our results suggest that the M. annua Y chromosome has at least two evolutionary strata: a small old stratum shared with M. huetii, and a more recent larger stratum that is probably unique to M. annua and that stopped recombining ∼1 MYA. Patterns of gene expression within the nonrecombining region are consistent with the idea that sexually antagonistic selection may have played a role in favoring suppressed recombination.},
  author       = {Veltsos, Paris and Ridout, Kate E. and Toups, Melissa A and González-Martínez, Santiago C. and Muyle, Aline and Emery, Olivier and Rastas, Pasi and Hudzieczek, Vojtech and Hobza, Roman and Vyskot, Boris and Marais, Gabriel A. B. and Filatov, Dmitry A. and Pannell, John R.},
  issn         = {1943-2631},
  journal      = {Genetics},
  number       = {3},
  pages        = {815--835},
  publisher    = {Genetics Society of America},
  title        = {{Early sex-chromosome evolution in the diploid dioecious plant Mercurialis annua}},
  doi          = {10.1534/genetics.119.302045},
  volume       = {212},
  year         = {2019},
}

@inproceedings{7401,
  abstract     = {The genus g(G) of a graph G is the minimum g such that G has an embedding on the orientable surface M_g of genus g. A drawing of a graph on a surface is independently even if every pair of nonadjacent edges in the drawing crosses an even number of times. The Z_2-genus of a graph G, denoted by g_0(G), is the minimum g such that G has an independently even drawing on M_g. By a result of Battle, Harary, Kodama and Youngs from 1962, the graph genus is additive over 2-connected blocks. In 2013, Schaefer and Stefankovic proved that the Z_2-genus of a graph is additive over 2-connected blocks as well, and asked whether this result can be extended to so-called 2-amalgamations, as an analogue of results by Decker, Glover, Huneke, and Stahl for the genus. We give the following partial answer. If G=G_1 cup G_2, G_1 and G_2 intersect in two vertices u and v, and G-u-v has k connected components (among which we count the edge uv if present), then |g_0(G)-(g_0(G_1)+g_0(G_2))|<=k+1. For complete bipartite graphs K_{m,n}, with n >= m >= 3, we prove that g_0(K_{m,n})/g(K_{m,n})=1-O(1/n). Similar results are proved also for the Euler Z_2-genus. We express the Z_2-genus of a graph using the minimum rank of partial symmetric matrices over Z_2; a problem that might be of independent interest. },
  author       = {Fulek, Radoslav and Kyncl, Jan},
  booktitle    = {35th International Symposium on Computational Geometry (SoCG 2019)},
  isbn         = {978-3-95977-104-7},
  issn         = {1868-8969},
  location     = {Portland, OR, United States},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik},
  title        = {{Z_2-Genus of graphs and minimum rank of partial symmetric matrices}},
  doi          = {10.4230/LIPICS.SOCG.2019.39},
  volume       = {129},
  year         = {2019},
}

@inproceedings{7402,
  abstract     = {Graph planning gives rise to fundamental algorithmic questions such as shortest path, traveling salesman problem, etc. A classical problem in discrete planning is to consider a weighted graph and construct a path that maximizes the sum of weights for a given time horizon T. However, in many scenarios, the time horizon is not fixed, but the stopping time is chosen according to some distribution such that the expected stopping time is T. If the stopping time distribution is not known, then to ensure robustness, the distribution is chosen by an adversary, to represent the worst-case scenario. A stationary plan for every vertex always chooses the same outgoing edge. For fixed horizon or fixed stopping-time distribution, stationary plans are not sufficient for optimality. Quite surprisingly we show that when an adversary chooses the stopping-time distribution with expected stopping time T, then stationary plans are sufficient. While computing optimal stationary plans for fixed horizon is NP-complete, we show that computing optimal stationary plans under adversarial stopping-time distribution can be achieved in polynomial time. Consequently, our polynomial-time algorithm for adversarial stopping time also computes an optimal plan among all possible plans.},
  author       = {Chatterjee, Krishnendu and Doyen, Laurent},
  booktitle    = {34th Annual ACM/IEEE Symposium on Logic in Computer Science},
  isbn         = {9781728136080},
  location     = {Vancouver, BC, Canada},
  pages        = {1--13},
  publisher    = {IEEE},
  title        = {{Graph planning with expected finite horizon}},
  doi          = {10.1109/lics.2019.8785706},
  year         = {2019},
}

@article{7404,
  abstract     = {The formation of neuronal dendrite branches is fundamental for the wiring and function of the nervous system. Indeed, dendrite branching enhances the coverage of the neuron's receptive field and modulates the initial processing of incoming stimuli. Complex dendrite patterns are achieved in vivo through a dynamic process of de novo branch formation, branch extension and retraction. The first step towards branch formation is the generation of a dynamic filopodium-like branchlet. The mechanisms underlying the initiation of dendrite branchlets are therefore crucial to the shaping of dendrites. Through in vivo time-lapse imaging of the subcellular localization of actin during the process of branching of Drosophila larva sensory neurons, combined with genetic analysis and electron tomography, we have identified the Actin-related protein (Arp) 2/3 complex as the major actin nucleator involved in the initiation of dendrite branchlet formation, under the control of the activator WAVE and of the small GTPase Rac1. Transient recruitment of an Arp2/3 component marks the site of branchlet initiation in vivo. These data position the activation of Arp2/3 as an early hub for the initiation of branchlet formation.},
  author       = {Stürner, Tomke and Tatarnikova, Anastasia and Müller, Jan and Schaffran, Barbara and Cuntz, Hermann and Zhang, Yun and Nemethova, Maria and Bogdan, Sven and Small, Vic and Tavosanis, Gaia},
  issn         = {1477-9129},
  journal      = {Development},
  number       = {7},
  publisher    = {The Company of Biologists},
  title        = {{Transient localization of the Arp2/3 complex initiates neuronal dendrite branching in vivo}},
  doi          = {10.1242/dev.171397},
  volume       = {146},
  year         = {2019},
}

@article{7405,
  abstract     = {Biophysical modeling of neuronal networks helps to integrate and interpret rapidly growing and disparate experimental datasets at multiple scales. The NetPyNE tool (www.netpyne.org) provides both programmatic and graphical interfaces to develop data-driven multiscale network models in NEURON. NetPyNE clearly separates model parameters from implementation code. Users provide specifications at a high level via a standardized declarative language, for example connectivity rules, to create millions of cell-to-cell connections. NetPyNE then enables users to generate the NEURON network, run efficiently parallelized simulations, optimize and explore network parameters through automated batch runs, and use built-in functions for visualization and analysis – connectivity matrices, voltage traces, spike raster plots, local field potentials, and information theoretic measures. NetPyNE also facilitates model sharing by exporting and importing standardized formats (NeuroML and SONATA). NetPyNE is already being used to teach computational neuroscience students and by modelers to investigate brain regions and phenomena.},
  author       = {Dura-Bernal, Salvador and Suter, Benjamin and Gleeson, Padraig and Cantarelli, Matteo and Quintana, Adrian and Rodriguez, Facundo and Kedziora, David J and Chadderdon, George L and Kerr, Cliff C and Neymotin, Samuel A and McDougal, Robert A and Hines, Michael and Shepherd, Gordon MG and Lytton, William W},
  issn         = {2050-084X},
  journal      = {eLife},
  publisher    = {eLife Sciences Publications},
  title        = {{NetPyNE, a tool for data-driven multiscale modeling of brain circuits}},
  doi          = {10.7554/elife.44494},
  volume       = {8},
  year         = {2019},
}

@article{7406,
  abstract     = {Background
Synaptic vesicles (SVs) are an integral part of the neurotransmission machinery, and isolation of SVs from their host neuron is necessary to reveal their most fundamental biochemical and functional properties in in vitro assays. Isolated SVs from neurons that have been genetically engineered, e.g. to introduce genetically encoded indicators, are not readily available but would permit new insights into SV structure and function. Furthermore, it is unclear if cultured neurons can provide sufficient starting material for SV isolation procedures.

New method
Here, we demonstrate an efficient ex vivo procedure to obtain functional SVs from cultured rat cortical neurons after genetic engineering with a lentivirus.

Results
We show that ∼108 plated cortical neurons allow isolation of suitable SV amounts for functional analysis and imaging. We found that SVs isolated from cultured neurons have neurotransmitter uptake comparable to that of SVs isolated from intact cortex. Using total internal reflection fluorescence (TIRF) microscopy, we visualized an exogenous SV-targeted marker protein and demonstrated the high efficiency of SV modification.

Comparison with existing methods
Obtaining SVs from genetically engineered neurons currently generally requires the availability of transgenic animals, which is constrained by technical (e.g. cost and time) and biological (e.g. developmental defects and lethality) limitations.

Conclusions
These results demonstrate the modification and isolation of functional SVs using cultured neurons and viral transduction. The ability to readily obtain SVs from genetically engineered neurons will permit linking in situ studies to in vitro experiments in a variety of genetic contexts.},
  author       = {Mckenzie, Catherine and Spanova, Miroslava and Johnson, Alexander J and Kainrath, Stephanie and Zheden, Vanessa and Sitte, Harald H. and Janovjak, Harald L},
  issn         = {0165-0270},
  journal      = {Journal of Neuroscience Methods},
  pages        = {114--121},
  publisher    = {Elsevier},
  title        = {{Isolation of synaptic vesicles from genetically engineered cultured neurons}},
  doi          = {10.1016/j.jneumeth.2018.11.018},
  volume       = {312},
  year         = {2019},
}

@inproceedings{7411,
  abstract     = {Proofs of sequential work (PoSW) are proof systems where a prover, upon receiving a statement χ and a time parameter T computes a proof ϕ(χ,T) which is efficiently and publicly verifiable. The proof can be computed in T sequential steps, but not much less, even by a malicious party having large parallelism. A PoSW thus serves as a proof that T units of time have passed since χ

was received.

PoSW were introduced by Mahmoody, Moran and Vadhan [MMV11], a simple and practical construction was only recently proposed by Cohen and Pietrzak [CP18].

In this work we construct a new simple PoSW in the random permutation model which is almost as simple and efficient as [CP18] but conceptually very different. Whereas the structure underlying [CP18] is a hash tree, our construction is based on skip lists and has the interesting property that computing the PoSW is a reversible computation.
The fact that the construction is reversible can potentially be used for new applications like constructing proofs of replication. We also show how to “embed” the sloth function of Lenstra and Weselowski [LW17] into our PoSW to get a PoSW where one additionally can verify correctness of the output much more efficiently than recomputing it (though recent constructions of “verifiable delay functions” subsume most of the applications this construction was aiming at).},
  author       = {Abusalah, Hamza M and Kamath Hosdurg, Chethan and Klein, Karen and Pietrzak, Krzysztof Z and Walter, Michael},
  booktitle    = {Advances in Cryptology – EUROCRYPT 2019},
  isbn         = {9783030176556},
  issn         = {1611-3349},
  location     = {Darmstadt, Germany},
  pages        = {277--291},
  publisher    = {Springer International Publishing},
  title        = {{Reversible proofs of sequential work}},
  doi          = {10.1007/978-3-030-17656-3_10},
  volume       = {11477},
  year         = {2019},
}

@article{7412,
  abstract     = {We develop a framework for the rigorous analysis of focused stochastic local search algorithms. These algorithms search a state space by repeatedly selecting some constraint that is violated in the current state and moving to a random nearby state that addresses the violation, while (we hope) not introducing many new violations. An important class of focused local search algorithms with provable performance guarantees has recently arisen from algorithmizations of the Lovász local lemma (LLL), a nonconstructive tool for proving the existence of satisfying states by introducing a background measure on the state space. While powerful, the state transitions of algorithms in this class must be, in a precise sense, perfectly compatible with the background measure. In many applications this is a very restrictive requirement, and one needs to step outside the class. Here we introduce the notion of measure distortion and develop a framework for analyzing arbitrary focused stochastic local search algorithms, recovering LLL algorithmizations as the special case of no distortion. Our framework takes as input an arbitrary algorithm of such type and an arbitrary probability measure and shows how to use the measure as a yardstick of algorithmic progress, even for algorithms designed independently of the measure.},
  author       = {Achlioptas, Dimitris and Iliopoulos, Fotis and Kolmogorov, Vladimir},
  issn         = {1095-7111},
  journal      = {SIAM Journal on Computing},
  number       = {5},
  pages        = {1583--1602},
  publisher    = {SIAM},
  title        = {{A local lemma for focused stochastical algorithms}},
  doi          = {10.1137/16m109332x},
  volume       = {48},
  year         = {2019},
}

@article{7413,
  abstract     = {We consider Bose gases consisting of N particles trapped in a box with volume one and interacting through a repulsive potential with scattering length of order N−1 (Gross–Pitaevskii regime). We determine the ground state energy and the low-energy excitation spectrum, up to errors vanishing as N→∞. Our results confirm Bogoliubov’s predictions.},
  author       = {Boccato, Chiara and Brennecke, Christian and Cenatiempo, Serena and Schlein, Benjamin},
  issn         = {1871-2509},
  journal      = {Acta Mathematica},
  number       = {2},
  pages        = {219--335},
  publisher    = {International Press of Boston},
  title        = {{Bogoliubov theory in the Gross–Pitaevskii limit}},
  doi          = {10.4310/acta.2019.v222.n2.a1},
  volume       = {222},
  year         = {2019},
}

@article{7414,
  author       = {Knaus, Lisa and Tarlungeanu, Dora-Clara and Novarino, Gaia},
  issn         = {0924-977X},
  journal      = {European Neuropsychopharmacology},
  number       = {Supplement 6},
  pages        = {S11},
  publisher    = {Elsevier},
  title        = {{S.16.03 A homozygous missense mutation in SLC7A5 leads to autism spectrum disorder and microcephaly}},
  doi          = {10.1016/j.euroneuro.2019.09.039},
  volume       = {29},
  year         = {2019},
}

@article{7415,
  author       = {Morandell, Jasmin and Nicolas, Armel and Schwarz, Lena A and Novarino, Gaia},
  issn         = {0924-977X},
  journal      = {European Neuropsychopharmacology},
  number       = {Supplement 6},
  pages        = {S11--S12},
  publisher    = {Elsevier},
  title        = {{S.16.05 Illuminating the role of the e3 ubiquitin ligase cullin3 in brain development and autism}},
  doi          = {10.1016/j.euroneuro.2019.09.040},
  volume       = {29},
  year         = {2019},
}

@article{7418,
  abstract     = {Multiple importance sampling (MIS) has become an indispensable tool in Monte Carlo rendering, widely accepted as a near-optimal solution for combining different sampling techniques. But an MIS combination, using the common balance or power heuristics, often results in an overly defensive estimator, leading to high variance. We show that by generalizing the MIS framework, variance can be substantially reduced. Specifically, we optimize one of the combined sampling techniques so as to decrease the overall variance of the resulting MIS estimator. We apply the approach to the computation of direct illumination due to an HDR environment map and to the computation of global illumination using a path guiding algorithm. The implementation can be as simple as subtracting a constant value from the tabulated sampling density done entirely in a preprocessing step. This produces a consistent noise reduction in all our tests with no negative influence on run time, no artifacts or bias, and no failure cases.},
  author       = {Karlík, Ondřej and Šik, Martin and Vévoda, Petr and Skrivan, Tomas and Křivánek, Jaroslav},
  issn         = {1557-7368},
  journal      = {ACM Transactions on Graphics},
  number       = {6},
  publisher    = {ACM},
  title        = {{MIS compensation: Optimizing sampling techniques in multiple importance sampling}},
  doi          = {10.1145/3355089.3356565},
  volume       = {38},
  year         = {2019},
}

