TY - GEN AU - Pokusaeva, Victoria AU - Usmanova, Dinara R. AU - Putintseva, Ekaterina V. AU - Espinar, Lorena AU - Sarkisyan, Karen AU - Mishin, Alexander S. AU - Bogatyreva, Natalya S. AU - Ivankov, Dmitry AU - Akopyan, Arseniy AU - Povolotskaya, Inna S. AU - Filion, Guillaume J. AU - Carey, Lucas B. AU - Kondrashov, Fyodor ID - 9797 TI - A statistical summary of segment libraries and sequencing results ER - TY - GEN AU - Pokusaeva, Victoria AU - Usmanova, Dinara R. AU - Putintseva, Ekaterina V. AU - Espinar, Lorena AU - Sarkisyan, Karen AU - Mishin, Alexander S. AU - Bogatyreva, Natalya S. AU - Ivankov, Dmitry AU - Akopyan, Arseniy AU - Avvakumov, Sergey AU - Povolotskaya, Inna S. AU - Filion, Guillaume J. AU - Carey, Lucas B. AU - Kondrashov, Fyodor ID - 9789 TI - Multiple alignment of His3 orthologues ER - TY - CONF AB - A controller is a device that interacts with a plant. At each time point,it reads the plant’s state and issues commands with the goal that the plant oper-ates optimally. Constructing optimal controllers is a fundamental and challengingproblem. Machine learning techniques have recently been successfully applied totrain controllers, yet they have limitations. Learned controllers are monolithic andhard to reason about. In particular, it is difficult to add features without retraining,to guarantee any level of performance, and to achieve acceptable performancewhen encountering untrained scenarios. These limitations can be addressed bydeploying quantitative run-timeshieldsthat serve as a proxy for the controller.At each time point, the shield reads the command issued by the controller andmay choose to alter it before passing it on to the plant. We show how optimalshields that interfere as little as possible while guaranteeing a desired level ofcontroller performance, can be generated systematically and automatically usingreactive synthesis. First, we abstract the plant by building a stochastic model.Second, we consider the learned controller to be a black box. Third, we mea-surecontroller performanceandshield interferenceby two quantitative run-timemeasures that are formally defined using weighted automata. Then, the problemof constructing a shield that guarantees maximal performance with minimal inter-ference is the problem of finding an optimal strategy in a stochastic2-player game“controller versus shield” played on the abstract state space of the plant with aquantitative objective obtained from combining the performance and interferencemeasures. We illustrate the effectiveness of our approach by automatically con-structing lightweight shields for learned traffic-light controllers in various roadnetworks. The shields we generate avoid liveness bugs, improve controller per-formance in untrained and changing traffic situations, and add features to learnedcontrollers, such as giving priority to emergency vehicles. AU - Avni, Guy AU - Bloem, Roderick AU - Chatterjee, Krishnendu AU - Henzinger, Thomas A AU - Konighofer, Bettina AU - Pranger, Stefan ID - 6462 SN - 0302-9743 T2 - 31st International Conference on Computer-Aided Verification TI - Run-time optimization for learned controllers through quantitative games VL - 11561 ER - TY - JOUR AB - Thermalizing quantum systems are conventionallydescribed by statistical mechanics at equilib-rium. However, not all systems fall into this category, with many-body localization providinga generic mechanism for thermalization to fail in strongly disordered systems. Many-bodylocalized (MBL) systems remain perfect insulators at nonzero temperature, which do notthermalize and therefore cannot be describedusing statistical mechanics. This Colloquiumreviews recent theoretical and experimental advances in studies of MBL systems, focusing onthe new perspective provided by entanglement and nonequilibrium experimental probes suchas quantum quenches. Theoretically, MBL systems exhibit a new kind of robust integrability: anextensive set of quasilocal integrals of motion emerges, which provides an intuitive explanationof the breakdown of thermalization. A description based on quasilocal integrals of motion isused to predict dynamical properties of MBL systems, such as the spreading of quantumentanglement, the behavior of local observables, and the response to external dissipativeprocesses. Furthermore, MBL systems can exhibit eigenstate transitions and quantum ordersforbidden in thermodynamic equilibrium. An outline isgiven of the current theoretical under-standing of the quantum-to-classical transitionbetween many-body localized and ergodic phasesand anomalous transport in the vicinity of that transition. Experimentally, synthetic quantumsystems, which are well isolated from an external thermal reservoir, provide natural platforms forrealizing the MBL phase. Recent experiments with ultracold atoms, trapped ions, superconductingqubits, and quantum materials, in which different signatures of many-body localization have beenobserved, are reviewed. This Colloquium concludes by listing outstanding challenges andpromising future research directions. AU - Abanin, Dmitry A. AU - Altman, Ehud AU - Bloch, Immanuel AU - Serbyn, Maksym ID - 6477 IS - 2 JF - Reviews of Modern Physics SN - 1539-0756 TI - Colloquium: Many-body localization, thermalization, and entanglement VL - 91 ER - TY - JOUR AB - One of the most striking and consistent results in speciation genomics is the heterogeneous divergence observed across the genomes of closely related species. This pattern was initially attributed to different levels of gene exchange—with divergence preserved at loci generating a barrier to gene flow but homogenized at unlinked neutral loci. Although there is evidence to support this model, it is now recognized that interpreting patterns of divergence across genomes is not so straightforward. One problem is that heterogenous divergence between populations can also be generated by other processes (e.g. recurrent selective sweeps or background selection) without any involvement of differential gene flow. Thus, integrated studies that identify which loci are likely subject to divergent selection are required to shed light on the interplay between selection and gene flow during the early phases of speciation. In this issue of Molecular Ecology, Rifkin et al. (2019) confront this challenge using a pair of sister morning glory species. They wisely design their sampling to take the geographic context of individuals into account, including geographically isolated (allopatric) and co‐occurring (sympatric) populations. This enabled them to show that individuals are phenotypically less differentiated in sympatry. They also found that the loci that resist introgression are enriched for those most differentiated in allopatry and loci that exhibit signals of divergent selection. One great strength of the study is the combination of methods from population genetics and molecular evolution, including the development of a model to simultaneously infer admixture proportions and selfing rates. AU - Field, David AU - Fraisse, Christelle ID - 6466 IS - 7 JF - Molecular ecology TI - Breaking down barriers in morning glories VL - 28 ER - TY - JOUR AB - Tight control over protein degradation is a fundamental requirement for cells to respond rapidly to various stimuli and adapt to a fluctuating environment. Here we develop a versatile, easy-to-handle library of destabilizing tags (degrons) for the precise regulation of protein expression profiles in mammalian cells by modulating target protein half-lives in a predictable manner. Using the well-established tetracycline gene-regulation system as a model, we show that the dynamics of protein expression can be tuned by fusing appropriate degron tags to gene regulators. Next, we apply this degron library to tune a synthetic pulse-generating circuit in mammalian cells. With this toolbox we establish a set of pulse generators with tailored pulse lengths and magnitudes of protein expression. This methodology will prove useful in the functional roles of essential proteins, fine-tuning of gene-expression systems, and enabling a higher complexity in the design of synthetic biological systems in mammalian cells. AU - Chassin, Hélène AU - Müller, Marius AU - Tigges, Marcel AU - Scheller, Leo AU - Lang, Moritz AU - Fussenegger, Martin ID - 6465 IS - 1 JF - Nature Communications TI - A modular degron library for synthetic circuits in mammalian cells VL - 10 ER - TY - JOUR AB - Fitness interactions between mutations can influence a population’s evolution in many different ways. While epistatic effects are difficult to measure precisely, important information is captured by the mean and variance of log fitnesses for individuals carrying different numbers of mutations. We derive predictions for these quantities from a class of simple fitness landscapes, based on models of optimizing selection on quantitative traits. We also explore extensions to the models, including modular pleiotropy, variable effect sizes, mutational bias and maladaptation of the wild type. We illustrate our approach by reanalysing a large dataset of mutant effects in a yeast snoRNA (small nucleolar RNA). Though characterized by some large epistatic effects, these data give a good overall fit to the non-epistatic null model, suggesting that epistasis might have limited influence on the evolutionary dynamics in this system. We also show how the amount of epistasis depends on both the underlying fitness landscape and the distribution of mutations, and so is expected to vary in consistent ways between new mutations, standing variation and fixed mutations. AU - Fraisse, Christelle AU - Welch, John J. ID - 6467 IS - 4 JF - Biology Letters SN - 17449561 TI - The distribution of epistasis on simple fitness landscapes VL - 15 ER - TY - JOUR AB - Investigating neuronal activity using genetically encoded Ca2+ indicators in behaving animals is hampered by inaccuracies in spike inference from fluorescent tracers. Here we combine two‐photon [Ca2+] imaging with cell‐attached recordings, followed by post hoc determination of the expression level of GCaMP6f, to explore how it affects the amplitude, kinetics and temporal summation of somatic [Ca2+] transients in mouse hippocampal pyramidal cells (PCs). The amplitude of unitary [Ca2+] transients (evoked by a single action potential) negatively correlates with GCaMP6f expression, but displays large variability even among PCs with similarly low expression levels. The summation of fluorescence signals is frequency‐dependent, supralinear and also shows remarkable cell‐to‐cell variability. We performed experimental data‐based simulations and found that spike inference error rates using MLspike depend strongly on unitary peak amplitudes and GCaMP6f expression levels. We provide simple methods for estimating the unitary [Ca2+] transients in individual weakly GCaMP6f‐expressing PCs, with which we achieve spike inference error rates of ∼5%. AU - Éltes, Tímea AU - Szoboszlay, Miklos AU - Szigeti, Margit Katalin AU - Nusser, Zoltan ID - 6470 IS - 11 JF - Journal of Physiology SN - 00223751 TI - Improved spike inference accuracy by estimating the peak amplitude of unitary [Ca2+] transients in weakly GCaMP6f-expressing hippocampal pyramidal cells VL - 597 ER - TY - CONF AB - We present two algorithmic approaches for synthesizing linear hybrid automata from experimental data. Unlike previous approaches, our algorithms work without a template and generate an automaton with nondeterministic guards and invariants, and with an arbitrary number and topology of modes. They thus construct a succinct model from the data and provide formal guarantees. In particular, (1) the generated automaton can reproduce the data up to a specified tolerance and (2) the automaton is tight, given the first guarantee. Our first approach encodes the synthesis problem as a logical formula in the theory of linear arithmetic, which can then be solved by an SMT solver. This approach minimizes the number of modes in the resulting model but is only feasible for limited data sets. To address scalability, we propose a second approach that does not enforce to find a minimal model. The algorithm constructs an initial automaton and then iteratively extends the automaton based on processing new data. Therefore the algorithm is well-suited for online and synthesis-in-the-loop applications. The core of the algorithm is a membership query that checks whether, within the specified tolerance, a given data set can result from the execution of a given automaton. We solve this membership problem for linear hybrid automata by repeated reachability computations. We demonstrate the effectiveness of the algorithm on synthetic data sets and on cardiac-cell measurements. AU - Garcia Soto, Miriam AU - Henzinger, Thomas A AU - Schilling, Christian AU - Zeleznik, Luka ID - 6493 KW - Synthesis KW - Linear hybrid automaton KW - Membership SN - 0302-9743 T2 - 31st International Conference on Computer-Aided Verification TI - Membership-based synthesis of linear hybrid automata VL - 11561 ER - TY - GEN AB - Traditional concurrent programming involves manipulating shared mutable state. Alternatives to this programming style are communicating sequential processes (CSP) [1] and actor [2] models, which share data via explicit communication. Rendezvous channelis the common abstraction for communication between several processes, where senders and receivers perform a rendezvous handshake as a part of their protocol (senders wait for receivers and vice versa). Additionally to this, channels support the select expression. In this work, we present the first efficient lock-free channel algorithm, and compare it against Go [3] and Kotlin [4] baseline implementations. AU - Koval, Nikita AU - Alistarh, Dan-Adrian AU - Elizarov, Roman ID - 6485 SN - 9781450362252 T2 - Proceedings of the 24th Symposium on Principles and Practice of Parallel Programming TI - Lock-free channels for programming via communicating sequential processes ER - TY - JOUR AB - Root gravitropism is one of the most important processes allowing plant adaptation to the land environment. Auxin plays a central role in mediating root gravitropism, but how auxin contributes to gravitational perception and the subsequent response is still unclear. Here, we showed that the local auxin maximum/gradient within the root apex, which is generated by the PIN directional auxin transporters, regulates the expression of three key starch granule synthesis genes, SS4, PGM and ADG1, which in turn influence the accumulation of starch granules that serve as a statolith perceiving gravity. Moreover, using the cvxIAA‐ccvTIR1 system, we also showed that TIR1‐mediated auxin signaling is required for starch granule formation and gravitropic response within root tips. In addition, axr3 mutants showed reduced auxin‐mediated starch granule accumulation and disruption of gravitropism within the root apex. Our results indicate that auxin‐mediated statolith production relies on the TIR1/AFB‐AXR3‐mediated auxin signaling pathway. In summary, we propose a dual role for auxin in gravitropism: the regulation of both gravity perception and response. AU - Zhang, Yuzhou AU - He, P AU - Ma, X AU - Yang, Z AU - Pang, C AU - Yu, J AU - Wang, G AU - Friml, Jiří AU - Xiao, G ID - 6504 IS - 2 JF - New Phytologist SN - 0028-646x TI - Auxin-mediated statolith production for root gravitropism VL - 224 ER - TY - JOUR AB - How does environmental complexity affect the evolution of single genes? Here, we measured the effects of a set of Bacillus subtilis glutamate dehydrogenase mutants across 19 different environments—from phenotypically homogeneous single-cell populations in liquid media to heterogeneous biofilms, plant roots and soil populations. The effects of individual gene mutations on organismal fitness were highly reproducible in liquid cultures. However, 84% of the tested alleles showed opposing fitness effects under different growth conditions (sign environmental pleiotropy). In colony biofilms and soil samples, different alleles dominated in parallel replica experiments. Accordingly, we found that in these heterogeneous cell populations the fate of mutations was dictated by a combination of selection and drift. The latter relates to programmed prophage excisions that occurred during biofilm development. Overall, for each condition, a wide range of glutamate dehydrogenase mutations persisted and sometimes fixated as a result of the combined action of selection, pleiotropy and chance. However, over longer periods and in multiple environments, nearly all of this diversity would be lost—across all the environments and conditions that we tested, the wild type was the fittest allele. AU - Noda-García, Lianet AU - Davidi, Dan AU - Korenblum, Elisa AU - Elazar, Assaf AU - Putintseva, Ekaterina AU - Aharoni, Asaph AU - Tawfik, Dan S. ID - 6506 IS - 7 JF - Nature Microbiology SN - 2058-5276 TI - Chance and pleiotropy dominate genetic diversity in complex bacterial environments VL - 4 ER - TY - JOUR AB - Microglia have emerged as a critical component of neurodegenerative diseases. Genetic manipulation of microglia can elucidate their functional impact in disease. In neuroscience, recombinant viruses such as lentiviruses and adeno-associated viruses (AAVs) have been successfully used to target various cell types in the brain, although effective transduction of microglia is rare. In this review, we provide a short background of lentiviruses and AAVs, and strategies for designing recombinant viral vectors. Then, we will summarize recent literature on successful microglial transductions in vitro and in vivo, and discuss the current challenges. Finally, we provide guidelines for reporting the efficiency and specificity of viral targeting in microglia, which will enable the microglial research community to assess and improve methodologies for future studies. AU - Maes, Margaret E AU - Colombo, Gloria AU - Schulz, Rouven AU - Siegert, Sandra ID - 6521 JF - Neuroscience Letters SN - 0304-3940 TI - Targeting microglia with lentivirus and AAV: Recent advances and remaining challenges VL - 707 ER - TY - JOUR AB - Adult intestinal stem cells are located at the bottom of crypts of Lieberkühn, where they express markers such as LGR5 1,2 and fuel the constant replenishment of the intestinal epithelium1. Although fetal LGR5-expressing cells can give rise to adult intestinal stem cells3,4, it remains unclear whether this population in the patterned epithelium represents unique intestinal stem-cell precursors. Here we show, using unbiased quantitative lineage-tracing approaches, biophysical modelling and intestinal transplantation, that all cells of the mouse intestinal epithelium—irrespective of their location and pattern of LGR5 expression in the fetal gut tube—contribute actively to the adult intestinal stem cell pool. Using 3D imaging, we find that during fetal development the villus undergoes gross remodelling and fission. This brings epithelial cells from the non-proliferative villus into the proliferative intervillus region, which enables them to contribute to the adult stem-cell niche. Our results demonstrate that large-scale remodelling of the intestinal wall and cell-fate specification are closely linked. Moreover, these findings provide a direct link between the observed plasticity and cellular reprogramming of differentiating cells in adult tissues following damage5,6,7,8,9, revealing that stem-cell identity is an induced rather than a hardwired property. AU - Guiu, Jordi AU - Hannezo, Edouard B AU - Yui, Shiro AU - Demharter, Samuel AU - Ulyanchenko, Svetlana AU - Maimets, Martti AU - Jørgensen, Anne AU - Perlman, Signe AU - Lundvall, Lene AU - Mamsen, Linn Salto AU - Larsen, Agnete AU - Olesen, Rasmus H. AU - Andersen, Claus Yding AU - Thuesen, Lea Langhoff AU - Hare, Kristine Juul AU - Pers, Tune H. AU - Khodosevich, Konstantin AU - Simons, Benjamin D. AU - Jensen, Kim B. ID - 6513 JF - Nature SN - 00280836 TI - Tracing the origin of adult intestinal stem cells VL - 570 ER - TY - JOUR AB - Optogenetics enables the spatio-temporally precise control of cell and animal behavior. Many optogenetic tools are driven by light-controlled protein–protein interactions (PPIs) that are repurposed from natural light-sensitive domains (LSDs). Applying light-controlled PPIs to new target proteins is challenging because it is difficult to predict which of the many available LSDs, if any, will yield robust light regulation. As a consequence, fusion protein libraries need to be prepared and tested, but methods and platforms to facilitate this process are currently not available. Here, we developed a genetic engineering strategy and vector library for the rapid generation of light-controlled PPIs. The strategy permits fusing a target protein to multiple LSDs efficiently and in two orientations. The public and expandable library contains 29 vectors with blue, green or red light-responsive LSDs, many of which have been previously applied ex vivo and in vivo. We demonstrate the versatility of the approach and the necessity for sampling LSDs by generating light-activated caspase-9 (casp9) enzymes. Collectively, this work provides a new resource for optical regulation of a broad range of target proteins in cell and developmental biology. AU - Tichy, Alexandra-Madelaine AU - Gerrard, Elliot J. AU - Legrand, Julien M.D. AU - Hobbs, Robin M. AU - Janovjak, Harald L ID - 6564 IS - 17 JF - Journal of Molecular Biology SN - 00222836 TI - Engineering strategy and vector library for the rapid generation of modular light-controlled protein–protein interactions VL - 431 ER - TY - JOUR AB - When animals become sick, infected cells and an armada of activated immune cells attempt to eliminate the pathogen from the body. Once infectious particles have breached the body's physical barriers of the skin or gut lining, an initially local response quickly escalates into a systemic response, attracting mobile immune cells to the site of infection. These cells complement the initial, unspecific defense with a more specialized, targeted response. This can also provide long-term immune memory and protection against future infection. The cell-autonomous defenses of the infected cells are thus aided by the actions of recruited immune cells. These specialized cells are the most mobile cells in the body, constantly patrolling through the otherwise static tissue to detect incoming pathogens. Such constant immune surveillance means infections are noticed immediately and can be rapidly cleared from the body. Some immune cells also remove infected cells that have succumbed to infection. All this prevents pathogen replication and spread to healthy tissues. Although this may involve the sacrifice of some somatic tissue, this is typically replaced quickly. Particular care is, however, given to the reproductive organs, which should always remain disease free (immune privilege). AU - Cremer, Sylvia ID - 6552 IS - 11 JF - Current Biology SN - 09609822 TI - Social immunity in insects VL - 29 ER - TY - JOUR AB - Let U and V be two independent N by N random matrices that are distributed according to Haar measure on U(N). Let Σ be a nonnegative deterministic N by N matrix. The single ring theorem [Ann. of Math. (2) 174 (2011) 1189–1217] asserts that the empirical eigenvalue distribution of the matrix X:=UΣV∗ converges weakly, in the limit of large N, to a deterministic measure which is supported on a single ring centered at the origin in ℂ. Within the bulk regime, that is, in the interior of the single ring, we establish the convergence of the empirical eigenvalue distribution on the optimal local scale of order N−1/2+ε and establish the optimal convergence rate. The same results hold true when U and V are Haar distributed on O(N). AU - Bao, Zhigang AU - Erdös, László AU - Schnelli, Kevin ID - 6511 IS - 3 JF - Annals of Probability SN - 00911798 TI - Local single ring theorem on optimal scale VL - 47 ER - TY - JOUR AB - Branching morphogenesis is a prototypical example of complex three-dimensional organ sculpting, required in multiple developmental settings to maximize the area of exchange surfaces. It requires, in particular, the coordinated growth of different cell types together with complex patterning to lead to robust macroscopic outputs. In recent years, novel multiscale quantitative biology approaches, together with biophysical modelling, have begun to shed new light of this topic. Here, we wish to review some of these recent developments, highlighting the generic design principles that can be abstracted across different branched organs, as well as the implications for the broader fields of stem cell, developmental and systems biology. AU - Hannezo, Edouard B AU - Simons, Benjamin D. ID - 6559 JF - Current Opinion in Cell Biology SN - 09550674 TI - Multiscale dynamics of branching morphogenesis VL - 60 ER - TY - JOUR AB - Methodologies that involve the use of nanoparticles as “artificial atoms” to rationally build materials in a bottom-up fashion are particularly well-suited to control the matter at the nanoscale. Colloidal synthetic routes allow for an exquisite control over such “artificial atoms” in terms of size, shape, and crystal phase as well as core and surface compositions. We present here a bottom-up approach to produce Pb–Ag–K–S–Te nanocomposites, which is a highly promising system for thermoelectric energy conversion. First, we developed a high-yield and scalable colloidal synthesis route to uniform lead sulfide (PbS) nanorods, whose tips are made of silver sulfide (Ag2S). We then took advantage of the large surface-to-volume ratio to introduce a p-type dopant (K) by replacing native organic ligands with K2Te. Upon thermal consolidation, K2Te-surface modified PbS–Ag2S nanorods yield p-type doped nanocomposites with PbTe and PbS as major phases and Ag2S and Ag2Te as embedded nanoinclusions. Thermoelectric characterization of such consolidated nanosolids showed a high thermoelectric figure-of-merit of 1 at 620 K. AU - Ibáñez, Maria AU - Genç, Aziz AU - Hasler, Roger AU - Liu, Yu AU - Dobrozhan, Oleksandr AU - Nazarenko, Olga AU - Mata, María de la AU - Arbiol, Jordi AU - Cabot, Andreu AU - Kovalenko, Maksym V. ID - 6566 IS - 6 JF - ACS Nano KW - colloidal nanoparticles KW - asymmetric nanoparticles KW - inorganic ligands KW - heterostructures KW - catalyst assisted growth KW - nanocomposites KW - thermoelectrics SN - 1936-0851 TI - Tuning transport properties in thermoelectric nanocomposites through inorganic ligands and heterostructured building blocks VL - 13 ER - TY - JOUR AB - Acute myeloid leukemia (AML) is a heterogeneous disease with respect to its genetic and molecular basis and to patients´ outcome. Clinical, cytogenetic, and mutational data are used to classify patients into risk groups with different survival, however, within-group heterogeneity is still an issue. Here, we used a robust likelihood-based survival modeling approach and publicly available gene expression data to identify a minimal number of genes whose combined expression values were prognostic of overall survival. The resulting gene expression signature (4-GES) consisted of 4 genes (SOCS2, IL2RA, NPDC1, PHGDH), predicted patient survival as an independent prognostic parameter in several cohorts of AML patients (total, 1272 patients), and further refined prognostication based on the European Leukemia Net classification. An oncogenic role of the top scoring gene in this signature, SOCS2, was investigated using MLL-AF9 and Flt3-ITD/NPM1c driven mouse models of AML. SOCS2 promoted leukemogenesis as well as the abundance, quiescence, and activity of AML stem cells. Overall, the 4-GES represents a highly discriminating prognostic parameter in AML, whose clinical applicability is greatly enhanced by its small number of genes. The newly established role of SOCS2 in leukemia aggressiveness and stemness raises the possibility that the signature might even be exploitable therapeutically. AU - Nguyen, Chi Huu AU - Glüxam, Tobias AU - Schlerka, Angela AU - Bauer, Katharina AU - Grandits, Alexander M. AU - Hackl, Hubert AU - Dovey, Oliver AU - Zöchbauer-Müller, Sabine AU - Cooper, Jonathan L. AU - Vassiliou, George S. AU - Stoiber, Dagmar AU - Wieser, Rotraud AU - Heller, Gerwin ID - 6607 IS - 1 JF - Scientific Reports TI - SOCS2 is part of a highly prognostic 4-gene signature in AML and promotes disease aggressiveness VL - 9 ER -