@inbook{9756, abstract = {High-resolution visualization and quantification of membrane proteins contribute to the understanding of their functions and the roles they play in physiological and pathological conditions. Sodium dodecyl sulfate-digested freeze-fracture replica labeling (SDS-FRL) is a powerful electron microscopy method to study quantitatively the two-dimensional distribution of transmembrane proteins and their tightly associated proteins. During treatment with SDS, intracellular organelles and proteins not anchored to the replica are dissolved, whereas integral membrane proteins captured and stabilized by carbon/platinum deposition remain on the replica. Their intra- and extracellular domains become exposed on the surface of the replica, facilitating the accessibility of antibodies and, therefore, providing higher labeling efficiency than those obtained with other immunoelectron microscopy techniques. In this chapter, we describe the protocols of SDS-FRL adapted for mammalian brain samples, and optimization of the SDS treatment to increase the labeling efficiency for quantification of Cav2.1, the alpha subunit of P/Q-type voltage-dependent calcium channels utilizing deep learning algorithms.}, author = {Kaufmann, Walter and Kleindienst, David and Harada, Harumi and Shigemoto, Ryuichi}, booktitle = { Receptor and Ion Channel Detection in the Brain}, isbn = {9781071615218}, keywords = {Freeze-fracture replica: Deep learning, Immunogold labeling, Integral membrane protein, Electron microscopy}, pages = {267--283}, publisher = {Humana}, title = {{High-Resolution localization and quantitation of membrane proteins by SDS-digested freeze-fracture replica labeling (SDS-FRL)}}, doi = {10.1007/978-1-0716-1522-5_19}, volume = {169}, year = {2021}, } @phdthesis{8934, abstract = {In this thesis, we consider several of the most classical and fundamental problems in static analysis and formal verification, including invariant generation, reachability analysis, termination analysis of probabilistic programs, data-flow analysis, quantitative analysis of Markov chains and Markov decision processes, and the problem of data packing in cache management. We use techniques from parameterized complexity theory, polyhedral geometry, and real algebraic geometry to significantly improve the state-of-the-art, in terms of both scalability and completeness guarantees, for the mentioned problems. In some cases, our results are the first theoretical improvements for the respective problems in two or three decades.}, author = {Goharshady, Amir Kafshdar}, issn = {2663-337X}, pages = {278}, publisher = {Institute of Science and Technology Austria}, title = {{Parameterized and algebro-geometric advances in static program analysis}}, doi = {10.15479/AT:ISTA:8934}, year = {2021}, } @phdthesis{10307, abstract = {Bacteria-host interactions represent a continuous trade-off between benefit and risk. Thus, the host immune response is faced with a non-trivial problem – accommodate beneficial commensals and remove harmful pathogens. This is especially difficult as molecular patterns, such as lipopolysaccharide or specific surface organelles such as pili, are conserved in both, commensal and pathogenic bacteria. Type 1 pili, tightly regulated by phase variation, are considered an important virulence factor of pathogenic bacteria as they facilitate invasion into host cells. While invasion represents a de facto passive mechanism for pathogens to escape the host immune response, we demonstrate a fundamental role of type 1 pili as active modulators of the innate and adaptive immune response.}, author = {Tomasek, Kathrin}, issn = {2663-337X}, pages = {73}, publisher = {Institute of Science and Technology Austria}, title = {{Pathogenic Escherichia coli hijack the host immune response}}, doi = {10.15479/at:ista:10307}, year = {2021}, } @unpublished{10316, abstract = {A key attribute of persistent or recurring bacterial infections is the ability of the pathogen to evade the host’s immune response. Many Enterobacteriaceae express type 1 pili, a pre-adapted virulence trait, to invade host epithelial cells and establish persistent infections. However, the molecular mechanisms and strategies by which bacteria actively circumvent the immune response of the host remain poorly understood. Here, we identified CD14, the major co-receptor for lipopolysaccharide detection, on dendritic cells as a previously undescribed binding partner of FimH, the protein located at the tip of the type 1 pilus of Escherichia coli. The FimH amino acids involved in CD14 binding are highly conserved across pathogenic and non-pathogenic strains. Binding of pathogenic bacteria to CD14 lead to reduced dendritic cell migration and blunted expression of co-stimulatory molecules, both rate-limiting factors of T cell activation. While defining an active molecular mechanism of immune evasion by pathogens, the interaction between FimH and CD14 represents a potential target to interfere with persistent and recurrent infections, such as urinary tract infections or Crohn’s disease.}, author = {Tomasek, Kathrin and Leithner, Alexander F and Glatzová, Ivana and Lukesch, Michael S. and Guet, Calin C and Sixt, Michael K}, booktitle = {bioRxiv}, publisher = {Cold Spring Harbor Laboratory}, title = {{Type 1 piliated uropathogenic Escherichia coli hijack the host immune response by binding to CD14}}, doi = {10.1101/2021.10.18.464770}, year = {2021}, } @article{9010, abstract = {Availability of the essential macronutrient nitrogen in soil plays a critical role in plant growth, development, and impacts agricultural productivity. Plants have evolved different strategies for sensing and responding to heterogeneous nitrogen distribution. Modulation of root system architecture, including primary root growth and branching, is among the most essential plant adaptions to ensure adequate nitrogen acquisition. However, the immediate molecular pathways coordinating the adjustment of root growth in response to distinct nitrogen sources, such as nitrate or ammonium, are poorly understood. Here, we show that growth as manifested by cell division and elongation is synchronized by coordinated auxin flux between two adjacent outer tissue layers of the root. This coordination is achieved by nitrate‐dependent dephosphorylation of the PIN2 auxin efflux carrier at a previously uncharacterized phosphorylation site, leading to subsequent PIN2 lateralization and thereby regulating auxin flow between adjacent tissues. A dynamic computer model based on our experimental data successfully recapitulates experimental observations. Our study provides mechanistic insights broadening our understanding of root growth mechanisms in dynamic environments.}, author = {Ötvös, Krisztina and Marconi, Marco and Vega, Andrea and O’Brien, Jose and Johnson, Alexander J and Abualia, Rashed and Antonielli, Livio and Montesinos López, Juan C and Zhang, Yuzhou and Tan, Shutang and Cuesta, Candela and Artner, Christina and Bouguyon, Eleonore and Gojon, Alain and Friml, Jiří and Gutiérrez, Rodrigo A. and Wabnik, Krzysztof T and Benková, Eva}, issn = {14602075}, journal = {EMBO Journal}, number = {3}, publisher = {Embo Press}, title = {{Modulation of plant root growth by nitrogen source-defined regulation of polar auxin transport}}, doi = {10.15252/embj.2020106862}, volume = {40}, year = {2021}, }