[{"date_updated":"2025-07-10T11:53:22Z","_id":"6415","page":"63-68","status":"public","citation":{"ieee":"S. Cremer, “Pathogens and disease defense of invasive ants,” <i>Current Opinion in Insect Science</i>, vol. 33. Elsevier, pp. 63–68, 2019.","mla":"Cremer, Sylvia. “Pathogens and Disease Defense of Invasive Ants.” <i>Current Opinion in Insect Science</i>, vol. 33, Elsevier, 2019, pp. 63–68, doi:<a href=\"https://doi.org/10.1016/j.cois.2019.03.011\">10.1016/j.cois.2019.03.011</a>.","ama":"Cremer S. Pathogens and disease defense of invasive ants. <i>Current Opinion in Insect Science</i>. 2019;33:63-68. doi:<a href=\"https://doi.org/10.1016/j.cois.2019.03.011\">10.1016/j.cois.2019.03.011</a>","ista":"Cremer S. 2019. Pathogens and disease defense of invasive ants. Current Opinion in Insect Science. 33, 63–68.","apa":"Cremer, S. (2019). Pathogens and disease defense of invasive ants. <i>Current Opinion in Insect Science</i>. Elsevier. <a href=\"https://doi.org/10.1016/j.cois.2019.03.011\">https://doi.org/10.1016/j.cois.2019.03.011</a>","short":"S. Cremer, Current Opinion in Insect Science 33 (2019) 63–68.","chicago":"Cremer, Sylvia. “Pathogens and Disease Defense of Invasive Ants.” <i>Current Opinion in Insect Science</i>. Elsevier, 2019. <a href=\"https://doi.org/10.1016/j.cois.2019.03.011\">https://doi.org/10.1016/j.cois.2019.03.011</a>."},"month":"06","language":[{"iso":"eng"}],"publication_status":"published","publisher":"Elsevier","day":"01","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","department":[{"_id":"SyCr"}],"doi":"10.1016/j.cois.2019.03.011","year":"2019","external_id":{"isi":["000477666000012"]},"scopus_import":"1","publication":"Current Opinion in Insect Science","quality_controlled":"1","intvolume":"        33","publication_identifier":{"eissn":["2214-5753"],"issn":["2214-5745"]},"article_processing_charge":"No","oa_version":"None","author":[{"orcid":"0000-0002-2193-3868","first_name":"Sylvia","id":"2F64EC8C-F248-11E8-B48F-1D18A9856A87","last_name":"Cremer","full_name":"Cremer, Sylvia"}],"title":"Pathogens and disease defense of invasive ants","isi":1,"abstract":[{"lang":"eng","text":"Ant invasions are often harmful to native species communities. Their pathogens and host disease defense mechanisms may be one component of their devastating success. First, they can introduce harmful diseases to their competitors in the introduced range, to which they themselves are tolerant. Second, their supercolonial social structure of huge multi-queen nest networks means that they will harbor a broad pathogen spectrum and high pathogen load while remaining resilient, unlike the smaller, territorial colonies of the native species. Thus, it is likely that invasive ants act as a disease reservoir, promoting their competitive advantage and invasive success."}],"type":"journal_article","date_published":"2019-06-01T00:00:00Z","volume":33,"date_created":"2019-05-13T07:58:36Z"},{"file":[{"relation":"main_file","content_type":"application/pdf","date_updated":"2020-07-14T12:47:29Z","access_level":"open_access","file_size":1256303,"checksum":"7d0ede297b6741f3dc89cd59017c7642","date_created":"2019-05-14T08:29:38Z","file_name":"2019_GBE_Huylmans.pdf","creator":"dernst","file_id":"6446"}],"month":"04","page":"1033-1044","_id":"6418","citation":{"chicago":"Huylmans, Ann K, Melissa A Toups, Ariana Macon, William J Gammerdinger, and Beatriz Vicoso. “Sex-Biased Gene Expression and Dosage Compensation on the Artemia Franciscana Z-Chromosome.” <i>Genome Biology and Evolution</i>. Oxford University Press, 2019. <a href=\"https://doi.org/10.1093/gbe/evz053\">https://doi.org/10.1093/gbe/evz053</a>.","apa":"Huylmans, A. K., Toups, M. A., Macon, A., Gammerdinger, W. J., &#38; Vicoso, B. (2019). Sex-biased gene expression and dosage compensation on the Artemia franciscana Z-chromosome. <i>Genome Biology and Evolution</i>. Oxford University Press. <a href=\"https://doi.org/10.1093/gbe/evz053\">https://doi.org/10.1093/gbe/evz053</a>","short":"A.K. Huylmans, M.A. Toups, A. Macon, W.J. Gammerdinger, B. Vicoso, Genome Biology and Evolution 11 (2019) 1033–1044.","ista":"Huylmans AK, Toups MA, Macon A, Gammerdinger WJ, Vicoso B. 2019. Sex-biased gene expression and dosage compensation on the Artemia franciscana Z-chromosome. Genome biology and evolution. 11(4), 1033–1044.","ama":"Huylmans AK, Toups MA, Macon A, Gammerdinger WJ, Vicoso B. Sex-biased gene expression and dosage compensation on the Artemia franciscana Z-chromosome. <i>Genome biology and evolution</i>. 2019;11(4):1033-1044. doi:<a href=\"https://doi.org/10.1093/gbe/evz053\">10.1093/gbe/evz053</a>","mla":"Huylmans, Ann K., et al. “Sex-Biased Gene Expression and Dosage Compensation on the Artemia Franciscana Z-Chromosome.” <i>Genome Biology and Evolution</i>, vol. 11, no. 4, Oxford University Press, 2019, pp. 1033–44, doi:<a href=\"https://doi.org/10.1093/gbe/evz053\">10.1093/gbe/evz053</a>.","ieee":"A. K. Huylmans, M. A. Toups, A. Macon, W. J. Gammerdinger, and B. Vicoso, “Sex-biased gene expression and dosage compensation on the Artemia franciscana Z-chromosome,” <i>Genome biology and evolution</i>, vol. 11, no. 4. Oxford University Press, pp. 1033–1044, 2019."},"date_updated":"2025-04-14T07:41:21Z","publisher":"Oxford University Press","language":[{"iso":"eng"}],"year":"2019","publication_identifier":{"eissn":["1759-6653"]},"quality_controlled":"1","article_processing_charge":"No","ddc":["570"],"publication":"Genome biology and evolution","has_accepted_license":"1","type":"journal_article","date_published":"2019-04-01T00:00:00Z","title":"Sex-biased gene expression and dosage compensation on the Artemia franciscana Z-chromosome","author":[{"first_name":"Ann K","id":"4C0A3874-F248-11E8-B48F-1D18A9856A87","last_name":"Huylmans","full_name":"Huylmans, Ann K","orcid":"0000-0001-8871-4961"},{"orcid":"0000-0002-9752-7380","full_name":"Toups, Melissa A","first_name":"Melissa A","id":"4E099E4E-F248-11E8-B48F-1D18A9856A87","last_name":"Toups"},{"full_name":"Macon, Ariana","id":"2A0848E2-F248-11E8-B48F-1D18A9856A87","first_name":"Ariana","last_name":"Macon"},{"last_name":"Gammerdinger","id":"3A7E01BC-F248-11E8-B48F-1D18A9856A87","first_name":"William J","full_name":"Gammerdinger, William J","orcid":"0000-0001-9638-1220"},{"first_name":"Beatriz","id":"49E1C5C6-F248-11E8-B48F-1D18A9856A87","last_name":"Vicoso","full_name":"Vicoso, Beatriz","orcid":"0000-0002-4579-8306"}],"isi":1,"ec_funded":1,"day":"01","project":[{"call_identifier":"H2020","grant_number":"715257","_id":"250BDE62-B435-11E9-9278-68D0E5697425","name":"Prevalence and Influence of Sexual Antagonism on Genome Evolution"}],"acknowledged_ssus":[{"_id":"ScienComp"}],"doi":"10.1093/gbe/evz053","user_id":"4359f0d1-fa6c-11eb-b949-802e58b17ae8","department":[{"_id":"BeVi"}],"status":"public","publication_status":"published","file_date_updated":"2020-07-14T12:47:29Z","oa":1,"issue":"4","intvolume":"        11","tmp":{"short":"CC BY (4.0)","image":"/images/cc_by.png","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)"},"external_id":{"isi":["000476569800003"]},"scopus_import":"1","related_material":{"record":[{"status":"public","relation":"popular_science","id":"6060"}]},"abstract":[{"lang":"eng","text":"Males and females of Artemia franciscana, a crustacean commonly used in the aquarium trade, are highly dimorphic. Sex is determined by a pair of ZW chromosomes, but the nature and extent of differentiation of these chromosomes is unknown. Here, we characterize the Z chromosome by detecting genomic regions that show lower genomic coverage in female than in male samples, and regions that harbor an excess of female-specific SNPs. We detect many Z-specific genes, which no longer have homologs on the W, but also Z-linked genes that appear to have diverged very recently from their existing W-linked homolog. We assess patterns of male and female expression in two tissues with extensive morphological dimorphism, gonads, and heads. In agreement with their morphology, sex-biased expression is common in both tissues. Interestingly, the Z chromosome is not enriched for sex-biased genes, and seems to in fact have a mechanism of dosage compensation that leads to equal expression in males and in females. Both of these patterns are contrary to most ZW systems studied so far, making A. franciscana an excellent model for investigating the interplay between the evolution of sexual dimorphism and dosage compensation, as well as Z chromosome evolution in general."}],"date_created":"2019-05-13T07:58:38Z","volume":11,"oa_version":"Published Version"},{"scopus_import":"1","external_id":{"isi":["000516713900007"]},"oa_version":"Submitted Version","date_created":"2019-05-13T08:13:46Z","abstract":[{"lang":"eng","text":"Safety and security are major concerns in the development of Cyber-Physical Systems (CPS). Signal temporal logic (STL) was proposedas a language to specify and monitor the correctness of CPS relativeto formalized requirements. Incorporating STL into a developmentprocess enables designers to automatically monitor and diagnosetraces, compute robustness estimates based on requirements, andperform requirement falsification, leading to productivity gains inverification and validation activities; however, in its current formSTL is agnostic to the input/output classification of signals, andthis negatively impacts the relevance of the analysis results.In this paper we propose to make the interface explicit in theSTL language by introducing input/output signal declarations. Wethen define new measures of input vacuity and output robustnessthat better reflect the nature of the system and the specification in-tent. The resulting framework, which we call interface-aware signaltemporal logic (IA-STL), aids verification and validation activities.We demonstrate the benefits of IA-STL on several CPS analysisactivities: (1) robustness-driven sensitivity analysis, (2) falsificationand (3) fault localization. We describe an implementation of our en-hancement to STL and associated notions of robustness and vacuityin a prototype extension of Breach, a MATLAB®/Simulink®toolboxfor CPS verification and validation. We explore these methodologi-cal improvements and evaluate our results on two examples fromthe automotive domain: a benchmark powertrain control systemand a hydrogen fuel cell system."}],"publication_status":"published","status":"public","doi":"10.1145/3302504.3311800","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","department":[{"_id":"ToHe"}],"day":"16","project":[{"name":"Rigorous Systems Engineering","call_identifier":"FWF","_id":"25832EC2-B435-11E9-9278-68D0E5697425","grant_number":"S 11407_N23"},{"_id":"25F42A32-B435-11E9-9278-68D0E5697425","grant_number":"Z211","call_identifier":"FWF","name":"Formal methods for the design and analysis of complex systems"}],"file_date_updated":"2020-10-08T17:25:45Z","oa":1,"publication":"Proceedings of the 2019 22nd ACM International Conference on Hybrid Systems: Computation and Control","ddc":["000"],"article_processing_charge":"No","publication_identifier":{"isbn":["9781450362825"]},"quality_controlled":"1","isi":1,"title":"Interface-aware signal temporal logic","author":[{"orcid":"0000-0001-5199-3143","full_name":"Ferrere, Thomas","last_name":"Ferrere","first_name":"Thomas","id":"40960E6E-F248-11E8-B48F-1D18A9856A87"},{"first_name":"Dejan","id":"41BCEE5C-F248-11E8-B48F-1D18A9856A87","last_name":"Nickovic","full_name":"Nickovic, Dejan"},{"full_name":"Donzé, Alexandre","last_name":"Donzé","first_name":"Alexandre"},{"full_name":"Ito, Hisahiro","first_name":"Hisahiro","last_name":"Ito"},{"full_name":"Kapinski, James","first_name":"James","last_name":"Kapinski"}],"date_published":"2019-04-16T00:00:00Z","has_accepted_license":"1","type":"conference","publisher":"ACM","language":[{"iso":"eng"}],"month":"04","date_updated":"2025-07-10T11:53:22Z","_id":"6428","citation":{"chicago":"Ferrere, Thomas, Dejan Nickovic, Alexandre Donzé, Hisahiro Ito, and James Kapinski. “Interface-Aware Signal Temporal Logic.” In <i>Proceedings of the 2019 22nd ACM International Conference on Hybrid Systems: Computation and Control</i>, 57–66. ACM, 2019. <a href=\"https://doi.org/10.1145/3302504.3311800\">https://doi.org/10.1145/3302504.3311800</a>.","apa":"Ferrere, T., Nickovic, D., Donzé, A., Ito, H., &#38; Kapinski, J. (2019). Interface-aware signal temporal logic. In <i>Proceedings of the 2019 22nd ACM International Conference on Hybrid Systems: Computation and Control</i> (pp. 57–66). Montreal, Canada: ACM. <a href=\"https://doi.org/10.1145/3302504.3311800\">https://doi.org/10.1145/3302504.3311800</a>","short":"T. Ferrere, D. Nickovic, A. Donzé, H. Ito, J. Kapinski, in:, Proceedings of the 2019 22nd ACM International Conference on Hybrid Systems: Computation and Control, ACM, 2019, pp. 57–66.","ista":"Ferrere T, Nickovic D, Donzé A, Ito H, Kapinski J. 2019. Interface-aware signal temporal logic. Proceedings of the 2019 22nd ACM International Conference on Hybrid Systems: Computation and Control. HSCC: Hybrid Systems - Computation and Control, 57–66.","mla":"Ferrere, Thomas, et al. “Interface-Aware Signal Temporal Logic.” <i>Proceedings of the 2019 22nd ACM International Conference on Hybrid Systems: Computation and Control</i>, ACM, 2019, pp. 57–66, doi:<a href=\"https://doi.org/10.1145/3302504.3311800\">10.1145/3302504.3311800</a>.","ama":"Ferrere T, Nickovic D, Donzé A, Ito H, Kapinski J. Interface-aware signal temporal logic. In: <i>Proceedings of the 2019 22nd ACM International Conference on Hybrid Systems: Computation and Control</i>. ACM; 2019:57-66. doi:<a href=\"https://doi.org/10.1145/3302504.3311800\">10.1145/3302504.3311800</a>","ieee":"T. Ferrere, D. Nickovic, A. Donzé, H. Ito, and J. Kapinski, “Interface-aware signal temporal logic,” in <i>Proceedings of the 2019 22nd ACM International Conference on Hybrid Systems: Computation and Control</i>, Montreal, Canada, 2019, pp. 57–66."},"page":"57-66","file":[{"file_name":"2019_ACM_Ferrere.pdf","date_created":"2020-10-08T17:25:45Z","checksum":"b8e967081e051d1c55ca5d18fb187890","file_size":1055421,"file_id":"8633","creator":"dernst","content_type":"application/pdf","relation":"main_file","access_level":"open_access","date_updated":"2020-10-08T17:25:45Z","success":1}],"conference":{"name":"HSCC: Hybrid Systems - Computation and Control","start_date":"2019-04-16","location":"Montreal, Canada","end_date":"2019-04-18"},"year":"2019"},{"ddc":["000","005"],"publication":"ACM Transactions on Graphics","quality_controlled":"1","article_processing_charge":"No","title":"Fundamental solutions for water wave animation","author":[{"id":"2B14B676-F248-11E8-B48F-1D18A9856A87","first_name":"Camille","last_name":"Schreck","full_name":"Schreck, Camille"},{"last_name":"Hafner","first_name":"Christian","id":"400429CC-F248-11E8-B48F-1D18A9856A87","full_name":"Hafner, Christian"},{"orcid":"0000-0001-6646-5546","id":"3C61F1D2-F248-11E8-B48F-1D18A9856A87","first_name":"Christopher J","last_name":"Wojtan","full_name":"Wojtan, Christopher J"}],"isi":1,"ec_funded":1,"type":"journal_article","has_accepted_license":"1","date_published":"2019-07-01T00:00:00Z","month":"07","citation":{"ieee":"C. Schreck, C. Hafner, and C. Wojtan, “Fundamental solutions for water wave animation,” <i>ACM Transactions on Graphics</i>, vol. 38, no. 4. ACM, 2019.","mla":"Schreck, Camille, et al. “Fundamental Solutions for Water Wave Animation.” <i>ACM Transactions on Graphics</i>, vol. 38, no. 4, 130, ACM, 2019, doi:<a href=\"https://doi.org/10.1145/3306346.3323002\">10.1145/3306346.3323002</a>.","ama":"Schreck C, Hafner C, Wojtan C. Fundamental solutions for water wave animation. <i>ACM Transactions on Graphics</i>. 2019;38(4). doi:<a href=\"https://doi.org/10.1145/3306346.3323002\">10.1145/3306346.3323002</a>","ista":"Schreck C, Hafner C, Wojtan C. 2019. Fundamental solutions for water wave animation. ACM Transactions on Graphics. 38(4), 130.","short":"C. Schreck, C. Hafner, C. Wojtan, ACM Transactions on Graphics 38 (2019).","apa":"Schreck, C., Hafner, C., &#38; Wojtan, C. (2019). Fundamental solutions for water wave animation. <i>ACM Transactions on Graphics</i>. ACM. <a href=\"https://doi.org/10.1145/3306346.3323002\">https://doi.org/10.1145/3306346.3323002</a>","chicago":"Schreck, Camille, Christian Hafner, and Chris Wojtan. “Fundamental Solutions for Water Wave Animation.” <i>ACM Transactions on Graphics</i>. ACM, 2019. <a href=\"https://doi.org/10.1145/3306346.3323002\">https://doi.org/10.1145/3306346.3323002</a>."},"_id":"6442","date_updated":"2024-10-22T09:58:22Z","publisher":"ACM","language":[{"iso":"eng"}],"file":[{"date_updated":"2020-07-14T12:47:30Z","access_level":"open_access","content_type":"application/pdf","relation":"main_file","file_id":"6443","creator":"dernst","file_name":"2019_ACM_Schreck.pdf","file_size":44328918,"checksum":"1b737dfe3e051aba8f3f4ab1dceda673","date_created":"2019-05-14T07:03:55Z"}],"year":"2019","external_id":{"isi":["000475740600104"]},"scopus_import":"1","intvolume":"        38","oa_version":"Submitted Version","article_number":"130","related_material":{"link":[{"description":"News on IST Homepage","relation":"press_release","url":"https://ist.ac.at/en/news/new-method-makes-realistic-water-wave-animations-more-efficient/"}]},"abstract":[{"lang":"eng","text":"This paper investigates the use of fundamental solutions for animating detailed linear water surface waves. We first propose an analytical solution for efficiently animating circular ripples in closed form. We then show how to adapt the method of fundamental solutions (MFS) to create ambient waves interacting with complex obstacles. Subsequently, we present a novel wavelet-based discretization which outperforms the state of the art MFS approach for simulating time-varying water surface waves with moving obstacles. Our results feature high-resolution spatial details, interactions with complex boundaries, and large open ocean domains. Our method compares favorably with previous work as well as known analytical solutions. We also present comparisons between our method and real world examples."}],"volume":38,"date_created":"2019-05-14T07:04:06Z","status":"public","publication_status":"published","project":[{"name":"Big Splash: Efficient Simulation of Natural Phenomena at Extremely Large Scales","grant_number":"638176","_id":"2533E772-B435-11E9-9278-68D0E5697425","call_identifier":"H2020"},{"name":"MATERIALIZABLE: Intelligent fabrication-oriented Computational Design and Modeling","grant_number":"715767","_id":"24F9549A-B435-11E9-9278-68D0E5697425","call_identifier":"H2020"},{"name":"International IST Doctoral Program","call_identifier":"H2020","_id":"2564DBCA-B435-11E9-9278-68D0E5697425","grant_number":"665385"}],"day":"01","doi":"10.1145/3306346.3323002","acknowledged_ssus":[{"_id":"ScienComp"}],"department":[{"_id":"ChWo"}],"user_id":"4359f0d1-fa6c-11eb-b949-802e58b17ae8","issue":"4","file_date_updated":"2020-07-14T12:47:30Z","oa":1},{"publisher":"Elsevier","language":[{"iso":"eng"}],"month":"05","_id":"6451","date_updated":"2023-09-08T11:38:04Z","page":"243-256","citation":{"chicago":"Amberg, Nicole, Panagiota A. Sotiropoulou, Gerwin Heller, Beate M. Lichtenberger, Martin Holcmann, Bahar Camurdanoglu, Temenuschka Baykuscheva-Gentscheva, Cedric Blanpain, and Maria Sibilia. “EGFR Controls Hair Shaft Differentiation in a P53-Independent Manner.” <i>IScience</i>. Elsevier, 2019. <a href=\"https://doi.org/10.1016/j.isci.2019.04.018\">https://doi.org/10.1016/j.isci.2019.04.018</a>.","ieee":"N. Amberg <i>et al.</i>, “EGFR controls hair shaft differentiation in a p53-independent manner,” <i>iScience</i>, vol. 15. Elsevier, pp. 243–256, 2019.","ama":"Amberg N, Sotiropoulou PA, Heller G, et al. EGFR controls hair shaft differentiation in a p53-independent manner. <i>iScience</i>. 2019;15:243-256. doi:<a href=\"https://doi.org/10.1016/j.isci.2019.04.018\">10.1016/j.isci.2019.04.018</a>","mla":"Amberg, Nicole, et al. “EGFR Controls Hair Shaft Differentiation in a P53-Independent Manner.” <i>IScience</i>, vol. 15, Elsevier, 2019, pp. 243–56, doi:<a href=\"https://doi.org/10.1016/j.isci.2019.04.018\">10.1016/j.isci.2019.04.018</a>.","ista":"Amberg N, Sotiropoulou PA, Heller G, Lichtenberger BM, Holcmann M, Camurdanoglu B, Baykuscheva-Gentscheva T, Blanpain C, Sibilia M. 2019. EGFR controls hair shaft differentiation in a p53-independent manner. iScience. 15, 243–256.","short":"N. Amberg, P.A. Sotiropoulou, G. Heller, B.M. Lichtenberger, M. Holcmann, B. Camurdanoglu, T. Baykuscheva-Gentscheva, C. Blanpain, M. Sibilia, IScience 15 (2019) 243–256.","apa":"Amberg, N., Sotiropoulou, P. A., Heller, G., Lichtenberger, B. M., Holcmann, M., Camurdanoglu, B., … Sibilia, M. (2019). EGFR controls hair shaft differentiation in a p53-independent manner. <i>IScience</i>. Elsevier. <a href=\"https://doi.org/10.1016/j.isci.2019.04.018\">https://doi.org/10.1016/j.isci.2019.04.018</a>"},"file":[{"date_created":"2019-05-14T11:51:51Z","file_size":8365970,"checksum":"a9ad2296726c9474ad5860c9c2f53622","file_name":"2019_iScience_Amberg.pdf","creator":"dernst","file_id":"6452","relation":"main_file","content_type":"application/pdf","access_level":"open_access","date_updated":"2020-07-14T12:47:30Z"}],"year":"2019","publication":"iScience","ddc":["570"],"article_processing_charge":"No","publication_identifier":{"issn":["2589-0042"]},"quality_controlled":"1","isi":1,"title":"EGFR controls hair shaft differentiation in a p53-independent manner","author":[{"full_name":"Amberg, Nicole","last_name":"Amberg","id":"4CD6AAC6-F248-11E8-B48F-1D18A9856A87","first_name":"Nicole","orcid":"0000-0002-3183-8207"},{"full_name":"Sotiropoulou, Panagiota A.","last_name":"Sotiropoulou","first_name":"Panagiota A."},{"full_name":"Heller, Gerwin","last_name":"Heller","first_name":"Gerwin"},{"full_name":"Lichtenberger, Beate M.","last_name":"Lichtenberger","first_name":"Beate M."},{"last_name":"Holcmann","first_name":"Martin","full_name":"Holcmann, Martin"},{"full_name":"Camurdanoglu, Bahar","first_name":"Bahar","last_name":"Camurdanoglu"},{"full_name":"Baykuscheva-Gentscheva, Temenuschka","last_name":"Baykuscheva-Gentscheva","first_name":"Temenuschka"},{"full_name":"Blanpain, Cedric","first_name":"Cedric","last_name":"Blanpain"},{"last_name":"Sibilia","first_name":"Maria","full_name":"Sibilia, Maria"}],"date_published":"2019-05-31T00:00:00Z","has_accepted_license":"1","type":"journal_article","publication_status":"published","status":"public","doi":"10.1016/j.isci.2019.04.018","department":[{"_id":"SiHi"}],"user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","day":"31","file_date_updated":"2020-07-14T12:47:30Z","oa":1,"external_id":{"isi":["000470104600022"]},"tmp":{"legal_code_url":"https://creativecommons.org/licenses/by-nc-nd/4.0/legalcode","short":"CC BY-NC-ND (4.0)","image":"/images/cc_by_nc_nd.png","name":"Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International (CC BY-NC-ND 4.0)"},"intvolume":"        15","license":"https://creativecommons.org/licenses/by-nc-nd/4.0/","oa_version":"Published Version","volume":15,"date_created":"2019-05-14T11:47:40Z","abstract":[{"text":"Epidermal growth factor receptor (EGFR) signaling controls skin development and homeostasis inmice and humans, and its deficiency causes severe skin inflammation, which might affect epidermalstem cell behavior. Here, we describe the inflammation-independent effects of EGFR deficiency dur-ing skin morphogenesis and in adult hair follicle stem cells. Expression and alternative splicing analysisof RNA sequencing data from interfollicular epidermis and outer root sheath indicate that EGFR con-trols genes involved in epidermal differentiation and also in centrosome function, DNA damage, cellcycle, and apoptosis. Genetic experiments employingp53deletion in EGFR-deficient epidermis revealthat EGFR signaling exhibitsp53-dependent functions in proliferative epidermal compartments, aswell asp53-independent functions in differentiated hair shaft keratinocytes. Loss of EGFR leads toabsence of LEF1 protein specifically in the innermost epithelial hair layers, resulting in disorganizationof medulla cells. Thus, our results uncover important spatial and temporal features of cell-autonomousEGFR functions in the epidermis.","lang":"eng"}]},{"publication":"Neuron","ddc":["570"],"article_processing_charge":"No","quality_controlled":"1","publication_identifier":{"eissn":["1097-4199"],"issn":["0896-6273"]},"ec_funded":1,"isi":1,"author":[{"full_name":"Ortiz-Álvarez, G","first_name":"G","last_name":"Ortiz-Álvarez"},{"full_name":"Daclin, M","first_name":"M","last_name":"Daclin"},{"first_name":"A","last_name":"Shihavuddin","full_name":"Shihavuddin, A"},{"first_name":"P","last_name":"Lansade","full_name":"Lansade, P"},{"last_name":"Fortoul","first_name":"A","full_name":"Fortoul, A"},{"first_name":"M","last_name":"Faucourt","full_name":"Faucourt, M"},{"full_name":"Clavreul, S","first_name":"S","last_name":"Clavreul"},{"full_name":"Lalioti, ME","last_name":"Lalioti","first_name":"ME"},{"full_name":"Taraviras, S","first_name":"S","last_name":"Taraviras"},{"id":"37B36620-F248-11E8-B48F-1D18A9856A87","first_name":"Simon","last_name":"Hippenmeyer","full_name":"Hippenmeyer, Simon","orcid":"0000-0003-2279-1061"},{"first_name":"J","last_name":"Livet","full_name":"Livet, J"},{"full_name":"Meunier, A","first_name":"A","last_name":"Meunier"},{"full_name":"Genovesio, A","last_name":"Genovesio","first_name":"A"},{"full_name":"Spassky, N","last_name":"Spassky","first_name":"N"}],"title":"Adult neural stem cells and multiciliated ependymal cells share a common lineage regulated by the Geminin family members","date_published":"2019-04-03T00:00:00Z","has_accepted_license":"1","type":"journal_article","language":[{"iso":"eng"}],"publisher":"Elsevier","date_updated":"2025-04-14T07:43:05Z","_id":"6454","page":"159-172.e7","citation":{"ista":"Ortiz-Álvarez G, Daclin M, Shihavuddin A, Lansade P, Fortoul A, Faucourt M, Clavreul S, Lalioti M, Taraviras S, Hippenmeyer S, Livet J, Meunier A, Genovesio A, Spassky N. 2019. Adult neural stem cells and multiciliated ependymal cells share a common lineage regulated by the Geminin family members. Neuron. 102(1), 159–172.e7.","apa":"Ortiz-Álvarez, G., Daclin, M., Shihavuddin, A., Lansade, P., Fortoul, A., Faucourt, M., … Spassky, N. (2019). Adult neural stem cells and multiciliated ependymal cells share a common lineage regulated by the Geminin family members. <i>Neuron</i>. Elsevier. <a href=\"https://doi.org/10.1016/j.neuron.2019.01.051\">https://doi.org/10.1016/j.neuron.2019.01.051</a>","short":"G. Ortiz-Álvarez, M. Daclin, A. Shihavuddin, P. Lansade, A. Fortoul, M. Faucourt, S. Clavreul, M. Lalioti, S. Taraviras, S. Hippenmeyer, J. Livet, A. Meunier, A. Genovesio, N. Spassky, Neuron 102 (2019) 159–172.e7.","ieee":"G. Ortiz-Álvarez <i>et al.</i>, “Adult neural stem cells and multiciliated ependymal cells share a common lineage regulated by the Geminin family members,” <i>Neuron</i>, vol. 102, no. 1. Elsevier, p. 159–172.e7, 2019.","mla":"Ortiz-Álvarez, G., et al. “Adult Neural Stem Cells and Multiciliated Ependymal Cells Share a Common Lineage Regulated by the Geminin Family Members.” <i>Neuron</i>, vol. 102, no. 1, Elsevier, 2019, p. 159–172.e7, doi:<a href=\"https://doi.org/10.1016/j.neuron.2019.01.051\">10.1016/j.neuron.2019.01.051</a>.","ama":"Ortiz-Álvarez G, Daclin M, Shihavuddin A, et al. Adult neural stem cells and multiciliated ependymal cells share a common lineage regulated by the Geminin family members. <i>Neuron</i>. 2019;102(1):159-172.e7. doi:<a href=\"https://doi.org/10.1016/j.neuron.2019.01.051\">10.1016/j.neuron.2019.01.051</a>","chicago":"Ortiz-Álvarez, G, M Daclin, A Shihavuddin, P Lansade, A Fortoul, M Faucourt, S Clavreul, et al. “Adult Neural Stem Cells and Multiciliated Ependymal Cells Share a Common Lineage Regulated by the Geminin Family Members.” <i>Neuron</i>. Elsevier, 2019. <a href=\"https://doi.org/10.1016/j.neuron.2019.01.051\">https://doi.org/10.1016/j.neuron.2019.01.051</a>."},"month":"04","file":[{"file_name":"2019_Neuron_Ortiz.pdf","date_created":"2019-05-15T09:28:41Z","checksum":"1fb6e195c583eb0c5cabf26f69ff6675","file_size":7288572,"file_id":"6457","creator":"dernst","content_type":"application/pdf","relation":"main_file","date_updated":"2020-07-14T12:47:30Z","access_level":"open_access"}],"year":"2019","scopus_import":"1","tmp":{"legal_code_url":"https://creativecommons.org/licenses/by-nc-nd/4.0/legalcode","short":"CC BY-NC-ND (4.0)","image":"/images/cc_by_nc_nd.png","name":"Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International (CC BY-NC-ND 4.0)"},"external_id":{"isi":["000463337900018"],"pmid":["30824354"]},"intvolume":"       102","oa_version":"Published Version","pmid":1,"date_created":"2019-05-14T13:06:30Z","volume":102,"abstract":[{"lang":"eng","text":"Adult neural stem cells and multiciliated ependymalcells are glial cells essential for neurological func-tions. Together, they make up the adult neurogenicniche. Using both high-throughput clonal analysisand single-cell resolution of progenitor division pat-terns and fate, we show that these two componentsof the neurogenic niche are lineally related: adult neu-ral stem cells are sister cells to ependymal cells,whereas most ependymal cells arise from the termi-nal symmetric divisions of the lineage. Unexpectedly,we found that the antagonist regulators of DNA repli-cation, GemC1 and Geminin, can tune the proportionof neural stem cells and ependymal cells. Our find-ings reveal the controlled dynamic of the neurogenicniche ontogeny and identify the Geminin familymembers as key regulators of the initial pool of adultneural stem cells."}],"publication_status":"published","status":"public","user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","department":[{"_id":"SiHi"}],"doi":"10.1016/j.neuron.2019.01.051","day":"03","project":[{"_id":"260018B0-B435-11E9-9278-68D0E5697425","grant_number":"725780","call_identifier":"H2020","name":"Principles of Neural Stem Cell Lineage Progression in Cerebral Cortex Development"}],"issue":"1","oa":1,"file_date_updated":"2020-07-14T12:47:30Z"},{"day":"12","project":[{"call_identifier":"FWF","grant_number":"M02369","_id":"264B3912-B435-11E9-9278-68D0E5697425","name":"Formal Methods meets Algorithmic Game Theory"},{"call_identifier":"FWF","_id":"25F42A32-B435-11E9-9278-68D0E5697425","grant_number":"Z211","name":"Formal methods for the design and analysis of complex systems"},{"name":"Rigorous Systems Engineering","grant_number":"S 11407_N23","_id":"25832EC2-B435-11E9-9278-68D0E5697425","call_identifier":"FWF"}],"user_id":"4359f0d1-fa6c-11eb-b949-802e58b17ae8","department":[{"_id":"ToHe"},{"_id":"KrCh"}],"doi":"10.1007/978-3-030-25540-4_36","status":"public","publication_status":"published","oa":1,"file_date_updated":"2020-07-14T12:47:31Z","intvolume":"     11561","external_id":{"isi":["000491468000036"]},"tmp":{"short":"CC BY (4.0)","image":"/images/cc_by.png","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)"},"scopus_import":"1","abstract":[{"lang":"eng","text":"A controller is a device that interacts with a plant. At each time point,it reads the plant’s state and issues commands with the goal that the plant oper-ates optimally. Constructing optimal controllers is a fundamental and challengingproblem. Machine learning techniques have recently been successfully applied totrain controllers, yet they have limitations. Learned controllers are monolithic andhard to reason about. In particular, it is difficult to add features without retraining,to guarantee any level of performance, and to achieve acceptable performancewhen encountering untrained scenarios. These limitations can be addressed bydeploying quantitative run-timeshieldsthat serve as a proxy for the controller.At each time point, the shield reads the command issued by the controller andmay choose to alter it before passing it on to the plant. We show how optimalshields that interfere as little as possible while guaranteeing a desired level ofcontroller performance, can be generated systematically and automatically usingreactive  synthesis.  First,  we  abstract  the  plant  by  building  a  stochastic  model.Second, we consider the learned controller to be a black box. Third, we mea-surecontroller performanceandshield interferenceby two quantitative run-timemeasures that are formally defined using weighted automata. Then, the problemof constructing a shield that guarantees maximal performance with minimal inter-ference is the problem of finding an optimal strategy in a stochastic2-player game“controller versus shield” played on the abstract state space of the plant with aquantitative objective obtained from combining the performance and interferencemeasures. We illustrate the effectiveness of our approach by automatically con-structing lightweight shields for learned traffic-light controllers in various roadnetworks. The shields we generate avoid liveness bugs, improve controller per-formance in untrained and changing traffic situations, and add features to learnedcontrollers, such as giving priority to emergency vehicles."}],"volume":11561,"date_created":"2019-05-16T11:22:30Z","oa_version":"Published Version","file":[{"access_level":"open_access","date_updated":"2020-07-14T12:47:31Z","relation":"main_file","content_type":"application/pdf","creator":"dernst","file_id":"6816","date_created":"2019-08-14T09:35:24Z","checksum":"c231579f2485c6fd4df17c9443a4d80b","file_size":659766,"file_name":"2019_CAV_Avni.pdf"}],"date_updated":"2025-04-15T06:26:05Z","_id":"6462","citation":{"apa":"Avni, G., Bloem, R., Chatterjee, K., Henzinger, T. A., Konighofer, B., &#38; Pranger, S. (2019). Run-time optimization for learned controllers through quantitative games. In <i>31st International Conference on Computer-Aided Verification</i> (Vol. 11561, pp. 630–649). New York, NY, United States: Springer. <a href=\"https://doi.org/10.1007/978-3-030-25540-4_36\">https://doi.org/10.1007/978-3-030-25540-4_36</a>","short":"G. Avni, R. Bloem, K. Chatterjee, T.A. Henzinger, B. Konighofer, S. Pranger, in:, 31st International Conference on Computer-Aided Verification, Springer, 2019, pp. 630–649.","ista":"Avni G, Bloem R, Chatterjee K, Henzinger TA, Konighofer B, Pranger S. 2019. Run-time optimization for learned controllers through quantitative games. 31st International Conference on Computer-Aided Verification. CAV: Computer Aided Verification, LNCS, vol. 11561, 630–649.","mla":"Avni, Guy, et al. “Run-Time Optimization for Learned Controllers through Quantitative Games.” <i>31st International Conference on Computer-Aided Verification</i>, vol. 11561, Springer, 2019, pp. 630–49, doi:<a href=\"https://doi.org/10.1007/978-3-030-25540-4_36\">10.1007/978-3-030-25540-4_36</a>.","ama":"Avni G, Bloem R, Chatterjee K, Henzinger TA, Konighofer B, Pranger S. Run-time optimization for learned controllers through quantitative games. In: <i>31st International Conference on Computer-Aided Verification</i>. Vol 11561. Springer; 2019:630-649. doi:<a href=\"https://doi.org/10.1007/978-3-030-25540-4_36\">10.1007/978-3-030-25540-4_36</a>","ieee":"G. Avni, R. Bloem, K. Chatterjee, T. A. Henzinger, B. Konighofer, and S. Pranger, “Run-time optimization for learned controllers through quantitative games,” in <i>31st International Conference on Computer-Aided Verification</i>, New York, NY, United States, 2019, vol. 11561, pp. 630–649.","chicago":"Avni, Guy, Roderick Bloem, Krishnendu Chatterjee, Thomas A Henzinger, Bettina Konighofer, and Stefan Pranger. “Run-Time Optimization for Learned Controllers through Quantitative Games.” In <i>31st International Conference on Computer-Aided Verification</i>, 11561:630–49. Springer, 2019. <a href=\"https://doi.org/10.1007/978-3-030-25540-4_36\">https://doi.org/10.1007/978-3-030-25540-4_36</a>."},"page":"630-649","month":"07","language":[{"iso":"eng"}],"publisher":"Springer","corr_author":"1","year":"2019","conference":{"name":"CAV: Computer Aided Verification","end_date":"2019-07-18","location":"New York, NY, United States","start_date":"2019-07-13"},"quality_controlled":"1","publication_identifier":{"isbn":["9783030255398"],"issn":["0302-9743"]},"article_processing_charge":"No","ddc":["000"],"publication":"31st International Conference on Computer-Aided Verification","has_accepted_license":"1","type":"conference","date_published":"2019-07-12T00:00:00Z","author":[{"orcid":"0000-0001-5588-8287","full_name":"Avni, Guy","first_name":"Guy","id":"463C8BC2-F248-11E8-B48F-1D18A9856A87","last_name":"Avni"},{"full_name":"Bloem, Roderick","first_name":"Roderick","last_name":"Bloem"},{"orcid":"0000-0002-4561-241X","last_name":"Chatterjee","first_name":"Krishnendu","id":"2E5DCA20-F248-11E8-B48F-1D18A9856A87","full_name":"Chatterjee, Krishnendu"},{"orcid":"0000−0002−2985−7724","full_name":"Henzinger, Thomas A","first_name":"Thomas A","id":"40876CD8-F248-11E8-B48F-1D18A9856A87","last_name":"Henzinger"},{"last_name":"Konighofer","first_name":"Bettina","full_name":"Konighofer, Bettina"},{"full_name":"Pranger, Stefan","first_name":"Stefan","last_name":"Pranger"}],"title":"Run-time optimization for learned controllers through quantitative games","alternative_title":["LNCS"],"isi":1},{"oa":1,"file_date_updated":"2020-07-14T12:47:31Z","issue":"2","doi":"10.1103/revmodphys.91.021001","department":[{"_id":"MaSe"}],"user_id":"4359f0d1-fa6c-11eb-b949-802e58b17ae8","day":"22","publication_status":"published","status":"public","volume":91,"date_created":"2019-05-23T07:38:43Z","article_type":"original","article_number":"021001","abstract":[{"lang":"eng","text":"Thermalizing quantum systems are conventionallydescribed by statistical mechanics at equilib-rium. However, not all systems fall into this category, with many-body localization providinga generic mechanism for thermalization to fail in strongly disordered systems. Many-bodylocalized (MBL) systems remain perfect insulators at nonzero temperature, which do notthermalize and therefore cannot be describedusing statistical mechanics. This Colloquiumreviews recent theoretical and experimental advances in studies of MBL systems, focusing onthe new perspective provided by entanglement and nonequilibrium experimental probes suchas quantum quenches. Theoretically, MBL systems exhibit a new kind of robust integrability: anextensive set of quasilocal integrals of motion emerges, which provides an intuitive explanationof the breakdown of thermalization. A description based on quasilocal integrals of motion isused to predict dynamical properties of MBL systems, such as the spreading of quantumentanglement, the behavior of local observables, and the response to external dissipativeprocesses. Furthermore, MBL systems can exhibit eigenstate transitions and quantum ordersforbidden in thermodynamic equilibrium. An outline isgiven of the current theoretical under-standing of the quantum-to-classical transitionbetween many-body localized and ergodic phasesand anomalous transport in the vicinity of that transition. Experimentally, synthetic quantumsystems, which are well isolated from an external thermal reservoir, provide natural platforms forrealizing the MBL phase. Recent experiments with ultracold atoms, trapped ions, superconductingqubits, and quantum materials, in which different signatures of many-body localization have beenobserved, are reviewed. This Colloquium concludes by listing outstanding challenges andpromising future research directions."}],"oa_version":"Published Version","intvolume":"        91","scopus_import":"1","external_id":{"arxiv":["1804.11065"],"isi":["000469046900001"]},"year":"2019","file":[{"date_updated":"2020-07-14T12:47:31Z","access_level":"open_access","content_type":"application/pdf","relation":"main_file","file_id":"6478","creator":"mserbyn","file_name":"RevModPhys.91.021001.pdf","date_created":"2019-05-23T07:39:05Z","file_size":1695677,"checksum":"4aec0e6662b09f6e0f828cd30ff2c3a6"}],"publisher":"American Physical Society","language":[{"iso":"eng"}],"month":"05","_id":"6477","date_updated":"2023-08-25T10:37:56Z","citation":{"chicago":"Abanin, Dmitry A., Ehud Altman, Immanuel Bloch, and Maksym Serbyn. “Colloquium: Many-Body Localization, Thermalization, and Entanglement.” <i>Reviews of Modern Physics</i>. American Physical Society, 2019. <a href=\"https://doi.org/10.1103/revmodphys.91.021001\">https://doi.org/10.1103/revmodphys.91.021001</a>.","mla":"Abanin, Dmitry A., et al. “Colloquium: Many-Body Localization, Thermalization, and Entanglement.” <i>Reviews of Modern Physics</i>, vol. 91, no. 2, 021001, American Physical Society, 2019, doi:<a href=\"https://doi.org/10.1103/revmodphys.91.021001\">10.1103/revmodphys.91.021001</a>.","ama":"Abanin DA, Altman E, Bloch I, Serbyn M. Colloquium: Many-body localization, thermalization, and entanglement. <i>Reviews of Modern Physics</i>. 2019;91(2). doi:<a href=\"https://doi.org/10.1103/revmodphys.91.021001\">10.1103/revmodphys.91.021001</a>","ieee":"D. A. Abanin, E. Altman, I. Bloch, and M. Serbyn, “Colloquium: Many-body localization, thermalization, and entanglement,” <i>Reviews of Modern Physics</i>, vol. 91, no. 2. American Physical Society, 2019.","apa":"Abanin, D. A., Altman, E., Bloch, I., &#38; Serbyn, M. (2019). Colloquium: Many-body localization, thermalization, and entanglement. <i>Reviews of Modern Physics</i>. American Physical Society. <a href=\"https://doi.org/10.1103/revmodphys.91.021001\">https://doi.org/10.1103/revmodphys.91.021001</a>","short":"D.A. Abanin, E. Altman, I. Bloch, M. Serbyn, Reviews of Modern Physics 91 (2019).","ista":"Abanin DA, Altman E, Bloch I, Serbyn M. 2019. Colloquium: Many-body localization, thermalization, and entanglement. Reviews of Modern Physics. 91(2), 021001."},"date_published":"2019-05-22T00:00:00Z","type":"journal_article","has_accepted_license":"1","isi":1,"arxiv":1,"title":"Colloquium: Many-body localization, thermalization, and entanglement","author":[{"first_name":"Dmitry A.","last_name":"Abanin","full_name":"Abanin, Dmitry A."},{"last_name":"Altman","first_name":"Ehud","full_name":"Altman, Ehud"},{"full_name":"Bloch, Immanuel","last_name":"Bloch","first_name":"Immanuel"},{"orcid":"0000-0002-2399-5827","last_name":"Serbyn","id":"47809E7E-F248-11E8-B48F-1D18A9856A87","first_name":"Maksym","full_name":"Serbyn, Maksym"}],"article_processing_charge":"No","publication_identifier":{"eissn":["0034-6861"],"issn":["1539-0756"]},"quality_controlled":"1","publication":"Reviews of Modern Physics","ddc":["530"]},{"date_published":"2019-02-14T00:00:00Z","type":"conference","ec_funded":1,"arxiv":1,"title":"KS(conf): A light-weight test if a ConvNet operates outside of Its specifications","alternative_title":["LNCS"],"author":[{"full_name":"Sun, Rémy","last_name":"Sun","first_name":"Rémy"},{"full_name":"Lampert, Christoph","first_name":"Christoph","id":"40C20FD2-F248-11E8-B48F-1D18A9856A87","last_name":"Lampert","orcid":"0000-0001-8622-7887"}],"article_processing_charge":"No","publication_identifier":{"isbn":["9783030129385","9783030129392"],"issn":["0302-9743"],"eissn":["1611-3349"]},"quality_controlled":"1","conference":{"name":"GCPR: Conference on Pattern Recognition","end_date":"2018-10-12","location":"Stuttgart, Germany","start_date":"2018-10-09"},"year":"2019","publisher":"Springer Nature","language":[{"iso":"eng"}],"month":"02","_id":"6482","citation":{"chicago":"Sun, Rémy, and Christoph Lampert. “KS(Conf): A Light-Weight Test If a ConvNet Operates Outside of Its Specifications,” 11269:244–59. Springer Nature, 2019. <a href=\"https://doi.org/10.1007/978-3-030-12939-2_18\">https://doi.org/10.1007/978-3-030-12939-2_18</a>.","ieee":"R. Sun and C. Lampert, “KS(conf): A light-weight test if a ConvNet operates outside of Its specifications,” presented at the GCPR: Conference on Pattern Recognition, Stuttgart, Germany, 2019, vol. 11269, pp. 244–259.","mla":"Sun, Rémy, and Christoph Lampert. <i>KS(Conf): A Light-Weight Test If a ConvNet Operates Outside of Its Specifications</i>. Vol. 11269, Springer Nature, 2019, pp. 244–59, doi:<a href=\"https://doi.org/10.1007/978-3-030-12939-2_18\">10.1007/978-3-030-12939-2_18</a>.","ama":"Sun R, Lampert C. KS(conf): A light-weight test if a ConvNet operates outside of Its specifications. In: Vol 11269. Springer Nature; 2019:244-259. doi:<a href=\"https://doi.org/10.1007/978-3-030-12939-2_18\">10.1007/978-3-030-12939-2_18</a>","ista":"Sun R, Lampert C. 2019. KS(conf): A light-weight test if a ConvNet operates outside of Its specifications. GCPR: Conference on Pattern Recognition, LNCS, vol. 11269, 244–259.","apa":"Sun, R., &#38; Lampert, C. (2019). KS(conf): A light-weight test if a ConvNet operates outside of Its specifications (Vol. 11269, pp. 244–259). Presented at the GCPR: Conference on Pattern Recognition, Stuttgart, Germany: Springer Nature. <a href=\"https://doi.org/10.1007/978-3-030-12939-2_18\">https://doi.org/10.1007/978-3-030-12939-2_18</a>","short":"R. Sun, C. Lampert, in:, Springer Nature, 2019, pp. 244–259."},"page":"244-259","date_updated":"2025-04-15T07:10:25Z","date_created":"2019-05-24T09:48:36Z","volume":11269,"related_material":{"record":[{"status":"public","relation":"later_version","id":"6944"}]},"abstract":[{"lang":"eng","text":"Computer vision systems for automatic image categorization have become accurate and reliable enough that they can run continuously for days or even years as components of real-world commercial applications. A major open problem in this context, however, is quality control. Good classification performance can only be expected if systems run under the specific conditions, in particular data distributions, that they were trained for. Surprisingly, none of the currently used deep network architectures have a built-in functionality that could detect if a network operates on data from a distribution it was not trained for, such that potentially a warning to the human users could be triggered. In this work, we describe KS(conf), a procedure for detecting such outside of specifications (out-of-specs) operation, based on statistical testing of the network outputs. We show by extensive experiments using the ImageNet, AwA2 and DAVIS datasets on a variety of ConvNets architectures that KS(conf) reliably detects out-of-specs situations. It furthermore has a number of properties that make it a promising candidate for practical deployment: it is easy to implement, adds almost no overhead to the system, works with all networks, including pretrained ones, and requires no a priori knowledge of how the data distribution could change. "}],"oa_version":"Preprint","intvolume":"     11269","scopus_import":"1","external_id":{"arxiv":["1804.04171"]},"main_file_link":[{"open_access":"1","url":"https://arxiv.org/abs/1804.04171"}],"oa":1,"doi":"10.1007/978-3-030-12939-2_18","user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","department":[{"_id":"ChLa"}],"day":"14","project":[{"_id":"2532554C-B435-11E9-9278-68D0E5697425","grant_number":"308036","call_identifier":"FP7","name":"Lifelong Learning of Visual Scene Understanding"}],"publication_status":"published","status":"public"},{"date_created":"2019-05-24T10:09:12Z","date_published":"2019-02-01T00:00:00Z","type":"conference_poster","abstract":[{"lang":"eng","text":"Traditional concurrent programming involves manipulating shared mutable state. Alternatives to this programming style are communicating sequential processes (CSP) [1] and actor [2] models, which share data via explicit communication. Rendezvous channelis the common abstraction for communication between several processes, where senders and receivers perform a rendezvous handshake as a part of their protocol (senders wait for receivers and vice versa). Additionally to this, channels support the select expression. In this work, we present the first efficient lock-free channel algorithm, and compare it against Go [3] and Kotlin [4] baseline implementations."}],"isi":1,"title":"Lock-free channels for programming via communicating sequential processes","oa_version":"None","author":[{"last_name":"Koval","id":"2F4DB10C-F248-11E8-B48F-1D18A9856A87","first_name":"Nikita","full_name":"Koval, Nikita"},{"first_name":"Dan-Adrian","id":"4A899BFC-F248-11E8-B48F-1D18A9856A87","last_name":"Alistarh","full_name":"Alistarh, Dan-Adrian","orcid":"0000-0003-3650-940X"},{"first_name":"Roman","last_name":"Elizarov","full_name":"Elizarov, Roman"}],"article_processing_charge":"No","publication_identifier":{"isbn":["9781450362252"]},"quality_controlled":"1","publication":"Proceedings of the 24th Symposium on Principles and Practice of Parallel Programming","external_id":{"isi":["000587604600044"]},"conference":{"end_date":"2019-02-20","location":"Washington, NY, United States","start_date":"2019-02-16","name":"PPoPP: Principles and Practice of Parallel Programming"},"year":"2019","doi":"10.1145/3293883.3297000","department":[{"_id":"DaAl"}],"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","day":"01","publisher":"ACM","publication_status":"published","language":[{"iso":"eng"}],"month":"02","_id":"6485","date_updated":"2024-12-11T11:42:22Z","page":"417-418","status":"public","citation":{"short":"N. Koval, D.-A. Alistarh, R. Elizarov, Lock-Free Channels for Programming via Communicating Sequential Processes, ACM, 2019.","apa":"Koval, N., Alistarh, D.-A., &#38; Elizarov, R. (2019). <i>Lock-free channels for programming via communicating sequential processes</i>. <i>Proceedings of the 24th Symposium on Principles and Practice of Parallel Programming</i> (pp. 417–418). Washington, NY, United States: ACM. <a href=\"https://doi.org/10.1145/3293883.3297000\">https://doi.org/10.1145/3293883.3297000</a>","ista":"Koval N, Alistarh D-A, Elizarov R. 2019. Lock-free channels for programming via communicating sequential processes, ACM,p.","ama":"Koval N, Alistarh D-A, Elizarov R. <i>Lock-Free Channels for Programming via Communicating Sequential Processes</i>. ACM; 2019:417-418. doi:<a href=\"https://doi.org/10.1145/3293883.3297000\">10.1145/3293883.3297000</a>","mla":"Koval, Nikita, et al. “Lock-Free Channels for Programming via Communicating Sequential Processes.” <i>Proceedings of the 24th Symposium on Principles and Practice of Parallel Programming</i>, ACM, 2019, pp. 417–18, doi:<a href=\"https://doi.org/10.1145/3293883.3297000\">10.1145/3293883.3297000</a>.","ieee":"N. Koval, D.-A. Alistarh, and R. Elizarov, <i>Lock-free channels for programming via communicating sequential processes</i>. ACM, 2019, pp. 417–418.","chicago":"Koval, Nikita, Dan-Adrian Alistarh, and Roman Elizarov. <i>Lock-Free Channels for Programming via Communicating Sequential Processes</i>. <i>Proceedings of the 24th Symposium on Principles and Practice of Parallel Programming</i>. ACM, 2019. <a href=\"https://doi.org/10.1145/3293883.3297000\">https://doi.org/10.1145/3293883.3297000</a>."}},{"article_processing_charge":"No","publication_identifier":{"isbn":["9783030255398"],"issn":["0302-9743"]},"quality_controlled":"1","publication":"31st International Conference on Computer-Aided Verification","ddc":["000"],"date_published":"2019-07-12T00:00:00Z","has_accepted_license":"1","type":"conference","isi":1,"ec_funded":1,"title":"Membership-based synthesis of linear hybrid automata","alternative_title":["LNCS"],"author":[{"orcid":"0000−0003−2936−5719","full_name":"Garcia Soto, Miriam","last_name":"Garcia Soto","first_name":"Miriam","id":"4B3207F6-F248-11E8-B48F-1D18A9856A87"},{"full_name":"Henzinger, Thomas A","id":"40876CD8-F248-11E8-B48F-1D18A9856A87","first_name":"Thomas A","last_name":"Henzinger","orcid":"0000−0002−2985−7724"},{"full_name":"Schilling, Christian","last_name":"Schilling","id":"3A2F4DCE-F248-11E8-B48F-1D18A9856A87","first_name":"Christian","orcid":"0000-0003-3658-1065"},{"last_name":"Zeleznik","first_name":"Luka","id":"3ADCA2E4-F248-11E8-B48F-1D18A9856A87","full_name":"Zeleznik, Luka"}],"file":[{"file_name":"2019_CAV_GarciaSoto.pdf","date_created":"2019-08-14T11:05:30Z","file_size":674795,"checksum":"1f1d61b83a151031745ef70a501da3d6","file_id":"6817","creator":"dernst","content_type":"application/pdf","relation":"main_file","date_updated":"2020-07-14T12:47:32Z","access_level":"open_access"}],"publisher":"Springer","corr_author":"1","language":[{"iso":"eng"}],"month":"07","page":"297-314","_id":"6493","date_updated":"2025-04-15T06:26:13Z","citation":{"ista":"Garcia Soto M, Henzinger TA, Schilling C, Zeleznik L. 2019. Membership-based synthesis of linear hybrid automata. 31st International Conference on Computer-Aided Verification. CAV: Computer-Aided Verification, LNCS, vol. 11561, 297–314.","short":"M. Garcia Soto, T.A. Henzinger, C. Schilling, L. Zeleznik, in:, 31st International Conference on Computer-Aided Verification, Springer, 2019, pp. 297–314.","apa":"Garcia Soto, M., Henzinger, T. A., Schilling, C., &#38; Zeleznik, L. (2019). Membership-based synthesis of linear hybrid automata. In <i>31st International Conference on Computer-Aided Verification</i> (Vol. 11561, pp. 297–314). New York City, NY, USA: Springer. <a href=\"https://doi.org/10.1007/978-3-030-25540-4_16\">https://doi.org/10.1007/978-3-030-25540-4_16</a>","ieee":"M. Garcia Soto, T. A. Henzinger, C. Schilling, and L. Zeleznik, “Membership-based synthesis of linear hybrid automata,” in <i>31st International Conference on Computer-Aided Verification</i>, New York City, NY, USA, 2019, vol. 11561, pp. 297–314.","ama":"Garcia Soto M, Henzinger TA, Schilling C, Zeleznik L. Membership-based synthesis of linear hybrid automata. In: <i>31st International Conference on Computer-Aided Verification</i>. Vol 11561. Springer; 2019:297-314. doi:<a href=\"https://doi.org/10.1007/978-3-030-25540-4_16\">10.1007/978-3-030-25540-4_16</a>","mla":"Garcia Soto, Miriam, et al. “Membership-Based Synthesis of Linear Hybrid Automata.” <i>31st International Conference on Computer-Aided Verification</i>, vol. 11561, Springer, 2019, pp. 297–314, doi:<a href=\"https://doi.org/10.1007/978-3-030-25540-4_16\">10.1007/978-3-030-25540-4_16</a>.","chicago":"Garcia Soto, Miriam, Thomas A Henzinger, Christian Schilling, and Luka Zeleznik. “Membership-Based Synthesis of Linear Hybrid Automata.” In <i>31st International Conference on Computer-Aided Verification</i>, 11561:297–314. Springer, 2019. <a href=\"https://doi.org/10.1007/978-3-030-25540-4_16\">https://doi.org/10.1007/978-3-030-25540-4_16</a>."},"conference":{"name":"CAV: Computer-Aided Verification","location":"New York City, NY, USA","start_date":"2019-07-15","end_date":"2019-07-18"},"year":"2019","intvolume":"     11561","scopus_import":"1","external_id":{"isi":["000491468000016"]},"tmp":{"short":"CC BY (4.0)","image":"/images/cc_by.png","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)"},"date_created":"2019-05-27T07:09:53Z","volume":11561,"abstract":[{"lang":"eng","text":"We present two algorithmic approaches for synthesizing linear hybrid automata from experimental data. Unlike previous approaches, our algorithms work without a template and generate an automaton with nondeterministic guards and invariants, and with an arbitrary number and topology of modes. They thus construct a succinct model from the data and provide formal guarantees. In particular, (1) the generated automaton can reproduce the data up to a specified tolerance and (2) the automaton is tight, given the first guarantee. Our first approach encodes the synthesis problem as a logical formula in the theory of linear arithmetic, which can then be solved by an SMT solver. This approach minimizes the number of modes in the resulting model but is only feasible for limited data sets. To address scalability, we propose a second approach that does not enforce to find a minimal model. The algorithm constructs an initial automaton and then iteratively extends the automaton based on processing new data. Therefore the algorithm is well-suited for online and synthesis-in-the-loop applications. The core of the algorithm is a membership query that checks whether, within the specified tolerance, a given data set can result from the execution of a given automaton. We solve this membership problem for linear hybrid automata by repeated reachability computations. We demonstrate the effectiveness of the algorithm on synthetic data sets and on cardiac-cell measurements."}],"oa_version":"Published Version","doi":"10.1007/978-3-030-25540-4_16","user_id":"4359f0d1-fa6c-11eb-b949-802e58b17ae8","department":[{"_id":"ToHe"}],"project":[{"name":"ISTplus - Postdoctoral Fellowships","call_identifier":"H2020","grant_number":"754411","_id":"260C2330-B435-11E9-9278-68D0E5697425"},{"name":"Rigorous Systems Engineering","call_identifier":"FWF","grant_number":"S 11407_N23","_id":"25832EC2-B435-11E9-9278-68D0E5697425"},{"call_identifier":"FWF","_id":"25F42A32-B435-11E9-9278-68D0E5697425","grant_number":"Z211","name":"Formal methods for the design and analysis of complex systems"}],"day":"12","publication_status":"published","status":"public","keyword":["Synthesis","Linear hybrid automaton","Membership"],"file_date_updated":"2020-07-14T12:47:32Z","oa":1},{"publication":"Journal of Differential Equations","article_processing_charge":"No","quality_controlled":"1","isi":1,"arxiv":1,"publist_id":"7989","title":"Entropy solutions for stochastic porous media equations","author":[{"full_name":"Dareiotis, Konstantinos","first_name":"Konstantinos","last_name":"Dareiotis"},{"full_name":"Gerencser, Mate","id":"44ECEDF2-F248-11E8-B48F-1D18A9856A87","first_name":"Mate","last_name":"Gerencser"},{"full_name":"Gess, Benjamin","last_name":"Gess","first_name":"Benjamin"}],"date_published":"2019-03-05T00:00:00Z","type":"journal_article","publisher":"Elsevier","language":[{"iso":"eng"}],"month":"03","_id":"65","date_updated":"2025-04-22T13:48:09Z","page":"3732-3763","citation":{"chicago":"Dareiotis, Konstantinos, Mate Gerencser, and Benjamin Gess. “Entropy Solutions for Stochastic Porous Media Equations.” <i>Journal of Differential Equations</i>. Elsevier, 2019. <a href=\"https://doi.org/10.1016/j.jde.2018.09.012\">https://doi.org/10.1016/j.jde.2018.09.012</a>.","ista":"Dareiotis K, Gerencser M, Gess B. 2019. Entropy solutions for stochastic porous media equations. Journal of Differential Equations. 266(6), 3732–3763.","short":"K. Dareiotis, M. Gerencser, B. Gess, Journal of Differential Equations 266 (2019) 3732–3763.","apa":"Dareiotis, K., Gerencser, M., &#38; Gess, B. (2019). Entropy solutions for stochastic porous media equations. <i>Journal of Differential Equations</i>. Elsevier. <a href=\"https://doi.org/10.1016/j.jde.2018.09.012\">https://doi.org/10.1016/j.jde.2018.09.012</a>","ieee":"K. Dareiotis, M. Gerencser, and B. Gess, “Entropy solutions for stochastic porous media equations,” <i>Journal of Differential Equations</i>, vol. 266, no. 6. Elsevier, pp. 3732–3763, 2019.","ama":"Dareiotis K, Gerencser M, Gess B. Entropy solutions for stochastic porous media equations. <i>Journal of Differential Equations</i>. 2019;266(6):3732-3763. doi:<a href=\"https://doi.org/10.1016/j.jde.2018.09.012\">10.1016/j.jde.2018.09.012</a>","mla":"Dareiotis, Konstantinos, et al. “Entropy Solutions for Stochastic Porous Media Equations.” <i>Journal of Differential Equations</i>, vol. 266, no. 6, Elsevier, 2019, pp. 3732–63, doi:<a href=\"https://doi.org/10.1016/j.jde.2018.09.012\">10.1016/j.jde.2018.09.012</a>."},"year":"2019","scopus_import":"1","external_id":{"arxiv":["1803.06953"],"isi":["000456332500026"]},"intvolume":"       266","oa_version":"Preprint","volume":266,"date_created":"2018-12-11T11:44:26Z","article_type":"original","abstract":[{"text":"We provide an entropy formulation for porous medium-type equations with a stochastic, non-linear, spatially inhomogeneous forcing. Well-posedness and L1-contraction is obtained in the class of entropy solutions. Our scope allows for porous medium operators Δ(|u|m−1u) for all m∈(1,∞), and Hölder continuous diffusion nonlinearity with exponent 1/2.","lang":"eng"}],"publication_status":"published","status":"public","doi":"10.1016/j.jde.2018.09.012","department":[{"_id":"JaMa"}],"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","day":"05","issue":"6","oa":1,"main_file_link":[{"open_access":"1","url":"http://arxiv.org/abs/1803.06953"}]},{"day":"01","user_id":"4359f0d1-fa6c-11eb-b949-802e58b17ae8","department":[{"_id":"JiFr"}],"doi":"10.1111/nph.15932","status":"public","publication_status":"published","oa":1,"file_date_updated":"2020-10-14T08:59:33Z","issue":"2","intvolume":"       224","external_id":{"pmid":["31111487"],"isi":["000487184200024"]},"scopus_import":"1","abstract":[{"lang":"eng","text":"Root gravitropism is one of the most important processes allowing plant adaptation to the land environment. Auxin plays a central role in mediating root gravitropism, but how auxin contributes to gravitational perception and the subsequent response is still unclear.\r\n\r\nHere, we showed that the local auxin maximum/gradient within the root apex, which is generated by the PIN directional auxin transporters, regulates the expression of three key starch granule synthesis genes, SS4, PGM and ADG1, which in turn influence the accumulation of starch granules that serve as a statolith perceiving gravity.\r\n\r\nMoreover, using the cvxIAA‐ccvTIR1 system, we also showed that TIR1‐mediated auxin signaling is required for starch granule formation and gravitropic response within root tips. In addition, axr3 mutants showed reduced auxin‐mediated starch granule accumulation and disruption of gravitropism within the root apex.\r\n\r\nOur results indicate that auxin‐mediated statolith production relies on the TIR1/AFB‐AXR3‐mediated auxin signaling pathway. In summary, we propose a dual role for auxin in gravitropism: the regulation of both gravity perception and response."}],"article_type":"original","volume":224,"date_created":"2019-05-28T14:33:26Z","oa_version":"Submitted Version","pmid":1,"file":[{"date_updated":"2020-10-14T08:59:33Z","access_level":"open_access","success":1,"content_type":"application/pdf","relation":"main_file","file_id":"8661","creator":"dernst","file_name":"2019_NewPhytologist_Zhang_accepted.pdf","checksum":"6488243334538f5c39099a701cbf76b9","file_size":1099061,"date_created":"2020-10-14T08:59:33Z"}],"_id":"6504","date_updated":"2023-08-28T08:40:13Z","citation":{"apa":"Zhang, Y., He, P., Ma, X., Yang, Z., Pang, C., Yu, J., … Xiao, G. (2019). Auxin-mediated statolith production for root gravitropism. <i>New Phytologist</i>. Wiley. <a href=\"https://doi.org/10.1111/nph.15932\">https://doi.org/10.1111/nph.15932</a>","short":"Y. Zhang, P. He, X. Ma, Z. Yang, C. Pang, J. Yu, G. Wang, J. Friml, G. Xiao, New Phytologist 224 (2019) 761–774.","ista":"Zhang Y, He P, Ma X, Yang Z, Pang C, Yu J, Wang G, Friml J, Xiao G. 2019. Auxin-mediated statolith production for root gravitropism. New Phytologist. 224(2), 761–774.","ama":"Zhang Y, He P, Ma X, et al. Auxin-mediated statolith production for root gravitropism. <i>New Phytologist</i>. 2019;224(2):761-774. doi:<a href=\"https://doi.org/10.1111/nph.15932\">10.1111/nph.15932</a>","mla":"Zhang, Yuzhou, et al. “Auxin-Mediated Statolith Production for Root Gravitropism.” <i>New Phytologist</i>, vol. 224, no. 2, Wiley, 2019, pp. 761–74, doi:<a href=\"https://doi.org/10.1111/nph.15932\">10.1111/nph.15932</a>.","ieee":"Y. Zhang <i>et al.</i>, “Auxin-mediated statolith production for root gravitropism,” <i>New Phytologist</i>, vol. 224, no. 2. Wiley, pp. 761–774, 2019.","chicago":"Zhang, Yuzhou, P He, X Ma, Z Yang, C Pang, J Yu, G Wang, Jiří Friml, and G Xiao. “Auxin-Mediated Statolith Production for Root Gravitropism.” <i>New Phytologist</i>. Wiley, 2019. <a href=\"https://doi.org/10.1111/nph.15932\">https://doi.org/10.1111/nph.15932</a>."},"page":"761-774","month":"10","language":[{"iso":"eng"}],"publisher":"Wiley","year":"2019","quality_controlled":"1","publication_identifier":{"issn":["0028-646x"],"eissn":["1469-8137"]},"article_processing_charge":"No","ddc":["580"],"publication":"New Phytologist","type":"journal_article","has_accepted_license":"1","date_published":"2019-10-01T00:00:00Z","author":[{"orcid":"0000-0003-2627-6956","last_name":"Zhang","first_name":"Yuzhou","id":"3B6137F2-F248-11E8-B48F-1D18A9856A87","full_name":"Zhang, Yuzhou"},{"last_name":"He","first_name":"P","full_name":"He, P"},{"last_name":"Ma","first_name":"X","full_name":"Ma, X"},{"full_name":"Yang, Z","first_name":"Z","last_name":"Yang"},{"last_name":"Pang","first_name":"C","full_name":"Pang, C"},{"full_name":"Yu, J","last_name":"Yu","first_name":"J"},{"full_name":"Wang, G","first_name":"G","last_name":"Wang"},{"full_name":"Friml, Jiří","first_name":"Jiří","id":"4159519E-F248-11E8-B48F-1D18A9856A87","last_name":"Friml","orcid":"0000-0002-8302-7596"},{"last_name":"Xiao","first_name":"G","full_name":"Xiao, G"}],"title":"Auxin-mediated statolith production for root gravitropism","isi":1},{"language":[{"iso":"eng"}],"publisher":"Springer Nature","_id":"6506","page":"1221–1230","citation":{"chicago":"Noda-García, Lianet, Dan Davidi, Elisa Korenblum, Assaf Elazar, Ekaterina Putintseva, Asaph Aharoni, and Dan S. Tawfik. “Chance and Pleiotropy Dominate Genetic Diversity in Complex Bacterial Environments.” <i>Nature Microbiology</i>. Springer Nature, 2019. <a href=\"https://doi.org/10.1038/s41564-019-0412-y\">https://doi.org/10.1038/s41564-019-0412-y</a>.","apa":"Noda-García, L., Davidi, D., Korenblum, E., Elazar, A., Putintseva, E., Aharoni, A., &#38; Tawfik, D. S. (2019). Chance and pleiotropy dominate genetic diversity in complex bacterial environments. <i>Nature Microbiology</i>. Springer Nature. <a href=\"https://doi.org/10.1038/s41564-019-0412-y\">https://doi.org/10.1038/s41564-019-0412-y</a>","short":"L. Noda-García, D. Davidi, E. Korenblum, A. Elazar, E. Putintseva, A. Aharoni, D.S. Tawfik, Nature Microbiology 4 (2019) 1221–1230.","ista":"Noda-García L, Davidi D, Korenblum E, Elazar A, Putintseva E, Aharoni A, Tawfik DS. 2019. Chance and pleiotropy dominate genetic diversity in complex bacterial environments. Nature Microbiology. 4(7), 1221–1230.","ama":"Noda-García L, Davidi D, Korenblum E, et al. Chance and pleiotropy dominate genetic diversity in complex bacterial environments. <i>Nature Microbiology</i>. 2019;4(7):1221–1230. doi:<a href=\"https://doi.org/10.1038/s41564-019-0412-y\">10.1038/s41564-019-0412-y</a>","mla":"Noda-García, Lianet, et al. “Chance and Pleiotropy Dominate Genetic Diversity in Complex Bacterial Environments.” <i>Nature Microbiology</i>, vol. 4, no. 7, Springer Nature, 2019, pp. 1221–1230, doi:<a href=\"https://doi.org/10.1038/s41564-019-0412-y\">10.1038/s41564-019-0412-y</a>.","ieee":"L. Noda-García <i>et al.</i>, “Chance and pleiotropy dominate genetic diversity in complex bacterial environments,” <i>Nature Microbiology</i>, vol. 4, no. 7. Springer Nature, pp. 1221–1230, 2019."},"date_updated":"2023-08-28T08:39:47Z","month":"07","year":"2019","article_processing_charge":"No","quality_controlled":"1","publication_identifier":{"issn":["2058-5276"]},"publication":"Nature Microbiology","date_published":"2019-07-01T00:00:00Z","type":"journal_article","isi":1,"author":[{"last_name":"Noda-García","first_name":"Lianet","full_name":"Noda-García, Lianet"},{"full_name":"Davidi, Dan","first_name":"Dan","last_name":"Davidi"},{"full_name":"Korenblum, Elisa","last_name":"Korenblum","first_name":"Elisa"},{"last_name":"Elazar","first_name":"Assaf","full_name":"Elazar, Assaf"},{"full_name":"Putintseva, Ekaterina","last_name":"Putintseva","id":"2EF67C84-F248-11E8-B48F-1D18A9856A87","first_name":"Ekaterina"},{"last_name":"Aharoni","first_name":"Asaph","full_name":"Aharoni, Asaph"},{"full_name":"Tawfik, Dan S.","last_name":"Tawfik","first_name":"Dan S."}],"title":"Chance and pleiotropy dominate genetic diversity in complex bacterial environments","department":[{"_id":"FyKo"}],"user_id":"4359f0d1-fa6c-11eb-b949-802e58b17ae8","doi":"10.1038/s41564-019-0412-y","day":"01","publication_status":"published","status":"public","oa":1,"main_file_link":[{"url":"https://www.biorxiv.org/content/10.1101/340828v2","open_access":"1"}],"issue":"7","intvolume":"         4","scopus_import":"1","external_id":{"isi":["000480348200017"]},"article_type":"original","volume":4,"date_created":"2019-05-29T13:03:30Z","abstract":[{"lang":"eng","text":"How does environmental complexity affect the evolution of single genes? Here, we measured the effects of a set of Bacillus subtilis glutamate dehydrogenase mutants across 19 different environments—from phenotypically homogeneous single-cell populations in liquid media to heterogeneous biofilms, plant roots and soil populations. The effects of individual gene mutations on organismal fitness were highly reproducible in liquid cultures. However, 84% of the tested alleles showed opposing fitness effects under different growth conditions (sign environmental pleiotropy). In colony biofilms and soil samples, different alleles dominated in parallel replica experiments. Accordingly, we found that in these heterogeneous cell populations the fate of mutations was dictated by a combination of selection and drift. The latter relates to programmed prophage excisions that occurred during biofilm development. Overall, for each condition, a wide range of glutamate dehydrogenase mutations persisted and sometimes fixated as a result of the combined action of selection, pleiotropy and chance. However, over longer periods and in multiple environments, nearly all of this diversity would be lost—across all the environments and conditions that we tested, the wild type was the fittest allele."}],"oa_version":"Preprint"},{"oa_version":"Preprint","abstract":[{"text":"Let U and V be two independent N by N random matrices that are distributed according to Haar measure on U(N). Let Σ be a nonnegative deterministic N by N matrix. The single ring theorem [Ann. of Math. (2) 174 (2011) 1189–1217] asserts that the empirical eigenvalue distribution of the matrix X:=UΣV∗ converges weakly, in the limit of large N, to a deterministic measure which is supported on a single ring centered at the origin in ℂ. Within the bulk regime, that is, in the interior of the single ring, we establish the convergence of the empirical eigenvalue distribution on the optimal local scale of order N−1/2+ε and establish the optimal convergence rate. The same results hold true when U and V are Haar distributed on O(N).","lang":"eng"}],"volume":47,"date_created":"2019-06-02T21:59:13Z","external_id":{"isi":["000466616100003"],"arxiv":["1612.05920"]},"scopus_import":"1","intvolume":"        47","issue":"3","main_file_link":[{"open_access":"1","url":"https://arxiv.org/abs/1612.05920"}],"oa":1,"status":"public","publication_status":"published","day":"01","project":[{"name":"Random matrices, universality and disordered quantum systems","call_identifier":"FP7","_id":"258DCDE6-B435-11E9-9278-68D0E5697425","grant_number":"338804"}],"department":[{"_id":"LaEr"}],"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","doi":"10.1214/18-AOP1284","author":[{"last_name":"Bao","first_name":"Zhigang","id":"442E6A6C-F248-11E8-B48F-1D18A9856A87","full_name":"Bao, Zhigang","orcid":"0000-0003-3036-1475"},{"orcid":"0000-0001-5366-9603","first_name":"László","id":"4DBD5372-F248-11E8-B48F-1D18A9856A87","last_name":"Erdös","full_name":"Erdös, László"},{"full_name":"Schnelli, Kevin","id":"434AD0AE-F248-11E8-B48F-1D18A9856A87","first_name":"Kevin","last_name":"Schnelli","orcid":"0000-0003-0954-3231"}],"title":"Local single ring theorem on optimal scale","ec_funded":1,"arxiv":1,"isi":1,"type":"journal_article","date_published":"2019-05-01T00:00:00Z","publication":"Annals of Probability","quality_controlled":"1","publication_identifier":{"issn":["0091-1798"]},"article_processing_charge":"No","year":"2019","_id":"6511","citation":{"chicago":"Bao, Zhigang, László Erdös, and Kevin Schnelli. “Local Single Ring Theorem on Optimal Scale.” <i>Annals of Probability</i>. Institute of Mathematical Statistics, 2019. <a href=\"https://doi.org/10.1214/18-AOP1284\">https://doi.org/10.1214/18-AOP1284</a>.","apa":"Bao, Z., Erdös, L., &#38; Schnelli, K. (2019). Local single ring theorem on optimal scale. <i>Annals of Probability</i>. Institute of Mathematical Statistics. <a href=\"https://doi.org/10.1214/18-AOP1284\">https://doi.org/10.1214/18-AOP1284</a>","short":"Z. Bao, L. Erdös, K. Schnelli, Annals of Probability 47 (2019) 1270–1334.","ista":"Bao Z, Erdös L, Schnelli K. 2019. Local single ring theorem on optimal scale. Annals of Probability. 47(3), 1270–1334.","mla":"Bao, Zhigang, et al. “Local Single Ring Theorem on Optimal Scale.” <i>Annals of Probability</i>, vol. 47, no. 3, Institute of Mathematical Statistics, 2019, pp. 1270–334, doi:<a href=\"https://doi.org/10.1214/18-AOP1284\">10.1214/18-AOP1284</a>.","ama":"Bao Z, Erdös L, Schnelli K. Local single ring theorem on optimal scale. <i>Annals of Probability</i>. 2019;47(3):1270-1334. doi:<a href=\"https://doi.org/10.1214/18-AOP1284\">10.1214/18-AOP1284</a>","ieee":"Z. Bao, L. Erdös, and K. Schnelli, “Local single ring theorem on optimal scale,” <i>Annals of Probability</i>, vol. 47, no. 3. Institute of Mathematical Statistics, pp. 1270–1334, 2019."},"date_updated":"2025-07-10T11:53:28Z","page":"1270-1334","month":"05","language":[{"iso":"eng"}],"publisher":"Institute of Mathematical Statistics"},{"author":[{"last_name":"Guiu","first_name":"Jordi","full_name":"Guiu, Jordi"},{"last_name":"Hannezo","id":"3A9DB764-F248-11E8-B48F-1D18A9856A87","first_name":"Edouard B","full_name":"Hannezo, Edouard B","orcid":"0000-0001-6005-1561"},{"full_name":"Yui, Shiro","first_name":"Shiro","last_name":"Yui"},{"full_name":"Demharter, Samuel","last_name":"Demharter","first_name":"Samuel"},{"last_name":"Ulyanchenko","first_name":"Svetlana","full_name":"Ulyanchenko, Svetlana"},{"full_name":"Maimets, Martti","last_name":"Maimets","first_name":"Martti"},{"last_name":"Jørgensen","first_name":"Anne","full_name":"Jørgensen, Anne"},{"last_name":"Perlman","first_name":"Signe","full_name":"Perlman, Signe"},{"full_name":"Lundvall, Lene","last_name":"Lundvall","first_name":"Lene"},{"last_name":"Mamsen","first_name":"Linn Salto","full_name":"Mamsen, Linn Salto"},{"first_name":"Agnete","last_name":"Larsen","full_name":"Larsen, Agnete"},{"full_name":"Olesen, Rasmus H.","first_name":"Rasmus H.","last_name":"Olesen"},{"first_name":"Claus Yding","last_name":"Andersen","full_name":"Andersen, Claus Yding"},{"first_name":"Lea Langhoff","last_name":"Thuesen","full_name":"Thuesen, Lea Langhoff"},{"first_name":"Kristine Juul","last_name":"Hare","full_name":"Hare, Kristine Juul"},{"full_name":"Pers, Tune H.","first_name":"Tune H.","last_name":"Pers"},{"full_name":"Khodosevich, Konstantin","first_name":"Konstantin","last_name":"Khodosevich"},{"full_name":"Simons, Benjamin D.","first_name":"Benjamin D.","last_name":"Simons"},{"last_name":"Jensen","first_name":"Kim B.","full_name":"Jensen, Kim B."}],"title":"Tracing the origin of adult intestinal stem cells","isi":1,"type":"journal_article","date_published":"2019-06-06T00:00:00Z","publication":"Nature","quality_controlled":"1","publication_identifier":{"issn":["0028-0836"],"eissn":["1476-4687"]},"article_processing_charge":"No","year":"2019","date_updated":"2025-07-10T11:53:29Z","_id":"6513","citation":{"chicago":"Guiu, Jordi, Edouard B Hannezo, Shiro Yui, Samuel Demharter, Svetlana Ulyanchenko, Martti Maimets, Anne Jørgensen, et al. “Tracing the Origin of Adult Intestinal Stem Cells.” <i>Nature</i>. Springer Nature, 2019. <a href=\"https://doi.org/10.1038/s41586-019-1212-5\">https://doi.org/10.1038/s41586-019-1212-5</a>.","ieee":"J. Guiu <i>et al.</i>, “Tracing the origin of adult intestinal stem cells,” <i>Nature</i>, vol. 570. Springer Nature, pp. 107–111, 2019.","mla":"Guiu, Jordi, et al. “Tracing the Origin of Adult Intestinal Stem Cells.” <i>Nature</i>, vol. 570, Springer Nature, 2019, pp. 107–11, doi:<a href=\"https://doi.org/10.1038/s41586-019-1212-5\">10.1038/s41586-019-1212-5</a>.","ama":"Guiu J, Hannezo EB, Yui S, et al. Tracing the origin of adult intestinal stem cells. <i>Nature</i>. 2019;570:107-111. doi:<a href=\"https://doi.org/10.1038/s41586-019-1212-5\">10.1038/s41586-019-1212-5</a>","ista":"Guiu J, Hannezo EB, Yui S, Demharter S, Ulyanchenko S, Maimets M, Jørgensen A, Perlman S, Lundvall L, Mamsen LS, Larsen A, Olesen RH, Andersen CY, Thuesen LL, Hare KJ, Pers TH, Khodosevich K, Simons BD, Jensen KB. 2019. Tracing the origin of adult intestinal stem cells. Nature. 570, 107–111.","apa":"Guiu, J., Hannezo, E. B., Yui, S., Demharter, S., Ulyanchenko, S., Maimets, M., … Jensen, K. B. (2019). Tracing the origin of adult intestinal stem cells. <i>Nature</i>. Springer Nature. <a href=\"https://doi.org/10.1038/s41586-019-1212-5\">https://doi.org/10.1038/s41586-019-1212-5</a>","short":"J. Guiu, E.B. Hannezo, S. Yui, S. Demharter, S. Ulyanchenko, M. Maimets, A. Jørgensen, S. Perlman, L. Lundvall, L.S. Mamsen, A. Larsen, R.H. Olesen, C.Y. Andersen, L.L. Thuesen, K.J. Hare, T.H. Pers, K. Khodosevich, B.D. Simons, K.B. Jensen, Nature 570 (2019) 107–111."},"page":"107-111","month":"06","language":[{"iso":"eng"}],"publisher":"Springer Nature","oa_version":"Submitted Version","pmid":1,"abstract":[{"lang":"eng","text":"Adult intestinal stem cells are located at the bottom of crypts of Lieberkühn, where they express markers such as LGR5 1,2 and fuel the constant replenishment of the intestinal epithelium1. Although fetal LGR5-expressing cells can give rise to adult intestinal stem cells3,4, it remains unclear whether this population in the patterned epithelium represents unique intestinal stem-cell precursors. Here we show, using unbiased quantitative lineage-tracing approaches, biophysical modelling and intestinal transplantation, that all cells of the mouse intestinal epithelium—irrespective of their location and pattern of LGR5 expression in the fetal gut tube—contribute actively to the adult intestinal stem cell pool. Using 3D imaging, we find that during fetal development the villus undergoes gross remodelling and fission. This brings epithelial cells from the non-proliferative villus into the proliferative intervillus region, which enables them to contribute to the adult stem-cell niche. Our results demonstrate that large-scale remodelling of the intestinal wall and cell-fate specification are closely linked. Moreover, these findings provide a direct link between the observed plasticity and cellular reprogramming of differentiating cells in adult tissues following damage5,6,7,8,9, revealing that stem-cell identity is an induced rather than a hardwired property."}],"article_type":"original","date_created":"2019-06-02T21:59:14Z","volume":570,"external_id":{"isi":["000470149000048"],"pmid":["31092921"]},"scopus_import":"1","intvolume":"       570","oa":1,"main_file_link":[{"url":"https://www.ncbi.nlm.nih.gov/pmc/articles/PMC6986928","open_access":"1"}],"status":"public","publication_status":"published","day":"06","department":[{"_id":"EdHa"}],"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","doi":"10.1038/s41586-019-1212-5"},{"publication_identifier":{"issn":["1920-180X"]},"quality_controlled":"1","ddc":["510"],"publication":"Journal of Computational Geometry ","has_accepted_license":"1","type":"journal_article","date_published":"2019-07-01T00:00:00Z","title":"Simplices modelled on spaces of constant curvature","author":[{"full_name":"Dyer, Ramsay","first_name":"Ramsay","last_name":"Dyer"},{"first_name":"Gert","last_name":"Vegter","full_name":"Vegter, Gert"},{"first_name":"Mathijs","id":"307CFBC8-F248-11E8-B48F-1D18A9856A87","last_name":"Wintraecken","full_name":"Wintraecken, Mathijs","orcid":"0000-0002-7472-2220"}],"ec_funded":1,"file":[{"checksum":"57b4df2f16a74eb499734ec8ee240178","file_size":2170882,"date_created":"2019-06-03T09:30:01Z","file_name":"mainJournalFinal.pdf","creator":"mwintrae","file_id":"6516","relation":"main_file","content_type":"application/pdf","date_updated":"2020-07-14T12:47:32Z","access_level":"open_access"}],"month":"07","_id":"6515","date_updated":"2021-01-12T08:07:50Z","page":"223–256","citation":{"chicago":"Dyer, Ramsay, Gert Vegter, and Mathijs Wintraecken. “Simplices Modelled on Spaces of Constant Curvature.” <i>Journal of Computational Geometry </i>. Carleton University, 2019. <a href=\"https://doi.org/10.20382/jocg.v10i1a9\">https://doi.org/10.20382/jocg.v10i1a9</a>.","apa":"Dyer, R., Vegter, G., &#38; Wintraecken, M. (2019). Simplices modelled on spaces of constant curvature. <i>Journal of Computational Geometry </i>. Carleton University. <a href=\"https://doi.org/10.20382/jocg.v10i1a9\">https://doi.org/10.20382/jocg.v10i1a9</a>","short":"R. Dyer, G. Vegter, M. Wintraecken, Journal of Computational Geometry  10 (2019) 223–256.","ista":"Dyer R, Vegter G, Wintraecken M. 2019. Simplices modelled on spaces of constant curvature. Journal of Computational Geometry . 10(1), 223–256.","mla":"Dyer, Ramsay, et al. “Simplices Modelled on Spaces of Constant Curvature.” <i>Journal of Computational Geometry </i>, vol. 10, no. 1, Carleton University, 2019, pp. 223–256, doi:<a href=\"https://doi.org/10.20382/jocg.v10i1a9\">10.20382/jocg.v10i1a9</a>.","ama":"Dyer R, Vegter G, Wintraecken M. Simplices modelled on spaces of constant curvature. <i>Journal of Computational Geometry </i>. 2019;10(1):223–256. doi:<a href=\"https://doi.org/10.20382/jocg.v10i1a9\">10.20382/jocg.v10i1a9</a>","ieee":"R. Dyer, G. Vegter, and M. Wintraecken, “Simplices modelled on spaces of constant curvature,” <i>Journal of Computational Geometry </i>, vol. 10, no. 1. Carleton University, pp. 223–256, 2019."},"publisher":"Carleton University","language":[{"iso":"eng"}],"year":"2019","intvolume":"        10","tmp":{"short":"CC BY (4.0)","image":"/images/cc_by.png","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)"},"scopus_import":1,"abstract":[{"lang":"eng","text":"We give non-degeneracy criteria for Riemannian simplices based on simplices in spaces of constant sectional curvature. It extends previous work on Riemannian simplices, where we developed Riemannian simplices with respect to Euclidean reference simplices. The criteria we give in this article are in terms of quality measures for spaces of constant curvature that we develop here. We see that simplices in spaces that have nearly constant curvature, are already non-degenerate under very weak quality demands. This is of importance because it allows for sampling of Riemannian manifolds based on anisotropy of the manifold and not (absolute) curvature."}],"volume":10,"date_created":"2019-06-03T09:35:33Z","oa_version":"Published Version","project":[{"name":"ISTplus - Postdoctoral Fellowships","_id":"260C2330-B435-11E9-9278-68D0E5697425","grant_number":"754411","call_identifier":"H2020"}],"day":"01","doi":"10.20382/jocg.v10i1a9","department":[{"_id":"HeEd"}],"user_id":"3E5EF7F0-F248-11E8-B48F-1D18A9856A87","status":"public","publication_status":"published","file_date_updated":"2020-07-14T12:47:32Z","oa":1,"issue":"1"},{"quality_controlled":"1","publication_identifier":{"issn":["0304-3940"]},"article_processing_charge":"No","ddc":["570"],"publication":"Neuroscience Letters","has_accepted_license":"1","type":"journal_article","date_published":"2019-08-10T00:00:00Z","author":[{"id":"3838F452-F248-11E8-B48F-1D18A9856A87","first_name":"Margaret E","last_name":"Maes","full_name":"Maes, Margaret E","orcid":"0000-0001-9642-1085"},{"full_name":"Colombo, Gloria","first_name":"Gloria","id":"3483CF6C-F248-11E8-B48F-1D18A9856A87","last_name":"Colombo","orcid":"0000-0001-9434-8902"},{"full_name":"Schulz, Rouven","first_name":"Rouven","id":"4C5E7B96-F248-11E8-B48F-1D18A9856A87","last_name":"Schulz","orcid":"0000-0001-5297-733X"},{"full_name":"Siegert, Sandra","first_name":"Sandra","id":"36ACD32E-F248-11E8-B48F-1D18A9856A87","last_name":"Siegert","orcid":"0000-0001-8635-0877"}],"title":"Targeting microglia with lentivirus and AAV: Recent advances and remaining challenges","ec_funded":1,"isi":1,"file":[{"relation":"main_file","content_type":"application/pdf","access_level":"open_access","date_updated":"2020-07-14T12:47:33Z","checksum":"553c9dbd39727fbed55ee991c51ca4d1","file_size":1779287,"date_created":"2019-06-08T11:44:20Z","file_name":"2019_Neuroscience_Maes.pdf","creator":"dernst","file_id":"6551"}],"_id":"6521","citation":{"apa":"Maes, M. E., Colombo, G., Schulz, R., &#38; Siegert, S. (2019). Targeting microglia with lentivirus and AAV: Recent advances and remaining challenges. <i>Neuroscience Letters</i>. Elsevier. <a href=\"https://doi.org/10.1016/j.neulet.2019.134310\">https://doi.org/10.1016/j.neulet.2019.134310</a>","short":"M.E. Maes, G. Colombo, R. Schulz, S. Siegert, Neuroscience Letters 707 (2019).","ista":"Maes ME, Colombo G, Schulz R, Siegert S. 2019. Targeting microglia with lentivirus and AAV: Recent advances and remaining challenges. Neuroscience Letters. 707, 134310.","ama":"Maes ME, Colombo G, Schulz R, Siegert S. Targeting microglia with lentivirus and AAV: Recent advances and remaining challenges. <i>Neuroscience Letters</i>. 2019;707. doi:<a href=\"https://doi.org/10.1016/j.neulet.2019.134310\">10.1016/j.neulet.2019.134310</a>","mla":"Maes, Margaret E., et al. “Targeting Microglia with Lentivirus and AAV: Recent Advances and Remaining Challenges.” <i>Neuroscience Letters</i>, vol. 707, 134310, Elsevier, 2019, doi:<a href=\"https://doi.org/10.1016/j.neulet.2019.134310\">10.1016/j.neulet.2019.134310</a>.","ieee":"M. E. Maes, G. Colombo, R. Schulz, and S. Siegert, “Targeting microglia with lentivirus and AAV: Recent advances and remaining challenges,” <i>Neuroscience Letters</i>, vol. 707. Elsevier, 2019.","chicago":"Maes, Margaret E, Gloria Colombo, Rouven Schulz, and Sandra Siegert. “Targeting Microglia with Lentivirus and AAV: Recent Advances and Remaining Challenges.” <i>Neuroscience Letters</i>. Elsevier, 2019. <a href=\"https://doi.org/10.1016/j.neulet.2019.134310\">https://doi.org/10.1016/j.neulet.2019.134310</a>."},"date_updated":"2025-03-31T16:01:17Z","month":"08","language":[{"iso":"eng"}],"corr_author":"1","publisher":"Elsevier","year":"2019","intvolume":"       707","tmp":{"short":"CC BY (4.0)","image":"/images/cc_by.png","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)"},"external_id":{"pmid":["31158432"],"isi":["000486094600037"]},"scopus_import":"1","abstract":[{"text":"Microglia have emerged as a critical component of neurodegenerative diseases. Genetic manipulation of microglia can elucidate their functional impact in disease. In neuroscience, recombinant viruses such as lentiviruses and adeno-associated viruses (AAVs) have been successfully used to target various cell types in the brain, although effective transduction of microglia is rare. In this review, we provide a short background of lentiviruses and AAVs, and strategies for designing recombinant viral vectors. Then, we will summarize recent literature on successful microglial transductions in vitro and in vivo, and discuss the current challenges. Finally, we provide guidelines for reporting the efficiency and specificity of viral targeting in microglia, which will enable the microglial research community to assess and improve methodologies for future studies.","lang":"eng"}],"article_number":"134310","article_type":"original","date_created":"2019-06-05T13:16:24Z","volume":707,"oa_version":"Published Version","pmid":1,"day":"10","project":[{"call_identifier":"H2020","grant_number":"665385","_id":"2564DBCA-B435-11E9-9278-68D0E5697425","name":"International IST Doctoral Program"},{"name":"Microglia action towards neuronal circuit formation and function in health and disease","_id":"25D4A630-B435-11E9-9278-68D0E5697425","grant_number":"715571","call_identifier":"H2020"},{"name":"Modulating microglia through G protein-coupled receptor (GPCR) signaling","_id":"267F75D8-B435-11E9-9278-68D0E5697425"}],"department":[{"_id":"SaSi"}],"user_id":"4359f0d1-fa6c-11eb-b949-802e58b17ae8","doi":"10.1016/j.neulet.2019.134310","status":"public","publication_status":"published","file_date_updated":"2020-07-14T12:47:33Z","oa":1},{"_id":"6528","date_updated":"2025-07-10T11:53:29Z","citation":{"chicago":"Pietrzak, Krzysztof Z. “Simple Verifiable Delay Functions.” In <i>10th Innovations in Theoretical Computer Science Conference</i>, Vol. 124. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2019. <a href=\"https://doi.org/10.4230/LIPICS.ITCS.2019.60\">https://doi.org/10.4230/LIPICS.ITCS.2019.60</a>.","ieee":"K. Z. Pietrzak, “Simple verifiable delay functions,” in <i>10th Innovations in Theoretical Computer Science Conference</i>, San Diego, CA, United States, 2019, vol. 124.","mla":"Pietrzak, Krzysztof Z. “Simple Verifiable Delay Functions.” <i>10th Innovations in Theoretical Computer Science Conference</i>, vol. 124, 60, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2019, doi:<a href=\"https://doi.org/10.4230/LIPICS.ITCS.2019.60\">10.4230/LIPICS.ITCS.2019.60</a>.","ama":"Pietrzak KZ. Simple verifiable delay functions. In: <i>10th Innovations in Theoretical Computer Science Conference</i>. Vol 124. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2019. doi:<a href=\"https://doi.org/10.4230/LIPICS.ITCS.2019.60\">10.4230/LIPICS.ITCS.2019.60</a>","ista":"Pietrzak KZ. 2019. Simple verifiable delay functions. 10th Innovations in Theoretical Computer Science Conference. ITCS: Innovations in Theoretical Computer Science, LIPIcs, vol. 124, 60.","apa":"Pietrzak, K. Z. (2019). Simple verifiable delay functions. In <i>10th Innovations in Theoretical Computer Science Conference</i> (Vol. 124). San Diego, CA, United States: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. <a href=\"https://doi.org/10.4230/LIPICS.ITCS.2019.60\">https://doi.org/10.4230/LIPICS.ITCS.2019.60</a>","short":"K.Z. Pietrzak, in:, 10th Innovations in Theoretical Computer Science Conference, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2019."},"month":"01","language":[{"iso":"eng"}],"publisher":"Schloss Dagstuhl - Leibniz-Zentrum für Informatik","file":[{"date_created":"2019-06-06T14:22:04Z","checksum":"f0ae1bb161431d9db3dea5ace082bfb5","file_size":558770,"file_name":"2019_LIPIcs_Pietrzak.pdf","creator":"dernst","file_id":"6529","relation":"main_file","content_type":"application/pdf","access_level":"open_access","date_updated":"2020-07-14T12:47:33Z"}],"year":"2019","conference":{"location":"San Diego, CA, United States","start_date":"2019-01-10","end_date":"2019-01-12","name":"ITCS: Innovations in Theoretical Computer Science"},"ddc":["000"],"publication":"10th Innovations in Theoretical Computer Science Conference","quality_controlled":"1","publication_identifier":{"isbn":["978-3-95977-095-8"],"issn":["1868-8969"]},"article_processing_charge":"No","author":[{"orcid":"0000-0002-9139-1654","id":"3E04A7AA-F248-11E8-B48F-1D18A9856A87","first_name":"Krzysztof Z","last_name":"Pietrzak","full_name":"Pietrzak, Krzysztof Z"}],"alternative_title":["LIPIcs"],"title":"Simple verifiable delay functions","ec_funded":1,"type":"conference","has_accepted_license":"1","date_published":"2019-01-10T00:00:00Z","status":"public","publication_status":"published","project":[{"grant_number":"682815","_id":"258AA5B2-B435-11E9-9278-68D0E5697425","call_identifier":"H2020","name":"Teaching Old Crypto New Tricks"}],"day":"10","department":[{"_id":"KrPi"}],"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","doi":"10.4230/LIPICS.ITCS.2019.60","oa":1,"file_date_updated":"2020-07-14T12:47:33Z","main_file_link":[{"url":"https://eprint.iacr.org/2018/627","open_access":"1"}],"tmp":{"short":"CC BY (4.0)","image":"/images/cc_by.png","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)"},"scopus_import":"1","intvolume":"       124","oa_version":"Published Version","abstract":[{"text":"We construct a verifiable delay function (VDF) by showing how the Rivest-Shamir-Wagner time-lock puzzle can be made publicly verifiable. Concretely, we give a statistically sound public-coin protocol to prove that a tuple (N,x,T,y) satisfies y=x2T (mod N) where the prover doesn’t know the factorization of N and its running time is dominated by solving the puzzle, that is, compute x2T, which is conjectured to require T sequential squarings. To get a VDF we make this protocol non-interactive using the Fiat-Shamir heuristic.The motivation for this work comes from the Chia blockchain design, which uses a VDF as akey ingredient. For typical parameters (T≤2 40, N= 2048), our proofs are of size around 10K B, verification cost around three RSA exponentiations and computing the proof is 8000 times faster than solving the puzzle even without any parallelism.","lang":"eng"}],"article_number":"60","volume":124,"date_created":"2019-06-06T14:12:36Z"},{"publisher":"Institute of Electrical and Electronics Engineers","language":[{"iso":"eng"}],"month":"09","page":"2251 - 2265","_id":"6554","date_updated":"2024-12-11T11:49:58Z","citation":{"ista":"Xian Y, Lampert C, Schiele B, Akata Z. 2019. Zero-shot learning - A comprehensive evaluation of the good, the bad and the ugly. IEEE Transactions on Pattern Analysis and Machine Intelligence. 41(9), 2251–2265.","short":"Y. Xian, C. Lampert, B. Schiele, Z. Akata, IEEE Transactions on Pattern Analysis and Machine Intelligence 41 (2019) 2251–2265.","apa":"Xian, Y., Lampert, C., Schiele, B., &#38; Akata, Z. (2019). Zero-shot learning - A comprehensive evaluation of the good, the bad and the ugly. <i>IEEE Transactions on Pattern Analysis and Machine Intelligence</i>. Institute of Electrical and Electronics Engineers. <a href=\"https://doi.org/10.1109/tpami.2018.2857768\">https://doi.org/10.1109/tpami.2018.2857768</a>","ieee":"Y. Xian, C. Lampert, B. Schiele, and Z. Akata, “Zero-shot learning - A comprehensive evaluation of the good, the bad and the ugly,” <i>IEEE Transactions on Pattern Analysis and Machine Intelligence</i>, vol. 41, no. 9. Institute of Electrical and Electronics Engineers, pp. 2251–2265, 2019.","mla":"Xian, Yongqin, et al. “Zero-Shot Learning - A Comprehensive Evaluation of the Good, the Bad and the Ugly.” <i>IEEE Transactions on Pattern Analysis and Machine Intelligence</i>, vol. 41, no. 9, Institute of Electrical and Electronics Engineers, 2019, pp. 2251–65, doi:<a href=\"https://doi.org/10.1109/tpami.2018.2857768\">10.1109/tpami.2018.2857768</a>.","ama":"Xian Y, Lampert C, Schiele B, Akata Z. Zero-shot learning - A comprehensive evaluation of the good, the bad and the ugly. <i>IEEE Transactions on Pattern Analysis and Machine Intelligence</i>. 2019;41(9):2251-2265. doi:<a href=\"https://doi.org/10.1109/tpami.2018.2857768\">10.1109/tpami.2018.2857768</a>","chicago":"Xian, Yongqin, Christoph Lampert, Bernt Schiele, and Zeynep Akata. “Zero-Shot Learning - A Comprehensive Evaluation of the Good, the Bad and the Ugly.” <i>IEEE Transactions on Pattern Analysis and Machine Intelligence</i>. Institute of Electrical and Electronics Engineers, 2019. <a href=\"https://doi.org/10.1109/tpami.2018.2857768\">https://doi.org/10.1109/tpami.2018.2857768</a>."},"year":"2019","publication":"IEEE Transactions on Pattern Analysis and Machine Intelligence","article_processing_charge":"No","publication_identifier":{"issn":["0162-8828"],"eissn":["1939-3539"]},"quality_controlled":"1","isi":1,"arxiv":1,"title":"Zero-shot learning - A comprehensive evaluation of the good, the bad and the ugly","author":[{"full_name":"Xian, Yongqin","last_name":"Xian","first_name":"Yongqin"},{"full_name":"Lampert, Christoph","last_name":"Lampert","id":"40C20FD2-F248-11E8-B48F-1D18A9856A87","first_name":"Christoph","orcid":"0000-0002-4561-241X"},{"first_name":"Bernt","last_name":"Schiele","full_name":"Schiele, Bernt"},{"full_name":"Akata, Zeynep","first_name":"Zeynep","last_name":"Akata"}],"date_published":"2019-09-01T00:00:00Z","type":"journal_article","publication_status":"published","status":"public","doi":"10.1109/tpami.2018.2857768","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","department":[{"_id":"ChLa"}],"day":"01","issue":"9","main_file_link":[{"open_access":"1","url":"https://arxiv.org/abs/1707.00600"}],"oa":1,"scopus_import":"1","external_id":{"isi":["000480343900015"],"arxiv":["1707.00600"]},"intvolume":"        41","oa_version":"Preprint","volume":41,"date_created":"2019-06-11T14:05:59Z","article_type":"original","abstract":[{"text":"Due to the importance of zero-shot learning, i.e. classifying images where there is a lack of labeled training data, the number of proposed approaches has recently increased steadily. We argue that it is time to take a step back and to analyze the status quo of the area. The purpose of this paper is three-fold. First, given the fact that there is no agreed upon zero-shot learning benchmark, we first define a new benchmark by unifying both the evaluation protocols and data splits of publicly available datasets used for this task. This is an important contribution as published results are often not comparable and sometimes even flawed due to, e.g. pre-training on zero-shot test classes. Moreover, we propose a new zero-shot learning dataset, the Animals with Attributes 2 (AWA2) dataset which we make publicly available both in terms of image features and the images themselves. Second, we compare and analyze a significant number of the state-of-the-art methods in depth, both in the classic zero-shot setting but also in the more realistic generalized zero-shot setting. Finally, we discuss in detail the limitations of the current status of the area which can be taken as a basis for advancing it.","lang":"eng"}]}]