--- _id: '303' abstract: - lang: eng text: The theory of tropical series, that we develop here, firstly appeared in the study of the growth of pluriharmonic functions. Motivated by waves in sandpile models we introduce a dynamic on the set of tropical series, and it is experimentally observed that this dynamic obeys a power law. So, this paper serves as a compilation of results we need for other articles and also introduces several objects interesting by themselves. acknowledgement: The first author, Nikita Kalinin, is funded by SNCF PostDoc.Mobility grant 168647. Support from the Basic Research Program of the National Research University Higher School of Economics is gratefully acknowledged. The second author, Mikhail Shkolnikov, is supported in part by the grant 159240 of the Swiss National Science Foundation as well as by the National Center of Competence in Research SwissMAP of the Swiss National Science Foundation. article_processing_charge: No author: - first_name: Nikita full_name: Kalinin, Nikita last_name: Kalinin - first_name: Mikhail full_name: Shkolnikov, Mikhail id: 35084A62-F248-11E8-B48F-1D18A9856A87 last_name: Shkolnikov orcid: 0000-0002-4310-178X citation: ama: Kalinin N, Shkolnikov M. Introduction to tropical series and wave dynamic on them. Discrete and Continuous Dynamical Systems- Series A. 2018;38(6):2827-2849. doi:10.3934/dcds.2018120 apa: Kalinin, N., & Shkolnikov, M. (2018). Introduction to tropical series and wave dynamic on them. Discrete and Continuous Dynamical Systems- Series A. AIMS. https://doi.org/10.3934/dcds.2018120 chicago: Kalinin, Nikita, and Mikhail Shkolnikov. “Introduction to Tropical Series and Wave Dynamic on Them.” Discrete and Continuous Dynamical Systems- Series A. AIMS, 2018. https://doi.org/10.3934/dcds.2018120. ieee: N. Kalinin and M. Shkolnikov, “Introduction to tropical series and wave dynamic on them,” Discrete and Continuous Dynamical Systems- Series A, vol. 38, no. 6. AIMS, pp. 2827–2849, 2018. ista: Kalinin N, Shkolnikov M. 2018. Introduction to tropical series and wave dynamic on them. Discrete and Continuous Dynamical Systems- Series A. 38(6), 2827–2849. mla: Kalinin, Nikita, and Mikhail Shkolnikov. “Introduction to Tropical Series and Wave Dynamic on Them.” Discrete and Continuous Dynamical Systems- Series A, vol. 38, no. 6, AIMS, 2018, pp. 2827–49, doi:10.3934/dcds.2018120. short: N. Kalinin, M. Shkolnikov, Discrete and Continuous Dynamical Systems- Series A 38 (2018) 2827–2849. date_created: 2018-12-11T11:45:43Z date_published: 2018-06-01T00:00:00Z date_updated: 2023-09-12T07:45:37Z day: '01' department: - _id: TaHa doi: 10.3934/dcds.2018120 external_id: arxiv: - '1706.03062' isi: - '000438818400007' intvolume: ' 38' isi: 1 issue: '6' language: - iso: eng main_file_link: - open_access: '1' url: https://arxiv.org/abs/1706.03062 month: '06' oa: 1 oa_version: Submitted Version page: 2827 - 2849 publication: Discrete and Continuous Dynamical Systems- Series A publication_status: published publisher: AIMS publist_id: '7576' quality_controlled: '1' scopus_import: '1' status: public title: Introduction to tropical series and wave dynamic on them type: journal_article user_id: c635000d-4b10-11ee-a964-aac5a93f6ac1 volume: 38 year: '2018' ... --- _id: '282' abstract: - lang: eng text: Adaptive introgression is common in nature and can be driven by selection acting on multiple, linked genes. We explore the effects of polygenic selection on introgression under the infinitesimal model with linkage. This model assumes that the introgressing block has an effectively infinite number of genes, each with an infinitesimal effect on the trait under selection. The block is assumed to introgress under directional selection within a native population that is genetically homogeneous. We use individual-based simulations and a branching process approximation to compute various statistics of the introgressing block, and explore how these depend on parameters such as the map length and initial trait value associated with the introgressing block, the genetic variability along the block, and the strength of selection. Our results show that the introgression dynamics of a block under infinitesimal selection is qualitatively different from the dynamics of neutral introgression. We also find that in the long run, surviving descendant blocks are likely to have intermediate lengths, and clarify how the length is shaped by the interplay between linkage and infinitesimal selection. Our results suggest that it may be difficult to distinguish introgression of single loci from that of genomic blocks with multiple, tightly linked and weakly selected loci. article_processing_charge: No author: - first_name: Himani full_name: Sachdeva, Himani id: 42377A0A-F248-11E8-B48F-1D18A9856A87 last_name: Sachdeva - first_name: Nicholas H full_name: Barton, Nicholas H id: 4880FE40-F248-11E8-B48F-1D18A9856A87 last_name: Barton orcid: 0000-0002-8548-5240 citation: ama: Sachdeva H, Barton NH. Introgression of a block of genome under infinitesimal selection. Genetics. 2018;209(4):1279-1303. doi:10.1534/genetics.118.301018 apa: Sachdeva, H., & Barton, N. H. (2018). Introgression of a block of genome under infinitesimal selection. Genetics. Genetics Society of America. https://doi.org/10.1534/genetics.118.301018 chicago: Sachdeva, Himani, and Nicholas H Barton. “Introgression of a Block of Genome under Infinitesimal Selection.” Genetics. Genetics Society of America, 2018. https://doi.org/10.1534/genetics.118.301018. ieee: H. Sachdeva and N. H. Barton, “Introgression of a block of genome under infinitesimal selection,” Genetics, vol. 209, no. 4. Genetics Society of America, pp. 1279–1303, 2018. ista: Sachdeva H, Barton NH. 2018. Introgression of a block of genome under infinitesimal selection. Genetics. 209(4), 1279–1303. mla: Sachdeva, Himani, and Nicholas H. Barton. “Introgression of a Block of Genome under Infinitesimal Selection.” Genetics, vol. 209, no. 4, Genetics Society of America, 2018, pp. 1279–303, doi:10.1534/genetics.118.301018. short: H. Sachdeva, N.H. Barton, Genetics 209 (2018) 1279–1303. date_created: 2018-12-11T11:45:36Z date_published: 2018-08-01T00:00:00Z date_updated: 2023-09-13T08:22:32Z day: '01' department: - _id: NiBa doi: 10.1534/genetics.118.301018 external_id: isi: - '000440014100020' intvolume: ' 209' isi: 1 issue: '4' language: - iso: eng main_file_link: - open_access: '1' url: https://www.biorxiv.org/content/early/2017/11/30/227082 month: '08' oa: 1 oa_version: Submitted Version page: 1279 - 1303 publication: Genetics publication_status: published publisher: Genetics Society of America publist_id: '7617' quality_controlled: '1' scopus_import: '1' status: public title: Introgression of a block of genome under infinitesimal selection type: journal_article user_id: c635000d-4b10-11ee-a964-aac5a93f6ac1 volume: 209 year: '2018' ... --- _id: '108' abstract: - lang: eng text: Universal hashing found a lot of applications in computer science. In cryptography the most important fact about universal families is the so called Leftover Hash Lemma, proved by Impagliazzo, Levin and Luby. In the language of modern cryptography it states that almost universal families are good extractors. In this work we provide a somewhat surprising characterization in the opposite direction. Namely, every extractor with sufficiently good parameters yields a universal family on a noticeable fraction of its inputs. Our proof technique is based on tools from extremal graph theory applied to the \'collision graph\' induced by the extractor, and may be of independent interest. We discuss possible applications to the theory of randomness extractors and non-malleable codes. alternative_title: - ISIT Proceedings article_processing_charge: No author: - first_name: Marciej full_name: Obremski, Marciej last_name: Obremski - first_name: Maciej full_name: Skorski, Maciej id: EC09FA6A-02D0-11E9-8223-86B7C91467DD last_name: Skorski citation: ama: 'Obremski M, Skórski M. Inverted leftover hash lemma. In: Vol 2018. IEEE; 2018. doi:10.1109/ISIT.2018.8437654' apa: 'Obremski, M., & Skórski, M. (2018). Inverted leftover hash lemma (Vol. 2018). Presented at the ISIT: International Symposium on Information Theory, Vail, CO, USA: IEEE. https://doi.org/10.1109/ISIT.2018.8437654' chicago: Obremski, Marciej, and Maciej Skórski. “Inverted Leftover Hash Lemma,” Vol. 2018. IEEE, 2018. https://doi.org/10.1109/ISIT.2018.8437654. ieee: 'M. Obremski and M. Skórski, “Inverted leftover hash lemma,” presented at the ISIT: International Symposium on Information Theory, Vail, CO, USA, 2018, vol. 2018.' ista: 'Obremski M, Skórski M. 2018. Inverted leftover hash lemma. ISIT: International Symposium on Information Theory, ISIT Proceedings, vol. 2018.' mla: Obremski, Marciej, and Maciej Skórski. Inverted Leftover Hash Lemma. Vol. 2018, IEEE, 2018, doi:10.1109/ISIT.2018.8437654. short: M. Obremski, M. Skórski, in:, IEEE, 2018. conference: end_date: 2018-06-22 location: Vail, CO, USA name: 'ISIT: International Symposium on Information Theory' start_date: '2018-06-17 ' date_created: 2018-12-11T11:44:40Z date_published: 2018-08-16T00:00:00Z date_updated: 2023-09-13T08:23:18Z day: '16' department: - _id: KrPi doi: 10.1109/ISIT.2018.8437654 external_id: isi: - '000448139300368' intvolume: ' 2018' isi: 1 language: - iso: eng main_file_link: - open_access: '1' url: https://eprint.iacr.org/2017/507 month: '08' oa: 1 oa_version: Submitted Version publication_status: published publisher: IEEE publist_id: '7946' quality_controlled: '1' scopus_import: '1' status: public title: Inverted leftover hash lemma type: conference user_id: c635000d-4b10-11ee-a964-aac5a93f6ac1 volume: 2018 year: '2018' ... --- _id: '160' abstract: - lang: eng text: We present layered concurrent programs, a compact and expressive notation for specifying refinement proofs of concurrent programs. A layered concurrent program specifies a sequence of connected concurrent programs, from most concrete to most abstract, such that common parts of different programs are written exactly once. These programs are expressed in the ordinary syntax of imperative concurrent programs using gated atomic actions, sequencing, choice, and (recursive) procedure calls. Each concurrent program is automatically extracted from the layered program. We reduce refinement to the safety of a sequence of concurrent checker programs, one each to justify the connection between every two consecutive concurrent programs. These checker programs are also automatically extracted from the layered program. Layered concurrent programs have been implemented in the CIVL verifier which has been successfully used for the verification of several complex concurrent programs. alternative_title: - LNCS article_processing_charge: No author: - first_name: Bernhard full_name: Kragl, Bernhard id: 320FC952-F248-11E8-B48F-1D18A9856A87 last_name: Kragl orcid: 0000-0001-7745-9117 - first_name: Shaz full_name: Qadeer, Shaz last_name: Qadeer citation: ama: 'Kragl B, Qadeer S. Layered Concurrent Programs. In: Vol 10981. Springer; 2018:79-102. doi:10.1007/978-3-319-96145-3_5' apa: 'Kragl, B., & Qadeer, S. (2018). Layered Concurrent Programs (Vol. 10981, pp. 79–102). Presented at the CAV: Computer Aided Verification, Oxford, UK: Springer. https://doi.org/10.1007/978-3-319-96145-3_5' chicago: Kragl, Bernhard, and Shaz Qadeer. “Layered Concurrent Programs,” 10981:79–102. Springer, 2018. https://doi.org/10.1007/978-3-319-96145-3_5. ieee: 'B. Kragl and S. Qadeer, “Layered Concurrent Programs,” presented at the CAV: Computer Aided Verification, Oxford, UK, 2018, vol. 10981, pp. 79–102.' ista: 'Kragl B, Qadeer S. 2018. Layered Concurrent Programs. CAV: Computer Aided Verification, LNCS, vol. 10981, 79–102.' mla: Kragl, Bernhard, and Shaz Qadeer. Layered Concurrent Programs. Vol. 10981, Springer, 2018, pp. 79–102, doi:10.1007/978-3-319-96145-3_5. short: B. Kragl, S. Qadeer, in:, Springer, 2018, pp. 79–102. conference: end_date: 2018-07-17 location: Oxford, UK name: 'CAV: Computer Aided Verification' start_date: 2018-07-14 date_created: 2018-12-11T11:44:57Z date_published: 2018-07-18T00:00:00Z date_updated: 2023-09-13T08:45:09Z day: '18' ddc: - '000' department: - _id: ToHe doi: 10.1007/978-3-319-96145-3_5 external_id: isi: - '000491481600005' file: - access_level: open_access checksum: c64fff560fe5a7532ec10626ad1c215e content_type: application/pdf creator: dernst date_created: 2018-12-17T12:52:12Z date_updated: 2020-07-14T12:45:04Z file_id: '5705' file_name: 2018_LNCS_Kragl.pdf file_size: 1603844 relation: main_file file_date_updated: 2020-07-14T12:45:04Z has_accepted_license: '1' intvolume: ' 10981' isi: 1 language: - iso: eng month: '07' oa: 1 oa_version: Published Version page: 79 - 102 project: - _id: 25F42A32-B435-11E9-9278-68D0E5697425 call_identifier: FWF grant_number: Z211 name: The Wittgenstein Prize - _id: 25832EC2-B435-11E9-9278-68D0E5697425 call_identifier: FWF grant_number: S 11407_N23 name: Rigorous Systems Engineering publication_status: published publisher: Springer publist_id: '7761' quality_controlled: '1' related_material: record: - id: '8332' relation: dissertation_contains status: public scopus_import: '1' status: public title: Layered Concurrent Programs tmp: image: /images/cc_by.png legal_code_url: https://creativecommons.org/licenses/by/4.0/legalcode name: Creative Commons Attribution 4.0 International Public License (CC-BY 4.0) short: CC BY (4.0) type: conference user_id: c635000d-4b10-11ee-a964-aac5a93f6ac1 volume: 10981 year: '2018' ... --- _id: '82' abstract: - lang: eng text: In experimental cultures, when bacteria are mixed with lytic (virulent) bacteriophage, bacterial cells resistant to the phage commonly emerge and become the dominant population of bacteria. Following the ascent of resistant mutants, the densities of bacteria in these simple communities become limited by resources rather than the phage. Despite the evolution of resistant hosts, upon which the phage cannot replicate, the lytic phage population is most commonly maintained in an apparently stable state with the resistant bacteria. Several mechanisms have been put forward to account for this result. Here we report the results of population dynamic/evolution experiments with a virulent mutant of phage Lambda, λVIR, and Escherichia coli in serial transfer cultures. We show that, following the ascent of λVIR-resistant bacteria, λVIRis maintained in the majority of cases in maltose-limited minimal media and in all cases in nutrient-rich broth. Using mathematical models and experiments, we show that the dominant mechanism responsible for maintenance of λVIRin these resource-limited populations dominated by resistant E. coli is a high rate of either phenotypic or genetic transition from resistance to susceptibility—a hitherto undemonstrated mechanism we term "leaky resistance." We discuss the implications of leaky resistance to our understanding of the conditions for the maintenance of phage in populations of bacteria—their “existence conditions.”. article_number: '2005971' article_processing_charge: Yes author: - first_name: Waqas full_name: Chaudhry, Waqas last_name: Chaudhry - first_name: Maros full_name: Pleska, Maros id: 4569785E-F248-11E8-B48F-1D18A9856A87 last_name: Pleska orcid: 0000-0001-7460-7479 - first_name: Nilang full_name: Shah, Nilang last_name: Shah - first_name: Howard full_name: Weiss, Howard last_name: Weiss - first_name: Ingrid full_name: Mccall, Ingrid last_name: Mccall - first_name: Justin full_name: Meyer, Justin last_name: Meyer - first_name: Animesh full_name: Gupta, Animesh last_name: Gupta - first_name: Calin C full_name: Guet, Calin C id: 47F8433E-F248-11E8-B48F-1D18A9856A87 last_name: Guet orcid: 0000-0001-6220-2052 - first_name: Bruce full_name: Levin, Bruce last_name: Levin citation: ama: Chaudhry W, Pleska M, Shah N, et al. Leaky resistance and the conditions for the existence of lytic bacteriophage. PLoS Biology. 2018;16(8). doi:10.1371/journal.pbio.2005971 apa: Chaudhry, W., Pleska, M., Shah, N., Weiss, H., Mccall, I., Meyer, J., … Levin, B. (2018). Leaky resistance and the conditions for the existence of lytic bacteriophage. PLoS Biology. Public Library of Science. https://doi.org/10.1371/journal.pbio.2005971 chicago: Chaudhry, Waqas, Maros Pleska, Nilang Shah, Howard Weiss, Ingrid Mccall, Justin Meyer, Animesh Gupta, Calin C Guet, and Bruce Levin. “Leaky Resistance and the Conditions for the Existence of Lytic Bacteriophage.” PLoS Biology. Public Library of Science, 2018. https://doi.org/10.1371/journal.pbio.2005971. ieee: W. Chaudhry et al., “Leaky resistance and the conditions for the existence of lytic bacteriophage,” PLoS Biology, vol. 16, no. 8. Public Library of Science, 2018. ista: Chaudhry W, Pleska M, Shah N, Weiss H, Mccall I, Meyer J, Gupta A, Guet CC, Levin B. 2018. Leaky resistance and the conditions for the existence of lytic bacteriophage. PLoS Biology. 16(8), 2005971. mla: Chaudhry, Waqas, et al. “Leaky Resistance and the Conditions for the Existence of Lytic Bacteriophage.” PLoS Biology, vol. 16, no. 8, 2005971, Public Library of Science, 2018, doi:10.1371/journal.pbio.2005971. short: W. Chaudhry, M. Pleska, N. Shah, H. Weiss, I. Mccall, J. Meyer, A. Gupta, C.C. Guet, B. Levin, PLoS Biology 16 (2018). date_created: 2018-12-11T11:44:32Z date_published: 2018-08-16T00:00:00Z date_updated: 2023-09-13T08:45:41Z day: '16' ddc: - '570' department: - _id: CaGu doi: 10.1371/journal.pbio.2005971 external_id: isi: - '000443383300024' file: - access_level: open_access checksum: 527076f78265cd4ea192cd1569851587 content_type: application/pdf creator: dernst date_created: 2018-12-17T12:55:31Z date_updated: 2020-07-14T12:48:10Z file_id: '5706' file_name: 2018_Plos_Chaudhry.pdf file_size: 4007095 relation: main_file file_date_updated: 2020-07-14T12:48:10Z has_accepted_license: '1' intvolume: ' 16' isi: 1 issue: '8' language: - iso: eng month: '08' oa: 1 oa_version: Published Version publication: PLoS Biology publication_status: published publisher: Public Library of Science publist_id: '7972' quality_controlled: '1' related_material: record: - id: '9810' relation: research_data status: public scopus_import: '1' status: public title: Leaky resistance and the conditions for the existence of lytic bacteriophage tmp: image: /images/cc_by.png legal_code_url: https://creativecommons.org/licenses/by/4.0/legalcode name: Creative Commons Attribution 4.0 International Public License (CC-BY 4.0) short: CC BY (4.0) type: journal_article user_id: c635000d-4b10-11ee-a964-aac5a93f6ac1 volume: 16 year: '2018' ... --- _id: '4' abstract: - lang: eng text: We present a data-driven technique to instantly predict how fluid flows around various three-dimensional objects. Such simulation is useful for computational fabrication and engineering, but is usually computationally expensive since it requires solving the Navier-Stokes equation for many time steps. To accelerate the process, we propose a machine learning framework which predicts aerodynamic forces and velocity and pressure fields given a threedimensional shape input. Handling detailed free-form three-dimensional shapes in a data-driven framework is challenging because machine learning approaches usually require a consistent parametrization of input and output. We present a novel PolyCube maps-based parametrization that can be computed for three-dimensional shapes at interactive rates. This allows us to efficiently learn the nonlinear response of the flow using a Gaussian process regression. We demonstrate the effectiveness of our approach for the interactive design and optimization of a car body. article_number: '89' article_processing_charge: No author: - first_name: Nobuyuki full_name: Umetani, Nobuyuki last_name: Umetani - first_name: Bernd full_name: Bickel, Bernd id: 49876194-F248-11E8-B48F-1D18A9856A87 last_name: Bickel orcid: 0000-0001-6511-9385 citation: ama: Umetani N, Bickel B. Learning three-dimensional flow for interactive aerodynamic design. ACM Trans Graph. 2018;37(4). doi:10.1145/3197517.3201325 apa: Umetani, N., & Bickel, B. (2018). Learning three-dimensional flow for interactive aerodynamic design. ACM Trans. Graph. ACM. https://doi.org/10.1145/3197517.3201325 chicago: Umetani, Nobuyuki, and Bernd Bickel. “Learning Three-Dimensional Flow for Interactive Aerodynamic Design.” ACM Trans. Graph. ACM, 2018. https://doi.org/10.1145/3197517.3201325. ieee: N. Umetani and B. Bickel, “Learning three-dimensional flow for interactive aerodynamic design,” ACM Trans. Graph., vol. 37, no. 4. ACM, 2018. ista: Umetani N, Bickel B. 2018. Learning three-dimensional flow for interactive aerodynamic design. ACM Trans. Graph. 37(4), 89. mla: Umetani, Nobuyuki, and Bernd Bickel. “Learning Three-Dimensional Flow for Interactive Aerodynamic Design.” ACM Trans. Graph., vol. 37, no. 4, 89, ACM, 2018, doi:10.1145/3197517.3201325. short: N. Umetani, B. Bickel, ACM Trans. Graph. 37 (2018). date_created: 2018-12-11T11:44:06Z date_published: 2018-08-04T00:00:00Z date_updated: 2023-09-13T08:46:15Z day: '04' ddc: - '003' - '004' department: - _id: BeBi doi: 10.1145/3197517.3201325 ec_funded: 1 external_id: isi: - '000448185000050' file: - access_level: open_access checksum: 7a2243668f215821bc6aecad0320079a content_type: application/pdf creator: system date_created: 2018-12-12T10:16:28Z date_updated: 2020-07-14T12:46:22Z file_id: '5216' file_name: IST-2018-1049-v1+1_2018_sigg_Learning3DAerodynamics.pdf file_size: 22803163 relation: main_file file_date_updated: 2020-07-14T12:46:22Z has_accepted_license: '1' intvolume: ' 37' isi: 1 issue: '4' language: - iso: eng month: '08' oa: 1 oa_version: Submitted Version project: - _id: 24F9549A-B435-11E9-9278-68D0E5697425 call_identifier: H2020 grant_number: '715767' name: 'MATERIALIZABLE: Intelligent fabrication-oriented Computational Design and Modeling' publication: ACM Trans. Graph. publication_status: published publisher: ACM publist_id: '8053' pubrep_id: '1049' quality_controlled: '1' related_material: link: - description: News on IST Homepage relation: press_release url: https://ist.ac.at/en/news/new-interactive-machine-learning-tool-makes-car-designs-more-aerodynamic/ scopus_import: '1' status: public title: Learning three-dimensional flow for interactive aerodynamic design type: journal_article user_id: c635000d-4b10-11ee-a964-aac5a93f6ac1 volume: 37 year: '2018' ... --- _id: '566' abstract: - lang: eng text: "We consider large random matrices X with centered, independent entries which have comparable but not necessarily identical variances. Girko's circular law asserts that the spectrum is supported in a disk and in case of identical variances, the limiting density is uniform. In this special case, the local circular law by Bourgade et. al. [11,12] shows that the empirical density converges even locally on scales slightly above the typical eigenvalue spacing. In the general case, the limiting density is typically inhomogeneous and it is obtained via solving a system of deterministic equations. Our main result is the local inhomogeneous circular law in the bulk spectrum on the optimal scale for a general variance profile of the entries of X. \r\n\r\n" article_processing_charge: No article_type: original author: - first_name: Johannes full_name: Alt, Johannes id: 36D3D8B6-F248-11E8-B48F-1D18A9856A87 last_name: Alt - first_name: László full_name: Erdös, László id: 4DBD5372-F248-11E8-B48F-1D18A9856A87 last_name: Erdös orcid: 0000-0001-5366-9603 - first_name: Torben H full_name: Krüger, Torben H id: 3020C786-F248-11E8-B48F-1D18A9856A87 last_name: Krüger orcid: 0000-0002-4821-3297 citation: ama: Alt J, Erdös L, Krüger TH. Local inhomogeneous circular law. Annals Applied Probability . 2018;28(1):148-203. doi:10.1214/17-AAP1302 apa: Alt, J., Erdös, L., & Krüger, T. H. (2018). Local inhomogeneous circular law. Annals Applied Probability . Institute of Mathematical Statistics. https://doi.org/10.1214/17-AAP1302 chicago: Alt, Johannes, László Erdös, and Torben H Krüger. “Local Inhomogeneous Circular Law.” Annals Applied Probability . Institute of Mathematical Statistics, 2018. https://doi.org/10.1214/17-AAP1302. ieee: J. Alt, L. Erdös, and T. H. Krüger, “Local inhomogeneous circular law,” Annals Applied Probability , vol. 28, no. 1. Institute of Mathematical Statistics, pp. 148–203, 2018. ista: Alt J, Erdös L, Krüger TH. 2018. Local inhomogeneous circular law. Annals Applied Probability . 28(1), 148–203. mla: Alt, Johannes, et al. “Local Inhomogeneous Circular Law.” Annals Applied Probability , vol. 28, no. 1, Institute of Mathematical Statistics, 2018, pp. 148–203, doi:10.1214/17-AAP1302. short: J. Alt, L. Erdös, T.H. Krüger, Annals Applied Probability 28 (2018) 148–203. date_created: 2018-12-11T11:47:13Z date_published: 2018-03-03T00:00:00Z date_updated: 2023-09-13T08:47:52Z day: '03' department: - _id: LaEr doi: 10.1214/17-AAP1302 ec_funded: 1 external_id: arxiv: - '1612.07776 ' isi: - '000431721800005' intvolume: ' 28' isi: 1 issue: '1' language: - iso: eng main_file_link: - open_access: '1' url: 'https://arxiv.org/abs/1612.07776 ' month: '03' oa: 1 oa_version: Preprint page: 148-203 project: - _id: 258DCDE6-B435-11E9-9278-68D0E5697425 call_identifier: FP7 grant_number: '338804' name: Random matrices, universality and disordered quantum systems publication: 'Annals Applied Probability ' publication_status: published publisher: Institute of Mathematical Statistics quality_controlled: '1' related_material: record: - id: '149' relation: dissertation_contains status: public scopus_import: '1' status: public title: Local inhomogeneous circular law type: journal_article user_id: c635000d-4b10-11ee-a964-aac5a93f6ac1 volume: 28 year: '2018' ... --- _id: '106' abstract: - lang: eng text: The goal of this article is to introduce the reader to the theory of intrinsic geometry of convex surfaces. We illustrate the power of the tools by proving a theorem on convex surfaces containing an arbitrarily long closed simple geodesic. Let us remind ourselves that a curve in a surface is called geodesic if every sufficiently short arc of the curve is length minimizing; if, in addition, it has no self-intersections, we call it simple geodesic. A tetrahedron with equal opposite edges is called isosceles. The axiomatic method of Alexandrov geometry allows us to work with the metrics of convex surfaces directly, without approximating it first by a smooth or polyhedral metric. Such approximations destroy the closed geodesics on the surface; therefore it is difficult (if at all possible) to apply approximations in the proof of our theorem. On the other hand, a proof in the smooth or polyhedral case usually admits a translation into Alexandrov’s language; such translation makes the result more general. In fact, our proof resembles a translation of the proof given by Protasov. Note that the main theorem implies in particular that a smooth convex surface does not have arbitrarily long simple closed geodesics. However we do not know a proof of this corollary that is essentially simpler than the one presented below. article_processing_charge: No author: - first_name: Arseniy full_name: Akopyan, Arseniy id: 430D2C90-F248-11E8-B48F-1D18A9856A87 last_name: Akopyan orcid: 0000-0002-2548-617X - first_name: Anton full_name: Petrunin, Anton last_name: Petrunin citation: ama: Akopyan A, Petrunin A. Long geodesics on convex surfaces. Mathematical Intelligencer. 2018;40(3):26-31. doi:10.1007/s00283-018-9795-5 apa: Akopyan, A., & Petrunin, A. (2018). Long geodesics on convex surfaces. Mathematical Intelligencer. Springer. https://doi.org/10.1007/s00283-018-9795-5 chicago: Akopyan, Arseniy, and Anton Petrunin. “Long Geodesics on Convex Surfaces.” Mathematical Intelligencer. Springer, 2018. https://doi.org/10.1007/s00283-018-9795-5. ieee: A. Akopyan and A. Petrunin, “Long geodesics on convex surfaces,” Mathematical Intelligencer, vol. 40, no. 3. Springer, pp. 26–31, 2018. ista: Akopyan A, Petrunin A. 2018. Long geodesics on convex surfaces. Mathematical Intelligencer. 40(3), 26–31. mla: Akopyan, Arseniy, and Anton Petrunin. “Long Geodesics on Convex Surfaces.” Mathematical Intelligencer, vol. 40, no. 3, Springer, 2018, pp. 26–31, doi:10.1007/s00283-018-9795-5. short: A. Akopyan, A. Petrunin, Mathematical Intelligencer 40 (2018) 26–31. date_created: 2018-12-11T11:44:40Z date_published: 2018-09-01T00:00:00Z date_updated: 2023-09-13T08:49:16Z day: '01' department: - _id: HeEd doi: 10.1007/s00283-018-9795-5 external_id: arxiv: - '1702.05172' isi: - '000444141200005' intvolume: ' 40' isi: 1 issue: '3' language: - iso: eng main_file_link: - open_access: '1' url: https://arxiv.org/abs/1702.05172 month: '09' oa: 1 oa_version: Preprint page: 26 - 31 publication: Mathematical Intelligencer publication_status: published publisher: Springer publist_id: '7948' quality_controlled: '1' scopus_import: '1' status: public title: Long geodesics on convex surfaces type: journal_article user_id: c635000d-4b10-11ee-a964-aac5a93f6ac1 volume: 40 year: '2018' ... --- _id: '275' abstract: - lang: eng text: Lymphatic endothelial cells (LECs) release extracellular chemokines to guide the migration of dendritic cells. In this study, we report that LECs also release basolateral exosome-rich endothelial vesicles (EEVs) that are secreted in greater numbers in the presence of inflammatory cytokines and accumulate in the perivascular stroma of small lymphatic vessels in human chronic inflammatory diseases. Proteomic analyses of EEV fractions identified > 1,700 cargo proteins and revealed a dominant motility-promoting protein signature. In vitro and ex vivo EEV fractions augmented cellular protrusion formation in a CX3CL1/fractalkine-dependent fashion and enhanced the directional migratory response of human dendritic cells along guidance cues. We conclude that perilymphatic LEC exosomes enhance exploratory behavior and thus promote directional migration of CX3CR1-expressing cells in complex tissue environments. acknowledgement: M. Brown was supported by the Cell Communication in Health and Disease Graduate Study Program of the Austrian Science Fund and Medizinische Universität Wien, M. Sixt by the European Research Council (ERC GA 281556) and an Austrian Science Fund START award, K.L. Bennett by the Austrian Academy of Sciences, D.G. Jackson and L.A. Johnson by Unit Funding (MC_UU_12010/2) and project grants from the Medical Research Council (G1100134 and MR/L008610/1), and M. Detmar by the Schweizerischer Nationalfonds zur Förderung der Wissenschaftlichen Forschung and Advanced European Research Council grant LYVICAM. K. Vaahtomeri was supported by an Academy of Finland postdoctoral research grant (287853). This project has received funding from the European Union’s Horizon 2020 research and innovation program under grant agreement No. 668036 (RELENT). article_processing_charge: No author: - first_name: Markus full_name: Brown, Markus id: 3DAB9AFC-F248-11E8-B48F-1D18A9856A87 last_name: Brown - first_name: Louise full_name: Johnson, Louise last_name: Johnson - first_name: Dario full_name: Leone, Dario last_name: Leone - first_name: Peter full_name: Májek, Peter last_name: Májek - first_name: Kari full_name: Vaahtomeri, Kari id: 368EE576-F248-11E8-B48F-1D18A9856A87 last_name: Vaahtomeri orcid: 0000-0001-7829-3518 - first_name: Daniel full_name: Senfter, Daniel last_name: Senfter - first_name: Nora full_name: Bukosza, Nora last_name: Bukosza - first_name: Helga full_name: Schachner, Helga last_name: Schachner - first_name: Gabriele full_name: Asfour, Gabriele last_name: Asfour - first_name: Brigitte full_name: Langer, Brigitte last_name: Langer - first_name: Robert full_name: Hauschild, Robert id: 4E01D6B4-F248-11E8-B48F-1D18A9856A87 last_name: Hauschild orcid: 0000-0001-9843-3522 - first_name: Katja full_name: Parapatics, Katja last_name: Parapatics - first_name: Young full_name: Hong, Young last_name: Hong - first_name: Keiryn full_name: Bennett, Keiryn last_name: Bennett - first_name: Renate full_name: Kain, Renate last_name: Kain - first_name: Michael full_name: Detmar, Michael last_name: Detmar - first_name: Michael K full_name: Sixt, Michael K id: 41E9FBEA-F248-11E8-B48F-1D18A9856A87 last_name: Sixt orcid: 0000-0002-6620-9179 - first_name: David full_name: Jackson, David last_name: Jackson - first_name: Dontscho full_name: Kerjaschki, Dontscho last_name: Kerjaschki citation: ama: Brown M, Johnson L, Leone D, et al. Lymphatic exosomes promote dendritic cell migration along guidance cues. Journal of Cell Biology. 2018;217(6):2205-2221. doi:10.1083/jcb.201612051 apa: Brown, M., Johnson, L., Leone, D., Májek, P., Vaahtomeri, K., Senfter, D., … Kerjaschki, D. (2018). Lymphatic exosomes promote dendritic cell migration along guidance cues. Journal of Cell Biology. Rockefeller University Press. https://doi.org/10.1083/jcb.201612051 chicago: Brown, Markus, Louise Johnson, Dario Leone, Peter Májek, Kari Vaahtomeri, Daniel Senfter, Nora Bukosza, et al. “Lymphatic Exosomes Promote Dendritic Cell Migration along Guidance Cues.” Journal of Cell Biology. Rockefeller University Press, 2018. https://doi.org/10.1083/jcb.201612051. ieee: M. Brown et al., “Lymphatic exosomes promote dendritic cell migration along guidance cues,” Journal of Cell Biology, vol. 217, no. 6. Rockefeller University Press, pp. 2205–2221, 2018. ista: Brown M, Johnson L, Leone D, Májek P, Vaahtomeri K, Senfter D, Bukosza N, Schachner H, Asfour G, Langer B, Hauschild R, Parapatics K, Hong Y, Bennett K, Kain R, Detmar M, Sixt MK, Jackson D, Kerjaschki D. 2018. Lymphatic exosomes promote dendritic cell migration along guidance cues. Journal of Cell Biology. 217(6), 2205–2221. mla: Brown, Markus, et al. “Lymphatic Exosomes Promote Dendritic Cell Migration along Guidance Cues.” Journal of Cell Biology, vol. 217, no. 6, Rockefeller University Press, 2018, pp. 2205–21, doi:10.1083/jcb.201612051. short: M. Brown, L. Johnson, D. Leone, P. Májek, K. Vaahtomeri, D. Senfter, N. Bukosza, H. Schachner, G. Asfour, B. Langer, R. Hauschild, K. Parapatics, Y. Hong, K. Bennett, R. Kain, M. Detmar, M.K. Sixt, D. Jackson, D. Kerjaschki, Journal of Cell Biology 217 (2018) 2205–2221. date_created: 2018-12-11T11:45:33Z date_published: 2018-04-12T00:00:00Z date_updated: 2023-09-13T08:51:29Z day: '12' ddc: - '570' department: - _id: MiSi - _id: Bio doi: 10.1083/jcb.201612051 ec_funded: 1 external_id: isi: - '000438077800026' pmid: - '29650776' file: - access_level: open_access checksum: 9c7eba51a35c62da8c13f98120b64df4 content_type: application/pdf creator: dernst date_created: 2018-12-17T12:50:07Z date_updated: 2020-07-14T12:45:45Z file_id: '5704' file_name: 2018_JournalCellBiology_Brown.pdf file_size: 2252043 relation: main_file file_date_updated: 2020-07-14T12:45:45Z has_accepted_license: '1' intvolume: ' 217' isi: 1 issue: '6' language: - iso: eng month: '04' oa: 1 oa_version: Published Version page: 2205 - 2221 pmid: 1 project: - _id: 25A8E5EA-B435-11E9-9278-68D0E5697425 call_identifier: FWF grant_number: Y 564-B12 name: Cytoskeletal force generation and transduction of leukocytes (FWF) - _id: 25A603A2-B435-11E9-9278-68D0E5697425 call_identifier: FP7 grant_number: '281556' name: Cytoskeletal force generation and force transduction of migrating leukocytes (EU) publication: Journal of Cell Biology publication_status: published publisher: Rockefeller University Press publist_id: '7627' quality_controlled: '1' scopus_import: '1' status: public title: Lymphatic exosomes promote dendritic cell migration along guidance cues tmp: image: /images/cc_by.png legal_code_url: https://creativecommons.org/licenses/by/4.0/legalcode name: Creative Commons Attribution 4.0 International Public License (CC-BY 4.0) short: CC BY (4.0) type: journal_article user_id: c635000d-4b10-11ee-a964-aac5a93f6ac1 volume: 217 year: '2018' ... --- _id: '158' abstract: - lang: eng text: 'The angiosperm seed is composed of three genetically distinct tissues: the diploid embryo that originates from the fertilized egg cell, the triploid endosperm that is produced from the fertilized central cell, and the maternal sporophytic integuments that develop into the seed coat1. At the onset of embryo development in Arabidopsis thaliana, the zygote divides asymmetrically, producing a small apical embryonic cell and a larger basal cell that connects the embryo to the maternal tissue2. The coordinated and synchronous development of the embryo and the surrounding integuments, and the alignment of their growth axes, suggest communication between maternal tissues and the embryo. In contrast to animals, however, where a network of maternal factors that direct embryo patterning have been identified3,4, only a few maternal mutations have been described to affect embryo development in plants5–7. Early embryo patterning in Arabidopsis requires accumulation of the phytohormone auxin in the apical cell by directed transport from the suspensor8–10. However, the origin of this auxin has remained obscure. Here we investigate the source of auxin for early embryogenesis and provide evidence that the mother plant coordinates seed development by supplying auxin to the early embryo from the integuments of the ovule. We show that auxin response increases in ovules after fertilization, due to upregulated auxin biosynthesis in the integuments, and this maternally produced auxin is required for correct embryo development.' acknowledgement: This work was further supported by the Czech Science Foundation GACR (GA13-40637S) to J.F.; article_processing_charge: No author: - first_name: Hélène full_name: Robert, Hélène last_name: Robert - first_name: Chulmin full_name: Park, Chulmin last_name: Park - first_name: Carla full_name: Gutièrrez, Carla last_name: Gutièrrez - first_name: Barbara full_name: Wójcikowska, Barbara last_name: Wójcikowska - first_name: Aleš full_name: Pěnčík, Aleš last_name: Pěnčík - first_name: Ondřej full_name: Novák, Ondřej last_name: Novák - first_name: Junyi full_name: Chen, Junyi last_name: Chen - first_name: Wim full_name: Grunewald, Wim last_name: Grunewald - first_name: Thomas full_name: Dresselhaus, Thomas last_name: Dresselhaus - first_name: Jirí full_name: Friml, Jirí id: 4159519E-F248-11E8-B48F-1D18A9856A87 last_name: Friml orcid: 0000-0002-8302-7596 - first_name: Thomas full_name: Laux, Thomas last_name: Laux citation: ama: Robert H, Park C, Gutièrrez C, et al. Maternal auxin supply contributes to early embryo patterning in Arabidopsis. Nature Plants. 2018;4(8):548-553. doi:10.1038/s41477-018-0204-z apa: Robert, H., Park, C., Gutièrrez, C., Wójcikowska, B., Pěnčík, A., Novák, O., … Laux, T. (2018). Maternal auxin supply contributes to early embryo patterning in Arabidopsis. Nature Plants. Nature Publishing Group. https://doi.org/10.1038/s41477-018-0204-z chicago: Robert, Hélène, Chulmin Park, Carla Gutièrrez, Barbara Wójcikowska, Aleš Pěnčík, Ondřej Novák, Junyi Chen, et al. “Maternal Auxin Supply Contributes to Early Embryo Patterning in Arabidopsis.” Nature Plants. Nature Publishing Group, 2018. https://doi.org/10.1038/s41477-018-0204-z. ieee: H. Robert et al., “Maternal auxin supply contributes to early embryo patterning in Arabidopsis,” Nature Plants, vol. 4, no. 8. Nature Publishing Group, pp. 548–553, 2018. ista: Robert H, Park C, Gutièrrez C, Wójcikowska B, Pěnčík A, Novák O, Chen J, Grunewald W, Dresselhaus T, Friml J, Laux T. 2018. Maternal auxin supply contributes to early embryo patterning in Arabidopsis. Nature Plants. 4(8), 548–553. mla: Robert, Hélène, et al. “Maternal Auxin Supply Contributes to Early Embryo Patterning in Arabidopsis.” Nature Plants, vol. 4, no. 8, Nature Publishing Group, 2018, pp. 548–53, doi:10.1038/s41477-018-0204-z. short: H. Robert, C. Park, C. Gutièrrez, B. Wójcikowska, A. Pěnčík, O. Novák, J. Chen, W. Grunewald, T. Dresselhaus, J. Friml, T. Laux, Nature Plants 4 (2018) 548–553. date_created: 2018-12-11T11:44:56Z date_published: 2018-07-16T00:00:00Z date_updated: 2023-09-13T08:53:28Z day: '16' department: - _id: JiFr doi: 10.1038/s41477-018-0204-z ec_funded: 1 external_id: isi: - '000443861300011' pmid: - '30013211' intvolume: ' 4' isi: 1 issue: '8' language: - iso: eng main_file_link: - open_access: '1' url: https://www.ncbi.nlm.nih.gov/pubmed/30013211 month: '07' oa: 1 oa_version: Submitted Version page: 548 - 553 pmid: 1 project: - _id: 25716A02-B435-11E9-9278-68D0E5697425 call_identifier: FP7 grant_number: '282300' name: Polarity and subcellular dynamics in plants publication: Nature Plants publication_status: published publisher: Nature Publishing Group publist_id: '7763' quality_controlled: '1' related_material: link: - description: News on IST Homepage relation: press_release url: https://ist.ac.at/en/news/plant-mothers-talk-to-their-embryos-via-the-hormone-auxin/ scopus_import: '1' status: public title: Maternal auxin supply contributes to early embryo patterning in Arabidopsis type: journal_article user_id: c635000d-4b10-11ee-a964-aac5a93f6ac1 volume: 4 year: '2018' ... --- _id: '152' abstract: - lang: eng text: Complex I has an essential role in ATP production by coupling electron transfer from NADH to quinone with translocation of protons across the inner mitochondrial membrane. Isolated complex I deficiency is a frequent cause of mitochondrial inherited diseases. Complex I has also been implicated in cancer, ageing, and neurodegenerative conditions. Until recently, the understanding of complex I deficiency on the molecular level was limited due to the lack of high-resolution structures of the enzyme. However, due to developments in single particle cryo-electron microscopy (cryo-EM), recent studies have reported nearly atomic resolution maps and models of mitochondrial complex I. These structures significantly add to our understanding of complex I mechanism and assembly. The disease-causing mutations are discussed here in their structural context. article_processing_charge: No article_type: original author: - first_name: Karol full_name: Fiedorczuk, Karol id: 5BFF67CE-02D1-11E9-B11A-A5A4D7DFFFD0 last_name: Fiedorczuk - first_name: Leonid A full_name: Sazanov, Leonid A id: 338D39FE-F248-11E8-B48F-1D18A9856A87 last_name: Sazanov orcid: 0000-0002-0977-7989 citation: ama: Fiedorczuk K, Sazanov LA. Mammalian mitochondrial complex I structure and disease causing mutations. Trends in Cell Biology. 2018;28(10):835-867. doi:10.1016/j.tcb.2018.06.006 apa: Fiedorczuk, K., & Sazanov, L. A. (2018). Mammalian mitochondrial complex I structure and disease causing mutations. Trends in Cell Biology. Elsevier. https://doi.org/10.1016/j.tcb.2018.06.006 chicago: Fiedorczuk, Karol, and Leonid A Sazanov. “Mammalian Mitochondrial Complex I Structure and Disease Causing Mutations.” Trends in Cell Biology. Elsevier, 2018. https://doi.org/10.1016/j.tcb.2018.06.006. ieee: K. Fiedorczuk and L. A. Sazanov, “Mammalian mitochondrial complex I structure and disease causing mutations,” Trends in Cell Biology, vol. 28, no. 10. Elsevier, pp. 835–867, 2018. ista: Fiedorczuk K, Sazanov LA. 2018. Mammalian mitochondrial complex I structure and disease causing mutations. Trends in Cell Biology. 28(10), 835–867. mla: Fiedorczuk, Karol, and Leonid A. Sazanov. “Mammalian Mitochondrial Complex I Structure and Disease Causing Mutations.” Trends in Cell Biology, vol. 28, no. 10, Elsevier, 2018, pp. 835–67, doi:10.1016/j.tcb.2018.06.006. short: K. Fiedorczuk, L.A. Sazanov, Trends in Cell Biology 28 (2018) 835–867. date_created: 2018-12-11T11:44:54Z date_published: 2018-07-26T00:00:00Z date_updated: 2023-09-13T08:51:56Z day: '26' ddc: - '572' department: - _id: LeSa doi: 10.1016/j.tcb.2018.06.006 external_id: isi: - '000445118200007' file: - access_level: open_access checksum: ef6d2b4e1fd63948539639242610bfa6 content_type: application/pdf creator: lsazanov date_created: 2019-11-07T12:55:20Z date_updated: 2020-07-14T12:45:00Z file_id: '6994' file_name: SasanovFinalMS+EdComments_LS_allacc_withFigs.pdf file_size: 2185385 relation: main_file file_date_updated: 2020-07-14T12:45:00Z has_accepted_license: '1' intvolume: ' 28' isi: 1 issue: '10' language: - iso: eng month: '07' oa: 1 oa_version: Submitted Version page: 835 - 867 publication: Trends in Cell Biology publication_status: published publisher: Elsevier publist_id: '7769' quality_controlled: '1' scopus_import: '1' status: public title: Mammalian mitochondrial complex I structure and disease causing mutations tmp: image: /images/cc_by_nc_nd.png legal_code_url: https://creativecommons.org/licenses/by-nc-nd/4.0/legalcode name: Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International (CC BY-NC-ND 4.0) short: CC BY-NC-ND (4.0) type: journal_article user_id: c635000d-4b10-11ee-a964-aac5a93f6ac1 volume: 28 year: '2018' ... --- _id: '310' abstract: - lang: eng text: A model of computation that is widely used in the formal analysis of reactive systems is symbolic algorithms. In this model the access to the input graph is restricted to consist of symbolic operations, which are expensive in comparison to the standard RAM operations. We give lower bounds on the number of symbolic operations for basic graph problems such as the computation of the strongly connected components and of the approximate diameter as well as for fundamental problems in model checking such as safety, liveness, and coliveness. Our lower bounds are linear in the number of vertices of the graph, even for constant-diameter graphs. For none of these problems lower bounds on the number of symbolic operations were known before. The lower bounds show an interesting separation of these problems from the reachability problem, which can be solved with O(D) symbolic operations, where D is the diameter of the graph. Additionally we present an approximation algorithm for the graph diameter which requires Õ(n/D) symbolic steps to achieve a (1 +ϵ)-approximation for any constant > 0. This compares to O(n/D) symbolic steps for the (naive) exact algorithm and O(D) symbolic steps for a 2-approximation. Finally we also give a refined analysis of the strongly connected components algorithms of [15], showing that it uses an optimal number of symbolic steps that is proportional to the sum of the diameters of the strongly connected components. article_processing_charge: No author: - first_name: Krishnendu full_name: Chatterjee, Krishnendu id: 2E5DCA20-F248-11E8-B48F-1D18A9856A87 last_name: Chatterjee orcid: 0000-0002-4561-241X - first_name: Wolfgang full_name: Dvorák, Wolfgang last_name: Dvorák - first_name: Monika H full_name: Henzinger, Monika H id: 540c9bbd-f2de-11ec-812d-d04a5be85630 last_name: Henzinger orcid: 0000-0002-5008-6530 - first_name: Veronika full_name: Loitzenbauer, Veronika last_name: Loitzenbauer citation: ama: 'Chatterjee K, Dvorák W, Henzinger MH, Loitzenbauer V. Lower bounds for symbolic computation on graphs: Strongly connected components, liveness, safety, and diameter. In: ACM; 2018:2341-2356. doi:10.1137/1.9781611975031.151' apa: 'Chatterjee, K., Dvorák, W., Henzinger, M. H., & Loitzenbauer, V. (2018). Lower bounds for symbolic computation on graphs: Strongly connected components, liveness, safety, and diameter (pp. 2341–2356). Presented at the SODA: Symposium on Discrete Algorithms, New Orleans, Louisiana, United States: ACM. https://doi.org/10.1137/1.9781611975031.151' chicago: 'Chatterjee, Krishnendu, Wolfgang Dvorák, Monika H Henzinger, and Veronika Loitzenbauer. “Lower Bounds for Symbolic Computation on Graphs: Strongly Connected Components, Liveness, Safety, and Diameter,” 2341–56. ACM, 2018. https://doi.org/10.1137/1.9781611975031.151.' ieee: 'K. Chatterjee, W. Dvorák, M. H. Henzinger, and V. Loitzenbauer, “Lower bounds for symbolic computation on graphs: Strongly connected components, liveness, safety, and diameter,” presented at the SODA: Symposium on Discrete Algorithms, New Orleans, Louisiana, United States, 2018, pp. 2341–2356.' ista: 'Chatterjee K, Dvorák W, Henzinger MH, Loitzenbauer V. 2018. Lower bounds for symbolic computation on graphs: Strongly connected components, liveness, safety, and diameter. SODA: Symposium on Discrete Algorithms, 2341–2356.' mla: 'Chatterjee, Krishnendu, et al. Lower Bounds for Symbolic Computation on Graphs: Strongly Connected Components, Liveness, Safety, and Diameter. ACM, 2018, pp. 2341–56, doi:10.1137/1.9781611975031.151.' short: K. Chatterjee, W. Dvorák, M.H. Henzinger, V. Loitzenbauer, in:, ACM, 2018, pp. 2341–2356. conference: end_date: 2018-01-10 location: New Orleans, Louisiana, United States name: 'SODA: Symposium on Discrete Algorithms' start_date: 2018-01-07 date_created: 2018-12-11T11:45:45Z date_published: 2018-01-01T00:00:00Z date_updated: 2023-09-13T08:50:16Z day: '01' department: - _id: KrCh doi: 10.1137/1.9781611975031.151 ec_funded: 1 external_id: arxiv: - '1711.09148' isi: - '000483921200152' isi: 1 language: - iso: eng main_file_link: - open_access: '1' url: https://arxiv.org/abs/1711.09148 month: '01' oa: 1 oa_version: Preprint page: 2341 - 2356 project: - _id: 25832EC2-B435-11E9-9278-68D0E5697425 call_identifier: FWF grant_number: S 11407_N23 name: Rigorous Systems Engineering - _id: 2581B60A-B435-11E9-9278-68D0E5697425 call_identifier: FP7 grant_number: '279307' name: 'Quantitative Graph Games: Theory and Applications' - _id: 25892FC0-B435-11E9-9278-68D0E5697425 grant_number: ICT15-003 name: Efficient Algorithms for Computer Aided Verification publication_status: published publisher: ACM publist_id: '7555' quality_controlled: '1' scopus_import: '1' status: public title: 'Lower bounds for symbolic computation on graphs: Strongly connected components, liveness, safety, and diameter' type: conference user_id: c635000d-4b10-11ee-a964-aac5a93f6ac1 year: '2018' ... --- _id: '436' abstract: - lang: eng text: There has been significant interest recently in using complex quantum systems to create effective nonreciprocal dynamics. Proposals have been put forward for the realization of artificial magnetic fields for photons and phonons; experimental progress is fast making these proposals a reality. Much work has concentrated on the use of such systems for controlling the flow of signals, e.g., to create isolators or directional amplifiers for optical signals. In this Letter, we build on this work but move in a different direction. We develop the theory of and discuss a potential realization for the controllable flow of thermal noise in quantum systems. We demonstrate theoretically that the unidirectional flow of thermal noise is possible within quantum cascaded systems. Viewing an optomechanical platform as a cascaded system we show here that one can ultimately control the direction of the flow of thermal noise. By appropriately engineering the mechanical resonator, which acts as an artificial reservoir, the flow of thermal noise can be constrained to a desired direction, yielding a thermal rectifier. The proposed quantum thermal noise rectifier could potentially be used to develop devices such as a thermal modulator, a thermal router, and a thermal amplifier for nanoelectronic devices and superconducting circuits. article_number: '060601 ' article_processing_charge: No author: - first_name: Shabir full_name: Barzanjeh, Shabir id: 2D25E1F6-F248-11E8-B48F-1D18A9856A87 last_name: Barzanjeh orcid: 0000-0003-0415-1423 - first_name: Matteo full_name: Aquilina, Matteo last_name: Aquilina - first_name: André full_name: Xuereb, André last_name: Xuereb citation: ama: Barzanjeh S, Aquilina M, Xuereb A. Manipulating the flow of thermal noise in quantum devices. Physical Review Letters. 2018;120(6). doi:10.1103/PhysRevLett.120.060601 apa: Barzanjeh, S., Aquilina, M., & Xuereb, A. (2018). Manipulating the flow of thermal noise in quantum devices. Physical Review Letters. American Physical Society. https://doi.org/10.1103/PhysRevLett.120.060601 chicago: Barzanjeh, Shabir, Matteo Aquilina, and André Xuereb. “Manipulating the Flow of Thermal Noise in Quantum Devices.” Physical Review Letters. American Physical Society, 2018. https://doi.org/10.1103/PhysRevLett.120.060601. ieee: S. Barzanjeh, M. Aquilina, and A. Xuereb, “Manipulating the flow of thermal noise in quantum devices,” Physical Review Letters, vol. 120, no. 6. American Physical Society, 2018. ista: Barzanjeh S, Aquilina M, Xuereb A. 2018. Manipulating the flow of thermal noise in quantum devices. Physical Review Letters. 120(6), 060601. mla: Barzanjeh, Shabir, et al. “Manipulating the Flow of Thermal Noise in Quantum Devices.” Physical Review Letters, vol. 120, no. 6, 060601, American Physical Society, 2018, doi:10.1103/PhysRevLett.120.060601. short: S. Barzanjeh, M. Aquilina, A. Xuereb, Physical Review Letters 120 (2018). date_created: 2018-12-11T11:46:28Z date_published: 2018-02-07T00:00:00Z date_updated: 2023-09-13T08:52:27Z day: '07' department: - _id: JoFi doi: 10.1103/PhysRevLett.120.060601 ec_funded: 1 external_id: arxiv: - '1706.09051' isi: - '000424382100004' intvolume: ' 120' isi: 1 issue: '6' language: - iso: eng main_file_link: - open_access: '1' url: https://arxiv.org/abs/1706.09051 month: '02' oa: 1 oa_version: Preprint project: - _id: 257EB838-B435-11E9-9278-68D0E5697425 call_identifier: H2020 grant_number: '732894' name: Hybrid Optomechanical Technologies - _id: 258047B6-B435-11E9-9278-68D0E5697425 call_identifier: H2020 grant_number: '707438' name: 'Microwave-to-Optical Quantum Link: Quantum Teleportation and Quantum Illumination with cavity Optomechanics SUPEREOM' publication: Physical Review Letters publication_status: published publisher: American Physical Society publist_id: '7387' quality_controlled: '1' related_material: link: - description: News on IST Homepage relation: press_release url: https://ist.ac.at/en/news/interference-as-a-new-method-for-cooling-quantum-devices/ scopus_import: '1' status: public title: Manipulating the flow of thermal noise in quantum devices type: journal_article user_id: c635000d-4b10-11ee-a964-aac5a93f6ac1 volume: 120 year: '2018' ... --- _id: '5858' abstract: - lang: eng text: Spatial patterns are ubiquitous on the subcellular, cellular and tissue level, and can be studied using imaging techniques such as light and fluorescence microscopy. Imaging data provide quantitative information about biological systems; however, mechanisms causing spatial patterning often remain elusive. In recent years, spatio-temporal mathematical modelling has helped to overcome this problem. Yet, outliers and structured noise limit modelling of whole imaging data, and models often consider spatial summary statistics. Here, we introduce an integrated data-driven modelling approach that can cope with measurement artefacts and whole imaging data. Our approach combines mechanistic models of the biological processes with robust statistical models of the measurement process. The parameters of the integrated model are calibrated using a maximum-likelihood approach. We used this integrated modelling approach to study in vivo gradients of the chemokine (C-C motif) ligand 21 (CCL21). CCL21 gradients guide dendritic cells and are important in the adaptive immune response. Using artificial data, we verified that the integrated modelling approach provides reliable parameter estimates in the presence of measurement noise and that bias and variance of these estimates are reduced compared to conventional approaches. The application to experimental data allowed the parametrization and subsequent refinement of the model using additional mechanisms. Among other results, model-based hypothesis testing predicted lymphatic vessel-dependent concentration of heparan sulfate, the binding partner of CCL21. The selected model provided an accurate description of the experimental data and was partially validated using published data. Our findings demonstrate that integrated statistical modelling of whole imaging data is computationally feasible and can provide novel biological insights. article_number: '20180600' article_processing_charge: No author: - first_name: Sabrina full_name: Hross, Sabrina last_name: Hross - first_name: Fabian J. full_name: Theis, Fabian J. last_name: Theis - first_name: Michael K full_name: Sixt, Michael K id: 41E9FBEA-F248-11E8-B48F-1D18A9856A87 last_name: Sixt orcid: 0000-0002-6620-9179 - first_name: Jan full_name: Hasenauer, Jan last_name: Hasenauer citation: ama: Hross S, Theis FJ, Sixt MK, Hasenauer J. Mechanistic description of spatial processes using integrative modelling of noise-corrupted imaging data. Journal of the Royal Society Interface. 2018;15(149). doi:10.1098/rsif.2018.0600 apa: Hross, S., Theis, F. J., Sixt, M. K., & Hasenauer, J. (2018). Mechanistic description of spatial processes using integrative modelling of noise-corrupted imaging data. Journal of the Royal Society Interface. Royal Society Publishing. https://doi.org/10.1098/rsif.2018.0600 chicago: Hross, Sabrina, Fabian J. Theis, Michael K Sixt, and Jan Hasenauer. “Mechanistic Description of Spatial Processes Using Integrative Modelling of Noise-Corrupted Imaging Data.” Journal of the Royal Society Interface. Royal Society Publishing, 2018. https://doi.org/10.1098/rsif.2018.0600. ieee: S. Hross, F. J. Theis, M. K. Sixt, and J. Hasenauer, “Mechanistic description of spatial processes using integrative modelling of noise-corrupted imaging data,” Journal of the Royal Society Interface, vol. 15, no. 149. Royal Society Publishing, 2018. ista: Hross S, Theis FJ, Sixt MK, Hasenauer J. 2018. Mechanistic description of spatial processes using integrative modelling of noise-corrupted imaging data. Journal of the Royal Society Interface. 15(149), 20180600. mla: Hross, Sabrina, et al. “Mechanistic Description of Spatial Processes Using Integrative Modelling of Noise-Corrupted Imaging Data.” Journal of the Royal Society Interface, vol. 15, no. 149, 20180600, Royal Society Publishing, 2018, doi:10.1098/rsif.2018.0600. short: S. Hross, F.J. Theis, M.K. Sixt, J. Hasenauer, Journal of the Royal Society Interface 15 (2018). date_created: 2019-01-20T22:59:18Z date_published: 2018-12-05T00:00:00Z date_updated: 2023-09-13T08:55:05Z day: '05' ddc: - '570' department: - _id: MiSi doi: 10.1098/rsif.2018.0600 external_id: isi: - '000456783800011' file: - access_level: open_access checksum: 56eb4308a15b7190bff938fab1f780e8 content_type: application/pdf creator: dernst date_created: 2019-02-05T14:46:44Z date_updated: 2020-07-14T12:47:13Z file_id: '5925' file_name: 2018_Interface_Hross.pdf file_size: 1464288 relation: main_file file_date_updated: 2020-07-14T12:47:13Z has_accepted_license: '1' intvolume: ' 15' isi: 1 issue: '149' language: - iso: eng month: '12' oa: 1 oa_version: Published Version publication: Journal of the Royal Society Interface publication_identifier: issn: - '17425689' publication_status: published publisher: Royal Society Publishing quality_controlled: '1' scopus_import: '1' status: public title: Mechanistic description of spatial processes using integrative modelling of noise-corrupted imaging data tmp: image: /images/cc_by.png legal_code_url: https://creativecommons.org/licenses/by/4.0/legalcode name: Creative Commons Attribution 4.0 International Public License (CC-BY 4.0) short: CC BY (4.0) type: journal_article user_id: c635000d-4b10-11ee-a964-aac5a93f6ac1 volume: 15 year: '2018' ... --- _id: '16' abstract: - lang: eng text: We report quantitative evidence of mixing-layer elastic instability in a viscoelastic fluid flow between two widely spaced obstacles hindering a channel flow at Re 1 and Wi 1. Two mixing layers with nonuniform shear velocity profiles are formed in the region between the obstacles. The mixing-layer instability arises in the vicinity of an inflection point on the shear velocity profile with a steep variation in the elastic stress. The instability results in an intermittent appearance of small vortices in the mixing layers and an amplification of spatiotemporal averaged vorticity in the elastic turbulence regime. The latter is characterized through scaling of friction factor with Wi and both pressure and velocity spectra. Furthermore, the observations reported provide improved understanding of the stability of the mixing layer in a viscoelastic fluid at large elasticity, i.e., Wi 1 and Re 1 and oppose the current view of suppression of vorticity solely by polymer additives. acknowledgement: This work was partially supported by the Israel Science Foundation (ISF; Grant No. 882/15) and the Binational USA-Israel Foundation (BSF; Grant No. 2016145). article_number: '103303' article_processing_charge: No article_type: original author: - first_name: Atul full_name: Varshney, Atul id: 2A2006B2-F248-11E8-B48F-1D18A9856A87 last_name: Varshney orcid: 0000-0002-3072-5999 - first_name: Victor full_name: Steinberg, Victor last_name: Steinberg citation: ama: Varshney A, Steinberg V. Mixing layer instability and vorticity amplification in a creeping viscoelastic flow. Physical Review Fluids. 2018;3(10). doi:10.1103/PhysRevFluids.3.103303 apa: Varshney, A., & Steinberg, V. (2018). Mixing layer instability and vorticity amplification in a creeping viscoelastic flow. Physical Review Fluids. American Physical Society. https://doi.org/10.1103/PhysRevFluids.3.103303 chicago: Varshney, Atul, and Victor Steinberg. “Mixing Layer Instability and Vorticity Amplification in a Creeping Viscoelastic Flow.” Physical Review Fluids. American Physical Society, 2018. https://doi.org/10.1103/PhysRevFluids.3.103303. ieee: A. Varshney and V. Steinberg, “Mixing layer instability and vorticity amplification in a creeping viscoelastic flow,” Physical Review Fluids, vol. 3, no. 10. American Physical Society, 2018. ista: Varshney A, Steinberg V. 2018. Mixing layer instability and vorticity amplification in a creeping viscoelastic flow. Physical Review Fluids. 3(10), 103303. mla: Varshney, Atul, and Victor Steinberg. “Mixing Layer Instability and Vorticity Amplification in a Creeping Viscoelastic Flow.” Physical Review Fluids, vol. 3, no. 10, 103303, American Physical Society, 2018, doi:10.1103/PhysRevFluids.3.103303. short: A. Varshney, V. Steinberg, Physical Review Fluids 3 (2018). date_created: 2018-12-11T11:44:10Z date_published: 2018-10-16T00:00:00Z date_updated: 2023-09-13T08:57:05Z day: '16' ddc: - '532' department: - _id: BjHo doi: 10.1103/PhysRevFluids.3.103303 ec_funded: 1 external_id: isi: - '000447469200001' file: - access_level: open_access checksum: 7fc0a2322214d1c04debef36d5bf2e8a content_type: application/pdf creator: system date_created: 2018-12-12T10:13:56Z date_updated: 2020-07-14T12:45:04Z file_id: '5043' file_name: IST-2018-1062-v1+1_PhysRevFluids.3.103303.pdf file_size: 1838431 relation: main_file file_date_updated: 2020-07-14T12:45:04Z has_accepted_license: '1' intvolume: ' 3' isi: 1 issue: '10' language: - iso: eng month: '10' oa: 1 oa_version: Submitted Version project: - _id: 260C2330-B435-11E9-9278-68D0E5697425 call_identifier: H2020 grant_number: '754411' name: ISTplus - Postdoctoral Fellowships publication: Physical Review Fluids publication_status: published publisher: American Physical Society publist_id: '8039' pubrep_id: '1062' quality_controlled: '1' scopus_import: '1' status: public title: Mixing layer instability and vorticity amplification in a creeping viscoelastic flow type: journal_article user_id: c635000d-4b10-11ee-a964-aac5a93f6ac1 volume: 3 year: '2018' ... --- _id: '43' abstract: - lang: eng text: 'The initial amount of pathogens required to start an infection within a susceptible host is called the infective dose and is known to vary to a large extent between different pathogen species. We investigate the hypothesis that the differences in infective doses are explained by the mode of action in the underlying mechanism of pathogenesis: Pathogens with locally acting mechanisms tend to have smaller infective doses than pathogens with distantly acting mechanisms. While empirical evidence tends to support the hypothesis, a formal theoretical explanation has been lacking. We give simple analytical models to gain insight into this phenomenon and also investigate a stochastic, spatially explicit, mechanistic within-host model for toxin-dependent bacterial infections. The model shows that pathogens secreting locally acting toxins have smaller infective doses than pathogens secreting diffusive toxins, as hypothesized. While local pathogenetic mechanisms require smaller infective doses, pathogens with distantly acting toxins tend to spread faster and may cause more damage to the host. The proposed model can serve as a basis for the spatially explicit analysis of various virulence factors also in the context of other problems in infection dynamics.' acknowledgement: J.R. and J.V.A. were also supported by the Academy of Finland Grants 1273253 and 267541. article_processing_charge: No author: - first_name: Joel full_name: Rybicki, Joel id: 334EFD2E-F248-11E8-B48F-1D18A9856A87 last_name: Rybicki orcid: 0000-0002-6432-6646 - first_name: Eva full_name: Kisdi, Eva last_name: Kisdi - first_name: Jani full_name: Anttila, Jani last_name: Anttila citation: ama: Rybicki J, Kisdi E, Anttila J. Model of bacterial toxin-dependent pathogenesis explains infective dose. PNAS. 2018;115(42):10690-10695. doi:10.1073/pnas.1721061115 apa: Rybicki, J., Kisdi, E., & Anttila, J. (2018). Model of bacterial toxin-dependent pathogenesis explains infective dose. PNAS. National Academy of Sciences. https://doi.org/10.1073/pnas.1721061115 chicago: Rybicki, Joel, Eva Kisdi, and Jani Anttila. “Model of Bacterial Toxin-Dependent Pathogenesis Explains Infective Dose.” PNAS. National Academy of Sciences, 2018. https://doi.org/10.1073/pnas.1721061115. ieee: J. Rybicki, E. Kisdi, and J. Anttila, “Model of bacterial toxin-dependent pathogenesis explains infective dose,” PNAS, vol. 115, no. 42. National Academy of Sciences, pp. 10690–10695, 2018. ista: Rybicki J, Kisdi E, Anttila J. 2018. Model of bacterial toxin-dependent pathogenesis explains infective dose. PNAS. 115(42), 10690–10695. mla: Rybicki, Joel, et al. “Model of Bacterial Toxin-Dependent Pathogenesis Explains Infective Dose.” PNAS, vol. 115, no. 42, National Academy of Sciences, 2018, pp. 10690–95, doi:10.1073/pnas.1721061115. short: J. Rybicki, E. Kisdi, J. Anttila, PNAS 115 (2018) 10690–10695. date_created: 2018-12-11T11:44:19Z date_published: 2018-10-02T00:00:00Z date_updated: 2023-09-13T08:57:38Z day: '02' ddc: - '570' - '577' department: - _id: DaAl doi: 10.1073/pnas.1721061115 ec_funded: 1 external_id: isi: - '000447491300057' file: - access_level: open_access checksum: df7ac544a587c06b75692653b9fabd18 content_type: application/pdf creator: dernst date_created: 2019-04-09T08:02:50Z date_updated: 2020-07-14T12:46:26Z file_id: '6258' file_name: 2018_PNAS_Rybicki.pdf file_size: 4070777 relation: main_file file_date_updated: 2020-07-14T12:46:26Z has_accepted_license: '1' intvolume: ' 115' isi: 1 issue: '42' language: - iso: eng month: '10' oa: 1 oa_version: Submitted Version page: 10690 - 10695 project: - _id: 260C2330-B435-11E9-9278-68D0E5697425 call_identifier: H2020 grant_number: '754411' name: ISTplus - Postdoctoral Fellowships publication: PNAS publication_status: published publisher: National Academy of Sciences publist_id: '8011' pubrep_id: '1063' quality_controlled: '1' scopus_import: '1' status: public title: Model of bacterial toxin-dependent pathogenesis explains infective dose type: journal_article user_id: c635000d-4b10-11ee-a964-aac5a93f6ac1 volume: 115 year: '2018' ... --- _id: '13' abstract: - lang: eng text: We propose a new method for fabricating digital objects through reusable silicone molds. Molds are generated by casting liquid silicone into custom 3D printed containers called metamolds. Metamolds automatically define the cuts that are needed to extract the cast object from the silicone mold. The shape of metamolds is designed through a novel segmentation technique, which takes into account both geometric and topological constraints involved in the process of mold casting. Our technique is simple, does not require changing the shape or topology of the input objects, and only requires off-the- shelf materials and technologies. We successfully tested our method on a set of challenging examples with complex shapes and rich geometric detail. © 2018 Association for Computing Machinery. article_number: '136' article_processing_charge: No author: - first_name: Thomas full_name: Alderighi, Thomas last_name: Alderighi - first_name: Luigi full_name: Malomo, Luigi last_name: Malomo - first_name: Daniela full_name: Giorgi, Daniela last_name: Giorgi - first_name: Nico full_name: Pietroni, Nico last_name: Pietroni - first_name: Bernd full_name: Bickel, Bernd id: 49876194-F248-11E8-B48F-1D18A9856A87 last_name: Bickel orcid: 0000-0001-6511-9385 - first_name: Paolo full_name: Cignoni, Paolo last_name: Cignoni citation: ama: 'Alderighi T, Malomo L, Giorgi D, Pietroni N, Bickel B, Cignoni P. Metamolds: Computational design of silicone molds. ACM Trans Graph. 2018;37(4). doi:10.1145/3197517.3201381' apa: 'Alderighi, T., Malomo, L., Giorgi, D., Pietroni, N., Bickel, B., & Cignoni, P. (2018). Metamolds: Computational design of silicone molds. ACM Trans. Graph. ACM. https://doi.org/10.1145/3197517.3201381' chicago: 'Alderighi, Thomas, Luigi Malomo, Daniela Giorgi, Nico Pietroni, Bernd Bickel, and Paolo Cignoni. “Metamolds: Computational Design of Silicone Molds.” ACM Trans. Graph. ACM, 2018. https://doi.org/10.1145/3197517.3201381.' ieee: 'T. Alderighi, L. Malomo, D. Giorgi, N. Pietroni, B. Bickel, and P. Cignoni, “Metamolds: Computational design of silicone molds,” ACM Trans. Graph., vol. 37, no. 4. ACM, 2018.' ista: 'Alderighi T, Malomo L, Giorgi D, Pietroni N, Bickel B, Cignoni P. 2018. Metamolds: Computational design of silicone molds. ACM Trans. Graph. 37(4), 136.' mla: 'Alderighi, Thomas, et al. “Metamolds: Computational Design of Silicone Molds.” ACM Trans. Graph., vol. 37, no. 4, 136, ACM, 2018, doi:10.1145/3197517.3201381.' short: T. Alderighi, L. Malomo, D. Giorgi, N. Pietroni, B. Bickel, P. Cignoni, ACM Trans. Graph. 37 (2018). date_created: 2018-12-11T11:44:09Z date_published: 2018-08-04T00:00:00Z date_updated: 2023-09-13T08:56:07Z day: '04' ddc: - '004' department: - _id: BeBi doi: 10.1145/3197517.3201381 ec_funded: 1 external_id: isi: - '000448185000097' file: - access_level: open_access checksum: 61d46273dca4de626accef1d17a0aaad content_type: application/pdf creator: system date_created: 2018-12-12T10:18:52Z date_updated: 2020-07-14T12:44:43Z file_id: '5374' file_name: IST-2018-1038-v1+1_metamolds_authorversion.pdf file_size: 91939066 relation: main_file file_date_updated: 2020-07-14T12:44:43Z has_accepted_license: '1' intvolume: ' 37' isi: 1 issue: '4' language: - iso: eng month: '08' oa: 1 oa_version: Submitted Version project: - _id: 24F9549A-B435-11E9-9278-68D0E5697425 call_identifier: H2020 grant_number: '715767' name: 'MATERIALIZABLE: Intelligent fabrication-oriented Computational Design and Modeling' publication: ACM Trans. Graph. publication_status: published publisher: ACM publist_id: '8043' pubrep_id: '1038' quality_controlled: '1' related_material: link: - description: News on IST Homepage relation: press_release url: https://ist.ac.at/en/news/metamolds-molding-a-mold/ scopus_import: '1' status: public title: 'Metamolds: Computational design of silicone molds' type: journal_article user_id: c635000d-4b10-11ee-a964-aac5a93f6ac1 volume: 37 year: '2018' ... --- _id: '137' abstract: - lang: eng text: Fluorescent sensors are an essential part of the experimental toolbox of the life sciences, where they are used ubiquitously to visualize intra- and extracellular signaling. In the brain, optical neurotransmitter sensors can shed light on temporal and spatial aspects of signal transmission by directly observing, for instance, neurotransmitter release and spread. Here we report the development and application of the first optical sensor for the amino acid glycine, which is both an inhibitory neurotransmitter and a co-agonist of the N-methyl-d-aspartate receptors (NMDARs) involved in synaptic plasticity. Computational design of a glycine-specific binding protein allowed us to produce the optical glycine FRET sensor (GlyFS), which can be used with single and two-photon excitation fluorescence microscopy. We took advantage of this newly developed sensor to test predictions about the uneven spatial distribution of glycine in extracellular space and to demonstrate that extracellular glycine levels are controlled by plasticity-inducing stimuli. article_processing_charge: No article_type: original author: - first_name: William full_name: Zhang, William last_name: Zhang - first_name: Michel full_name: Herde, Michel last_name: Herde - first_name: Joshua full_name: Mitchell, Joshua last_name: Mitchell - first_name: Jason full_name: Whitfield, Jason last_name: Whitfield - first_name: Andreas full_name: Wulff, Andreas last_name: Wulff - first_name: Vanessa full_name: Vongsouthi, Vanessa last_name: Vongsouthi - first_name: Inmaculada full_name: Sanchez Romero, Inmaculada id: 3D9C5D30-F248-11E8-B48F-1D18A9856A87 last_name: Sanchez Romero - first_name: Polina full_name: Gulakova, Polina last_name: Gulakova - first_name: Daniel full_name: Minge, Daniel last_name: Minge - first_name: Björn full_name: Breithausen, Björn last_name: Breithausen - first_name: Susanne full_name: Schoch, Susanne last_name: Schoch - first_name: Harald L full_name: Janovjak, Harald L id: 33BA6C30-F248-11E8-B48F-1D18A9856A87 last_name: Janovjak orcid: 0000-0002-8023-9315 - first_name: Colin full_name: Jackson, Colin last_name: Jackson - first_name: Christian full_name: Henneberger, Christian last_name: Henneberger citation: ama: Zhang W, Herde M, Mitchell J, et al. Monitoring hippocampal glycine with the computationally designed optical sensor GlyFS. Nature Chemical Biology. 2018;14(9):861-869. doi:10.1038/s41589-018-0108-2 apa: Zhang, W., Herde, M., Mitchell, J., Whitfield, J., Wulff, A., Vongsouthi, V., … Henneberger, C. (2018). Monitoring hippocampal glycine with the computationally designed optical sensor GlyFS. Nature Chemical Biology. Nature Publishing Group. https://doi.org/10.1038/s41589-018-0108-2 chicago: Zhang, William, Michel Herde, Joshua Mitchell, Jason Whitfield, Andreas Wulff, Vanessa Vongsouthi, Inmaculada Sanchez-Romero, et al. “Monitoring Hippocampal Glycine with the Computationally Designed Optical Sensor GlyFS.” Nature Chemical Biology. Nature Publishing Group, 2018. https://doi.org/10.1038/s41589-018-0108-2. ieee: W. Zhang et al., “Monitoring hippocampal glycine with the computationally designed optical sensor GlyFS,” Nature Chemical Biology, vol. 14, no. 9. Nature Publishing Group, pp. 861–869, 2018. ista: Zhang W, Herde M, Mitchell J, Whitfield J, Wulff A, Vongsouthi V, Sanchez-Romero I, Gulakova P, Minge D, Breithausen B, Schoch S, Janovjak HL, Jackson C, Henneberger C. 2018. Monitoring hippocampal glycine with the computationally designed optical sensor GlyFS. Nature Chemical Biology. 14(9), 861–869. mla: Zhang, William, et al. “Monitoring Hippocampal Glycine with the Computationally Designed Optical Sensor GlyFS.” Nature Chemical Biology, vol. 14, no. 9, Nature Publishing Group, 2018, pp. 861–69, doi:10.1038/s41589-018-0108-2. short: W. Zhang, M. Herde, J. Mitchell, J. Whitfield, A. Wulff, V. Vongsouthi, I. Sanchez-Romero, P. Gulakova, D. Minge, B. Breithausen, S. Schoch, H.L. Janovjak, C. Jackson, C. Henneberger, Nature Chemical Biology 14 (2018) 861–869. date_created: 2018-12-11T11:44:49Z date_published: 2018-07-30T00:00:00Z date_updated: 2023-09-13T08:58:05Z day: '30' department: - _id: HaJa doi: 10.1038/s41589-018-0108-2 external_id: isi: - '000442174500013' pmid: - '30061718 ' intvolume: ' 14' isi: 1 issue: '9' language: - iso: eng main_file_link: - open_access: '1' url: https://www.ncbi.nlm.nih.gov/pubmed/30061718 month: '07' oa: 1 oa_version: Submitted Version page: 861 - 869 pmid: 1 project: - _id: 255BFFFA-B435-11E9-9278-68D0E5697425 grant_number: RGY0084/2012 name: In situ real-time imaging of neurotransmitter signaling using designer optical sensors (HFSP Young Investigator) publication: Nature Chemical Biology publication_status: published publisher: Nature Publishing Group publist_id: '7786' quality_controlled: '1' scopus_import: '1' status: public title: Monitoring hippocampal glycine with the computationally designed optical sensor GlyFS type: journal_article user_id: c635000d-4b10-11ee-a964-aac5a93f6ac1 volume: 14 year: '2018' ... --- _id: '276' abstract: - lang: eng text: Directed migration of cells relies on their ability to sense directional guidance cues and to interact with pericellular structures in order to transduce contractile cytoskeletal- into mechanical forces. These biomechanical processes depend highly on microenvironmental factors such as exposure to 2D surfaces or 3D matrices. In vivo, the majority of cells are exposed to 3D environments. Data on 3D cell migration are mostly derived from intravital microscopy or collagen-based in vitro assays. Both approaches offer only limited controlla-bility of experimental conditions. Here, we developed an automated microfluidic system that allows positioning of cells in 3D microenvironments containing highly controlled diffusion-based chemokine gradients. Tracking migration in such gradients was feasible in real time at the single cell level. Moreover, the setup allowed on-chip immunocytochemistry and thus linking of functional with phenotypical properties in individual cells. Spatially defined retrieval of cells from the device allows down-stream off-chip analysis. Using dendritic cells as a model, our setup specifically allowed us for the first time to quantitate key migration characteristics of cells exposed to identical gradients of the chemokine CCL19 yet placed on 2D vs in 3D environments. Migration properties between 2D and 3D migration were distinct. Morphological features of cells migrating in an in vitro 3D environment were similar to those of cells migrating in animal tissues, but different from cells migrating on a surface. Our system thus offers a highly controllable in vitro-mimic of a 3D environment that cells traffic in vivo. acknowledgement: This work was supported by the Swiss National Science Foundation (MD-PhD fellowships, 323530_164221 to C.F.; and 323630_151483 to A.J.; grant PZ00P3_144863 to M.R, grant 31003A_156431 to T.S.; PZ00P3_148000 to C.T.B.; PZ00P3_154733 to M.M.), a Novartis “FreeNovation” grant to M.M. and T.S. and an EMBO long-term fellowship (ALTF 1396-2014) co-funded by the European Commission (LTFCOFUND2013, GA-2013-609409) to J.R.. M.R. was supported by the Gebert Rüf Foundation (GRS 058/14). The funders had no role in study design, data collection and analysis, decision to publish, or preparation of the manuscript. article_number: e0198330 article_processing_charge: No article_type: original author: - first_name: Corina full_name: Frick, Corina last_name: Frick - first_name: Philip full_name: Dettinger, Philip last_name: Dettinger - first_name: Jörg full_name: Renkawitz, Jörg id: 3F0587C8-F248-11E8-B48F-1D18A9856A87 last_name: Renkawitz orcid: 0000-0003-2856-3369 - first_name: Annaïse full_name: Jauch, Annaïse last_name: Jauch - first_name: Christoph full_name: Berger, Christoph last_name: Berger - first_name: Mike full_name: Recher, Mike last_name: Recher - first_name: Timm full_name: Schroeder, Timm last_name: Schroeder - first_name: Matthias full_name: Mehling, Matthias last_name: Mehling citation: ama: Frick C, Dettinger P, Renkawitz J, et al. Nano-scale microfluidics to study 3D chemotaxis at the single cell level. PLoS One. 2018;13(6). doi:10.1371/journal.pone.0198330 apa: Frick, C., Dettinger, P., Renkawitz, J., Jauch, A., Berger, C., Recher, M., … Mehling, M. (2018). Nano-scale microfluidics to study 3D chemotaxis at the single cell level. PLoS One. Public Library of Science. https://doi.org/10.1371/journal.pone.0198330 chicago: Frick, Corina, Philip Dettinger, Jörg Renkawitz, Annaïse Jauch, Christoph Berger, Mike Recher, Timm Schroeder, and Matthias Mehling. “Nano-Scale Microfluidics to Study 3D Chemotaxis at the Single Cell Level.” PLoS One. Public Library of Science, 2018. https://doi.org/10.1371/journal.pone.0198330. ieee: C. Frick et al., “Nano-scale microfluidics to study 3D chemotaxis at the single cell level,” PLoS One, vol. 13, no. 6. Public Library of Science, 2018. ista: Frick C, Dettinger P, Renkawitz J, Jauch A, Berger C, Recher M, Schroeder T, Mehling M. 2018. Nano-scale microfluidics to study 3D chemotaxis at the single cell level. PLoS One. 13(6), e0198330. mla: Frick, Corina, et al. “Nano-Scale Microfluidics to Study 3D Chemotaxis at the Single Cell Level.” PLoS One, vol. 13, no. 6, e0198330, Public Library of Science, 2018, doi:10.1371/journal.pone.0198330. short: C. Frick, P. Dettinger, J. Renkawitz, A. Jauch, C. Berger, M. Recher, T. Schroeder, M. Mehling, PLoS One 13 (2018). date_created: 2018-12-11T11:45:34Z date_published: 2018-06-07T00:00:00Z date_updated: 2023-09-13T09:00:15Z day: '07' ddc: - '570' department: - _id: MiSi doi: 10.1371/journal.pone.0198330 external_id: isi: - '000434384900031' file: - access_level: open_access checksum: 95fc5dc3938b3ad3b7697d10c83cc143 content_type: application/pdf creator: dernst date_created: 2018-12-17T14:10:32Z date_updated: 2020-07-14T12:45:45Z file_id: '5709' file_name: 2018_Plos_Frick.pdf file_size: 7682167 relation: main_file file_date_updated: 2020-07-14T12:45:45Z has_accepted_license: '1' intvolume: ' 13' isi: 1 issue: '6' language: - iso: eng month: '06' oa: 1 oa_version: Published Version publication: PLoS One publication_status: published publisher: Public Library of Science publist_id: '7626' quality_controlled: '1' scopus_import: '1' status: public title: Nano-scale microfluidics to study 3D chemotaxis at the single cell level tmp: image: /images/cc_by.png legal_code_url: https://creativecommons.org/licenses/by/4.0/legalcode name: Creative Commons Attribution 4.0 International Public License (CC-BY 4.0) short: CC BY (4.0) type: journal_article user_id: c635000d-4b10-11ee-a964-aac5a93f6ac1 volume: 13 year: '2018' ... --- _id: '283' abstract: - lang: eng text: Light represents the principal signal driving circadian clock entrainment. However, how light influences the evolution of the clock remains poorly understood. The cavefish Phreatichthys andruzzii represents a fascinating model to explore how evolution under extreme aphotic conditions shapes the circadian clock, since in this species the clock is unresponsive to light. We have previously demonstrated that loss-of-function mutations targeting non-visual opsins contribute in part to this blind clock phenotype. Here, we have compared orthologs of two core clock genes that play a key role in photic entrainment, cry1a and per2, in both zebrafish and P. andruzzii. We encountered aberrantly spliced variants for the P. andruzzii per2 transcript. The most abundant transcript encodes a truncated protein lacking the C-terminal Cry binding domain and incorporating an intronic, transposon-derived coding sequence. We demonstrate that the transposon insertion leads to a predominantly cytoplasmic localization of the cavefish Per2 protein in contrast to the zebrafish ortholog which is distributed in both the nucleus and cytoplasm. Thus, it seems that during evolution in complete darkness, the photic entrainment pathway of the circadian clock has been subject to mutation at multiple levels, extending from opsin photoreceptors to nuclear effectors. article_number: '8754' article_processing_charge: No author: - first_name: Rosa Maria full_name: Ceinos, Rosa Maria last_name: Ceinos - first_name: Elena full_name: Frigato, Elena last_name: Frigato - first_name: Cristina full_name: Pagano, Cristina last_name: Pagano - first_name: Nadine full_name: Frohlich, Nadine last_name: Frohlich - first_name: Pietro full_name: Negrini, Pietro last_name: Negrini - first_name: Nicola full_name: Cavallari, Nicola id: 457160E6-F248-11E8-B48F-1D18A9856A87 last_name: Cavallari - first_name: Daniela full_name: Vallone, Daniela last_name: Vallone - first_name: Silvia full_name: Fuselli, Silvia last_name: Fuselli - first_name: Cristiano full_name: Bertolucci, Cristiano last_name: Bertolucci - first_name: Nicholas S full_name: Foulkes, Nicholas S last_name: Foulkes citation: ama: Ceinos RM, Frigato E, Pagano C, et al. Mutations in blind cavefish target the light regulated circadian clock gene period 2. Scientific Reports. 2018;8(1). doi:10.1038/s41598-018-27080-2 apa: Ceinos, R. M., Frigato, E., Pagano, C., Frohlich, N., Negrini, P., Cavallari, N., … Foulkes, N. S. (2018). Mutations in blind cavefish target the light regulated circadian clock gene period 2. Scientific Reports. Nature Publishing Group. https://doi.org/10.1038/s41598-018-27080-2 chicago: Ceinos, Rosa Maria, Elena Frigato, Cristina Pagano, Nadine Frohlich, Pietro Negrini, Nicola Cavallari, Daniela Vallone, Silvia Fuselli, Cristiano Bertolucci, and Nicholas S Foulkes. “Mutations in Blind Cavefish Target the Light Regulated Circadian Clock Gene Period 2.” Scientific Reports. Nature Publishing Group, 2018. https://doi.org/10.1038/s41598-018-27080-2. ieee: R. M. Ceinos et al., “Mutations in blind cavefish target the light regulated circadian clock gene period 2,” Scientific Reports, vol. 8, no. 1. Nature Publishing Group, 2018. ista: Ceinos RM, Frigato E, Pagano C, Frohlich N, Negrini P, Cavallari N, Vallone D, Fuselli S, Bertolucci C, Foulkes NS. 2018. Mutations in blind cavefish target the light regulated circadian clock gene period 2. Scientific Reports. 8(1), 8754. mla: Ceinos, Rosa Maria, et al. “Mutations in Blind Cavefish Target the Light Regulated Circadian Clock Gene Period 2.” Scientific Reports, vol. 8, no. 1, 8754, Nature Publishing Group, 2018, doi:10.1038/s41598-018-27080-2. short: R.M. Ceinos, E. Frigato, C. Pagano, N. Frohlich, P. Negrini, N. Cavallari, D. Vallone, S. Fuselli, C. Bertolucci, N.S. Foulkes, Scientific Reports 8 (2018). date_created: 2018-12-11T11:45:36Z date_published: 2018-06-08T00:00:00Z date_updated: 2023-09-13T08:59:27Z day: '08' ddc: - '570' department: - _id: EvBe doi: 10.1038/s41598-018-27080-2 external_id: isi: - '000434640800008' file: - access_level: open_access checksum: 9c3942d772f84f3df032ffde0ed9a8ea content_type: application/pdf creator: dernst date_created: 2018-12-17T13:04:46Z date_updated: 2020-07-14T12:45:49Z file_id: '5707' file_name: 2018_ScientificReports_Ceinos.pdf file_size: 1855324 relation: main_file file_date_updated: 2020-07-14T12:45:49Z has_accepted_license: '1' intvolume: ' 8' isi: 1 issue: '1' language: - iso: eng month: '06' oa: 1 oa_version: Published Version publication: Scientific Reports publication_status: published publisher: Nature Publishing Group publist_id: '7616' quality_controlled: '1' scopus_import: '1' status: public title: Mutations in blind cavefish target the light regulated circadian clock gene period 2 tmp: image: /images/cc_by.png legal_code_url: https://creativecommons.org/licenses/by/4.0/legalcode name: Creative Commons Attribution 4.0 International Public License (CC-BY 4.0) short: CC BY (4.0) type: journal_article user_id: c635000d-4b10-11ee-a964-aac5a93f6ac1 volume: 8 year: '2018' ...