@article{1329, abstract = {Daphnia species have become models for ecological genomics and exhibit interesting features, such as high phenotypic plasticity and a densely packed genome with many lineage-specific genes. They are also cyclic parthenogenetic, with alternating asexual and sexual cycles and environmental sex determination. Here, we present a de novo transcriptome assembly of over 32,000 D. galeata genes and use it to investigate gene expression in females and spontaneously produced males of two clonal lines derived from lakes in Germany and the Czech Republic. We find that only a low percentage (18%) of genes shows sex-biased expression and that there are many more female-biased gene (FBG) than male-biased gene (MBG). Furthermore, FBGs tend to be more conserved between species than MBGs in both sequence and expression. These patterns may be a consequence of cyclic parthenogenesis leading to a relaxation of purifying selection on MBGs. The two clonal lines show considerable differences in both number and identity of sex-biased genes, suggesting that they may have reproductive strategies differing in their investment in sexual reproduction. Orthologs of key genes in the sex determination and juvenile hormone pathways, which are thought to be important for the transition from asexual to sexual reproduction, are present in D. galeata and highly conserved among Daphnia species.}, author = {Huylmans, Ann K and López Ezquerra, Alberto and Parsch, John and Cordellier, Mathilde}, journal = {Genome Biology and Evolution}, number = {10}, pages = {3120 -- 3139}, publisher = {Oxford University Press}, title = {{De novo transcriptome assembly and sex-biased gene expression in the cyclical parthenogenetic Daphnia galeata}}, doi = {10.1093/gbe/evw221}, volume = {8}, year = {2016}, } @article{1330, abstract = {In this paper we investigate the existence of closed billiard trajectories in not necessarily smooth convex bodies. In particular, we show that if a body K ⊂ Rd has the property that the tangent cone of every non-smooth point q ∉ ∂K is acute (in a certain sense), then there is a closed billiard trajectory in K.}, author = {Akopyan, Arseniy and Balitskiy, Alexey}, journal = {Israel Journal of Mathematics}, number = {2}, pages = {833 -- 845}, publisher = {Springer}, title = {{Billiards in convex bodies with acute angles}}, doi = {10.1007/s11856-016-1429-z}, volume = {216}, year = {2016}, } @article{1331, abstract = {Cytokinin is a phytohormone that is well known for its roles in numerous plant growth and developmental processes, yet it has also been linked to abiotic stress response in a less defined manner. Arabidopsis (Arabidopsis thaliana) Cytokinin Response Factor 6 (CRF6) is a cytokinin-responsive AP2/ERF-family transcription factor that, through the cytokinin signaling pathway, plays a key role in the inhibition of dark-induced senescence. CRF6 expression is also induced by oxidative stress, and here we show a novel function for CRF6 in relation to oxidative stress and identify downstream transcriptional targets of CRF6 that are repressed in response to oxidative stress. Analysis of transcriptomic changes in wild-type and crf6 mutant plants treated with H2O2 identified CRF6-dependent differentially expressed transcripts, many of which were repressed rather than induced. Moreover, many repressed genes also show decreased expression in 35S:CRF6 overexpressing plants. Together, these findings suggest that CRF6 functions largely as a transcriptional repressor. Interestingly, among the H2O2 repressed CRF6-dependent transcripts was a set of five genes associated with cytokinin processes: (signaling) ARR6, ARR9, ARR11, (biosynthesis) LOG7, and (transport) ABCG14. We have examined mutants of these cytokinin-associated target genes to reveal novel connections to oxidative stress. Further examination of CRF6-DNA interactions indicated that CRF6 may regulate its targets both directly and indirectly. Together, this shows that CRF6 functions during oxidative stress as a negative regulator to control this cytokinin-associated module of CRF6- dependent genes and establishes a novel connection between cytokinin and oxidative stress response.}, author = {Zwack, Paul and De Clercq, Inge and Howton, Timothy and Hallmark, H Tucker and Hurny, Andrej and Keshishian, Erika and Parish, Alyssa and Benková, Eva and Mukhtar, M Shahid and Van Breusegem, Frank and Rashotte, Aaron}, issn = {1532-2548}, journal = {Plant Physiology}, number = {2}, pages = {1249 -- 1258}, publisher = {American Society of Plant Biologists}, title = {{Cytokinin response factor 6 represses cytokinin-associated genes during oxidative stress}}, doi = {10.1104/pp.16.00415}, volume = {172}, year = {2016}, } @article{1332, abstract = {Antibiotic-sensitive and -resistant bacteria coexist in natural environments with low, if detectable, antibiotic concentrations. Except possibly around localized antibiotic sources, where resistance can provide a strong advantage, bacterial fitness is dominated by stresses unaffected by resistance to the antibiotic. How do such mixed and heterogeneous conditions influence the selective advantage or disadvantage of antibiotic resistance? Here we find that sub-inhibitory levels of tetracyclines potentiate selection for or against tetracycline resistance around localized sources of almost any toxin or stress. Furthermore, certain stresses generate alternating rings of selection for and against resistance around a localized source of the antibiotic. In these conditions, localized antibiotic sources, even at high strengths, can actually produce a net selection against resistance to the antibiotic. Our results show that interactions between the effects of an antibiotic and other stresses in inhomogeneous environments can generate pervasive, complex patterns of selection both for and against antibiotic resistance.}, author = {Chait, Remy P and Palmer, Adam and Yelin, Idan and Kishony, Roy}, journal = {Nature Communications}, publisher = {Nature Publishing Group}, title = {{Pervasive selection for and against antibiotic resistance in inhomogeneous multistress environments}}, doi = {10.1038/ncomms10333}, volume = {7}, year = {2016}, } @article{1333, abstract = {Social dilemmas force players to balance between personal and collective gain. In many dilemmas, such as elected governments negotiating climate-change mitigation measures, the decisions are made not by individual players but by their representatives. However, the behaviour of representatives in social dilemmas has not been investigated experimentally. Here inspired by the negotiations for greenhouse-gas emissions reductions, we experimentally study a collective-risk social dilemma that involves representatives deciding on behalf of their fellow group members. Representatives can be re-elected or voted out after each consecutive collective-risk game. Selfish players are preferentially elected and are hence found most frequently in the "representatives" treatment. Across all treatments, we identify the selfish players as extortioners. As predicted by our mathematical model, their steadfast strategies enforce cooperation from fair players who finally compensate almost completely the deficit caused by the extortionate co-players. Everybody gains, but the extortionate representatives and their groups gain the most.}, author = {Milinski, Manfred and Hilbe, Christian and Semmann, Dirk and Sommerfeld, Ralf and Marotzke, Jochem}, journal = {Nature Communications}, publisher = {Nature Publishing Group}, title = {{Humans choose representatives who enforce cooperation in social dilemmas through extortion}}, doi = {10.1038/ncomms10915}, volume = {7}, year = {2016}, } @article{1334, abstract = {Hippocampal neurons encode a cognitive map of space. These maps are thought to be updated during learning and in response to changes in the environment through activity-dependent synaptic plasticity. Here we examine how changes in activity influence spatial coding in rats using halorhodopsin-mediated, spatially selective optogenetic silencing. Halorhoposin stimulation leads to light-induced suppression in many place cells and interneurons; some place cells increase their firing through disinhibition, whereas some show no effect. We find that place fields of the unaffected subpopulation remain stable. On the other hand, place fields of suppressed place cells were unstable, showing remapping across sessions before and after optogenetic inhibition. Disinhibited place cells had stable maps but sustained an elevated firing rate. These findings suggest that place representation in the hippocampus is constantly governed by activity-dependent processes, and that disinhibition may provide a mechanism for rate remapping.}, author = {Schönenberger, Philipp and O'Neill, Joseph and Csicsvari, Jozsef L}, journal = {Nature Communications}, publisher = {Nature Publishing Group}, title = {{Activity dependent plasticity of hippocampal place maps}}, doi = {10.1038/ncomms11824}, volume = {7}, year = {2016}, } @inproceedings{1335, abstract = {In this paper we review various automata-theoretic formalisms for expressing quantitative properties. We start with finite-state Boolean automata that express the traditional regular properties. We then consider weighted ω-automata that can measure the average density of events, which finite-state Boolean automata cannot. However, even weighted ω-automata cannot express basic performance properties like average response time. We finally consider two formalisms of weighted ω-automata with monitors, where the monitors are either (a) counters or (b) weighted automata themselves. We present a translation result to establish that these two formalisms are equivalent. Weighted ω-automata with monitors generalize weighted ω-automata, and can express average response time property. They present a natural, robust, and expressive framework for quantitative specifications, with important decidable properties.}, author = {Chatterjee, Krishnendu and Henzinger, Thomas A and Otop, Jan}, location = {Edinburgh, United Kingdom}, pages = {23 -- 38}, publisher = {Springer}, title = {{Quantitative monitor automata}}, doi = {10.1007/978-3-662-53413-7_2}, volume = {9837}, year = {2016}, } @article{8241, abstract = {Background: Anticancer vaccines could represent a valuable complementary strategy to established therapies, especially in settings of early stage and minimal residual disease. HER-2 is an important target for immunotherapy and addressed by the monoclonal antibody trastuzumab. We have previously generated HER-2 mimotope peptides from phage display libraries. The synthesized peptides were coupled to carriers and applied for epitope-specific induction of trastuzumab-like IgG. For simplification and to avoid methodological limitations of synthesis and coupling chemistry, we herewith present a novel and optimized approach by using adeno-associated viruses (AAV) as effective and high-density mimotope-display system, which can be directly used for vaccination. Methods: An AAV capsid display library was constructed by genetically incorporating random peptides in a plasmid encoding the wild-type AAV2 capsid protein. AAV clones, expressing peptides specifically reactive to trastuzumab, were employed to immunize BALB/c mice. Antibody titers against human HER-2 were determined, and the isotype composition and functional properties of these were tested. Finally, prophylactically immunized mice were challenged with human HER-2 transfected mouse D2F2/E2 cells. Results: HER-2 mimotope AAV-vaccines induced antibodies specific to human HER-2. Two clones were selected for immunization of mice, which were subsequently grafted D2F2/E2 cells. Both mimotope AAV clones delayed the growth of tumors significantly, as compared to controls. Conclusion: In this study, a novel mimotope AAV-based platform was created allowing the isolation of mimotopes, which can be directly used as anticancer vaccines. The example of trastuzumab AAV-mimotopes demonstrates that this vaccine strategy could help to establish active immunotherapy for breast-cancer patients.}, author = {Singer, Josef and Manzano-Szalai, Krisztina and Fazekas, Judit and Thell, Kathrin and Bentley-Lukschal, Anna and Stremnitzer, Caroline and Roth-Walter, Franziska and Weghofer, Margit and Ritter, Mirko and Pino Tossi, Kerstin and Hörer, Markus and Michaelis, Uwe and Jensen-Jarolim, Erika}, issn = {2162-402X}, journal = {OncoImmunology}, number = {7}, publisher = {Taylor & Francis}, title = {{Proof of concept study with an HER-2 mimotope anticancer vaccine deduced from a novel AAV-mimotope library platform}}, doi = {10.1080/2162402x.2016.1171446}, volume = {5}, year = {2016}, } @inproceedings{8302, abstract = {While showing great promise, Bitcoin requires users to wait tens of minutes for transactions to commit, and even then, offering only probabilistic guarantees. This paper introduces ByzCoin, a novel Byzantine consensus protocol that leverages scalable collective signing to commit Bitcoin transactions irreversibly within seconds. ByzCoin achieves Byzantine consensus while preserving Bitcoin’s open membership by dynamically forming hash power-proportionate consensus groups that represent recently-successful block miners. ByzCoin employs communication trees to optimize transaction commitment and verification under normal operation while guaranteeing safety and liveness under Byzantine faults, up to a near-optimal tolerance of f faulty group members among 3f + 2 total. ByzCoin mitigates double spending and selfish mining attacks by producing collectively signed transaction blocks within one minute of transaction submission. Tree-structured communication further reduces this latency to less than 30 seconds. Due to these optimizations, ByzCoin achieves a throughput higher than Paypal currently handles, with a confirmation latency of 15-20 seconds.}, author = {Kokoris Kogias, Eleftherios and Jovanovic, Philipp and Gailly, Nicolas and Khoffi, Ismail and Gasser, Linus and Ford, Bryan}, booktitle = {Proceedings of the 25th USENIX Conference on Security Symposium}, isbn = {9781931971324}, location = {Austin, TX, United States}, pages = {279–296}, publisher = {USENIX Association}, title = {{Enhancing bitcoin security and performance with strong consistency via collective signing}}, year = {2016}, } @article{9019, abstract = {Targeting protein–protein interactions has long been considered as a very difficult if impossible task, but over the past decade, front lines have moved. The number of successful examples is exponentially growing. This review presents a rapid overview of recent advances in this field considering the strengths and weaknesses of the small molecule approaches and alternative strategies such as the selection or design of artificial antibodies, peptides or peptidomimetics.}, author = {Bakail, May M and Ochsenbein, Francoise}, issn = {1631-0748}, journal = {Comptes Rendus Chimie}, keywords = {General Chemistry, General Chemical Engineering}, number = {1-2}, pages = {19--27}, publisher = {Elsevier}, title = {{Targeting protein–protein interactions, a wide open field for drug design}}, doi = {10.1016/j.crci.2015.12.004}, volume = {19}, year = {2016}, } @article{9051, abstract = {Biological systems often involve the self-assembly of basic components into complex and functioning structures. Artificial systems that mimic such processes can provide a well-controlled setting to explore the principles involved and also synthesize useful micromachines. Our experiments show that immotile, but active, components self-assemble into two types of structure that exhibit the fundamental forms of motility: translation and rotation. Specifically, micron-scale metallic rods are designed to induce extensile surface flows in the presence of a chemical fuel; these rods interact with each other and pair up to form either a swimmer or a rotor. Such pairs can transition reversibly between these two configurations, leading to kinetics reminiscent of bacterial run-and-tumble motion.}, author = {Davies Wykes, Megan S. and Palacci, Jérémie A and Adachi, Takuji and Ristroph, Leif and Zhong, Xiao and Ward, Michael D. and Zhang, Jun and Shelley, Michael J.}, issn = {1744-6848}, journal = {Soft Matter}, number = {20}, pages = {4584--4589}, publisher = {Royal Society of Chemistry}, title = {{Dynamic self-assembly of microscale rotors and swimmers}}, doi = {10.1039/c5sm03127c}, volume = {12}, year = {2016}, } @article{9052, abstract = {We describe colloidal Janus particles with metallic and dielectric faces that swim vigorously when illuminated by defocused optical tweezers without consuming any chemical fuel. Rather than wandering randomly, these optically-activated colloidal swimmers circulate back and forth through the beam of light, tracing out sinuous rosette patterns. We propose a model for this mode of light-activated transport that accounts for the observed behavior through a combination of self-thermophoresis and optically-induced torque. In the deterministic limit, this model yields trajectories that resemble rosette curves known as hypotrochoids.}, author = {Moyses, Henrique and Palacci, Jérémie A and Sacanna, Stefano and Grier, David G.}, issn = {1744-6848}, journal = {Soft Matter}, keywords = {General Chemistry, Condensed Matter Physics}, number = {30}, pages = {6357--6364}, publisher = {Royal Society of Chemistry }, title = {{Trochoidal trajectories of self-propelled Janus particles in a diverging laser beam}}, doi = {10.1039/c6sm01163b}, volume = {12}, year = {2016}, } @article{9140, abstract = {Expected changes to future extreme precipitation remain a key uncertainty associated with anthropogenic climate change. Extreme precipitation has been proposed to scale with the precipitable water content in the atmosphere. Assuming constant relative humidity, this implies an increase of precipitation extremes at a rate of about 7% °C−1 globally as indicated by the Clausius‐Clapeyron relationship. Increases faster and slower than Clausius‐Clapeyron have also been reported. In this work, we examine the scaling between precipitation extremes and temperature in the present climate using simulations and measurements from surface weather stations collected in the frame of the HyMeX and MED‐CORDEX programs in Southern France. Of particular interest are departures from the Clausius‐Clapeyron thermodynamic expectation, their spatial and temporal distribution, and their origin. Looking at the scaling of precipitation extreme with temperature, two regimes emerge which form a hook shape: one at low temperatures (cooler than around 15°C) with rates of increase close to the Clausius‐Clapeyron rate and one at high temperatures (warmer than about 15°C) with sub‐Clausius‐Clapeyron rates and most often negative rates. On average, the region of focus does not seem to exhibit super Clausius‐Clapeyron behavior except at some stations, in contrast to earlier studies. Many factors can contribute to departure from Clausius‐Clapeyron scaling: time and spatial averaging, choice of scaling temperature (surface versus condensation level), and precipitation efficiency and vertical velocity in updrafts that are not necessarily constant with temperature. But most importantly, the dynamical contribution of orography to precipitation in the fall over this area during the so‐called “Cevenoles” events, explains the hook shape of the scaling of precipitation extremes.}, author = {Drobinski, P. and Alonzo, B. and Bastin, S. and Silva, N. Da and Muller, Caroline J}, issn = {2169-897X}, journal = {Journal of Geophysical Research: Atmospheres}, number = {7}, pages = {3100--3119}, publisher = {American Geophysical Union}, title = {{Scaling of precipitation extremes with temperature in the French Mediterranean region: What explains the hook shape?}}, doi = {10.1002/2015jd023497}, volume = {121}, year = {2016}, } @article{7068, abstract = {Electrons in materials with linear dispersion behave as massless Weyl- or Dirac-quasiparticles, and continue to intrigue due to their close resemblance to elusive ultra-relativistic particles as well as their potential for future electronics. Yet the experimental signatures of Weyl-fermions are often subtle and indirect, in particular if they coexist with conventional, massive quasiparticles. Here we show a pronounced anomaly in the magnetic torque of the Weyl semimetal NbAs upon entering the quantum limit state in high magnetic fields. The torque changes sign in the quantum limit, signalling a reversal of the magnetic anisotropy that can be directly attributed to the topological nature of the Weyl electrons. Our results establish that anomalous quantum limit torque measurements provide a direct experimental method to identify and distinguish Weyl and Dirac systems.}, author = {Moll, Philip J. W. and Potter, Andrew C. and Nair, Nityan L. and Ramshaw, B. J. and Modic, Kimberly A and Riggs, Scott and Zeng, Bin and Ghimire, Nirmal J. and Bauer, Eric D. and Kealhofer, Robert and Ronning, Filip and Analytis, James G.}, issn = {2041-1723}, journal = {Nature Communications}, publisher = {Springer Nature}, title = {{Magnetic torque anomaly in the quantum limit of Weyl semimetals}}, doi = {10.1038/ncomms12492}, volume = {7}, year = {2016}, } @article{7279, abstract = {Kinetics of electrochemical reactions are several orders of magnitude slower in solids than in liquids as a result of the much lower ion diffusivity. Yet, the solid state maximizes the density of redox species, which is at least two orders of magnitude lower in liquids because of solubility limitations. With regard to electrochemical energy storage devices, this leads to high-energy batteries with limited power and high-power supercapacitors with a well-known energy deficiency. For such devices the ideal system should endow the liquid state with a density of redox species close to the solid state. Here we report an approach based on biredox ionic liquids to achieve bulk-like redox density at liquid-like fast kinetics. The cation and anion of these biredox ionic liquids bear moieties that undergo very fast reversible redox reactions. As a first demonstration of their potential for high-capacity/high-rate charge storage, we used them in redox supercapacitors. These ionic liquids are able to decouple charge storage from an ion-accessible electrode surface, by storing significant charge in the pores of the electrodes, to minimize self-discharge and leakage current as a result of retaining the redox species in the pores, and to raise working voltage due to their wide electrochemical window.}, author = {Mourad, Eléonore and Coustan, Laura and Lannelongue, Pierre and Zigah, Dodzi and Mehdi, Ahmad and Vioux, André and Freunberger, Stefan Alexander and Favier, Frédéric and Fontaine, Olivier}, issn = {1476-1122}, journal = {Nature Materials}, number = {4}, pages = {446--453}, publisher = {Springer Nature}, title = {{Biredox ionic liquids with solid-like redox density in the liquid state for high-energy supercapacitors}}, doi = {10.1038/nmat4808}, volume = {16}, year = {2016}, } @article{7297, abstract = {Redox mediators facilitate the oxidation of the highly insulating discharge product in metal–oxygen batteries during recharge and offer opportunities to achieve high reversible capacities. Now a design principle for selecting redox mediators that can recharge the batteries more efficiently is suggested.}, author = {Freunberger, Stefan Alexander}, issn = {2058-7546}, journal = {Nature Energy}, number = {6}, publisher = {Springer Nature}, title = {{Batteries: Charging ahead rationally}}, doi = {10.1038/nenergy.2016.74}, volume = {1}, year = {2016}, } @article{7599, abstract = {Normal leaf margin development is important for leaf morphogenesis and contributes to diverse leaf shapes in higher plants. We here show the crucial roles of an atypical type II phosphatidylinositol 4-kinase, PI4Kγ5, in Arabidopsis leaf margin development. PI4Kγ5 presents a dynamics expression pattern along with leaf development and a T-DNA mutant lacking PI4Kγ5, pi4kγ5–1, presents serrated leaves, which is resulted from the accelerated cell division and increased auxin concentration at serration tips. Studies revealed that PI4Kγ5 interacts with and phosphorylates a membrane-bound NAC transcription factor, ANAC078. Previous studies demonstrated that membrane-bound transcription factors regulate gene transcription by undergoing proteolytic process to translocate into nucleus, and ANAC078 undergoes proteolysis by cleaving off the transmembrane region and carboxyl terminal. Western blot analysis indeed showed that ANAC078 deleting of carboxyl terminal is significantly reduced in pi4kγ5–1, indicating that PI4Kγ5 is important for the cleavage of ANAC078. This is consistent with the subcellular localization observation showing that fluorescence by GFP-ANAC078 is detected at plasma membrane but not nucleus in pi4kγ5–1 mutant and that expression of ANAC078 deleting of carboxyl terminal, driven by PI4Kγ5 promoter, could rescue the leaf serration defects of pi4kγ5–1. Further analysis showed that ANAC078 suppresses the auxin synthesis by directly binding and regulating the expression of auxin synthesis-related genes. These results indicate that PI4Kγ5 interacts with ANAC078 to negatively regulate auxin synthesis and hence influences cell proliferation and leaf development, providing informative clues for the regulation of in situ auxin synthesis and cell division, as well as the cleavage and functional mechanism of membrane-bound transcription factors.}, author = {Tang, Yong and Zhao, Chun-Yan and Tan, Shutang and Xue, Hong-Wei}, issn = {1553-7404}, journal = {PLOS Genetics}, number = {8}, publisher = {Public Library of Science}, title = {{Arabidopsis type II phosphatidylinositol 4-kinase PI4Kγ5 regulates auxin biosynthesis and leaf margin development through interacting with membrane-bound transcription factor ANAC078}}, doi = {10.1371/journal.pgen.1006252}, volume = {12}, year = {2016}, } @article{7737, abstract = {Genome-wide association studies (GWAS) have identified thousands of genetic variants associated with human complex traits. However, the genes or functional DNA elements through which these variants exert their effects on the traits are often unknown. We propose a method (called SMR) that integrates summary-level data from GWAS with data from expression quantitative trait locus (eQTL) studies to identify genes whose expression levels are associated with a complex trait because of pleiotropy. We apply the method to five human complex traits using GWAS data on up to 339,224 individuals and eQTL data on 5,311 individuals, and we prioritize 126 genes (for example, TRAF1 and ANKRD55 for rheumatoid arthritis and SNX19 and NMRAL1 for schizophrenia), of which 25 genes are new candidates; 77 genes are not the nearest annotated gene to the top associated GWAS SNP. These genes provide important leads to design future functional studies to understand the mechanism whereby DNA variation leads to complex trait variation.}, author = {Zhu, Zhihong and Zhang, Futao and Hu, Han and Bakshi, Andrew and Robinson, Matthew Richard and Powell, Joseph E and Montgomery, Grant W and Goddard, Michael E and Wray, Naomi R and Visscher, Peter M and Yang, Jian}, issn = {1061-4036}, journal = {Nature Genetics}, number = {5}, pages = {481--487}, publisher = {Springer Nature}, title = {{Integration of summary data from GWAS and eQTL studies predicts complex trait gene targets}}, doi = {10.1038/ng.3538}, volume = {48}, year = {2016}, } @article{786, abstract = {Lock-free concurrent algorithms guarantee that some concurrent operation will always make progress in a finite number of steps. Yet programmers prefer to treat concurrent code as if it were wait-free, guaranteeing that all operations always make progress. Unfortunately, designing wait-free algorithms is generally a very complex task, and the resulting algorithms are not always efficient. Although obtaining efficient wait-free algorithms has been a long-time goal for the theory community, most nonblocking commercial code is only lock-free. This article suggests a simple solution to this problem.We show that for a large class of lock-free algorithms, under scheduling conditions that approximate those found in commercial hardware architectures, lock-free algorithms behave as if they are wait-free. In other words, programmers can continue to design simple lock-free algorithms instead of complex wait-free ones, and in practice, they will get wait-free progress. Our main contribution is a new way of analyzing a general class of lock-free algorithms under a stochastic scheduler. Our analysis relates the individual performance of processes to the global performance of the system using Markov chain lifting between a complex per-process chain and a simpler system progress chain. We show that lock-free algorithms are not only wait-free with probability 1 but that in fact a general subset of lock-free algorithms can be closely bounded in terms of the average number of steps required until an operation completes. To the best of our knowledge, this is the first attempt to analyze progress conditions, typically stated in relation to a worst-case adversary, in a stochastic model capturing their expected asymptotic behavior.}, author = {Alistarh, Dan-Adrian and Censor Hillel, Keren and Shavit, Nir}, journal = {Journal of the ACM}, number = {4}, publisher = {ACM}, title = {{Are lock free concurrent algorithms practically wait free }}, doi = {10.1145/2903136}, volume = {63}, year = {2016}, } @article{8020, abstract = {Balance of cortical excitation and inhibition (EI) is thought to be disrupted in several neuropsychiatric conditions, yet it is not clear how it is maintained in the healthy human brain. When EI balance is disturbed during learning and memory in animal models, it can be restabilized via formation of inhibitory replicas of newly formed excitatory connections. Here we assess evidence for such selective inhibitory rebalancing in humans. Using fMRI repetition suppression we measure newly formed cortical associations in the human brain. We show that expression of these associations reduces over time despite persistence in behavior, consistent with inhibitory rebalancing. To test this, we modulated excitation/inhibition balance with transcranial direct current stimulation (tDCS). Using ultra-high-field (7T) MRI and spectroscopy, we show that reducing GABA allows cortical associations to be re-expressed. This suggests that in humans associative memories are stored in balanced excitatory-inhibitory ensembles that lie dormant unless latent inhibitory connections are unmasked.}, author = {Barron, H.C. and Vogels, Tim P and Emir, U.E. and Makin, T.R. and O’Shea, J. and Clare, S. and Jbabdi, S. and Dolan, R.J. and Behrens, T.E.J.}, issn = {0896-6273}, journal = {Neuron}, number = {1}, pages = {191--203}, publisher = {Elsevier}, title = {{Unmasking latent inhibitory connections in human cortex to reveal dormant cortical memories}}, doi = {10.1016/j.neuron.2016.02.031}, volume = {90}, year = {2016}, }