TY - JOUR AB - With the advent of optogenetics, it became possible to change the activity of a targeted population of neurons in a temporally controlled manner. To combine the advantages of 60-channel in vivo tetrode recording and laser-based optogenetics, we have developed a closed-loop recording system that allows for the actual electrophysiological signal to be used as a trigger for the laser light mediating the optogenetic intervention. We have optimized the weight, size, and shape of the corresponding implant to make it compatible with the size, force, and movements of a behaving mouse, and we have shown that the system can efficiently block sharp wave ripple (SWR) events using those events themselves as a trigger. To demonstrate the full potential of the optogenetic recording system we present a pilot study addressing the contribution of SWR events to learning in a complex behavioral task. AU - Rangel Guerrero, Dámaris K AU - Donnett, James G. AU - Csicsvari, Jozsef L AU - Kovács, Krisztián ID - 5914 IS - 4 JF - eNeuro TI - Tetrode recording from the hippocampus of behaving mice coupled with four-point-irradiation closed-loop optogenetics: A technique to study the contribution of Hippocampal SWR events to learning VL - 5 ER - TY - JOUR AB - During metastasis, malignant cells escape the primary tumor, intravasate lymphatic vessels, and reach draining sentinel lymph nodes before they colonize distant organs via the blood circulation. Although lymph node metastasis in cancer patients correlates with poor prognosis, evidence is lacking as to whether and how tumor cells enter the bloodstream via lymph nodes. To investigate this question, we delivered carcinoma cells into the lymph nodes of mice by microinfusing the cells into afferent lymphatic vessels. We found that tumor cells rapidly infiltrated the lymph node parenchyma, invaded blood vessels, and seeded lung metastases without involvement of the thoracic duct. These results suggest that the lymph node blood vessels can serve as an exit route for systemic dissemination of cancer cells in experimental mouse models. Whether this form of tumor cell spreading occurs in cancer patients remains to be determined. AU - Brown, Markus AU - Assen, Frank P AU - Leithner, Alexander F AU - Abe, Jun AU - Schachner, Helga AU - Asfour, Gabriele AU - Bagó Horváth, Zsuzsanna AU - Stein, Jens AU - Uhrin, Pavel AU - Sixt, Michael K AU - Kerjaschki, Dontscho ID - 402 IS - 6382 JF - Science TI - Lymph node blood vessels provide exit routes for metastatic tumor cell dissemination in mice VL - 359 ER - TY - THES AB - Autism spectrum disorders (ASD) are a group of genetic disorders often overlapping with other neurological conditions. Despite the remarkable number of scientific breakthroughs of the last 100 years, the treatment of neurodevelopmental disorders (e.g. autism spectrum disorder, intellectual disability, epilepsy) remains a great challenge. Recent advancements in geno mics, like whole-exome or whole-genome sequencing, have enabled scientists to identify numerous mutations underlying neurodevelopmental disorders. Given the few hundred risk genes that were discovered, the etiological variability and the heterogeneous phenotypic outcomes, the need for genotype -along with phenotype- based diagnosis of individual patients becomes a requisite. Driven by this rationale, in a previous study our group described mutations, identified via whole - exome sequencing, in the gene BCKDK – encoding for a key regulator of branched chain amin o acid (BCAA) catabolism - as a cause of ASD. Following up on the role of BCAAs, in the study described here we show that the solute carrier transporter 7a5 (SLC7A5), a large neutral amino acid transporter localized mainly at the blood brain barrier (BBB), has an essential role in maintaining normal levels of brain BCAAs. In mice, deletion of Slc7a5 from the endothelial cells of the BBB leads to atypical brain amino acid profile, abnormal mRNA translation and severe neurolo gical abnormalities. Additionally, deletion of Slc7a5 from the neural progenitor cell population leads to microcephaly. Interestingly, we demonstrate that BCAA intracerebroventricular administration ameliorates abnormal behaviors in adult mutant mice. Furthermore, whole - exome sequencing of patients diagnosed with neurological dis o r ders helped us identify several patients with autistic traits, microcephaly and motor delay carrying deleterious homozygous mutations in the SLC7A5 gene. In conclusion, our data elucidate a neurological syndrome defined by SLC7A5 mutations and support an essential role for t he BCAA s in human bra in function. Together with r ecent studies (described in chapter two) that have successfully made the transition into clinical practice, our findings on the role of B CAAs might have a crucial impact on the development of novel individualized therapeutic strategies for ASD. AU - Tarlungeanu, Dora-Clara ID - 395 SN - 2663-337X TI - The branched chain amino acids in autism spectrum disorders ER - TY - THES AB - Asymmetries have long been known about in the central nervous system. From gross anatomical differences, such as the presence of the parapineal organ in only one hemisphere of the developing zebrafish, to more subtle differences in activity between both hemispheres, as seen in freely roaming animals or human participants under PET and fMRI imaging analysis. The presence of asymmetries has been demonstrated to have huge behavioural implications, with their disruption often leading to the generation of neurological disorders, memory problems, changes in personality, and in an organism's health and well-being. For my Ph.D. work I aimed to tackle two important avenues of research. The first being the process of input-side dependency in the hippocampus, with the goal of finding a key gene responsible for its development (Gene X). The second project was to do with experience-induced laterality formation in the hippocampus. Specifically, how laterality in the synapse density of the CA1 stratum radiatum (s.r.) could be induced purely through environmental enrichment. Through unilateral tracer injections into the CA3, I was able to selectively measure the properties of synapses within the CA1 and investigate how they differed based upon which hemisphere the presynaptic neurone originated. Having found the existence of a previously unreported reversed (left-isomerism) i.v. mutant, through morpholocal examination of labelled terminals in the CA1 s.r., I aimed to elucidate a key gene responsible for the process of left or right determination of inputs to the CA1 s.r.. This work relates to the previous finding of input-side dependent asymmetry in the wild-type rodent, where the origin of the projecting neurone to the CA1 will determine the morphology of a synapse, to a greater degree than the hemisphere in which the projection terminates. Using left- and right-isomerism i.v. mice, in combination with whole genome sequence analysis, I highlight Ena/VASP-like (Evl) as a potential target for Gene X. In relation to this topic, I also highlight my work in the recently published paper of how knockout of PirB can lead to a lack of input-side dependency in the murine hippocampus. For the second question, I show that the environmental enrichment paradigm will lead to an asymmetry in the synapse densities in the hippocampus of mice. I also highlight that the nature of the enrichment is of less consequence than the process of enrichment itself. I demonstrate that the CA3 region will dramatically alter its projection targets, in relation to environmental stimulation, with the asymmetry in synaptic density, caused by enrichment, relying heavily on commissural fibres. I also highlight the vital importance of input-side dependent asymmetry, as a necessary component of experience-dependent laterality formation in the CA1 s.r.. However, my results suggest that it isn't the only cause, as there appears to be a CA1 dependent mechanism also at play. Upon further investigation, I highlight the significant, and highly important, finding that the changes seen in the CA1 s.r. were predominantly caused through projections from the left-CA3, with the right-CA3 having less involvement in this mechanism. AU - Case, Matthew J ID - 51 SN - 2663-337X TI - From the left to the right: A tale of asymmetries, environments, and hippocampal development ER - TY - THES AB - Genomic imprinting is an epigenetic process that leads to parent of origin-specific gene expression in a subset of genes. Imprinted genes are essential for brain development, and deregulation of imprinting is associated with neurodevelopmental diseases and the pathogenesis of psychiatric disorders. However, the cell-type specificity of imprinting at single cell resolution, and how imprinting and thus gene dosage regulates neuronal circuit assembly is still largely unknown. Here, MADM (Mosaic Analysis with Double Markers) technology was employed to assess genomic imprinting at single cell level. By visualizing MADM-induced uniparental disomies (UPDs) in distinct colors at single cell level in genetic mosaic animals, this experimental paradigm provides a unique quantitative platform to systematically assay the UPD-mediated imbalances in imprinted gene expression at unprecedented resolution. An experimental pipeline based on FACS, RNA-seq and bioinformatics analysis was established and applied to systematically map cell-type-specific ‘imprintomes’ in the mouse brain. The results revealed that parental-specific expression of imprinted genes per se is rarely cell-type-specific even at the individual cell level. Conversely, when we extended the comparison to downstream responses resulting from imbalanced imprinted gene expression, we discovered an unexpectedly high degree of cell-type specificity. Furthermore, we determined a novel function of genomic imprinting in cortical astrocyte production and in olfactory bulb (OB) granule cell generation. These results suggest important functional implication of genomic imprinting for generating cell-type diversity in the brain. In addition, MADM provides a powerful tool to study candidate genes by concomitant genetic manipulation and fluorescent labelling of single cells. MADM-based candidate gene approach was utilized to identify potential imprinted genes involved in the generation of cortical astrocytes and OB granule cells. We investigated p57Kip2, a maternally expressed gene and known cell cycle regulator. Although we found that p57Kip2 does not play a role in these processes, we detected an unexpected function of the paternal allele previously thought to be silent. Finally, we took advantage of a key property of MADM which is to allow unambiguous investigation of environmental impact on single cells. The experimental pipeline based on FACS and RNA-seq analysis of MADM-labeled cells was established to probe the functional differences of single cell loss of gene function compared to global loss of function on a transcriptional level. With this method, both common and distinct responses were isolated due to cell-autonomous and non-autonomous effects acting on genotypically identical cells. As a result, transcriptional changes were identified which result solely from the surrounding environment. Using the MADM technology to study genomic imprinting at single cell resolution, we have identified cell-type-specific gene expression, novel gene function and the impact of environment on single cell transcriptomes. Together, these provide important insights to the understanding of mechanisms regulating cell-type specificity and thus diversity in the brain. AU - Laukoter, Susanne ID - 10 SN - 2663-337X TI - Role of genomic imprinting in cerebral cortex development ER - TY - THES AB - In the here presented thesis, we explore the role of branched actin networks in cell migration and antigen presentation, the two most relevant processes in dendritic cell biology. Branched actin networks construct lamellipodial protrusions at the leading edge of migrating cells. These are typically seen as adhesive structures, which mediate force transduction to the extracellular matrix that leads to forward locomotion. We ablated Arp2/3 nucleation promoting factor WAVE in DCs and found that the resulting cells lack lamellipodial protrusions. Instead, depending on the maturation state, one or multiple filopodia were formed. By challenging these cells in a variety of migration assays we found that lamellipodial protrusions are dispensable for the locomotion of leukocytes and actually dampen the speed of migration. However, lamellipodia are critically required to negotiate complex environments that DCs experience while they travel to the next draining lymph node. Taken together our results suggest that leukocyte lamellipodia have rather a sensory- than a force transducing function. Furthermore, we show for the first time structure and dynamics of dendritic cell F-actin at the immunological synapse with naïve T cells. Dendritic cell F-actin appears as dynamic foci that are nucleated by the Arp2/3 complex. WAVE ablated dendritic cells show increased membrane tension, leading to an altered ultrastructure of the immunological synapse and severe T cell priming defects. These results point towards a previously unappreciated role of the cellular mechanics of dendritic cells in T cell activation. Additionally, we present a novel cell culture based system for the differentiation of dendritic cells from conditionally immortalized hematopoietic precursors. These precursor cells are genetically tractable via the CRISPR/Cas9 system while they retain their ability to differentiate into highly migratory dendritic cells and other immune cells. This will foster the study of all aspects of dendritic cell biology and beyond. AU - Leithner, Alexander F ID - 323 SN - 2663-337X TI - Branched actin networks in dendritic cell biology ER - TY - THES AB - The whole life cycle of plants as well as their responses to environmental stimuli is governed by a complex network of hormonal regulations. A number of studies have demonstrated an essential role of both auxin and cytokinin in the regulation of many aspects of plant growth and development including embryogenesis, postembryonic organogenic processes such as root, and shoot branching, root and shoot apical meristem activity and phyllotaxis. Over the last decades essential knowledge on the key molecular factors and pathways that spatio-temporally define auxin and cytokinin activities in the plant body has accumulated. However, how both hormonal pathways are interconnected by a complex network of interactions and feedback circuits that determines the final outcome of the individual hormone actions is still largely unknown. Root system architecture establishment and in particular formation of lateral organs is prime example of developmental process at whose regulation both auxin and cytokinin pathways converge. To dissect convergence points and pathways that tightly balance auxin - cytokinin antagonistic activities that determine the root branching pattern transcriptome profiling was applied. Genome wide expression analyses of the xylem pole pericycle, a tissue giving rise to lateral roots, led to identification of genes that are highly responsive to combinatorial auxin and cytokinin treatments and play an essential function in the auxin-cytokinin regulated root branching. SYNERGISTIC AUXIN CYTOKININ 1 (SYAC1) gene, which encodes for a protein of unknown function, was detected among the top candidate genes of which expression was synergistically up-regulated by simultaneous hormonal treatment. Plants with modulated SYAC1 activity exhibit severe defects in the root system establishment and attenuate developmental responses to both auxin and cytokinin. To explore the biological function of the SYAC1, we employed different strategies including expression pattern analysis, subcellular localization and phenotypic analyses of the syac1 loss-of-function and gain-of-function transgenic lines along with the identification of the SYAC1 interaction partners. Detailed functional characterization revealed that SYAC1 acts as a developmentally specific regulator of the secretory pathway to control deposition of cell wall components and thereby rapidly fine tune elongation growth. AU - Hurny, Andrej ID - 539 SN - 2663-337X TI - Identification and characterization of novel auxin-cytokinin cross-talk components ER - TY - THES AB - The hippocampus is a key brain region for spatial memory and navigation and is needed at all stages of memory, including encoding, consolidation, and recall. Hippocampal place cells selectively discharge at specific locations of the environment to form a cognitive map of the space. During the rest period and sleep following spatial navigation and/or learning, the waking activity of the place cells is reactivated within high synchrony events. This reactivation is thought to be important for memory consolidation and stabilization of the spatial representations. The aim of my thesis was to directly test whether the reactivation content encoded in firing patterns of place cells is important for consolidation of spatial memories. In particular, I aimed to test whether, in cases when multiple spatial memory traces are acquired during learning, the specific disruption of the reactivation of a subset of these memories leads to the selective disruption of the corresponding memory traces or through memory interference the other learned memories are disrupted as well. In this thesis, using a modified cheeseboard paradigm and a closed-loop recording setup with feedback optogenetic stimulation, I examined how the disruption of the reactivation of specific spiking patterns affects consolidation of the corresponding memory traces. To obtain multiple distinctive memories, animals had to perform a spatial task in two distinct cheeseboard environments and the reactivation of spiking patterns associated with one of the environments (target) was disrupted after learning during four hours rest period using a real-time decoding method. This real-time decoding method was capable of selectively affecting the firing rates and cofiring correlations of the target environment-encoding cells. The selective disruption led to behavioural impairment in the memory tests after the rest periods in the target environment but not in the other undisrupted control environment. In addition, the map of the target environment was less stable in the impaired memory tests compared to the learning session before than the map of the control environment. However, when the animal relearned the task, the same map recurred in the target environment that was present during learning before the disruption. Altogether my work demonstrated that the reactivation content is important: assembly-related disruption of reactivation can lead to a selective memory impairment and deficiency in map stability. These findings indeed suggest that reactivated assembly patterns reflect processes associated with the consolidation of memory traces. AU - Gridchyn, Igor ID - 48 SN - 2663-337X TI - Reactivation content is important for consolidation of spatial memory ER - TY - THES AB - Immune cells migrating to the sites of infection navigate through diverse tissue architectures and switch their migratory mechanisms upon demand. However, little is known about systemic regulators that could allow the acquisition of these mechanisms. We performed a genetic screen in Drosophila melanogaster to identify regulators of germband invasion by embryonic macrophages into the confined space between the ectoderm and mesoderm. We have found that bZIP circadian transcription factors (TFs) Kayak (dFos) and Vrille (dNFIL3) have opposite effects on macrophage germband infiltration: Kayak facilitated and Vrille inhibited it. These TFs are enriched in the macrophages during migration and genetically interact to control it. Kayak sets a less coordinated mode of migration of the macrophage group and increases the probability and length of Levy walks. Intriguingly, the motility of kayak mutant macrophages was also strongly affected during initial germband invasion but not along another less confined route. Inhibiting Rho1 signaling within the tail ectoderm partially rescued the Kayak mutant phenotype, strongly suggesting that migrating macrophages have to overcome a barrier imposed by the stiffness of the ectoderm. Also, Kayak appeared to be important for the maintenance of the round cell shape and the rear edge translocation of the macrophages invading the germband. Complementary to this, the cortical actin cytoskeleton of Kayak- deficient macrophages was strongly affected. RNA sequencing revealed the filamin Cheerio and tetraspanin TM4SF to be downstream of Kayak. Chromatin immunoprecipitation and immunostaining revealed that the formin Diaphanous is another downstream target of Kayak. Immunostaining revealed that the formin Diaphanous is another downstream target of Kayak. Indeed, Cheerio, TM4SF and Diaphanous are required within macrophages for germband invasion, and expression of constitutively active Diaphanous in macrophages was able to rescue the kayak mutant phenotype. Moreover, Cher and Diaphanous are also reduced in the macrophages overexpressing Vrille. We hypothesize that Kayak, through its targets, increases actin polymerization and cortical tension in macrophages and thus allows extra force generation necessary for macrophage dissemination and migration through confined stiff tissues, while Vrille counterbalances it. AU - Belyaeva, Vera ID - 9 SN - 2663-337X TI - Transcriptional regulation of macrophage migration in the Drosophila melanogaster embryo ER - TY - THES AB - A major challenge in neuroscience research is to dissect the circuits that orchestrate behavior in health and disease. Proteins from a wide range of non-mammalian species, such as microbial opsins, have been successfully transplanted to specific neuronal targets to override their natural communication patterns. The goal of our work is to manipulate synaptic communication in a manner that closely incorporates the functional intricacies of synapses by preserving temporal encoding (i.e. the firing pattern of the presynaptic neuron) and connectivity (i.e. target specific synapses rather than specific neurons). Our strategy to achieve this goal builds on the use of non-mammalian transplants to create a synthetic synapse. The mode of modulation comes from pre-synaptic uptake of a synthetic neurotransmitter (SN) into synaptic vesicles by means of a genetically targeted transporter selective for the SN. Upon natural vesicular release, exposure of the SN to the synaptic cleft will modify the post-synaptic potential through an orthogonal ligand gated ion channel. To achieve this goal we have functionally characterized a mixed cationic methionine-gated ion channel from Arabidopsis thaliana, designed a method to functionally characterize a synthetic transporter in isolated synaptic vesicles without the need for transgenic animals, identified and extracted multiple prokaryotic uptake systems that are substrate specific for methionine (Met), and established a primary/cell line co-culture system that would allow future combinatorial testing of this orthogonal transmitter-transporter-channel trifecta. Synthetic synapses will provide a unique opportunity to manipulate synaptic communication while maintaining the electrophysiological integrity of the pre-synaptic cell. In this way, information may be preserved that was generated in upstream circuits and that could be essential for concerted function and information processing. AU - Mckenzie, Catherine ID - 6266 SN - 2663-337X TI - Design and characterization of methods and biological components to realize synthetic neurotransmission ER - TY - THES AB - The Wnt/planar cell polarity (Wnt/PCP) pathway determines planar polarity of epithelial cells in both vertebrates and invertebrates. The role that Wnt/PCP signaling plays in mesenchymal contexts, however, is only poorly understood. While previous studies have demonstrated the capacity of Wnt/PCP signaling to polarize and guide directed migration of mesenchymal cells, it remains unclear whether endogenous Wnt/PCP signaling performs these functions instructively, as it does in epithelial cells. Here we developed a light-switchable version of the Wnt/PCP receptor Frizzled 7 (Fz7) to unambiguously distinguish between an instructive and a permissive role of Wnt/PCP signaling for the directional collective migration of mesendoderm progenitor cells during zebrafish gastrulation. We show that prechordal plate (ppl) cell migration is defective in maternal-zygotic fz7a and fz7b (MZ fz7a,b) double mutant embryos, and that Fz7 functions cell-autonomously in this process by promoting ppl cell protrusion formation and directed migration. We further show that local activation of Fz7 can direct ppl cell migration both in vitro and in vivo. Surprisingly, however, uniform Fz7 activation is sufficient to fully rescue the ppl cell migration defect in MZ fz7a,b mutant embryos, indicating that Wnt/PCP signaling functions permissively rather than instructively in directed mesendoderm cell migration during zebrafish gastrulation. AU - Capek, Daniel ID - 50 SN - 2663-337X TI - Optogenetic Frizzled 7 reveals a permissive function of Wnt/PCP signaling in directed mesenchymal cell migration ER - TY - THES AB - Expression of genes is a fundamental molecular phenotype that is subject to evolution by different types of mutations. Both the rate and the effect of mutations may depend on the DNA sequence context of a particular gene or a particular promoter sequence. In this thesis I investigate the nature of this dependence using simple genetic systems in Escherichia coli. With these systems I explore the evolution of constitutive gene expression from random starting sequences at different loci on the chromosome and at different locations in sequence space. First, I dissect chromosomal neighborhood effects that underlie locus-dependent differences in the potential of a gene under selection to become more highly expressed. Next, I find that the effects of point mutations in promoter sequences are dependent on sequence context, and that an existing energy matrix model performs poorly in predicting relative expression of unrelated sequences. Finally, I show that a substantial fraction of random sequences contain functional promoters and I present an extended thermodynamic model that predicts promoter strength in full sequence space. Taken together, these results provide new insights and guides on how to integrate information on sequence context to improve our qualitative and quantitative understanding of bacterial gene expression, with implications for rapid evolution of drug resistance, de novo evolution of genes, and horizontal gene transfer. AU - Steinrück, Magdalena ID - 26 SN - 2663-337X TI - The influence of sequence context on the evolution of bacterial gene expression ER - TY - JOUR AB - Solid-state qubit manipulation and read-out fidelities are reaching fault-tolerance, but quantum error correction requires millions of physical qubits and therefore a scalable quantum computer architecture. To solve signal-line bandwidth and fan-out problems, microwave sources required for qubit manipulation might be embedded close to the qubit chip, typically operating at temperatures below 4 K. Here, we perform the first low temperature measurements of a 130 nm BiCMOS based SiGe voltage controlled oscillator at cryogenic temperature. We determined the frequency and output power dependence on temperature and magnetic field up to 5 T and measured the temperature influence on its noise performance. The device maintains its full functionality from 300 K to 4 K. The carrier frequency at 4 K increases by 3% with respect to the carrier frequency at 300 K, and the output power at 4 K increases by 10 dB relative to the output power at 300 K. The frequency tuning range of approximately 20% remains unchanged between 300 K and 4 K. In an in-plane magnetic field of 5 T, the carrier frequency shifts by only 0.02% compared to the frequency at zero magnetic field. AU - Hollmann, Arne AU - Jirovec, Daniel AU - Kucharski, Maciej AU - Kissinger, Dietmar AU - Fischer, Gunter AU - Schreiber, Lars R. ID - 5816 IS - 11 JF - Review of Scientific Instruments SN - 00346748 TI - 30 GHz-voltage controlled oscillator operating at 4 K VL - 89 ER - TY - THES AB - Antibiotic resistance can emerge spontaneously through genomic mutation and render treatment ineffective. To counteract this process, in addition to the discovery and description of resistance mechanisms,a deeper understanding of resistanceevolvabilityand its determinantsis needed. To address this challenge, this thesisuncoversnew genetic determinants of resistance evolvability using a customized robotic setup, exploressystematic ways in which resistance evolution is perturbed due to dose-responsecharacteristics of drugs and mutation rate differences,and mathematically investigates the evolutionary fate of one specific type of evolvability modifier -a stress-induced mutagenesis allele.We find severalgenes which strongly inhibit or potentiate resistance evolution. In order to identify them, we first developedan automated high-throughput feedback-controlled protocol whichkeeps the population size and selection pressure approximately constant for hundreds of cultures by dynamically re-diluting the cultures and adjusting the antibiotic concentration. We implementedthis protocol on a customized liquid handling robot and propagated 100 different gene deletion strains of Escherichia coliin triplicate for over 100 generations in tetracycline and in chloramphenicol, and comparedtheir adaptation rates.We find a diminishing returns pattern, where initially sensitive strains adapted more compared to less sensitive ones. Our data uncover that deletions of certain genes which do not affect mutation rate,including efflux pump components, a chaperone and severalstructural and regulatory genes can strongly and reproducibly alterresistance evolution. Sequencing analysis of evolved populations indicates that epistasis with resistance mutations is the most likelyexplanation. This work could inspire treatment strategies in which targeted inhibitors of evolvability mechanisms will be given alongside antibiotics to slow down resistance evolution and extend theefficacy of antibiotics.We implemented astochasticpopulation genetics model, toverifyways in which general properties, namely, dose-response characteristics of drugs and mutation rates, influence evolutionary dynamics. In particular, under the exposure to antibiotics with shallow dose-response curves,bacteria have narrower distributions of fitness effects of new mutations. We show that in silicothis also leads to slower resistance evolution. We see and confirm with experiments that increased mutation rates, apart from speeding up evolution, also leadto high reproducibility of phenotypic adaptation in a context of continually strong selection pressure.Knowledge of these patterns can aid in predicting the dynamics of antibiotic resistance evolutionand adapting treatment schemes accordingly.Focusing on a previously described type of evolvability modifier –a stress-induced mutagenesis allele –we find conditions under which it can persist in a population under periodic selectionakin to clinical treatment. We set up a deterministic infinite populationcontinuous time model tracking the frequencies of a mutator and resistance allele and evaluate various treatment schemes in how well they maintain a stress-induced mutator allele. In particular,a high diversity of stresses is crucial for the persistence of the mutator allele. This leads to a general trade-off where exactly those diversifying treatment schemes which are likely to decrease levels of resistance could lead to stronger selection of highly evolvable genotypes.In the long run, this work will lead to a deeper understanding of the genetic and cellular mechanisms involved in antibiotic resistance evolution and could inspire new strategies for slowing down its rate. AU - Lukacisinova, Marta ID - 6263 SN - 2663-337X TI - Genetic determinants of antibiotic resistance evolution ER - TY - JOUR AB - Drosophila melanogaster plasmatocytes, the phagocytic cells among hemocytes, are essential for immune responses, but also play key roles from early development to death through their interactions with other cell types. They regulate homeostasis and signaling during development, stem cell proliferation, metabolism, cancer, wound responses and aging, displaying intriguing molecular and functional conservation with vertebrate macrophages. Given the relative ease of genetics in Drosophila compared to vertebrates, tools permitting visualization and genetic manipulation of plasmatocytes and surrounding tissues independently at all stages would greatly aid in fully understanding these processes, but are lacking. Here we describe a comprehensive set of transgenic lines that allow this. These include extremely brightly fluorescing mCherry-based lines that allow GAL4-independent visualization of plasmatocyte nuclei, cytoplasm or actin cytoskeleton from embryonic Stage 8 through adulthood in both live and fixed samples even as heterozygotes, greatly facilitating screening. These lines allow live visualization and tracking of embryonic plasmatocytes, as well as larval plasmatocytes residing at the body wall or flowing with the surrounding hemolymph. With confocal imaging, interactions of plasmatocytes and inner tissues can be seen in live or fixed embryos, larvae and adults. They permit efficient GAL4-independent FACS analysis/sorting of plasmatocytes throughout life. To facilitate genetic analysis of reciprocal signaling, we have also made a plasmatocyte-expressing QF2 line that in combination with extant GAL4 drivers allows independent genetic manipulation of both plasmatocytes and surrounding tissues, and a GAL80 line that blocks GAL4 drivers from affecting plasmatocytes, both of which function from the early embryo to the adult. AU - György, Attila AU - Roblek, Marko AU - Ratheesh, Aparna AU - Valosková, Katarina AU - Belyaeva, Vera AU - Wachner, Stephanie AU - Matsubayashi, Yutaka AU - Sanchez Sanchez, Besaiz AU - Stramer, Brian AU - Siekhaus, Daria E ID - 544 IS - 3 JF - G3: Genes, Genomes, Genetics TI - Tools allowing independent visualization and genetic manipulation of Drosophila melanogaster macrophages and surrounding tissues VL - 8 ER - TY - JOUR AB - Metabotropic GABAB receptors mediate slow inhibitory effects presynaptically and postsynaptically through the modulation of different effector signalling pathways. Here, we analysed the distribution of GABAB receptors using highly sensitive SDS-digested freeze-fracture replica labelling in mouse cerebellar Purkinje cells. Immunoreactivity for GABAB1 was observed on presynaptic and, more abundantly, on postsynaptic compartments, showing both scattered and clustered distribution patterns. Quantitative analysis of immunoparticles revealed a somato-dendritic gradient, with the density of immunoparticles increasing 26-fold from somata to dendritic spines. To understand the spatial relationship of GABAB receptors with two key effector ion channels, the G protein-gated inwardly rectifying K+ (GIRK/Kir3) channel and the voltage-dependent Ca2+ channel, biochemical and immunohistochemical approaches were performed. Co-immunoprecipitation analysis demonstrated that GABAB receptors co-assembled with GIRK and CaV2.1 channels in the cerebellum. Using double-labelling immunoelectron microscopic techniques, co-clustering between GABAB1 and GIRK2 was detected in dendritic spines, whereas they were mainly segregated in the dendritic shafts. In contrast, co-clustering of GABAB1 and CaV2.1 was detected in dendritic shafts but not spines. Presynaptically, although no significant co-clustering of GABAB1 and GIRK2 or CaV2.1 channels was detected, inter-cluster distance for GABAB1 and GIRK2 was significantly smaller in the active zone than in the dendritic shafts, and that for GABAB1 and CaV2.1 was significantly smaller in the active zone than in the dendritic shafts and spines. Thus, GABAB receptors are associated with GIRK and CaV2.1 channels in different subcellular compartments. These data provide a better framework for understanding the different roles played by GABAB receptors and their effector ion channels in the cerebellar network. AU - Luján, Rafael AU - Aguado, Carolina AU - Ciruela, Francisco AU - Cózar, Javier AU - Kleindienst, David AU - De La Ossa, Luis AU - Bettler, Bernhard AU - Wickman, Kevin AU - Watanabe, Masahiko AU - Shigemoto, Ryuichi AU - Fukazawa, Yugo ID - 612 IS - 3 JF - Brain Structure and Function TI - Differential association of GABAB receptors with their effector ion channels in Purkinje cells VL - 223 ER - TY - JOUR AB - Parvalbumin-positive (PV+) GABAergic interneurons in hippocampal microcircuits are thought to play a key role in several higher network functions, such as feedforward and feedback inhibition, network oscillations, and pattern separation. Fast lateral inhibition mediated by GABAergic interneurons may implement a winner-takes-all mechanism in the hippocampal input layer. However, it is not clear whether the functional connectivity rules of granule cells (GCs) and interneurons in the dentate gyrus are consistent with such a mechanism. Using simultaneous patch-clamp recordings from up to seven GCs and up to four PV+ interneurons in the dentate gyrus, we find that connectivity is structured in space, synapse-specific, and enriched in specific disynaptic motifs. In contrast to the neocortex, lateral inhibition in the dentate gyrus (in which a GC inhibits neighboring GCs via a PV+ interneuron) is ~ 10-times more abundant than recurrent inhibition (in which a GC inhibits itself). Thus, unique connectivity rules may enable the dentate gyrus to perform specific higher-order computations AU - Espinoza Martinez, Claudia AU - Guzmán, José AU - Zhang, Xiaomin AU - Jonas, Peter M ID - 21 IS - 1 JF - Nature Communications TI - Parvalbumin+ interneurons obey unique connectivity rules and establish a powerful lateral-inhibition microcircuit in dentate gyrus VL - 9 ER - TY - CONF AB - Crypto-currencies are digital assets designed to work as a medium of exchange, e.g., Bitcoin, but they are susceptible to attacks (dishonest behavior of participants). A framework for the analysis of attacks in crypto-currencies requires (a) modeling of game-theoretic aspects to analyze incentives for deviation from honest behavior; (b) concurrent interactions between participants; and (c) analysis of long-term monetary gains. Traditional game-theoretic approaches for the analysis of security protocols consider either qualitative temporal properties such as safety and termination, or the very special class of one-shot (stateless) games. However, to analyze general attacks on protocols for crypto-currencies, both stateful analysis and quantitative objectives are necessary. In this work our main contributions are as follows: (a) we show how a class of concurrent mean-payo games, namely ergodic games, can model various attacks that arise naturally in crypto-currencies; (b) we present the first practical implementation of algorithms for ergodic games that scales to model realistic problems for crypto-currencies; and (c) we present experimental results showing that our framework can handle games with thousands of states and millions of transitions. AU - Chatterjee, Krishnendu AU - Goharshady, Amir AU - Ibsen-Jensen, Rasmus AU - Velner, Yaron ID - 66 SN - 978-3-95977-087-3 TI - Ergodic mean-payoff games for the analysis of attacks in crypto-currencies VL - 118 ER - TY - CONF AB - Smart contracts are computer programs that are executed by a network of mutually distrusting agents, without the need of an external trusted authority. Smart contracts handle and transfer assets of considerable value (in the form of crypto-currency like Bitcoin). Hence, it is crucial that their implementation is bug-free. We identify the utility (or expected payoff) of interacting with such smart contracts as the basic and canonical quantitative property for such contracts. We present a framework for such quantitative analysis of smart contracts. Such a formal framework poses new and novel research challenges in programming languages, as it requires modeling of game-theoretic aspects to analyze incentives for deviation from honest behavior and modeling utilities which are not specified as standard temporal properties such as safety and termination. While game-theoretic incentives have been analyzed in the security community, their analysis has been restricted to the very special case of stateless games. However, to analyze smart contracts, stateful analysis is required as it must account for the different program states of the protocol. Our main contributions are as follows: we present (i)~a simplified programming language for smart contracts; (ii)~an automatic translation of the programs to state-based games; (iii)~an abstraction-refinement approach to solve such games; and (iv)~experimental results on real-world-inspired smart contracts. AU - Chatterjee, Krishnendu AU - Goharshady, Amir AU - Velner, Yaron ID - 311 TI - Quantitative analysis of smart contracts VL - 10801 ER - TY - CONF AB - We present a secure approach for maintaining andreporting credit history records on the Blockchain. Our ap-proach removes third-parties such as credit reporting agen-cies from the lending process and replaces them with smartcontracts. This allows customers to interact directly with thelenders or banks while ensuring the integrity, unmalleabilityand privacy of their credit data. Additionally, each customerhas full control over complete or selective disclosure of hercredit records, eliminating the risk of privacy violations or databreaches. Moreover, our approach provides strong guaranteesfor the lenders as well. A lender can check both correctness andcompleteness of the credit data disclosed to her. This is the firstapproach that can perform all credit reporting tasks withouta central authority or changing the financial mechanisms*. AU - Goharshady, Amir Kafshdar AU - Behrouz, Ali AU - Chatterjee, Krishnendu ID - 6340 SN - 978-1-5386-7975-3 T2 - Proceedings of the IEEE International Conference on Blockchain TI - Secure Credit Reporting on the Blockchain ER -