[{"intvolume":"       115","related_material":{"link":[{"url":"https://doi.org/10.1073/pnas.1806837115","relation":"erratum"}]},"issue":"1","article_processing_charge":"No","year":"2018","date_updated":"2021-01-12T08:15:07Z","citation":{"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>.","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.","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>","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>"},"date_created":"2020-04-30T10:45:43Z","title":"Evidence of directional and stabilizing selection in contemporary humans","publication":"Proceedings of the National Academy of Sciences","doi":"10.1073/pnas.1707227114","_id":"7724","article_type":"original","language":[{"iso":"eng"}],"publication_identifier":{"issn":["0027-8424","1091-6490"]},"month":"01","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"}],"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","oa_version":"None","day":"02","author":[{"full_name":"Sanjak, Jaleal S.","first_name":"Jaleal S.","last_name":"Sanjak"},{"last_name":"Sidorenko","full_name":"Sidorenko, Julia","first_name":"Julia"},{"first_name":"Matthew Richard","full_name":"Robinson, Matthew Richard","id":"E5D42276-F5DA-11E9-8E24-6303E6697425","last_name":"Robinson","orcid":"0000-0001-8982-8813"},{"last_name":"Thornton","full_name":"Thornton, Kevin R.","first_name":"Kevin R."},{"last_name":"Visscher","full_name":"Visscher, Peter M.","first_name":"Peter M."}],"publication_status":"published","status":"public","date_published":"2018-01-02T00:00:00Z","type":"journal_article","publisher":"Proceedings of the National Academy of Sciences","quality_controlled":"1","volume":115,"page":"151-156","extern":"1"},{"publication":"Nature Communications","doi":"10.1038/s41467-018-06851-5","_id":"7754","article_type":"original","language":[{"iso":"eng"}],"intvolume":"         9","article_number":"4348","year":"2018","article_processing_charge":"No","date_updated":"2021-01-12T08:15:18Z","oa":1,"title":"Enhanced diffusion by binding to the crosslinks of a polymer gel","citation":{"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>.","short":"C.P. Goodrich, M.P. Brenner, K. Ribbeck, Nature Communications 9 (2018).","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.","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>","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>"},"date_created":"2020-04-30T11:38:01Z","type":"journal_article","status":"public","date_published":"2018-10-19T00:00:00Z","publisher":"Springer Nature","quality_controlled":"1","volume":9,"extern":"1","month":"10","publication_identifier":{"issn":["2041-1723"]},"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","abstract":[{"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.","lang":"eng"}],"day":"19","main_file_link":[{"open_access":"1","url":"https://doi.org/10.1038/s41467-018-06851-5"}],"oa_version":"Published Version","publication_status":"published","author":[{"full_name":"Goodrich, Carl Peter","first_name":"Carl Peter","id":"EB352CD2-F68A-11E9-89C5-A432E6697425","last_name":"Goodrich","orcid":"0000-0002-1307-5074"},{"last_name":"Brenner","first_name":"Michael P.","full_name":"Brenner, Michael P."},{"last_name":"Ribbeck","full_name":"Ribbeck, Katharina","first_name":"Katharina"}]},{"citation":{"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.","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.","short":"R.P.J. Bevers, M. Litovchenko, A. Kapopoulou, V.S. Braman, M.R. Robinson, J. Auwerx, B. Hollis, B. Deplancke, BioRxiv (2018).","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.","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."},"date_created":"2020-04-30T13:09:37Z","title":"Extensive mitochondrial population structure and haplotype-specific phenotypic variation in the Drosophila Genetic Reference Panel","oa":1,"date_updated":"2021-01-12T08:15:30Z","year":"2018","article_processing_charge":"No","publication":"bioRxiv","_id":"7783","language":[{"iso":"eng"}],"oa_version":"Preprint","day":"09","main_file_link":[{"url":"https://doi.org/10.1101/466771 ","open_access":"1"}],"abstract":[{"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.","lang":"eng"}],"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","month":"11","publication_status":"published","author":[{"first_name":"Roel P.J.","full_name":"Bevers, Roel P.J.","last_name":"Bevers"},{"last_name":"Litovchenko","first_name":"Maria","full_name":"Litovchenko, Maria"},{"last_name":"Kapopoulou","full_name":"Kapopoulou, Adamandia","first_name":"Adamandia"},{"first_name":"Virginie S.","full_name":"Braman, Virginie S.","last_name":"Braman"},{"first_name":"Matthew Richard","full_name":"Robinson, Matthew Richard","last_name":"Robinson","id":"E5D42276-F5DA-11E9-8E24-6303E6697425","orcid":"0000-0001-8982-8813"},{"first_name":"Johan","full_name":"Auwerx, Johan","last_name":"Auwerx"},{"first_name":"Brian","full_name":"Hollis, Brian","last_name":"Hollis"},{"last_name":"Deplancke","full_name":"Deplancke, Bart","first_name":"Bart"}],"page":"49","extern":"1","publisher":"Cold Spring Harbor Laboratory","status":"public","date_published":"2018-11-09T00:00:00Z","type":"preprint"},{"ddc":["000"],"external_id":{"isi":["000884993200013"]},"abstract":[{"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.","lang":"eng"}],"publication_status":"published","publisher":"Springer","date_published":"2018-08-26T00:00:00Z","page":"215 - 232","department":[{"_id":"ToHe"}],"quality_controlled":"1","volume":11022,"project":[{"grant_number":"S 11407_N23","_id":"25832EC2-B435-11E9-9278-68D0E5697425","call_identifier":"FWF","name":"Rigorous Systems Engineering"},{"_id":"25F42A32-B435-11E9-9278-68D0E5697425","grant_number":"Z211","name":"The Wittgenstein Prize","call_identifier":"FWF"}],"year":"2018","citation":{"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>","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>.","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>.","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.","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.","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>","short":"A. Bakhirkin, T. Ferrere, D. Nickovic, O. Maler, E. Asarin, in:, Springer, 2018, pp. 215–232."},"date_created":"2018-12-11T11:44:31Z","publist_id":"7976","doi":"10.1007/978-3-030-00151-3_13","file_date_updated":"2020-07-14T12:48:03Z","_id":"78","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":[{"access_level":"open_access","relation":"main_file","file_size":374851,"content_type":"application/pdf","creator":"dernst","date_created":"2020-05-14T11:34:34Z","date_updated":"2020-07-14T12:48:03Z","file_id":"7831","file_name":"2018_LNCS_Bakhirkin.pdf","checksum":"436b7574934324cfa7d1d3986fddc65b"}],"user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","author":[{"full_name":"Bakhirkin, Alexey","first_name":"Alexey","last_name":"Bakhirkin"},{"id":"40960E6E-F248-11E8-B48F-1D18A9856A87","last_name":"Ferrere","orcid":"0000-0001-5199-3143","first_name":"Thomas","full_name":"Ferrere, Thomas"},{"last_name":"Nickovic","full_name":"Nickovic, Dejan","first_name":"Dejan"},{"full_name":"Maler, Oded","first_name":"Oded","last_name":"Maler"},{"last_name":"Asarin","full_name":"Asarin, Eugene","first_name":"Eugene"}],"alternative_title":["LNCS"],"type":"conference","status":"public","isi":1,"has_accepted_license":"1","scopus_import":"1","intvolume":"     11022","date_updated":"2023-09-13T09:35:46Z","oa":1,"article_processing_charge":"No","title":"Online timed pattern matching using automata","language":[{"iso":"eng"}]},{"status":"public","date_published":"2018-05-01T00:00:00Z","type":"conference","department":[{"_id":"DaAl"}],"quality_controlled":"1","publication_status":"published","author":[{"last_name":"Polino","first_name":"Antonio","full_name":"Polino, Antonio"},{"full_name":"Pascanu, Razvan","first_name":"Razvan","last_name":"Pascanu"},{"first_name":"Dan-Adrian","full_name":"Alistarh, Dan-Adrian","orcid":"0000-0003-3650-940X","id":"4A899BFC-F248-11E8-B48F-1D18A9856A87","last_name":"Alistarh"}],"arxiv":1,"ddc":["000"],"conference":{"end_date":"2018-05-03","location":"Vancouver, Canada","start_date":"2018-04-30","name":"ICLR: International Conference on Learning Representations"},"month":"05","oa_version":"Published Version","day":"01","external_id":{"arxiv":["1802.05668"]},"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","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."}],"file":[{"file_name":"2018_ICLR_Polino.pdf","file_id":"7894","checksum":"a4336c167978e81891970e4e4517a8c3","date_updated":"2020-07-14T12:48:03Z","date_created":"2020-05-26T13:02:00Z","creator":"dernst","relation":"main_file","content_type":"application/pdf","access_level":"open_access","file_size":308339}],"file_date_updated":"2020-07-14T12:48:03Z","language":[{"iso":"eng"}],"_id":"7812","publication":"6th International Conference on Learning Representations","oa":1,"date_updated":"2023-02-23T13:18:41Z","article_processing_charge":"No","year":"2018","date_created":"2020-05-10T22:00:51Z","citation":{"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.","short":"A. Polino, R. Pascanu, D.-A. Alistarh, in:, 6th International Conference on Learning Representations, 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.","ama":"Polino A, Pascanu R, Alistarh D-A. Model compression via distillation and quantization. In: <i>6th International Conference on Learning Representations</i>. ; 2018.","mla":"Polino, Antonio, et al. “Model Compression via Distillation and Quantization.” <i>6th International Conference on Learning Representations</i>, 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.","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."},"title":"Model compression via distillation and quantization","has_accepted_license":"1","scopus_import":1},{"quality_controlled":"1","volume":11024,"department":[{"_id":"KrCh"},{"_id":"ToHe"}],"page":"53-70","date_published":"2018-08-15T00:00:00Z","publisher":"Springer","publication_status":"published","abstract":[{"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.","lang":"eng"}],"external_id":{"arxiv":["1806.05126"],"isi":["000548912200004"]},"_id":"79","doi":"10.1007/978-3-319-99154-2_4","date_created":"2018-12-11T11:44:31Z","citation":{"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>","short":"S. Arming, E. Bartocci, K. Chatterjee, J.P. Katoen, A. Sokolova, in:, Springer, 2018, pp. 53–70.","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.","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>.","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.","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>."},"publist_id":"7975","year":"2018","type":"conference","status":"public","alternative_title":["LNCS"],"arxiv":1,"author":[{"last_name":"Arming","full_name":"Arming, Sebastian","first_name":"Sebastian"},{"last_name":"Bartocci","full_name":"Bartocci, Ezio","first_name":"Ezio"},{"full_name":"Chatterjee, Krishnendu","first_name":"Krishnendu","orcid":"0000-0002-4561-241X","last_name":"Chatterjee","id":"2E5DCA20-F248-11E8-B48F-1D18A9856A87"},{"first_name":"Joost P","full_name":"Katoen, Joost P","last_name":"Katoen","id":"4524F760-F248-11E8-B48F-1D18A9856A87"},{"last_name":"Sokolova","first_name":"Ana","full_name":"Sokolova, Ana"}],"user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","main_file_link":[{"url":"https://arxiv.org/abs/1806.05126","open_access":"1"}],"day":"15","oa_version":"Preprint","month":"08","conference":{"end_date":"2018-09-07","location":"Beijing, China","start_date":"2018-09-04","name":"QEST: Quantitative Evaluation of Systems"},"language":[{"iso":"eng"}],"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"}],"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":[{"full_name":"Mahne, Nika","first_name":"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"},{"id":"A8CA28E6-CE23-11E9-AD2D-EC27E6697425","last_name":"Freunberger","orcid":"0000-0003-2902-5319","first_name":"Stefan Alexander","full_name":"Freunberger, Stefan Alexander"}],"day":"04","oa_version":"Published Version","file":[{"file_name":"2018_AngChemieDT_Mahne.pdf","checksum":"81506e0f7079e1e3591f3cd9f626bf67","file_id":"7988","date_created":"2020-06-19T11:58:06Z","date_updated":"2020-07-14T12:48:06Z","creator":"dernst","relation":"main_file","access_level":"open_access","content_type":"application/pdf","file_size":674789}],"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","month":"05","publication_identifier":{"issn":["0044-8249"]},"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":{"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>","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>.","ista":"Mahne N, Renfrew SE, McCloskey BD, Freunberger SA. 2018. Elektrochemische Oxidation von Lithiumcarbonat generiert Singulett-Sauerstoff. Angewandte Chemie. 130(19), 5627–5631.","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>.","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>","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.","short":"N. Mahne, S.E. Renfrew, B.D. McCloskey, S.A. Freunberger, Angewandte Chemie 130 (2018) 5627–5631."},"year":"2018","page":"5627-5631","extern":"1","volume":130,"quality_controlled":"1","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)"}},{"doi":"10.1016/j.neuron.2018.03.028","_id":"8015","article_type":"original","year":"2018","date_created":"2020-06-25T12:53:39Z","citation":{"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>","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>.","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>.","ista":"Stroud JP, Vogels TP. 2018. Cortical signal propagation: Balance, amplify, transmit. Neuron. 98(1), 8–9.","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."},"publisher":"Elsevier","date_published":"2018-04-04T00:00:00Z","extern":"1","page":"8-9","quality_controlled":"1","volume":98,"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","publication":"Neuron","language":[{"iso":"eng"}],"intvolume":"        98","oa":1,"date_updated":"2021-01-12T08:16:31Z","article_processing_charge":"No","issue":"1","title":"Cortical signal propagation: Balance, amplify, transmit","pmid":1,"type":"journal_article","status":"public","publication_identifier":{"issn":["0896-6273"]},"month":"04","main_file_link":[{"open_access":"1","url":"https://doi.org/10.1016/j.neuron.2018.03.028"}],"day":"04","oa_version":"Published Version","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","author":[{"last_name":"Stroud","full_name":"Stroud, Jake P.","first_name":"Jake P."},{"first_name":"Tim P","full_name":"Vogels, Tim P","id":"CB6FF8D2-008F-11EA-8E08-2637E6697425","last_name":"Vogels","orcid":"0000-0003-3295-6181"}]},{"language":[{"iso":"eng"}],"publication":"Annual Review of Entomology","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,"status":"public","type":"journal_article","author":[{"full_name":"Cremer, Sylvia","first_name":"Sylvia","orcid":"0000-0002-2193-3868","id":"2F64EC8C-F248-11E8-B48F-1D18A9856A87","last_name":"Cremer"},{"id":"3C7F4840-F248-11E8-B48F-1D18A9856A87","last_name":"Pull","orcid":"0000-0003-1122-3982","full_name":"Pull, Christopher","first_name":"Christopher"},{"full_name":"Fürst, Matthias","first_name":"Matthias","last_name":"Fürst","id":"393B1196-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-3712-925X"}],"day":"07","oa_version":"None","user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","month":"01","publication_identifier":{"issn":["1545-4487"]},"_id":"806","doi":"10.1146/annurev-ento-020117-043110","citation":{"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>.","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.","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>","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.","short":"S. Cremer, C. Pull, M. Fürst, Annual Review of Entomology 63 (2018) 105–123.","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>"},"date_created":"2018-12-11T11:48:36Z","publist_id":"6844","year":"2018","related_material":{"record":[{"status":"public","relation":"dissertation_contains","id":"819"}]},"page":"105 - 123","department":[{"_id":"SyCr"}],"quality_controlled":"1","volume":63,"publisher":"Annual Reviews","date_published":"2018-01-07T00:00:00Z","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."}]},{"title":"Motor primitives in space and time via targeted gain modulation in cortical networks","oa":1,"date_updated":"2021-01-12T08:16:46Z","issue":"12","article_processing_charge":"No","intvolume":"        21","language":[{"iso":"eng"}],"publication":"Nature Neuroscience","author":[{"first_name":"Jake P.","full_name":"Stroud, Jake P.","last_name":"Stroud"},{"full_name":"Porter, Mason A.","first_name":"Mason A.","last_name":"Porter"},{"first_name":"Guillaume","full_name":"Hennequin, Guillaume","last_name":"Hennequin"},{"full_name":"Vogels, Tim P","first_name":"Tim P","orcid":"0000-0003-3295-6181","id":"CB6FF8D2-008F-11EA-8E08-2637E6697425","last_name":"Vogels"}],"day":"01","main_file_link":[{"open_access":"1","url":"https://www.ncbi.nlm.nih.gov/pmc/articles/PMC6276991/"}],"oa_version":"Submitted Version","user_id":"D865714E-FA4E-11E9-B85B-F5C5E5697425","publication_identifier":{"issn":["1097-6256","1546-1726"]},"month":"12","pmid":1,"type":"journal_article","status":"public","date_created":"2020-06-30T13:18:02Z","citation":{"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>","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.","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>.","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>.","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."},"year":"2018","related_material":{"link":[{"url":"https://doi.org/10.1038/s41593-018-0307-x","relation":"erratum"}]},"_id":"8073","article_type":"original","doi":"10.1038/s41593-018-0276-0","publication_status":"published","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."}],"extern":"1","page":"1774-1783","quality_controlled":"1","volume":21,"publisher":"Springer Nature","date_published":"2018-12-01T00:00:00Z"},{"doi":"10.1007/978-3-030-00151-3_4","_id":"81","file_date_updated":"2020-10-09T06:24:21Z","year":"2018","date_created":"2018-12-11T11:44:31Z","citation":{"short":"A. Elgyütt, T. Ferrere, T.A. Henzinger, in:, Springer, 2018, 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>","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.","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>.","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>"},"publist_id":"7973","date_published":"2018-08-26T00:00:00Z","publisher":"Springer","volume":11022,"quality_controlled":"1","page":"53 - 70","department":[{"_id":"ToHe"}],"project":[{"grant_number":"S11402-N23","_id":"25F5A88A-B435-11E9-9278-68D0E5697425","call_identifier":"FWF","name":"Moderne Concurrency Paradigms"},{"name":"The Wittgenstein Prize","call_identifier":"FWF","_id":"25F42A32-B435-11E9-9278-68D0E5697425","grant_number":"Z211"}],"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","language":[{"iso":"eng"}],"isi":1,"intvolume":"     11022","has_accepted_license":"1","scopus_import":"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":{"start_date":"2018-09-04","name":"FORMATS: Formal Modeling and Analysis of Timed Systems","end_date":"2018-09-06","location":"Beijing, China"},"file":[{"creator":"dernst","relation":"main_file","content_type":"application/pdf","access_level":"open_access","file_size":537219,"checksum":"e5d81c9b50a6bd9d8a2c16953aad7e23","file_id":"8638","file_name":"2018_LNCS_Elgyuett.pdf","success":1,"date_updated":"2020-10-09T06:24:21Z","date_created":"2020-10-09T06:24:21Z"}],"user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","oa_version":"Submitted Version","day":"26","author":[{"id":"4A2E9DBA-F248-11E8-B48F-1D18A9856A87","last_name":"Elgyütt","first_name":"Adrian","full_name":"Elgyütt, Adrian"},{"last_name":"Ferrere","id":"40960E6E-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0001-5199-3143","full_name":"Ferrere, Thomas","first_name":"Thomas"},{"full_name":"Henzinger, Thomas A","first_name":"Thomas A","orcid":"0000−0002−2985−7724","id":"40876CD8-F248-11E8-B48F-1D18A9856A87","last_name":"Henzinger"}]},{"title":"The Chara genome: Secondary complexity and implications for plant terrestrialization","issue":"2","article_processing_charge":"No","oa":1,"date_updated":"2023-09-19T10:02:47Z","intvolume":"       174","scopus_import":"1","isi":1,"language":[{"iso":"eng"}],"publication":"Cell","author":[{"last_name":"Nishiyama","first_name":"Tomoaki","full_name":"Nishiyama, Tomoaki"},{"last_name":"Sakayama","first_name":"Hidetoshi","full_name":"Sakayama, Hidetoshi"},{"first_name":"Jan","full_name":"De Vries, Jan","last_name":"De Vries"},{"last_name":"Buschmann","full_name":"Buschmann, Henrik","first_name":"Henrik"},{"last_name":"Saint Marcoux","first_name":"Denis","full_name":"Saint Marcoux, Denis"},{"full_name":"Ullrich, Kristian","first_name":"Kristian","last_name":"Ullrich"},{"first_name":"Fabian","full_name":"Haas, Fabian","last_name":"Haas"},{"last_name":"Vanderstraeten","first_name":"Lisa","full_name":"Vanderstraeten, Lisa"},{"first_name":"Dirk","full_name":"Becker, Dirk","last_name":"Becker"},{"last_name":"Lang","full_name":"Lang, Daniel","first_name":"Daniel"},{"first_name":"Stanislav","full_name":"Vosolsobě, Stanislav","last_name":"Vosolsobě"},{"last_name":"Rombauts","full_name":"Rombauts, Stephane","first_name":"Stephane"},{"first_name":"Per","full_name":"Wilhelmsson, Per","last_name":"Wilhelmsson"},{"first_name":"Philipp","full_name":"Janitza, Philipp","last_name":"Janitza"},{"full_name":"Kern, Ramona","first_name":"Ramona","last_name":"Kern"},{"last_name":"Heyl","full_name":"Heyl, Alexander","first_name":"Alexander"},{"full_name":"Rümpler, Florian","first_name":"Florian","last_name":"Rümpler"},{"last_name":"Calderón Villalobos","first_name":"Luz","full_name":"Calderón Villalobos, Luz"},{"first_name":"John","full_name":"Clay, John","last_name":"Clay"},{"first_name":"Roman","full_name":"Skokan, Roman","last_name":"Skokan"},{"full_name":"Toyoda, Atsushi","first_name":"Atsushi","last_name":"Toyoda"},{"full_name":"Suzuki, Yutaka","first_name":"Yutaka","last_name":"Suzuki"},{"last_name":"Kagoshima","full_name":"Kagoshima, Hiroshi","first_name":"Hiroshi"},{"full_name":"Schijlen, Elio","first_name":"Elio","last_name":"Schijlen"},{"full_name":"Tajeshwar, Navindra","first_name":"Navindra","last_name":"Tajeshwar"},{"last_name":"Catarino","full_name":"Catarino, Bruno","first_name":"Bruno"},{"full_name":"Hetherington, Alexander","first_name":"Alexander","last_name":"Hetherington"},{"first_name":"Assia","full_name":"Saltykova, Assia","last_name":"Saltykova"},{"first_name":"Clemence","full_name":"Bonnot, Clemence","last_name":"Bonnot"},{"first_name":"Holger","full_name":"Breuninger, Holger","last_name":"Breuninger"},{"last_name":"Symeonidi","first_name":"Aikaterini","full_name":"Symeonidi, Aikaterini"},{"last_name":"Radhakrishnan","full_name":"Radhakrishnan, Guru","first_name":"Guru"},{"last_name":"Van Nieuwerburgh","full_name":"Van Nieuwerburgh, Filip","first_name":"Filip"},{"full_name":"Deforce, Dieter","first_name":"Dieter","last_name":"Deforce"},{"last_name":"Chang","full_name":"Chang, Caren","first_name":"Caren"},{"last_name":"Karol","first_name":"Kenneth","full_name":"Karol, Kenneth"},{"full_name":"Hedrich, Rainer","first_name":"Rainer","last_name":"Hedrich"},{"full_name":"Ulvskov, Peter","first_name":"Peter","last_name":"Ulvskov"},{"full_name":"Glöckner, Gernot","first_name":"Gernot","last_name":"Glöckner"},{"last_name":"Delwiche","first_name":"Charles","full_name":"Delwiche, Charles"},{"first_name":"Jan","full_name":"Petrášek, Jan","last_name":"Petrášek"},{"last_name":"Van De Peer","first_name":"Yves","full_name":"Van De Peer, Yves"},{"full_name":"Friml, Jirí","first_name":"Jirí","id":"4159519E-F248-11E8-B48F-1D18A9856A87","last_name":"Friml","orcid":"0000-0002-8302-7596"},{"last_name":"Beilby","full_name":"Beilby, Mary","first_name":"Mary"},{"last_name":"Dolan","first_name":"Liam","full_name":"Dolan, Liam"},{"last_name":"Kohara","first_name":"Yuji","full_name":"Kohara, Yuji"},{"full_name":"Sugano, Sumio","first_name":"Sumio","last_name":"Sugano"},{"first_name":"Asao","full_name":"Fujiyama, Asao","last_name":"Fujiyama"},{"last_name":"Delaux","first_name":"Pierre Marc","full_name":"Delaux, Pierre Marc"},{"last_name":"Quint","first_name":"Marcel","full_name":"Quint, Marcel"},{"last_name":"Theissen","first_name":"Gunter","full_name":"Theissen, Gunter"},{"first_name":"Martin","full_name":"Hagemann, Martin","last_name":"Hagemann"},{"last_name":"Harholt","full_name":"Harholt, Jesper","first_name":"Jesper"},{"first_name":"Christophe","full_name":"Dunand, Christophe","last_name":"Dunand"},{"last_name":"Zachgo","first_name":"Sabine","full_name":"Zachgo, Sabine"},{"first_name":"Jane","full_name":"Langdale, Jane","last_name":"Langdale"},{"last_name":"Maumus","first_name":"Florian","full_name":"Maumus, Florian"},{"full_name":"Van Der Straeten, Dominique","first_name":"Dominique","last_name":"Van Der Straeten"},{"last_name":"Gould","first_name":"Sven B","full_name":"Gould, Sven B"},{"full_name":"Rensing, Stefan","first_name":"Stefan","last_name":"Rensing"}],"user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","oa_version":"Published Version","day":"12","main_file_link":[{"open_access":"1","url":"https://www.ncbi.nlm.nih.gov/pubmed/30007417"}],"month":"07","status":"public","type":"journal_article","pmid":1,"date_created":"2018-12-11T11:44:53Z","publist_id":"7774","citation":{"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>.","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>.","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.","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.","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.","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>"},"year":"2018","acknowledgement":"In-Data-Review","ec_funded":1,"_id":"148","doi":"10.1016/j.cell.2018.06.033","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"]},"project":[{"_id":"261099A6-B435-11E9-9278-68D0E5697425","grant_number":"742985","name":"Tracing Evolution of Auxin Transport and Polarity in Plants","call_identifier":"H2020"}],"quality_controlled":"1","volume":174,"page":"448 - 464.e24","department":[{"_id":"JiFr"}],"date_published":"2018-07-12T00:00:00Z","publisher":"Cell Press"},{"language":[{"iso":"eng"}],"has_accepted_license":"1","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","type":"dissertation","status":"public","alternative_title":["ISTA Thesis"],"publication_identifier":{"issn":["2663-337X"]},"month":"07","user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","file":[{"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","creator":"dernst","content_type":"application/pdf","relation":"main_file","file_size":5801709,"access_level":"open_access"},{"date_created":"2019-04-08T13:55:20Z","date_updated":"2020-07-14T12:44:57Z","checksum":"d73fcf46300dce74c403f2b491148ab4","file_id":"6242","file_name":"2018_thesis_Alt_source.zip","relation":"source_file","content_type":"application/zip","access_level":"closed","file_size":3802059,"creator":"dernst"}],"oa_version":"Published Version","day":"12","author":[{"first_name":"Johannes","full_name":"Alt, Johannes","last_name":"Alt","id":"36D3D8B6-F248-11E8-B48F-1D18A9856A87"}],"doi":"10.15479/AT:ISTA:TH_1040","_id":"149","file_date_updated":"2020-07-14T12:44:57Z","related_material":{"record":[{"relation":"part_of_dissertation","id":"1677","status":"public"},{"status":"public","id":"550","relation":"part_of_dissertation"},{"status":"public","relation":"part_of_dissertation","id":"6183"},{"id":"566","relation":"part_of_dissertation","status":"public"},{"status":"public","id":"1010","relation":"part_of_dissertation"},{"status":"public","relation":"part_of_dissertation","id":"6240"},{"status":"public","id":"6184","relation":"part_of_dissertation"}]},"degree_awarded":"PhD","ec_funded":1,"year":"2018","publist_id":"7772","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>."},"date_published":"2018-07-12T00:00:00Z","supervisor":[{"orcid":"0000-0001-5366-9603","id":"4DBD5372-F248-11E8-B48F-1D18A9856A87","last_name":"Erdös","full_name":"Erdös, László","first_name":"László"}],"publisher":"Institute of Science and Technology Austria","page":"456","department":[{"_id":"LaEr"}],"project":[{"call_identifier":"FP7","name":"Random matrices, universality and disordered quantum systems","_id":"258DCDE6-B435-11E9-9278-68D0E5697425","grant_number":"338804"}],"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":[{"lang":"eng","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."}],"publication_status":"published"},{"publication":"Nature Immunology","language":[{"iso":"eng"}],"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","pmid":1,"type":"journal_article","status":"public","main_file_link":[{"open_access":"1","url":"https://www.ncbi.nlm.nih.gov/pubmed/29777221"}],"day":"18","oa_version":"Published Version","user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","month":"05","author":[{"last_name":"Hons","id":"4167FE56-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-6625-3348","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"},{"last_name":"Hauschild","id":"4E01D6B4-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0001-9843-3522","full_name":"Hauschild, Robert","first_name":"Robert"},{"orcid":"0000-0002-1073-744X","id":"3B1B77E4-F248-11E8-B48F-1D18A9856A87","last_name":"Leithner","first_name":"Alexander F","full_name":"Leithner, Alexander F"},{"id":"397A88EE-F248-11E8-B48F-1D18A9856A87","last_name":"Gärtner","orcid":"0000-0001-6120-3723","full_name":"Gärtner, Florian R","first_name":"Florian R"},{"full_name":"Abe, Jun","first_name":"Jun","last_name":"Abe"},{"orcid":"0000-0003-2856-3369","id":"3F0587C8-F248-11E8-B48F-1D18A9856A87","last_name":"Renkawitz","first_name":"Jörg","full_name":"Renkawitz, Jörg"},{"last_name":"Stein","full_name":"Stein, Jens","first_name":"Jens"},{"first_name":"Michael K","full_name":"Sixt, Michael K","id":"41E9FBEA-F248-11E8-B48F-1D18A9856A87","last_name":"Sixt","orcid":"0000-0002-6620-9179"}],"doi":"10.1038/s41590-018-0109-z","acknowledged_ssus":[{"_id":"SSU"}],"_id":"15","ec_funded":1,"related_material":{"record":[{"id":"6891","relation":"dissertation_contains","status":"public"}]},"date_created":"2018-12-11T11:44:10Z","publist_id":"8040","citation":{"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.","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.","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>.","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>"},"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","department":[{"_id":"MiSi"},{"_id":"Bio"}],"page":"606 - 616","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","grant_number":"724373","_id":"25FE9508-B435-11E9-9278-68D0E5697425"},{"name":"Mechanical Adaptation of Lamellipodial Actin Networks in Migrating Cells","call_identifier":"H2020","_id":"260AA4E2-B435-11E9-9278-68D0E5697425","grant_number":"747687"},{"name":"Molecular and system level view of immune cell migration","grant_number":"ALTF 1396-2014","_id":"25A48D24-B435-11E9-9278-68D0E5697425"},{"grant_number":"281556","_id":"25A603A2-B435-11E9-9278-68D0E5697425","call_identifier":"FP7","name":"Cytoskeletal force generation and force transduction of migrating leukocytes (EU)"}],"external_id":{"pmid":["29777221"],"isi":["000433041500026"]},"abstract":[{"lang":"eng","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."}],"publication_status":"published"},{"doi":"10.1038/s41586-018-0396-4","_id":"150","article_type":"original","related_material":{"link":[{"url":"https://doi.org/10.1038/s41586-018-0505-4","relation":"erratum"}]},"year":"2018","citation":{"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>.","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.","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>.","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.","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>","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.","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>"},"date_created":"2018-12-11T11:44:53Z","date_published":"2018-08-29T00:00:00Z","publisher":"Nature Publishing Group","quality_controlled":"1","volume":560,"page":"509–512","department":[{"_id":"FlSc"}],"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"}],"external_id":{"isi":["000442483400046"],"pmid":["30158708"]},"publication_status":"published","publication":"Nature","language":[{"iso":"eng"}],"isi":1,"scopus_import":"1","intvolume":"       560","issue":"7719","article_processing_charge":"No","date_updated":"2023-09-12T07:44:37Z","oa":1,"title":"Inositol phosphates are assembly co-factors for HIV-1","status":"public","type":"journal_article","pmid":1,"month":"08","publication_identifier":{"eissn":["1476-4687"]},"user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","day":"29","main_file_link":[{"open_access":"1","url":"https://www.ncbi.nlm.nih.gov/pmc/articles/PMC6242333/"}],"oa_version":"Submitted Version","author":[{"last_name":"Dick","first_name":"Robert","full_name":"Dick, Robert"},{"first_name":"Kaneil K","full_name":"Zadrozny, Kaneil K","last_name":"Zadrozny"},{"last_name":"Xu","first_name":"Chaoyi","full_name":"Xu, Chaoyi"},{"orcid":"0000-0003-4790-8078","last_name":"Schur","id":"48AD8942-F248-11E8-B48F-1D18A9856A87","first_name":"Florian","full_name":"Schur, Florian"},{"last_name":"Lyddon","first_name":"Terri D","full_name":"Lyddon, Terri D"},{"last_name":"Ricana","first_name":"Clifton L","full_name":"Ricana, Clifton L"},{"first_name":"Jonathan M","full_name":"Wagner, Jonathan M","last_name":"Wagner"},{"full_name":"Perilla, Juan R","first_name":"Juan R","last_name":"Perilla"},{"full_name":"Ganser, Pornillos Barbie K","first_name":"Pornillos Barbie K","last_name":"Ganser"},{"last_name":"Johnson","first_name":"Marc C","full_name":"Johnson, Marc C"},{"last_name":"Pornillos","first_name":"Owen","full_name":"Pornillos, Owen"},{"full_name":"Vogt, Volker","first_name":"Volker","last_name":"Vogt"}]},{"month":"07","file":[{"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","content_type":"application/pdf","file_size":2185385,"relation":"main_file","access_level":"open_access","creator":"lsazanov"}],"user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","day":"26","oa_version":"Submitted Version","author":[{"full_name":"Fiedorczuk, Karol","first_name":"Karol","last_name":"Fiedorczuk","id":"5BFF67CE-02D1-11E9-B11A-A5A4D7DFFFD0"},{"last_name":"Sazanov","id":"338D39FE-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-0977-7989","first_name":"Leonid A","full_name":"Sazanov, Leonid A"}],"type":"journal_article","status":"public","isi":1,"has_accepted_license":"1","intvolume":"        28","scopus_import":"1","issue":"10","article_processing_charge":"No","oa":1,"date_updated":"2023-09-13T08:51:56Z","title":"Mammalian mitochondrial complex I structure and disease causing mutations","publication":"Trends in Cell Biology","language":[{"iso":"eng"}],"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","date_published":"2018-07-26T00:00:00Z","publisher":"Elsevier","volume":28,"quality_controlled":"1","department":[{"_id":"LeSa"}],"page":"835 - 867","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>","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>","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.","short":"K. Fiedorczuk, L.A. Sazanov, Trends in Cell Biology 28 (2018) 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>.","ista":"Fiedorczuk K, Sazanov LA. 2018. Mammalian mitochondrial complex I structure and disease causing mutations. Trends in Cell Biology. 28(10), 835–867.","mla":"Fiedorczuk, Karol, and Leonid A. Sazanov. “Mammalian Mitochondrial Complex I Structure and Disease Causing Mutations.” <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>."},"doi":"10.1016/j.tcb.2018.06.006","_id":"152","article_type":"original","file_date_updated":"2020-07-14T12:45:00Z"},{"_id":"153","doi":"10.1016/bs.mcb.2018.07.004","year":"2018","date_created":"2018-12-11T11:44:54Z","publist_id":"7768","citation":{"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>.","short":"J. Renkawitz, A. Reversat, A.F. Leithner, J. Merrin, M.K. Sixt, in:, Methods in Cell Biology, Academic Press, 2018, pp. 79–91.","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>","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>"},"publisher":"Academic Press","date_published":"2018-07-27T00:00:00Z","page":"79 - 91","department":[{"_id":"MiSi"},{"_id":"NanoFab"}],"volume":147,"quality_controlled":"1","publication_status":"published","external_id":{"pmid":["30165964"],"isi":["000452412300006"]},"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"}],"language":[{"iso":"eng"}],"publication":"Methods in Cell Biology","date_updated":"2023-09-13T08:56:35Z","article_processing_charge":"No","title":"Micro-engineered “pillar forests” to study cell migration in complex but controlled 3D environments","isi":1,"scopus_import":"1","intvolume":"       147","pmid":1,"status":"public","type":"book_chapter","author":[{"orcid":"0000-0003-2856-3369","last_name":"Renkawitz","id":"3F0587C8-F248-11E8-B48F-1D18A9856A87","full_name":"Renkawitz, Jörg","first_name":"Jörg"},{"first_name":"Anne","full_name":"Reversat, Anne","last_name":"Reversat","id":"35B76592-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0003-0666-8928"},{"last_name":"Leithner","id":"3B1B77E4-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-1073-744X","full_name":"Leithner, Alexander F","first_name":"Alexander F"},{"orcid":"0000-0001-5145-4609","id":"4515C308-F248-11E8-B48F-1D18A9856A87","last_name":"Merrin","first_name":"Jack","full_name":"Merrin, Jack"},{"id":"41E9FBEA-F248-11E8-B48F-1D18A9856A87","last_name":"Sixt","orcid":"0000-0002-6620-9179","first_name":"Michael K","full_name":"Sixt, Michael K"}],"publication_identifier":{"issn":["0091679X"]},"month":"07","day":"27","oa_version":"None","user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1"},{"language":[{"iso":"eng"}],"publication":"Mathematical Physics Analysis and Geometry","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","scopus_import":"1","has_accepted_license":"1","type":"journal_article","status":"public","author":[{"full_name":"Moser, Thomas","first_name":"Thomas","id":"2B5FC9A4-F248-11E8-B48F-1D18A9856A87","last_name":"Moser"},{"orcid":"0000-0002-6781-0521","id":"4AFD0470-F248-11E8-B48F-1D18A9856A87","last_name":"Seiringer","full_name":"Seiringer, Robert","first_name":"Robert"}],"publication_identifier":{"issn":["13850172"],"eissn":["15729656"]},"month":"09","oa_version":"Published Version","day":"01","file":[{"creator":"dernst","access_level":"open_access","relation":"main_file","content_type":"application/pdf","file_size":496973,"checksum":"411c4db5700d7297c9cd8ebc5dd29091","file_name":"2018_MathPhysics_Moser.pdf","file_id":"5729","date_created":"2018-12-17T16:49:02Z","date_updated":"2020-07-14T12:45:01Z"}],"user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","file_date_updated":"2020-07-14T12:45:01Z","_id":"154","article_type":"original","doi":"10.1007/s11040-018-9275-3","acknowledgement":"Open access funding provided by Austrian Science Fund (FWF).","year":"2018","citation":{"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>","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>"},"date_created":"2018-12-11T11:44:55Z","publist_id":"7767","ec_funded":1,"article_number":"19","related_material":{"record":[{"relation":"dissertation_contains","id":"52","status":"public"}]},"project":[{"_id":"25C6DC12-B435-11E9-9278-68D0E5697425","grant_number":"694227","call_identifier":"H2020","name":"Analysis of quantum many-body systems"},{"name":"Structure of the Excitation Spectrum for Many-Body Quantum Systems","call_identifier":"FWF","_id":"25C878CE-B435-11E9-9278-68D0E5697425","grant_number":"P27533_N27"},{"name":"FWF Open Access Fund","call_identifier":"FWF","_id":"3AC91DDA-15DF-11EA-824D-93A3E7B544D1"}],"publisher":"Springer","date_published":"2018-09-01T00:00:00Z","department":[{"_id":"RoSe"}],"volume":21,"quality_controlled":"1","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"}]},{"language":[{"iso":"eng"}],"title":"Routing thermal noise through quantum networks","oa":1,"date_updated":"2023-09-18T08:12:24Z","article_processing_charge":"No","scopus_import":"1","intvolume":"     10672","isi":1,"editor":[{"first_name":"D L","full_name":"Andrews, D L","last_name":"Andrews"},{"first_name":"A","full_name":"Ostendorf, A","last_name":"Ostendorf"},{"full_name":"Bain, A J","first_name":"A J","last_name":"Bain"},{"last_name":"Nunzi","first_name":"J M","full_name":"Nunzi, J M"}],"alternative_title":["Proceedings of SPIE"],"type":"conference","status":"public","author":[{"first_name":"André","full_name":"Xuereb, André","last_name":"Xuereb"},{"last_name":"Aquilina","full_name":"Aquilina, Matteo","first_name":"Matteo"},{"full_name":"Barzanjeh, Shabir","first_name":"Shabir","orcid":"0000-0003-0415-1423","last_name":"Barzanjeh","id":"2D25E1F6-F248-11E8-B48F-1D18A9856A87"}],"arxiv":1,"oa_version":"Preprint","day":"04","main_file_link":[{"open_access":"1","url":"https://arxiv.org/abs/1806.01000"}],"user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","conference":{"name":"SPIE: The international society for optical engineering","start_date":"2018-04-22","location":"Strasbourg, France","end_date":"2018-04-26"},"month":"05","_id":"155","doi":"10.1117/12.2309928","date_created":"2018-12-11T11:44:55Z","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>","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>.","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>.","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."},"publist_id":"7766","year":"2018","article_number":"106721N","department":[{"_id":"JoFi"}],"quality_controlled":"1","volume":10672,"publisher":"SPIE","date_published":"2018-05-04T00:00:00Z","publication_status":"published","external_id":{"isi":["000453298500019"],"arxiv":["1806.01000"]},"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."}]},{"date_published":"2018-07-12T00:00:00Z","publisher":"Springer","quality_controlled":"1","volume":10951,"page":"147 - 164","department":[{"_id":"ToHe"}],"project":[{"name":"The Wittgenstein Prize","call_identifier":"FWF","grant_number":"Z211","_id":"25F42A32-B435-11E9-9278-68D0E5697425"},{"_id":"25832EC2-B435-11E9-9278-68D0E5697425","grant_number":"S 11407_N23","name":"Rigorous Systems Engineering","call_identifier":"FWF"}],"ddc":["000"],"abstract":[{"lang":"eng","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."}],"external_id":{"isi":["000489765800009"]},"publication_status":"published","doi":"10.1007/978-3-319-95582-7_9","_id":"156","file_date_updated":"2020-10-09T06:22:41Z","year":"2018","date_created":"2018-12-11T11:44:55Z","publist_id":"7765","citation":{"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>","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>.","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>.","ista":"Ferrere T. 2018. The compound interest in relaxing punctuality. FM: International Symposium on Formal Methods, LNCS, vol. 10951, 147–164.","short":"T. Ferrere, in:, Springer, 2018, pp. 147–164.","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.","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>"},"status":"public","type":"conference","alternative_title":["LNCS"],"month":"07","conference":{"start_date":"2018-07-15","name":"FM: International Symposium on Formal Methods","end_date":"2018-07-17","location":"Oxford, UK"},"user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","file":[{"success":1,"file_id":"8637","file_name":"2018_LNCS_Ferrere.pdf","checksum":"a045c213c42c445f1889326f8db82a0a","date_created":"2020-10-09T06:22:41Z","date_updated":"2020-10-09T06:22:41Z","creator":"dernst","file_size":485576,"relation":"main_file","access_level":"open_access","content_type":"application/pdf"}],"oa_version":"Submitted Version","day":"12","author":[{"id":"40960E6E-F248-11E8-B48F-1D18A9856A87","last_name":"Ferrere","orcid":"0000-0001-5199-3143","full_name":"Ferrere, Thomas","first_name":"Thomas"}],"language":[{"iso":"eng"}],"isi":1,"has_accepted_license":"1","scopus_import":"1","intvolume":"     10951","article_processing_charge":"No","oa":1,"date_updated":"2023-09-19T10:05:37Z","title":"The compound interest in relaxing punctuality"}]