[{"date_published":"2018-01-02T00:00:00Z","status":"public","type":"journal_article","publisher":"Proceedings of the National Academy of Sciences","quality_controlled":"1","volume":115,"extern":"1","page":"151-156","author":[{"last_name":"Sanjak","full_name":"Sanjak, Jaleal S.","first_name":"Jaleal S."},{"last_name":"Sidorenko","first_name":"Julia","full_name":"Sidorenko, Julia"},{"first_name":"Matthew Richard","full_name":"Robinson, Matthew Richard","orcid":"0000-0001-8982-8813","id":"E5D42276-F5DA-11E9-8E24-6303E6697425","last_name":"Robinson"},{"full_name":"Thornton, Kevin R.","first_name":"Kevin R.","last_name":"Thornton"},{"last_name":"Visscher","full_name":"Visscher, Peter M.","first_name":"Peter M."}],"publication_status":"published","month":"01","publication_identifier":{"issn":["0027-8424","1091-6490"]},"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","abstract":[{"text":"Modern molecular genetic datasets, primarily collected to study the biology of human health and disease, can be used to directly measure the action of natural selection and reveal important features of contemporary human evolution. Here we leverage the UK Biobank data to test for the presence of linear and nonlinear natural selection in a contemporary population of the United Kingdom. We obtain phenotypic and genetic evidence consistent with the action of linear/directional selection. Phenotypic evidence suggests that stabilizing selection, which acts to reduce variance in the population without necessarily modifying the population mean, is widespread and relatively weak in comparison with estimates from other species.","lang":"eng"}],"oa_version":"None","day":"02","article_type":"original","_id":"7724","language":[{"iso":"eng"}],"publication":"Proceedings of the National Academy of Sciences","doi":"10.1073/pnas.1707227114","year":"2018","issue":"1","article_processing_charge":"No","date_updated":"2021-01-12T08:15:07Z","date_created":"2020-04-30T10:45:43Z","title":"Evidence of directional and stabilizing selection in contemporary humans","citation":{"ieee":"J. S. Sanjak, J. Sidorenko, M. R. Robinson, K. R. Thornton, and P. M. Visscher, “Evidence of directional and stabilizing selection in contemporary humans,” <i>Proceedings of the National Academy of Sciences</i>, vol. 115, no. 1. Proceedings of the National Academy of Sciences, pp. 151–156, 2018.","ama":"Sanjak JS, Sidorenko J, Robinson MR, Thornton KR, Visscher PM. Evidence of directional and stabilizing selection in contemporary humans. <i>Proceedings of the National Academy of Sciences</i>. 2018;115(1):151-156. doi:<a href=\"https://doi.org/10.1073/pnas.1707227114\">10.1073/pnas.1707227114</a>","short":"J.S. Sanjak, J. Sidorenko, M.R. Robinson, K.R. Thornton, P.M. Visscher, Proceedings of the National Academy of Sciences 115 (2018) 151–156.","ista":"Sanjak JS, Sidorenko J, Robinson MR, Thornton KR, Visscher PM. 2018. Evidence of directional and stabilizing selection in contemporary humans. Proceedings of the National Academy of Sciences. 115(1), 151–156.","chicago":"Sanjak, Jaleal S., Julia Sidorenko, Matthew Richard Robinson, Kevin R. Thornton, and Peter M. Visscher. “Evidence of Directional and Stabilizing Selection in Contemporary Humans.” <i>Proceedings of the National Academy of Sciences</i>. Proceedings of the National Academy of Sciences, 2018. <a href=\"https://doi.org/10.1073/pnas.1707227114\">https://doi.org/10.1073/pnas.1707227114</a>.","mla":"Sanjak, Jaleal S., et al. “Evidence of Directional and Stabilizing Selection in Contemporary Humans.” <i>Proceedings of the National Academy of Sciences</i>, vol. 115, no. 1, Proceedings of the National Academy of Sciences, 2018, pp. 151–56, doi:<a href=\"https://doi.org/10.1073/pnas.1707227114\">10.1073/pnas.1707227114</a>.","apa":"Sanjak, J. S., Sidorenko, J., Robinson, M. R., Thornton, K. R., &#38; Visscher, P. M. (2018). Evidence of directional and stabilizing selection in contemporary humans. <i>Proceedings of the National Academy of Sciences</i>. Proceedings of the National Academy of Sciences. <a href=\"https://doi.org/10.1073/pnas.1707227114\">https://doi.org/10.1073/pnas.1707227114</a>"},"intvolume":"       115","related_material":{"link":[{"relation":"erratum","url":"https://doi.org/10.1073/pnas.1806837115"}]}},{"volume":9,"quality_controlled":"1","extern":"1","status":"public","type":"journal_article","date_published":"2018-10-19T00:00:00Z","publisher":"Springer Nature","abstract":[{"lang":"eng","text":"Creating a selective gel that filters particles based on their interactions is a major goal of nanotechnology, with far-reaching implications from drug delivery to controlling assembly pathways. However, this is particularly difficult when the particles are larger than the gel’s characteristic mesh size because such particles cannot passively pass through the gel. Thus, filtering requires the interacting particles to transiently reorganize the gel’s internal structure. While significant advances, e.g., in DNA engineering, have enabled the design of nano-materials with programmable interactions, it is not clear what physical principles such a designer gel could exploit to achieve selective permeability. We present an equilibrium mechanism where crosslink binding dynamics are affected by interacting particles such that particle diffusion is enhanced. In addition to revealing specific design rules for manufacturing selective gels, our results have the potential to explain the origin of selective permeability in certain biological materials, including the nuclear pore complex."}],"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","day":"19","oa_version":"Published Version","main_file_link":[{"url":"https://doi.org/10.1038/s41467-018-06851-5","open_access":"1"}],"publication_identifier":{"issn":["2041-1723"]},"month":"10","publication_status":"published","author":[{"full_name":"Goodrich, Carl Peter","first_name":"Carl Peter","orcid":"0000-0002-1307-5074","last_name":"Goodrich","id":"EB352CD2-F68A-11E9-89C5-A432E6697425"},{"last_name":"Brenner","first_name":"Michael P.","full_name":"Brenner, Michael P."},{"last_name":"Ribbeck","first_name":"Katharina","full_name":"Ribbeck, Katharina"}],"doi":"10.1038/s41467-018-06851-5","publication":"Nature Communications","_id":"7754","language":[{"iso":"eng"}],"article_type":"original","intvolume":"         9","article_number":"4348","title":"Enhanced diffusion by binding to the crosslinks of a polymer gel","citation":{"apa":"Goodrich, C. P., Brenner, M. P., &#38; Ribbeck, K. (2018). Enhanced diffusion by binding to the crosslinks of a polymer gel. <i>Nature Communications</i>. Springer Nature. <a href=\"https://doi.org/10.1038/s41467-018-06851-5\">https://doi.org/10.1038/s41467-018-06851-5</a>","ista":"Goodrich CP, Brenner MP, Ribbeck K. 2018. Enhanced diffusion by binding to the crosslinks of a polymer gel. Nature Communications. 9, 4348.","mla":"Goodrich, Carl Peter, et al. “Enhanced Diffusion by Binding to the Crosslinks of a Polymer Gel.” <i>Nature Communications</i>, vol. 9, 4348, Springer Nature, 2018, doi:<a href=\"https://doi.org/10.1038/s41467-018-06851-5\">10.1038/s41467-018-06851-5</a>.","chicago":"Goodrich, Carl Peter, Michael P. Brenner, and Katharina Ribbeck. “Enhanced Diffusion by Binding to the Crosslinks of a Polymer Gel.” <i>Nature Communications</i>. Springer Nature, 2018. <a href=\"https://doi.org/10.1038/s41467-018-06851-5\">https://doi.org/10.1038/s41467-018-06851-5</a>.","ama":"Goodrich CP, Brenner MP, Ribbeck K. Enhanced diffusion by binding to the crosslinks of a polymer gel. <i>Nature Communications</i>. 2018;9. doi:<a href=\"https://doi.org/10.1038/s41467-018-06851-5\">10.1038/s41467-018-06851-5</a>","ieee":"C. P. Goodrich, M. P. Brenner, and K. Ribbeck, “Enhanced diffusion by binding to the crosslinks of a polymer gel,” <i>Nature Communications</i>, vol. 9. Springer Nature, 2018.","short":"C.P. Goodrich, M.P. Brenner, K. Ribbeck, Nature Communications 9 (2018)."},"date_created":"2020-04-30T11:38:01Z","year":"2018","article_processing_charge":"No","date_updated":"2021-01-12T08:15:18Z","oa":1},{"publication":"bioRxiv","language":[{"iso":"eng"}],"_id":"7783","article_processing_charge":"No","year":"2018","date_updated":"2021-01-12T08:15:30Z","oa":1,"title":"Extensive mitochondrial population structure and haplotype-specific phenotypic variation in the Drosophila Genetic Reference Panel","date_created":"2020-04-30T13:09:37Z","citation":{"mla":"Bevers, Roel P. J., et al. “Extensive Mitochondrial Population Structure and Haplotype-Specific Phenotypic Variation in the Drosophila Genetic Reference Panel.” <i>BioRxiv</i>, Cold Spring Harbor Laboratory, 2018.","ista":"Bevers RPJ, Litovchenko M, Kapopoulou A, Braman VS, Robinson MR, Auwerx J, Hollis B, Deplancke B. 2018. Extensive mitochondrial population structure and haplotype-specific phenotypic variation in the Drosophila Genetic Reference Panel. bioRxiv, .","chicago":"Bevers, Roel P.J., Maria Litovchenko, Adamandia Kapopoulou, Virginie S. Braman, Matthew Richard Robinson, Johan Auwerx, Brian Hollis, and Bart Deplancke. “Extensive Mitochondrial Population Structure and Haplotype-Specific Phenotypic Variation in the Drosophila Genetic Reference Panel.” <i>BioRxiv</i>. Cold Spring Harbor Laboratory, 2018.","short":"R.P.J. Bevers, M. Litovchenko, A. Kapopoulou, V.S. Braman, M.R. Robinson, J. Auwerx, B. Hollis, B. Deplancke, BioRxiv (2018).","ieee":"R. P. J. Bevers <i>et al.</i>, “Extensive mitochondrial population structure and haplotype-specific phenotypic variation in the Drosophila Genetic Reference Panel,” <i>bioRxiv</i>. Cold Spring Harbor Laboratory, 2018.","ama":"Bevers RPJ, Litovchenko M, Kapopoulou A, et al. Extensive mitochondrial population structure and haplotype-specific phenotypic variation in the Drosophila Genetic Reference Panel. <i>bioRxiv</i>. 2018.","apa":"Bevers, R. P. J., Litovchenko, M., Kapopoulou, A., Braman, V. S., Robinson, M. R., Auwerx, J., … Deplancke, B. (2018). Extensive mitochondrial population structure and haplotype-specific phenotypic variation in the Drosophila Genetic Reference Panel. <i>bioRxiv</i>. Cold Spring Harbor Laboratory."},"status":"public","date_published":"2018-11-09T00:00:00Z","type":"preprint","publisher":"Cold Spring Harbor Laboratory","extern":"1","page":"49","month":"11","abstract":[{"lang":"eng","text":"The Drosophila Genetic Reference Panel (DGRP) serves as a valuable resource to better understand the genetic landscapes underlying quantitative traits. However, such DGRP studies have so far only focused on nuclear genetic variants. To address this, we sequenced the mitochondrial genomes of >170 DGRP lines, identifying 229 variants including 21 indels and 7 frameshifts. We used our mitochondrial variation data to identify 12 genetically distinct mitochondrial haplotypes, thus revealing important population structure at the mitochondrial level. We further examined whether this population structure was reflected on the nuclear genome by screening for the presence of potential mito-nuclear genetic incompatibilities in the form of significant genotype ratio distortions (GRDs) between mitochondrial and nuclear variants. In total, we detected a remarkable 1,845 mito-nuclear GRDs, with the highest enrichment observed in a 40 kb region around the gene Sex-lethal (Sxl). Intriguingly, downstream phenotypic analyses did not uncover major fitness effects associated with these GRDs, suggesting that a large number of mito-nuclear GRDs may reflect population structure at the mitochondrial level rather than actual genomic incompatibilities. This is further supported by the GRD landscape showing particular large genomic regions associated with a single mitochondrial haplotype. Next, we explored the functional relevance of the detected mitochondrial haplotypes through an association analysis on a set of 259 assembled, non-correlating DGRP phenotypes. We found multiple significant associations with stress- and metabolism-related phenotypes, including food intake in males. We validated the latter observation by reciprocal swapping of mitochondrial genomes from high food intake DGRP lines to low food intake ones. In conclusion, our study uncovered important mitochondrial population structure and haplotype-specific metabolic variation in the DGRP, thus demonstrating the significance of incorporating mitochondrial haplotypes in geno-phenotype relationship studies."}],"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","oa_version":"Preprint","main_file_link":[{"open_access":"1","url":"https://doi.org/10.1101/466771 "}],"day":"09","author":[{"full_name":"Bevers, Roel P.J.","first_name":"Roel P.J.","last_name":"Bevers"},{"first_name":"Maria","full_name":"Litovchenko, Maria","last_name":"Litovchenko"},{"first_name":"Adamandia","full_name":"Kapopoulou, Adamandia","last_name":"Kapopoulou"},{"first_name":"Virginie S.","full_name":"Braman, Virginie S.","last_name":"Braman"},{"orcid":"0000-0001-8982-8813","last_name":"Robinson","id":"E5D42276-F5DA-11E9-8E24-6303E6697425","first_name":"Matthew Richard","full_name":"Robinson, Matthew Richard"},{"last_name":"Auwerx","full_name":"Auwerx, Johan","first_name":"Johan"},{"last_name":"Hollis","full_name":"Hollis, Brian","first_name":"Brian"},{"full_name":"Deplancke, Bart","first_name":"Bart","last_name":"Deplancke"}],"publication_status":"published"},{"author":[{"last_name":"Bakhirkin","first_name":"Alexey","full_name":"Bakhirkin, Alexey"},{"full_name":"Ferrere, Thomas","first_name":"Thomas","orcid":"0000-0001-5199-3143","id":"40960E6E-F248-11E8-B48F-1D18A9856A87","last_name":"Ferrere"},{"last_name":"Nickovic","first_name":"Dejan","full_name":"Nickovic, Dejan"},{"first_name":"Oded","full_name":"Maler, Oded","last_name":"Maler"},{"last_name":"Asarin","first_name":"Eugene","full_name":"Asarin, Eugene"}],"conference":{"start_date":"2018-09-04","name":"FORMATS: Formal Modeling and Analysis of Timed Systems","end_date":"2018-09-06","location":"Bejing, China"},"publication_identifier":{"isbn":["978-3-030-00150-6"]},"month":"08","oa_version":"Submitted Version","day":"26","file":[{"file_size":374851,"access_level":"open_access","relation":"main_file","content_type":"application/pdf","creator":"dernst","date_created":"2020-05-14T11:34:34Z","date_updated":"2020-07-14T12:48:03Z","checksum":"436b7574934324cfa7d1d3986fddc65b","file_name":"2018_LNCS_Bakhirkin.pdf","file_id":"7831"}],"user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","alternative_title":["LNCS"],"status":"public","type":"conference","date_updated":"2023-09-13T09:35:46Z","oa":1,"article_processing_charge":"No","title":"Online timed pattern matching using automata","isi":1,"scopus_import":"1","has_accepted_license":"1","intvolume":"     11022","language":[{"iso":"eng"}],"publication_status":"published","ddc":["000"],"external_id":{"isi":["000884993200013"]},"abstract":[{"lang":"eng","text":"We provide a procedure for detecting the sub-segments of an incrementally observed Boolean signal ω that match a given temporal pattern ϕ. As a pattern specification language, we use timed regular expressions, a formalism well-suited for expressing properties of concurrent asynchronous behaviors embedded in metric time. We construct a timed automaton accepting the timed language denoted by ϕ and modify it slightly for the purpose of matching. We then apply zone-based reachability computation to this automaton while it reads ω, and retrieve all the matching segments from the results. Since the procedure is automaton based, it can be applied to patterns specified by other formalisms such as timed temporal logics reducible to timed automata or directly encoded as timed automata. The procedure has been implemented and its performance on synthetic examples is demonstrated."}],"project":[{"grant_number":"S 11407_N23","_id":"25832EC2-B435-11E9-9278-68D0E5697425","name":"Rigorous Systems Engineering","call_identifier":"FWF"},{"_id":"25F42A32-B435-11E9-9278-68D0E5697425","grant_number":"Z211","call_identifier":"FWF","name":"The Wittgenstein Prize"}],"publisher":"Springer","date_published":"2018-08-26T00:00:00Z","page":"215 - 232","department":[{"_id":"ToHe"}],"volume":11022,"quality_controlled":"1","year":"2018","citation":{"ama":"Bakhirkin A, Ferrere T, Nickovic D, Maler O, Asarin E. Online timed pattern matching using automata. In: Vol 11022. Springer; 2018:215-232. doi:<a href=\"https://doi.org/10.1007/978-3-030-00151-3_13\">10.1007/978-3-030-00151-3_13</a>","ieee":"A. Bakhirkin, T. Ferrere, D. Nickovic, O. Maler, and E. Asarin, “Online timed pattern matching using automata,” presented at the FORMATS: Formal Modeling and Analysis of Timed Systems, Bejing, China, 2018, vol. 11022, pp. 215–232.","short":"A. Bakhirkin, T. Ferrere, D. Nickovic, O. Maler, E. Asarin, in:, Springer, 2018, pp. 215–232.","chicago":"Bakhirkin, Alexey, Thomas Ferrere, Dejan Nickovic, Oded Maler, and Eugene Asarin. “Online Timed Pattern Matching Using Automata,” 11022:215–32. Springer, 2018. <a href=\"https://doi.org/10.1007/978-3-030-00151-3_13\">https://doi.org/10.1007/978-3-030-00151-3_13</a>.","ista":"Bakhirkin A, Ferrere T, Nickovic D, Maler O, Asarin E. 2018. Online timed pattern matching using automata. FORMATS: Formal Modeling and Analysis of Timed Systems, LNCS, vol. 11022, 215–232.","mla":"Bakhirkin, Alexey, et al. <i>Online Timed Pattern Matching Using Automata</i>. Vol. 11022, Springer, 2018, pp. 215–32, doi:<a href=\"https://doi.org/10.1007/978-3-030-00151-3_13\">10.1007/978-3-030-00151-3_13</a>.","apa":"Bakhirkin, A., Ferrere, T., Nickovic, D., Maler, O., &#38; Asarin, E. (2018). Online timed pattern matching using automata (Vol. 11022, pp. 215–232). Presented at the FORMATS: Formal Modeling and Analysis of Timed Systems, Bejing, China: Springer. <a href=\"https://doi.org/10.1007/978-3-030-00151-3_13\">https://doi.org/10.1007/978-3-030-00151-3_13</a>"},"date_created":"2018-12-11T11:44:31Z","publist_id":"7976","file_date_updated":"2020-07-14T12:48:03Z","_id":"78","doi":"10.1007/978-3-030-00151-3_13"},{"author":[{"first_name":"Antonio","full_name":"Polino, Antonio","last_name":"Polino"},{"last_name":"Pascanu","first_name":"Razvan","full_name":"Pascanu, Razvan"},{"full_name":"Alistarh, Dan-Adrian","first_name":"Dan-Adrian","last_name":"Alistarh","id":"4A899BFC-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0003-3650-940X"}],"publication_status":"published","arxiv":1,"day":"01","oa_version":"Published Version","external_id":{"arxiv":["1802.05668"]},"abstract":[{"lang":"eng","text":"Deep neural networks (DNNs) continue to make significant advances, solving tasks from image classification to translation or reinforcement learning. One aspect of the field receiving considerable attention is efficiently executing deep models in resource-constrained environments, such as mobile or embedded devices. This paper focuses on this problem, and proposes two new compression methods, which jointly leverage weight quantization and distillation of larger teacher networks into smaller student networks. The first method we propose is called quantized distillation and leverages distillation during the training process, by incorporating distillation loss, expressed with respect to the teacher, into the training of a student network whose weights are quantized to a limited set of levels. The second method,  differentiable quantization, optimizes the location of quantization points through stochastic gradient descent, to better fit the behavior of the teacher model.  We validate both methods through experiments on convolutional and recurrent architectures. We show that quantized shallow students can reach similar accuracy levels to full-precision teacher models, while providing order of magnitude compression, and inference speedup that is linear in the depth reduction. In sum, our results enable DNNs for resource-constrained environments to leverage architecture and accuracy advances developed on more powerful devices."}],"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","file":[{"access_level":"open_access","file_size":308339,"content_type":"application/pdf","relation":"main_file","creator":"dernst","date_created":"2020-05-26T13:02:00Z","date_updated":"2020-07-14T12:48:03Z","file_name":"2018_ICLR_Polino.pdf","checksum":"a4336c167978e81891970e4e4517a8c3","file_id":"7894"}],"conference":{"end_date":"2018-05-03","location":"Vancouver, Canada","start_date":"2018-04-30","name":"ICLR: International Conference on Learning Representations"},"ddc":["000"],"month":"05","department":[{"_id":"DaAl"}],"quality_controlled":"1","status":"public","type":"conference","date_published":"2018-05-01T00:00:00Z","date_created":"2020-05-10T22:00:51Z","citation":{"ama":"Polino A, Pascanu R, Alistarh D-A. Model compression via distillation and quantization. In: <i>6th International Conference on Learning Representations</i>. ; 2018.","ieee":"A. Polino, R. Pascanu, and D.-A. Alistarh, “Model compression via distillation and quantization,” in <i>6th International Conference on Learning Representations</i>, Vancouver, Canada, 2018.","short":"A. Polino, R. Pascanu, D.-A. Alistarh, in:, 6th International Conference on Learning Representations, 2018.","ista":"Polino A, Pascanu R, Alistarh D-A. 2018. Model compression via distillation and quantization. 6th International Conference on Learning Representations. ICLR: International Conference on Learning Representations.","mla":"Polino, Antonio, et al. “Model Compression via Distillation and Quantization.” <i>6th International Conference on Learning Representations</i>, 2018.","chicago":"Polino, Antonio, Razvan Pascanu, and Dan-Adrian Alistarh. “Model Compression via Distillation and Quantization.” In <i>6th International Conference on Learning Representations</i>, 2018.","apa":"Polino, A., Pascanu, R., &#38; Alistarh, D.-A. (2018). Model compression via distillation and quantization. In <i>6th International Conference on Learning Representations</i>. Vancouver, Canada."},"title":"Model compression via distillation and quantization","oa":1,"date_updated":"2023-02-23T13:18:41Z","year":"2018","article_processing_charge":"No","scopus_import":1,"has_accepted_license":"1","file_date_updated":"2020-07-14T12:48:03Z","language":[{"iso":"eng"}],"_id":"7812","publication":"6th International Conference on Learning Representations"},{"title":"Parameter-independent strategies for pMDPs via POMDPs","article_processing_charge":"No","oa":1,"date_updated":"2023-09-13T09:38:28Z","intvolume":"     11024","scopus_import":"1","isi":1,"language":[{"iso":"eng"}],"arxiv":1,"author":[{"last_name":"Arming","first_name":"Sebastian","full_name":"Arming, Sebastian"},{"last_name":"Bartocci","first_name":"Ezio","full_name":"Bartocci, Ezio"},{"full_name":"Chatterjee, Krishnendu","first_name":"Krishnendu","last_name":"Chatterjee","id":"2E5DCA20-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-4561-241X"},{"first_name":"Joost P","full_name":"Katoen, Joost P","last_name":"Katoen","id":"4524F760-F248-11E8-B48F-1D18A9856A87"},{"first_name":"Ana","full_name":"Sokolova, Ana","last_name":"Sokolova"}],"user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","main_file_link":[{"open_access":"1","url":"https://arxiv.org/abs/1806.05126"}],"oa_version":"Preprint","day":"15","month":"08","conference":{"end_date":"2018-09-07","location":"Beijing, China","start_date":"2018-09-04","name":"QEST: Quantitative Evaluation of Systems"},"status":"public","type":"conference","alternative_title":["LNCS"],"citation":{"ama":"Arming S, Bartocci E, Chatterjee K, Katoen JP, Sokolova A. Parameter-independent strategies for pMDPs via POMDPs. In: Vol 11024. Springer; 2018:53-70. doi:<a href=\"https://doi.org/10.1007/978-3-319-99154-2_4\">10.1007/978-3-319-99154-2_4</a>","ieee":"S. Arming, E. Bartocci, K. Chatterjee, J. P. Katoen, and A. Sokolova, “Parameter-independent strategies for pMDPs via POMDPs,” presented at the QEST: Quantitative Evaluation of Systems, Beijing, China, 2018, vol. 11024, pp. 53–70.","short":"S. Arming, E. Bartocci, K. Chatterjee, J.P. Katoen, A. Sokolova, in:, Springer, 2018, pp. 53–70.","mla":"Arming, Sebastian, et al. <i>Parameter-Independent Strategies for PMDPs via POMDPs</i>. Vol. 11024, Springer, 2018, pp. 53–70, doi:<a href=\"https://doi.org/10.1007/978-3-319-99154-2_4\">10.1007/978-3-319-99154-2_4</a>.","ista":"Arming S, Bartocci E, Chatterjee K, Katoen JP, Sokolova A. 2018. Parameter-independent strategies for pMDPs via POMDPs. QEST: Quantitative Evaluation of Systems, LNCS, vol. 11024, 53–70.","chicago":"Arming, Sebastian, Ezio Bartocci, Krishnendu Chatterjee, Joost P Katoen, and Ana Sokolova. “Parameter-Independent Strategies for PMDPs via POMDPs,” 11024:53–70. Springer, 2018. <a href=\"https://doi.org/10.1007/978-3-319-99154-2_4\">https://doi.org/10.1007/978-3-319-99154-2_4</a>.","apa":"Arming, S., Bartocci, E., Chatterjee, K., Katoen, J. P., &#38; Sokolova, A. (2018). Parameter-independent strategies for pMDPs via POMDPs (Vol. 11024, pp. 53–70). Presented at the QEST: Quantitative Evaluation of Systems, Beijing, China: Springer. <a href=\"https://doi.org/10.1007/978-3-319-99154-2_4\">https://doi.org/10.1007/978-3-319-99154-2_4</a>"},"date_created":"2018-12-11T11:44:31Z","publist_id":"7975","year":"2018","_id":"79","doi":"10.1007/978-3-319-99154-2_4","publication_status":"published","abstract":[{"lang":"eng","text":"Markov Decision Processes (MDPs) are a popular class of models suitable for solving control decision problems in probabilistic reactive systems. We consider parametric MDPs (pMDPs) that include parameters in some of the transition probabilities to account for stochastic uncertainties of the environment such as noise or input disturbances. We study pMDPs with reachability objectives where the parameter values are unknown and impossible to measure directly during execution, but there is a probability distribution known over the parameter values. We study for the first time computing parameter-independent strategies that are expectation optimal, i.e., optimize the expected reachability probability under the probability distribution over the parameters. We present an encoding of our problem to partially observable MDPs (POMDPs), i.e., a reduction of our problem to computing optimal strategies in POMDPs. We evaluate our method experimentally on several benchmarks: a motivating (repeated) learner model; a series of benchmarks of varying configurations of a robot moving on a grid; and a consensus protocol."}],"external_id":{"arxiv":["1806.05126"],"isi":["000548912200004"]},"quality_controlled":"1","volume":11024,"page":"53-70","department":[{"_id":"KrCh"},{"_id":"ToHe"}],"date_published":"2018-08-15T00:00:00Z","publisher":"Springer"},{"language":[{"iso":"eng"}],"publication":"Angewandte Chemie","title":"Elektrochemische Oxidation von Lithiumcarbonat generiert Singulett-Sauerstoff","oa":1,"date_updated":"2021-01-12T08:16:21Z","issue":"19","article_processing_charge":"No","has_accepted_license":"1","intvolume":"       130","status":"public","type":"journal_article","author":[{"first_name":"Nika","full_name":"Mahne, Nika","last_name":"Mahne"},{"last_name":"Renfrew","first_name":"Sara E.","full_name":"Renfrew, Sara E."},{"first_name":"Bryan D.","full_name":"McCloskey, Bryan D.","last_name":"McCloskey"},{"first_name":"Stefan Alexander","full_name":"Freunberger, Stefan Alexander","id":"A8CA28E6-CE23-11E9-AD2D-EC27E6697425","last_name":"Freunberger","orcid":"0000-0003-2902-5319"}],"oa_version":"Published Version","day":"04","file":[{"creator":"dernst","access_level":"open_access","content_type":"application/pdf","relation":"main_file","file_size":674789,"file_name":"2018_AngChemieDT_Mahne.pdf","checksum":"81506e0f7079e1e3591f3cd9f626bf67","file_id":"7988","date_updated":"2020-07-14T12:48:06Z","date_created":"2020-06-19T11:58:06Z"}],"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","publication_identifier":{"issn":["0044-8249"]},"month":"05","file_date_updated":"2020-07-14T12:48:06Z","article_type":"original","_id":"7983","doi":"10.1002/ange.201802277","date_created":"2020-06-19T08:33:24Z","citation":{"ista":"Mahne N, Renfrew SE, McCloskey BD, Freunberger SA. 2018. Elektrochemische Oxidation von Lithiumcarbonat generiert Singulett-Sauerstoff. Angewandte Chemie. 130(19), 5627–5631.","chicago":"Mahne, Nika, Sara E. Renfrew, Bryan D. McCloskey, and Stefan Alexander Freunberger. “Elektrochemische Oxidation von Lithiumcarbonat Generiert Singulett-Sauerstoff.” <i>Angewandte Chemie</i>. Wiley, 2018. <a href=\"https://doi.org/10.1002/ange.201802277\">https://doi.org/10.1002/ange.201802277</a>.","mla":"Mahne, Nika, et al. “Elektrochemische Oxidation von Lithiumcarbonat Generiert Singulett-Sauerstoff.” <i>Angewandte Chemie</i>, vol. 130, no. 19, Wiley, 2018, pp. 5627–31, doi:<a href=\"https://doi.org/10.1002/ange.201802277\">10.1002/ange.201802277</a>.","ieee":"N. Mahne, S. E. Renfrew, B. D. McCloskey, and S. A. Freunberger, “Elektrochemische Oxidation von Lithiumcarbonat generiert Singulett-Sauerstoff,” <i>Angewandte Chemie</i>, vol. 130, no. 19. Wiley, pp. 5627–5631, 2018.","ama":"Mahne N, Renfrew SE, McCloskey BD, Freunberger SA. Elektrochemische Oxidation von Lithiumcarbonat generiert Singulett-Sauerstoff. <i>Angewandte Chemie</i>. 2018;130(19):5627-5631. doi:<a href=\"https://doi.org/10.1002/ange.201802277\">10.1002/ange.201802277</a>","short":"N. Mahne, S.E. Renfrew, B.D. McCloskey, S.A. Freunberger, Angewandte Chemie 130 (2018) 5627–5631.","apa":"Mahne, N., Renfrew, S. E., McCloskey, B. D., &#38; Freunberger, S. A. (2018). Elektrochemische Oxidation von Lithiumcarbonat generiert Singulett-Sauerstoff. <i>Angewandte Chemie</i>. Wiley. <a href=\"https://doi.org/10.1002/ange.201802277\">https://doi.org/10.1002/ange.201802277</a>"},"year":"2018","extern":"1","page":"5627-5631","quality_controlled":"1","volume":130,"publisher":"Wiley","date_published":"2018-05-04T00:00:00Z","publication_status":"published","abstract":[{"lang":"ger","text":"Feste Alkalicarbonate sind universelle Bestandteile von Passivierungsschichten an Materialien für Interkalationsbatterien, übliche Nebenprodukte in Metall‐O2‐Batterien, und es wird angenommen, dass sie sich reversibel in Metall‐O2 /CO2‐Zellen bilden und zersetzen. In all diesen Kathoden zersetzt sich Li2CO3 zu CO2, sobald es Spannungen >3.8 V vs. Li/Li+ ausgesetzt wird. Beachtenswert ist, dass keine O2‐Entwicklung detektiert wird, wie gemäß der Zersetzungsreaktion 2 Li2CO3 → 4 Li+ + 4 e− + 2 CO2 + O2 zu erwarten wäre. Deswegen war der Verbleib eines der O‐Atome ungeklärt und wurde nicht identifizierten parasitären Reaktionen zugerechnet. Hier zeigen wir, dass hochreaktiver Singulett‐Sauerstoff (1O2) bei der Oxidation von Li2CO3 in einem aprotischen Elektrolyten gebildet und daher nicht als O2 freigesetzt wird. Diese Ergebnisse haben weitreichende Auswirkungen auf die langfristige Zyklisierbarkeit von Batterien: sie untermauern die Wichtigkeit, 1O2 in Metall‐O2‐Batterien zu verhindern, stellen die Möglichkeit einer reversiblen Metall‐O2 /CO2‐Batterie basierend auf einem Carbonat‐Entladeprodukt in Frage und helfen, Grenzflächenreaktivität von Übergangsmetallkathoden mit Li2CO3‐Resten zu erklären."}],"ddc":["540"],"tmp":{"legal_code_url":"https://creativecommons.org/licenses/by-nc-nd/4.0/legalcode","image":"/images/cc_by_nc_nd.png","short":"CC BY-NC-ND (4.0)","name":"Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International (CC BY-NC-ND 4.0)"}},{"intvolume":"        98","title":"Cortical signal propagation: Balance, amplify, transmit","date_updated":"2021-01-12T08:16:31Z","oa":1,"article_processing_charge":"No","issue":"1","publication":"Neuron","language":[{"iso":"eng"}],"main_file_link":[{"open_access":"1","url":"https://doi.org/10.1016/j.neuron.2018.03.028"}],"oa_version":"Published Version","day":"04","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","month":"04","publication_identifier":{"issn":["0896-6273"]},"author":[{"last_name":"Stroud","first_name":"Jake P.","full_name":"Stroud, Jake P."},{"last_name":"Vogels","id":"CB6FF8D2-008F-11EA-8E08-2637E6697425","orcid":"0000-0003-3295-6181","first_name":"Tim P","full_name":"Vogels, Tim P"}],"pmid":1,"status":"public","type":"journal_article","date_created":"2020-06-25T12:53:39Z","citation":{"mla":"Stroud, Jake P., and Tim P. Vogels. “Cortical Signal Propagation: Balance, Amplify, Transmit.” <i>Neuron</i>, vol. 98, no. 1, Elsevier, 2018, pp. 8–9, doi:<a href=\"https://doi.org/10.1016/j.neuron.2018.03.028\">10.1016/j.neuron.2018.03.028</a>.","ista":"Stroud JP, Vogels TP. 2018. Cortical signal propagation: Balance, amplify, transmit. Neuron. 98(1), 8–9.","chicago":"Stroud, Jake P., and Tim P Vogels. “Cortical Signal Propagation: Balance, Amplify, Transmit.” <i>Neuron</i>. Elsevier, 2018. <a href=\"https://doi.org/10.1016/j.neuron.2018.03.028\">https://doi.org/10.1016/j.neuron.2018.03.028</a>.","ieee":"J. P. Stroud and T. P. Vogels, “Cortical signal propagation: Balance, amplify, transmit,” <i>Neuron</i>, vol. 98, no. 1. Elsevier, pp. 8–9, 2018.","ama":"Stroud JP, Vogels TP. Cortical signal propagation: Balance, amplify, transmit. <i>Neuron</i>. 2018;98(1):8-9. doi:<a href=\"https://doi.org/10.1016/j.neuron.2018.03.028\">10.1016/j.neuron.2018.03.028</a>","short":"J.P. Stroud, T.P. Vogels, Neuron 98 (2018) 8–9.","apa":"Stroud, J. P., &#38; Vogels, T. P. (2018). Cortical signal propagation: Balance, amplify, transmit. <i>Neuron</i>. Elsevier. <a href=\"https://doi.org/10.1016/j.neuron.2018.03.028\">https://doi.org/10.1016/j.neuron.2018.03.028</a>"},"year":"2018","doi":"10.1016/j.neuron.2018.03.028","_id":"8015","article_type":"original","external_id":{"pmid":["29621492"]},"abstract":[{"lang":"eng","text":"The neural code of cortical processing remains uncracked; however, it must necessarily rely on faithful signal propagation between cortical areas. In this issue of Neuron, Joglekar et al. (2018) show that strong inter-areal excitation balanced by local inhibition can enable reliable signal propagation in data-constrained network models of macaque cortex. "}],"publication_status":"published","page":"8-9","extern":"1","quality_controlled":"1","volume":98,"publisher":"Elsevier","date_published":"2018-04-04T00:00:00Z"},{"author":[{"full_name":"Cremer, Sylvia","first_name":"Sylvia","id":"2F64EC8C-F248-11E8-B48F-1D18A9856A87","last_name":"Cremer","orcid":"0000-0002-2193-3868"},{"full_name":"Pull, Christopher","first_name":"Christopher","id":"3C7F4840-F248-11E8-B48F-1D18A9856A87","last_name":"Pull","orcid":"0000-0003-1122-3982"},{"full_name":"Fürst, Matthias","first_name":"Matthias","orcid":"0000-0002-3712-925X","id":"393B1196-F248-11E8-B48F-1D18A9856A87","last_name":"Fürst"}],"day":"07","oa_version":"None","user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","month":"01","publication_identifier":{"issn":["1545-4487"]},"status":"public","type":"journal_article","title":"Social immunity: Emergence and evolution of colony-level disease protection","date_updated":"2023-09-19T09:29:45Z","article_processing_charge":"No","scopus_import":"1","intvolume":"        63","isi":1,"language":[{"iso":"eng"}],"publication":"Annual Review of Entomology","publication_status":"published","external_id":{"isi":["000424633700008"]},"abstract":[{"lang":"eng","text":"Social insect colonies have evolved many collectively performed adaptations that reduce the impact of infectious disease and that are expected to maximize their fitness. This colony-level protection is termed social immunity, and it enhances the health and survival of the colony. In this review, we address how social immunity emerges from its mechanistic components to produce colony-level disease avoidance, resistance, and tolerance. To understand the evolutionary causes and consequences of social immunity, we highlight the need for studies that evaluate the effects of social immunity on colony fitness. We discuss the role that host life history and ecology have on predicted eco-evolutionary dynamics, which differ among the social insect lineages. Throughout the review, we highlight current gaps in our knowledge and promising avenues for future research, which we hope will bring us closer to an integrated understanding of socio-eco-evo-immunology."}],"department":[{"_id":"SyCr"}],"page":"105 - 123","quality_controlled":"1","volume":63,"publisher":"Annual Reviews","date_published":"2018-01-07T00:00:00Z","citation":{"apa":"Cremer, S., Pull, C., &#38; Fürst, M. (2018). Social immunity: Emergence and evolution of colony-level disease protection. <i>Annual Review of Entomology</i>. Annual Reviews. <a href=\"https://doi.org/10.1146/annurev-ento-020117-043110\">https://doi.org/10.1146/annurev-ento-020117-043110</a>","ieee":"S. Cremer, C. Pull, and M. Fürst, “Social immunity: Emergence and evolution of colony-level disease protection,” <i>Annual Review of Entomology</i>, vol. 63. Annual Reviews, pp. 105–123, 2018.","ama":"Cremer S, Pull C, Fürst M. Social immunity: Emergence and evolution of colony-level disease protection. <i>Annual Review of Entomology</i>. 2018;63:105-123. doi:<a href=\"https://doi.org/10.1146/annurev-ento-020117-043110\">10.1146/annurev-ento-020117-043110</a>","short":"S. Cremer, C. Pull, M. Fürst, Annual Review of Entomology 63 (2018) 105–123.","ista":"Cremer S, Pull C, Fürst M. 2018. Social immunity: Emergence and evolution of colony-level disease protection. Annual Review of Entomology. 63, 105–123.","mla":"Cremer, Sylvia, et al. “Social Immunity: Emergence and Evolution of Colony-Level Disease Protection.” <i>Annual Review of Entomology</i>, vol. 63, Annual Reviews, 2018, pp. 105–23, doi:<a href=\"https://doi.org/10.1146/annurev-ento-020117-043110\">10.1146/annurev-ento-020117-043110</a>.","chicago":"Cremer, Sylvia, Christopher Pull, and Matthias Fürst. “Social Immunity: Emergence and Evolution of Colony-Level Disease Protection.” <i>Annual Review of Entomology</i>. Annual Reviews, 2018. <a href=\"https://doi.org/10.1146/annurev-ento-020117-043110\">https://doi.org/10.1146/annurev-ento-020117-043110</a>."},"publist_id":"6844","date_created":"2018-12-11T11:48:36Z","year":"2018","related_material":{"record":[{"id":"819","relation":"dissertation_contains","status":"public"}]},"_id":"806","doi":"10.1146/annurev-ento-020117-043110"},{"publication":"Nature Neuroscience","language":[{"iso":"eng"}],"intvolume":"        21","oa":1,"date_updated":"2021-01-12T08:16:46Z","issue":"12","article_processing_charge":"No","title":"Motor primitives in space and time via targeted gain modulation in cortical networks","pmid":1,"type":"journal_article","status":"public","publication_identifier":{"issn":["1097-6256","1546-1726"]},"month":"12","day":"01","oa_version":"Submitted Version","main_file_link":[{"url":"https://www.ncbi.nlm.nih.gov/pmc/articles/PMC6276991/","open_access":"1"}],"user_id":"D865714E-FA4E-11E9-B85B-F5C5E5697425","author":[{"last_name":"Stroud","first_name":"Jake P.","full_name":"Stroud, Jake P."},{"last_name":"Porter","full_name":"Porter, Mason A.","first_name":"Mason A."},{"last_name":"Hennequin","full_name":"Hennequin, Guillaume","first_name":"Guillaume"},{"id":"CB6FF8D2-008F-11EA-8E08-2637E6697425","last_name":"Vogels","orcid":"0000-0003-3295-6181","full_name":"Vogels, Tim P","first_name":"Tim P"}],"doi":"10.1038/s41593-018-0276-0","_id":"8073","article_type":"original","related_material":{"link":[{"url":"https://doi.org/10.1038/s41593-018-0307-x","relation":"erratum"}]},"year":"2018","date_created":"2020-06-30T13:18:02Z","citation":{"mla":"Stroud, Jake P., et al. “Motor Primitives in Space and Time via Targeted Gain Modulation in Cortical Networks.” <i>Nature Neuroscience</i>, vol. 21, no. 12, Springer Nature, 2018, pp. 1774–83, doi:<a href=\"https://doi.org/10.1038/s41593-018-0276-0\">10.1038/s41593-018-0276-0</a>.","chicago":"Stroud, Jake P., Mason A. Porter, Guillaume Hennequin, and Tim P Vogels. “Motor Primitives in Space and Time via Targeted Gain Modulation in Cortical Networks.” <i>Nature Neuroscience</i>. Springer Nature, 2018. <a href=\"https://doi.org/10.1038/s41593-018-0276-0\">https://doi.org/10.1038/s41593-018-0276-0</a>.","ista":"Stroud JP, Porter MA, Hennequin G, Vogels TP. 2018. Motor primitives in space and time via targeted gain modulation in cortical networks. Nature Neuroscience. 21(12), 1774–1783.","short":"J.P. Stroud, M.A. Porter, G. Hennequin, T.P. Vogels, Nature Neuroscience 21 (2018) 1774–1783.","ama":"Stroud JP, Porter MA, Hennequin G, Vogels TP. Motor primitives in space and time via targeted gain modulation in cortical networks. <i>Nature Neuroscience</i>. 2018;21(12):1774-1783. doi:<a href=\"https://doi.org/10.1038/s41593-018-0276-0\">10.1038/s41593-018-0276-0</a>","ieee":"J. P. Stroud, M. A. Porter, G. Hennequin, and T. P. Vogels, “Motor primitives in space and time via targeted gain modulation in cortical networks,” <i>Nature Neuroscience</i>, vol. 21, no. 12. Springer Nature, pp. 1774–1783, 2018.","apa":"Stroud, J. P., Porter, M. A., Hennequin, G., &#38; Vogels, T. P. (2018). Motor primitives in space and time via targeted gain modulation in cortical networks. <i>Nature Neuroscience</i>. Springer Nature. <a href=\"https://doi.org/10.1038/s41593-018-0276-0\">https://doi.org/10.1038/s41593-018-0276-0</a>"},"publisher":"Springer Nature","date_published":"2018-12-01T00:00:00Z","page":"1774-1783","extern":"1","volume":21,"quality_controlled":"1","external_id":{"pmid":["30482949"]},"abstract":[{"lang":"eng","text":"Motor cortex (M1) exhibits a rich repertoire of neuronal activities to support the generation of complex movements. Although recent neuronal-network models capture many qualitative aspects of M1 dynamics, they can generate only a few distinct movements. Additionally, it is unclear how M1 efficiently controls movements over a wide range of shapes and speeds. We demonstrate that modulation of neuronal input–output gains in recurrent neuronal-network models with a fixed architecture can dramatically reorganize neuronal activity and thus downstream muscle outputs. Consistent with the observation of diffuse neuromodulatory projections to M1, a relatively small number of modulatory control units provide sufficient flexibility to adjust high-dimensional network activity using a simple reward-based learning rule. Furthermore, it is possible to assemble novel movements from previously learned primitives, and one can separately change movement speed while preserving movement shape. Our results provide a new perspective on the role of modulatory systems in controlling recurrent cortical activity."}],"publication_status":"published"},{"language":[{"iso":"eng"}],"isi":1,"scopus_import":"1","intvolume":"     11022","has_accepted_license":"1","article_processing_charge":"No","date_updated":"2023-09-13T08:58:34Z","oa":1,"title":"Monitoring temporal logic with clock variables","type":"conference","status":"public","alternative_title":["LNCS"],"month":"08","conference":{"location":"Beijing, China","end_date":"2018-09-06","name":"FORMATS: Formal Modeling and Analysis of Timed Systems","start_date":"2018-09-04"},"user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","file":[{"file_size":537219,"content_type":"application/pdf","access_level":"open_access","relation":"main_file","creator":"dernst","date_created":"2020-10-09T06:24:21Z","date_updated":"2020-10-09T06:24:21Z","success":1,"checksum":"e5d81c9b50a6bd9d8a2c16953aad7e23","file_id":"8638","file_name":"2018_LNCS_Elgyuett.pdf"}],"day":"26","oa_version":"Submitted Version","author":[{"full_name":"Elgyütt, Adrian","first_name":"Adrian","last_name":"Elgyütt","id":"4A2E9DBA-F248-11E8-B48F-1D18A9856A87"},{"first_name":"Thomas","full_name":"Ferrere, Thomas","id":"40960E6E-F248-11E8-B48F-1D18A9856A87","last_name":"Ferrere","orcid":"0000-0001-5199-3143"},{"orcid":"0000−0002−2985−7724","last_name":"Henzinger","id":"40876CD8-F248-11E8-B48F-1D18A9856A87","full_name":"Henzinger, Thomas A","first_name":"Thomas A"}],"doi":"10.1007/978-3-030-00151-3_4","_id":"81","file_date_updated":"2020-10-09T06:24:21Z","year":"2018","citation":{"apa":"Elgyütt, A., Ferrere, T., &#38; Henzinger, T. A. (2018). Monitoring temporal logic with clock variables (Vol. 11022, pp. 53–70). Presented at the FORMATS: Formal Modeling and Analysis of Timed Systems, Beijing, China: Springer. <a href=\"https://doi.org/10.1007/978-3-030-00151-3_4\">https://doi.org/10.1007/978-3-030-00151-3_4</a>","mla":"Elgyütt, Adrian, et al. <i>Monitoring Temporal Logic with Clock Variables</i>. Vol. 11022, Springer, 2018, pp. 53–70, doi:<a href=\"https://doi.org/10.1007/978-3-030-00151-3_4\">10.1007/978-3-030-00151-3_4</a>.","ista":"Elgyütt A, Ferrere T, Henzinger TA. 2018. Monitoring temporal logic with clock variables. FORMATS: Formal Modeling and Analysis of Timed Systems, LNCS, vol. 11022, 53–70.","chicago":"Elgyütt, Adrian, Thomas Ferrere, and Thomas A Henzinger. “Monitoring Temporal Logic with Clock Variables,” 11022:53–70. Springer, 2018. <a href=\"https://doi.org/10.1007/978-3-030-00151-3_4\">https://doi.org/10.1007/978-3-030-00151-3_4</a>.","ieee":"A. Elgyütt, T. Ferrere, and T. A. Henzinger, “Monitoring temporal logic with clock variables,” presented at the FORMATS: Formal Modeling and Analysis of Timed Systems, Beijing, China, 2018, vol. 11022, pp. 53–70.","ama":"Elgyütt A, Ferrere T, Henzinger TA. Monitoring temporal logic with clock variables. In: Vol 11022. Springer; 2018:53-70. doi:<a href=\"https://doi.org/10.1007/978-3-030-00151-3_4\">10.1007/978-3-030-00151-3_4</a>","short":"A. Elgyütt, T. Ferrere, T.A. Henzinger, in:, Springer, 2018, pp. 53–70."},"date_created":"2018-12-11T11:44:31Z","publist_id":"7973","date_published":"2018-08-26T00:00:00Z","publisher":"Springer","quality_controlled":"1","volume":11022,"department":[{"_id":"ToHe"}],"page":"53 - 70","project":[{"call_identifier":"FWF","name":"Moderne Concurrency Paradigms","_id":"25F5A88A-B435-11E9-9278-68D0E5697425","grant_number":"S11402-N23"},{"grant_number":"Z211","_id":"25F42A32-B435-11E9-9278-68D0E5697425","name":"The Wittgenstein Prize","call_identifier":"FWF"}],"ddc":["000"],"abstract":[{"lang":"eng","text":"We solve the offline monitoring problem for timed propositional temporal logic (TPTL), interpreted over dense-time Boolean signals. The variant of TPTL we consider extends linear temporal logic (LTL) with clock variables and reset quantifiers, providing a mechanism to specify real-time constraints. We first describe a general monitoring algorithm based on an exhaustive computation of the set of satisfying clock assignments as a finite union of zones. We then propose a specialized monitoring algorithm for the one-variable case using a partition of the time domain based on the notion of region equivalence, whose complexity is linear in the length of the signal, thereby generalizing a known result regarding the monitoring of metric temporal logic (MTL). The region and zone representations of time constraints are known from timed automata verification and can also be used in the discrete-time case. Our prototype implementation appears to outperform previous discrete-time implementations of TPTL monitoring,"}],"external_id":{"isi":["000884993200004"]},"publication_status":"published"},{"abstract":[{"lang":"eng","text":"Land plants evolved from charophytic algae, among which Charophyceae possess the most complex body plans. We present the genome of Chara braunii; comparison of the genome to those of land plants identified evolutionary novelties for plant terrestrialization and land plant heritage genes. C. braunii employs unique xylan synthases for cell wall biosynthesis, a phragmoplast (cell separation) mechanism similar to that of land plants, and many phytohormones. C. braunii plastids are controlled via land-plant-like retrograde signaling, and transcriptional regulation is more elaborate than in other algae. The morphological complexity of this organism may result from expanded gene families, with three cases of particular note: genes effecting tolerance to reactive oxygen species (ROS), LysM receptor-like kinases, and transcription factors (TFs). Transcriptomic analysis of sexual reproductive structures reveals intricate control by TFs, activity of the ROS gene network, and the ancestral use of plant-like storage and stress protection proteins in the zygote."}],"external_id":{"pmid":["30007417"],"isi":["000438482800019"]},"publication_status":"published","date_published":"2018-07-12T00:00:00Z","publisher":"Cell Press","quality_controlled":"1","volume":174,"page":"448 - 464.e24","department":[{"_id":"JiFr"}],"project":[{"_id":"261099A6-B435-11E9-9278-68D0E5697425","grant_number":"742985","name":"Tracing Evolution of Auxin Transport and Polarity in Plants","call_identifier":"H2020"}],"ec_funded":1,"year":"2018","acknowledgement":"In-Data-Review","publist_id":"7774","date_created":"2018-12-11T11:44:53Z","citation":{"apa":"Nishiyama, T., Sakayama, H., De Vries, J., Buschmann, H., Saint Marcoux, D., Ullrich, K., … Rensing, S. (2018). The Chara genome: Secondary complexity and implications for plant terrestrialization. <i>Cell</i>. Cell Press. <a href=\"https://doi.org/10.1016/j.cell.2018.06.033\">https://doi.org/10.1016/j.cell.2018.06.033</a>","short":"T. Nishiyama, H. Sakayama, J. De Vries, H. Buschmann, D. Saint Marcoux, K. Ullrich, F. Haas, L. Vanderstraeten, D. Becker, D. Lang, S. Vosolsobě, S. Rombauts, P. Wilhelmsson, P. Janitza, R. Kern, A. Heyl, F. Rümpler, L. Calderón Villalobos, J. Clay, R. Skokan, A. Toyoda, Y. Suzuki, H. Kagoshima, E. Schijlen, N. Tajeshwar, B. Catarino, A. Hetherington, A. Saltykova, C. Bonnot, H. Breuninger, A. Symeonidi, G. Radhakrishnan, F. Van Nieuwerburgh, D. Deforce, C. Chang, K. Karol, R. Hedrich, P. Ulvskov, G. Glöckner, C. Delwiche, J. Petrášek, Y. Van De Peer, J. Friml, M. Beilby, L. Dolan, Y. Kohara, S. Sugano, A. Fujiyama, P.M. Delaux, M. Quint, G. Theissen, M. Hagemann, J. Harholt, C. Dunand, S. Zachgo, J. Langdale, F. Maumus, D. Van Der Straeten, S.B. Gould, S. Rensing, Cell 174 (2018) 448–464.e24.","ama":"Nishiyama T, Sakayama H, De Vries J, et al. The Chara genome: Secondary complexity and implications for plant terrestrialization. <i>Cell</i>. 2018;174(2):448-464.e24. doi:<a href=\"https://doi.org/10.1016/j.cell.2018.06.033\">10.1016/j.cell.2018.06.033</a>","ieee":"T. Nishiyama <i>et al.</i>, “The Chara genome: Secondary complexity and implications for plant terrestrialization,” <i>Cell</i>, vol. 174, no. 2. Cell Press, p. 448–464.e24, 2018.","mla":"Nishiyama, Tomoaki, et al. “The Chara Genome: Secondary Complexity and Implications for Plant Terrestrialization.” <i>Cell</i>, vol. 174, no. 2, Cell Press, 2018, p. 448–464.e24, doi:<a href=\"https://doi.org/10.1016/j.cell.2018.06.033\">10.1016/j.cell.2018.06.033</a>.","ista":"Nishiyama T, Sakayama H, De Vries J, Buschmann H, Saint Marcoux D, Ullrich K, Haas F, Vanderstraeten L, Becker D, Lang D, Vosolsobě S, Rombauts S, Wilhelmsson P, Janitza P, Kern R, Heyl A, Rümpler F, Calderón Villalobos L, Clay J, Skokan R, Toyoda A, Suzuki Y, Kagoshima H, Schijlen E, Tajeshwar N, Catarino B, Hetherington A, Saltykova A, Bonnot C, Breuninger H, Symeonidi A, Radhakrishnan G, Van Nieuwerburgh F, Deforce D, Chang C, Karol K, Hedrich R, Ulvskov P, Glöckner G, Delwiche C, Petrášek J, Van De Peer Y, Friml J, Beilby M, Dolan L, Kohara Y, Sugano S, Fujiyama A, Delaux PM, Quint M, Theissen G, Hagemann M, Harholt J, Dunand C, Zachgo S, Langdale J, Maumus F, Van Der Straeten D, Gould SB, Rensing S. 2018. The Chara genome: Secondary complexity and implications for plant terrestrialization. Cell. 174(2), 448–464.e24.","chicago":"Nishiyama, Tomoaki, Hidetoshi Sakayama, Jan De Vries, Henrik Buschmann, Denis Saint Marcoux, Kristian Ullrich, Fabian Haas, et al. “The Chara Genome: Secondary Complexity and Implications for Plant Terrestrialization.” <i>Cell</i>. Cell Press, 2018. <a href=\"https://doi.org/10.1016/j.cell.2018.06.033\">https://doi.org/10.1016/j.cell.2018.06.033</a>."},"doi":"10.1016/j.cell.2018.06.033","_id":"148","month":"07","user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","day":"12","oa_version":"Published Version","main_file_link":[{"open_access":"1","url":"https://www.ncbi.nlm.nih.gov/pubmed/30007417"}],"author":[{"last_name":"Nishiyama","full_name":"Nishiyama, Tomoaki","first_name":"Tomoaki"},{"last_name":"Sakayama","full_name":"Sakayama, Hidetoshi","first_name":"Hidetoshi"},{"full_name":"De Vries, Jan","first_name":"Jan","last_name":"De Vries"},{"full_name":"Buschmann, Henrik","first_name":"Henrik","last_name":"Buschmann"},{"first_name":"Denis","full_name":"Saint Marcoux, Denis","last_name":"Saint Marcoux"},{"last_name":"Ullrich","first_name":"Kristian","full_name":"Ullrich, Kristian"},{"full_name":"Haas, Fabian","first_name":"Fabian","last_name":"Haas"},{"last_name":"Vanderstraeten","first_name":"Lisa","full_name":"Vanderstraeten, Lisa"},{"full_name":"Becker, Dirk","first_name":"Dirk","last_name":"Becker"},{"last_name":"Lang","first_name":"Daniel","full_name":"Lang, Daniel"},{"last_name":"Vosolsobě","full_name":"Vosolsobě, Stanislav","first_name":"Stanislav"},{"last_name":"Rombauts","full_name":"Rombauts, Stephane","first_name":"Stephane"},{"first_name":"Per","full_name":"Wilhelmsson, Per","last_name":"Wilhelmsson"},{"full_name":"Janitza, Philipp","first_name":"Philipp","last_name":"Janitza"},{"full_name":"Kern, Ramona","first_name":"Ramona","last_name":"Kern"},{"full_name":"Heyl, Alexander","first_name":"Alexander","last_name":"Heyl"},{"first_name":"Florian","full_name":"Rümpler, Florian","last_name":"Rümpler"},{"full_name":"Calderón Villalobos, Luz","first_name":"Luz","last_name":"Calderón Villalobos"},{"last_name":"Clay","first_name":"John","full_name":"Clay, John"},{"last_name":"Skokan","first_name":"Roman","full_name":"Skokan, Roman"},{"last_name":"Toyoda","first_name":"Atsushi","full_name":"Toyoda, Atsushi"},{"last_name":"Suzuki","first_name":"Yutaka","full_name":"Suzuki, Yutaka"},{"full_name":"Kagoshima, Hiroshi","first_name":"Hiroshi","last_name":"Kagoshima"},{"last_name":"Schijlen","full_name":"Schijlen, Elio","first_name":"Elio"},{"last_name":"Tajeshwar","full_name":"Tajeshwar, Navindra","first_name":"Navindra"},{"first_name":"Bruno","full_name":"Catarino, Bruno","last_name":"Catarino"},{"first_name":"Alexander","full_name":"Hetherington, Alexander","last_name":"Hetherington"},{"last_name":"Saltykova","full_name":"Saltykova, Assia","first_name":"Assia"},{"first_name":"Clemence","full_name":"Bonnot, Clemence","last_name":"Bonnot"},{"last_name":"Breuninger","first_name":"Holger","full_name":"Breuninger, Holger"},{"last_name":"Symeonidi","first_name":"Aikaterini","full_name":"Symeonidi, Aikaterini"},{"last_name":"Radhakrishnan","full_name":"Radhakrishnan, Guru","first_name":"Guru"},{"first_name":"Filip","full_name":"Van Nieuwerburgh, Filip","last_name":"Van Nieuwerburgh"},{"first_name":"Dieter","full_name":"Deforce, Dieter","last_name":"Deforce"},{"first_name":"Caren","full_name":"Chang, Caren","last_name":"Chang"},{"first_name":"Kenneth","full_name":"Karol, Kenneth","last_name":"Karol"},{"first_name":"Rainer","full_name":"Hedrich, Rainer","last_name":"Hedrich"},{"first_name":"Peter","full_name":"Ulvskov, Peter","last_name":"Ulvskov"},{"last_name":"Glöckner","first_name":"Gernot","full_name":"Glöckner, Gernot"},{"last_name":"Delwiche","full_name":"Delwiche, Charles","first_name":"Charles"},{"last_name":"Petrášek","full_name":"Petrášek, Jan","first_name":"Jan"},{"full_name":"Van De Peer, Yves","first_name":"Yves","last_name":"Van De Peer"},{"full_name":"Friml, Jirí","first_name":"Jirí","orcid":"0000-0002-8302-7596","last_name":"Friml","id":"4159519E-F248-11E8-B48F-1D18A9856A87"},{"first_name":"Mary","full_name":"Beilby, Mary","last_name":"Beilby"},{"full_name":"Dolan, Liam","first_name":"Liam","last_name":"Dolan"},{"last_name":"Kohara","first_name":"Yuji","full_name":"Kohara, Yuji"},{"last_name":"Sugano","full_name":"Sugano, Sumio","first_name":"Sumio"},{"full_name":"Fujiyama, Asao","first_name":"Asao","last_name":"Fujiyama"},{"last_name":"Delaux","full_name":"Delaux, Pierre Marc","first_name":"Pierre Marc"},{"full_name":"Quint, Marcel","first_name":"Marcel","last_name":"Quint"},{"last_name":"Theissen","full_name":"Theissen, Gunter","first_name":"Gunter"},{"first_name":"Martin","full_name":"Hagemann, Martin","last_name":"Hagemann"},{"full_name":"Harholt, Jesper","first_name":"Jesper","last_name":"Harholt"},{"first_name":"Christophe","full_name":"Dunand, Christophe","last_name":"Dunand"},{"full_name":"Zachgo, Sabine","first_name":"Sabine","last_name":"Zachgo"},{"full_name":"Langdale, Jane","first_name":"Jane","last_name":"Langdale"},{"last_name":"Maumus","first_name":"Florian","full_name":"Maumus, Florian"},{"first_name":"Dominique","full_name":"Van Der Straeten, Dominique","last_name":"Van Der Straeten"},{"full_name":"Gould, Sven B","first_name":"Sven B","last_name":"Gould"},{"first_name":"Stefan","full_name":"Rensing, Stefan","last_name":"Rensing"}],"type":"journal_article","status":"public","pmid":1,"isi":1,"intvolume":"       174","scopus_import":"1","article_processing_charge":"No","issue":"2","date_updated":"2023-09-19T10:02:47Z","oa":1,"title":"The Chara genome: Secondary complexity and implications for plant terrestrialization","publication":"Cell","language":[{"iso":"eng"}]},{"type":"dissertation","status":"public","alternative_title":["ISTA Thesis"],"author":[{"id":"36D3D8B6-F248-11E8-B48F-1D18A9856A87","last_name":"Alt","first_name":"Johannes","full_name":"Alt, Johannes"}],"month":"07","publication_identifier":{"issn":["2663-337X"]},"file":[{"creator":"dernst","relation":"main_file","file_size":5801709,"content_type":"application/pdf","access_level":"open_access","checksum":"d4dad55a7513f345706aaaba90cb1bb8","file_id":"6241","file_name":"2018_thesis_Alt.pdf","date_created":"2019-04-08T13:55:20Z","date_updated":"2020-07-14T12:44:57Z"},{"checksum":"d73fcf46300dce74c403f2b491148ab4","file_name":"2018_thesis_Alt_source.zip","file_id":"6242","date_created":"2019-04-08T13:55:20Z","date_updated":"2020-07-14T12:44:57Z","creator":"dernst","file_size":3802059,"relation":"source_file","access_level":"closed","content_type":"application/zip"}],"user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","day":"12","oa_version":"Published Version","language":[{"iso":"eng"}],"article_processing_charge":"No","date_updated":"2024-02-22T14:34:33Z","pubrep_id":"1040","oa":1,"title":"Dyson equation and eigenvalue statistics of random matrices","has_accepted_license":"1","project":[{"_id":"258DCDE6-B435-11E9-9278-68D0E5697425","grant_number":"338804","call_identifier":"FP7","name":"Random matrices, universality and disordered quantum systems"}],"date_published":"2018-07-12T00:00:00Z","supervisor":[{"full_name":"Erdös, László","first_name":"László","orcid":"0000-0001-5366-9603","last_name":"Erdös","id":"4DBD5372-F248-11E8-B48F-1D18A9856A87"}],"publisher":"Institute of Science and Technology Austria","page":"456","department":[{"_id":"LaEr"}],"publication_status":"published","tmp":{"name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","short":"CC BY (4.0)","image":"/images/cc_by.png","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode"},"ddc":["515","519"],"abstract":[{"text":"The eigenvalue density of many large random matrices is well approximated by a deterministic measure, the self-consistent density of states. In the present work, we show this behaviour for several classes of random matrices. In fact, we establish that, in each of these classes, the self-consistent density of states approximates the eigenvalue density of the random matrix on all scales slightly above the typical eigenvalue spacing. For large classes of random matrices, the self-consistent density of states exhibits several universal features. We prove that, under suitable assumptions, random Gram matrices and Hermitian random matrices with decaying correlations have a 1/3-Hölder continuous self-consistent density of states ρ on R, which is analytic, where it is positive, and has either a square root edge or a cubic root cusp, where it vanishes. We, thus, extend the validity of the corresponding result for Wigner-type matrices from [4, 5, 7]. We show that ρ is determined as the inverse Stieltjes transform of the normalized trace of the unique solution m(z) to the Dyson equation −m(z) −1 = z − a + S[m(z)] on C N×N with the constraint Im m(z) ≥ 0. Here, z lies in the complex upper half-plane, a is a self-adjoint element of C N×N and S is a positivity-preserving operator on C N×N encoding the first two moments of the random matrix. In order to analyze a possible limit of ρ for N → ∞ and address some applications in free probability theory, we also consider the Dyson equation on infinite dimensional von Neumann algebras. We present two applications to random matrices. We first establish that, under certain assumptions, large random matrices with independent entries have a rotationally symmetric self-consistent density of states which is supported on a centered disk in C. Moreover, it is infinitely often differentiable apart from a jump on the boundary of this disk. Second, we show edge universality at all regular (not necessarily extreme) spectral edges for Hermitian random matrices with decaying correlations.","lang":"eng"}],"_id":"149","file_date_updated":"2020-07-14T12:44:57Z","doi":"10.15479/AT:ISTA:TH_1040","year":"2018","date_created":"2018-12-11T11:44:53Z","citation":{"apa":"Alt, J. (2018). <i>Dyson equation and eigenvalue statistics of random matrices</i>. Institute of Science and Technology Austria. <a href=\"https://doi.org/10.15479/AT:ISTA:TH_1040\">https://doi.org/10.15479/AT:ISTA:TH_1040</a>","short":"J. Alt, Dyson Equation and Eigenvalue Statistics of Random Matrices, Institute of Science and Technology Austria, 2018.","ama":"Alt J. Dyson equation and eigenvalue statistics of random matrices. 2018. doi:<a href=\"https://doi.org/10.15479/AT:ISTA:TH_1040\">10.15479/AT:ISTA:TH_1040</a>","ieee":"J. Alt, “Dyson equation and eigenvalue statistics of random matrices,” Institute of Science and Technology Austria, 2018.","ista":"Alt J. 2018. Dyson equation and eigenvalue statistics of random matrices. Institute of Science and Technology Austria.","mla":"Alt, Johannes. <i>Dyson Equation and Eigenvalue Statistics of Random Matrices</i>. Institute of Science and Technology Austria, 2018, doi:<a href=\"https://doi.org/10.15479/AT:ISTA:TH_1040\">10.15479/AT:ISTA:TH_1040</a>.","chicago":"Alt, Johannes. “Dyson Equation and Eigenvalue Statistics of Random Matrices.” Institute of Science and Technology Austria, 2018. <a href=\"https://doi.org/10.15479/AT:ISTA:TH_1040\">https://doi.org/10.15479/AT:ISTA:TH_1040</a>."},"publist_id":"7772","degree_awarded":"PhD","related_material":{"record":[{"id":"1677","relation":"part_of_dissertation","status":"public"},{"status":"public","relation":"part_of_dissertation","id":"550"},{"status":"public","relation":"part_of_dissertation","id":"6183"},{"id":"566","relation":"part_of_dissertation","status":"public"},{"relation":"part_of_dissertation","id":"1010","status":"public"},{"relation":"part_of_dissertation","id":"6240","status":"public"},{"status":"public","id":"6184","relation":"part_of_dissertation"}]},"ec_funded":1},{"external_id":{"isi":["000433041500026"],"pmid":["29777221"]},"abstract":[{"text":"Although much is known about the physiological framework of T cell motility, and numerous rate-limiting molecules have been identified through loss-of-function approaches, an integrated functional concept of T cell motility is lacking. Here, we used in vivo precision morphometry together with analysis of cytoskeletal dynamics in vitro to deconstruct the basic mechanisms of T cell migration within lymphatic organs. We show that the contributions of the integrin LFA-1 and the chemokine receptor CCR7 are complementary rather than positioned in a linear pathway, as they are during leukocyte extravasation from the blood vasculature. Our data demonstrate that CCR7 controls cortical actin flows, whereas integrins mediate substrate friction that is sufficient to drive locomotion in the absence of considerable surface adhesions and plasma membrane flux.","lang":"eng"}],"publication_status":"published","page":"606 - 616","department":[{"_id":"MiSi"},{"_id":"Bio"}],"quality_controlled":"1","volume":19,"publisher":"Nature Publishing Group","date_published":"2018-05-18T00:00:00Z","project":[{"call_identifier":"H2020","name":"Cellular navigation along spatial gradients","_id":"25FE9508-B435-11E9-9278-68D0E5697425","grant_number":"724373"},{"_id":"260AA4E2-B435-11E9-9278-68D0E5697425","grant_number":"747687","name":"Mechanical Adaptation of Lamellipodial Actin Networks in Migrating Cells","call_identifier":"H2020"},{"grant_number":"ALTF 1396-2014","_id":"25A48D24-B435-11E9-9278-68D0E5697425","name":"Molecular and system level view of immune cell migration"},{"grant_number":"281556","_id":"25A603A2-B435-11E9-9278-68D0E5697425","name":"Cytoskeletal force generation and force transduction of migrating leukocytes (EU)","call_identifier":"FP7"}],"ec_funded":1,"related_material":{"record":[{"status":"public","id":"6891","relation":"dissertation_contains"}]},"date_created":"2018-12-11T11:44:10Z","publist_id":"8040","citation":{"apa":"Hons, M., Kopf, A., Hauschild, R., Leithner, A. F., Gärtner, F. R., Abe, J., … Sixt, M. K. (2018). Chemokines and integrins independently tune actin flow and substrate friction during intranodal migration of T cells. <i>Nature Immunology</i>. Nature Publishing Group. <a href=\"https://doi.org/10.1038/s41590-018-0109-z\">https://doi.org/10.1038/s41590-018-0109-z</a>","short":"M. Hons, A. Kopf, R. Hauschild, A.F. Leithner, F.R. Gärtner, J. Abe, J. Renkawitz, J. Stein, M.K. Sixt, Nature Immunology 19 (2018) 606–616.","ama":"Hons M, Kopf A, Hauschild R, et al. Chemokines and integrins independently tune actin flow and substrate friction during intranodal migration of T cells. <i>Nature Immunology</i>. 2018;19(6):606-616. doi:<a href=\"https://doi.org/10.1038/s41590-018-0109-z\">10.1038/s41590-018-0109-z</a>","ieee":"M. Hons <i>et al.</i>, “Chemokines and integrins independently tune actin flow and substrate friction during intranodal migration of T cells,” <i>Nature Immunology</i>, vol. 19, no. 6. Nature Publishing Group, pp. 606–616, 2018.","mla":"Hons, Miroslav, et al. “Chemokines and Integrins Independently Tune Actin Flow and Substrate Friction during Intranodal Migration of T Cells.” <i>Nature Immunology</i>, vol. 19, no. 6, Nature Publishing Group, 2018, pp. 606–16, doi:<a href=\"https://doi.org/10.1038/s41590-018-0109-z\">10.1038/s41590-018-0109-z</a>.","ista":"Hons M, Kopf A, Hauschild R, Leithner AF, Gärtner FR, Abe J, Renkawitz J, Stein J, Sixt MK. 2018. Chemokines and integrins independently tune actin flow and substrate friction during intranodal migration of T cells. Nature Immunology. 19(6), 606–616.","chicago":"Hons, Miroslav, Aglaja Kopf, Robert Hauschild, Alexander F Leithner, Florian R Gärtner, Jun Abe, Jörg Renkawitz, Jens Stein, and Michael K Sixt. “Chemokines and Integrins Independently Tune Actin Flow and Substrate Friction during Intranodal Migration of T Cells.” <i>Nature Immunology</i>. Nature Publishing Group, 2018. <a href=\"https://doi.org/10.1038/s41590-018-0109-z\">https://doi.org/10.1038/s41590-018-0109-z</a>."},"acknowledgement":"This work was funded by grants from the European Research Council (ERC StG 281556 and CoG 724373) and the Austrian Science Foundation (FWF) to M.S. and by Swiss National Foundation (SNF) project grants 31003A_135649, 31003A_153457 and CR23I3_156234 to J.V.S. F.G. received funding from the European Union’s Horizon 2020 research and innovation programme under the Marie Skłodowska-Curie grant agreement no. 747687, and J.R. was funded by an EMBO long-term fellowship (ALTF 1396-2014).","year":"2018","doi":"10.1038/s41590-018-0109-z","acknowledged_ssus":[{"_id":"SSU"}],"_id":"15","oa_version":"Published Version","main_file_link":[{"url":"https://www.ncbi.nlm.nih.gov/pubmed/29777221","open_access":"1"}],"day":"18","user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","month":"05","author":[{"orcid":"0000-0002-6625-3348","last_name":"Hons","id":"4167FE56-F248-11E8-B48F-1D18A9856A87","full_name":"Hons, Miroslav","first_name":"Miroslav"},{"full_name":"Kopf, Aglaja","first_name":"Aglaja","last_name":"Kopf","id":"31DAC7B6-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-2187-6656"},{"full_name":"Hauschild, Robert","first_name":"Robert","orcid":"0000-0001-9843-3522","last_name":"Hauschild","id":"4E01D6B4-F248-11E8-B48F-1D18A9856A87"},{"full_name":"Leithner, Alexander F","first_name":"Alexander F","id":"3B1B77E4-F248-11E8-B48F-1D18A9856A87","last_name":"Leithner","orcid":"0000-0002-1073-744X"},{"full_name":"Gärtner, Florian R","first_name":"Florian R","orcid":"0000-0001-6120-3723","id":"397A88EE-F248-11E8-B48F-1D18A9856A87","last_name":"Gärtner"},{"last_name":"Abe","first_name":"Jun","full_name":"Abe, Jun"},{"first_name":"Jörg","full_name":"Renkawitz, Jörg","orcid":"0000-0003-2856-3369","id":"3F0587C8-F248-11E8-B48F-1D18A9856A87","last_name":"Renkawitz"},{"last_name":"Stein","full_name":"Stein, Jens","first_name":"Jens"},{"last_name":"Sixt","id":"41E9FBEA-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-6620-9179","first_name":"Michael K","full_name":"Sixt, Michael K"}],"pmid":1,"status":"public","type":"journal_article","scopus_import":"1","intvolume":"        19","isi":1,"title":"Chemokines and integrins independently tune actin flow and substrate friction during intranodal migration of T cells","oa":1,"date_updated":"2024-03-25T23:30:22Z","issue":"6","article_processing_charge":"No","publication":"Nature Immunology","language":[{"iso":"eng"}]},{"title":"Inositol phosphates are assembly co-factors for HIV-1","oa":1,"date_updated":"2023-09-12T07:44:37Z","issue":"7719","article_processing_charge":"No","intvolume":"       560","scopus_import":"1","isi":1,"language":[{"iso":"eng"}],"publication":"Nature","author":[{"full_name":"Dick, Robert","first_name":"Robert","last_name":"Dick"},{"first_name":"Kaneil K","full_name":"Zadrozny, Kaneil K","last_name":"Zadrozny"},{"full_name":"Xu, Chaoyi","first_name":"Chaoyi","last_name":"Xu"},{"id":"48AD8942-F248-11E8-B48F-1D18A9856A87","last_name":"Schur","orcid":"0000-0003-4790-8078","first_name":"Florian","full_name":"Schur, Florian"},{"full_name":"Lyddon, Terri D","first_name":"Terri D","last_name":"Lyddon"},{"last_name":"Ricana","full_name":"Ricana, Clifton L","first_name":"Clifton L"},{"first_name":"Jonathan M","full_name":"Wagner, Jonathan M","last_name":"Wagner"},{"first_name":"Juan R","full_name":"Perilla, Juan R","last_name":"Perilla"},{"last_name":"Ganser","full_name":"Ganser, Pornillos Barbie K","first_name":"Pornillos Barbie K"},{"last_name":"Johnson","full_name":"Johnson, Marc C","first_name":"Marc C"},{"first_name":"Owen","full_name":"Pornillos, Owen","last_name":"Pornillos"},{"first_name":"Volker","full_name":"Vogt, Volker","last_name":"Vogt"}],"oa_version":"Submitted Version","main_file_link":[{"url":"https://www.ncbi.nlm.nih.gov/pmc/articles/PMC6242333/","open_access":"1"}],"day":"29","user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","month":"08","publication_identifier":{"eissn":["1476-4687"]},"pmid":1,"status":"public","type":"journal_article","date_created":"2018-12-11T11:44:53Z","citation":{"apa":"Dick, R., Zadrozny, K. K., Xu, C., Schur, F. K., Lyddon, T. D., Ricana, C. L., … Vogt, V. (2018). Inositol phosphates are assembly co-factors for HIV-1. <i>Nature</i>. Nature Publishing Group. <a href=\"https://doi.org/10.1038/s41586-018-0396-4\">https://doi.org/10.1038/s41586-018-0396-4</a>","chicago":"Dick, Robert, Kaneil K Zadrozny, Chaoyi Xu, Florian KM Schur, Terri D Lyddon, Clifton L Ricana, Jonathan M Wagner, et al. “Inositol Phosphates Are Assembly Co-Factors for HIV-1.” <i>Nature</i>. Nature Publishing Group, 2018. <a href=\"https://doi.org/10.1038/s41586-018-0396-4\">https://doi.org/10.1038/s41586-018-0396-4</a>.","ista":"Dick R, Zadrozny KK, Xu C, Schur FK, Lyddon TD, Ricana CL, Wagner JM, Perilla JR, Ganser PBK, Johnson MC, Pornillos O, Vogt V. 2018. Inositol phosphates are assembly co-factors for HIV-1. Nature. 560(7719), 509–512.","mla":"Dick, Robert, et al. “Inositol Phosphates Are Assembly Co-Factors for HIV-1.” <i>Nature</i>, vol. 560, no. 7719, Nature Publishing Group, 2018, pp. 509–512, doi:<a href=\"https://doi.org/10.1038/s41586-018-0396-4\">10.1038/s41586-018-0396-4</a>.","short":"R. Dick, K.K. Zadrozny, C. Xu, F.K. Schur, T.D. Lyddon, C.L. Ricana, J.M. Wagner, J.R. Perilla, P.B.K. Ganser, M.C. Johnson, O. Pornillos, V. Vogt, Nature 560 (2018) 509–512.","ama":"Dick R, Zadrozny KK, Xu C, et al. Inositol phosphates are assembly co-factors for HIV-1. <i>Nature</i>. 2018;560(7719):509–512. doi:<a href=\"https://doi.org/10.1038/s41586-018-0396-4\">10.1038/s41586-018-0396-4</a>","ieee":"R. Dick <i>et al.</i>, “Inositol phosphates are assembly co-factors for HIV-1,” <i>Nature</i>, vol. 560, no. 7719. Nature Publishing Group, pp. 509–512, 2018."},"year":"2018","related_material":{"link":[{"url":"https://doi.org/10.1038/s41586-018-0505-4","relation":"erratum"}]},"_id":"150","article_type":"original","doi":"10.1038/s41586-018-0396-4","publication_status":"published","external_id":{"pmid":["30158708"],"isi":["000442483400046"]},"abstract":[{"text":"A short, 14-amino-acid segment called SP1, located in the Gag structural protein1, has a critical role during the formation of the HIV-1 virus particle. During virus assembly, the SP1 peptide and seven preceding residues fold into a six-helix bundle, which holds together the Gag hexamer and facilitates the formation of a curved immature hexagonal lattice underneath the viral membrane2,3. Upon completion of assembly and budding, proteolytic cleavage of Gag leads to virus maturation, in which the immature lattice is broken down; the liberated CA domain of Gag then re-assembles into the mature conical capsid that encloses the viral genome and associated enzymes. Folding and proteolysis of the six-helix bundle are crucial rate-limiting steps of both Gag assembly and disassembly, and the six-helix bundle is an established target of HIV-1 inhibitors4,5. Here, using a combination of structural and functional analyses, we show that inositol hexakisphosphate (InsP6, also known as IP6) facilitates the formation of the six-helix bundle and assembly of the immature HIV-1 Gag lattice. IP6 makes ionic contacts with two rings of lysine residues at the centre of the Gag hexamer. Proteolytic cleavage then unmasks an alternative binding site, where IP6 interaction promotes the assembly of the mature capsid lattice. These studies identify IP6 as a naturally occurring small molecule that promotes both assembly and maturation of HIV-1.","lang":"eng"}],"page":"509–512","department":[{"_id":"FlSc"}],"quality_controlled":"1","volume":560,"publisher":"Nature Publishing Group","date_published":"2018-08-29T00:00:00Z"},{"doi":"10.1016/j.tcb.2018.06.006","_id":"152","article_type":"original","file_date_updated":"2020-07-14T12:45:00Z","year":"2018","date_created":"2018-12-11T11:44:54Z","publist_id":"7769","citation":{"apa":"Fiedorczuk, K., &#38; Sazanov, L. A. (2018). Mammalian mitochondrial complex I structure and disease causing mutations. <i>Trends in Cell Biology</i>. Elsevier. <a href=\"https://doi.org/10.1016/j.tcb.2018.06.006\">https://doi.org/10.1016/j.tcb.2018.06.006</a>","short":"K. Fiedorczuk, L.A. Sazanov, Trends in Cell Biology 28 (2018) 835–867.","ieee":"K. Fiedorczuk and L. A. Sazanov, “Mammalian mitochondrial complex I structure and disease causing mutations,” <i>Trends in Cell Biology</i>, vol. 28, no. 10. Elsevier, pp. 835–867, 2018.","ama":"Fiedorczuk K, Sazanov LA. Mammalian mitochondrial complex I structure and disease causing mutations. <i>Trends in Cell Biology</i>. 2018;28(10):835-867. doi:<a href=\"https://doi.org/10.1016/j.tcb.2018.06.006\">10.1016/j.tcb.2018.06.006</a>","ista":"Fiedorczuk K, Sazanov LA. 2018. Mammalian mitochondrial complex I structure and disease causing mutations. Trends in Cell Biology. 28(10), 835–867.","chicago":"Fiedorczuk, Karol, and Leonid A Sazanov. “Mammalian Mitochondrial Complex I Structure and Disease Causing Mutations.” <i>Trends in Cell Biology</i>. Elsevier, 2018. <a href=\"https://doi.org/10.1016/j.tcb.2018.06.006\">https://doi.org/10.1016/j.tcb.2018.06.006</a>.","mla":"Fiedorczuk, Karol, and Leonid A. Sazanov. “Mammalian Mitochondrial Complex I Structure and Disease Causing Mutations.” <i>Trends in Cell Biology</i>, vol. 28, no. 10, Elsevier, 2018, pp. 835–67, doi:<a href=\"https://doi.org/10.1016/j.tcb.2018.06.006\">10.1016/j.tcb.2018.06.006</a>."},"date_published":"2018-07-26T00:00:00Z","publisher":"Elsevier","quality_controlled":"1","volume":28,"department":[{"_id":"LeSa"}],"page":"835 - 867","tmp":{"legal_code_url":"https://creativecommons.org/licenses/by-nc-nd/4.0/legalcode","image":"/images/cc_by_nc_nd.png","short":"CC BY-NC-ND (4.0)","name":"Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International (CC BY-NC-ND 4.0)"},"ddc":["572"],"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."}],"external_id":{"isi":["000445118200007"]},"publication_status":"published","publication":"Trends in Cell Biology","language":[{"iso":"eng"}],"isi":1,"has_accepted_license":"1","scopus_import":"1","intvolume":"        28","issue":"10","article_processing_charge":"No","date_updated":"2023-09-13T08:51:56Z","oa":1,"title":"Mammalian mitochondrial complex I structure and disease causing mutations","type":"journal_article","status":"public","month":"07","user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","file":[{"access_level":"open_access","file_size":2185385,"content_type":"application/pdf","relation":"main_file","creator":"lsazanov","date_updated":"2020-07-14T12:45:00Z","date_created":"2019-11-07T12:55:20Z","file_name":"SasanovFinalMS+EdComments_LS_allacc_withFigs.pdf","file_id":"6994","checksum":"ef6d2b4e1fd63948539639242610bfa6"}],"day":"26","oa_version":"Submitted Version","author":[{"id":"5BFF67CE-02D1-11E9-B11A-A5A4D7DFFFD0","last_name":"Fiedorczuk","first_name":"Karol","full_name":"Fiedorczuk, Karol"},{"last_name":"Sazanov","id":"338D39FE-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-0977-7989","first_name":"Leonid A","full_name":"Sazanov, Leonid A"}]},{"date_created":"2018-12-11T11:44:54Z","publist_id":"7768","citation":{"apa":"Renkawitz, J., Reversat, A., Leithner, A. F., Merrin, J., &#38; Sixt, M. K. (2018). Micro-engineered “pillar forests” to study cell migration in complex but controlled 3D environments. In <i>Methods in Cell Biology</i> (Vol. 147, pp. 79–91). Academic Press. <a href=\"https://doi.org/10.1016/bs.mcb.2018.07.004\">https://doi.org/10.1016/bs.mcb.2018.07.004</a>","mla":"Renkawitz, Jörg, et al. “Micro-Engineered ‘Pillar Forests’ to Study Cell Migration in Complex but Controlled 3D Environments.” <i>Methods in Cell Biology</i>, vol. 147, Academic Press, 2018, pp. 79–91, doi:<a href=\"https://doi.org/10.1016/bs.mcb.2018.07.004\">10.1016/bs.mcb.2018.07.004</a>.","ista":"Renkawitz J, Reversat A, Leithner AF, Merrin J, Sixt MK. 2018.Micro-engineered “pillar forests” to study cell migration in complex but controlled 3D environments. In: Methods in Cell Biology. vol. 147, 79–91.","chicago":"Renkawitz, Jörg, Anne Reversat, Alexander F Leithner, Jack Merrin, and Michael K Sixt. “Micro-Engineered ‘Pillar Forests’ to Study Cell Migration in Complex but Controlled 3D Environments.” In <i>Methods in Cell Biology</i>, 147:79–91. Academic Press, 2018. <a href=\"https://doi.org/10.1016/bs.mcb.2018.07.004\">https://doi.org/10.1016/bs.mcb.2018.07.004</a>.","ieee":"J. Renkawitz, A. Reversat, A. F. Leithner, J. Merrin, and M. K. Sixt, “Micro-engineered ‘pillar forests’ to study cell migration in complex but controlled 3D environments,” in <i>Methods in Cell Biology</i>, vol. 147, Academic Press, 2018, pp. 79–91.","ama":"Renkawitz J, Reversat A, Leithner AF, Merrin J, Sixt MK. Micro-engineered “pillar forests” to study cell migration in complex but controlled 3D environments. In: <i>Methods in Cell Biology</i>. Vol 147. Academic Press; 2018:79-91. doi:<a href=\"https://doi.org/10.1016/bs.mcb.2018.07.004\">10.1016/bs.mcb.2018.07.004</a>","short":"J. Renkawitz, A. Reversat, A.F. Leithner, J. Merrin, M.K. Sixt, in:, Methods in Cell Biology, Academic Press, 2018, pp. 79–91."},"year":"2018","_id":"153","doi":"10.1016/bs.mcb.2018.07.004","publication_status":"published","abstract":[{"text":"Cells migrating in multicellular organisms steadily traverse complex three-dimensional (3D) environments. To decipher the underlying cell biology, current experimental setups either use simplified 2D, tissue-mimetic 3D (e.g., collagen matrices) or in vivo environments. While only in vivo experiments are truly physiological, they do not allow for precise manipulation of environmental parameters. 2D in vitro experiments do allow mechanical and chemical manipulations, but increasing evidence demonstrates substantial differences of migratory mechanisms in 2D and 3D. Here, we describe simple, robust, and versatile “pillar forests” to investigate cell migration in complex but fully controllable 3D environments. Pillar forests are polydimethylsiloxane-based setups, in which two closely adjacent surfaces are interconnected by arrays of micrometer-sized pillars. Changing the pillar shape, size, height and the inter-pillar distance precisely manipulates microenvironmental parameters (e.g., pore sizes, micro-geometry, micro-topology), while being easily combined with chemotactic cues, surface coatings, diverse cell types and advanced imaging techniques. Thus, pillar forests combine the advantages of 2D cell migration assays with the precise definition of 3D environmental parameters.","lang":"eng"}],"external_id":{"isi":["000452412300006"],"pmid":["30165964"]},"quality_controlled":"1","volume":147,"page":"79 - 91","department":[{"_id":"MiSi"},{"_id":"NanoFab"}],"date_published":"2018-07-27T00:00:00Z","publisher":"Academic Press","title":"Micro-engineered “pillar forests” to study cell migration in complex but controlled 3D environments","article_processing_charge":"No","date_updated":"2023-09-13T08:56:35Z","intvolume":"       147","scopus_import":"1","isi":1,"language":[{"iso":"eng"}],"publication":"Methods in Cell Biology","author":[{"first_name":"Jörg","full_name":"Renkawitz, Jörg","orcid":"0000-0003-2856-3369","last_name":"Renkawitz","id":"3F0587C8-F248-11E8-B48F-1D18A9856A87"},{"orcid":"0000-0003-0666-8928","last_name":"Reversat","id":"35B76592-F248-11E8-B48F-1D18A9856A87","first_name":"Anne","full_name":"Reversat, Anne"},{"id":"3B1B77E4-F248-11E8-B48F-1D18A9856A87","last_name":"Leithner","orcid":"0000-0002-1073-744X","first_name":"Alexander F","full_name":"Leithner, Alexander F"},{"full_name":"Merrin, Jack","first_name":"Jack","orcid":"0000-0001-5145-4609","id":"4515C308-F248-11E8-B48F-1D18A9856A87","last_name":"Merrin"},{"first_name":"Michael K","full_name":"Sixt, Michael K","last_name":"Sixt","id":"41E9FBEA-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-6620-9179"}],"user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","day":"27","oa_version":"None","month":"07","publication_identifier":{"issn":["0091679X"]},"status":"public","type":"book_chapter","pmid":1},{"oa":1,"date_updated":"2023-09-19T09:31:15Z","issue":"3","article_processing_charge":"No","title":"Stability of the 2+2 fermionic system with point interactions","isi":1,"intvolume":"        21","has_accepted_license":"1","scopus_import":"1","language":[{"iso":"eng"}],"publication":"Mathematical Physics Analysis and Geometry","author":[{"last_name":"Moser","id":"2B5FC9A4-F248-11E8-B48F-1D18A9856A87","first_name":"Thomas","full_name":"Moser, Thomas"},{"orcid":"0000-0002-6781-0521","last_name":"Seiringer","id":"4AFD0470-F248-11E8-B48F-1D18A9856A87","full_name":"Seiringer, Robert","first_name":"Robert"}],"month":"09","publication_identifier":{"issn":["13850172"],"eissn":["15729656"]},"day":"01","oa_version":"Published Version","user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","file":[{"checksum":"411c4db5700d7297c9cd8ebc5dd29091","file_id":"5729","file_name":"2018_MathPhysics_Moser.pdf","date_updated":"2020-07-14T12:45:01Z","date_created":"2018-12-17T16:49:02Z","creator":"dernst","relation":"main_file","file_size":496973,"content_type":"application/pdf","access_level":"open_access"}],"status":"public","type":"journal_article","acknowledgement":"Open access funding provided by Austrian Science Fund (FWF).","year":"2018","date_created":"2018-12-11T11:44:55Z","citation":{"apa":"Moser, T., &#38; Seiringer, R. (2018). Stability of the 2+2 fermionic system with point interactions. <i>Mathematical Physics Analysis and Geometry</i>. Springer. <a href=\"https://doi.org/10.1007/s11040-018-9275-3\">https://doi.org/10.1007/s11040-018-9275-3</a>","mla":"Moser, Thomas, and Robert Seiringer. “Stability of the 2+2 Fermionic System with Point Interactions.” <i>Mathematical Physics Analysis and Geometry</i>, vol. 21, no. 3, 19, Springer, 2018, doi:<a href=\"https://doi.org/10.1007/s11040-018-9275-3\">10.1007/s11040-018-9275-3</a>.","ista":"Moser T, Seiringer R. 2018. Stability of the 2+2 fermionic system with point interactions. Mathematical Physics Analysis and Geometry. 21(3), 19.","chicago":"Moser, Thomas, and Robert Seiringer. “Stability of the 2+2 Fermionic System with Point Interactions.” <i>Mathematical Physics Analysis and Geometry</i>. Springer, 2018. <a href=\"https://doi.org/10.1007/s11040-018-9275-3\">https://doi.org/10.1007/s11040-018-9275-3</a>.","short":"T. Moser, R. Seiringer, Mathematical Physics Analysis and Geometry 21 (2018).","ieee":"T. Moser and R. Seiringer, “Stability of the 2+2 fermionic system with point interactions,” <i>Mathematical Physics Analysis and Geometry</i>, vol. 21, no. 3. Springer, 2018.","ama":"Moser T, Seiringer R. Stability of the 2+2 fermionic system with point interactions. <i>Mathematical Physics Analysis and Geometry</i>. 2018;21(3). doi:<a href=\"https://doi.org/10.1007/s11040-018-9275-3\">10.1007/s11040-018-9275-3</a>"},"publist_id":"7767","ec_funded":1,"related_material":{"record":[{"status":"public","id":"52","relation":"dissertation_contains"}]},"article_number":"19","file_date_updated":"2020-07-14T12:45:01Z","article_type":"original","_id":"154","doi":"10.1007/s11040-018-9275-3","publication_status":"published","ddc":["530"],"tmp":{"name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","short":"CC BY (4.0)","image":"/images/cc_by.png","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode"},"external_id":{"isi":["000439639700001"]},"abstract":[{"text":"We give a lower bound on the ground state energy of a system of two fermions of one species interacting with two fermions of another species via point interactions. We show that there is a critical mass ratio m2 ≈ 0.58 such that the system is stable, i.e., the energy is bounded from below, for m∈[m2,m2−1]. So far it was not known whether this 2 + 2 system exhibits a stable region at all or whether the formation of four-body bound states causes an unbounded spectrum for all mass ratios, similar to the Thomas effect. Our result gives further evidence for the stability of the more general N + M system.","lang":"eng"}],"project":[{"grant_number":"694227","_id":"25C6DC12-B435-11E9-9278-68D0E5697425","name":"Analysis of quantum many-body systems","call_identifier":"H2020"},{"name":"Structure of the Excitation Spectrum for Many-Body Quantum Systems","call_identifier":"FWF","_id":"25C878CE-B435-11E9-9278-68D0E5697425","grant_number":"P27533_N27"},{"_id":"3AC91DDA-15DF-11EA-824D-93A3E7B544D1","name":"FWF Open Access Fund","call_identifier":"FWF"}],"publisher":"Springer","date_published":"2018-09-01T00:00:00Z","department":[{"_id":"RoSe"}],"quality_controlled":"1","volume":21},{"language":[{"iso":"eng"}],"article_processing_charge":"No","oa":1,"date_updated":"2023-09-18T08:12:24Z","title":"Routing thermal noise through quantum networks","editor":[{"last_name":"Andrews","full_name":"Andrews, D L","first_name":"D L"},{"last_name":"Ostendorf","full_name":"Ostendorf, A","first_name":"A"},{"first_name":"A J","full_name":"Bain, A J","last_name":"Bain"},{"last_name":"Nunzi","full_name":"Nunzi, J M","first_name":"J M"}],"isi":1,"scopus_import":"1","intvolume":"     10672","type":"conference","status":"public","alternative_title":["Proceedings of SPIE"],"arxiv":1,"author":[{"first_name":"André","full_name":"Xuereb, André","last_name":"Xuereb"},{"last_name":"Aquilina","first_name":"Matteo","full_name":"Aquilina, Matteo"},{"last_name":"Barzanjeh","id":"2D25E1F6-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0003-0415-1423","first_name":"Shabir","full_name":"Barzanjeh, Shabir"}],"month":"05","conference":{"name":"SPIE: The international society for optical engineering","start_date":"2018-04-22","location":"Strasbourg, France","end_date":"2018-04-26"},"user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","day":"04","main_file_link":[{"open_access":"1","url":"https://arxiv.org/abs/1806.01000"}],"oa_version":"Preprint","_id":"155","doi":"10.1117/12.2309928","year":"2018","citation":{"apa":"Xuereb, A., Aquilina, M., &#38; Barzanjeh, S. (2018). Routing thermal noise through quantum networks. In D. L. Andrews, A. Ostendorf, A. J. Bain, &#38; J. M. Nunzi (Eds.) (Vol. 10672). Presented at the SPIE: The international society for optical engineering, Strasbourg, France: SPIE. <a href=\"https://doi.org/10.1117/12.2309928\">https://doi.org/10.1117/12.2309928</a>","short":"A. Xuereb, M. Aquilina, S. Barzanjeh, in:, D.L. Andrews, A. Ostendorf, A.J. Bain, J.M. Nunzi (Eds.), SPIE, 2018.","ieee":"A. Xuereb, M. Aquilina, and S. Barzanjeh, “Routing thermal noise through quantum networks,” presented at the SPIE: The international society for optical engineering, Strasbourg, France, 2018, vol. 10672.","ama":"Xuereb A, Aquilina M, Barzanjeh S. Routing thermal noise through quantum networks. In: Andrews DL, Ostendorf A, Bain AJ, Nunzi JM, eds. Vol 10672. SPIE; 2018. doi:<a href=\"https://doi.org/10.1117/12.2309928\">10.1117/12.2309928</a>","ista":"Xuereb A, Aquilina M, Barzanjeh S. 2018. Routing thermal noise through quantum networks. SPIE: The international society for optical engineering, Proceedings of SPIE, vol. 10672, 106721N.","chicago":"Xuereb, André, Matteo Aquilina, and Shabir Barzanjeh. “Routing Thermal Noise through Quantum Networks.” edited by D L Andrews, A Ostendorf, A J Bain, and J M Nunzi, Vol. 10672. SPIE, 2018. <a href=\"https://doi.org/10.1117/12.2309928\">https://doi.org/10.1117/12.2309928</a>.","mla":"Xuereb, André, et al. <i>Routing Thermal Noise through Quantum Networks</i>. Edited by D L Andrews et al., vol. 10672, 106721N, SPIE, 2018, doi:<a href=\"https://doi.org/10.1117/12.2309928\">10.1117/12.2309928</a>."},"publist_id":"7766","date_created":"2018-12-11T11:44:55Z","article_number":"106721N","date_published":"2018-05-04T00:00:00Z","publisher":"SPIE","volume":10672,"quality_controlled":"1","department":[{"_id":"JoFi"}],"publication_status":"published","abstract":[{"lang":"eng","text":"There is currently significant interest in operating devices in the quantum regime, where their behaviour cannot be explained through classical mechanics. Quantum states, including entangled states, are fragile and easily disturbed by excessive thermal noise. Here we address the question of whether it is possible to create non-reciprocal devices that encourage the flow of thermal noise towards or away from a particular quantum device in a network. Our work makes use of the cascaded systems formalism to answer this question in the affirmative, showing how a three-port device can be used as an effective thermal transistor, and illustrates how this formalism maps onto an experimentally-realisable optomechanical system. Our results pave the way to more resilient quantum devices and to the use of thermal noise as a resource."}],"external_id":{"isi":["000453298500019"],"arxiv":["1806.01000"]}},{"date_updated":"2023-09-19T10:05:37Z","oa":1,"article_processing_charge":"No","title":"The compound interest in relaxing punctuality","isi":1,"scopus_import":"1","has_accepted_license":"1","intvolume":"     10951","language":[{"iso":"eng"}],"author":[{"last_name":"Ferrere","id":"40960E6E-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0001-5199-3143","first_name":"Thomas","full_name":"Ferrere, Thomas"}],"conference":{"location":"Oxford, UK","end_date":"2018-07-17","name":"FM: International Symposium on Formal Methods","start_date":"2018-07-15"},"month":"07","oa_version":"Submitted Version","day":"12","file":[{"date_created":"2020-10-09T06:22:41Z","date_updated":"2020-10-09T06:22:41Z","success":1,"file_name":"2018_LNCS_Ferrere.pdf","file_id":"8637","checksum":"a045c213c42c445f1889326f8db82a0a","file_size":485576,"content_type":"application/pdf","relation":"main_file","access_level":"open_access","creator":"dernst"}],"user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","alternative_title":["LNCS"],"status":"public","type":"conference","year":"2018","citation":{"ama":"Ferrere T. The compound interest in relaxing punctuality. In: Vol 10951. Springer; 2018:147-164. doi:<a href=\"https://doi.org/10.1007/978-3-319-95582-7_9\">10.1007/978-3-319-95582-7_9</a>","ieee":"T. Ferrere, “The compound interest in relaxing punctuality,” presented at the FM: International Symposium on Formal Methods, Oxford, UK, 2018, vol. 10951, pp. 147–164.","short":"T. Ferrere, in:, Springer, 2018, pp. 147–164.","mla":"Ferrere, Thomas. <i>The Compound Interest in Relaxing Punctuality</i>. Vol. 10951, Springer, 2018, pp. 147–64, doi:<a href=\"https://doi.org/10.1007/978-3-319-95582-7_9\">10.1007/978-3-319-95582-7_9</a>.","chicago":"Ferrere, Thomas. “The Compound Interest in Relaxing Punctuality,” 10951:147–64. Springer, 2018. <a href=\"https://doi.org/10.1007/978-3-319-95582-7_9\">https://doi.org/10.1007/978-3-319-95582-7_9</a>.","ista":"Ferrere T. 2018. The compound interest in relaxing punctuality. FM: International Symposium on Formal Methods, LNCS, vol. 10951, 147–164.","apa":"Ferrere, T. (2018). The compound interest in relaxing punctuality (Vol. 10951, pp. 147–164). Presented at the FM: International Symposium on Formal Methods, Oxford, UK: Springer. <a href=\"https://doi.org/10.1007/978-3-319-95582-7_9\">https://doi.org/10.1007/978-3-319-95582-7_9</a>"},"publist_id":"7765","date_created":"2018-12-11T11:44:55Z","file_date_updated":"2020-10-09T06:22:41Z","_id":"156","doi":"10.1007/978-3-319-95582-7_9","publication_status":"published","ddc":["000"],"external_id":{"isi":["000489765800009"]},"abstract":[{"text":"Imprecision in timing can sometimes be beneficial: Metric interval temporal logic (MITL), disabling the expression of punctuality constraints, was shown to translate to timed automata, yielding an elementary decision procedure. We show how this principle extends to other forms of dense-time specification using regular expressions. By providing a clean, automaton-based formal framework for non-punctual languages, we are able to recover and extend several results in timed systems. Metric interval regular expressions (MIRE) are introduced, providing regular expressions with non-singular duration constraints. We obtain that MIRE are expressively complete relative to a class of one-clock timed automata, which can be determinized using additional clocks. Metric interval dynamic logic (MIDL) is then defined using MIRE as temporal modalities. We show that MIDL generalizes known extensions of MITL, while translating to timed automata at comparable cost.","lang":"eng"}],"project":[{"grant_number":"Z211","_id":"25F42A32-B435-11E9-9278-68D0E5697425","call_identifier":"FWF","name":"The Wittgenstein Prize"},{"call_identifier":"FWF","name":"Rigorous Systems Engineering","_id":"25832EC2-B435-11E9-9278-68D0E5697425","grant_number":"S 11407_N23"}],"publisher":"Springer","date_published":"2018-07-12T00:00:00Z","department":[{"_id":"ToHe"}],"page":"147 - 164","volume":10951,"quality_controlled":"1"}]