[{"month":"06","language":[{"iso":"eng"}],"publisher":"IEEE","article_processing_charge":"No","abstract":[{"text":"Bias-resistant public randomness is a critical component in many (distributed) protocols. Generating public randomness is hard, however, because active adversaries may behave dishonestly to bias public random choices toward their advantage. Existing solutions do not scale to hundreds or thousands of participants, as is needed in many decentralized systems. We propose two large-scale distributed protocols, RandHound and RandHerd, which provide publicly-verifiable, unpredictable, and unbiasable randomness against Byzantine adversaries. RandHound relies on an untrusted client to divide a set of randomness servers into groups for scalability, and it depends on the pigeonhole principle to ensure output integrity, even for non-random, adversarial group choices. RandHerd implements an efficient, decentralized randomness beacon. RandHerd is structurally similar to a BFT protocol, but uses RandHound in a one-time setup to arrange participants into verifiably unbiased random secret-sharing groups, which then repeatedly produce random output at predefined intervals. Our prototype demonstrates that RandHound and RandHerd achieve good performance across hundreds of participants while retaining a low failure probability by properly selecting protocol parameters, such as a group size and secret-sharing threshold. For example, when sharding 512 nodes into groups of 32, our experiments show that RandHound can produce fresh random output after 240 seconds. RandHerd, after a setup phase of 260 seconds, is able to generate fresh random output in intervals of approximately 6 seconds. For this configuration, both protocols operate at a failure probability of at most 0.08% against a Byzantine adversary.","lang":"eng"}],"extern":"1","quality_controlled":"1","author":[{"full_name":"Syta, E.","last_name":"Syta","first_name":"E."},{"full_name":"Jovanovic, P.","first_name":"P.","last_name":"Jovanovic"},{"full_name":"Kokoris Kogias, Eleftherios","id":"f5983044-d7ef-11ea-ac6d-fd1430a26d30","first_name":"Eleftherios","last_name":"Kokoris Kogias"},{"first_name":"N.","last_name":"Gailly","full_name":"Gailly, N."},{"full_name":"Gasser, L.","first_name":"L.","last_name":"Gasser"},{"last_name":"Khoffi","first_name":"I.","full_name":"Khoffi, I."},{"full_name":"Fischer, M. J.","last_name":"Fischer","first_name":"M. J."},{"last_name":"Ford","first_name":"B.","full_name":"Ford, B."}],"publication":"2017 IEEE Symposium on Security and Privacy","date_published":"2017-06-01T00:00:00Z","citation":{"ama":"Syta E, Jovanovic P, Kokoris Kogias E, et al. Scalable bias-resistant distributed randomness. In: <i>2017 IEEE Symposium on Security and Privacy</i>. IEEE; 2017:444-460. doi:<a href=\"https://doi.org/10.1109/SP.2017.45\">10.1109/SP.2017.45</a>","ieee":"E. Syta <i>et al.</i>, “Scalable bias-resistant distributed randomness,” in <i>2017 IEEE Symposium on Security and Privacy</i>, San Jose, CA, United States, 2017, pp. 444–460.","chicago":"Syta, E., P. Jovanovic, Eleftherios Kokoris Kogias, N. Gailly, L. Gasser, I. Khoffi, M. J. Fischer, and B. Ford. “Scalable Bias-Resistant Distributed Randomness.” In <i>2017 IEEE Symposium on Security and Privacy</i>, 444–60. IEEE, 2017. <a href=\"https://doi.org/10.1109/SP.2017.45\">https://doi.org/10.1109/SP.2017.45</a>.","mla":"Syta, E., et al. “Scalable Bias-Resistant Distributed Randomness.” <i>2017 IEEE Symposium on Security and Privacy</i>, IEEE, 2017, pp. 444–60, doi:<a href=\"https://doi.org/10.1109/SP.2017.45\">10.1109/SP.2017.45</a>.","ista":"Syta E, Jovanovic P, Kokoris Kogias E, Gailly N, Gasser L, Khoffi I, Fischer MJ, Ford B. 2017. Scalable bias-resistant distributed randomness. 2017 IEEE Symposium on Security and Privacy. SP: Symposium on Security and Privacy, 444–460.","apa":"Syta, E., Jovanovic, P., Kokoris Kogias, E., Gailly, N., Gasser, L., Khoffi, I., … Ford, B. (2017). Scalable bias-resistant distributed randomness. In <i>2017 IEEE Symposium on Security and Privacy</i> (pp. 444–460). San Jose, CA, United States: IEEE. <a href=\"https://doi.org/10.1109/SP.2017.45\">https://doi.org/10.1109/SP.2017.45</a>","short":"E. Syta, P. Jovanovic, E. Kokoris Kogias, N. Gailly, L. Gasser, I. Khoffi, M.J. Fischer, B. Ford, in:, 2017 IEEE Symposium on Security and Privacy, IEEE, 2017, pp. 444–460."},"oa":1,"conference":{"location":"San Jose, CA, United States","start_date":"2017-05-22","name":"SP: Symposium on Security and Privacy","end_date":"2017-05-26"},"page":"444-460","oa_version":"Preprint","_id":"8306","day":"01","type":"conference","publication_status":"published","year":"2017","date_created":"2020-08-26T12:26:08Z","main_file_link":[{"open_access":"1","url":"https://eprint.iacr.org/2016/1067"}],"doi":"10.1109/SP.2017.45","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","status":"public","publication_identifier":{"issn":["2375-1207"],"isbn":["9781509055340"]},"title":"Scalable bias-resistant distributed randomness","date_updated":"2021-01-12T08:18:02Z"},{"date_updated":"2023-09-27T12:29:29Z","issue":"2","title":"Preface of the special issue in memoriam Helmut Veith","publist_id":"6924","status":"public","user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","date_created":"2018-12-11T11:48:16Z","doi":"10.1007/s10703-017-0307-6","isi":1,"year":"2017","volume":51,"publication_status":"published","day":"14","type":"journal_article","_id":"743","intvolume":"        51","oa_version":"None","page":"267 - 269","citation":{"short":"G. Gottlob, T.A. Henzinger, G. Weißenbacher, Formal Methods in System Design 51 (2017) 267–269.","ista":"Gottlob G, Henzinger TA, Weißenbacher G. 2017. Preface of the special issue in memoriam Helmut Veith. Formal Methods in System Design. 51(2), 267–269.","apa":"Gottlob, G., Henzinger, T. A., &#38; Weißenbacher, G. (2017). Preface of the special issue in memoriam Helmut Veith. <i>Formal Methods in System Design</i>. Springer. <a href=\"https://doi.org/10.1007/s10703-017-0307-6\">https://doi.org/10.1007/s10703-017-0307-6</a>","mla":"Gottlob, Georg, et al. “Preface of the Special Issue in Memoriam Helmut Veith.” <i>Formal Methods in System Design</i>, vol. 51, no. 2, Springer, 2017, pp. 267–69, doi:<a href=\"https://doi.org/10.1007/s10703-017-0307-6\">10.1007/s10703-017-0307-6</a>.","ama":"Gottlob G, Henzinger TA, Weißenbacher G. Preface of the special issue in memoriam Helmut Veith. <i>Formal Methods in System Design</i>. 2017;51(2):267-269. doi:<a href=\"https://doi.org/10.1007/s10703-017-0307-6\">10.1007/s10703-017-0307-6</a>","chicago":"Gottlob, Georg, Thomas A Henzinger, and Georg Weißenbacher. “Preface of the Special Issue in Memoriam Helmut Veith.” <i>Formal Methods in System Design</i>. Springer, 2017. <a href=\"https://doi.org/10.1007/s10703-017-0307-6\">https://doi.org/10.1007/s10703-017-0307-6</a>.","ieee":"G. Gottlob, T. A. Henzinger, and G. Weißenbacher, “Preface of the special issue in memoriam Helmut Veith,” <i>Formal Methods in System Design</i>, vol. 51, no. 2. Springer, pp. 267–269, 2017."},"date_published":"2017-11-14T00:00:00Z","external_id":{"isi":["000415615600001"]},"publication":"Formal Methods in System Design","author":[{"first_name":"Georg","last_name":"Gottlob","full_name":"Gottlob, Georg"},{"id":"40876CD8-F248-11E8-B48F-1D18A9856A87","full_name":"Henzinger, Thomas A","orcid":"0000−0002−2985−7724","last_name":"Henzinger","first_name":"Thomas A"},{"full_name":"Weißenbacher, Georg","last_name":"Weißenbacher","first_name":"Georg"}],"quality_controlled":"1","article_processing_charge":"No","abstract":[{"text":"This special issue of the Journal on Formal Methods in System Design is dedicated to Prof. Helmut Veith, who unexpectedly passed away in March 2016. Helmut Veith was a brilliant researcher, inspiring collaborator, passionate mentor, generous friend, and valued member of the formal methods community. Helmut was not only known for his numerous and influential contributions in the field of automated verification (most prominently his work on Counterexample-Guided Abstraction Refinement [1,2]), but also for his untiring and passionate efforts for the logic community: he co-organized the Vienna Summer of Logic (an event comprising twelve conferences and numerous workshops which attracted thousands of researchers from all over the world), he initiated the Vienna Center for Logic and Algorithms (which promotes international collaboration on logic and algorithms and organizes outreach events such as the LogicLounge), and he coordinated the Doctoral Program on Logical Methods in Computer Science at TU Wien (currently educating more than 40 doctoral students) and a National Research Network on Rigorous Systems Engineering (uniting fifteen researchers in Austria to address the challenge of building reliable and safe computer\r\nsystems). With his enthusiasm and commitment, Helmut completely reshaped the Austrian research landscape in the field of logic and verification in his few years as a full professor at TU Wien.","lang":"eng"}],"publisher":"Springer","language":[{"iso":"eng"}],"department":[{"_id":"ToHe"}],"month":"11"},{"scopus_import":"1","publication_identifier":{"issn":["09609822"]},"publist_id":"6905","ddc":["570","576"],"title":"A moving source of matrix components is essential for De Novo basement membrane formation","issue":"22","type":"journal_article","day":"09","status":"public","has_accepted_license":"1","doi":"10.1016/j.cub.2017.10.001","date_created":"2018-12-11T11:48:18Z","citation":{"ista":"Matsubayashi Y, Louani A, Dragu A, Sanchez Sanchez B, Serna Morales E, Yolland L, György A, Vizcay G, Fleck R, Heddleston J, Chew T, Siekhaus DE, Stramer B. 2017. A moving source of matrix components is essential for De Novo basement membrane formation. Current Biology. 27(22), 3526–3534e.4.","apa":"Matsubayashi, Y., Louani, A., Dragu, A., Sanchez Sanchez, B., Serna Morales, E., Yolland, L., … Stramer, B. (2017). A moving source of matrix components is essential for De Novo basement membrane formation. <i>Current Biology</i>. Cell Press. <a href=\"https://doi.org/10.1016/j.cub.2017.10.001\">https://doi.org/10.1016/j.cub.2017.10.001</a>","short":"Y. Matsubayashi, A. Louani, A. Dragu, B. Sanchez Sanchez, E. Serna Morales, L. Yolland, A. György, G. Vizcay, R. Fleck, J. Heddleston, T. Chew, D.E. Siekhaus, B. Stramer, Current Biology 27 (2017) 3526–3534e.4.","ama":"Matsubayashi Y, Louani A, Dragu A, et al. A moving source of matrix components is essential for De Novo basement membrane formation. <i>Current Biology</i>. 2017;27(22):3526-3534e.4. doi:<a href=\"https://doi.org/10.1016/j.cub.2017.10.001\">10.1016/j.cub.2017.10.001</a>","ieee":"Y. Matsubayashi <i>et al.</i>, “A moving source of matrix components is essential for De Novo basement membrane formation,” <i>Current Biology</i>, vol. 27, no. 22. Cell Press, p. 3526–3534e.4, 2017.","chicago":"Matsubayashi, Yutaka, Adam Louani, Anca Dragu, Besaiz Sanchez Sanchez, Eduardo Serna Morales, Lawrence Yolland, Attila György, et al. “A Moving Source of Matrix Components Is Essential for De Novo Basement Membrane Formation.” <i>Current Biology</i>. Cell Press, 2017. <a href=\"https://doi.org/10.1016/j.cub.2017.10.001\">https://doi.org/10.1016/j.cub.2017.10.001</a>.","mla":"Matsubayashi, Yutaka, et al. “A Moving Source of Matrix Components Is Essential for De Novo Basement Membrane Formation.” <i>Current Biology</i>, vol. 27, no. 22, Cell Press, 2017, p. 3526–3534e.4, doi:<a href=\"https://doi.org/10.1016/j.cub.2017.10.001\">10.1016/j.cub.2017.10.001</a>."},"date_published":"2017-11-09T00:00:00Z","intvolume":"        27","tmp":{"image":"/images/cc_by.png","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","short":"CC BY (4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode"},"publisher":"Cell Press","language":[{"iso":"eng"}],"month":"11","license":"https://creativecommons.org/licenses/by/4.0/","publication":"Current Biology","quality_controlled":"1","article_processing_charge":"No","file_date_updated":"2020-07-14T12:47:59Z","date_updated":"2023-09-27T12:25:31Z","volume":27,"year":"2017","pubrep_id":"875","publication_status":"published","file":[{"date_created":"2018-12-12T10:09:45Z","checksum":"264cf6c6c3551486ba5ea786850e000a","creator":"system","access_level":"open_access","content_type":"application/pdf","file_id":"4770","relation":"main_file","date_updated":"2020-07-14T12:47:59Z","file_size":4770657,"file_name":"IST-2017-875-v1+1_1-s2.0-S0960982217312691-main.pdf"}],"user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","isi":1,"page":"3526 - 3534e.4","oa":1,"_id":"751","oa_version":"Published Version","department":[{"_id":"DaSi"}],"external_id":{"isi":["000415815800031"]},"author":[{"full_name":"Matsubayashi, Yutaka","last_name":"Matsubayashi","first_name":"Yutaka"},{"full_name":"Louani, Adam","last_name":"Louani","first_name":"Adam"},{"full_name":"Dragu, Anca","last_name":"Dragu","first_name":"Anca"},{"last_name":"Sanchez Sanchez","first_name":"Besaiz","full_name":"Sanchez Sanchez, Besaiz"},{"last_name":"Serna Morales","first_name":"Eduardo","full_name":"Serna Morales, Eduardo"},{"full_name":"Yolland, Lawrence","last_name":"Yolland","first_name":"Lawrence"},{"first_name":"Attila","last_name":"György","orcid":"0000-0002-1819-198X","full_name":"György, Attila","id":"3BCEDBE0-F248-11E8-B48F-1D18A9856A87"},{"first_name":"Gema","last_name":"Vizcay","full_name":"Vizcay, Gema"},{"first_name":"Roland","last_name":"Fleck","full_name":"Fleck, Roland"},{"full_name":"Heddleston, John","first_name":"John","last_name":"Heddleston"},{"full_name":"Chew, Teng","last_name":"Chew","first_name":"Teng"},{"first_name":"Daria E","last_name":"Siekhaus","orcid":"0000-0001-8323-8353","full_name":"Siekhaus, Daria E","id":"3D224B9E-F248-11E8-B48F-1D18A9856A87"},{"full_name":"Stramer, Brian","first_name":"Brian","last_name":"Stramer"}],"abstract":[{"lang":"eng","text":"The basement membrane (BM) is a thin layer of extracellular matrix (ECM) beneath nearly all epithelial cell types that is critical for cellular and tissue function. It is composed of numerous components conserved among all bilaterians [1]; however, it is unknown how all of these components are generated and subsequently constructed to form a fully mature BM in the living animal. Although BM formation is thought to simply involve a process of self-assembly [2], this concept suffers from a number of logistical issues when considering its construction in vivo. First, incorporation of BM components appears to be hierarchical [3-5], yet it is unclear whether their production during embryogenesis must also be regulated in a temporal fashion. Second, many BM proteins are produced not only by the cells residing on the BM but also by surrounding cell types [6-9], and it is unclear how large, possibly insoluble protein complexes [10] are delivered into the matrix. Here we exploit our ability to live image and genetically dissect de novo BM formation during Drosophila development. This reveals that there is a temporal hierarchy of BM protein production that is essential for proper component incorporation. Furthermore, we show that BM components require secretion by migrating macrophages (hemocytes) during their developmental dispersal, which is critical for embryogenesis. Indeed, hemocyte migration is essential to deliver a subset of ECM components evenly throughout the embryo. This reveals that de novo BM construction requires a combination of both production and distribution logistics allowing for the timely delivery of core components."}]},{"status":"public","doi":"10.1038/s41559-017-0373-6","date_created":"2020-04-30T10:46:02Z","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","year":"2017","volume":2,"publication_status":"published","day":"27","type":"journal_article","date_updated":"2021-01-12T08:15:07Z","title":"Predation drives local adaptation of phenotypic plasticity","publication_identifier":{"issn":["2397-334X"]},"publication":"Nature Ecology & Evolution","author":[{"first_name":"Julia","last_name":"Reger","full_name":"Reger, Julia"},{"first_name":"Martin I.","last_name":"Lind","full_name":"Lind, Martin I."},{"full_name":"Robinson, Matthew Richard","orcid":"0000-0001-8982-8813","id":"E5D42276-F5DA-11E9-8E24-6303E6697425","first_name":"Matthew Richard","last_name":"Robinson"},{"full_name":"Beckerman, Andrew P.","last_name":"Beckerman","first_name":"Andrew P."}],"quality_controlled":"1","extern":"1","abstract":[{"lang":"eng","text":"Phenotypic plasticity is the ability of an individual genotype to alter aspects of its phenotype depending on the current environment. It is central to the persistence, resistance and resilience of populations facing variation in physical or biological factors. Genetic variation in plasticity is pervasive, which suggests its local adaptation is plausible. Existing studies on the adaptation of plasticity typically focus on single traits and a few populations, while theory about interactions among genes (for example, pleiotropy) suggests that a multi-trait, landscape scale (for example, multiple populations) perspective is required. We present data from a landscape scale, replicated, multi-trait experiment using a classic predator–prey system centred on the water flea Daphnia pulex. We find predator regime-driven differences in genetic variation of multivariate plasticity. These differences are associated with strong divergent selection linked to a predation regime. Our findings are evidence for local adaptation of plasticity, suggesting that responses of populations to environmental variation depend on the conditions in which they evolved in the past."}],"article_processing_charge":"No","publisher":"Springer Nature","language":[{"iso":"eng"}],"month":"11","_id":"7725","intvolume":"         2","oa_version":"None","article_type":"original","page":"100-107","citation":{"mla":"Reger, Julia, et al. “Predation Drives Local Adaptation of Phenotypic Plasticity.” <i>Nature Ecology &#38; Evolution</i>, vol. 2, Springer Nature, 2017, pp. 100–07, doi:<a href=\"https://doi.org/10.1038/s41559-017-0373-6\">10.1038/s41559-017-0373-6</a>.","chicago":"Reger, Julia, Martin I. Lind, Matthew Richard Robinson, and Andrew P. Beckerman. “Predation Drives Local Adaptation of Phenotypic Plasticity.” <i>Nature Ecology &#38; Evolution</i>. Springer Nature, 2017. <a href=\"https://doi.org/10.1038/s41559-017-0373-6\">https://doi.org/10.1038/s41559-017-0373-6</a>.","ieee":"J. Reger, M. I. Lind, M. R. Robinson, and A. P. Beckerman, “Predation drives local adaptation of phenotypic plasticity,” <i>Nature Ecology &#38; Evolution</i>, vol. 2. Springer Nature, pp. 100–107, 2017.","ama":"Reger J, Lind MI, Robinson MR, Beckerman AP. Predation drives local adaptation of phenotypic plasticity. <i>Nature Ecology &#38; Evolution</i>. 2017;2:100-107. doi:<a href=\"https://doi.org/10.1038/s41559-017-0373-6\">10.1038/s41559-017-0373-6</a>","short":"J. Reger, M.I. Lind, M.R. Robinson, A.P. Beckerman, Nature Ecology &#38; Evolution 2 (2017) 100–107.","apa":"Reger, J., Lind, M. I., Robinson, M. R., &#38; Beckerman, A. P. (2017). Predation drives local adaptation of phenotypic plasticity. <i>Nature Ecology &#38; Evolution</i>. Springer Nature. <a href=\"https://doi.org/10.1038/s41559-017-0373-6\">https://doi.org/10.1038/s41559-017-0373-6</a>","ista":"Reger J, Lind MI, Robinson MR, Beckerman AP. 2017. Predation drives local adaptation of phenotypic plasticity. Nature Ecology &#38; Evolution. 2, 100–107."},"date_published":"2017-11-27T00:00:00Z"},{"publication_identifier":{"issn":["0028-0836","1476-4687"]},"title":"IL-17 is a neuromodulator of Caenorhabditis elegans sensory responses","issue":"7639","day":"02","type":"journal_article","doi":"10.1038/nature20818","main_file_link":[{"open_access":"1","url":"https://www.ncbi.nlm.nih.gov/pubmed/28099418"}],"date_created":"2019-03-19T14:06:41Z","status":"public","citation":{"short":"C. Chen, E. Itakura, G.M. Nelson, M. Sheng, P. Laurent, L.A. Fenk, R.A. Butcher, R.S. Hegde, M. de Bono, Nature 542 (2017) 43–48.","ista":"Chen C, Itakura E, Nelson GM, Sheng M, Laurent P, Fenk LA, Butcher RA, Hegde RS, de Bono M. 2017. IL-17 is a neuromodulator of Caenorhabditis elegans sensory responses. Nature. 542(7639), 43–48.","apa":"Chen, C., Itakura, E., Nelson, G. M., Sheng, M., Laurent, P., Fenk, L. A., … de Bono, M. (2017). IL-17 is a neuromodulator of Caenorhabditis elegans sensory responses. <i>Nature</i>. Springer Nature. <a href=\"https://doi.org/10.1038/nature20818\">https://doi.org/10.1038/nature20818</a>","mla":"Chen, Changchun, et al. “IL-17 Is a Neuromodulator of Caenorhabditis Elegans Sensory Responses.” <i>Nature</i>, vol. 542, no. 7639, Springer Nature, 2017, pp. 43–48, doi:<a href=\"https://doi.org/10.1038/nature20818\">10.1038/nature20818</a>.","ieee":"C. Chen <i>et al.</i>, “IL-17 is a neuromodulator of Caenorhabditis elegans sensory responses,” <i>Nature</i>, vol. 542, no. 7639. Springer Nature, pp. 43–48, 2017.","chicago":"Chen, Changchun, Eisuke Itakura, Geoffrey M. Nelson, Ming Sheng, Patrick Laurent, Lorenz A. Fenk, Rebecca A. Butcher, Ramanujan S. Hegde, and Mario de Bono. “IL-17 Is a Neuromodulator of Caenorhabditis Elegans Sensory Responses.” <i>Nature</i>. Springer Nature, 2017. <a href=\"https://doi.org/10.1038/nature20818\">https://doi.org/10.1038/nature20818</a>.","ama":"Chen C, Itakura E, Nelson GM, et al. IL-17 is a neuromodulator of Caenorhabditis elegans sensory responses. <i>Nature</i>. 2017;542(7639):43-48. doi:<a href=\"https://doi.org/10.1038/nature20818\">10.1038/nature20818</a>"},"date_published":"2017-02-02T00:00:00Z","intvolume":"       542","pmid":1,"month":"02","publisher":"Springer Nature","language":[{"iso":"eng"}],"quality_controlled":"1","publication":"Nature","date_updated":"2021-01-12T08:06:12Z","publication_status":"published","year":"2017","volume":542,"user_id":"3E5EF7F0-F248-11E8-B48F-1D18A9856A87","oa":1,"page":"43-48","oa_version":"Submitted Version","_id":"6117","extern":"1","abstract":[{"text":"Interleukin-17 (IL-17) is a major pro-inflammatory cytokine: it mediates responses to pathogens or tissue damage, and drives autoimmune diseases. Little is known about its role in the nervous system. Here we show that IL-17 has neuromodulator-like properties in Caenorhabditis elegans. IL-17 can act directly on neurons to alter their response properties and contribution to behaviour. Using unbiased genetic screens, we delineate an IL-17 signalling pathway and show that it acts in the RMG hub interneurons. Disrupting IL-17 signalling reduces RMG responsiveness to input from oxygen sensors, and renders sustained escape from 21% oxygen transient and contingent on additional stimuli. Over-activating IL-17 receptors abnormally heightens responses to 21% oxygen in RMG neurons and whole animals. IL-17 deficiency can be bypassed by optogenetic stimulation of RMG. Inducing IL-17 expression in adults can rescue mutant defects within 6 h. These findings reveal a non-immunological role of IL-17 modulating circuit function and behaviour.","lang":"eng"}],"external_id":{"pmid":["    28099418"]},"author":[{"first_name":"Changchun","last_name":"Chen","full_name":"Chen, Changchun"},{"full_name":"Itakura, Eisuke","last_name":"Itakura","first_name":"Eisuke"},{"full_name":"Nelson, Geoffrey M.","last_name":"Nelson","first_name":"Geoffrey M."},{"last_name":"Sheng","first_name":"Ming","full_name":"Sheng, Ming"},{"last_name":"Laurent","first_name":"Patrick","full_name":"Laurent, Patrick"},{"full_name":"Fenk, Lorenz A.","last_name":"Fenk","first_name":"Lorenz A."},{"full_name":"Butcher, Rebecca A.","last_name":"Butcher","first_name":"Rebecca A."},{"first_name":"Ramanujan S.","last_name":"Hegde","full_name":"Hegde, Ramanujan S."},{"orcid":"0000-0001-8347-0443","full_name":"de Bono, Mario","id":"4E3FF80E-F248-11E8-B48F-1D18A9856A87","first_name":"Mario","last_name":"de Bono"}]},{"day":"28","type":"book_chapter","status":"public","date_created":"2018-12-11T11:47:37Z","doi":"10.1007/978-3-319-52498-6_10","editor":[{"full_name":"Schmeisser, Michael","last_name":"Schmeisser","first_name":"Michael"},{"full_name":"Boekers, Tobias","last_name":"Boekers","first_name":"Tobias"}],"corr_author":"1","publication_identifier":{"eisbn":["978-3-319-52498-6"]},"scopus_import":"1","publist_id":"7156","title":"Genetic and pharmacological reversibility of phenotypes in mouse models of autism spectrum disorder","language":[{"iso":"eng"}],"publisher":"Springer","month":"05","publication":"Translational Anatomy and Cell Biology of Autism Spectrum Disorder","article_processing_charge":"No","quality_controlled":"1","date_published":"2017-05-28T00:00:00Z","citation":{"ama":"Schroeder J, Deliu E, Novarino G, Schmeisser M. Genetic and pharmacological reversibility of phenotypes in mouse models of autism spectrum disorder. In: Schmeisser M, Boekers T, eds. <i>Translational Anatomy and Cell Biology of Autism Spectrum Disorder</i>. Vol 224. Advances in Anatomy Embryology and Cell Biology. Springer; 2017:189-211. doi:<a href=\"https://doi.org/10.1007/978-3-319-52498-6_10\">10.1007/978-3-319-52498-6_10</a>","chicago":"Schroeder, Jan, Elena Deliu, Gaia Novarino, and Michael Schmeisser. “Genetic and Pharmacological Reversibility of Phenotypes in Mouse Models of Autism Spectrum Disorder.” In <i>Translational Anatomy and Cell Biology of Autism Spectrum Disorder</i>, edited by Michael Schmeisser and Tobias Boekers, 224:189–211. Advances in Anatomy Embryology and Cell Biology. Springer, 2017. <a href=\"https://doi.org/10.1007/978-3-319-52498-6_10\">https://doi.org/10.1007/978-3-319-52498-6_10</a>.","ieee":"J. Schroeder, E. Deliu, G. Novarino, and M. Schmeisser, “Genetic and pharmacological reversibility of phenotypes in mouse models of autism spectrum disorder,” in <i>Translational Anatomy and Cell Biology of Autism Spectrum Disorder</i>, vol. 224, M. Schmeisser and T. Boekers, Eds. Springer, 2017, pp. 189–211.","mla":"Schroeder, Jan, et al. “Genetic and Pharmacological Reversibility of Phenotypes in Mouse Models of Autism Spectrum Disorder.” <i>Translational Anatomy and Cell Biology of Autism Spectrum Disorder</i>, edited by Michael Schmeisser and Tobias Boekers, vol. 224, Springer, 2017, pp. 189–211, doi:<a href=\"https://doi.org/10.1007/978-3-319-52498-6_10\">10.1007/978-3-319-52498-6_10</a>.","apa":"Schroeder, J., Deliu, E., Novarino, G., &#38; Schmeisser, M. (2017). Genetic and pharmacological reversibility of phenotypes in mouse models of autism spectrum disorder. In M. Schmeisser &#38; T. Boekers (Eds.), <i>Translational Anatomy and Cell Biology of Autism Spectrum Disorder</i> (Vol. 224, pp. 189–211). Springer. <a href=\"https://doi.org/10.1007/978-3-319-52498-6_10\">https://doi.org/10.1007/978-3-319-52498-6_10</a>","ista":"Schroeder J, Deliu E, Novarino G, Schmeisser M. 2017.Genetic and pharmacological reversibility of phenotypes in mouse models of autism spectrum disorder. In: Translational Anatomy and Cell Biology of Autism Spectrum Disorder. ADVSANAT, vol. 224, 189–211.","short":"J. Schroeder, E. Deliu, G. Novarino, M. Schmeisser, in:, M. Schmeisser, T. Boekers (Eds.), Translational Anatomy and Cell Biology of Autism Spectrum Disorder, Springer, 2017, pp. 189–211."},"intvolume":"       224","volume":224,"year":"2017","publication_status":"published","user_id":"317138e5-6ab7-11ef-aa6d-ffef3953e345","isi":1,"alternative_title":["ADVSANAT"],"date_updated":"2025-09-11T07:25:25Z","series_title":"Advances in Anatomy Embryology and Cell Biology","department":[{"_id":"GaNo"}],"author":[{"full_name":"Schroeder, Jan","first_name":"Jan","last_name":"Schroeder"},{"last_name":"Deliu","first_name":"Elena","id":"37A40D7E-F248-11E8-B48F-1D18A9856A87","full_name":"Deliu, Elena","orcid":"0000-0002-7370-5293"},{"full_name":"Novarino, Gaia","orcid":"0000-0002-7673-7178","id":"3E57A680-F248-11E8-B48F-1D18A9856A87","first_name":"Gaia","last_name":"Novarino"},{"full_name":"Schmeisser, Michael","last_name":"Schmeisser","first_name":"Michael"}],"external_id":{"isi":["000443802500011"]},"abstract":[{"text":"As autism spectrum disorder (ASD) is largely regarded as a neurodevelopmental condition, long-time consensus was that its hallmark features are irreversible. However, several studies from recent years using defined mouse models of ASD have provided clear evidence that in mice neurobiological and behavioural alterations can be ameliorated or even reversed by genetic restoration or pharmacological treatment either before or after symptom onset. Here, we review findings on genetic and pharmacological reversibility of phenotypes in mouse models of ASD. Our review should give a comprehensive overview on both aspects and encourage future studies to better understand the underlying molecular mechanisms that might be translatable from animals to humans.","lang":"eng"}],"page":"189 - 211","_id":"634","project":[{"name":"Transmembrane Transporters in Health and Disease","grant_number":"F03523","_id":"25473368-B435-11E9-9278-68D0E5697425","call_identifier":"FWF"}],"oa_version":"None"},{"quality_controlled":"1","article_processing_charge":"No","month":"08","publisher":"Springer","language":[{"iso":"eng"}],"intvolume":"     10419","citation":{"short":"A. Bakhirkin, T. Ferrere, O. Maler, D. Ulus, in:, A. Abate, G. Geeraerts (Eds.), Springer, 2017, pp. 189–206.","apa":"Bakhirkin, A., Ferrere, T., Maler, O., &#38; Ulus, D. (2017). On the quantitative semantics of regular expressions over real-valued signals. In A. Abate &#38; G. Geeraerts (Eds.) (Vol. 10419, pp. 189–206). Presented at the FORMATS: Formal Modelling and Analysis of Timed Systems, Berlin, Germany: Springer. <a href=\"https://doi.org/10.1007/978-3-319-65765-3_11\">https://doi.org/10.1007/978-3-319-65765-3_11</a>","ista":"Bakhirkin A, Ferrere T, Maler O, Ulus D. 2017. On the quantitative semantics of regular expressions over real-valued signals. FORMATS: Formal Modelling and Analysis of Timed Systems, LNCS, vol. 10419, 189–206.","mla":"Bakhirkin, Alexey, et al. <i>On the Quantitative Semantics of Regular Expressions over Real-Valued Signals</i>. Edited by Alessandro Abate and Gilles Geeraerts, vol. 10419, Springer, 2017, pp. 189–206, doi:<a href=\"https://doi.org/10.1007/978-3-319-65765-3_11\">10.1007/978-3-319-65765-3_11</a>.","ieee":"A. Bakhirkin, T. Ferrere, O. Maler, and D. Ulus, “On the quantitative semantics of regular expressions over real-valued signals,” presented at the FORMATS: Formal Modelling and Analysis of Timed Systems, Berlin, Germany, 2017, vol. 10419, pp. 189–206.","chicago":"Bakhirkin, Alexey, Thomas Ferrere, Oded Maler, and Dogan Ulus. “On the Quantitative Semantics of Regular Expressions over Real-Valued Signals.” edited by Alessandro Abate and Gilles Geeraerts, 10419:189–206. Springer, 2017. <a href=\"https://doi.org/10.1007/978-3-319-65765-3_11\">https://doi.org/10.1007/978-3-319-65765-3_11</a>.","ama":"Bakhirkin A, Ferrere T, Maler O, Ulus D. On the quantitative semantics of regular expressions over real-valued signals. In: Abate A, Geeraerts G, eds. Vol 10419. Springer; 2017:189-206. doi:<a href=\"https://doi.org/10.1007/978-3-319-65765-3_11\">10.1007/978-3-319-65765-3_11</a>"},"date_published":"2017-08-03T00:00:00Z","conference":{"location":"Berlin, Germany","start_date":"2017-09-05","name":"FORMATS: Formal Modelling and Analysis of Timed Systems","end_date":"2017-09-07"},"doi":"10.1007/978-3-319-65765-3_11","main_file_link":[{"open_access":"1","url":"https://hal.archives-ouvertes.fr/hal-01552132"}],"date_created":"2018-12-11T11:47:38Z","status":"public","type":"conference","day":"03","title":"On the quantitative semantics of regular expressions over real-valued signals","publist_id":"7152","scopus_import":"1","publication_identifier":{"isbn":["978-331965764-6"]},"editor":[{"last_name":"Abate","first_name":"Alessandro","full_name":"Abate, Alessandro"},{"last_name":"Geeraerts","first_name":"Gilles","full_name":"Geeraerts, Gilles"}],"abstract":[{"lang":"eng","text":"Signal regular expressions can specify sequential properties of real-valued signals based on threshold conditions, regular operations, and duration constraints. In this paper we endow them with a quantitative semantics which indicates how robustly a signal matches or does not match a given expression. First, we show that this semantics is a safe approximation of a distance between the signal and the language defined by the expression. Then, we consider the robust matching problem, that is, computing the quantitative semantics of every segment of a given signal relative to an expression. We present an algorithm that solves this problem for piecewise-constant and piecewise-linear signals and show that for such signals the robustness map is a piecewise-linear function. The availability of an indicator describing how robustly a signal segment matches some regular pattern provides a general framework for quantitative monitoring of cyber-physical systems."}],"external_id":{"isi":["000611678300011"]},"author":[{"full_name":"Bakhirkin, Alexey","last_name":"Bakhirkin","first_name":"Alexey"},{"full_name":"Ferrere, Thomas","orcid":"0000-0001-5199-3143","id":"40960E6E-F248-11E8-B48F-1D18A9856A87","first_name":"Thomas","last_name":"Ferrere"},{"full_name":"Maler, Oded","first_name":"Oded","last_name":"Maler"},{"full_name":"Ulus, Dogan","first_name":"Dogan","last_name":"Ulus"}],"department":[{"_id":"ToHe"}],"oa_version":"Submitted Version","project":[{"name":"Moderne Concurrency Paradigms","call_identifier":"FWF","grant_number":"S11402-N23","_id":"25F5A88A-B435-11E9-9278-68D0E5697425"},{"_id":"25F42A32-B435-11E9-9278-68D0E5697425","grant_number":"Z211","call_identifier":"FWF","name":"Formal methods for the design and analysis of complex systems"}],"_id":"636","oa":1,"page":"189 - 206","isi":1,"user_id":"317138e5-6ab7-11ef-aa6d-ffef3953e345","publication_status":"published","volume":10419,"year":"2017","date_updated":"2025-09-11T07:24:11Z","alternative_title":["LNCS"]},{"year":"2017","publication_status":"published","day":"04","type":"technical_report","related_material":{"record":[{"id":"133","status":"public","relation":"later_version"}]},"status":"public","has_accepted_license":"1","file":[{"date_updated":"2020-07-14T12:47:30Z","file_size":971347,"content_type":"application/pdf","file_id":"6431","relation":"main_file","file_name":"main(1).pdf","creator":"dernst","date_created":"2019-05-13T08:14:44Z","checksum":"b48d42725182d7ca10107a118815f4cf","access_level":"open_access"}],"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","date_created":"2019-05-13T08:15:55Z","doi":"10.15479/AT:IST-2018-853-v2-2","alternative_title":["IST Austria Technical Report"],"publication_identifier":{"issn":["2664-1690"]},"file_date_updated":"2020-07-14T12:47:30Z","ddc":["000"],"date_updated":"2025-04-15T08:11:53Z","title":"Synchronizing the asynchronous","publisher":"IST Austria","language":[{"iso":"eng"}],"department":[{"_id":"ToHe"}],"month":"08","author":[{"first_name":"Thomas A","last_name":"Henzinger","full_name":"Henzinger, Thomas A","orcid":"0000−0002−2985−7724","id":"40876CD8-F248-11E8-B48F-1D18A9856A87"},{"last_name":"Kragl","first_name":"Bernhard","id":"320FC952-F248-11E8-B48F-1D18A9856A87","full_name":"Kragl, Bernhard","orcid":"0000-0001-7745-9117"},{"full_name":"Qadeer, Shaz","last_name":"Qadeer","first_name":"Shaz"}],"abstract":[{"text":"Synchronous programs are easy to specify because the side effects of an operation are finished by the time the invocation of the operation returns to the caller. Asynchronous programs, on the other hand, are difficult to specify because there are side effects due to pending computation scheduled as a result of the invocation of an operation. They are also difficult to verify because of the large number of possible interleavings of concurrent asynchronous computation threads. We show that specifications and correctness proofs for asynchronous programs can be structured by introducing the fiction, for proof purposes, that intermediate, non-quiescent states of asynchronous operations can be ignored. Then, the task of specification becomes relatively simple and the task of verification can be naturally decomposed into smaller sub-tasks. The sub-tasks iteratively summarize, guided by the structure of an asynchronous program, the atomic effect of non-atomic operations and the synchronous effect of asynchronous operations. This structuring of specifications and proofs corresponds to the introduction of multiple layers of stepwise refinement for asynchronous programs. We present the first proof rule, called synchronization, to reduce asynchronous invocations on a lower layer to synchronous invocations on a higher layer. We implemented our proof method in CIVL and evaluated it on a collection of benchmark programs.","lang":"eng"}],"page":"28","oa":1,"citation":{"ieee":"T. A. Henzinger, B. Kragl, and S. Qadeer, <i>Synchronizing the asynchronous</i>. IST Austria, 2017.","chicago":"Henzinger, Thomas A, Bernhard Kragl, and Shaz Qadeer. <i>Synchronizing the Asynchronous</i>. IST Austria, 2017. <a href=\"https://doi.org/10.15479/AT:IST-2018-853-v2-2\">https://doi.org/10.15479/AT:IST-2018-853-v2-2</a>.","ama":"Henzinger TA, Kragl B, Qadeer S. <i>Synchronizing the Asynchronous</i>. IST Austria; 2017. doi:<a href=\"https://doi.org/10.15479/AT:IST-2018-853-v2-2\">10.15479/AT:IST-2018-853-v2-2</a>","mla":"Henzinger, Thomas A., et al. <i>Synchronizing the Asynchronous</i>. IST Austria, 2017, doi:<a href=\"https://doi.org/10.15479/AT:IST-2018-853-v2-2\">10.15479/AT:IST-2018-853-v2-2</a>.","ista":"Henzinger TA, Kragl B, Qadeer S. 2017. Synchronizing the asynchronous, IST Austria, 28p.","apa":"Henzinger, T. A., Kragl, B., &#38; Qadeer, S. (2017). <i>Synchronizing the asynchronous</i>. IST Austria. <a href=\"https://doi.org/10.15479/AT:IST-2018-853-v2-2\">https://doi.org/10.15479/AT:IST-2018-853-v2-2</a>","short":"T.A. Henzinger, B. Kragl, S. Qadeer, Synchronizing the Asynchronous, IST Austria, 2017."},"date_published":"2017-08-04T00:00:00Z","_id":"6426","oa_version":"Published Version"},{"department":[{"_id":"VlKo"}],"external_id":{"isi":["000404774300010"],"arxiv":["1502.07327"]},"author":[{"full_name":"Kolmogorov, Vladimir","id":"3D50B0BA-F248-11E8-B48F-1D18A9856A87","first_name":"Vladimir","last_name":"Kolmogorov"},{"last_name":"Krokhin","first_name":"Andrei","full_name":"Krokhin, Andrei"},{"first_name":"Michal","last_name":"Rolinek","full_name":"Rolinek, Michal","id":"3CB3BC06-F248-11E8-B48F-1D18A9856A87"}],"abstract":[{"text":"An instance of the valued constraint satisfaction problem (VCSP) is given by a finite set of variables, a finite domain of labels, and a sum of functions, each function depending on a subset of the variables. Each function can take finite values specifying costs of assignments of labels to its variables or the infinite value, which indicates an infeasible assignment. The goal is to find an assignment of labels to the variables that minimizes the sum. We study, assuming that P 6= NP, how the complexity of this very general problem depends on the set of functions allowed in the instances, the so-called constraint language. The case when all allowed functions take values in f0;1g corresponds to ordinary CSPs, where one deals only with the feasibility issue, and there is no optimization. This case is the subject of the algebraic CSP dichotomy conjecture predicting for which constraint languages CSPs are tractable (i.e., solvable in polynomial time) and for which they are NP-hard. The case when all allowed functions take only finite values corresponds to a finitevalued CSP, where the feasibility aspect is trivial and one deals only with the optimization issue. The complexity of finite-valued CSPs was fully classified by Thapper and Živný. An algebraic necessary condition for tractability of a general-valued CSP with a fixed constraint language was recently given by Kozik and Ochremiak. As our main result, we prove that if a constraint language satisfies this algebraic necessary condition, and the feasibility CSP (i.e., the problem of deciding whether a given instance has a feasible solution) corresponding to the VCSP with this language is tractable, then the VCSP is tractable. The algorithm is a simple combination of the assumed algorithm for the feasibility CSP and the standard LP relaxation. As a corollary, we obtain that a dichotomy for ordinary CSPs would imply a dichotomy for general-valued CSPs.","lang":"eng"}],"page":"1087 - 1110","oa":1,"ec_funded":1,"_id":"644","project":[{"name":"Discrete Optimization in Computer Vision: Theory and Practice","grant_number":"616160","_id":"25FBA906-B435-11E9-9278-68D0E5697425","call_identifier":"FP7"}],"oa_version":"Preprint","volume":46,"year":"2017","publication_status":"published","related_material":{"record":[{"status":"public","relation":"other","id":"1637"}]},"user_id":"317138e5-6ab7-11ef-aa6d-ffef3953e345","isi":1,"date_updated":"2025-09-23T13:45:56Z","publisher":"SIAM","language":[{"iso":"eng"}],"month":"06","publication":"SIAM Journal on Computing","quality_controlled":"1","article_processing_charge":"No","citation":{"chicago":"Kolmogorov, Vladimir, Andrei Krokhin, and Michal Rolinek. “The Complexity of General-Valued CSPs.” <i>SIAM Journal on Computing</i>. SIAM, 2017. <a href=\"https://doi.org/10.1137/16M1091836\">https://doi.org/10.1137/16M1091836</a>.","ieee":"V. Kolmogorov, A. Krokhin, and M. Rolinek, “The complexity of general-valued CSPs,” <i>SIAM Journal on Computing</i>, vol. 46, no. 3. SIAM, pp. 1087–1110, 2017.","ama":"Kolmogorov V, Krokhin A, Rolinek M. The complexity of general-valued CSPs. <i>SIAM Journal on Computing</i>. 2017;46(3):1087-1110. doi:<a href=\"https://doi.org/10.1137/16M1091836\">10.1137/16M1091836</a>","mla":"Kolmogorov, Vladimir, et al. “The Complexity of General-Valued CSPs.” <i>SIAM Journal on Computing</i>, vol. 46, no. 3, SIAM, 2017, pp. 1087–110, doi:<a href=\"https://doi.org/10.1137/16M1091836\">10.1137/16M1091836</a>.","ista":"Kolmogorov V, Krokhin A, Rolinek M. 2017. The complexity of general-valued CSPs. SIAM Journal on Computing. 46(3), 1087–1110.","apa":"Kolmogorov, V., Krokhin, A., &#38; Rolinek, M. (2017). The complexity of general-valued CSPs. <i>SIAM Journal on Computing</i>. SIAM. <a href=\"https://doi.org/10.1137/16M1091836\">https://doi.org/10.1137/16M1091836</a>","short":"V. Kolmogorov, A. Krokhin, M. Rolinek, SIAM Journal on Computing 46 (2017) 1087–1110."},"date_published":"2017-06-29T00:00:00Z","intvolume":"        46","day":"29","type":"journal_article","status":"public","date_created":"2018-12-11T11:47:40Z","arxiv":1,"doi":"10.1137/16M1091836","main_file_link":[{"open_access":"1","url":"https://arxiv.org/abs/1502.07327"}],"scopus_import":"1","publist_id":"7138","title":"The complexity of general-valued CSPs","issue":"3"},{"day":"01","type":"conference","date_created":"2018-12-11T11:47:41Z","doi":"10.1007/978-3-319-65765-3_7","status":"public","has_accepted_license":"1","ddc":["005"],"corr_author":"1","publist_id":"7129","publication_identifier":{"isbn":["978-331965764-6"]},"scopus_import":"1","title":"Conic abstractions for hybrid systems","month":"09","language":[{"iso":"eng"}],"publisher":"Springer","article_processing_charge":"No","quality_controlled":"1","date_published":"2017-09-01T00:00:00Z","citation":{"short":"S. Bogomolov, M. Giacobbe, T.A. Henzinger, H. Kong, in:, Springer, 2017, pp. 116–132.","apa":"Bogomolov, S., Giacobbe, M., Henzinger, T. A., &#38; Kong, H. (2017). Conic abstractions for hybrid systems (Vol. 10419, pp. 116–132). Presented at the FORMATS: Formal Modelling and Analysis of Timed Systems, Berlin, Germany: Springer. <a href=\"https://doi.org/10.1007/978-3-319-65765-3_7\">https://doi.org/10.1007/978-3-319-65765-3_7</a>","ista":"Bogomolov S, Giacobbe M, Henzinger TA, Kong H. 2017. Conic abstractions for hybrid systems. FORMATS: Formal Modelling and Analysis of Timed Systems, LNCS, vol. 10419, 116–132.","mla":"Bogomolov, Sergiy, et al. <i>Conic Abstractions for Hybrid Systems</i>. Vol. 10419, Springer, 2017, pp. 116–32, doi:<a href=\"https://doi.org/10.1007/978-3-319-65765-3_7\">10.1007/978-3-319-65765-3_7</a>.","ama":"Bogomolov S, Giacobbe M, Henzinger TA, Kong H. Conic abstractions for hybrid systems. In: Vol 10419. Springer; 2017:116-132. doi:<a href=\"https://doi.org/10.1007/978-3-319-65765-3_7\">10.1007/978-3-319-65765-3_7</a>","chicago":"Bogomolov, Sergiy, Mirco Giacobbe, Thomas A Henzinger, and Hui Kong. “Conic Abstractions for Hybrid Systems,” 10419:116–32. Springer, 2017. <a href=\"https://doi.org/10.1007/978-3-319-65765-3_7\">https://doi.org/10.1007/978-3-319-65765-3_7</a>.","ieee":"S. Bogomolov, M. Giacobbe, T. A. Henzinger, and H. Kong, “Conic abstractions for hybrid systems,” presented at the FORMATS: Formal Modelling and Analysis of Timed Systems, Berlin, Germany, 2017, vol. 10419, pp. 116–132."},"conference":{"location":"Berlin, Germany","start_date":"2017-09-05","end_date":"2017-09-07","name":"FORMATS: Formal Modelling and Analysis of Timed Systems"},"pubrep_id":"831","publication_status":"published","volume":"10419 ","year":"2017","user_id":"317138e5-6ab7-11ef-aa6d-ffef3953e345","isi":1,"file":[{"file_name":"IST-2017-831-v1+1_main.pdf","file_id":"4956","content_type":"application/pdf","relation":"main_file","file_size":3806864,"date_updated":"2020-07-14T12:47:31Z","access_level":"open_access","date_created":"2018-12-12T10:12:38Z","checksum":"faf546914ba29bcf9974ee36b6b16750","creator":"system"}],"related_material":{"record":[{"relation":"dissertation_contains","status":"public","id":"6894"}]},"file_date_updated":"2020-07-14T12:47:31Z","alternative_title":["LNCS"],"date_updated":"2026-04-08T07:47:13Z","department":[{"_id":"ToHe"}],"abstract":[{"lang":"eng","text":"Despite researchers’ efforts in the last couple of decades, reachability analysis is still a challenging problem even for linear hybrid systems. Among the existing approaches, the most practical ones are mainly based on bounded-time reachable set over-approximations. For the purpose of unbounded-time analysis, one important strategy is to abstract the original system and find an invariant for the abstraction. In this paper, we propose an approach to constructing a new kind of abstraction called conic abstraction for affine hybrid systems, and to computing reachable sets based on this abstraction. The essential feature of a conic abstraction is that it partitions the state space of a system into a set of convex polyhedral cones which is derived from a uniform conic partition of the derivative space. Such a set of polyhedral cones is able to cut all trajectories of the system into almost straight segments so that every segment of a reach pipe in a polyhedral cone tends to be straight as well, and hence can be over-approximated tightly by polyhedra using similar techniques as HyTech or PHAVer. In particular, for diagonalizable affine systems, our approach can guarantee to find an invariant for unbounded reachable sets, which is beyond the capability of bounded-time reachability analysis tools. We implemented the approach in a tool and experiments on benchmarks show that our approach is more powerful than SpaceEx and PHAVer in dealing with diagonalizable systems."}],"author":[{"last_name":"Bogomolov","first_name":"Sergiy","id":"369D9A44-F248-11E8-B48F-1D18A9856A87","full_name":"Bogomolov, Sergiy","orcid":"0000-0002-0686-0365"},{"first_name":"Mirco","last_name":"Giacobbe","orcid":"0000-0001-8180-0904","full_name":"Giacobbe, Mirco","id":"3444EA5E-F248-11E8-B48F-1D18A9856A87"},{"full_name":"Henzinger, Thomas A","orcid":"0000−0002−2985−7724","id":"40876CD8-F248-11E8-B48F-1D18A9856A87","first_name":"Thomas A","last_name":"Henzinger"},{"orcid":"0000-0002-3066-6941","full_name":"Kong, Hui","id":"3BDE25AA-F248-11E8-B48F-1D18A9856A87","first_name":"Hui","last_name":"Kong"}],"external_id":{"isi":["000611678300007"]},"oa":1,"page":"116 - 132","oa_version":"Submitted Version","_id":"647","project":[{"name":"Moderne Concurrency Paradigms","_id":"25F5A88A-B435-11E9-9278-68D0E5697425","grant_number":"S11402-N23","call_identifier":"FWF"},{"call_identifier":"FWF","_id":"25F42A32-B435-11E9-9278-68D0E5697425","grant_number":"Z211","name":"Formal methods for the design and analysis of complex systems"}]},{"publist_id":"7050","publication_identifier":{"issn":["09609822"]},"scopus_import":"1","corr_author":"1","title":"Dendritic cells interpret haptotactic chemokine gradients in a manner governed by signal to noise ratio and dependent on GRK6","issue":"9","type":"journal_article","day":"09","status":"public","doi":"10.1016/j.cub.2017.04.004","date_created":"2018-12-11T11:47:51Z","citation":{"ista":"Schwarz J, Bierbaum V, Vaahtomeri K, Hauschild R, Brown M, de Vries I, Leithner AF, Reversat A, Merrin J, Tarrant T, Bollenbach MT, Sixt MK. 2017. Dendritic cells interpret haptotactic chemokine gradients in a manner governed by signal to noise ratio and dependent on GRK6. Current Biology. 27(9), 1314–1325.","apa":"Schwarz, J., Bierbaum, V., Vaahtomeri, K., Hauschild, R., Brown, M., de Vries, I., … Sixt, M. K. (2017). Dendritic cells interpret haptotactic chemokine gradients in a manner governed by signal to noise ratio and dependent on GRK6. <i>Current Biology</i>. Cell Press. <a href=\"https://doi.org/10.1016/j.cub.2017.04.004\">https://doi.org/10.1016/j.cub.2017.04.004</a>","short":"J. Schwarz, V. Bierbaum, K. Vaahtomeri, R. Hauschild, M. Brown, I. de Vries, A.F. Leithner, A. Reversat, J. Merrin, T. Tarrant, M.T. Bollenbach, M.K. Sixt, Current Biology 27 (2017) 1314–1325.","ieee":"J. Schwarz <i>et al.</i>, “Dendritic cells interpret haptotactic chemokine gradients in a manner governed by signal to noise ratio and dependent on GRK6,” <i>Current Biology</i>, vol. 27, no. 9. Cell Press, pp. 1314–1325, 2017.","chicago":"Schwarz, Jan, Veronika Bierbaum, Kari Vaahtomeri, Robert Hauschild, Markus Brown, Ingrid de Vries, Alexander F Leithner, et al. “Dendritic Cells Interpret Haptotactic Chemokine Gradients in a Manner Governed by Signal to Noise Ratio and Dependent on GRK6.” <i>Current Biology</i>. Cell Press, 2017. <a href=\"https://doi.org/10.1016/j.cub.2017.04.004\">https://doi.org/10.1016/j.cub.2017.04.004</a>.","ama":"Schwarz J, Bierbaum V, Vaahtomeri K, et al. Dendritic cells interpret haptotactic chemokine gradients in a manner governed by signal to noise ratio and dependent on GRK6. <i>Current Biology</i>. 2017;27(9):1314-1325. doi:<a href=\"https://doi.org/10.1016/j.cub.2017.04.004\">10.1016/j.cub.2017.04.004</a>","mla":"Schwarz, Jan, et al. “Dendritic Cells Interpret Haptotactic Chemokine Gradients in a Manner Governed by Signal to Noise Ratio and Dependent on GRK6.” <i>Current Biology</i>, vol. 27, no. 9, Cell Press, 2017, pp. 1314–25, doi:<a href=\"https://doi.org/10.1016/j.cub.2017.04.004\">10.1016/j.cub.2017.04.004</a>."},"date_published":"2017-05-09T00:00:00Z","intvolume":"        27","publisher":"Cell Press","language":[{"iso":"eng"}],"month":"05","publication":"Current Biology","quality_controlled":"1","article_processing_charge":"No","date_updated":"2025-09-10T14:26:47Z","year":"2017","volume":27,"publication_status":"published","user_id":"317138e5-6ab7-11ef-aa6d-ffef3953e345","isi":1,"page":"1314 - 1325","_id":"674","ec_funded":1,"project":[{"grant_number":"291734","_id":"25681D80-B435-11E9-9278-68D0E5697425","call_identifier":"FP7","name":"International IST Postdoc Fellowship Programme"},{"_id":"25A8E5EA-B435-11E9-9278-68D0E5697425","grant_number":"Y 564-B12","call_identifier":"FWF","name":"Cytoskeletal force generation and force transduction of migrating leukocytes"}],"oa_version":"None","department":[{"_id":"MiSi"},{"_id":"Bio"},{"_id":"NanoFab"}],"external_id":{"isi":["000400741700021"]},"author":[{"first_name":"Jan","last_name":"Schwarz","full_name":"Schwarz, Jan","id":"346C1EC6-F248-11E8-B48F-1D18A9856A87"},{"last_name":"Bierbaum","first_name":"Veronika","id":"3FD04378-F248-11E8-B48F-1D18A9856A87","full_name":"Bierbaum, Veronika"},{"id":"368EE576-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0001-7829-3518","full_name":"Vaahtomeri, Kari","last_name":"Vaahtomeri","first_name":"Kari"},{"orcid":"0000-0001-9843-3522","full_name":"Hauschild, Robert","id":"4E01D6B4-F248-11E8-B48F-1D18A9856A87","first_name":"Robert","last_name":"Hauschild"},{"first_name":"Markus","last_name":"Brown","full_name":"Brown, Markus","id":"3DAB9AFC-F248-11E8-B48F-1D18A9856A87"},{"id":"4C7D837E-F248-11E8-B48F-1D18A9856A87","full_name":"De Vries, Ingrid","last_name":"De Vries","first_name":"Ingrid"},{"full_name":"Leithner, Alexander F","orcid":"0000-0002-1073-744X","id":"3B1B77E4-F248-11E8-B48F-1D18A9856A87","first_name":"Alexander F","last_name":"Leithner"},{"id":"35B76592-F248-11E8-B48F-1D18A9856A87","full_name":"Reversat, Anne","orcid":"0000-0003-0666-8928","last_name":"Reversat","first_name":"Anne"},{"last_name":"Merrin","first_name":"Jack","id":"4515C308-F248-11E8-B48F-1D18A9856A87","full_name":"Merrin, Jack","orcid":"0000-0001-5145-4609"},{"full_name":"Tarrant, Teresa","last_name":"Tarrant","first_name":"Teresa"},{"last_name":"Bollenbach","first_name":"Tobias","id":"3E6DB97A-F248-11E8-B48F-1D18A9856A87","full_name":"Bollenbach, Tobias","orcid":"0000-0003-4398-476X"},{"last_name":"Sixt","first_name":"Michael K","id":"41E9FBEA-F248-11E8-B48F-1D18A9856A87","full_name":"Sixt, Michael K","orcid":"0000-0002-6620-9179"}],"abstract":[{"text":"Navigation of cells along gradients of guidance cues is a determining step in many developmental and immunological processes. Gradients can either be soluble or immobilized to tissues as demonstrated for the haptotactic migration of dendritic cells (DCs) toward higher concentrations of immobilized chemokine CCL21. To elucidate how gradient characteristics govern cellular response patterns, we here introduce an in vitro system allowing to track migratory responses of DCs to precisely controlled immobilized gradients of CCL21. We find that haptotactic sensing depends on the absolute CCL21 concentration and local steepness of the gradient, consistent with a scenario where DC directionality is governed by the signal-to-noise ratio of CCL21 binding to the receptor CCR7. We find that the conditions for optimal DC guidance are perfectly provided by the CCL21 gradients we measure in vivo. Furthermore, we find that CCR7 signal termination by the G-protein-coupled receptor kinase 6 (GRK6) is crucial for haptotactic but dispensable for chemotactic CCL21 gradient sensing in vitro and confirm those observations in vivo. These findings suggest that stable, tissue-bound CCL21 gradients as sustainable “roads” ensure optimal guidance in vivo.","lang":"eng"}]},{"status":"public","has_accepted_license":"1","date_created":"2019-11-19T13:11:55Z","doi":"10.1038/s41467-017-00264-6","type":"journal_article","day":"01","title":"Robust spin correlations at high magnetic fields in the harmonic honeycomb iridates","issue":"1","publication_identifier":{"issn":["2041-1723"]},"ddc":["530"],"publication":"Nature Communications","quality_controlled":"1","article_processing_charge":"No","publisher":"Springer Nature","language":[{"iso":"eng"}],"month":"08","intvolume":"         8","article_number":"180","tmp":{"image":"/images/cc_by.png","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","short":"CC BY (4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode"},"citation":{"ista":"Modic KA, Ramshaw BJ, Betts JB, Breznay NP, Analytis JG, McDonald RD, Shekhter A. 2017. Robust spin correlations at high magnetic fields in the harmonic honeycomb iridates. Nature Communications. 8(1), 180.","apa":"Modic, K. A., Ramshaw, B. J., Betts, J. B., Breznay, N. P., Analytis, J. G., McDonald, R. D., &#38; Shekhter, A. (2017). Robust spin correlations at high magnetic fields in the harmonic honeycomb iridates. <i>Nature Communications</i>. Springer Nature. <a href=\"https://doi.org/10.1038/s41467-017-00264-6\">https://doi.org/10.1038/s41467-017-00264-6</a>","short":"K.A. Modic, B.J. Ramshaw, J.B. Betts, N.P. Breznay, J.G. Analytis, R.D. McDonald, A. Shekhter, Nature Communications 8 (2017).","ama":"Modic KA, Ramshaw BJ, Betts JB, et al. Robust spin correlations at high magnetic fields in the harmonic honeycomb iridates. <i>Nature Communications</i>. 2017;8(1). doi:<a href=\"https://doi.org/10.1038/s41467-017-00264-6\">10.1038/s41467-017-00264-6</a>","ieee":"K. A. Modic <i>et al.</i>, “Robust spin correlations at high magnetic fields in the harmonic honeycomb iridates,” <i>Nature Communications</i>, vol. 8, no. 1. Springer Nature, 2017.","chicago":"Modic, Kimberly A, B. J. Ramshaw, J. B. Betts, Nicholas P. Breznay, James G. Analytis, Ross D. McDonald, and Arkady Shekhter. “Robust Spin Correlations at High Magnetic Fields in the Harmonic Honeycomb Iridates.” <i>Nature Communications</i>. Springer Nature, 2017. <a href=\"https://doi.org/10.1038/s41467-017-00264-6\">https://doi.org/10.1038/s41467-017-00264-6</a>.","mla":"Modic, Kimberly A., et al. “Robust Spin Correlations at High Magnetic Fields in the Harmonic Honeycomb Iridates.” <i>Nature Communications</i>, vol. 8, no. 1, 180, Springer Nature, 2017, doi:<a href=\"https://doi.org/10.1038/s41467-017-00264-6\">10.1038/s41467-017-00264-6</a>."},"date_published":"2017-08-01T00:00:00Z","file":[{"date_updated":"2020-07-14T12:47:48Z","file_size":1242958,"file_id":"7091","content_type":"application/pdf","relation":"main_file","file_name":"2017_NatureComm_Modic.pdf","creator":"cziletti","date_created":"2019-11-20T14:12:54Z","checksum":"57fcd59d2f274b6b16cc89ea03cfd440","access_level":"open_access"}],"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","volume":8,"year":"2017","publication_status":"published","date_updated":"2021-01-12T08:11:39Z","file_date_updated":"2020-07-14T12:47:48Z","author":[{"last_name":"Modic","first_name":"Kimberly A","id":"13C26AC0-EB69-11E9-87C6-5F3BE6697425","full_name":"Modic, Kimberly A","orcid":"0000-0001-9760-3147"},{"last_name":"Ramshaw","first_name":"B. J.","full_name":"Ramshaw, B. J."},{"last_name":"Betts","first_name":"J. B.","full_name":"Betts, J. B."},{"full_name":"Breznay, Nicholas P.","first_name":"Nicholas P.","last_name":"Breznay"},{"full_name":"Analytis, James G.","first_name":"James G.","last_name":"Analytis"},{"last_name":"McDonald","first_name":"Ross D.","full_name":"McDonald, Ross D."},{"first_name":"Arkady","last_name":"Shekhter","full_name":"Shekhter, Arkady"}],"abstract":[{"lang":"eng","text":"The complex antiferromagnetic orders observed in the honeycomb iridates are a double-edged sword in the search for a quantum spin-liquid: both attesting that the magnetic interactions provide many of the necessary ingredients, while simultaneously impeding access. Focus has naturally been drawn to the unusual magnetic orders that hint at the underlying spin correlations. However, the study of any particular broken symmetry state generally provides little clue about the possibility of other nearby ground states. Here we use magnetic fields approaching 100 Tesla to reveal the extent of the spin correlations in γ-lithium iridate. We find that a small component of field along the magnetic easy-axis melts long-range order, revealing a bistable, strongly correlated spin state. Far from the usual destruction of antiferromagnetism via spin polarization, the high-field state possesses only a small fraction of the total iridium moment, without evidence for long-range order up to the highest attainable magnetic fields."}],"extern":"1","_id":"7064","oa_version":"Published Version","article_type":"original","oa":1},{"external_id":{"isi":["000400072700008"],"arxiv":["1307.6444"]},"author":[{"full_name":"Čadek, Martin","first_name":"Martin","last_name":"Čadek"},{"id":"33E21118-F248-11E8-B48F-1D18A9856A87","full_name":"Krcál, Marek","last_name":"Krcál","first_name":"Marek"},{"last_name":"Vokřínek","first_name":"Lukáš","full_name":"Vokřínek, Lukáš"}],"abstract":[{"lang":"eng","text":"Let X and Y be finite simplicial sets (e.g. finite simplicial complexes), both equipped with a free simplicial action of a finite group G. Assuming that Y is d-connected and dimX≤2d, for some d≥1, we provide an algorithm that computes the set of all equivariant homotopy classes of equivariant continuous maps |X|→|Y|; the existence of such a map can be decided even for dimX≤2d+1. This yields the first algorithm for deciding topological embeddability of a k-dimensional finite simplicial complex into Rn under the condition k≤23n−1. More generally, we present an algorithm that, given a lifting-extension problem satisfying an appropriate stability assumption, computes the set of all homotopy classes of solutions. This result is new even in the non-equivariant situation."}],"department":[{"_id":"UlWa"}],"_id":"1073","oa_version":"Submitted Version","page":"915 - 965","oa":1,"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","isi":1,"volume":54,"year":"2017","publication_status":"published","date_updated":"2025-06-04T08:11:10Z","publication":"Discrete & Computational Geometry","quality_controlled":"1","article_processing_charge":"No","publisher":"Springer","language":[{"iso":"eng"}],"month":"06","intvolume":"        54","citation":{"mla":"Čadek, Martin, et al. “Algorithmic Solvability of the Lifting Extension Problem.” <i>Discrete &#38; Computational Geometry</i>, vol. 54, no. 4, Springer, 2017, pp. 915–65, doi:<a href=\"https://doi.org/10.1007/s00454-016-9855-6\">10.1007/s00454-016-9855-6</a>.","chicago":"Čadek, Martin, Marek Krcál, and Lukáš Vokřínek. “Algorithmic Solvability of the Lifting Extension Problem.” <i>Discrete &#38; Computational Geometry</i>. Springer, 2017. <a href=\"https://doi.org/10.1007/s00454-016-9855-6\">https://doi.org/10.1007/s00454-016-9855-6</a>.","ieee":"M. Čadek, M. Krcál, and L. Vokřínek, “Algorithmic solvability of the lifting extension problem,” <i>Discrete &#38; Computational Geometry</i>, vol. 54, no. 4. Springer, pp. 915–965, 2017.","ama":"Čadek M, Krcál M, Vokřínek L. Algorithmic solvability of the lifting extension problem. <i>Discrete &#38; Computational Geometry</i>. 2017;54(4):915-965. doi:<a href=\"https://doi.org/10.1007/s00454-016-9855-6\">10.1007/s00454-016-9855-6</a>","short":"M. Čadek, M. Krcál, L. Vokřínek, Discrete &#38; Computational Geometry 54 (2017) 915–965.","apa":"Čadek, M., Krcál, M., &#38; Vokřínek, L. (2017). Algorithmic solvability of the lifting extension problem. <i>Discrete &#38; Computational Geometry</i>. Springer. <a href=\"https://doi.org/10.1007/s00454-016-9855-6\">https://doi.org/10.1007/s00454-016-9855-6</a>","ista":"Čadek M, Krcál M, Vokřínek L. 2017. Algorithmic solvability of the lifting extension problem. Discrete &#38; Computational Geometry. 54(4), 915–965."},"date_published":"2017-06-01T00:00:00Z","status":"public","date_created":"2018-12-11T11:50:00Z","doi":"10.1007/s00454-016-9855-6","arxiv":1,"main_file_link":[{"open_access":"1","url":"https://arxiv.org/abs/1307.6444"}],"day":"01","type":"journal_article","issue":"4","title":"Algorithmic solvability of the lifting extension problem","publist_id":"6309","publication_identifier":{"issn":["01795376"]},"scopus_import":"1"},{"month":"05","OA_place":"publisher","publisher":"Institute of Science and Technology Austria","language":[{"iso":"eng"}],"article_processing_charge":"No","citation":{"apa":"Rolinek, M. (2017). <i>Complexity of constraint satisfaction</i>. Institute of Science and Technology Austria. <a href=\"https://doi.org/10.15479/AT:ISTA:th_815\">https://doi.org/10.15479/AT:ISTA:th_815</a>","ista":"Rolinek M. 2017. Complexity of constraint satisfaction. Institute of Science and Technology Austria.","short":"M. Rolinek, Complexity of Constraint Satisfaction, Institute of Science and Technology Austria, 2017.","chicago":"Rolinek, Michal. “Complexity of Constraint Satisfaction.” Institute of Science and Technology Austria, 2017. <a href=\"https://doi.org/10.15479/AT:ISTA:th_815\">https://doi.org/10.15479/AT:ISTA:th_815</a>.","ieee":"M. Rolinek, “Complexity of constraint satisfaction,” Institute of Science and Technology Austria, 2017.","ama":"Rolinek M. Complexity of constraint satisfaction. 2017. doi:<a href=\"https://doi.org/10.15479/AT:ISTA:th_815\">10.15479/AT:ISTA:th_815</a>","mla":"Rolinek, Michal. <i>Complexity of Constraint Satisfaction</i>. Institute of Science and Technology Austria, 2017, doi:<a href=\"https://doi.org/10.15479/AT:ISTA:th_815\">10.15479/AT:ISTA:th_815</a>."},"date_published":"2017-05-01T00:00:00Z","day":"01","type":"dissertation","acknowledgement":"FP7/2007-2013/ERC grant agreement no 616160","doi":"10.15479/AT:ISTA:th_815","date_created":"2018-12-11T11:49:35Z","has_accepted_license":"1","status":"public","publication_identifier":{"issn":["2663-337X"]},"publist_id":"6407","ddc":["004"],"corr_author":"1","title":"Complexity of constraint satisfaction","department":[{"_id":"VlKo"}],"abstract":[{"text":"An instance of the Constraint Satisfaction Problem (CSP) is given by a finite set of\r\nvariables, a finite domain of labels, and a set of constraints, each constraint acting on\r\na subset of the variables. The goal is to find an assignment of labels to its variables\r\nthat satisfies all constraints (or decide whether one exists). If we allow more general\r\n“soft” constraints, which come with (possibly infinite) costs of particular assignments,\r\nwe obtain instances from a richer class called Valued Constraint Satisfaction Problem\r\n(VCSP). There the goal is to find an assignment with minimum total cost.\r\nIn this thesis, we focus (assuming that P\r\n6\r\n=\r\nNP) on classifying computational com-\r\nplexity of CSPs and VCSPs under certain restricting conditions. Two results are the core\r\ncontent of the work. In one of them, we consider VCSPs parametrized by a constraint\r\nlanguage, that is the set of “soft” constraints allowed to form the instances, and finish\r\nthe complexity classification modulo (missing pieces of) complexity classification for\r\nanalogously parametrized CSP. The other result is a generalization of Edmonds’ perfect\r\nmatching algorithm. This generalization contributes to complexity classfications in two\r\nways. First, it gives a new (largest known) polynomial-time solvable class of Boolean\r\nCSPs in which every variable may appear in at most two constraints and second, it\r\nsettles full classification of Boolean CSPs with planar drawing (again parametrized by a\r\nconstraint language).","lang":"eng"}],"author":[{"first_name":"Michal","last_name":"Rolinek","full_name":"Rolinek, Michal","id":"3CB3BC06-F248-11E8-B48F-1D18A9856A87"}],"oa":1,"page":"97","oa_version":"Published Version","ec_funded":1,"_id":"992","project":[{"name":"Discrete Optimization in Computer Vision: Theory and Practice","grant_number":"616160","_id":"25FBA906-B435-11E9-9278-68D0E5697425","call_identifier":"FP7"}],"publication_status":"published","pubrep_id":"815","year":"2017","user_id":"ba8df636-2132-11f1-aed0-ed93e2281fdd","file":[{"content_type":"application/pdf","file_id":"4654","relation":"main_file","file_size":786145,"date_updated":"2020-07-14T12:48:18Z","file_name":"IST-2017-815-v1+3_final_blank_signature_maybe_pdfa.pdf","date_created":"2018-12-12T10:07:55Z","checksum":"81761fb939acb7585c36629f765b4373","creator":"system","access_level":"open_access"},{"file_name":"2017_Thesis_Rolinek_source.zip","date_updated":"2020-07-14T12:48:18Z","file_size":5936337,"relation":"source_file","file_id":"6208","content_type":"application/zip","access_level":"closed","creator":"dernst","checksum":"2b2d7e1d6c1c79a9795a7aa0f860baf3","date_created":"2019-04-05T08:43:24Z"}],"degree_awarded":"PhD","file_date_updated":"2020-07-14T12:48:18Z","supervisor":[{"id":"3D50B0BA-F248-11E8-B48F-1D18A9856A87","full_name":"Kolmogorov, Vladimir","last_name":"Kolmogorov","first_name":"Vladimir"}],"alternative_title":["ISTA Thesis"],"date_updated":"2026-04-08T14:17:06Z"},{"editor":[{"first_name":"Martin","last_name":"Loebl","full_name":"Loebl, Martin"},{"last_name":"Nešetřil","first_name":"Jaroslav","full_name":"Nešetřil, Jaroslav"},{"last_name":"Thomas","first_name":"Robin","full_name":"Thomas, Robin"}],"ddc":["500"],"scopus_import":"1","publist_id":"7399","publication_identifier":{"isbn":["978-331944479-6"]},"title":"Bounding helly numbers via betti numbers","day":"06","type":"book_chapter","status":"public","main_file_link":[{"url":"https://arxiv.org/abs/1310.4613","open_access":"1"}],"doi":"10.1007/978-3-319-44479-6_17","date_created":"2018-12-11T11:46:24Z","arxiv":1,"date_published":"2017-10-06T00:00:00Z","citation":{"ama":"Goaoc X, Paták P, Patakova Z, Tancer M, Wagner U. Bounding helly numbers via betti numbers. In: Loebl M, Nešetřil J, Thomas R, eds. <i>A Journey through Discrete Mathematics: A Tribute to Jiri Matousek</i>. A Journey Through Discrete Mathematics. Springer; 2017:407-447. doi:<a href=\"https://doi.org/10.1007/978-3-319-44479-6_17\">10.1007/978-3-319-44479-6_17</a>","chicago":"Goaoc, Xavier, Pavel Paták, Zuzana Patakova, Martin Tancer, and Uli Wagner. “Bounding Helly Numbers via Betti Numbers.” In <i>A Journey through Discrete Mathematics: A Tribute to Jiri Matousek</i>, edited by Martin Loebl, Jaroslav Nešetřil, and Robin Thomas, 407–47. A Journey Through Discrete Mathematics. Springer, 2017. <a href=\"https://doi.org/10.1007/978-3-319-44479-6_17\">https://doi.org/10.1007/978-3-319-44479-6_17</a>.","ieee":"X. Goaoc, P. Paták, Z. Patakova, M. Tancer, and U. Wagner, “Bounding helly numbers via betti numbers,” in <i>A Journey through Discrete Mathematics: A Tribute to Jiri Matousek</i>, M. Loebl, J. Nešetřil, and R. Thomas, Eds. Springer, 2017, pp. 407–447.","mla":"Goaoc, Xavier, et al. “Bounding Helly Numbers via Betti Numbers.” <i>A Journey through Discrete Mathematics: A Tribute to Jiri Matousek</i>, edited by Martin Loebl et al., Springer, 2017, pp. 407–47, doi:<a href=\"https://doi.org/10.1007/978-3-319-44479-6_17\">10.1007/978-3-319-44479-6_17</a>.","apa":"Goaoc, X., Paták, P., Patakova, Z., Tancer, M., &#38; Wagner, U. (2017). Bounding helly numbers via betti numbers. In M. Loebl, J. Nešetřil, &#38; R. Thomas (Eds.), <i>A Journey through Discrete Mathematics: A Tribute to Jiri Matousek</i> (pp. 407–447). Springer. <a href=\"https://doi.org/10.1007/978-3-319-44479-6_17\">https://doi.org/10.1007/978-3-319-44479-6_17</a>","ista":"Goaoc X, Paták P, Patakova Z, Tancer M, Wagner U. 2017.Bounding helly numbers via betti numbers. In: A Journey through Discrete Mathematics: A Tribute to Jiri Matousek. , 407–447.","short":"X. Goaoc, P. Paták, Z. Patakova, M. Tancer, U. Wagner, in:, M. Loebl, J. Nešetřil, R. Thomas (Eds.), A Journey through Discrete Mathematics: A Tribute to Jiri Matousek, Springer, 2017, pp. 407–447."},"language":[{"iso":"eng"}],"publisher":"Springer","month":"10","publication":"A Journey through Discrete Mathematics: A Tribute to Jiri Matousek","article_processing_charge":"No","quality_controlled":"1","date_updated":"2026-06-18T18:48:49Z","series_title":"A Journey Through Discrete Mathematics","year":"2017","publication_status":"published","related_material":{"record":[{"id":"1512","relation":"earlier_version","status":"public"}]},"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","page":"407 - 447","oa":1,"_id":"424","oa_version":"Published Version","department":[{"_id":"UlWa"}],"author":[{"last_name":"Goaoc","first_name":"Xavier","full_name":"Goaoc, Xavier"},{"last_name":"Paták","first_name":"Pavel","full_name":"Paták, Pavel"},{"last_name":"Patakova","first_name":"Zuzana","full_name":"Patakova, Zuzana","orcid":"0000-0002-3975-1683"},{"orcid":"0000-0002-1191-6714","full_name":"Tancer, Martin","first_name":"Martin","last_name":"Tancer"},{"first_name":"Uli","last_name":"Wagner","full_name":"Wagner, Uli","orcid":"0000-0002-1494-0568","id":"36690CA2-F248-11E8-B48F-1D18A9856A87"}],"external_id":{"arxiv":["1310.4613"]},"abstract":[{"lang":"eng","text":"We show that very weak topological assumptions are enough to ensure the existence of a Helly-type theorem. More precisely, we show that for any non-negative integers b and d there exists an integer h(b, d) such that the following holds. If F is a finite family of subsets of Rd such that βi(∩G)≤b for any G⊊F and every 0 ≤ i ≤ [d/2]-1 then F has Helly number at most h(b, d). Here βi denotes the reduced Z2-Betti numbers (with singular homology). These topological conditions are sharp: not controlling any of these [d/2] first Betti numbers allow for families with unbounded Helly number. Our proofs combine homological non-embeddability results with a Ramsey-based approach to build, given an arbitrary simplicial complex K, some well-behaved chain map C*(K)→C*(Rd)."}]},{"abstract":[{"lang":"eng","text":"In this paper we study network architecture for unlicensed cellular networking for outdoor coverage in TV white spaces. The main technology proposed for TV white spaces is 802.11af, a Wi-Fi variant adapted for TV frequencies. However, 802.11af is originally designed for improved indoor propagation. We show that long links, typical for outdoor use, exacerbate known Wi-Fi issues, such as hidden and exposed terminal, and significantly reduce its efficiency. Instead, we propose CellFi, an alternative architecture based on LTE. LTE is designed for long-range coverage and throughput efficiency, but it is also designed to operate in tightly controlled and centrally managed networks. CellFi overcomes these problems by designing an LTE-compatible spectrum database component, mandatory for TV white space networking, and introducing an interference management component for distributed coordination. CellFi interference management is compatible with existing LTE mechanisms, requires no explicit communication between base stations, and is more efficient than CSMA for long links. We evaluate our design through extensive real world evaluation on of-the-shelf LTE equipment and simulations. We show that, compared to 802.11af, it increases coverage by 40% and reduces median flow completion times by 2.3x."}],"external_id":{"isi":["000526087500002"]},"author":[{"first_name":"Ghufran","last_name":"Baig","full_name":"Baig, Ghufran"},{"full_name":"Radunovic, Bozidar","first_name":"Bozidar","last_name":"Radunovic"},{"full_name":"Alistarh, Dan-Adrian","orcid":"0000-0003-3650-940X","id":"4A899BFC-F248-11E8-B48F-1D18A9856A87","first_name":"Dan-Adrian","last_name":"Alistarh"},{"full_name":"Balkwill, Matthew","first_name":"Matthew","last_name":"Balkwill"},{"full_name":"Karagiannis, Thomas","first_name":"Thomas","last_name":"Karagiannis"},{"full_name":"Qiu, Lili","first_name":"Lili","last_name":"Qiu"}],"department":[{"_id":"DaAl"}],"oa_version":"None","_id":"487","page":"2 - 14","isi":1,"user_id":"317138e5-6ab7-11ef-aa6d-ffef3953e345","publication_status":"published","year":"2017","date_updated":"2025-09-18T09:50:43Z","quality_controlled":"1","article_processing_charge":"No","publication":"Proceedings of the 2017 13th International Conference on emerging Networking EXperiments and Technologies","month":"11","publisher":"ACM","language":[{"iso":"eng"}],"citation":{"ista":"Baig G, Radunovic B, Alistarh D-A, Balkwill M, Karagiannis T, Qiu L. 2017. Towards unlicensed cellular networks in TV white spaces. Proceedings of the 2017 13th International Conference on emerging Networking EXperiments and Technologies. CoNEXT: Conference on emerging Networking EXperiments and Technologies, 2–14.","apa":"Baig, G., Radunovic, B., Alistarh, D.-A., Balkwill, M., Karagiannis, T., &#38; Qiu, L. (2017). Towards unlicensed cellular networks in TV white spaces. In <i>Proceedings of the 2017 13th International Conference on emerging Networking EXperiments and Technologies</i> (pp. 2–14). Incheon, South Korea: ACM. <a href=\"https://doi.org/10.1145/3143361.3143367\">https://doi.org/10.1145/3143361.3143367</a>","short":"G. Baig, B. Radunovic, D.-A. Alistarh, M. Balkwill, T. Karagiannis, L. Qiu, in:, Proceedings of the 2017 13th International Conference on Emerging Networking EXperiments and Technologies, ACM, 2017, pp. 2–14.","ama":"Baig G, Radunovic B, Alistarh D-A, Balkwill M, Karagiannis T, Qiu L. Towards unlicensed cellular networks in TV white spaces. In: <i>Proceedings of the 2017 13th International Conference on Emerging Networking EXperiments and Technologies</i>. ACM; 2017:2-14. doi:<a href=\"https://doi.org/10.1145/3143361.3143367\">10.1145/3143361.3143367</a>","chicago":"Baig, Ghufran, Bozidar Radunovic, Dan-Adrian Alistarh, Matthew Balkwill, Thomas Karagiannis, and Lili Qiu. “Towards Unlicensed Cellular Networks in TV White Spaces.” In <i>Proceedings of the 2017 13th International Conference on Emerging Networking EXperiments and Technologies</i>, 2–14. ACM, 2017. <a href=\"https://doi.org/10.1145/3143361.3143367\">https://doi.org/10.1145/3143361.3143367</a>.","ieee":"G. Baig, B. Radunovic, D.-A. Alistarh, M. Balkwill, T. Karagiannis, and L. Qiu, “Towards unlicensed cellular networks in TV white spaces,” in <i>Proceedings of the 2017 13th International Conference on emerging Networking EXperiments and Technologies</i>, Incheon, South Korea, 2017, pp. 2–14.","mla":"Baig, Ghufran, et al. “Towards Unlicensed Cellular Networks in TV White Spaces.” <i>Proceedings of the 2017 13th International Conference on Emerging Networking EXperiments and Technologies</i>, ACM, 2017, pp. 2–14, doi:<a href=\"https://doi.org/10.1145/3143361.3143367\">10.1145/3143361.3143367</a>."},"date_published":"2017-11-28T00:00:00Z","conference":{"location":"Incheon, South Korea","start_date":"2017-12-12","name":"CoNEXT: Conference on emerging Networking EXperiments and Technologies","end_date":"2017-12-15"},"doi":"10.1145/3143361.3143367","date_created":"2018-12-11T11:46:45Z","status":"public","day":"28","type":"conference","title":"Towards unlicensed cellular networks in TV white spaces","publist_id":"7333","scopus_import":"1","publication_identifier":{"isbn":["978-145035422-6"]},"corr_author":"1"},{"intvolume":"       472","citation":{"ama":"Matthee JJ, Sobral D, Darvish B, et al. Spectroscopic properties of luminous Ly α emitters at z ≈ 6–7 and comparison to the Lyman-break population. <i>Monthly Notices of the Royal Astronomical Society</i>. 2017;472(1):772-787. doi:<a href=\"https://doi.org/10.1093/mnras/stx2061\">10.1093/mnras/stx2061</a>","chicago":"Matthee, Jorryt J, David Sobral, Behnam Darvish, Sérgio Santos, Bahram Mobasher, Ana Paulino-Afonso, Huub Röttgering, and Lara Alegre. “Spectroscopic Properties of Luminous Ly α Emitters at z ≈ 6–7 and Comparison to the Lyman-Break Population.” <i>Monthly Notices of the Royal Astronomical Society</i>. Oxford University Press, 2017. <a href=\"https://doi.org/10.1093/mnras/stx2061\">https://doi.org/10.1093/mnras/stx2061</a>.","ieee":"J. J. Matthee <i>et al.</i>, “Spectroscopic properties of luminous Ly α emitters at z ≈ 6–7 and comparison to the Lyman-break population,” <i>Monthly Notices of the Royal Astronomical Society</i>, vol. 472, no. 1. Oxford University Press, pp. 772–787, 2017.","mla":"Matthee, Jorryt J., et al. “Spectroscopic Properties of Luminous Ly α Emitters at z ≈ 6–7 and Comparison to the Lyman-Break Population.” <i>Monthly Notices of the Royal Astronomical Society</i>, vol. 472, no. 1, Oxford University Press, 2017, pp. 772–87, doi:<a href=\"https://doi.org/10.1093/mnras/stx2061\">10.1093/mnras/stx2061</a>.","ista":"Matthee JJ, Sobral D, Darvish B, Santos S, Mobasher B, Paulino-Afonso A, Röttgering H, Alegre L. 2017. Spectroscopic properties of luminous Ly α emitters at z ≈ 6–7 and comparison to the Lyman-break population. Monthly Notices of the Royal Astronomical Society. 472(1), 772–787.","apa":"Matthee, J. J., Sobral, D., Darvish, B., Santos, S., Mobasher, B., Paulino-Afonso, A., … Alegre, L. (2017). Spectroscopic properties of luminous Ly α emitters at z ≈ 6–7 and comparison to the Lyman-break population. <i>Monthly Notices of the Royal Astronomical Society</i>. Oxford University Press. <a href=\"https://doi.org/10.1093/mnras/stx2061\">https://doi.org/10.1093/mnras/stx2061</a>","short":"J.J. Matthee, D. Sobral, B. Darvish, S. Santos, B. Mobasher, A. Paulino-Afonso, H. Röttgering, L. Alegre, Monthly Notices of the Royal Astronomical Society 472 (2017) 772–787."},"date_published":"2017-11-01T00:00:00Z","quality_controlled":"1","article_processing_charge":"No","publication":"Monthly Notices of the Royal Astronomical Society","month":"11","publisher":"Oxford University Press","language":[{"iso":"eng"}],"issue":"1","title":"Spectroscopic properties of luminous Ly α emitters at z ≈ 6–7 and comparison to the Lyman-break population","publication_identifier":{"eissn":["1365-2966"],"issn":["0035-8711"]},"scopus_import":"1","doi":"10.1093/mnras/stx2061","arxiv":1,"main_file_link":[{"open_access":"1","url":"https://arxiv.org/abs/1706.06591"}],"date_created":"2022-07-13T09:47:39Z","status":"public","type":"journal_article","day":"01","acknowledgement":"We thank the referee for a constructive report that has improved the quality and clarity of this work. The authors thank Grecco Oyarzún for discussions. JM acknowledges the support of a Huygens PhD fellowship from Leiden University. DS acknowledges financial support from the Netherlands Organisation for Scientific research (NWO) through a Veni fellowship and from Lancaster University through an Early Career Internal Grant A100679. BD acknowledges financial support from NASA through the Astrophysics Data Analysis Program (ADAP), grant number NNX12AE20G. We thank Kasper Schmidt for providing measurements. Based on observations with the W.M. Keck Observatory through programme C267D. The W.M. Keck Observatory is operated as a scientific partnership amongst the California Institute of Technology, the University of California and the National Aeronautics and Space Administration. Based on observations made with ESO Telescopes at the La Silla Paranal Observatory under programme IDs 097.A-0943, 294.A 5018 and 098.A-0819 and on data products produced by TERAPIX and the Cambridge Astronomy Survey Unit on behalf of the UltraVISTA consortium. The authors acknowledge the award of observing time (W16AN004) and of service time (SW2014b20) on the William Herschel Telescope (WHT). WHT and its service programme are operated on the island of La Palma by the Isaac Newton Group in the Spanish Observatorio del Roque de los Muchachos of the Instituto de Astrofisica de Canarias. Based on observations made with the NASA/ESA HST, obtained (from the Data Archive) at the Space Telescope Science Institute, which is operated by the Association of Universities for Research in Astronomy, Inc., under NASA contract NAS 5-26555. These observations are associated with programme #14699. We are grateful for the excellent data sets from the COSMOS, UltraVISTA, SXDS, UDS and CFHTLS survey teams; without these legacy surveys, this research would have been impossible. We have benefited from the public available programming language PYTHON, including the NUMPY, MATPLOTLIB, PYFITS, SCIPY and ASTROPY packages, the astronomical imaging tools SEXTRACTOR, SWARP and SCAMP and the TOPCAT analysis tool (Taylor 2013).","oa_version":"Preprint","_id":"11572","oa":1,"article_type":"original","page":"772-787","extern":"1","abstract":[{"text":"We present spectroscopic follow-up of candidate luminous Ly α emitters (LAEs) at z = 5.7–6.6 in the SA22 field with VLT/X-SHOOTER. We confirm two new luminous LAEs at z = 5.676 (SR6) and z = 6.532 (VR7), and also present HST follow-up of both sources. These sources have luminosities LLy α ≈ 3 × 1043 erg s−1, very high rest-frame equivalent widths of EW0 ≳ 200 Å and narrow Ly α lines (200–340 km s−1). VR7 is the most UV-luminous LAE at z > 6.5, with M1500 = −22.5, even brighter in the UV than CR7. Besides Ly α, we do not detect any other rest-frame UV lines in the spectra of SR6 and VR7, and argue that rest-frame UV lines are easier to observe in bright galaxies with low Ly α equivalent widths. We confirm that Ly α line widths increase with Ly α luminosity at z = 5.7, while there are indications that Ly α lines of faint LAEs become broader at z = 6.6, potentially due to reionization. We find a large spread of up to 3 dex in UV luminosity for >L⋆ LAEs, but find that the Ly α luminosity of the brightest LAEs is strongly related to UV luminosity at z = 6.6. Under basic assumptions, we find that several LAEs at z ≈ 6–7 have Ly α escape fractions ≳ 100  per cent, indicating bursty star formation histories, alternative Ly α production mechanisms, or dust attenuating Ly α emission differently than UV emission. Finally, we present a method to compute ξion, the production efficiency of ionizing photons, and find that LAEs at z ≈ 6–7 have high values of log10(ξion/Hz erg−1) ≈ 25.51 ± 0.09 that may alleviate the need for high Lyman-Continuum escape fractions required for reionization.","lang":"eng"}],"external_id":{"arxiv":["1706.06591"]},"author":[{"id":"7439a258-f3c0-11ec-9501-9df22fe06720","orcid":"0000-0003-2871-127X","full_name":"Matthee, Jorryt J","last_name":"Matthee","first_name":"Jorryt J"},{"full_name":"Sobral, David","first_name":"David","last_name":"Sobral"},{"full_name":"Darvish, Behnam","first_name":"Behnam","last_name":"Darvish"},{"first_name":"Sérgio","last_name":"Santos","full_name":"Santos, Sérgio"},{"full_name":"Mobasher, Bahram","last_name":"Mobasher","first_name":"Bahram"},{"full_name":"Paulino-Afonso, Ana","last_name":"Paulino-Afonso","first_name":"Ana"},{"full_name":"Röttgering, Huub","last_name":"Röttgering","first_name":"Huub"},{"first_name":"Lara","last_name":"Alegre","full_name":"Alegre, Lara"}],"keyword":["Space and Planetary Science","Astronomy and Astrophysics","galaxies: evolution – galaxies: high-redshift","dark ages","reionization","first stars","cosmology: observations"],"date_updated":"2024-10-14T11:36:26Z","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","publication_status":"published","year":"2017","volume":472},{"abstract":[{"lang":"eng","text":"Optimum experimental design theory has recently been extended for parameter estimation in copula models. The use of these models allows one to gain in flexibility by considering the model parameter set split into marginal and dependence parameters. However, this separation also leads to the natural issue of estimating only a subset of all model parameters. In this work, we treat this problem with the application of the (Formula presented.)-optimality to copula models. First, we provide an extension of the corresponding equivalence theory. Then, we analyze a wide range of flexible copula models to highlight the usefulness of (Formula presented.)-optimality in many possible scenarios. Finally, we discuss how the usage of the introduced design criterion also relates to the more general issue of copula selection and optimal design for model discrimination."}],"external_id":{"isi":["000407973200004"]},"author":[{"id":"2A5F8724-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0003-0370-9835","full_name":"Perrone, Elisa","last_name":"Perrone","first_name":"Elisa"},{"first_name":"Andreas","last_name":"Rappold","full_name":"Rappold, Andreas"},{"last_name":"Müller","first_name":"Werner","full_name":"Müller, Werner"}],"department":[{"_id":"CaUh"}],"oa_version":"Submitted Version","_id":"1168","oa":1,"page":"403 - 418","isi":1,"user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","file":[{"access_level":"open_access","checksum":"0b2d1b647ca96e9ef13a14b8b6775e0f","date_created":"2018-12-12T10:16:13Z","creator":"system","file_name":"IST-2017-739-v1+2_10260_2016_375_MOESM1_ESM.pdf","relation":"main_file","content_type":"application/pdf","file_id":"5199","date_updated":"2020-07-14T12:44:37Z","file_size":56664},{"file_id":"5200","content_type":"application/pdf","relation":"main_file","file_size":688953,"date_updated":"2020-07-14T12:44:37Z","file_name":"IST-2017-739-v1+3_s10260-016-0375-6.pdf","date_created":"2018-12-12T10:16:14Z","checksum":"3321ef34e02e28acfc427f77cf32812a","creator":"system","access_level":"open_access"}],"publication_status":"published","pubrep_id":"739","volume":26,"year":"2017","date_updated":"2024-10-09T20:57:17Z","file_date_updated":"2020-07-14T12:44:37Z","quality_controlled":"1","article_processing_charge":"No","publication":"Statistical Methods and Applications","month":"08","publisher":"Springer","language":[{"iso":"eng"}],"tmp":{"image":"/images/cc_by.png","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","short":"CC BY (4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode"},"intvolume":"        26","citation":{"apa":"Perrone, E., Rappold, A., &#38; Müller, W. (2017). D inf s optimality in copula models. <i>Statistical Methods and Applications</i>. Springer. <a href=\"https://doi.org/10.1007/s10260-016-0375-6\">https://doi.org/10.1007/s10260-016-0375-6</a>","ista":"Perrone E, Rappold A, Müller W. 2017. D inf s optimality in copula models. Statistical Methods and Applications. 26(3), 403–418.","short":"E. Perrone, A. Rappold, W. Müller, Statistical Methods and Applications 26 (2017) 403–418.","ieee":"E. Perrone, A. Rappold, and W. Müller, “D inf s optimality in copula models,” <i>Statistical Methods and Applications</i>, vol. 26, no. 3. Springer, pp. 403–418, 2017.","chicago":"Perrone, Elisa, Andreas Rappold, and Werner Müller. “D Inf s Optimality in Copula Models.” <i>Statistical Methods and Applications</i>. Springer, 2017. <a href=\"https://doi.org/10.1007/s10260-016-0375-6\">https://doi.org/10.1007/s10260-016-0375-6</a>.","ama":"Perrone E, Rappold A, Müller W. D inf s optimality in copula models. <i>Statistical Methods and Applications</i>. 2017;26(3):403-418. doi:<a href=\"https://doi.org/10.1007/s10260-016-0375-6\">10.1007/s10260-016-0375-6</a>","mla":"Perrone, Elisa, et al. “D Inf s Optimality in Copula Models.” <i>Statistical Methods and Applications</i>, vol. 26, no. 3, Springer, 2017, pp. 403–18, doi:<a href=\"https://doi.org/10.1007/s10260-016-0375-6\">10.1007/s10260-016-0375-6</a>."},"date_published":"2017-08-01T00:00:00Z","date_created":"2018-12-11T11:50:31Z","doi":"10.1007/s10260-016-0375-6","status":"public","has_accepted_license":"1","day":"01","type":"journal_article","acknowledgement":"This work has been supported by the project ANR-2011-IS01-001-01 “DESIRE” and Austrian Science Fund (FWF) I833-N18. Open access funding is provided by the Austrian Science Fund (FWF). ","title":"D inf s optimality in copula models","issue":"3","publist_id":"6189","scopus_import":"1","ddc":["519"],"corr_author":"1"},{"oa":1,"_id":"21615","oa_version":"Preprint","external_id":{"arxiv":["1710.05358"]},"author":[{"full_name":"Massuda, Aviram","first_name":"Aviram","last_name":"Massuda"},{"id":"e2e68fc9-6505-11ef-a541-eb4e72cc3e82","full_name":"Roques-Carmes, Charles","last_name":"Roques-Carmes","first_name":"Charles"},{"full_name":"Yang, Yujia","last_name":"Yang","first_name":"Yujia"},{"full_name":"Kooi, Steven E.","last_name":"Kooi","first_name":"Steven E."},{"last_name":"Yang","first_name":"Yi","full_name":"Yang, Yi"},{"full_name":"Murdia, Chitraang","last_name":"Murdia","first_name":"Chitraang"},{"first_name":"Karl K.","last_name":"Berggren","full_name":"Berggren, Karl K."},{"last_name":"Kaminer","first_name":"Ido","full_name":"Kaminer, Ido"},{"full_name":"Soljačić, Marin","first_name":"Marin","last_name":"Soljačić"}],"abstract":[{"text":"Focused electron beams can induce electromagnetic radiation from periodic surfaces. We have used low-energy electrons (1.5-6kV) to induce visible light emission from nanoscale gratings (50nm and 60nm). Our results coincide well with numerical simulations.","lang":"eng"}],"extern":"1","date_updated":"2026-05-05T06:46:39Z","year":"2017","publication_status":"published","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","conference":{"end_date":"2017-05-19","name":"CLEO: Fundamental Science","location":"San Jose, CA, United States","start_date":"2017-05-14"},"citation":{"mla":"Massuda, Aviram, et al. “Smith-Purcell Radiation from Low-Energy Electrons.” <i>Conference on Lasers and Electro-Optics</i>, FM3H.6, Optica Publishing Group, 2017, doi:<a href=\"https://doi.org/10.1364/cleo_qels.2017.fm3h.6\">10.1364/cleo_qels.2017.fm3h.6</a>.","ama":"Massuda A, Roques-Carmes C, Yang Y, et al. Smith-Purcell radiation from low-energy electrons. In: <i>Conference on Lasers and Electro-Optics</i>. Optica Publishing Group; 2017. doi:<a href=\"https://doi.org/10.1364/cleo_qels.2017.fm3h.6\">10.1364/cleo_qels.2017.fm3h.6</a>","ieee":"A. Massuda <i>et al.</i>, “Smith-Purcell radiation from low-energy electrons,” in <i>Conference on Lasers and Electro-Optics</i>, San Jose, CA, United States, 2017.","chicago":"Massuda, Aviram, Charles Roques-Carmes, Yujia Yang, Steven E. Kooi, Yi Yang, Chitraang Murdia, Karl K. Berggren, Ido Kaminer, and Marin Soljačić. “Smith-Purcell Radiation from Low-Energy Electrons.” In <i>Conference on Lasers and Electro-Optics</i>. Optica Publishing Group, 2017. <a href=\"https://doi.org/10.1364/cleo_qels.2017.fm3h.6\">https://doi.org/10.1364/cleo_qels.2017.fm3h.6</a>.","short":"A. Massuda, C. Roques-Carmes, Y. Yang, S.E. Kooi, Y. Yang, C. Murdia, K.K. Berggren, I. Kaminer, M. Soljačić, in:, Conference on Lasers and Electro-Optics, Optica Publishing Group, 2017.","ista":"Massuda A, Roques-Carmes C, Yang Y, Kooi SE, Yang Y, Murdia C, Berggren KK, Kaminer I, Soljačić M. 2017. Smith-Purcell radiation from low-energy electrons. Conference on Lasers and Electro-Optics. CLEO: Fundamental Science, FM3H.6.","apa":"Massuda, A., Roques-Carmes, C., Yang, Y., Kooi, S. E., Yang, Y., Murdia, C., … Soljačić, M. (2017). Smith-Purcell radiation from low-energy electrons. In <i>Conference on Lasers and Electro-Optics</i>. San Jose, CA, United States: Optica Publishing Group. <a href=\"https://doi.org/10.1364/cleo_qels.2017.fm3h.6\">https://doi.org/10.1364/cleo_qels.2017.fm3h.6</a>"},"date_published":"2017-05-01T00:00:00Z","article_number":"FM3H.6","publisher":"Optica Publishing Group","OA_place":"repository","language":[{"iso":"eng"}],"month":"05","publication":"Conference on Lasers and Electro-Optics","quality_controlled":"1","article_processing_charge":"No","publication_identifier":{"eisbn":["9781943580279"]},"scopus_import":"1","title":"Smith-Purcell radiation from low-energy electrons","OA_type":"green","type":"conference","day":"01","status":"public","doi":"10.1364/cleo_qels.2017.fm3h.6","arxiv":1,"date_created":"2026-03-30T12:22:48Z","main_file_link":[{"open_access":"1","url":"https://doi.org/10.48550/arXiv.1710.05358"}]},{"article_processing_charge":"Yes (via OA deal)","quality_controlled":"1","publication":"Communications in Mathematical Physics","month":"02","language":[{"iso":"eng"}],"publisher":"Springer","tmp":{"image":"/images/cc_by.png","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","short":"CC BY (4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode"},"intvolume":"       349","date_published":"2017-02-01T00:00:00Z","citation":{"ieee":"Z. Bao, L. Erdös, and K. Schnelli, “Local law of addition of random matrices on optimal scale,” <i>Communications in Mathematical Physics</i>, vol. 349, no. 3. Springer, pp. 947–990, 2017.","chicago":"Bao, Zhigang, László Erdös, and Kevin Schnelli. “Local Law of Addition of Random Matrices on Optimal Scale.” <i>Communications in Mathematical Physics</i>. Springer, 2017. <a href=\"https://doi.org/10.1007/s00220-016-2805-6\">https://doi.org/10.1007/s00220-016-2805-6</a>.","ama":"Bao Z, Erdös L, Schnelli K. Local law of addition of random matrices on optimal scale. <i>Communications in Mathematical Physics</i>. 2017;349(3):947-990. doi:<a href=\"https://doi.org/10.1007/s00220-016-2805-6\">10.1007/s00220-016-2805-6</a>","mla":"Bao, Zhigang, et al. “Local Law of Addition of Random Matrices on Optimal Scale.” <i>Communications in Mathematical Physics</i>, vol. 349, no. 3, Springer, 2017, pp. 947–90, doi:<a href=\"https://doi.org/10.1007/s00220-016-2805-6\">10.1007/s00220-016-2805-6</a>.","apa":"Bao, Z., Erdös, L., &#38; Schnelli, K. (2017). Local law of addition of random matrices on optimal scale. <i>Communications in Mathematical Physics</i>. Springer. <a href=\"https://doi.org/10.1007/s00220-016-2805-6\">https://doi.org/10.1007/s00220-016-2805-6</a>","ista":"Bao Z, Erdös L, Schnelli K. 2017. Local law of addition of random matrices on optimal scale. Communications in Mathematical Physics. 349(3), 947–990.","short":"Z. Bao, L. Erdös, K. Schnelli, Communications in Mathematical Physics 349 (2017) 947–990."},"date_created":"2018-12-11T11:50:43Z","doi":"10.1007/s00220-016-2805-6","status":"public","has_accepted_license":"1","type":"journal_article","day":"01","title":"Local law of addition of random matrices on optimal scale","issue":"3","ddc":["530"],"scopus_import":"1","publication_identifier":{"issn":["0010-3616"]},"publist_id":"6141","abstract":[{"text":"The eigenvalue distribution of the sum of two large Hermitian matrices, when one of them is conjugated by a Haar distributed unitary matrix, is asymptotically given by the free convolution of their spectral distributions. We prove that this convergence also holds locally in the bulk of the spectrum, down to the optimal scales larger than the eigenvalue spacing. The corresponding eigenvectors are fully delocalized. Similar results hold for the sum of two real symmetric matrices, when one is conjugated by Haar orthogonal matrix.","lang":"eng"}],"author":[{"id":"442E6A6C-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0003-3036-1475","full_name":"Bao, Zhigang","last_name":"Bao","first_name":"Zhigang"},{"first_name":"László","last_name":"Erdös","full_name":"Erdös, László","orcid":"0000-0001-5366-9603","id":"4DBD5372-F248-11E8-B48F-1D18A9856A87"},{"first_name":"Kevin","last_name":"Schnelli","orcid":"0000-0003-0954-3231","full_name":"Schnelli, Kevin","id":"434AD0AE-F248-11E8-B48F-1D18A9856A87"}],"external_id":{"isi":["000393696700005"]},"department":[{"_id":"LaEr"}],"oa_version":"Published Version","project":[{"name":"Random matrices, universality and disordered quantum systems","_id":"258DCDE6-B435-11E9-9278-68D0E5697425","grant_number":"338804","call_identifier":"FP7"}],"_id":"1207","ec_funded":1,"oa":1,"page":"947 - 990","isi":1,"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","file":[{"date_created":"2018-12-12T10:14:47Z","checksum":"ddff79154c3daf27237de5383b1264a9","creator":"system","access_level":"open_access","content_type":"application/pdf","file_id":"5102","relation":"main_file","date_updated":"2020-07-14T12:44:39Z","file_size":1033743,"file_name":"IST-2016-722-v1+1_s00220-016-2805-6.pdf"}],"publication_status":"published","pubrep_id":"722","volume":349,"year":"2017","date_updated":"2025-07-10T11:50:22Z","file_date_updated":"2020-07-14T12:44:39Z"}]