[{"license":"https://creativecommons.org/licenses/by/4.0/","file":[{"file_size":2153858,"creator":"system","checksum":"dc1f5a475b918d09a0f9f587400b1626","file_id":"4764","date_created":"2018-12-12T10:09:40Z","date_updated":"2020-07-14T12:48:16Z","relation":"main_file","access_level":"open_access","content_type":"application/pdf","file_name":"IST-2017-830-v1+1_2017_Hansen_CellPolarity.pdf"}],"volume":11,"project":[{"_id":"25D61E48-B435-11E9-9278-68D0E5697425","grant_number":"618444","name":"Molecular Mechanisms of Cerebral Cortex Development","call_identifier":"FP7"},{"grant_number":"RGP0053/2014","name":"Quantitative Structure-Function Analysis of Cerebral Cortex Assembly at Clonal Level","_id":"25D7962E-B435-11E9-9278-68D0E5697425"},{"_id":"25681D80-B435-11E9-9278-68D0E5697425","call_identifier":"FP7","grant_number":"291734","name":"International IST Postdoc Fellowship Programme"},{"_id":"25985A36-B435-11E9-9278-68D0E5697425","call_identifier":"FWF","grant_number":"T00817-B21","name":"The biochemical basis of PAR polarization"}],"file_date_updated":"2020-07-14T12:48:16Z","oa":1,"publication_status":"published","has_accepted_license":"1","publisher":"Frontiers Research Foundation","intvolume":"        11","ec_funded":1,"scopus_import":"1","isi":1,"quality_controlled":"1","doi":"10.3389/fncel.2017.00176","citation":{"apa":"Hansen, A. H., Düllberg, C. F., Mieck, C., Loose, M., &#38; Hippenmeyer, S. (2017). Cell polarity in cerebral cortex development - cellular architecture shaped by biochemical networks. <i>Frontiers in Cellular Neuroscience</i>. Frontiers Research Foundation. <a href=\"https://doi.org/10.3389/fncel.2017.00176\">https://doi.org/10.3389/fncel.2017.00176</a>","ama":"Hansen AH, Düllberg CF, Mieck C, Loose M, Hippenmeyer S. Cell polarity in cerebral cortex development - cellular architecture shaped by biochemical networks. <i>Frontiers in Cellular Neuroscience</i>. 2017;11. doi:<a href=\"https://doi.org/10.3389/fncel.2017.00176\">10.3389/fncel.2017.00176</a>","ista":"Hansen AH, Düllberg CF, Mieck C, Loose M, Hippenmeyer S. 2017. Cell polarity in cerebral cortex development - cellular architecture shaped by biochemical networks. Frontiers in Cellular Neuroscience. 11, 176.","ieee":"A. H. Hansen, C. F. Düllberg, C. Mieck, M. Loose, and S. Hippenmeyer, “Cell polarity in cerebral cortex development - cellular architecture shaped by biochemical networks,” <i>Frontiers in Cellular Neuroscience</i>, vol. 11. Frontiers Research Foundation, 2017.","short":"A.H. Hansen, C.F. Düllberg, C. Mieck, M. Loose, S. Hippenmeyer, Frontiers in Cellular Neuroscience 11 (2017).","mla":"Hansen, Andi H., et al. “Cell Polarity in Cerebral Cortex Development - Cellular Architecture Shaped by Biochemical Networks.” <i>Frontiers in Cellular Neuroscience</i>, vol. 11, 176, Frontiers Research Foundation, 2017, doi:<a href=\"https://doi.org/10.3389/fncel.2017.00176\">10.3389/fncel.2017.00176</a>.","chicago":"Hansen, Andi H, Christian F Düllberg, Christine Mieck, Martin Loose, and Simon Hippenmeyer. “Cell Polarity in Cerebral Cortex Development - Cellular Architecture Shaped by Biochemical Networks.” <i>Frontiers in Cellular Neuroscience</i>. Frontiers Research Foundation, 2017. <a href=\"https://doi.org/10.3389/fncel.2017.00176\">https://doi.org/10.3389/fncel.2017.00176</a>."},"month":"06","date_created":"2018-12-11T11:49:25Z","status":"public","abstract":[{"lang":"eng","text":"The human cerebral cortex is the seat of our cognitive abilities and composed of an extraordinary number of neurons, organized in six distinct layers. The establishment of specific morphological and physiological features in individual neurons needs to be regulated with high precision. Impairments in the sequential developmental programs instructing corticogenesis lead to alterations in the cortical cytoarchitecture which is thought to represent the major underlying cause for several neurological disorders including neurodevelopmental and psychiatric diseases. In this review we discuss the role of cell polarity at sequential stages during cortex development. We first provide an overview of morphological cell polarity features in cortical neural stem cells and newly-born postmitotic neurons. We then synthesize a conceptual molecular and biochemical framework how cell polarity is established at the cellular level through a break in symmetry in nascent cortical projection neurons. Lastly we provide a perspective how the molecular mechanisms applying to single cells could be probed and integrated in an in vivo and tissue-wide context."}],"publication":"Frontiers in Cellular Neuroscience","author":[{"last_name":"Hansen","first_name":"Andi H","id":"38853E16-F248-11E8-B48F-1D18A9856A87","full_name":"Hansen, Andi H"},{"first_name":"Christian F","id":"459064DC-F248-11E8-B48F-1D18A9856A87","full_name":"Düllberg, Christian F","last_name":"Düllberg","orcid":"0000-0001-6335-9748"},{"id":"34CAE85C-F248-11E8-B48F-1D18A9856A87","first_name":"Christine","full_name":"Mieck, Christine","last_name":"Mieck","orcid":"0000-0003-1919-7416"},{"first_name":"Martin","id":"462D4284-F248-11E8-B48F-1D18A9856A87","full_name":"Loose, Martin","last_name":"Loose","orcid":"0000-0001-7309-9724"},{"full_name":"Hippenmeyer, Simon","id":"37B36620-F248-11E8-B48F-1D18A9856A87","first_name":"Simon","orcid":"0000-0003-2279-1061","last_name":"Hippenmeyer"}],"date_published":"2017-06-28T00:00:00Z","user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","publist_id":"6445","_id":"960","day":"28","tmp":{"legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","image":"/images/cc_by.png","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","short":"CC BY (4.0)"},"language":[{"iso":"eng"}],"date_updated":"2024-03-25T23:30:23Z","article_number":"176","department":[{"_id":"SiHi"},{"_id":"MaLo"}],"article_processing_charge":"Yes","related_material":{"record":[{"status":"public","id":"9962","relation":"dissertation_contains"}]},"title":"Cell polarity in cerebral cortex development - cellular architecture shaped by biochemical networks","external_id":{"isi":["000404486700001"]},"publication_identifier":{"issn":["16625102"]},"year":"2017","ddc":["570"],"oa_version":"Published Version","pubrep_id":"830","type":"journal_article"},{"date_updated":"2023-09-27T14:16:45Z","language":[{"iso":"eng"}],"supervisor":[{"last_name":"Heisenberg","orcid":"0000-0002-0912-4566","first_name":"Carl-Philipp J","id":"39427864-F248-11E8-B48F-1D18A9856A87","full_name":"Heisenberg, Carl-Philipp J"}],"department":[{"_id":"CaHe"}],"related_material":{"record":[{"relation":"part_of_dissertation","id":"1100","status":"public"},{"status":"public","id":"1537","relation":"part_of_dissertation"},{"relation":"part_of_dissertation","id":"1912","status":"public"},{"status":"public","id":"2926","relation":"part_of_dissertation"},{"status":"public","id":"3246","relation":"part_of_dissertation"},{"relation":"part_of_dissertation","id":"676","status":"public"},{"status":"public","id":"735","relation":"part_of_dissertation"}]},"article_processing_charge":"No","title":"Cell adhesion and cell fate: An effective feedback loop during zebrafish gastrulation","year":"2017","publication_identifier":{"issn":["2663-337X"]},"pubrep_id":"825","page":"109","type":"dissertation","ddc":["570","590"],"oa_version":"Published Version","degree_awarded":"PhD","file_date_updated":"2020-07-14T12:48:16Z","oa":1,"file":[{"file_size":14497822,"creator":"dernst","checksum":"242f88c87f2cf267bf05049fa26a687b","file_id":"6205","date_created":"2019-04-05T08:36:52Z","access_level":"closed","date_updated":"2020-07-14T12:48:16Z","relation":"source_file","content_type":"application/vnd.openxmlformats-officedocument.wordprocessingml.document","file_name":"2017_Barone_thesis_final.docx"},{"file_name":"2017_Barone_thesis_.pdf","content_type":"application/pdf","relation":"main_file","access_level":"open_access","date_updated":"2020-07-14T12:48:16Z","date_created":"2019-04-05T08:36:52Z","checksum":"ba5b0613ed8bade73a409acdd880fb8a","file_id":"6206","file_size":14995941,"creator":"dernst"}],"has_accepted_license":"1","publication_status":"published","publisher":"Institute of Science and Technology Austria","alternative_title":["ISTA Thesis"],"status":"public","citation":{"apa":"Barone, V. (2017). <i>Cell adhesion and cell fate: An effective feedback loop during zebrafish gastrulation</i>. Institute of Science and Technology Austria. <a href=\"https://doi.org/10.15479/AT:ISTA:th_825\">https://doi.org/10.15479/AT:ISTA:th_825</a>","ama":"Barone V. Cell adhesion and cell fate: An effective feedback loop during zebrafish gastrulation. 2017. doi:<a href=\"https://doi.org/10.15479/AT:ISTA:th_825\">10.15479/AT:ISTA:th_825</a>","ista":"Barone V. 2017. Cell adhesion and cell fate: An effective feedback loop during zebrafish gastrulation. Institute of Science and Technology Austria.","short":"V. Barone, Cell Adhesion and Cell Fate: An Effective Feedback Loop during Zebrafish Gastrulation, Institute of Science and Technology Austria, 2017.","ieee":"V. Barone, “Cell adhesion and cell fate: An effective feedback loop during zebrafish gastrulation,” Institute of Science and Technology Austria, 2017.","chicago":"Barone, Vanessa. “Cell Adhesion and Cell Fate: An Effective Feedback Loop during Zebrafish Gastrulation.” Institute of Science and Technology Austria, 2017. <a href=\"https://doi.org/10.15479/AT:ISTA:th_825\">https://doi.org/10.15479/AT:ISTA:th_825</a>.","mla":"Barone, Vanessa. <i>Cell Adhesion and Cell Fate: An Effective Feedback Loop during Zebrafish Gastrulation</i>. Institute of Science and Technology Austria, 2017, doi:<a href=\"https://doi.org/10.15479/AT:ISTA:th_825\">10.15479/AT:ISTA:th_825</a>."},"doi":"10.15479/AT:ISTA:th_825","month":"03","date_created":"2018-12-11T11:49:25Z","tmp":{"legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","image":"/images/cc_by.png","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","short":"CC BY (4.0)"},"day":"01","publist_id":"6444","_id":"961","acknowledgement":"Many people accompanied me during this trip: I would not have reached my destination nor \r\nenjoyed the travelling without them. First of all, thanks to CP. Thanks for making me part of \r\nyour team, always full of diverse, interesting and incredibly competent people and thanks for \r\nall  the  good  science  I  witnessed  and  participated  in.  It  has  been  a \r\nblast,  an  incredibly \r\nexciting  one!  Thanks  to  JLo,  for  teaching  me  how  to  master  my  pipettes  and  showing  me \r\nthat science is a lot of fun. Many, many thanks to Gabby for teaching me basically everything \r\nabout  zebrafish  and  being  always  there  to  advice,  sugge\r\nst,  support...and  play  fussball! \r\nThank you to Julien, for the critical eye on things, Pedro, for all the invaluable feedback and \r\nthe amazing kicker matches, and Keisuke, for showing me the light, and to the three of them \r\ntogether  for  all  the  good  laughs  we\r\nhad.  My  start  in  Vienna  would  have  been  a  lot  more \r\ndifficult  without  you  guys.  Also  it  would  not  have  been  possible  without  Elena  and  Inês: \r\nthanks  for  helping  setting  up  this  lab  and  for  the  dinners  in  Gugging.  Thanks  to  Martin,  for \r\nhelping  me  understand \r\nthe  physics  behind  biology.  Thanks  to  Philipp,  for  the  interest  and \r\nadvice, and to Michael, for the Viennise take on things. Thanks to Julia, for putting up with \r\nbeing our technician and becoming a friend in the process. And now to the newest members \r\nof th\r\ne lab. Thanks to Daniel for the enthusiasm and the neverending energy and for all your \r\nhelp over the years: thank you! To Jana, for showing me that one doesn’t give up, no matter \r\nwhat.  To  Shayan,  for  being  such  a  motivated  student.  To  Matt,  for  helping  out\r\nwith  coding \r\nand for finding punk solutions to data analysis problems. Thanks to all the members of the \r\nlab, Verena, Hitoshi, Silvia, Conny, Karla, Nicoletta, Zoltan, Peng, Benoit, Roland, Yuuta and \r\nFeyza,  for  the  wonderful  atmosphere  in  the  lab.  Many  than\r\nks  to  Koni  and  Deborah:  doing \r\nexperiments would have been much more difficult without your help. Special thanks to Katjia \r\nfor  setting  up  an  amazing  imaging  facility  and  for  building  the  best  team,  Robert,  Nasser, \r\nAnna and Doreen: thank you for putting up w\r\nith all the late sortings and for helping with all \r\nthe technical problems. Thanks to Eva, Verena and Matthias for keeping the fish happy. Big \r\nthanks to Harald Janovjak for being a present and helpful committee member over the years \r\nand  to  Patrick  Lemaire  f\r\nor  the  helpful  insight  and  extremely  interesting  discussion  we  had \r\nabout  the  project.  Also,  this  journey  would  not  have  been  the  same  without  all  the  friends \r\nthat I met in Dresden and then in Vienna: Daniele, Claire, Kuba, Steffi, Harold, Dejan, Irene, \r\nFab\r\nienne, Hande, Tiago, Marianne, Jon, Srdjan, Branca, Uli, Murat, Alex, Conny, Christoph, \r\nCaro, Simone, Barbara, Felipe, Dama, Jose, Hubert and many others that filled my days with \r\nfun and support. A special thank to my family, always close even if they are \r\nkilometers away. \r\nGrazie  ai  miei  fratelli,  Nunzio  e  William,  e  alla  mia  mamma,  per  essermi  sempre  vicini  pur \r\nvivendo a chilometri di distanza. And, last but not least, thanks to Moritz, for putting up with \r\nthe crazy life of a scientist, the living apart for\r\nso long, never knowing when things are going \r\nto happen. Thanks for being a great partner and my number one fan!","abstract":[{"text":"Cell-cell  contact  formation  constitutes  the  first  step  in  the  emergence  of  multicellularity  in evolution, thereby  allowing  the  differentiation  of  specialized  cell  types.  In  metazoan development, cell-cell contact formation is thought to influence cell fate specification, and cell   fate   specification   has   been   implicated   in   cell-cell  contact formation.   However, remarkably little is yet known about whether and how the interaction and feedback between cell-cell contact formation and cell fate specification affect development. Here we identify a positive  feedback  loop  between  cell-cell  contact  duration,  morphogen  signaling  and mesendoderm  cell  fate  specification  during  zebrafish  gastrulation.  We  show  that  long lasting cell-cell contacts enhance the competence of prechordal plate (ppl) progenitor cells to  respond  to  Nodal  signaling,  required  for  proper  ppl  cell  fate  specification.  We  further show  that  Nodal  signalling  romotes  ppl  cell-cell  contact  duration,  thereby  generating  an effective  positive  feedback  loop  between  ppl  cell-cell  contact  duration  and  cell  fate specification. Finally, by using a combination of theoretical modeling and experimentation, we  show  that  this  feedback  loop  determines  whether  anterior  axial  mesendoderm  cells become  ppl  progenitors  or,  instead,  turn  into  endoderm  progenitors.  Our  findings  reveal that  the  gene  regulatory  networks  leading  to  cell  fate  diversification  within  the  developing embryo  are  controlled  by  the  interdependent  activities  of  cell-cell  signaling  and  contact formation.","lang":"eng"}],"user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","author":[{"full_name":"Barone, Vanessa","id":"419EECCC-F248-11E8-B48F-1D18A9856A87","first_name":"Vanessa","orcid":"0000-0003-2676-3367","last_name":"Barone"}],"date_published":"2017-03-01T00:00:00Z"},{"citation":{"ama":"Trinh M, Chu DH, Jaffar J. Model counting for recursively-defined strings. In: Majumdar R, Kunčak V, eds. Vol 10427. Springer; 2017:399-418. doi:<a href=\"https://doi.org/10.1007/978-3-319-63390-9_21\">10.1007/978-3-319-63390-9_21</a>","apa":"Trinh, M., Chu, D. H., &#38; Jaffar, J. (2017). Model counting for recursively-defined strings. In R. Majumdar &#38; V. Kunčak (Eds.) (Vol. 10427, pp. 399–418). Presented at the CAV: Computer Aided Verification, Heidelberg, Germany: Springer. <a href=\"https://doi.org/10.1007/978-3-319-63390-9_21\">https://doi.org/10.1007/978-3-319-63390-9_21</a>","ista":"Trinh M, Chu DH, Jaffar J. 2017. Model counting for recursively-defined strings. CAV: Computer Aided Verification, LNCS, vol. 10427, 399–418.","short":"M. Trinh, D.H. Chu, J. Jaffar, in:, R. Majumdar, V. Kunčak (Eds.), Springer, 2017, pp. 399–418.","ieee":"M. Trinh, D. H. Chu, and J. Jaffar, “Model counting for recursively-defined strings,” presented at the CAV: Computer Aided Verification, Heidelberg, Germany, 2017, vol. 10427, pp. 399–418.","mla":"Trinh, Minh, et al. <i>Model Counting for Recursively-Defined Strings</i>. Edited by Rupak Majumdar and Viktor Kunčak, vol. 10427, Springer, 2017, pp. 399–418, doi:<a href=\"https://doi.org/10.1007/978-3-319-63390-9_21\">10.1007/978-3-319-63390-9_21</a>.","chicago":"Trinh, Minh, Duc Hiep Chu, and Joxan Jaffar. “Model Counting for Recursively-Defined Strings.” edited by Rupak Majumdar and Viktor Kunčak, 10427:399–418. Springer, 2017. <a href=\"https://doi.org/10.1007/978-3-319-63390-9_21\">https://doi.org/10.1007/978-3-319-63390-9_21</a>."},"doi":"10.1007/978-3-319-63390-9_21","month":"01","date_created":"2018-12-11T11:49:26Z","editor":[{"full_name":"Majumdar, Rupak","first_name":"Rupak","last_name":"Majumdar"},{"last_name":"Kunčak","first_name":"Viktor","full_name":"Kunčak, Viktor"}],"alternative_title":["LNCS"],"status":"public","abstract":[{"text":"We present a new algorithm for model counting of a class of string constraints. In addition to the classic operation of concatenation, our class includes some recursively defined operations such as Kleene closure, and replacement of substrings. Additionally, our class also includes length constraints on the string expressions, which means, by requiring reasoning about numbers, that we face a multi-sorted logic. In the end, our string constraints are motivated by their use in programming for web applications. Our algorithm comprises two novel features: the ability to use a technique of (1) partial derivatives for constraints that are already in a solved form, i.e. a form where its (string) satisfiability is clearly displayed, and (2) non-progression, where cyclic reasoning in the reduction process may be terminated (thus allowing for the algorithm to look elsewhere). Finally, we experimentally compare our model counter with two recent works on model counting of similar constraints, SMC [18] and ABC [5], to demonstrate its superior performance.","lang":"eng"}],"user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","author":[{"full_name":"Trinh, Minh","first_name":"Minh","last_name":"Trinh"},{"last_name":"Chu","full_name":"Chu, Duc Hiep","id":"3598E630-F248-11E8-B48F-1D18A9856A87","first_name":"Duc Hiep"},{"last_name":"Jaffar","first_name":"Joxan","full_name":"Jaffar, Joxan"}],"date_published":"2017-01-01T00:00:00Z","day":"01","publist_id":"6443","_id":"962","volume":10427,"project":[{"_id":"25F5A88A-B435-11E9-9278-68D0E5697425","call_identifier":"FWF","name":"Moderne Concurrency Paradigms","grant_number":"S11402-N23"},{"grant_number":"Z211","name":"The Wittgenstein Prize","call_identifier":"FWF","_id":"25F42A32-B435-11E9-9278-68D0E5697425"}],"publication_status":"published","publisher":"Springer","intvolume":"     10427","scopus_import":"1","isi":1,"quality_controlled":"1","year":"2017","publication_identifier":{"issn":["03029743"]},"external_id":{"isi":["000431900900021"]},"oa_version":"None","page":"399 - 418","type":"conference","date_updated":"2023-09-22T09:58:02Z","language":[{"iso":"eng"}],"conference":{"location":"Heidelberg, Germany","end_date":"2017-07-28","name":"CAV: Computer Aided Verification","start_date":"2017-07-24"},"department":[{"_id":"ToHe"}],"article_processing_charge":"No","title":"Model counting for recursively-defined strings"},{"project":[{"name":"Moderne Concurrency Paradigms","grant_number":"S11402-N23","call_identifier":"FWF","_id":"25F5A88A-B435-11E9-9278-68D0E5697425"}],"oa":1,"file_date_updated":"2020-07-14T12:48:18Z","file":[{"content_type":"application/pdf","file_name":"IST-2017-829-v1+1_mfcs-cr.pdf","date_created":"2018-12-12T10:14:10Z","access_level":"open_access","relation":"main_file","date_updated":"2020-07-14T12:48:18Z","file_size":369730,"creator":"system","file_id":"5059","checksum":"f55eaf7f3c36ea07801112acfedd17d5"}],"volume":83,"scopus_import":1,"quality_controlled":"1","publication_status":"published","has_accepted_license":"1","publisher":"Schloss Dagstuhl - Leibniz-Zentrum für Informatik","intvolume":"        83","status":"public","alternative_title":["LIPIcs"],"doi":"10.4230/LIPIcs.MFCS.2017.37","citation":{"short":"G. Avni, S. Guha, O. Kupferman, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2017.","ieee":"G. Avni, S. Guha, and O. Kupferman, “Timed network games with clocks,” presented at the MFCS: Mathematical Foundations of Computer Science (SG), Aalborg, Denmark, 2017, vol. 83.","chicago":"Avni, Guy, Shibashis Guha, and Orna Kupferman. “Timed Network Games with Clocks,” Vol. 83. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2017. <a href=\"https://doi.org/10.4230/LIPIcs.MFCS.2017.37\">https://doi.org/10.4230/LIPIcs.MFCS.2017.37</a>.","mla":"Avni, Guy, et al. <i>Timed Network Games with Clocks</i>. Vol. 83, 37, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2017, doi:<a href=\"https://doi.org/10.4230/LIPIcs.MFCS.2017.37\">10.4230/LIPIcs.MFCS.2017.37</a>.","apa":"Avni, G., Guha, S., &#38; Kupferman, O. (2017). Timed network games with clocks (Vol. 83). Presented at the MFCS: Mathematical Foundations of Computer Science (SG), Aalborg, Denmark: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. <a href=\"https://doi.org/10.4230/LIPIcs.MFCS.2017.37\">https://doi.org/10.4230/LIPIcs.MFCS.2017.37</a>","ama":"Avni G, Guha S, Kupferman O. Timed network games with clocks. In: Vol 83. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2017. doi:<a href=\"https://doi.org/10.4230/LIPIcs.MFCS.2017.37\">10.4230/LIPIcs.MFCS.2017.37</a>","ista":"Avni G, Guha S, Kupferman O. 2017. Timed network games with clocks. MFCS: Mathematical Foundations of Computer Science (SG), LIPIcs, vol. 83, 37."},"date_created":"2018-12-11T11:49:26Z","month":"06","publist_id":"6438","_id":"963","day":"01","tmp":{"legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","image":"/images/cc_by.png","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","short":"CC BY (4.0)"},"abstract":[{"text":"Network games are widely used as a model for selfish resource-allocation problems. In the classical model, each player selects a path connecting her source and target vertex. The cost of traversing an edge depends on the number of players that traverse it. Thus, it abstracts the fact that different users may use a resource at different times and for different durations, which plays an important role in defining the costs of the users in reality. For example, when transmitting packets in a communication network, routing traffic in a road network, or processing a task in a production system, the traversal of the network involves an inherent delay, and so sharing and congestion of resources crucially depends on time. We study timed network games , which add a time component to network games. Each vertex v in the network is associated with a cost function, mapping the load on v to the price that a player pays for staying in v for one time unit with this load. In addition, each edge has a guard, describing time intervals in which the edge can be traversed, forcing the players to spend time on vertices. Unlike earlier work that add a time component to network games, the time in our model is continuous and cannot be discretized. In particular, players have uncountably many strategies, and a game may have uncountably many pure Nash equilibria. We study properties of timed network games with cost-sharing or congestion cost functions: their stability, equilibrium inefficiency, and complexity. In particular, we show that the answer to the question whether we can restrict attention to boundary strategies, namely ones in which edges are traversed only at the boundaries of guards, is mixed. ","lang":"eng"}],"date_published":"2017-06-01T00:00:00Z","author":[{"first_name":"Guy","id":"463C8BC2-F248-11E8-B48F-1D18A9856A87","full_name":"Avni, Guy","last_name":"Avni","orcid":"0000-0001-5588-8287"},{"full_name":"Guha, Shibashis","first_name":"Shibashis","last_name":"Guha"},{"first_name":"Orna","full_name":"Kupferman, Orna","last_name":"Kupferman"}],"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","conference":{"location":"Aalborg, Denmark","end_date":"2017-08-25","name":"MFCS: Mathematical Foundations of Computer Science (SG)","start_date":"2017-08-21"},"language":[{"iso":"eng"}],"date_updated":"2023-02-23T12:35:50Z","department":[{"_id":"ToHe"}],"related_material":{"record":[{"status":"public","relation":"later_version","id":"6005"}]},"title":"Timed network games with clocks","article_number":"37","year":"2017","publication_identifier":{"issn":["18688969"]},"pubrep_id":"829","type":"conference","ddc":["004"],"oa_version":"Published Version"},{"arxiv":1,"extern":"1","intvolume":"       147","publication_status":"published","publisher":"AIP Publishing","quality_controlled":"1","scopus_import":"1","volume":147,"oa":1,"user_id":"6785fbc1-c503-11eb-8a32-93094b40e1cf","author":[{"id":"cbe3cda4-d82c-11eb-8dc7-8ff94289fcc9","first_name":"Bingqing","full_name":"Cheng, Bingqing","last_name":"Cheng","orcid":"0000-0002-3584-9632"},{"first_name":"Gareth A.","full_name":"Tribello, Gareth A.","last_name":"Tribello"},{"last_name":"Ceriotti","first_name":"Michele","full_name":"Ceriotti, Michele"}],"date_published":"2017-09-14T00:00:00Z","issue":"10","publication":"The Journal of Chemical Physics","abstract":[{"text":"In this paper we discuss how the information contained in atomistic simulations of homogeneous nucleation should be used when fitting the parameters in macroscopic nucleation models. We show how the number of solid and liquid atoms in such simulations can be determined unambiguously by using a Gibbs dividing surface and how the free energy as a function of the number of solid atoms in the nucleus can thus be extracted. We then show that the parameters (the chemical potential, the interfacial free energy, and a Tolman correction) of a model based on classical nucleation theory can be fitted using the information contained in these free-energy profiles but that the parameters in such models are highly correlated. This correlation is unfortunate as it ensures that small errors in the computed free energy surface can give rise to large errors in the extrapolated properties of the fitted model. To resolve this problem we thus propose a method for fitting macroscopic nucleation models that uses simulations of planar interfaces and simulations of three-dimensional nuclei in tandem. We show that when the chemical potentials and the interface energy are pinned to their planar-interface values, more precise estimates for the Tolman length are obtained. Extrapolating the free energy profile obtained from small simulation boxes to larger nuclei is thus more reliable.","lang":"eng"}],"day":"14","_id":"9660","date_created":"2021-07-15T08:13:29Z","month":"09","citation":{"short":"B. Cheng, G.A. Tribello, M. Ceriotti, The Journal of Chemical Physics 147 (2017).","ieee":"B. Cheng, G. A. Tribello, and M. Ceriotti, “The Gibbs free energy of homogeneous nucleation: From atomistic nuclei to the planar limit,” <i>The Journal of Chemical Physics</i>, vol. 147, no. 10. AIP Publishing, 2017.","chicago":"Cheng, Bingqing, Gareth A. Tribello, and Michele Ceriotti. “The Gibbs Free Energy of Homogeneous Nucleation: From Atomistic Nuclei to the Planar Limit.” <i>The Journal of Chemical Physics</i>. AIP Publishing, 2017. <a href=\"https://doi.org/10.1063/1.4997180\">https://doi.org/10.1063/1.4997180</a>.","mla":"Cheng, Bingqing, et al. “The Gibbs Free Energy of Homogeneous Nucleation: From Atomistic Nuclei to the Planar Limit.” <i>The Journal of Chemical Physics</i>, vol. 147, no. 10, 104707, AIP Publishing, 2017, doi:<a href=\"https://doi.org/10.1063/1.4997180\">10.1063/1.4997180</a>.","apa":"Cheng, B., Tribello, G. A., &#38; Ceriotti, M. (2017). The Gibbs free energy of homogeneous nucleation: From atomistic nuclei to the planar limit. <i>The Journal of Chemical Physics</i>. AIP Publishing. <a href=\"https://doi.org/10.1063/1.4997180\">https://doi.org/10.1063/1.4997180</a>","ama":"Cheng B, Tribello GA, Ceriotti M. The Gibbs free energy of homogeneous nucleation: From atomistic nuclei to the planar limit. <i>The Journal of Chemical Physics</i>. 2017;147(10). doi:<a href=\"https://doi.org/10.1063/1.4997180\">10.1063/1.4997180</a>","ista":"Cheng B, Tribello GA, Ceriotti M. 2017. The Gibbs free energy of homogeneous nucleation: From atomistic nuclei to the planar limit. The Journal of Chemical Physics. 147(10), 104707."},"doi":"10.1063/1.4997180","status":"public","article_number":"104707","title":"The Gibbs free energy of homogeneous nucleation: From atomistic nuclei to the planar limit","main_file_link":[{"url":"https://pure.qub.ac.uk/en/publications/the-gibbs-free-energy-of-homogeneous-nucleation-from-atomistic-nuclei-to-the-planar-limit(4599cdb4-dcc4-4522-8763-7b2a165ebf12).html","open_access":"1"}],"article_processing_charge":"No","date_updated":"2023-02-23T14:04:02Z","language":[{"iso":"eng"}],"oa_version":"Submitted Version","type":"journal_article","year":"2017","publication_identifier":{"issn":["0021-9606"],"eissn":["1089-7690"]},"external_id":{"pmid":["28915742"],"arxiv":["1703.06062"]},"pmid":1,"article_type":"original"},{"pmid":1,"article_type":"original","publication_identifier":{"issn":["0021-9606"],"eissn":["1089-7690"]},"year":"2017","external_id":{"arxiv":["1610.01322"],"pmid":["28109231"]},"oa_version":"Preprint","type":"journal_article","date_updated":"2021-08-09T12:31:57Z","language":[{"iso":"eng"}],"article_number":"034106","article_processing_charge":"No","title":"Bridging the gap between atomistic and macroscopic models of homogeneous nucleation","main_file_link":[{"url":"https://arxiv.org/abs/1610.01322","open_access":"1"}],"doi":"10.1063/1.4973883","citation":{"mla":"Cheng, Bingqing, and Michele Ceriotti. “Bridging the Gap between Atomistic and Macroscopic Models of Homogeneous Nucleation.” <i>The Journal of Chemical Physics</i>, vol. 146, no. 3, 034106, AIP Publishing, 2017, doi:<a href=\"https://doi.org/10.1063/1.4973883\">10.1063/1.4973883</a>.","chicago":"Cheng, Bingqing, and Michele Ceriotti. “Bridging the Gap between Atomistic and Macroscopic Models of Homogeneous Nucleation.” <i>The Journal of Chemical Physics</i>. AIP Publishing, 2017. <a href=\"https://doi.org/10.1063/1.4973883\">https://doi.org/10.1063/1.4973883</a>.","ieee":"B. Cheng and M. Ceriotti, “Bridging the gap between atomistic and macroscopic models of homogeneous nucleation,” <i>The Journal of Chemical Physics</i>, vol. 146, no. 3. AIP Publishing, 2017.","short":"B. Cheng, M. Ceriotti, The Journal of Chemical Physics 146 (2017).","ista":"Cheng B, Ceriotti M. 2017. Bridging the gap between atomistic and macroscopic models of homogeneous nucleation. The Journal of Chemical Physics. 146(3), 034106.","ama":"Cheng B, Ceriotti M. Bridging the gap between atomistic and macroscopic models of homogeneous nucleation. <i>The Journal of Chemical Physics</i>. 2017;146(3). doi:<a href=\"https://doi.org/10.1063/1.4973883\">10.1063/1.4973883</a>","apa":"Cheng, B., &#38; Ceriotti, M. (2017). Bridging the gap between atomistic and macroscopic models of homogeneous nucleation. <i>The Journal of Chemical Physics</i>. AIP Publishing. <a href=\"https://doi.org/10.1063/1.4973883\">https://doi.org/10.1063/1.4973883</a>"},"month":"01","date_created":"2021-07-15T08:27:31Z","status":"public","publication":"The Journal of Chemical Physics","abstract":[{"lang":"eng","text":"Macroscopic theories of nucleation such as classical nucleation theory envision that clusters of the bulk stable phase form inside the bulk metastable phase. Molecular dynamics simulations are often used to elucidate nucleation mechanisms, by capturing the microscopic configurations of all the atoms. In this paper, we introduce a thermodynamic model that links macroscopic theories and atomic-scale simulations and thus provide a simple and elegant framework for testing the limits of classical nucleation theory."}],"user_id":"6785fbc1-c503-11eb-8a32-93094b40e1cf","author":[{"last_name":"Cheng","orcid":"0000-0002-3584-9632","id":"cbe3cda4-d82c-11eb-8dc7-8ff94289fcc9","first_name":"Bingqing","full_name":"Cheng, Bingqing"},{"full_name":"Ceriotti, Michele","first_name":"Michele","last_name":"Ceriotti"}],"date_published":"2017-01-21T00:00:00Z","issue":"3","day":"21","_id":"9661","volume":146,"oa":1,"publication_status":"published","publisher":"AIP Publishing","arxiv":1,"extern":"1","intvolume":"       146","quality_controlled":"1","scopus_import":"1"},{"arxiv":1,"intvolume":"        70","publication_status":"published","has_accepted_license":"1","publisher":"JMLR","quality_controlled":"1","isi":1,"scopus_import":"1","ec_funded":1,"volume":70,"oa":1,"project":[{"_id":"2532554C-B435-11E9-9278-68D0E5697425","call_identifier":"FP7","name":"Lifelong Learning of Visual Scene Understanding","grant_number":"308036"}],"user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","author":[{"first_name":"Alexander","id":"2D157DB6-F248-11E8-B48F-1D18A9856A87","full_name":"Kolesnikov, Alexander","last_name":"Kolesnikov"},{"id":"40C20FD2-F248-11E8-B48F-1D18A9856A87","first_name":"Christoph","full_name":"Lampert, Christoph","last_name":"Lampert","orcid":"0000-0001-8622-7887"}],"date_published":"2017-08-01T00:00:00Z","abstract":[{"text":"We study probabilistic models of natural images and extend the autoregressive family of PixelCNN models by incorporating latent variables. Subsequently, we describe two new generative image models that exploit different image transformations as latent variables: a quantized grayscale view of the image or a multi-resolution image pyramid. The proposed models tackle two known shortcomings of existing PixelCNN models: 1) their tendency to focus on low-level image details, while largely ignoring high-level image information, such as object shapes, and 2) their computationally costly procedure for image sampling. We experimentally demonstrate benefits of our LatentPixelCNN models, in particular showing that they produce much more realistically looking image samples than previous state-of-the-art probabilistic models. ","lang":"eng"}],"acknowledgement":"We thank Tim Salimans for spotting a mistake in our preliminary arXiv manuscript. This work was funded by the European Research Council under the European Unions Seventh Framework Programme (FP7/2007-2013)/ERC grant agreement no 308036.","publication":"34th International Conference on Machine Learning","day":"01","publist_id":"6398","_id":"1000","date_created":"2018-12-11T11:49:37Z","month":"08","citation":{"chicago":"Kolesnikov, Alexander, and Christoph Lampert. “PixelCNN Models with Auxiliary Variables for Natural Image Modeling.” In <i>34th International Conference on Machine Learning</i>, 70:1905–14. JMLR, 2017.","mla":"Kolesnikov, Alexander, and Christoph Lampert. “PixelCNN Models with Auxiliary Variables for Natural Image Modeling.” <i>34th International Conference on Machine Learning</i>, vol. 70, JMLR, 2017, pp. 1905–14.","short":"A. Kolesnikov, C. Lampert, in:, 34th International Conference on Machine Learning, JMLR, 2017, pp. 1905–1914.","ieee":"A. Kolesnikov and C. Lampert, “PixelCNN models with auxiliary variables for natural image modeling,” in <i>34th International Conference on Machine Learning</i>, Sydney, Australia, 2017, vol. 70, pp. 1905–1914.","ista":"Kolesnikov A, Lampert C. 2017. PixelCNN models with auxiliary variables for natural image modeling. 34th International Conference on Machine Learning. ICML: International Conference on Machine Learning vol. 70, 1905–1914.","ama":"Kolesnikov A, Lampert C. PixelCNN models with auxiliary variables for natural image modeling. In: <i>34th International Conference on Machine Learning</i>. Vol 70. JMLR; 2017:1905-1914.","apa":"Kolesnikov, A., &#38; Lampert, C. (2017). PixelCNN models with auxiliary variables for natural image modeling. In <i>34th International Conference on Machine Learning</i> (Vol. 70, pp. 1905–1914). Sydney, Australia: JMLR."},"status":"public","title":"PixelCNN models with auxiliary variables for natural image modeling","main_file_link":[{"open_access":"1","url":"https://arxiv.org/abs/1612.08185"}],"article_processing_charge":"No","department":[{"_id":"ChLa"}],"date_updated":"2023-09-22T09:50:41Z","language":[{"iso":"eng"}],"conference":{"start_date":"2017-08-06","name":"ICML: International Conference on Machine Learning","end_date":"2017-08-11","location":"Sydney, Australia"},"oa_version":"Submitted Version","type":"conference","page":"1905 - 1914","publication_identifier":{"isbn":["978-151085514-4"]},"year":"2017","external_id":{"isi":["000683309501102"],"arxiv":["1612.08185"]}},{"language":[{"iso":"eng"}],"date_updated":"2023-09-22T09:49:58Z","conference":{"end_date":"2017-08-25","location":"Los Angeles, CA, United States","start_date":"2017-08-19","name":"SIGGRAPH: Special Interest Group on Computer Graphics and Interactive Techniques"},"article_number":"64","related_material":{"record":[{"status":"public","id":"8366","relation":"dissertation_contains"}]},"department":[{"_id":"BeBi"}],"article_processing_charge":"No","title":"CurveUps: Shaping objects from flat plates with tension-actuated curvature","external_id":{"isi":["000406432100032"]},"year":"2017","ddc":["003","004"],"oa_version":"Submitted Version","pubrep_id":"1053","type":"conference","file":[{"file_size":36159696,"creator":"system","file_id":"4811","content_type":"application/pdf","file_name":"IST-2018-1053-v1+1_CurveUp.pdf","date_created":"2018-12-12T10:10:24Z","relation":"main_file","date_updated":"2018-12-12T10:10:24Z","access_level":"open_access"}],"volume":36,"file_date_updated":"2018-12-12T10:10:24Z","project":[{"_id":"25082902-B435-11E9-9278-68D0E5697425","name":"Soft-bodied intelligence for Manipulation","grant_number":"645599","call_identifier":"H2020"},{"grant_number":"715767","name":"MATERIALIZABLE: Intelligent fabrication-oriented Computational Design and Modeling","call_identifier":"H2020","_id":"24F9549A-B435-11E9-9278-68D0E5697425"}],"oa":1,"publisher":"ACM","has_accepted_license":"1","publication_status":"published","intvolume":"        36","ec_funded":1,"isi":1,"quality_controlled":"1","citation":{"apa":"Guseinov, R., Miguel, E., &#38; Bickel, B. (2017). CurveUps: Shaping objects from flat plates with tension-actuated curvature (Vol. 36). Presented at the SIGGRAPH: Special Interest Group on Computer Graphics and Interactive Techniques, Los Angeles, CA, United States: ACM. <a href=\"https://doi.org/10.1145/3072959.3073709\">https://doi.org/10.1145/3072959.3073709</a>","ama":"Guseinov R, Miguel E, Bickel B. CurveUps: Shaping objects from flat plates with tension-actuated curvature. In: Vol 36. ACM; 2017. doi:<a href=\"https://doi.org/10.1145/3072959.3073709\">10.1145/3072959.3073709</a>","ista":"Guseinov R, Miguel E, Bickel B. 2017. CurveUps: Shaping objects from flat plates with tension-actuated curvature. SIGGRAPH: Special Interest Group on Computer Graphics and Interactive Techniques, ACM Transactions on Graphics, vol. 36, 64.","short":"R. Guseinov, E. Miguel, B. Bickel, in:, ACM, 2017.","ieee":"R. Guseinov, E. Miguel, and B. Bickel, “CurveUps: Shaping objects from flat plates with tension-actuated curvature,” presented at the SIGGRAPH: Special Interest Group on Computer Graphics and Interactive Techniques, Los Angeles, CA, United States, 2017, vol. 36, no. 4.","mla":"Guseinov, Ruslan, et al. <i>CurveUps: Shaping Objects from Flat Plates with Tension-Actuated Curvature</i>. Vol. 36, no. 4, 64, ACM, 2017, doi:<a href=\"https://doi.org/10.1145/3072959.3073709\">10.1145/3072959.3073709</a>.","chicago":"Guseinov, Ruslan, Eder Miguel, and Bernd Bickel. “CurveUps: Shaping Objects from Flat Plates with Tension-Actuated Curvature,” Vol. 36. ACM, 2017. <a href=\"https://doi.org/10.1145/3072959.3073709\">https://doi.org/10.1145/3072959.3073709</a>."},"doi":"10.1145/3072959.3073709","month":"01","date_created":"2018-12-11T11:49:38Z","status":"public","alternative_title":["ACM Transactions on Graphics"],"abstract":[{"lang":"eng","text":"We present a computational approach for designing CurveUps, curvy shells that form from an initially flat state. They consist of small rigid tiles that are tightly held together by two pre-stretched elastic sheets attached to them. Our method allows the realization of smooth, doubly curved surfaces that can be fabricated as a flat piece. Once released, the restoring forces of the pre-stretched sheets support the object to take shape in 3D. CurveUps are structurally stable in their target configuration. The design process starts with a target surface. Our method generates a tile layout in 2D and optimizes the distribution, shape, and attachment areas of the tiles to obtain a configuration that is fabricable and in which the curved up state closely matches the target. Our approach is based on an efficient approximate model and a local optimization strategy for an otherwise intractable nonlinear optimization problem. We demonstrate the effectiveness of our approach for a wide range of shapes, all realized as physical prototypes."}],"issue":"4","author":[{"first_name":"Ruslan","id":"3AB45EE2-F248-11E8-B48F-1D18A9856A87","full_name":"Guseinov, Ruslan","last_name":"Guseinov","orcid":"0000-0001-9819-5077"},{"last_name":"Miguel","full_name":"Miguel, Eder","first_name":"Eder"},{"orcid":"0000-0001-6511-9385","last_name":"Bickel","full_name":"Bickel, Bernd","id":"49876194-F248-11E8-B48F-1D18A9856A87","first_name":"Bernd"}],"date_published":"2017-01-01T00:00:00Z","user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","publist_id":"6397","_id":"1001","day":"01"},{"doi":"10.1145/3072959.3073710","citation":{"ista":"Zhang R, Auzinger T, Ceylan D, Li W, Bickel B. 2017. Functionality-aware retargeting of mechanisms to 3D shapes. SIGGRAPH: Computer Graphics and Interactive Techniques, ACM Transactions on Graphics, vol. 36, 81.","apa":"Zhang, R., Auzinger, T., Ceylan, D., Li, W., &#38; Bickel, B. (2017). Functionality-aware retargeting of mechanisms to 3D shapes (Vol. 36). Presented at the SIGGRAPH: Computer Graphics and Interactive Techniques, Los Angeles, CA, United States : ACM. <a href=\"https://doi.org/10.1145/3072959.3073710\">https://doi.org/10.1145/3072959.3073710</a>","ama":"Zhang R, Auzinger T, Ceylan D, Li W, Bickel B. Functionality-aware retargeting of mechanisms to 3D shapes. In: Vol 36. ACM; 2017. doi:<a href=\"https://doi.org/10.1145/3072959.3073710\">10.1145/3072959.3073710</a>","mla":"Zhang, Ran, et al. <i>Functionality-Aware Retargeting of Mechanisms to 3D Shapes</i>. Vol. 36, no. 4, 81, ACM, 2017, doi:<a href=\"https://doi.org/10.1145/3072959.3073710\">10.1145/3072959.3073710</a>.","chicago":"Zhang, Ran, Thomas Auzinger, Duygu Ceylan, Wilmot Li, and Bernd Bickel. “Functionality-Aware Retargeting of Mechanisms to 3D Shapes,” Vol. 36. ACM, 2017. <a href=\"https://doi.org/10.1145/3072959.3073710\">https://doi.org/10.1145/3072959.3073710</a>.","short":"R. Zhang, T. Auzinger, D. Ceylan, W. Li, B. Bickel, in:, ACM, 2017.","ieee":"R. Zhang, T. Auzinger, D. Ceylan, W. Li, and B. Bickel, “Functionality-aware retargeting of mechanisms to 3D shapes,” presented at the SIGGRAPH: Computer Graphics and Interactive Techniques, Los Angeles, CA, United States , 2017, vol. 36, no. 4."},"month":"06","date_created":"2018-12-11T11:49:38Z","status":"public","alternative_title":["ACM Transactions on Graphics"],"abstract":[{"text":"  We present an interactive design system to create functional mechanical  objects. Our computational approach allows novice users to retarget an  existing mechanical template to a user-specified input shape. Our proposed  representation for a mechanical template encodes a parameterized mechanism,  mechanical constraints that ensure a physically valid configuration, spatial relationships of mechanical parts to the user-provided shape, and functional constraints that specify an intended functionality. We provide an intuitive interface and optimization-in-the-loop approach for finding a valid  configuration of the mechanism and the shape to ensure that higher-level  functional goals are met. Our algorithm interactively optimizes the mechanism  while the user manipulates the placement of mechanical components and the shape. Our system allows users to efficiently explore various design choices and to synthesize customized mechanical objects that can be fabricated with rapid prototyping technologies. We demonstrate the efficacy of our approach by retargeting various mechanical templates to different shapes and fabricating the resulting functional mechanical objects.\r\n","lang":"eng"}],"date_published":"2017-06-01T00:00:00Z","issue":"4","author":[{"orcid":"0000-0002-3808-281X","last_name":"Zhang","full_name":"Zhang, Ran","first_name":"Ran","id":"4DDBCEB0-F248-11E8-B48F-1D18A9856A87"},{"first_name":"Thomas","id":"4718F954-F248-11E8-B48F-1D18A9856A87","full_name":"Auzinger, Thomas","last_name":"Auzinger","orcid":"0000-0002-1546-3265"},{"last_name":"Ceylan","full_name":"Ceylan, Duygu","first_name":"Duygu"},{"last_name":"Li","full_name":"Li, Wilmot","first_name":"Wilmot"},{"full_name":"Bickel, Bernd","id":"49876194-F248-11E8-B48F-1D18A9856A87","first_name":"Bernd","orcid":"0000-0001-6511-9385","last_name":"Bickel"}],"user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","publist_id":"6396","_id":"1002","day":"01","file":[{"file_name":"IST-2018-1050-v1+1_MechRet.pdf","content_type":"application/pdf","date_updated":"2018-12-12T10:09:05Z","relation":"main_file","access_level":"open_access","date_created":"2018-12-12T10:09:05Z","file_id":"4728","file_size":25463895,"creator":"system"}],"volume":36,"project":[{"_id":"2508E324-B435-11E9-9278-68D0E5697425","call_identifier":"H2020","name":"Distributed 3D Object Design","grant_number":"642841"},{"name":"MATERIALIZABLE: Intelligent fabrication-oriented Computational Design and Modeling","grant_number":"715767","call_identifier":"H2020","_id":"24F9549A-B435-11E9-9278-68D0E5697425"}],"oa":1,"file_date_updated":"2018-12-12T10:09:05Z","has_accepted_license":"1","publisher":"ACM","publication_status":"published","intvolume":"        36","ec_funded":1,"quality_controlled":"1","isi":1,"scopus_import":"1","external_id":{"isi":["000406432100049"]},"year":"2017","publication_identifier":{"issn":["07300301"]},"ddc":["003","004"],"oa_version":"Submitted Version","pubrep_id":"1050","type":"conference","language":[{"iso":"eng"}],"date_updated":"2023-09-22T09:49:31Z","conference":{"end_date":"2017-08-03","location":"Los Angeles, CA, United States ","start_date":"2017-07-30","name":"SIGGRAPH: Computer Graphics and Interactive Techniques"},"article_number":"81","department":[{"_id":"BeBi"}],"article_processing_charge":"No","related_material":{"record":[{"status":"public","relation":"dissertation_contains","id":"8386"}]},"title":"Functionality-aware retargeting of mechanisms to 3D shapes"},{"publication_status":"published","has_accepted_license":"1","publisher":"AAAI Press","isi":1,"scopus_import":"1","quality_controlled":"1","file":[{"creator":"system","file_size":365172,"file_id":"5249","date_created":"2018-12-12T10:16:58Z","date_updated":"2018-12-12T10:16:58Z","relation":"main_file","access_level":"open_access","content_type":"application/pdf","file_name":"IST-2017-818-v1+1_allIJCAI_CR.pdf"}],"file_date_updated":"2018-12-12T10:16:58Z","oa":1,"project":[{"_id":"25F5A88A-B435-11E9-9278-68D0E5697425","call_identifier":"FWF","grant_number":"S11402-N23","name":"Moderne Concurrency Paradigms"},{"grant_number":"Z211","name":"The Wittgenstein Prize","call_identifier":"FWF","_id":"25F42A32-B435-11E9-9278-68D0E5697425"}],"abstract":[{"text":"Network games (NGs) are played on directed graphs and are extensively used in network design and analysis. Search problems for NGs include finding special strategy profiles such as a Nash equilibrium and a globally optimal solution. The networks modeled by NGs may be huge. In formal verification, abstraction has proven to be an extremely effective technique for reasoning about systems with big and even infinite state spaces. We describe an abstraction-refinement methodology for reasoning about NGs. Our methodology is based on an abstraction function that maps the state space of an NG to a much smaller state space. We search for a global optimum and a Nash equilibrium by reasoning on an under- and an overapproximation defined on top of this smaller state space. When the approximations are too coarse to find such profiles, we refine the abstraction function. Our experimental results demonstrate the efficiency of the methodology.","lang":"eng"}],"date_published":"2017-05-30T00:00:00Z","author":[{"full_name":"Avni, Guy","first_name":"Guy","id":"463C8BC2-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0001-5588-8287","last_name":"Avni"},{"last_name":"Guha","first_name":"Shibashis","full_name":"Guha, Shibashis"},{"first_name":"Orna","full_name":"Kupferman, Orna","last_name":"Kupferman"}],"user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","_id":"1003","publist_id":"6395","day":"30","citation":{"chicago":"Avni, Guy, Shibashis Guha, and Orna Kupferman. “An Abstraction-Refinement Methodology for Reasoning about Network Games,” 70–76. AAAI Press, 2017. <a href=\"https://doi.org/10.24963/ijcai.2017/11\">https://doi.org/10.24963/ijcai.2017/11</a>.","mla":"Avni, Guy, et al. <i>An Abstraction-Refinement Methodology for Reasoning about Network Games</i>. AAAI Press, 2017, pp. 70–76, doi:<a href=\"https://doi.org/10.24963/ijcai.2017/11\">10.24963/ijcai.2017/11</a>.","short":"G. Avni, S. Guha, O. Kupferman, in:, AAAI Press, 2017, pp. 70–76.","ieee":"G. Avni, S. Guha, and O. Kupferman, “An abstraction-refinement methodology for reasoning about network games,” presented at the IJCAI: International Joint Conference on Artificial Intelligence , Melbourne, Australia, 2017, pp. 70–76.","ista":"Avni G, Guha S, Kupferman O. 2017. An abstraction-refinement methodology for reasoning about network games. IJCAI: International Joint Conference on Artificial Intelligence , 70–76.","ama":"Avni G, Guha S, Kupferman O. An abstraction-refinement methodology for reasoning about network games. In: AAAI Press; 2017:70-76. doi:<a href=\"https://doi.org/10.24963/ijcai.2017/11\">10.24963/ijcai.2017/11</a>","apa":"Avni, G., Guha, S., &#38; Kupferman, O. (2017). An abstraction-refinement methodology for reasoning about network games (pp. 70–76). Presented at the IJCAI: International Joint Conference on Artificial Intelligence , Melbourne, Australia: AAAI Press. <a href=\"https://doi.org/10.24963/ijcai.2017/11\">https://doi.org/10.24963/ijcai.2017/11</a>"},"doi":"10.24963/ijcai.2017/11","month":"05","date_created":"2018-12-11T11:49:38Z","status":"public","related_material":{"record":[{"id":"6006","relation":"later_version","status":"public"}]},"department":[{"_id":"ToHe"}],"article_processing_charge":"No","title":"An abstraction-refinement methodology for reasoning about network games","language":[{"iso":"eng"}],"date_updated":"2023-09-22T09:49:00Z","conference":{"start_date":"2017-08-19","name":"IJCAI: International Joint Conference on Artificial Intelligence ","end_date":"2017-08-25","location":"Melbourne, Australia"},"ddc":["004"],"oa_version":"Submitted Version","page":"70 - 76","pubrep_id":"818","type":"conference","external_id":{"isi":["000764137500011"]},"publication_identifier":{"issn":["10450823"]},"year":"2017"},{"status":"public","date_created":"2018-12-11T11:49:38Z","month":"08","doi":"10.1016/j.gde.2017.03.010","citation":{"ista":"Ötvös K, Benková E. 2017. Spatiotemporal mechanisms of root branching. Current Opinion in Genetics &#38; Development. 45, 82–89.","ama":"Ötvös K, Benková E. Spatiotemporal mechanisms of root branching. <i>Current Opinion in Genetics &#38; Development</i>. 2017;45:82-89. doi:<a href=\"https://doi.org/10.1016/j.gde.2017.03.010\">10.1016/j.gde.2017.03.010</a>","apa":"Ötvös, K., &#38; Benková, E. (2017). Spatiotemporal mechanisms of root branching. <i>Current Opinion in Genetics &#38; Development</i>. Elsevier. <a href=\"https://doi.org/10.1016/j.gde.2017.03.010\">https://doi.org/10.1016/j.gde.2017.03.010</a>","mla":"Ötvös, Krisztina, and Eva Benková. “Spatiotemporal Mechanisms of Root Branching.” <i>Current Opinion in Genetics &#38; Development</i>, vol. 45, Elsevier, 2017, pp. 82–89, doi:<a href=\"https://doi.org/10.1016/j.gde.2017.03.010\">10.1016/j.gde.2017.03.010</a>.","chicago":"Ötvös, Krisztina, and Eva Benková. “Spatiotemporal Mechanisms of Root Branching.” <i>Current Opinion in Genetics &#38; Development</i>. Elsevier, 2017. <a href=\"https://doi.org/10.1016/j.gde.2017.03.010\">https://doi.org/10.1016/j.gde.2017.03.010</a>.","short":"K. Ötvös, E. Benková, Current Opinion in Genetics &#38; Development 45 (2017) 82–89.","ieee":"K. Ötvös and E. Benková, “Spatiotemporal mechanisms of root branching,” <i>Current Opinion in Genetics &#38; Development</i>, vol. 45. Elsevier, pp. 82–89, 2017."},"publist_id":"6394","_id":"1004","day":"01","tmp":{"short":"CC BY-NC-ND (4.0)","name":"Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International (CC BY-NC-ND 4.0)","image":"/images/cc_by_nc_nd.png","legal_code_url":"https://creativecommons.org/licenses/by-nc-nd/4.0/legalcode"},"date_published":"2017-08-01T00:00:00Z","author":[{"full_name":"Ötvös, Krisztina","id":"29B901B0-F248-11E8-B48F-1D18A9856A87","first_name":"Krisztina","orcid":"0000-0002-5503-4983","last_name":"Ötvös"},{"full_name":"Benková, Eva","first_name":"Eva","id":"38F4F166-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-8510-9739","last_name":"Benková"}],"user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","publication":"Current Opinion in Genetics & Development","abstract":[{"text":"The fundamental tasks of the root system are, besides anchoring, mediating interactions between plant and soil and providing the plant with water and nutrients. The architecture of the root system is controlled by endogenous mechanisms that constantly integrate environmental signals, such as availability of nutrients and water. Extremely important for efficient soil exploitation and survival under less favorable conditions is the developmental flexibility of the root system that is largely determined by its postembryonic branching capacity. Modulation of initiation and outgrowth of lateral roots provides roots with an exceptional plasticity, allows optimal adjustment to underground heterogeneity, and enables effective soil exploitation and use of resources. Here we discuss recent advances in understanding the molecular mechanisms that shape the plant root system and integrate external cues to adapt to the changing environment.","lang":"eng"}],"oa":1,"project":[{"_id":"2542D156-B435-11E9-9278-68D0E5697425","call_identifier":"FWF","grant_number":"I 1774-B16","name":"Hormone cross-talk drives nutrient dependent plant development"}],"file_date_updated":"2019-04-17T08:00:36Z","volume":45,"license":"https://creativecommons.org/licenses/by-nc-nd/4.0/","file":[{"file_size":364133,"creator":"dernst","file_id":"6336","success":1,"content_type":"application/pdf","file_name":"Otvos_Benkova_CurOpDevBiol_2017.pdf","date_created":"2019-04-17T08:00:36Z","relation":"main_file","access_level":"open_access","date_updated":"2019-04-17T08:00:36Z"}],"quality_controlled":"1","isi":1,"scopus_import":"1","intvolume":"        45","has_accepted_license":"1","publisher":"Elsevier","publication_status":"published","external_id":{"isi":["000404880400013"],"pmid":["28391060"]},"year":"2017","publication_identifier":{"issn":["0959437X"]},"pmid":1,"type":"journal_article","page":"82 - 89","pubrep_id":"1017","oa_version":"Submitted Version","ddc":["575"],"language":[{"iso":"eng"}],"date_updated":"2023-09-22T09:48:15Z","title":"Spatiotemporal mechanisms of root branching","department":[{"_id":"EvBe"}],"article_processing_charge":"No"},{"oa":1,"file_date_updated":"2018-12-12T10:16:46Z","volume":18,"file":[{"file_id":"5236","file_size":2379672,"creator":"system","access_level":"open_access","date_updated":"2018-12-12T10:16:46Z","relation":"main_file","date_created":"2018-12-12T10:16:46Z","file_name":"IST-2017-814-v1+1_s12864-017-3705-7.pdf","content_type":"application/pdf"}],"isi":1,"quality_controlled":"1","scopus_import":"1","intvolume":"        18","has_accepted_license":"1","publication_status":"published","publisher":"BioMed Central","status":"public","date_created":"2018-12-11T11:49:39Z","month":"04","citation":{"ista":"Greenwood J, Milutinovic B, Peuß R, Behrens S, Essar D, Rosenstiel P, Schulenburg H, Kurtz J. 2017. Oral immune priming with Bacillus thuringiensis induces a shift in the gene expression of Tribolium castaneum larvae. BMC Genomics. 18(1), 329.","apa":"Greenwood, J., Milutinovic, B., Peuß, R., Behrens, S., Essar, D., Rosenstiel, P., … Kurtz, J. (2017). Oral immune priming with Bacillus thuringiensis induces a shift in the gene expression of Tribolium castaneum larvae. <i>BMC Genomics</i>. BioMed Central. <a href=\"https://doi.org/10.1186/s12864-017-3705-7\">https://doi.org/10.1186/s12864-017-3705-7</a>","ama":"Greenwood J, Milutinovic B, Peuß R, et al. Oral immune priming with Bacillus thuringiensis induces a shift in the gene expression of Tribolium castaneum larvae. <i>BMC Genomics</i>. 2017;18(1):329. doi:<a href=\"https://doi.org/10.1186/s12864-017-3705-7\">10.1186/s12864-017-3705-7</a>","chicago":"Greenwood, Jenny, Barbara Milutinovic, Robert Peuß, Sarah Behrens, Daniela Essar, Philip Rosenstiel, Hinrich Schulenburg, and Joachim Kurtz. “Oral Immune Priming with Bacillus Thuringiensis Induces a Shift in the Gene Expression of Tribolium Castaneum Larvae.” <i>BMC Genomics</i>. BioMed Central, 2017. <a href=\"https://doi.org/10.1186/s12864-017-3705-7\">https://doi.org/10.1186/s12864-017-3705-7</a>.","mla":"Greenwood, Jenny, et al. “Oral Immune Priming with Bacillus Thuringiensis Induces a Shift in the Gene Expression of Tribolium Castaneum Larvae.” <i>BMC Genomics</i>, vol. 18, no. 1, BioMed Central, 2017, p. 329, doi:<a href=\"https://doi.org/10.1186/s12864-017-3705-7\">10.1186/s12864-017-3705-7</a>.","ieee":"J. Greenwood <i>et al.</i>, “Oral immune priming with Bacillus thuringiensis induces a shift in the gene expression of Tribolium castaneum larvae,” <i>BMC Genomics</i>, vol. 18, no. 1. BioMed Central, p. 329, 2017.","short":"J. Greenwood, B. Milutinovic, R. Peuß, S. Behrens, D. Essar, P. Rosenstiel, H. Schulenburg, J. Kurtz, BMC Genomics 18 (2017) 329."},"doi":"10.1186/s12864-017-3705-7","publist_id":"6392","_id":"1006","tmp":{"legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","image":"/images/cc_by.png","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","short":"CC BY (4.0)"},"day":"26","date_published":"2017-04-26T00:00:00Z","author":[{"full_name":"Greenwood, Jenny","first_name":"Jenny","last_name":"Greenwood"},{"first_name":"Barbara","id":"2CDC32B8-F248-11E8-B48F-1D18A9856A87","full_name":"Milutinovic, Barbara","last_name":"Milutinovic","orcid":"0000-0002-8214-4758"},{"last_name":"Peuß","first_name":"Robert","full_name":"Peuß, Robert"},{"full_name":"Behrens, Sarah","first_name":"Sarah","last_name":"Behrens"},{"last_name":"Essar","first_name":"Daniela","full_name":"Essar, Daniela"},{"last_name":"Rosenstiel","full_name":"Rosenstiel, Philip","first_name":"Philip"},{"last_name":"Schulenburg","first_name":"Hinrich","full_name":"Schulenburg, Hinrich"},{"last_name":"Kurtz","first_name":"Joachim","full_name":"Kurtz, Joachim"}],"issue":"1","user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","publication":"BMC Genomics","abstract":[{"text":"Background: The phenomenon of immune priming, i.e. enhanced protection following a secondary exposure to a pathogen, has now been demonstrated in a wide range of invertebrate species. Despite accumulating phenotypic evidence, knowledge of its mechanistic underpinnings is currently very limited. Here we used the system of the red flour beetle, Tribolium castaneum and the insect pathogen Bacillus thuringiensis (Bt) to further our molecular understanding of the oral immune priming phenomenon. We addressed how ingestion of bacterial cues (derived from spore supernatants) of an orally pathogenic and non-pathogenic Bt strain affects gene expression upon later challenge exposure, using a whole-transcriptome sequencing approach. Results: Whereas gene expression of individuals primed with the orally non-pathogenic strain showed minor changes to controls, we found that priming with the pathogenic strain induced regulation of a large set of distinct genes, many of which are known immune candidates. Intriguingly, the immune repertoire activated upon priming and subsequent challenge qualitatively differed from the one mounted upon infection with Bt without previous priming. Moreover, a large subset of priming-specific genes showed an inverse regulation compared to their regulation upon challenge only. Conclusions: Our data demonstrate that gene expression upon infection is strongly affected by previous immune priming. We hypothesise that this shift in gene expression indicates activation of a more targeted and efficient response towards a previously encountered pathogen, in anticipation of potential secondary encounter.","lang":"eng"}],"language":[{"iso":"eng"}],"date_updated":"2023-09-22T09:47:44Z","title":"Oral immune priming with Bacillus thuringiensis induces a shift in the gene expression of Tribolium castaneum larvae","related_material":{"record":[{"status":"public","relation":"research_data","id":"9859"},{"id":"9860","relation":"research_data","status":"public"}]},"department":[{"_id":"SyCr"}],"article_processing_charge":"No","external_id":{"isi":["000400625200004"]},"publication_identifier":{"issn":["14712164"]},"year":"2017","type":"journal_article","page":"329","pubrep_id":"814","oa_version":"Published Version","ddc":["570"]},{"file_date_updated":"2018-12-12T10:11:29Z","project":[{"_id":"25681D80-B435-11E9-9278-68D0E5697425","grant_number":"291734","name":"International IST Postdoc Fellowship Programme","call_identifier":"FP7"}],"oa":1,"volume":"81C","file":[{"date_created":"2018-12-12T10:11:29Z","date_updated":"2018-12-12T10:11:29Z","access_level":"open_access","relation":"main_file","content_type":"application/pdf","file_name":"IST-2017-813-v1+1_ZerosOfNonlinearSystems.pdf","file_size":1401954,"creator":"system","file_id":"4884"}],"quality_controlled":"1","scopus_import":"1","isi":1,"ec_funded":1,"publisher":"International Federation of Automatic Control","has_accepted_license":"1","publication_status":"published","status":"public","month":"06","date_created":"2018-12-11T11:49:39Z","doi":"10.1016/j.automatica.2017.03.030","citation":{"apa":"Lang, M., &#38; Sontag, E. (2017). Zeros of nonlinear systems with input invariances. <i>Automatica</i>. International Federation of Automatic Control. <a href=\"https://doi.org/10.1016/j.automatica.2017.03.030\">https://doi.org/10.1016/j.automatica.2017.03.030</a>","ama":"Lang M, Sontag E. Zeros of nonlinear systems with input invariances. <i>Automatica</i>. 2017;81C:46-55. doi:<a href=\"https://doi.org/10.1016/j.automatica.2017.03.030\">10.1016/j.automatica.2017.03.030</a>","ista":"Lang M, Sontag E. 2017. Zeros of nonlinear systems with input invariances. Automatica. 81C, 46–55.","ieee":"M. Lang and E. Sontag, “Zeros of nonlinear systems with input invariances,” <i>Automatica</i>, vol. 81C. International Federation of Automatic Control, pp. 46–55, 2017.","short":"M. Lang, E. Sontag, Automatica 81C (2017) 46–55.","mla":"Lang, Moritz, and Eduardo Sontag. “Zeros of Nonlinear Systems with Input Invariances.” <i>Automatica</i>, vol. 81C, International Federation of Automatic Control, 2017, pp. 46–55, doi:<a href=\"https://doi.org/10.1016/j.automatica.2017.03.030\">10.1016/j.automatica.2017.03.030</a>.","chicago":"Lang, Moritz, and Eduardo Sontag. “Zeros of Nonlinear Systems with Input Invariances.” <i>Automatica</i>. International Federation of Automatic Control, 2017. <a href=\"https://doi.org/10.1016/j.automatica.2017.03.030\">https://doi.org/10.1016/j.automatica.2017.03.030</a>."},"publist_id":"6391","_id":"1007","day":"01","tmp":{"legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","image":"/images/cc_by.png","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","short":"CC BY (4.0)"},"date_published":"2017-06-01T00:00:00Z","author":[{"full_name":"Lang, Moritz","first_name":"Moritz","id":"29E0800A-F248-11E8-B48F-1D18A9856A87","last_name":"Lang"},{"full_name":"Sontag, Eduardo","first_name":"Eduardo","last_name":"Sontag"}],"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","publication":"Automatica","abstract":[{"lang":"eng","text":"A nonlinear system possesses an invariance with respect to a set of transformations if its output dynamics remain invariant when transforming the input, and adjusting the initial condition accordingly. Most research has focused on invariances with respect to time-independent pointwise transformations like translational-invariance (u(t) -&gt; u(t) + p, p in R) or scale-invariance (u(t) -&gt; pu(t), p in R&gt;0). In this article, we introduce the concept of s0-invariances with respect to continuous input transformations exponentially growing/decaying over time. We show that s0-invariant systems not only encompass linear time-invariant (LTI) systems with transfer functions having an irreducible zero at s0 in R, but also that the input/output relationship of nonlinear s0-invariant systems possesses properties well known from their linear counterparts. Furthermore, we extend the concept of s0-invariances to second- and higher-order s0-invariances, corresponding to invariances with respect to transformations of the time-derivatives of the input, and encompassing LTI systems with zeros of multiplicity two or higher. Finally, we show that nth-order 0-invariant systems realize – under mild conditions – nth-order nonlinear differential operators: when excited by an input of a characteristic functional form, the system’s output converges to a constant value only depending on the nth (nonlinear) derivative of the input."}],"language":[{"iso":"eng"}],"date_updated":"2023-10-17T08:51:18Z","title":"Zeros of nonlinear systems with input invariances","department":[{"_id":"CaGu"},{"_id":"GaTk"}],"article_processing_charge":"Yes (in subscription journal)","external_id":{"isi":["000403513900006"]},"publication_identifier":{"issn":["0005-1098"]},"year":"2017","type":"journal_article","page":"46 - 55","pubrep_id":"813","oa_version":"Published Version","ddc":["000"]},{"project":[{"_id":"25863FF4-B435-11E9-9278-68D0E5697425","name":"Game Theory","grant_number":"S11407","call_identifier":"FWF"},{"_id":"2581B60A-B435-11E9-9278-68D0E5697425","call_identifier":"FP7","name":"Quantitative Graph Games: Theory and Applications","grant_number":"279307"},{"call_identifier":"FP7","name":"International IST Postdoc Fellowship Programme","grant_number":"291734","_id":"25681D80-B435-11E9-9278-68D0E5697425"},{"_id":"25892FC0-B435-11E9-9278-68D0E5697425","grant_number":"ICT15-003","name":"Efficient Algorithms for Computer Aided Verification"}],"oa":1,"volume":5,"scopus_import":"1","quality_controlled":"1","isi":1,"ec_funded":1,"intvolume":"         5","publisher":"AAAI Press","publication_status":"published","status":"public","date_created":"2018-12-11T11:49:40Z","month":"01","citation":{"mla":"Chatterjee, Krishnendu, et al. “Optimizing Expectation with Guarantees in POMDPs.” <i>Proceedings of the 31st AAAI Conference on Artificial Intelligence</i>, vol. 5, AAAI Press, 2017, pp. 3725–32.","chicago":"Chatterjee, Krishnendu, Petr Novotný, Guillermo Pérez, Jean Raskin, and Djordje Zikelic. “Optimizing Expectation with Guarantees in POMDPs.” In <i>Proceedings of the 31st AAAI Conference on Artificial Intelligence</i>, 5:3725–32. AAAI Press, 2017.","ieee":"K. Chatterjee, P. Novotný, G. Pérez, J. Raskin, and D. Zikelic, “Optimizing expectation with guarantees in POMDPs,” in <i>Proceedings of the 31st AAAI Conference on Artificial Intelligence</i>, San Francisco, CA, United States, 2017, vol. 5, pp. 3725–3732.","short":"K. Chatterjee, P. Novotný, G. Pérez, J. Raskin, D. Zikelic, in:, Proceedings of the 31st AAAI Conference on Artificial Intelligence, AAAI Press, 2017, pp. 3725–3732.","ista":"Chatterjee K, Novotný P, Pérez G, Raskin J, Zikelic D. 2017. Optimizing expectation with guarantees in POMDPs. Proceedings of the 31st AAAI Conference on Artificial Intelligence. AAAI: Conference on Artificial Intelligence vol. 5, 3725–3732.","apa":"Chatterjee, K., Novotný, P., Pérez, G., Raskin, J., &#38; Zikelic, D. (2017). Optimizing expectation with guarantees in POMDPs. In <i>Proceedings of the 31st AAAI Conference on Artificial Intelligence</i> (Vol. 5, pp. 3725–3732). San Francisco, CA, United States: AAAI Press.","ama":"Chatterjee K, Novotný P, Pérez G, Raskin J, Zikelic D. Optimizing expectation with guarantees in POMDPs. In: <i>Proceedings of the 31st AAAI Conference on Artificial Intelligence</i>. Vol 5. AAAI Press; 2017:3725-3732."},"day":"01","_id":"1009","publist_id":"6387","user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","date_published":"2017-01-01T00:00:00Z","author":[{"orcid":"0000-0002-4561-241X","last_name":"Chatterjee","full_name":"Chatterjee, Krishnendu","first_name":"Krishnendu","id":"2E5DCA20-F248-11E8-B48F-1D18A9856A87"},{"last_name":"Novotny","full_name":"Novotny, Petr","id":"3CC3B868-F248-11E8-B48F-1D18A9856A87","first_name":"Petr"},{"first_name":"Guillermo","full_name":"Pérez, Guillermo","last_name":"Pérez"},{"first_name":"Jean","full_name":"Raskin, Jean","last_name":"Raskin"},{"last_name":"Zikelic","full_name":"Zikelic, Djordje","first_name":"Djordje"}],"abstract":[{"lang":"eng","text":"A standard objective in partially-observable Markov decision processes (POMDPs) is to find a policy that maximizes the expected discounted-sum payoff. However, such policies may still permit unlikely but highly undesirable outcomes, which is problematic especially in safety-critical applications. Recently, there has been a surge of interest in POMDPs where the goal is to maximize the probability to ensure that the payoff is at least a given threshold, but these approaches do not consider any optimization beyond satisfying this threshold constraint. In this work we go beyond both the “expectation” and “threshold” approaches and consider a “guaranteed payoff optimization (GPO)” problem for POMDPs, where we are given a threshold t and the objective is to find a policy σ such that a) each possible outcome of σ yields a discounted-sum payoff of at least t, and b) the expected discounted-sum payoff of σ is optimal (or near-optimal) among all policies satisfying a). We present a practical approach to tackle the GPO problem and evaluate it on standard POMDP benchmarks."}],"publication":"Proceedings of the 31st AAAI Conference on Artificial Intelligence","acknowledgement":"he research leading to these results was supported by the Austrian Science Fund (FWF) NFN Grant no. S11407-N23 (RiSE/SHiNE); two ERC Starting grants (279307: Graph Games, 279499: inVEST); the Vienna Science and Tech- nology Fund (WWTF) through project ICT15-003; and the People Programme (Marie Curie Actions) of the European Union’s Seventh Framework Programme (FP7/2007-2013) under REA grant agreement no. [291734].","conference":{"location":"San Francisco, CA, United States","end_date":"2017-02-10","name":"AAAI: Conference on Artificial Intelligence","start_date":"2017-02-04"},"date_updated":"2025-06-02T08:53:49Z","language":[{"iso":"eng"}],"title":"Optimizing expectation with guarantees in POMDPs","main_file_link":[{"open_access":"1","url":"http://www.aaai.org/ocs/index.php/AAAI/AAAI17/paper/download/14354/14092"}],"department":[{"_id":"KrCh"}],"article_processing_charge":"No","year":"2017","external_id":{"isi":["000485630703107"]},"type":"conference","page":"3725 - 3732","oa_version":"Submitted Version"},{"title":"Local law for random Gram matrices","article_processing_charge":"No","department":[{"_id":"LaEr"}],"related_material":{"record":[{"status":"public","relation":"dissertation_contains","id":"149"}]},"article_number":"25","date_updated":"2023-09-22T09:45:23Z","language":[{"iso":"eng"}],"type":"journal_article","pubrep_id":"807","oa_version":"Published Version","ddc":["510","539"],"year":"2017","publication_identifier":{"issn":["10836489"]},"external_id":{"arxiv":["1606.07353"],"isi":["000396611900025"]},"scopus_import":"1","isi":1,"quality_controlled":"1","ec_funded":1,"arxiv":1,"intvolume":"        22","publication_status":"published","has_accepted_license":"1","publisher":"Institute of Mathematical Statistics","file_date_updated":"2018-12-12T10:13:39Z","project":[{"_id":"258DCDE6-B435-11E9-9278-68D0E5697425","name":"Random matrices, universality and disordered quantum systems","grant_number":"338804","call_identifier":"FP7"}],"oa":1,"volume":22,"file":[{"file_id":"5024","creator":"system","file_size":639384,"file_name":"IST-2017-807-v1+1_euclid.ejp.1488942016.pdf","content_type":"application/pdf","access_level":"open_access","relation":"main_file","date_updated":"2018-12-12T10:13:39Z","date_created":"2018-12-12T10:13:39Z"}],"day":"08","tmp":{"legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","image":"/images/cc_by.png","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","short":"CC BY (4.0)"},"_id":"1010","publist_id":"6386","user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","author":[{"last_name":"Alt","full_name":"Alt, Johannes","id":"36D3D8B6-F248-11E8-B48F-1D18A9856A87","first_name":"Johannes"},{"id":"4DBD5372-F248-11E8-B48F-1D18A9856A87","first_name":"László","full_name":"Erdös, László","last_name":"Erdös","orcid":"0000-0001-5366-9603"},{"first_name":"Torben H","id":"3020C786-F248-11E8-B48F-1D18A9856A87","full_name":"Krüger, Torben H","last_name":"Krüger","orcid":"0000-0002-4821-3297"}],"date_published":"2017-03-08T00:00:00Z","abstract":[{"text":"We prove a local law in the bulk of the spectrum for random Gram matrices XX∗, a generalization of sample covariance matrices, where X is a large matrix with independent, centered entries with arbitrary variances. The limiting eigenvalue density that generalizes the Marchenko-Pastur law is determined by solving a system of nonlinear equations. Our entrywise and averaged local laws are on the optimal scale with the optimal error bounds. They hold both in the square case (hard edge) and in the properly rectangular case (soft edge). In the latter case we also establish a macroscopic gap away from zero in the spectrum of XX∗. ","lang":"eng"}],"publication":"Electronic Journal of Probability","status":"public","date_created":"2018-12-11T11:49:40Z","month":"03","citation":{"ieee":"J. Alt, L. Erdös, and T. H. Krüger, “Local law for random Gram matrices,” <i>Electronic Journal of Probability</i>, vol. 22. Institute of Mathematical Statistics, 2017.","short":"J. Alt, L. Erdös, T.H. Krüger, Electronic Journal of Probability 22 (2017).","mla":"Alt, Johannes, et al. “Local Law for Random Gram Matrices.” <i>Electronic Journal of Probability</i>, vol. 22, 25, Institute of Mathematical Statistics, 2017, doi:<a href=\"https://doi.org/10.1214/17-EJP42\">10.1214/17-EJP42</a>.","chicago":"Alt, Johannes, László Erdös, and Torben H Krüger. “Local Law for Random Gram Matrices.” <i>Electronic Journal of Probability</i>. Institute of Mathematical Statistics, 2017. <a href=\"https://doi.org/10.1214/17-EJP42\">https://doi.org/10.1214/17-EJP42</a>.","apa":"Alt, J., Erdös, L., &#38; Krüger, T. H. (2017). Local law for random Gram matrices. <i>Electronic Journal of Probability</i>. Institute of Mathematical Statistics. <a href=\"https://doi.org/10.1214/17-EJP42\">https://doi.org/10.1214/17-EJP42</a>","ama":"Alt J, Erdös L, Krüger TH. Local law for random Gram matrices. <i>Electronic Journal of Probability</i>. 2017;22. doi:<a href=\"https://doi.org/10.1214/17-EJP42\">10.1214/17-EJP42</a>","ista":"Alt J, Erdös L, Krüger TH. 2017. Local law for random Gram matrices. Electronic Journal of Probability. 22, 25."},"doi":"10.1214/17-EJP42"},{"language":[{"iso":"eng"}],"date_updated":"2023-09-22T09:44:50Z","conference":{"end_date":"2017-04-29","location":"Uppsala, Sweden","start_date":"2017-04-22","name":"ESOP: European Symposium on Programming"},"main_file_link":[{"url":"https://arxiv.org/abs/1701.04914","open_access":"1"}],"title":"Faster algorithms for weighted recursive state machines","department":[{"_id":"KrCh"},{"_id":"ToHe"}],"article_processing_charge":"No","external_id":{"isi":["000681702400011"]},"publication_identifier":{"issn":["03029743"]},"year":"2017","oa_version":"Submitted Version","type":"conference","page":"287 - 313","volume":10201,"project":[{"_id":"25F5A88A-B435-11E9-9278-68D0E5697425","call_identifier":"FWF","name":"Moderne Concurrency Paradigms","grant_number":"S11402-N23"},{"grant_number":"S11407","name":"Game Theory","call_identifier":"FWF","_id":"25863FF4-B435-11E9-9278-68D0E5697425"},{"_id":"2584A770-B435-11E9-9278-68D0E5697425","grant_number":"P 23499-N23","name":"Modern Graph Algorithmic Techniques in Formal Verification","call_identifier":"FWF"},{"name":"The Wittgenstein Prize","grant_number":"Z211","call_identifier":"FWF","_id":"25F42A32-B435-11E9-9278-68D0E5697425"},{"_id":"2581B60A-B435-11E9-9278-68D0E5697425","call_identifier":"FP7","grant_number":"279307","name":"Quantitative Graph Games: Theory and Applications"}],"oa":1,"intvolume":"     10201","publisher":"Springer","publication_status":"published","isi":1,"quality_controlled":"1","scopus_import":"1","ec_funded":1,"month":"03","date_created":"2018-12-11T11:49:41Z","citation":{"ieee":"K. Chatterjee, B. Kragl, S. Mishra, and A. Pavlogiannis, “Faster algorithms for weighted recursive state machines,” presented at the ESOP: European Symposium on Programming, Uppsala, Sweden, 2017, vol. 10201, pp. 287–313.","short":"K. Chatterjee, B. Kragl, S. Mishra, A. Pavlogiannis, in:, H. Yang (Ed.), Springer, 2017, pp. 287–313.","chicago":"Chatterjee, Krishnendu, Bernhard Kragl, Samarth Mishra, and Andreas Pavlogiannis. “Faster Algorithms for Weighted Recursive State Machines.” edited by Hongseok Yang, 10201:287–313. Springer, 2017. <a href=\"https://doi.org/10.1007/978-3-662-54434-1_11\">https://doi.org/10.1007/978-3-662-54434-1_11</a>.","mla":"Chatterjee, Krishnendu, et al. <i>Faster Algorithms for Weighted Recursive State Machines</i>. Edited by Hongseok Yang, vol. 10201, Springer, 2017, pp. 287–313, doi:<a href=\"https://doi.org/10.1007/978-3-662-54434-1_11\">10.1007/978-3-662-54434-1_11</a>.","ama":"Chatterjee K, Kragl B, Mishra S, Pavlogiannis A. Faster algorithms for weighted recursive state machines. In: Yang H, ed. Vol 10201. Springer; 2017:287-313. doi:<a href=\"https://doi.org/10.1007/978-3-662-54434-1_11\">10.1007/978-3-662-54434-1_11</a>","apa":"Chatterjee, K., Kragl, B., Mishra, S., &#38; Pavlogiannis, A. (2017). Faster algorithms for weighted recursive state machines. In H. Yang (Ed.) (Vol. 10201, pp. 287–313). Presented at the ESOP: European Symposium on Programming, Uppsala, Sweden: Springer. <a href=\"https://doi.org/10.1007/978-3-662-54434-1_11\">https://doi.org/10.1007/978-3-662-54434-1_11</a>","ista":"Chatterjee K, Kragl B, Mishra S, Pavlogiannis A. 2017. Faster algorithms for weighted recursive state machines. ESOP: European Symposium on Programming, LNCS, vol. 10201, 287–313."},"doi":"10.1007/978-3-662-54434-1_11","status":"public","alternative_title":["LNCS"],"editor":[{"last_name":"Yang","full_name":"Yang, Hongseok","first_name":"Hongseok"}],"author":[{"orcid":"0000-0002-4561-241X","last_name":"Chatterjee","full_name":"Chatterjee, Krishnendu","first_name":"Krishnendu","id":"2E5DCA20-F248-11E8-B48F-1D18A9856A87"},{"id":"320FC952-F248-11E8-B48F-1D18A9856A87","first_name":"Bernhard","full_name":"Kragl, Bernhard","last_name":"Kragl","orcid":"0000-0001-7745-9117"},{"full_name":"Mishra, Samarth","first_name":"Samarth","last_name":"Mishra"},{"first_name":"Andreas","id":"49704004-F248-11E8-B48F-1D18A9856A87","full_name":"Pavlogiannis, Andreas","last_name":"Pavlogiannis","orcid":"0000-0002-8943-0722"}],"date_published":"2017-03-19T00:00:00Z","user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","abstract":[{"text":"Pushdown systems (PDSs) and recursive state machines (RSMs), which are linearly equivalent, are standard models for interprocedural analysis. Yet RSMs are more convenient as they (a) explicitly model function calls and returns, and (b) specify many natural parameters for algorithmic analysis, e.g., the number of entries and exits. We consider a general framework where RSM transitions are labeled from a semiring and path properties are algebraic with semiring operations, which can model, e.g., interprocedural reachability and dataflow analysis problems. Our main contributions are new algorithms for several fundamental problems. As compared to a direct translation of RSMs to PDSs and the best-known existing bounds of PDSs, our analysis algorithm improves the complexity for finite-height semirings (that subsumes reachability and standard dataflow properties). We further consider the problem of extracting distance values from the representation structures computed by our algorithm, and give efficient algorithms that distinguish the complexity of a one-time preprocessing from the complexity of each individual query. Another advantage of our algorithm is that our improvements carry over to the concurrent setting, where we improve the bestknown complexity for the context-bounded analysis of concurrent RSMs. Finally, we provide a prototype implementation that gives a significant speed-up on several benchmarks from the SLAM/SDV project.","lang":"eng"}],"_id":"1011","publist_id":"6384","day":"19"},{"article_type":"letter_note","publication_identifier":{"issn":["0006-3495"]},"year":"2017","keyword":["biophysics"],"type":"journal_article","oa_version":"Published Version","date_updated":"2021-11-03T10:02:45Z","language":[{"iso":"eng"}],"article_processing_charge":"No","title":"Curvature mediated interactions in highly curved membranes","main_file_link":[{"url":"https://www.cell.com/biophysj/fulltext/S0006-3495(16)33153-8","open_access":"1"}],"article_number":"391a","status":"public","citation":{"short":"A. Vahid Belarghou, A. Šarić, T. Idema, Biophysical Journal 112 (2017).","ieee":"A. Vahid Belarghou, A. Šarić, and T. Idema, “Curvature mediated interactions in highly curved membranes,” <i>Biophysical Journal</i>, vol. 112, no. 3. Elsevier , 2017.","mla":"Vahid Belarghou, Afshin, et al. “Curvature Mediated Interactions in Highly Curved Membranes.” <i>Biophysical Journal</i>, vol. 112, no. 3, 391a, Elsevier , 2017, doi:<a href=\"https://doi.org/10.1016/j.bpj.2016.11.2123\">10.1016/j.bpj.2016.11.2123</a>.","chicago":"Vahid Belarghou, Afshin, Anđela Šarić, and Timon Idema. “Curvature Mediated Interactions in Highly Curved Membranes.” <i>Biophysical Journal</i>. Elsevier , 2017. <a href=\"https://doi.org/10.1016/j.bpj.2016.11.2123\">https://doi.org/10.1016/j.bpj.2016.11.2123</a>.","ama":"Vahid Belarghou A, Šarić A, Idema T. Curvature mediated interactions in highly curved membranes. <i>Biophysical Journal</i>. 2017;112(3). doi:<a href=\"https://doi.org/10.1016/j.bpj.2016.11.2123\">10.1016/j.bpj.2016.11.2123</a>","apa":"Vahid Belarghou, A., Šarić, A., &#38; Idema, T. (2017). Curvature mediated interactions in highly curved membranes. <i>Biophysical Journal</i>. Elsevier . <a href=\"https://doi.org/10.1016/j.bpj.2016.11.2123\">https://doi.org/10.1016/j.bpj.2016.11.2123</a>","ista":"Vahid Belarghou A, Šarić A, Idema T. 2017. Curvature mediated interactions in highly curved membranes. Biophysical Journal. 112(3), 391a."},"doi":"10.1016/j.bpj.2016.11.2123","month":"02","date_created":"2021-10-12T07:47:55Z","day":"03","_id":"10126","publication":"Biophysical Journal","user_id":"8b945eb4-e2f2-11eb-945a-df72226e66a9","author":[{"first_name":"Afshin","full_name":"Vahid Belarghou, Afshin","last_name":"Vahid Belarghou"},{"orcid":"0000-0002-7854-2139","last_name":"Šarić","full_name":"Šarić, Anđela","first_name":"Anđela","id":"bf63d406-f056-11eb-b41d-f263a6566d8b"},{"last_name":"Idema","full_name":"Idema, Timon","first_name":"Timon"}],"date_published":"2017-02-03T00:00:00Z","issue":"3","oa":1,"volume":112,"quality_controlled":"1","publication_status":"published","publisher":"Elsevier ","intvolume":"       112","extern":"1"},{"year":"2017","article_type":"review","type":"journal_article","oa_version":"Published Version","ddc":["530"],"language":[{"iso":"eng"}],"date_updated":"2022-06-07T10:58:31Z","title":"Viewpoint: Microwave quantum states beat the heat","article_processing_charge":"No","department":[{"_id":"JoFi"}],"status":"public","month":"03","date_created":"2018-12-11T11:49:41Z","citation":{"ieee":"J. M. Fink, “Viewpoint: Microwave quantum states beat the heat,” <i>Physics</i>, vol. 10, no. 32. American Physical Society, 2017.","short":"J.M. Fink, Physics 10 (2017).","chicago":"Fink, Johannes M. “Viewpoint: Microwave Quantum States Beat the Heat.” <i>Physics</i>. American Physical Society, 2017. <a href=\"https://doi.org/10.1103/Physics.10.32\">https://doi.org/10.1103/Physics.10.32</a>.","mla":"Fink, Johannes M. “Viewpoint: Microwave Quantum States Beat the Heat.” <i>Physics</i>, vol. 10, no. 32, American Physical Society, 2017, doi:<a href=\"https://doi.org/10.1103/Physics.10.32\">10.1103/Physics.10.32</a>.","ama":"Fink JM. Viewpoint: Microwave quantum states beat the heat. <i>Physics</i>. 2017;10(32). doi:<a href=\"https://doi.org/10.1103/Physics.10.32\">10.1103/Physics.10.32</a>","apa":"Fink, J. M. (2017). Viewpoint: Microwave quantum states beat the heat. <i>Physics</i>. American Physical Society. <a href=\"https://doi.org/10.1103/Physics.10.32\">https://doi.org/10.1103/Physics.10.32</a>","ista":"Fink JM. 2017. Viewpoint: Microwave quantum states beat the heat. Physics. 10(32)."},"doi":"10.1103/Physics.10.32","publist_id":"6382","_id":"1013","day":"27","author":[{"full_name":"Fink, Johannes M","first_name":"Johannes M","id":"4B591CBA-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0001-8112-028X","last_name":"Fink"}],"issue":"32","date_published":"2017-03-27T00:00:00Z","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","abstract":[{"lang":"eng","text":"From microwave ovens to satellite television to the GPS and data services on our mobile phones, microwave technology is everywhere today. But one technology that has so far failed to prove its worth in this wavelength regime is quantum communication that uses the states of single photons as information carriers. This is because single microwave photons, as opposed to classical microwave signals, are extremely vulnerable to noise from thermal excitations in the channels through which they travel. Two new independent studies, one by Ze-Liang Xiang at Technische Universität Wien (Vienna), Austria, and colleagues [1] and another by Benoît Vermersch at the University of Innsbruck, also in Austria, and colleagues [2] now describe a theoretical protocol for microwave quantum communication that is resilient to thermal and other types of noise. Their approach could become a powerful technique to establish fast links between superconducting data processors in a future all-microwave quantum network."}],"publication":"Physics","oa":1,"file_date_updated":"2019-10-24T11:38:14Z","volume":10,"file":[{"file_id":"6968","creator":"dernst","file_size":193622,"file_name":"2017_Physics_Fink.pdf","success":1,"content_type":"application/pdf","date_updated":"2019-10-24T11:38:14Z","relation":"main_file","access_level":"open_access","date_created":"2019-10-24T11:38:14Z"}],"quality_controlled":"1","intvolume":"        10","has_accepted_license":"1","publisher":"American Physical Society","publication_status":"published"},{"day":"12","publist_id":"6381","_id":"1014","publication":"SIAM Journal on Mathematical Analysis","abstract":[{"lang":"eng","text":"We consider the large-scale regularity of solutions to second-order linear elliptic equations with random coefficient fields. In contrast to previous works on regularity theory for random elliptic operators, our interest is in the regularity at the boundary: We consider problems posed on the half-space with homogeneous Dirichlet boundary conditions and derive an associated C1,α-type large-scale regularity theory in the form of a corresponding decay estimate for the homogenization-adapted tilt-excess. This regularity theory entails an associated Liouville-type theorem. The results are based on the existence of homogenization correctors adapted to the half-space setting, which we construct-by an entirely deterministic argument-as a modification of the homogenization corrector on the whole space. This adaption procedure is carried out inductively on larger scales, crucially relying on the regularity theory already established on smaller scales."}],"user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","issue":"1","author":[{"last_name":"Fischer","orcid":"0000-0002-0479-558X","id":"2C12A0B0-F248-11E8-B48F-1D18A9856A87","first_name":"Julian L","full_name":"Fischer, Julian L"},{"last_name":"Raithel","full_name":"Raithel, Claudia","first_name":"Claudia"}],"date_published":"2017-01-12T00:00:00Z","status":"public","doi":"10.1137/16M1070384","citation":{"ieee":"J. L. Fischer and C. Raithel, “Liouville principles and a large-scale regularity theory for random elliptic operators on the half-space,” <i>SIAM Journal on Mathematical Analysis</i>, vol. 49, no. 1. Society for Industrial and Applied Mathematics , pp. 82–114, 2017.","short":"J.L. Fischer, C. Raithel, SIAM Journal on Mathematical Analysis 49 (2017) 82–114.","mla":"Fischer, Julian L., and Claudia Raithel. “Liouville Principles and a Large-Scale Regularity Theory for Random Elliptic Operators on the Half-Space.” <i>SIAM Journal on Mathematical Analysis</i>, vol. 49, no. 1, Society for Industrial and Applied Mathematics , 2017, pp. 82–114, doi:<a href=\"https://doi.org/10.1137/16M1070384\">10.1137/16M1070384</a>.","chicago":"Fischer, Julian L, and Claudia Raithel. “Liouville Principles and a Large-Scale Regularity Theory for Random Elliptic Operators on the Half-Space.” <i>SIAM Journal on Mathematical Analysis</i>. Society for Industrial and Applied Mathematics , 2017. <a href=\"https://doi.org/10.1137/16M1070384\">https://doi.org/10.1137/16M1070384</a>.","apa":"Fischer, J. L., &#38; Raithel, C. (2017). Liouville principles and a large-scale regularity theory for random elliptic operators on the half-space. <i>SIAM Journal on Mathematical Analysis</i>. Society for Industrial and Applied Mathematics . <a href=\"https://doi.org/10.1137/16M1070384\">https://doi.org/10.1137/16M1070384</a>","ama":"Fischer JL, Raithel C. Liouville principles and a large-scale regularity theory for random elliptic operators on the half-space. <i>SIAM Journal on Mathematical Analysis</i>. 2017;49(1):82-114. doi:<a href=\"https://doi.org/10.1137/16M1070384\">10.1137/16M1070384</a>","ista":"Fischer JL, Raithel C. 2017. Liouville principles and a large-scale regularity theory for random elliptic operators on the half-space. SIAM Journal on Mathematical Analysis. 49(1), 82–114."},"date_created":"2018-12-11T11:49:41Z","month":"01","quality_controlled":"1","isi":1,"publication_status":"published","publisher":"Society for Industrial and Applied Mathematics ","extern":"1","intvolume":"        49","oa":1,"volume":49,"page":"82 - 114","type":"journal_article","oa_version":"Submitted Version","year":"2017","publication_identifier":{"issn":["00361410"]},"external_id":{"isi":["000396681800004"]},"article_processing_charge":"No","title":"Liouville principles and a large-scale regularity theory for random elliptic operators on the half-space","main_file_link":[{"open_access":"1","url":"https://arxiv.org/abs/1703.04328"}],"date_updated":"2023-09-22T09:43:36Z","language":[{"iso":"eng"}]},{"article_number":"45702","department":[{"_id":"MiLe"}],"article_processing_charge":"No","title":"Vortices and antivortices in two-dimensional ultracold Fermi gases","date_updated":"2023-09-22T09:43:10Z","language":[{"iso":"eng"}],"ddc":["539"],"oa_version":"Published Version","pubrep_id":"809","type":"journal_article","publication_identifier":{"issn":["20452322"]},"year":"2017","external_id":{"isi":["000398148100001"]},"has_accepted_license":"1","publisher":"Nature Publishing Group","publication_status":"published","intvolume":"         7","scopus_import":"1","isi":1,"quality_controlled":"1","file":[{"date_created":"2018-12-12T10:12:32Z","relation":"main_file","date_updated":"2018-12-12T10:12:32Z","access_level":"open_access","content_type":"application/pdf","file_name":"IST-2017-809-v1+1_srep45702.pdf","file_size":478289,"creator":"system","file_id":"4950"}],"volume":7,"file_date_updated":"2018-12-12T10:12:32Z","oa":1,"abstract":[{"text":"Vortices are commonly observed in the context of classical hydrodynamics: from whirlpools after stirring the coffee in a cup to a violent atmospheric phenomenon such as a tornado, all classical vortices are characterized by an arbitrary circulation value of the local velocity field. On the other hand the appearance of vortices with quantized circulation represents one of the fundamental signatures of macroscopic quantum phenomena. In two-dimensional superfluids quantized vortices play a key role in determining finite-temperature properties, as the superfluid phase and the normal state are separated by a vortex unbinding transition, the Berezinskii-Kosterlitz-Thouless transition. Very recent experiments with two-dimensional superfluid fermions motivate the present work: we present theoretical results based on the renormalization group showing that the universal jump of the superfluid density and the critical temperature crucially depend on the interaction strength, providing a strong benchmark for forthcoming investigations.","lang":"eng"}],"publication":"Scientific Reports","user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","author":[{"full_name":"Bighin, Giacomo","id":"4CA96FD4-F248-11E8-B48F-1D18A9856A87","first_name":"Giacomo","orcid":"0000-0001-8823-9777","last_name":"Bighin"},{"full_name":"Salasnich, Luca","first_name":"Luca","last_name":"Salasnich"}],"date_published":"2017-04-04T00:00:00Z","day":"04","tmp":{"legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","image":"/images/cc_by.png","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","short":"CC BY (4.0)"},"publist_id":"6380","_id":"1015","citation":{"short":"G. Bighin, L. Salasnich, Scientific Reports 7 (2017).","ieee":"G. Bighin and L. Salasnich, “Vortices and antivortices in two-dimensional ultracold Fermi gases,” <i>Scientific Reports</i>, vol. 7. Nature Publishing Group, 2017.","mla":"Bighin, Giacomo, and Luca Salasnich. “Vortices and Antivortices in Two-Dimensional Ultracold Fermi Gases.” <i>Scientific Reports</i>, vol. 7, 45702, Nature Publishing Group, 2017, doi:<a href=\"https://doi.org/10.1038/srep45702\">10.1038/srep45702</a>.","chicago":"Bighin, Giacomo, and Luca Salasnich. “Vortices and Antivortices in Two-Dimensional Ultracold Fermi Gases.” <i>Scientific Reports</i>. Nature Publishing Group, 2017. <a href=\"https://doi.org/10.1038/srep45702\">https://doi.org/10.1038/srep45702</a>.","ama":"Bighin G, Salasnich L. Vortices and antivortices in two-dimensional ultracold Fermi gases. <i>Scientific Reports</i>. 2017;7. doi:<a href=\"https://doi.org/10.1038/srep45702\">10.1038/srep45702</a>","apa":"Bighin, G., &#38; Salasnich, L. (2017). Vortices and antivortices in two-dimensional ultracold Fermi gases. <i>Scientific Reports</i>. Nature Publishing Group. <a href=\"https://doi.org/10.1038/srep45702\">https://doi.org/10.1038/srep45702</a>","ista":"Bighin G, Salasnich L. 2017. Vortices and antivortices in two-dimensional ultracold Fermi gases. Scientific Reports. 7, 45702."},"doi":"10.1038/srep45702","date_created":"2018-12-11T11:49:42Z","month":"04","status":"public"}]