[{"date_published":"2018-03-19T00:00:00Z","article_type":"review","page":"469–477","publication":"Nature Human Behaviour","citation":{"apa":"Hilbe, C., Chatterjee, K., & Nowak, M. (2018). Partners and rivals in direct reciprocity. Nature Human Behaviour. Nature Publishing Group. https://doi.org/10.1038/s41562-018-0320-9","ieee":"C. Hilbe, K. Chatterjee, and M. Nowak, “Partners and rivals in direct reciprocity,” Nature Human Behaviour, vol. 2. Nature Publishing Group, pp. 469–477, 2018.","ista":"Hilbe C, Chatterjee K, Nowak M. 2018. Partners and rivals in direct reciprocity. Nature Human Behaviour. 2, 469–477.","ama":"Hilbe C, Chatterjee K, Nowak M. Partners and rivals in direct reciprocity. Nature Human Behaviour. 2018;2:469–477. doi:10.1038/s41562-018-0320-9","chicago":"Hilbe, Christian, Krishnendu Chatterjee, and Martin Nowak. “Partners and Rivals in Direct Reciprocity.” Nature Human Behaviour. Nature Publishing Group, 2018. https://doi.org/10.1038/s41562-018-0320-9.","short":"C. Hilbe, K. Chatterjee, M. Nowak, Nature Human Behaviour 2 (2018) 469–477.","mla":"Hilbe, Christian, et al. “Partners and Rivals in Direct Reciprocity.” Nature Human Behaviour, vol. 2, Nature Publishing Group, 2018, pp. 469–477, doi:10.1038/s41562-018-0320-9."},"day":"19","has_accepted_license":"1","article_processing_charge":"No","scopus_import":"1","file":[{"checksum":"571b8cc0ba14e8d5d8b18e439a9835eb","date_updated":"2020-07-14T12:46:25Z","date_created":"2019-11-19T08:19:51Z","file_id":"7052","relation":"main_file","creator":"dernst","file_size":598033,"content_type":"application/pdf","access_level":"open_access","file_name":"2018_NatureHumanBeh_Hilbe.pdf"}],"oa_version":"Submitted Version","status":"public","title":"Partners and rivals in direct reciprocity","ddc":["000"],"intvolume":" 2","user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","_id":"419","abstract":[{"lang":"eng","text":"Reciprocity is a major factor in human social life and accounts for a large part of cooperation in our communities. Direct reciprocity arises when repeated interactions occur between the same individuals. The framework of iterated games formalizes this phenomenon. Despite being introduced more than five decades ago, the concept keeps offering beautiful surprises. Recent theoretical research driven by new mathematical tools has proposed a remarkable dichotomy among the crucial strategies: successful individuals either act as partners or as rivals. Rivals strive for unilateral advantages by applying selfish or extortionate strategies. Partners aim to share the payoff for mutual cooperation, but are ready to fight back when being exploited. Which of these behaviours evolves depends on the environment. Whereas small population sizes and a limited number of rounds favour rivalry, partner strategies are selected when populations are large and relationships stable. Only partners allow for evolution of cooperation, while the rivals’ attempt to put themselves first leads to defection. Hilbe et al. synthesize recent theoretical work on zero-determinant and ‘rival’ versus ‘partner’ strategies in social dilemmas. They describe the environments under which these contrasting selfish or cooperative strategies emerge in evolution."}],"type":"journal_article","language":[{"iso":"eng"}],"doi":"10.1038/s41562-018-0320-9","isi":1,"quality_controlled":"1","project":[{"_id":"2581B60A-B435-11E9-9278-68D0E5697425","grant_number":"279307","name":"Quantitative Graph Games: Theory and Applications","call_identifier":"FP7"},{"grant_number":"P 23499-N23","_id":"2584A770-B435-11E9-9278-68D0E5697425","name":"Modern Graph Algorithmic Techniques in Formal Verification","call_identifier":"FWF"},{"name":"Rigorous Systems Engineering","call_identifier":"FWF","grant_number":"S 11407_N23","_id":"25832EC2-B435-11E9-9278-68D0E5697425"},{"call_identifier":"FP7","name":"International IST Postdoc Fellowship Programme","_id":"25681D80-B435-11E9-9278-68D0E5697425","grant_number":"291734"}],"oa":1,"external_id":{"isi":["000446612000016"]},"month":"03","date_created":"2018-12-11T11:46:22Z","date_updated":"2023-09-13T09:38:54Z","volume":2,"author":[{"id":"2FDF8F3C-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0001-5116-955X","first_name":"Christian","last_name":"Hilbe","full_name":"Hilbe, Christian"},{"full_name":"Chatterjee, Krishnendu","id":"2E5DCA20-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-4561-241X","first_name":"Krishnendu","last_name":"Chatterjee"},{"full_name":"Nowak, Martin","last_name":"Nowak","first_name":"Martin"}],"related_material":{"link":[{"relation":"erratum","url":"http://doi.org/10.1038/s41562-018-0342-3"}]},"publication_status":"published","department":[{"_id":"KrCh"}],"publisher":"Nature Publishing Group","year":"2018","file_date_updated":"2020-07-14T12:46:25Z","ec_funded":1,"publist_id":"7404"},{"month":"08","publication_identifier":{"isbn":["978-3-030-00150-6"]},"quality_controlled":"1","isi":1,"project":[{"_id":"25832EC2-B435-11E9-9278-68D0E5697425","grant_number":"S 11407_N23","call_identifier":"FWF","name":"Rigorous Systems Engineering"},{"grant_number":"Z211","_id":"25F42A32-B435-11E9-9278-68D0E5697425","name":"The Wittgenstein Prize","call_identifier":"FWF"}],"oa":1,"external_id":{"isi":["000884993200013"]},"language":[{"iso":"eng"}],"conference":{"start_date":"2018-09-04","location":"Bejing, China","end_date":"2018-09-06","name":"FORMATS: Formal Modeling and Analysis of Timed Systems"},"doi":"10.1007/978-3-030-00151-3_13","file_date_updated":"2020-07-14T12:48:03Z","publist_id":"7976","publication_status":"published","department":[{"_id":"ToHe"}],"publisher":"Springer","year":"2018","date_created":"2018-12-11T11:44:31Z","date_updated":"2023-09-13T09:35:46Z","volume":11022,"author":[{"full_name":"Bakhirkin, Alexey","last_name":"Bakhirkin","first_name":"Alexey"},{"id":"40960E6E-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0001-5199-3143","first_name":"Thomas","last_name":"Ferrere","full_name":"Ferrere, Thomas"},{"first_name":"Dejan","last_name":"Nickovic","full_name":"Nickovic, Dejan"},{"last_name":"Maler","first_name":"Oded","full_name":"Maler, Oded"},{"first_name":"Eugene","last_name":"Asarin","full_name":"Asarin, Eugene"}],"scopus_import":"1","day":"26","article_processing_charge":"No","has_accepted_license":"1","page":"215 - 232","citation":{"chicago":"Bakhirkin, Alexey, Thomas Ferrere, Dejan Nickovic, Oded Maler, and Eugene Asarin. “Online Timed Pattern Matching Using Automata,” 11022:215–32. Springer, 2018. https://doi.org/10.1007/978-3-030-00151-3_13.","mla":"Bakhirkin, Alexey, et al. Online Timed Pattern Matching Using Automata. Vol. 11022, Springer, 2018, pp. 215–32, doi:10.1007/978-3-030-00151-3_13.","short":"A. Bakhirkin, T. Ferrere, D. Nickovic, O. Maler, E. Asarin, in:, Springer, 2018, pp. 215–232.","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.","apa":"Bakhirkin, A., Ferrere, T., Nickovic, D., Maler, O., & 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. https://doi.org/10.1007/978-3-030-00151-3_13","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:10.1007/978-3-030-00151-3_13"},"date_published":"2018-08-26T00:00:00Z","alternative_title":["LNCS"],"type":"conference","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"}],"title":"Online timed pattern matching using automata","status":"public","ddc":["000"],"intvolume":" 11022","_id":"78","user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","oa_version":"Submitted Version","file":[{"file_id":"7831","relation":"main_file","date_created":"2020-05-14T11:34:34Z","date_updated":"2020-07-14T12:48:03Z","checksum":"436b7574934324cfa7d1d3986fddc65b","file_name":"2018_LNCS_Bakhirkin.pdf","access_level":"open_access","creator":"dernst","content_type":"application/pdf","file_size":374851}]},{"intvolume":" 8","ddc":["539"],"title":"Palladium gates for reproducible quantum dots in silicon","status":"public","user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","_id":"317","oa_version":"Published Version","file":[{"relation":"main_file","file_id":"5256","date_updated":"2020-07-14T12:46:02Z","date_created":"2018-12-12T10:17:04Z","checksum":"20af238ca4ba6491b77270be8d826bf5","file_name":"IST-2018-1016-v1+1_2018_Brauns_Palladium_gates.pdf","access_level":"open_access","content_type":"application/pdf","file_size":1850530,"creator":"system"}],"pubrep_id":"1016","type":"journal_article","issue":"1","abstract":[{"text":"We replace the established aluminium gates for the formation of quantum dots in silicon with gates made from palladium. We study the morphology of both aluminium and palladium gates with transmission electron microscopy. The native aluminium oxide is found to be formed all around the aluminium gates, which could lead to the formation of unintentional dots. Therefore, we report on a novel fabrication route that replaces aluminium and its native oxide by palladium with atomic-layer-deposition-grown aluminium oxide. Using this approach, we show the formation of low-disorder gate-defined quantum dots, which are reproducibly fabricated. Furthermore, palladium enables us to further shrink the gate design, allowing us to perform electron transport measurements in the few-electron regime in devices comprising only two gate layers, a major technological advancement. It remains to be seen, whether the introduction of palladium gates can improve the excellent results on electron and nuclear spin qubits defined with an aluminium gate stack.","lang":"eng"}],"citation":{"mla":"Brauns, Matthias, et al. “Palladium Gates for Reproducible Quantum Dots in Silicon.” Scientific Reports, vol. 8, no. 1, 5690, Nature Publishing Group, 2018, doi:10.1038/s41598-018-24004-y.","short":"M. Brauns, S. Amitonov, P. Spruijtenburg, F. Zwanenburg, Scientific Reports 8 (2018).","chicago":"Brauns, Matthias, Sergey Amitonov, Paul Spruijtenburg, and Floris Zwanenburg. “Palladium Gates for Reproducible Quantum Dots in Silicon.” Scientific Reports. Nature Publishing Group, 2018. https://doi.org/10.1038/s41598-018-24004-y.","ama":"Brauns M, Amitonov S, Spruijtenburg P, Zwanenburg F. Palladium gates for reproducible quantum dots in silicon. Scientific Reports. 2018;8(1). doi:10.1038/s41598-018-24004-y","ista":"Brauns M, Amitonov S, Spruijtenburg P, Zwanenburg F. 2018. Palladium gates for reproducible quantum dots in silicon. Scientific Reports. 8(1), 5690.","apa":"Brauns, M., Amitonov, S., Spruijtenburg, P., & Zwanenburg, F. (2018). Palladium gates for reproducible quantum dots in silicon. Scientific Reports. Nature Publishing Group. https://doi.org/10.1038/s41598-018-24004-y","ieee":"M. Brauns, S. Amitonov, P. Spruijtenburg, and F. Zwanenburg, “Palladium gates for reproducible quantum dots in silicon,” Scientific Reports, vol. 8, no. 1. Nature Publishing Group, 2018."},"publication":"Scientific Reports","date_published":"2018-04-09T00:00:00Z","scopus_import":"1","has_accepted_license":"1","article_processing_charge":"No","day":"09","publisher":"Nature Publishing Group","department":[{"_id":"GeKa"}],"publication_status":"published","year":"2018","volume":8,"date_updated":"2023-09-13T09:38:00Z","date_created":"2018-12-11T11:45:47Z","author":[{"id":"33F94E3C-F248-11E8-B48F-1D18A9856A87","last_name":"Brauns","first_name":"Matthias","full_name":"Brauns, Matthias"},{"first_name":"Sergey","last_name":"Amitonov","full_name":"Amitonov, Sergey"},{"full_name":"Spruijtenburg, Paul","first_name":"Paul","last_name":"Spruijtenburg"},{"last_name":"Zwanenburg","first_name":"Floris","full_name":"Zwanenburg, Floris"}],"article_number":"5690","publist_id":"7548","file_date_updated":"2020-07-14T12:46:02Z","quality_controlled":"1","isi":1,"tmp":{"name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","short":"CC BY (4.0)","image":"/images/cc_by.png"},"external_id":{"isi":["000429404300013"]},"oa":1,"language":[{"iso":"eng"}],"doi":"10.1038/s41598-018-24004-y","month":"04"},{"abstract":[{"lang":"eng","text":"Ants are emerging model systems to study cellular signaling because distinct castes possess different physiologic phenotypes within the same colony. Here we studied the functionality of inotocin signaling, an insect ortholog of mammalian oxytocin (OT), which was recently discovered in ants. In Lasius ants, we determined that specialization within the colony, seasonal factors, and physiologic conditions down-regulated the expression of the OT-like signaling system. Given this natural variation, we interrogated its function using RNAi knockdowns. Next-generation RNA sequencing of OT-like precursor knock-down ants highlighted its role in the regulation of genes involved in metabolism. Knock-down ants exhibited higher walking activity and increased self-grooming in the brood chamber. We propose that OT-like signaling in ants is important for regulating metabolic processes and locomotion."}],"issue":"12","type":"journal_article","oa_version":"Published Version","user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","_id":"194","status":"public","title":"Oxytocin-like signaling in ants influences metabolic gene expression and locomotor activity","intvolume":" 32","day":"29","article_processing_charge":"No","scopus_import":"1","date_published":"2018-11-29T00:00:00Z","publication":"The FASEB Journal","citation":{"apa":"Liutkeviciute, Z., Gil Mansilla, E., Eder, T., Casillas Perez, B. E., Giulia Di Giglio, M., Muratspahić, E., … Gruber, C. (2018). Oxytocin-like signaling in ants influences metabolic gene expression and locomotor activity. The FASEB Journal. FASEB. https://doi.org/10.1096/fj.201800443","ieee":"Z. Liutkeviciute et al., “Oxytocin-like signaling in ants influences metabolic gene expression and locomotor activity,” The FASEB Journal, vol. 32, no. 12. FASEB, pp. 6808–6821, 2018.","ista":"Liutkeviciute Z, Gil Mansilla E, Eder T, Casillas Perez BE, Giulia Di Giglio M, Muratspahić E, Grebien F, Rattei T, Muttenthaler M, Cremer S, Gruber C. 2018. Oxytocin-like signaling in ants influences metabolic gene expression and locomotor activity. The FASEB Journal. 32(12), 6808–6821.","ama":"Liutkeviciute Z, Gil Mansilla E, Eder T, et al. Oxytocin-like signaling in ants influences metabolic gene expression and locomotor activity. The FASEB Journal. 2018;32(12):6808-6821. doi:10.1096/fj.201800443","chicago":"Liutkeviciute, Zita, Esther Gil Mansilla, Thomas Eder, Barbara E Casillas Perez, Maria Giulia Di Giglio, Edin Muratspahić, Florian Grebien, et al. “Oxytocin-like Signaling in Ants Influences Metabolic Gene Expression and Locomotor Activity.” The FASEB Journal. FASEB, 2018. https://doi.org/10.1096/fj.201800443.","short":"Z. Liutkeviciute, E. Gil Mansilla, T. Eder, B.E. Casillas Perez, M. Giulia Di Giglio, E. Muratspahić, F. Grebien, T. Rattei, M. Muttenthaler, S. Cremer, C. Gruber, The FASEB Journal 32 (2018) 6808–6821.","mla":"Liutkeviciute, Zita, et al. “Oxytocin-like Signaling in Ants Influences Metabolic Gene Expression and Locomotor Activity.” The FASEB Journal, vol. 32, no. 12, FASEB, 2018, pp. 6808–21, doi:10.1096/fj.201800443."},"article_type":"original","page":"6808-6821","publist_id":"7721","author":[{"full_name":"Liutkeviciute, Zita","first_name":"Zita","last_name":"Liutkeviciute"},{"full_name":"Gil Mansilla, Esther","first_name":"Esther","last_name":"Gil Mansilla"},{"first_name":"Thomas","last_name":"Eder","full_name":"Eder, Thomas"},{"full_name":"Casillas Perez, Barbara E","last_name":"Casillas Perez","first_name":"Barbara E","id":"351ED2AA-F248-11E8-B48F-1D18A9856A87"},{"full_name":"Giulia Di Giglio, Maria","last_name":"Giulia Di Giglio","first_name":"Maria"},{"first_name":"Edin","last_name":"Muratspahić","full_name":"Muratspahić, Edin"},{"full_name":"Grebien, Florian","last_name":"Grebien","first_name":"Florian"},{"last_name":"Rattei","first_name":"Thomas","full_name":"Rattei, Thomas"},{"full_name":"Muttenthaler, Markus","last_name":"Muttenthaler","first_name":"Markus"},{"id":"2F64EC8C-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-2193-3868","first_name":"Sylvia","last_name":"Cremer","full_name":"Cremer, Sylvia"},{"first_name":"Christian","last_name":"Gruber","full_name":"Gruber, Christian"}],"date_created":"2018-12-11T11:45:08Z","date_updated":"2023-09-13T09:37:32Z","volume":32,"year":"2018","pmid":1,"publication_status":"published","department":[{"_id":"SyCr"}],"publisher":"FASEB","month":"11","publication_identifier":{"issn":["08926638"]},"doi":"10.1096/fj.201800443","language":[{"iso":"eng"}],"oa":1,"external_id":{"isi":["000449359700035"],"pmid":["29939785"]},"main_file_link":[{"url":" https://doi.org/10.1096/fj.201800443","open_access":"1"}],"isi":1,"quality_controlled":"1","project":[{"name":"Individual function and social role of oxytocin-like neuropeptides in ants","_id":"25E3D34E-B435-11E9-9278-68D0E5697425"}]},{"date_published":"2018-07-16T00:00:00Z","page":"764 - 767","article_type":"original","citation":{"ista":"Fehrentz T, Huber F, Hartrampf N, Bruegmann T, Frank J, Fine N, Malan D, Danzl JG, Tikhonov D, Sumser M, Sasse P, Hodson D, Zhorov B, Klocker N, Trauner D. 2018. Optical control of L-type Ca2+ channels using a diltiazem photoswitch. Nature Chemical Biology. 14(8), 764–767.","ieee":"T. Fehrentz et al., “Optical control of L-type Ca2+ channels using a diltiazem photoswitch,” Nature Chemical Biology, vol. 14, no. 8. Nature Publishing Group, pp. 764–767, 2018.","apa":"Fehrentz, T., Huber, F., Hartrampf, N., Bruegmann, T., Frank, J., Fine, N., … Trauner, D. (2018). Optical control of L-type Ca2+ channels using a diltiazem photoswitch. Nature Chemical Biology. Nature Publishing Group. https://doi.org/10.1038/s41589-018-0090-8","ama":"Fehrentz T, Huber F, Hartrampf N, et al. Optical control of L-type Ca2+ channels using a diltiazem photoswitch. Nature Chemical Biology. 2018;14(8):764-767. doi:10.1038/s41589-018-0090-8","chicago":"Fehrentz, Timm, Florian Huber, Nina Hartrampf, Tobias Bruegmann, James Frank, Nicholas Fine, Daniela Malan, et al. “Optical Control of L-Type Ca2+ Channels Using a Diltiazem Photoswitch.” Nature Chemical Biology. Nature Publishing Group, 2018. https://doi.org/10.1038/s41589-018-0090-8.","mla":"Fehrentz, Timm, et al. “Optical Control of L-Type Ca2+ Channels Using a Diltiazem Photoswitch.” Nature Chemical Biology, vol. 14, no. 8, Nature Publishing Group, 2018, pp. 764–67, doi:10.1038/s41589-018-0090-8.","short":"T. Fehrentz, F. Huber, N. Hartrampf, T. Bruegmann, J. Frank, N. Fine, D. Malan, J.G. Danzl, D. Tikhonov, M. Sumser, P. Sasse, D. Hodson, B. Zhorov, N. Klocker, D. Trauner, Nature Chemical Biology 14 (2018) 764–767."},"publication":"Nature Chemical Biology","has_accepted_license":"1","article_processing_charge":"No","day":"16","scopus_import":"1","file":[{"file_size":6321000,"content_type":"application/pdf","creator":"dernst","file_name":"2018_NatureChemicalBiology_Fehrentz.pdf","access_level":"open_access","date_updated":"2020-07-14T12:45:03Z","date_created":"2020-05-14T12:14:09Z","checksum":"d42935094ec845f54a0688bf12986d62","relation":"main_file","file_id":"7832"}],"oa_version":"Submitted Version","intvolume":" 14","status":"public","ddc":["570"],"title":"Optical control of L-type Ca2+ channels using a diltiazem photoswitch","_id":"159","user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","issue":"8","abstract":[{"text":"L-type Ca2+ channels (LTCCs) play a crucial role in excitation-contraction coupling and release of hormones from secretory cells. They are targets of antihypertensive and antiarrhythmic drugs such as diltiazem. Here, we present a photoswitchable diltiazem, FHU-779, which can be used to reversibly block endogenous LTCCs by light. FHU-779 is as potent as diltiazem and can be used to place pancreatic β-cell function and cardiac activity under optical control.","lang":"eng"}],"type":"journal_article","language":[{"iso":"eng"}],"doi":"10.1038/s41589-018-0090-8","quality_controlled":"1","isi":1,"external_id":{"isi":["000438970200010"]},"oa":1,"month":"07","volume":14,"date_created":"2018-12-11T11:44:56Z","date_updated":"2023-09-13T09:36:35Z","related_material":{"link":[{"relation":"erratum","url":"https://doi.org/10.1038/s41589-021-00744-3"}]},"author":[{"full_name":"Fehrentz, Timm","last_name":"Fehrentz","first_name":"Timm"},{"full_name":"Huber, Florian","first_name":"Florian","last_name":"Huber"},{"last_name":"Hartrampf","first_name":"Nina","full_name":"Hartrampf, Nina"},{"full_name":"Bruegmann, Tobias","first_name":"Tobias","last_name":"Bruegmann"},{"full_name":"Frank, James","first_name":"James","last_name":"Frank"},{"first_name":"Nicholas","last_name":"Fine","full_name":"Fine, Nicholas"},{"full_name":"Malan, Daniela","first_name":"Daniela","last_name":"Malan"},{"full_name":"Danzl, Johann G","first_name":"Johann G","last_name":"Danzl","id":"42EFD3B6-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0001-8559-3973"},{"last_name":"Tikhonov","first_name":"Denis","full_name":"Tikhonov, Denis"},{"last_name":"Sumser","first_name":"Maritn","full_name":"Sumser, Maritn"},{"full_name":"Sasse, Philipp","last_name":"Sasse","first_name":"Philipp"},{"full_name":"Hodson, David","last_name":"Hodson","first_name":"David"},{"full_name":"Zhorov, Boris","last_name":"Zhorov","first_name":"Boris"},{"full_name":"Klocker, Nikolaj","last_name":"Klocker","first_name":"Nikolaj"},{"full_name":"Trauner, Dirk","first_name":"Dirk","last_name":"Trauner"}],"department":[{"_id":"JoDa"}],"publisher":"Nature Publishing Group","publication_status":"published","year":"2018","publist_id":"7762","file_date_updated":"2020-07-14T12:45:03Z"},{"oa_version":"Preprint","intvolume":" 11024","status":"public","title":"Parameter-independent strategies for pMDPs via POMDPs","_id":"79","user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","abstract":[{"lang":"eng","text":"Markov Decision Processes (MDPs) are a popular class of models suitable for solving control decision problems in probabilistic reactive systems. We consider parametric MDPs (pMDPs) that include parameters in some of the transition probabilities to account for stochastic uncertainties of the environment such as noise or input disturbances. We study pMDPs with reachability objectives where the parameter values are unknown and impossible to measure directly during execution, but there is a probability distribution known over the parameter values. We study for the first time computing parameter-independent strategies that are expectation optimal, i.e., optimize the expected reachability probability under the probability distribution over the parameters. We present an encoding of our problem to partially observable MDPs (POMDPs), i.e., a reduction of our problem to computing optimal strategies in POMDPs. We evaluate our method experimentally on several benchmarks: a motivating (repeated) learner model; a series of benchmarks of varying configurations of a robot moving on a grid; and a consensus protocol."}],"alternative_title":["LNCS"],"type":"conference","date_published":"2018-08-15T00:00:00Z","page":"53-70","citation":{"mla":"Arming, Sebastian, et al. Parameter-Independent Strategies for PMDPs via POMDPs. Vol. 11024, Springer, 2018, pp. 53–70, doi:10.1007/978-3-319-99154-2_4.","short":"S. Arming, E. Bartocci, K. Chatterjee, J.P. Katoen, A. Sokolova, in:, Springer, 2018, 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. https://doi.org/10.1007/978-3-319-99154-2_4.","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:10.1007/978-3-319-99154-2_4","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.","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.","apa":"Arming, S., Bartocci, E., Chatterjee, K., Katoen, J. P., & 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. https://doi.org/10.1007/978-3-319-99154-2_4"},"article_processing_charge":"No","day":"15","scopus_import":"1","volume":11024,"date_created":"2018-12-11T11:44:31Z","date_updated":"2023-09-13T09:38:28Z","author":[{"full_name":"Arming, Sebastian","last_name":"Arming","first_name":"Sebastian"},{"first_name":"Ezio","last_name":"Bartocci","full_name":"Bartocci, Ezio"},{"full_name":"Chatterjee, Krishnendu","id":"2E5DCA20-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-4561-241X","first_name":"Krishnendu","last_name":"Chatterjee"},{"full_name":"Katoen, Joost P","id":"4524F760-F248-11E8-B48F-1D18A9856A87","first_name":"Joost P","last_name":"Katoen"},{"full_name":"Sokolova, Ana","last_name":"Sokolova","first_name":"Ana"}],"department":[{"_id":"KrCh"},{"_id":"ToHe"}],"publisher":"Springer","publication_status":"published","year":"2018","publist_id":"7975","language":[{"iso":"eng"}],"doi":"10.1007/978-3-319-99154-2_4","conference":{"name":"QEST: Quantitative Evaluation of Systems","location":"Beijing, China","start_date":"2018-09-04","end_date":"2018-09-07"},"quality_controlled":"1","isi":1,"main_file_link":[{"url":"https://arxiv.org/abs/1806.05126","open_access":"1"}],"oa":1,"external_id":{"isi":["000548912200004"],"arxiv":["1806.05126"]},"month":"08"},{"day":"30","month":"04","article_processing_charge":"No","language":[{"iso":"eng"}],"date_published":"2018-04-30T00:00:00Z","doi":"10.48550/arXiv.1804.11130","publication":"arXiv","citation":{"ama":"Locatello F, Vincent D, Tolstikhin I, Rätsch G, Gelly S, Schölkopf B. Competitive training of mixtures of independent deep generative models. arXiv. doi:10.48550/arXiv.1804.11130","ista":"Locatello F, Vincent D, Tolstikhin I, Rätsch G, Gelly S, Schölkopf B. Competitive training of mixtures of independent deep generative models. arXiv, 1804.11130.","ieee":"F. Locatello, D. Vincent, I. Tolstikhin, G. Rätsch, S. Gelly, and B. Schölkopf, “Competitive training of mixtures of independent deep generative models,” arXiv. .","apa":"Locatello, F., Vincent, D., Tolstikhin, I., Rätsch, G., Gelly, S., & Schölkopf, B. (n.d.). Competitive training of mixtures of independent deep generative models. arXiv. https://doi.org/10.48550/arXiv.1804.11130","mla":"Locatello, Francesco, et al. “Competitive Training of Mixtures of Independent Deep Generative Models.” ArXiv, 1804.11130, doi:10.48550/arXiv.1804.11130.","short":"F. Locatello, D. Vincent, I. Tolstikhin, G. Rätsch, S. Gelly, B. Schölkopf, ArXiv (n.d.).","chicago":"Locatello, Francesco, Damien Vincent, Ilya Tolstikhin, Gunnar Rätsch, Sylvain Gelly, and Bernhard Schölkopf. “Competitive Training of Mixtures of Independent Deep Generative Models.” ArXiv, n.d. https://doi.org/10.48550/arXiv.1804.11130."},"external_id":{"arxiv":["1804.11130"]},"oa":1,"main_file_link":[{"open_access":"1","url":"https://doi.org/10.48550/arXiv.1804.11130"}],"extern":"1","abstract":[{"lang":"eng","text":"A common assumption in causal modeling posits that the data is generated by a\r\nset of independent mechanisms, and algorithms should aim to recover this\r\nstructure. Standard unsupervised learning, however, is often concerned with\r\ntraining a single model to capture the overall distribution or aspects thereof.\r\nInspired by clustering approaches, we consider mixtures of implicit generative\r\nmodels that ``disentangle'' the independent generative mechanisms underlying\r\nthe data. Relying on an additional set of discriminators, we propose a\r\ncompetitive training procedure in which the models only need to capture the\r\nportion of the data distribution from which they can produce realistic samples.\r\nAs a by-product, each model is simpler and faster to train. We empirically show\r\nthat our approach splits the training distribution in a sensible way and\r\nincreases the quality of the generated samples."}],"article_number":"1804.11130","type":"preprint","date_updated":"2023-09-13T12:23:03Z","date_created":"2023-09-13T12:20:49Z","oa_version":"Preprint","author":[{"orcid":"0000-0002-4850-0683","id":"26cfd52f-2483-11ee-8040-88983bcc06d4","last_name":"Locatello","first_name":"Francesco","full_name":"Locatello, Francesco"},{"last_name":"Vincent","first_name":"Damien","full_name":"Vincent, Damien"},{"full_name":"Tolstikhin, Ilya","first_name":"Ilya","last_name":"Tolstikhin"},{"full_name":"Rätsch, Gunnar","last_name":"Rätsch","first_name":"Gunnar"},{"full_name":"Gelly, Sylvain","first_name":"Sylvain","last_name":"Gelly"},{"full_name":"Schölkopf, Bernhard","last_name":"Schölkopf","first_name":"Bernhard"}],"status":"public","title":"Competitive training of mixtures of independent deep generative models","publication_status":"submitted","department":[{"_id":"FrLo"}],"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","_id":"14327","year":"2018"},{"type":"journal_article","abstract":[{"text":"We consider the two-dimensional BCS functional with a radial pair interaction. We show that the translational symmetry is not broken in a certain temperature interval below the critical temperature. In the case of vanishing angular momentum, our results carry over to the three-dimensional case.","lang":"eng"}],"issue":"5","status":"public","ddc":["510"],"title":"Persistence of translational symmetry in the BCS model with radial pair interaction","intvolume":" 19","_id":"400","user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","file":[{"file_name":"IST-2018-1011-v1+1_2018_Deuchert_Persistence.pdf","access_level":"open_access","content_type":"application/pdf","file_size":582680,"creator":"system","relation":"main_file","file_id":"4966","date_updated":"2020-07-14T12:46:22Z","date_created":"2018-12-12T10:12:47Z","checksum":"04d2c9bd7cbf3ca1d7acaaf4e7dca3e5"}],"oa_version":"Published Version","pubrep_id":"1011","scopus_import":"1","day":"01","has_accepted_license":"1","article_processing_charge":"Yes (via OA deal)","page":"1507 - 1527","publication":"Annales Henri Poincare","citation":{"ista":"Deuchert A, Geisinge A, Hainzl C, Loss M. 2018. Persistence of translational symmetry in the BCS model with radial pair interaction. Annales Henri Poincare. 19(5), 1507–1527.","apa":"Deuchert, A., Geisinge, A., Hainzl, C., & Loss, M. (2018). Persistence of translational symmetry in the BCS model with radial pair interaction. Annales Henri Poincare. Springer. https://doi.org/10.1007/s00023-018-0665-7","ieee":"A. Deuchert, A. Geisinge, C. Hainzl, and M. Loss, “Persistence of translational symmetry in the BCS model with radial pair interaction,” Annales Henri Poincare, vol. 19, no. 5. Springer, pp. 1507–1527, 2018.","ama":"Deuchert A, Geisinge A, Hainzl C, Loss M. Persistence of translational symmetry in the BCS model with radial pair interaction. Annales Henri Poincare. 2018;19(5):1507-1527. doi:10.1007/s00023-018-0665-7","chicago":"Deuchert, Andreas, Alissa Geisinge, Christian Hainzl, and Michael Loss. “Persistence of Translational Symmetry in the BCS Model with Radial Pair Interaction.” Annales Henri Poincare. Springer, 2018. https://doi.org/10.1007/s00023-018-0665-7.","mla":"Deuchert, Andreas, et al. “Persistence of Translational Symmetry in the BCS Model with Radial Pair Interaction.” Annales Henri Poincare, vol. 19, no. 5, Springer, 2018, pp. 1507–27, doi:10.1007/s00023-018-0665-7.","short":"A. Deuchert, A. Geisinge, C. Hainzl, M. Loss, Annales Henri Poincare 19 (2018) 1507–1527."},"date_published":"2018-05-01T00:00:00Z","file_date_updated":"2020-07-14T12:46:22Z","publist_id":"7429","ec_funded":1,"publication_status":"published","publisher":"Springer","department":[{"_id":"RoSe"}],"year":"2018","date_updated":"2023-09-15T12:04:15Z","date_created":"2018-12-11T11:46:15Z","volume":19,"author":[{"full_name":"Deuchert, Andreas","last_name":"Deuchert","first_name":"Andreas","orcid":"0000-0003-3146-6746","id":"4DA65CD0-F248-11E8-B48F-1D18A9856A87"},{"last_name":"Geisinge","first_name":"Alissa","full_name":"Geisinge, Alissa"},{"full_name":"Hainzl, Christian","last_name":"Hainzl","first_name":"Christian"},{"full_name":"Loss, Michael","last_name":"Loss","first_name":"Michael"}],"month":"05","isi":1,"quality_controlled":"1","project":[{"_id":"25C6DC12-B435-11E9-9278-68D0E5697425","grant_number":"694227","name":"Analysis of quantum many-body systems","call_identifier":"H2020"},{"name":"IST Austria Open Access Fund","_id":"B67AFEDC-15C9-11EA-A837-991A96BB2854"}],"oa":1,"tmp":{"name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","short":"CC BY (4.0)","image":"/images/cc_by.png"},"external_id":{"isi":["000429799900008"]},"language":[{"iso":"eng"}],"doi":"10.1007/s00023-018-0665-7"},{"publist_id":"7423","file_date_updated":"2020-07-14T12:46:22Z","related_material":{"record":[{"relation":"research_data","status":"public","id":"9831"}]},"author":[{"full_name":"Bod’Ová, Katarína","last_name":"Bod’Ová","first_name":"Katarína"},{"full_name":"Mitchell, Gabriel","id":"315BCD80-F248-11E8-B48F-1D18A9856A87","first_name":"Gabriel","last_name":"Mitchell"},{"first_name":"Roy","last_name":"Harpaz","full_name":"Harpaz, Roy"},{"full_name":"Schneidman, Elad","first_name":"Elad","last_name":"Schneidman"},{"first_name":"Gasper","last_name":"Tkacik","id":"3D494DCA-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-6699-1455","full_name":"Tkacik, Gasper"}],"volume":13,"date_created":"2018-12-11T11:46:18Z","date_updated":"2023-09-15T12:06:19Z","acknowledgement":"This work was supported by the Human Frontier Science Program RGP0065/2012 (GT, ES).","year":"2018","publisher":"Public Library of Science","department":[{"_id":"GaTk"}],"publication_status":"published","month":"03","doi":"10.1371/journal.pone.0193049","language":[{"iso":"eng"}],"tmp":{"name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","short":"CC BY (4.0)","image":"/images/cc_by.png"},"external_id":{"isi":["000426896800032"]},"oa":1,"project":[{"grant_number":"RGP0065/2012","_id":"255008E4-B435-11E9-9278-68D0E5697425","name":"Information processing and computation in fish groups"}],"quality_controlled":"1","isi":1,"issue":"3","abstract":[{"lang":"eng","text":"Recent developments in automated tracking allow uninterrupted, high-resolution recording of animal trajectories, sometimes coupled with the identification of stereotyped changes of body pose or other behaviors of interest. Analysis and interpretation of such data represents a challenge: the timing of animal behaviors may be stochastic and modulated by kinematic variables, by the interaction with the environment or with the conspecifics within the animal group, and dependent on internal cognitive or behavioral state of the individual. Existing models for collective motion typically fail to incorporate the discrete, stochastic, and internal-state-dependent aspects of behavior, while models focusing on individual animal behavior typically ignore the spatial aspects of the problem. Here we propose a probabilistic modeling framework to address this gap. Each animal can switch stochastically between different behavioral states, with each state resulting in a possibly different law of motion through space. Switching rates for behavioral transitions can depend in a very general way, which we seek to identify from data, on the effects of the environment as well as the interaction between the animals. We represent the switching dynamics as a Generalized Linear Model and show that: (i) forward simulation of multiple interacting animals is possible using a variant of the Gillespie’s Stochastic Simulation Algorithm; (ii) formulated properly, the maximum likelihood inference of switching rate functions is tractably solvable by gradient descent; (iii) model selection can be used to identify factors that modulate behavioral state switching and to appropriately adjust model complexity to data. To illustrate our framework, we apply it to two synthetic models of animal motion and to real zebrafish tracking data. "}],"type":"journal_article","pubrep_id":"995","oa_version":"Submitted Version","file":[{"checksum":"684229493db75b43e98a46cd922da497","date_created":"2018-12-12T10:15:43Z","date_updated":"2020-07-14T12:46:22Z","file_id":"5165","relation":"main_file","creator":"system","file_size":6887358,"content_type":"application/pdf","access_level":"open_access","file_name":"IST-2018-995-v1+1_2018_Bodova_Probabilistic.pdf"}],"user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","_id":"406","intvolume":" 13","ddc":["530","571"],"title":"Probabilistic models of individual and collective animal behavior","status":"public","has_accepted_license":"1","article_processing_charge":"Yes","day":"07","scopus_import":"1","date_published":"2018-03-07T00:00:00Z","citation":{"mla":"Bod’Ová, Katarína, et al. “Probabilistic Models of Individual and Collective Animal Behavior.” PLoS One, vol. 13, no. 3, Public Library of Science, 2018, doi:10.1371/journal.pone.0193049.","short":"K. Bod’Ová, G. Mitchell, R. Harpaz, E. Schneidman, G. Tkačik, PLoS One 13 (2018).","chicago":"Bod’Ová, Katarína, Gabriel Mitchell, Roy Harpaz, Elad Schneidman, and Gašper Tkačik. “Probabilistic Models of Individual and Collective Animal Behavior.” PLoS One. Public Library of Science, 2018. https://doi.org/10.1371/journal.pone.0193049.","ama":"Bod’Ová K, Mitchell G, Harpaz R, Schneidman E, Tkačik G. Probabilistic models of individual and collective animal behavior. PLoS One. 2018;13(3). doi:10.1371/journal.pone.0193049","ista":"Bod’Ová K, Mitchell G, Harpaz R, Schneidman E, Tkačik G. 2018. Probabilistic models of individual and collective animal behavior. PLoS One. 13(3).","ieee":"K. Bod’Ová, G. Mitchell, R. Harpaz, E. Schneidman, and G. Tkačik, “Probabilistic models of individual and collective animal behavior,” PLoS One, vol. 13, no. 3. Public Library of Science, 2018.","apa":"Bod’Ová, K., Mitchell, G., Harpaz, R., Schneidman, E., & Tkačik, G. (2018). Probabilistic models of individual and collective animal behavior. PLoS One. Public Library of Science. https://doi.org/10.1371/journal.pone.0193049"},"publication":"PLoS One"},{"month":"10","doi":"10.1016/j.cub.2018.08.063","language":[{"iso":"eng"}],"main_file_link":[{"open_access":"1","url":"https://doi.org/10.1016/j.cub.2018.08.063"}],"oa":1,"external_id":{"isi":["000446693400008"]},"quality_controlled":"1","isi":1,"publist_id":"7999","author":[{"full_name":"Pull, Christopher","orcid":"0000-0003-1122-3982","id":"3C7F4840-F248-11E8-B48F-1D18A9856A87","last_name":"Pull","first_name":"Christopher"},{"last_name":"Metzler","first_name":"Sina","orcid":"0000-0002-9547-2494","id":"48204546-F248-11E8-B48F-1D18A9856A87","full_name":"Metzler, Sina"},{"last_name":"Naderlinger","first_name":"Elisabeth","id":"31757262-F248-11E8-B48F-1D18A9856A87","full_name":"Naderlinger, Elisabeth"},{"first_name":"Sylvia","last_name":"Cremer","id":"2F64EC8C-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-2193-3868","full_name":"Cremer, Sylvia"}],"volume":28,"date_created":"2018-12-11T11:44:23Z","date_updated":"2023-09-15T12:06:46Z","year":"2018","department":[{"_id":"SyCr"}],"publisher":"Cell Press","publication_status":"published","article_processing_charge":"No","day":"08","scopus_import":"1","date_published":"2018-10-08T00:00:00Z","citation":{"mla":"Pull, Christopher, et al. “Protection against the Lethal Side Effects of Social Immunity in Ants.” Current Biology, vol. 28, no. 19, Cell Press, 2018, pp. R1139–40, doi:10.1016/j.cub.2018.08.063.","short":"C. Pull, S. Metzler, E. Naderlinger, S. Cremer, Current Biology 28 (2018) R1139–R1140.","chicago":"Pull, Christopher, Sina Metzler, Elisabeth Naderlinger, and Sylvia Cremer. “Protection against the Lethal Side Effects of Social Immunity in Ants.” Current Biology. Cell Press, 2018. https://doi.org/10.1016/j.cub.2018.08.063.","ama":"Pull C, Metzler S, Naderlinger E, Cremer S. Protection against the lethal side effects of social immunity in ants. Current Biology. 2018;28(19):R1139-R1140. doi:10.1016/j.cub.2018.08.063","ista":"Pull C, Metzler S, Naderlinger E, Cremer S. 2018. Protection against the lethal side effects of social immunity in ants. Current Biology. 28(19), R1139–R1140.","apa":"Pull, C., Metzler, S., Naderlinger, E., & Cremer, S. (2018). Protection against the lethal side effects of social immunity in ants. Current Biology. Cell Press. https://doi.org/10.1016/j.cub.2018.08.063","ieee":"C. Pull, S. Metzler, E. Naderlinger, and S. Cremer, “Protection against the lethal side effects of social immunity in ants,” Current Biology, vol. 28, no. 19. Cell Press, pp. R1139–R1140, 2018."},"publication":"Current Biology","page":"R1139 - R1140","article_type":"original","issue":"19","abstract":[{"text":"Many animals use antimicrobials to prevent or cure disease [1,2]. For example, some animals will ingest plants with medicinal properties, both prophylactically to prevent infection and therapeutically to self-medicate when sick. Antimicrobial substances are also used as topical disinfectants, to prevent infection, protect offspring and to sanitise their surroundings [1,2]. Social insects (ants, bees, wasps and termites) build nests in environments with a high abundance and diversity of pathogenic microorganisms — such as soil and rotting wood — and colonies are often densely crowded, creating conditions that favour disease outbreaks. Consequently, social insects have evolved collective disease defences to protect their colonies from epidemics. These traits can be seen as functionally analogous to the immune system of individual organisms [3,4]. This ‘social immunity’ utilises antimicrobials to prevent and eradicate infections, and to keep the brood and nest clean. However, these antimicrobial compounds can be harmful to the insects themselves, and it is unknown how colonies prevent collateral damage when using them. Here, we demonstrate that antimicrobial acids, produced by workers to disinfect the colony, are harmful to the delicate pupal brood stage, but that the pupae are protected from the acids by the presence of a silk cocoon. Garden ants spray their nests with an antimicrobial poison to sanitize contaminated nestmates and brood. Here, Pull et al show that they also prophylactically sanitise their colonies, and that the silk cocoon serves as a barrier to protect developing pupae, thus preventing collateral damage during nest sanitation.","lang":"eng"}],"type":"journal_article","oa_version":"Published Version","_id":"55","user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","intvolume":" 28","title":"Protection against the lethal side effects of social immunity in ants","status":"public"}]