[{"type":"book_chapter","_id":"7453","date_created":"2020-02-05T10:51:44Z","status":"public","main_file_link":[{"open_access":"1","url":"https://doi.org/10.1007/978-3-319-91908-9_22"}],"publication_identifier":{"eisbn":["9783319919089"],"isbn":["9783319919072"],"issn":["1611-3349"],"eissn":["0302-9743"]},"month":"10","article_processing_charge":"No","volume":10000,"language":[{"iso":"eng"}],"oa_version":"Published Version","quality_controlled":"1","project":[{"grant_number":"S11402-N23","_id":"25F2ACDE-B435-11E9-9278-68D0E5697425","name":"Rigorous Systems Engineering","call_identifier":"FWF"},{"grant_number":"Z211","_id":"25F42A32-B435-11E9-9278-68D0E5697425","name":"The Wittgenstein Prize","call_identifier":"FWF"}],"author":[{"full_name":"Alur, Rajeev","last_name":"Alur","first_name":"Rajeev"},{"id":"3444EA5E-F248-11E8-B48F-1D18A9856A87","full_name":"Giacobbe, Mirco","last_name":"Giacobbe","first_name":"Mirco","orcid":"0000-0001-8180-0904"},{"full_name":"Henzinger, Thomas A","id":"40876CD8-F248-11E8-B48F-1D18A9856A87","orcid":"0000−0002−2985−7724","last_name":"Henzinger","first_name":"Thomas A"},{"full_name":"Larsen, Kim G.","first_name":"Kim G.","last_name":"Larsen"},{"full_name":"Mikučionis, Marius","first_name":"Marius","last_name":"Mikučionis"}],"scopus_import":"1","editor":[{"full_name":"Steffen, Bernhard","first_name":"Bernhard","last_name":"Steffen"},{"last_name":"Woeginger","first_name":"Gerhard","full_name":"Woeginger, Gerhard"}],"publication":"Computing and Software Science","intvolume":"     10000","oa":1,"page":"452-477","day":"05","doi":"10.1007/978-3-319-91908-9_22","year":"2019","acknowledgement":"This research was supported in part by the Austrian Science Fund (FWF) under grants S11402-N23(RiSE/SHiNE) and Z211-N23 (Wittgenstein Award). This research has received funding from the Sino-Danish Basic Research Centre, IDEA4CPS, funded by the Danish National Research Foundation and the National Science Foundation, China, the Innovation Fund Denmark centre DiCyPS, as well as the ERC Advanced Grant LASSO.","series_title":"LNCS","abstract":[{"text":"We illustrate the ingredients of the state-of-the-art of model-based approach for the formal design and verification of cyber-physical systems. To capture the interaction between a discrete controller and its continuously evolving environment, we use the formal models of timed and hybrid automata. We explain the steps of modeling and verification in the tools Uppaal and SpaceEx using a case study based on a dual-chamber implantable pacemaker monitoring a human heart. We show how to design a model as a composition of components, how to construct models at varying levels of detail, how to establish that one model is an abstraction of another, how to specify correctness requirements using temporal logic, and how to verify that a model satisfies a logical requirement.","lang":"eng"}],"publication_status":"published","title":"Continuous-time models for system design and analysis","publisher":"Springer Nature","date_published":"2019-10-05T00:00:00Z","citation":{"short":"R. Alur, M. Giacobbe, T.A. Henzinger, K.G. Larsen, M. Mikučionis, in:, B. Steffen, G. Woeginger (Eds.), Computing and Software Science, Springer Nature, 2019, pp. 452–477.","mla":"Alur, Rajeev, et al. “Continuous-Time Models for System Design and Analysis.” <i>Computing and Software Science</i>, edited by Bernhard Steffen and Gerhard Woeginger, vol. 10000, Springer Nature, 2019, pp. 452–77, doi:<a href=\"https://doi.org/10.1007/978-3-319-91908-9_22\">10.1007/978-3-319-91908-9_22</a>.","ieee":"R. Alur, M. Giacobbe, T. A. Henzinger, K. G. Larsen, and M. Mikučionis, “Continuous-time models for system design and analysis,” in <i>Computing and Software Science</i>, vol. 10000, B. Steffen and G. Woeginger, Eds. Springer Nature, 2019, pp. 452–477.","chicago":"Alur, Rajeev, Mirco Giacobbe, Thomas A Henzinger, Kim G. Larsen, and Marius Mikučionis. “Continuous-Time Models for System Design and Analysis.” In <i>Computing and Software Science</i>, edited by Bernhard Steffen and Gerhard Woeginger, 10000:452–77. LNCS. Springer Nature, 2019. <a href=\"https://doi.org/10.1007/978-3-319-91908-9_22\">https://doi.org/10.1007/978-3-319-91908-9_22</a>.","ista":"Alur R, Giacobbe M, Henzinger TA, Larsen KG, Mikučionis M. 2019.Continuous-time models for system design and analysis. In: Computing and Software Science. Lecture Notes in Computer Science, vol. 10000, 452–477.","ama":"Alur R, Giacobbe M, Henzinger TA, Larsen KG, Mikučionis M. Continuous-time models for system design and analysis. In: Steffen B, Woeginger G, eds. <i>Computing and Software Science</i>. Vol 10000. LNCS. Springer Nature; 2019:452-477. doi:<a href=\"https://doi.org/10.1007/978-3-319-91908-9_22\">10.1007/978-3-319-91908-9_22</a>","apa":"Alur, R., Giacobbe, M., Henzinger, T. A., Larsen, K. G., &#38; Mikučionis, M. (2019). Continuous-time models for system design and analysis. In B. Steffen &#38; G. Woeginger (Eds.), <i>Computing and Software Science</i> (Vol. 10000, pp. 452–477). Springer Nature. <a href=\"https://doi.org/10.1007/978-3-319-91908-9_22\">https://doi.org/10.1007/978-3-319-91908-9_22</a>"},"date_updated":"2022-09-06T08:25:52Z","department":[{"_id":"ToHe"}],"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","alternative_title":["Lecture Notes in Computer Science"]},{"publication_identifier":{"issn":["1359-6462"]},"status":"public","year":"2019","day":"15","doi":"10.1016/j.scriptamat.2018.09.003","page":"33-36","type":"journal_article","_id":"7459","article_type":"original","date_created":"2020-02-05T14:19:17Z","publication":"Scripta Materialia","intvolume":"       159","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","author":[{"full_name":"Vadla, Samba Siva","last_name":"Vadla","first_name":"Samba Siva"},{"full_name":"Costanzo, Tommaso","id":"D93824F4-D9BA-11E9-BB12-F207E6697425","orcid":"0000-0001-9732-3815","first_name":"Tommaso","last_name":"Costanzo"},{"last_name":"John","first_name":"Subish","full_name":"John, Subish"},{"full_name":"Caruntu, Gabriel","last_name":"Caruntu","first_name":"Gabriel"},{"full_name":"Roy, Somnath C.","first_name":"Somnath C.","last_name":"Roy"}],"oa_version":"None","citation":{"ieee":"S. S. Vadla, T. Costanzo, S. John, G. Caruntu, and S. C. Roy, “Local probing of magnetoelectric coupling in BaTiO3-Ni 1–3 composites,” <i>Scripta Materialia</i>, vol. 159. Elsevier, pp. 33–36, 2019.","apa":"Vadla, S. S., Costanzo, T., John, S., Caruntu, G., &#38; Roy, S. C. (2019). Local probing of magnetoelectric coupling in BaTiO3-Ni 1–3 composites. <i>Scripta Materialia</i>. Elsevier. <a href=\"https://doi.org/10.1016/j.scriptamat.2018.09.003\">https://doi.org/10.1016/j.scriptamat.2018.09.003</a>","ama":"Vadla SS, Costanzo T, John S, Caruntu G, Roy SC. Local probing of magnetoelectric coupling in BaTiO3-Ni 1–3 composites. <i>Scripta Materialia</i>. 2019;159:33-36. doi:<a href=\"https://doi.org/10.1016/j.scriptamat.2018.09.003\">10.1016/j.scriptamat.2018.09.003</a>","ista":"Vadla SS, Costanzo T, John S, Caruntu G, Roy SC. 2019. Local probing of magnetoelectric coupling in BaTiO3-Ni 1–3 composites. Scripta Materialia. 159, 33–36.","chicago":"Vadla, Samba Siva, Tommaso Costanzo, Subish John, Gabriel Caruntu, and Somnath C. Roy. “Local Probing of Magnetoelectric Coupling in BaTiO3-Ni 1–3 Composites.” <i>Scripta Materialia</i>. Elsevier, 2019. <a href=\"https://doi.org/10.1016/j.scriptamat.2018.09.003\">https://doi.org/10.1016/j.scriptamat.2018.09.003</a>.","short":"S.S. Vadla, T. Costanzo, S. John, G. Caruntu, S.C. Roy, Scripta Materialia 159 (2019) 33–36.","mla":"Vadla, Samba Siva, et al. “Local Probing of Magnetoelectric Coupling in BaTiO3-Ni 1–3 Composites.” <i>Scripta Materialia</i>, vol. 159, Elsevier, 2019, pp. 33–36, doi:<a href=\"https://doi.org/10.1016/j.scriptamat.2018.09.003\">10.1016/j.scriptamat.2018.09.003</a>."},"date_updated":"2023-02-23T13:08:31Z","extern":"1","quality_controlled":"1","article_processing_charge":"No","title":"Local probing of magnetoelectric coupling in BaTiO3-Ni 1–3 composites","volume":159,"publisher":"Elsevier","language":[{"iso":"eng"}],"date_published":"2019-01-15T00:00:00Z","abstract":[{"text":"We report the fabrication of BaTiO3-Ni magnetoelectric nanocomposites comprising of BaTiO3 nanotubes surrounded by Ni matrix. BaTiO3 nanotubes obtained from the hydrothermal transformation of TiO2 have both inner and outer surfaces, which facilitates greater magnetoelectric coupling with the surrounding Ni matrix. The magnetoelectric coupling was studied by measuring the piezoelectric behavior in the presence of an in-plane direct magnetic field. A higher magnetoelectric voltage coefficient of 110 mV/cm·Oe was obtained, because of better coupling between Ni and BaTiO3 through the walls of the nanotubes. Such nanocomposite developed directly on Ti substrate may lead to efficient fabrication of magnetoelectric devices.","lang":"eng"}],"month":"01","publication_status":"published"},{"ec_funded":1,"conference":{"name":"CVPR: Conference on Computer Vision and Pattern Recognition","location":"Long Beach, CA, United States","end_date":"2019-06-20","start_date":"2019-06-15"},"status":"public","publication_identifier":{"issn":["10636919"],"isbn":["9781728132938"]},"main_file_link":[{"url":"https://arxiv.org/abs/1806.05049","open_access":"1"}],"type":"conference","_id":"7468","date_created":"2020-02-09T23:00:52Z","article_processing_charge":"No","volume":"2019-June","language":[{"iso":"eng"}],"article_number":"11138-11147","month":"06","author":[{"last_name":"Swoboda","first_name":"Paul","id":"446560C6-F248-11E8-B48F-1D18A9856A87","full_name":"Swoboda, Paul"},{"last_name":"Kolmogorov","first_name":"Vladimir","id":"3D50B0BA-F248-11E8-B48F-1D18A9856A87","full_name":"Kolmogorov, Vladimir"}],"oa_version":"Preprint","project":[{"name":"Discrete Optimization in Computer Vision: Theory and Practice","grant_number":"616160","_id":"25FBA906-B435-11E9-9278-68D0E5697425","call_identifier":"FP7"}],"quality_controlled":"1","publication":"Proceedings of the IEEE Computer Society Conference on Computer Vision and Pattern Recognition","arxiv":1,"scopus_import":"1","year":"2019","doi":"10.1109/CVPR.2019.01140","day":"01","oa":1,"title":"Map inference via block-coordinate Frank-Wolfe algorithm","date_published":"2019-06-01T00:00:00Z","publisher":"IEEE","isi":1,"abstract":[{"text":"We present a new proximal bundle method for Maximum-A-Posteriori (MAP) inference in structured energy minimization problems. The method optimizes a Lagrangean relaxation of the original energy minimization problem using a multi plane block-coordinate Frank-Wolfe method that takes advantage of the specific structure of the Lagrangean decomposition. We show empirically that our method outperforms state-of-the-art Lagrangean decomposition based algorithms on some challenging Markov Random Field, multi-label discrete tomography and graph matching problems.","lang":"eng"}],"publication_status":"published","user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","external_id":{"arxiv":["1806.05049"],"isi":["000542649304076"]},"citation":{"ieee":"P. Swoboda and V. Kolmogorov, “Map inference via block-coordinate Frank-Wolfe algorithm,” in <i>Proceedings of the IEEE Computer Society Conference on Computer Vision and Pattern Recognition</i>, Long Beach, CA, United States, 2019, vol. 2019–June.","apa":"Swoboda, P., &#38; Kolmogorov, V. (2019). Map inference via block-coordinate Frank-Wolfe algorithm. In <i>Proceedings of the IEEE Computer Society Conference on Computer Vision and Pattern Recognition</i> (Vol. 2019–June). Long Beach, CA, United States: IEEE. <a href=\"https://doi.org/10.1109/CVPR.2019.01140\">https://doi.org/10.1109/CVPR.2019.01140</a>","ista":"Swoboda P, Kolmogorov V. 2019. Map inference via block-coordinate Frank-Wolfe algorithm. Proceedings of the IEEE Computer Society Conference on Computer Vision and Pattern Recognition. CVPR: Conference on Computer Vision and Pattern Recognition vol. 2019–June, 11138–11147.","ama":"Swoboda P, Kolmogorov V. Map inference via block-coordinate Frank-Wolfe algorithm. In: <i>Proceedings of the IEEE Computer Society Conference on Computer Vision and Pattern Recognition</i>. Vol 2019-June. IEEE; 2019. doi:<a href=\"https://doi.org/10.1109/CVPR.2019.01140\">10.1109/CVPR.2019.01140</a>","chicago":"Swoboda, Paul, and Vladimir Kolmogorov. “Map Inference via Block-Coordinate Frank-Wolfe Algorithm.” In <i>Proceedings of the IEEE Computer Society Conference on Computer Vision and Pattern Recognition</i>, Vol. 2019–June. IEEE, 2019. <a href=\"https://doi.org/10.1109/CVPR.2019.01140\">https://doi.org/10.1109/CVPR.2019.01140</a>.","mla":"Swoboda, Paul, and Vladimir Kolmogorov. “Map Inference via Block-Coordinate Frank-Wolfe Algorithm.” <i>Proceedings of the IEEE Computer Society Conference on Computer Vision and Pattern Recognition</i>, vol. 2019–June, 11138–11147, IEEE, 2019, doi:<a href=\"https://doi.org/10.1109/CVPR.2019.01140\">10.1109/CVPR.2019.01140</a>.","short":"P. Swoboda, V. Kolmogorov, in:, Proceedings of the IEEE Computer Society Conference on Computer Vision and Pattern Recognition, IEEE, 2019."},"date_updated":"2023-09-07T14:54:24Z","department":[{"_id":"VlKo"}]},{"day":"01","doi":"10.1038/s41556-019-0362-x","page":"924-932","year":"2019","oa":1,"publication":"Nature Cell Biology","intvolume":"        21","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","external_id":{"pmid":["31358966"]},"citation":{"short":"M.S. Andersen, E.B. Hannezo, S. Ulyanchenko, S. Estrach, Y. Antoku, S. Pisano, K.E. Boonekamp, S. Sendrup, M. Maimets, M.T. Pedersen, J.V. Johansen, D.L. Clement, C.C. Feral, B.D. Simons, K.B. Jensen, Nature Cell Biology 21 (2019) 924–932.","mla":"Andersen, Marianne Stemann, et al. “Tracing the Cellular Dynamics of Sebaceous Gland Development in Normal and Perturbed States.” <i>Nature Cell Biology</i>, vol. 21, no. 8, Springer Nature, 2019, pp. 924–32, doi:<a href=\"https://doi.org/10.1038/s41556-019-0362-x\">10.1038/s41556-019-0362-x</a>.","apa":"Andersen, M. S., Hannezo, E. B., Ulyanchenko, S., Estrach, S., Antoku, Y., Pisano, S., … Jensen, K. B. (2019). Tracing the cellular dynamics of sebaceous gland development in normal and perturbed states. <i>Nature Cell Biology</i>. Springer Nature. <a href=\"https://doi.org/10.1038/s41556-019-0362-x\">https://doi.org/10.1038/s41556-019-0362-x</a>","chicago":"Andersen, Marianne Stemann, Edouard B Hannezo, Svetlana Ulyanchenko, Soline Estrach, Yasuko Antoku, Sabrina Pisano, Kim E. Boonekamp, et al. “Tracing the Cellular Dynamics of Sebaceous Gland Development in Normal and Perturbed States.” <i>Nature Cell Biology</i>. Springer Nature, 2019. <a href=\"https://doi.org/10.1038/s41556-019-0362-x\">https://doi.org/10.1038/s41556-019-0362-x</a>.","ista":"Andersen MS, Hannezo EB, Ulyanchenko S, Estrach S, Antoku Y, Pisano S, Boonekamp KE, Sendrup S, Maimets M, Pedersen MT, Johansen JV, Clement DL, Feral CC, Simons BD, Jensen KB. 2019. Tracing the cellular dynamics of sebaceous gland development in normal and perturbed states. Nature Cell Biology. 21(8), 924–932.","ama":"Andersen MS, Hannezo EB, Ulyanchenko S, et al. Tracing the cellular dynamics of sebaceous gland development in normal and perturbed states. <i>Nature Cell Biology</i>. 2019;21(8):924-932. doi:<a href=\"https://doi.org/10.1038/s41556-019-0362-x\">10.1038/s41556-019-0362-x</a>","ieee":"M. S. Andersen <i>et al.</i>, “Tracing the cellular dynamics of sebaceous gland development in normal and perturbed states,” <i>Nature Cell Biology</i>, vol. 21, no. 8. Springer Nature, pp. 924–932, 2019."},"date_updated":"2021-01-12T08:13:47Z","extern":"1","title":"Tracing the cellular dynamics of sebaceous gland development in normal and perturbed states","date_published":"2019-08-01T00:00:00Z","publisher":"Springer Nature","pmid":1,"abstract":[{"lang":"eng","text":"The sebaceous gland (SG) is an essential component of the skin, and SG dysfunction is debilitating1,2. Yet, the cellular bases for its origin, development and subsequent maintenance remain poorly understood. Here, we apply large-scale quantitative fate mapping to define the patterns of cell fate behaviour during SG development and maintenance. We show that the SG develops from a defined number of lineage-restricted progenitors that undergo a programme of independent and stochastic cell fate decisions. Following an expansion phase, equipotent progenitors transition into a phase of homeostatic turnover, which is correlated with changes in the mechanical properties of the stroma and spatial restrictions on gland size. Expression of the oncogene KrasG12D results in a release from these constraints and unbridled gland expansion. Quantitative clonal fate analysis reveals that, during this phase, the primary effect of the Kras oncogene is to drive a constant fate bias with little effect on cell division rates. These findings provide insight into the developmental programme of the SG, as well as the mechanisms that drive tumour progression and gland dysfunction."}],"publication_status":"published","publication_identifier":{"issn":["1465-7392","1476-4679"]},"main_file_link":[{"url":"https://www.ncbi.nlm.nih.gov/pmc/articles/PMC6978139/","open_access":"1"}],"status":"public","_id":"7476","type":"journal_article","article_type":"original","date_created":"2020-02-11T08:43:49Z","author":[{"full_name":"Andersen, Marianne Stemann","first_name":"Marianne Stemann","last_name":"Andersen"},{"full_name":"Hannezo, Edouard B","id":"3A9DB764-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0001-6005-1561","first_name":"Edouard B","last_name":"Hannezo"},{"full_name":"Ulyanchenko, Svetlana","last_name":"Ulyanchenko","first_name":"Svetlana"},{"full_name":"Estrach, Soline","first_name":"Soline","last_name":"Estrach"},{"last_name":"Antoku","first_name":"Yasuko","full_name":"Antoku, Yasuko"},{"full_name":"Pisano, Sabrina","last_name":"Pisano","first_name":"Sabrina"},{"full_name":"Boonekamp, Kim E.","last_name":"Boonekamp","first_name":"Kim E."},{"full_name":"Sendrup, Sarah","first_name":"Sarah","last_name":"Sendrup"},{"full_name":"Maimets, Martti","last_name":"Maimets","first_name":"Martti"},{"full_name":"Pedersen, Marianne Terndrup","last_name":"Pedersen","first_name":"Marianne Terndrup"},{"full_name":"Johansen, Jens V.","last_name":"Johansen","first_name":"Jens V."},{"full_name":"Clement, Ditte L.","first_name":"Ditte L.","last_name":"Clement"},{"first_name":"Chloe C.","last_name":"Feral","full_name":"Feral, Chloe C."},{"first_name":"Benjamin D.","last_name":"Simons","full_name":"Simons, Benjamin D."},{"last_name":"Jensen","first_name":"Kim B.","full_name":"Jensen, Kim B."}],"oa_version":"Submitted Version","quality_controlled":"1","article_processing_charge":"No","volume":21,"language":[{"iso":"eng"}],"issue":"8","month":"08"},{"date_published":"2019-10-01T00:00:00Z","file_date_updated":"2020-07-14T12:47:59Z","publisher":"IEEE","title":"Distillation-based training for multi-exit architectures","publication_status":"published","abstract":[{"lang":"eng","text":"Multi-exit architectures, in which a stack of processing layers is interleaved with early output layers, allow the processing of a test example to stop early and thus save computation time and/or energy.  In this work, we propose a new training procedure for multi-exit architectures based on the principle of knowledge distillation. The method encourage searly exits to mimic later, more accurate exits, by matching their output probabilities.\r\nExperiments  on  CIFAR100  and  ImageNet  show  that distillation-based training significantly improves the accuracy of early exits while maintaining state-of-the-art accuracy  for  late  ones.   The  method  is  particularly  beneficial when  training  data  is  limited  and  it  allows  a  straightforward extension to semi-supervised learning,i.e. making use of unlabeled data at training time. Moreover, it takes only afew lines to implement and incurs almost no computational overhead at training time, and none at all at test time."}],"ddc":["000"],"isi":1,"external_id":{"isi":["000531438101047"]},"user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","department":[{"_id":"ChLa"}],"date_updated":"2023-09-08T11:11:12Z","citation":{"short":"M. Phuong, C. Lampert, in:, IEEE International Conference on Computer Vision, IEEE, 2019, pp. 1355–1364.","mla":"Phuong, Mary, and Christoph Lampert. “Distillation-Based Training for Multi-Exit Architectures.” <i>IEEE International Conference on Computer Vision</i>, vol. 2019–October, IEEE, 2019, pp. 1355–64, doi:<a href=\"https://doi.org/10.1109/ICCV.2019.00144\">10.1109/ICCV.2019.00144</a>.","ieee":"M. Phuong and C. Lampert, “Distillation-based training for multi-exit architectures,” in <i>IEEE International Conference on Computer Vision</i>, Seoul, Korea, 2019, vol. 2019–October, pp. 1355–1364.","ista":"Phuong M, Lampert C. 2019. Distillation-based training for multi-exit architectures. IEEE International Conference on Computer Vision. ICCV: International Conference on Computer Vision vol. 2019–October, 1355–1364.","chicago":"Phuong, Mary, and Christoph Lampert. “Distillation-Based Training for Multi-Exit Architectures.” In <i>IEEE International Conference on Computer Vision</i>, 2019–October:1355–64. IEEE, 2019. <a href=\"https://doi.org/10.1109/ICCV.2019.00144\">https://doi.org/10.1109/ICCV.2019.00144</a>.","ama":"Phuong M, Lampert C. Distillation-based training for multi-exit architectures. In: <i>IEEE International Conference on Computer Vision</i>. Vol 2019-October. IEEE; 2019:1355-1364. doi:<a href=\"https://doi.org/10.1109/ICCV.2019.00144\">10.1109/ICCV.2019.00144</a>","apa":"Phuong, M., &#38; Lampert, C. (2019). Distillation-based training for multi-exit architectures. In <i>IEEE International Conference on Computer Vision</i> (Vol. 2019–October, pp. 1355–1364). Seoul, Korea: IEEE. <a href=\"https://doi.org/10.1109/ICCV.2019.00144\">https://doi.org/10.1109/ICCV.2019.00144</a>"},"publication":"IEEE International Conference on Computer Vision","scopus_import":"1","related_material":{"record":[{"id":"9418","relation":"dissertation_contains","status":"public"}]},"year":"2019","page":"1355-1364","doi":"10.1109/ICCV.2019.00144","day":"01","oa":1,"language":[{"iso":"eng"}],"volume":"2019-October","article_processing_charge":"No","month":"10","has_accepted_license":"1","file":[{"relation":"main_file","creator":"bphuong","checksum":"7b77fb5c2d27c4c37a7612ba46a66117","file_id":"7480","file_size":735768,"access_level":"open_access","content_type":"application/pdf","date_updated":"2020-07-14T12:47:59Z","date_created":"2020-02-11T09:06:39Z","file_name":"main.pdf"}],"author":[{"full_name":"Bui Thi Mai, Phuong","id":"3EC6EE64-F248-11E8-B48F-1D18A9856A87","first_name":"Phuong","last_name":"Bui Thi Mai"},{"id":"40C20FD2-F248-11E8-B48F-1D18A9856A87","full_name":"Lampert, Christoph","last_name":"Lampert","first_name":"Christoph","orcid":"0000-0001-8622-7887"}],"quality_controlled":"1","project":[{"_id":"2532554C-B435-11E9-9278-68D0E5697425","grant_number":"308036","name":"Lifelong Learning of Visual Scene Understanding","call_identifier":"FP7"}],"oa_version":"Submitted Version","conference":{"start_date":"2019-10-27","end_date":"2019-11-02","name":"ICCV: International Conference on Computer Vision","location":"Seoul, Korea"},"ec_funded":1,"status":"public","publication_identifier":{"isbn":["9781728148038"],"issn":["15505499"]},"date_created":"2020-02-11T09:06:57Z","type":"conference","_id":"7479"},{"publisher":"Elsevier","date_published":"2019-02-06T00:00:00Z","language":[{"iso":"eng"}],"article_processing_charge":"No","title":"Social immunity","abstract":[{"text":"Social insects (i.e., ants, termites and the social bees and wasps) protect their colonies from disease using a combination of individual immunity and collectively performed defenses, termed social immunity. The first line of social immune defense is sanitary care, which is performed by colony members to protect their pathogen-exposed nestmates from developing an infection. If sanitary care fails and an infection becomes established, a second line of social immune defense is deployed to stop disease transmission within the colony and to protect the valuable queens, which together with the males are the reproductive individuals of the colony. Insect colonies are separated into these reproductive individuals and the sterile worker force, forming a superorganismal reproductive unit reminiscent of the differentiated germline and soma in a multicellular organism. Ultimately, the social immune response preserves the germline of the superorganism insect colony and increases overall fitness of the colony in case of disease. ","lang":"eng"}],"publication_status":"published","month":"02","isi":1,"author":[{"orcid":"0000-0002-2193-3868","last_name":"Cremer","first_name":"Sylvia","full_name":"Cremer, Sylvia","id":"2F64EC8C-F248-11E8-B48F-1D18A9856A87"},{"first_name":"Megan","last_name":"Kutzer","orcid":"0000-0002-8696-6978","id":"29D0B332-F248-11E8-B48F-1D18A9856A87","full_name":"Kutzer, Megan"}],"user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","external_id":{"isi":["000248989500026"]},"date_updated":"2023-09-08T11:12:04Z","quality_controlled":"1","department":[{"_id":"SyCr"}],"citation":{"ieee":"S. Cremer and M. Kutzer, “Social immunity,” in <i>Encyclopedia of Animal Behavior</i>, 2nd ed., J. Choe, Ed. Elsevier, 2019, pp. 747–755.","ama":"Cremer S, Kutzer M. Social immunity. In: Choe J, ed. <i>Encyclopedia of Animal Behavior</i>. 2nd ed. Elsevier; 2019:747-755. doi:<a href=\"https://doi.org/10.1016/B978-0-12-809633-8.90721-0\">10.1016/B978-0-12-809633-8.90721-0</a>","chicago":"Cremer, Sylvia, and Megan Kutzer. “Social Immunity.” In <i>Encyclopedia of Animal Behavior</i>, edited by Jae Choe, 2nd ed., 747–55. Elsevier, 2019. <a href=\"https://doi.org/10.1016/B978-0-12-809633-8.90721-0\">https://doi.org/10.1016/B978-0-12-809633-8.90721-0</a>.","ista":"Cremer S, Kutzer M. 2019.Social immunity. In: Encyclopedia of Animal Behavior. , 747–755.","apa":"Cremer, S., &#38; Kutzer, M. (2019). Social immunity. In J. Choe (Ed.), <i>Encyclopedia of Animal Behavior</i> (2nd ed., pp. 747–755). Elsevier. <a href=\"https://doi.org/10.1016/B978-0-12-809633-8.90721-0\">https://doi.org/10.1016/B978-0-12-809633-8.90721-0</a>","mla":"Cremer, Sylvia, and Megan Kutzer. “Social Immunity.” <i>Encyclopedia of Animal Behavior</i>, edited by Jae Choe, 2nd ed., Elsevier, 2019, pp. 747–55, doi:<a href=\"https://doi.org/10.1016/B978-0-12-809633-8.90721-0\">10.1016/B978-0-12-809633-8.90721-0</a>.","short":"S. Cremer, M. Kutzer, in:, J. Choe (Ed.), Encyclopedia of Animal Behavior, 2nd ed., Elsevier, 2019, pp. 747–755."},"oa_version":"None","edition":"2","publication":"Encyclopedia of Animal Behavior","scopus_import":"1","editor":[{"full_name":"Choe, Jae","last_name":"Choe","first_name":"Jae"}],"page":"747-755","doi":"10.1016/B978-0-12-809633-8.90721-0","publication_identifier":{"eisbn":["9780128132524"],"isbn":["9780128132517"]},"day":"06","year":"2019","status":"public","date_created":"2020-02-23T23:00:36Z","type":"book_chapter","_id":"7513"},{"author":[{"id":"4DA65CD0-F248-11E8-B48F-1D18A9856A87","full_name":"Deuchert, Andreas","first_name":"Andreas","last_name":"Deuchert","orcid":"0000-0003-3146-6746"},{"id":"30C4630A-F248-11E8-B48F-1D18A9856A87","full_name":"Mayer, Simon","last_name":"Mayer","first_name":"Simon"},{"full_name":"Seiringer, Robert","id":"4AFD0470-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-6781-0521","first_name":"Robert","last_name":"Seiringer"}],"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","project":[{"call_identifier":"H2020","name":"Analysis of quantum many-body systems","grant_number":"694227","_id":"25C6DC12-B435-11E9-9278-68D0E5697425"}],"department":[{"_id":"RoSe"}],"date_updated":"2023-09-07T13:12:41Z","oa_version":"Preprint","citation":{"short":"A. Deuchert, S. Mayer, R. Seiringer, ArXiv:1910.03372 (n.d.).","mla":"Deuchert, Andreas, et al. “The Free Energy of the Two-Dimensional Dilute Bose Gas. I. Lower Bound.” <i>ArXiv:1910.03372</i>, ArXiv.","apa":"Deuchert, A., Mayer, S., &#38; Seiringer, R. (n.d.). The free energy of the two-dimensional dilute Bose gas. I. Lower bound. <i>arXiv:1910.03372</i>. ArXiv.","chicago":"Deuchert, Andreas, Simon Mayer, and Robert Seiringer. “The Free Energy of the Two-Dimensional Dilute Bose Gas. I. Lower Bound.” <i>ArXiv:1910.03372</i>. ArXiv, n.d.","ista":"Deuchert A, Mayer S, Seiringer R. The free energy of the two-dimensional dilute Bose gas. I. Lower bound. arXiv:1910.03372, .","ama":"Deuchert A, Mayer S, Seiringer R. The free energy of the two-dimensional dilute Bose gas. I. Lower bound. <i>arXiv:191003372</i>.","ieee":"A. Deuchert, S. Mayer, and R. Seiringer, “The free energy of the two-dimensional dilute Bose gas. I. Lower bound,” <i>arXiv:1910.03372</i>. ArXiv."},"language":[{"iso":"eng"}],"date_published":"2019-10-08T00:00:00Z","publisher":"ArXiv","title":"The free energy of the two-dimensional dilute Bose gas. I. Lower bound","article_processing_charge":"No","month":"10","publication_status":"draft","abstract":[{"lang":"eng","text":"We prove a lower bound for the free energy (per unit volume) of the two-dimensional Bose gas in the thermodynamic limit. We show that the free energy at density $\\rho$ and inverse temperature $\\beta$ differs from the one of the non-interacting system by the correction term $4 \\pi \\rho^2 |\\ln a^2 \\rho|^{-1} (2 - [1 - \\beta_{\\mathrm{c}}/\\beta]_+^2)$. Here $a$ is the scattering length of the interaction potential, $[\\cdot]_+ = \\max\\{ 0, \\cdot \\}$ and $\\beta_{\\mathrm{c}}$ is the inverse Berezinskii--Kosterlitz--Thouless critical temperature for superfluidity. The result is valid in the dilute limit\r\n$a^2\\rho \\ll 1$ and if $\\beta \\rho \\gtrsim 1$."}],"main_file_link":[{"url":"https://arxiv.org/abs/1910.03372","open_access":"1"}],"status":"public","year":"2019","day":"08","page":"61","date_created":"2020-02-26T08:46:40Z","oa":1,"_id":"7524","type":"preprint","ec_funded":1,"publication":"arXiv:1910.03372","scopus_import":1,"related_material":{"record":[{"status":"public","relation":"later_version","id":"7790"},{"status":"public","relation":"dissertation_contains","id":"7514"}]}},{"ec_funded":1,"conference":{"name":"NIPS: Conference on Neural Information Processing Systems","location":"Vancouver, Canada","end_date":"2019-12-14","start_date":"2019-12-08"},"main_file_link":[{"open_access":"1","url":"http://papers.nips.cc/paper/8379-powerset-convolutional-neural-networks"}],"publication_identifier":{"issn":["1049-5258"]},"status":"public","_id":"7542","type":"conference","date_created":"2020-02-28T10:03:24Z","article_processing_charge":"No","volume":32,"language":[{"iso":"eng"}],"month":"12","author":[{"last_name":"Wendler","first_name":"Chris","full_name":"Wendler, Chris"},{"id":"4A899BFC-F248-11E8-B48F-1D18A9856A87","full_name":"Alistarh, Dan-Adrian","first_name":"Dan-Adrian","last_name":"Alistarh","orcid":"0000-0003-3650-940X"},{"full_name":"Püschel, Markus","first_name":"Markus","last_name":"Püschel"}],"oa_version":"Published Version","quality_controlled":"1","project":[{"name":"Elastic Coordination for Scalable Machine Learning","_id":"268A44D6-B435-11E9-9278-68D0E5697425","grant_number":"805223","call_identifier":"H2020"}],"intvolume":"        32","arxiv":1,"year":"2019","page":"927-938","day":"01","oa":1,"title":"Powerset convolutional neural networks","publisher":"Neural Information Processing Systems Foundation","date_published":"2019-12-01T00:00:00Z","isi":1,"abstract":[{"lang":"eng","text":"We present a novel class of convolutional neural networks (CNNs) for set functions,i.e., data indexed with the powerset of a finite set. The convolutions are derivedas linear, shift-equivariant functions for various notions of shifts on set functions.The framework is fundamentally different from graph convolutions based on theLaplacian, as it provides not one but several basic shifts, one for each element inthe ground set. Prototypical experiments with several set function classificationtasks on synthetic datasets and on datasets derived from real-world hypergraphsdemonstrate the potential of our new powerset CNNs."}],"publication_status":"published","user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","external_id":{"arxiv":["1909.02253"],"isi":["000534424300084"]},"citation":{"short":"C. Wendler, D.-A. Alistarh, M. Püschel, in:, Neural Information Processing Systems Foundation, 2019, pp. 927–938.","mla":"Wendler, Chris, et al. <i>Powerset Convolutional Neural Networks</i>. Vol. 32, Neural Information Processing Systems Foundation, 2019, pp. 927–38.","ama":"Wendler C, Alistarh D-A, Püschel M. Powerset convolutional neural networks. In: Vol 32. Neural Information Processing Systems Foundation; 2019:927-938.","ista":"Wendler C, Alistarh D-A, Püschel M. 2019. Powerset convolutional neural networks. NIPS: Conference on Neural Information Processing Systems vol. 32, 927–938.","chicago":"Wendler, Chris, Dan-Adrian Alistarh, and Markus Püschel. “Powerset Convolutional Neural Networks,” 32:927–38. Neural Information Processing Systems Foundation, 2019.","apa":"Wendler, C., Alistarh, D.-A., &#38; Püschel, M. (2019). Powerset convolutional neural networks (Vol. 32, pp. 927–938). Presented at the NIPS: Conference on Neural Information Processing Systems, Vancouver, Canada: Neural Information Processing Systems Foundation.","ieee":"C. Wendler, D.-A. Alistarh, and M. Püschel, “Powerset convolutional neural networks,” presented at the NIPS: Conference on Neural Information Processing Systems, Vancouver, Canada, 2019, vol. 32, pp. 927–938."},"date_updated":"2023-09-08T11:13:52Z","department":[{"_id":"DaAl"}]},{"publication_identifier":{"issn":["2160-1836"]},"status":"public","type":"journal_article","_id":"7547","article_type":"original","date_created":"2020-02-28T10:44:27Z","author":[{"full_name":"Cohn, Jesse","first_name":"Jesse","last_name":"Cohn"},{"last_name":"Dwivedi","first_name":"Vivek","full_name":"Dwivedi, Vivek"},{"full_name":"Valperga, Giulio","first_name":"Giulio","last_name":"Valperga"},{"first_name":"Nicole","last_name":"Zarate","full_name":"Zarate, Nicole"},{"first_name":"Mario","last_name":"de Bono","orcid":"0000-0001-8347-0443","id":"4E3FF80E-F248-11E8-B48F-1D18A9856A87","full_name":"de Bono, Mario"},{"last_name":"Horvitz","first_name":"H. Robert","full_name":"Horvitz, H. Robert"},{"first_name":"Jonathan T.","last_name":"Pierce","full_name":"Pierce, Jonathan T."}],"oa_version":"Published Version","quality_controlled":"1","article_processing_charge":"No","volume":9,"language":[{"iso":"eng"}],"issue":"11","month":"11","day":"01","doi":"10.1534/g3.119.400654","year":"2019","page":"3703-3714","publication":"G3: Genes, Genomes, Genetics","intvolume":"         9","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","external_id":{"pmid":["31519744"]},"citation":{"mla":"Cohn, Jesse, et al. “Activity-Dependent Regulation of the Proapoptotic BH3-Only Gene Egl-1 in a Living Neuron Pair in Caenorhabditis Elegans.” <i>G3: Genes, Genomes, Genetics</i>, vol. 9, no. 11, Genetics Society of America, 2019, pp. 3703–14, doi:<a href=\"https://doi.org/10.1534/g3.119.400654\">10.1534/g3.119.400654</a>.","short":"J. Cohn, V. Dwivedi, G. Valperga, N. Zarate, M. de Bono, H.R. Horvitz, J.T. Pierce, G3: Genes, Genomes, Genetics 9 (2019) 3703–3714.","ieee":"J. Cohn <i>et al.</i>, “Activity-dependent regulation of the proapoptotic BH3-only gene egl-1 in a living neuron pair in Caenorhabditis elegans,” <i>G3: Genes, Genomes, Genetics</i>, vol. 9, no. 11. Genetics Society of America, pp. 3703–3714, 2019.","ama":"Cohn J, Dwivedi V, Valperga G, et al. Activity-dependent regulation of the proapoptotic BH3-only gene egl-1 in a living neuron pair in Caenorhabditis elegans. <i>G3: Genes, Genomes, Genetics</i>. 2019;9(11):3703-3714. doi:<a href=\"https://doi.org/10.1534/g3.119.400654\">10.1534/g3.119.400654</a>","ista":"Cohn J, Dwivedi V, Valperga G, Zarate N, de Bono M, Horvitz HR, Pierce JT. 2019. Activity-dependent regulation of the proapoptotic BH3-only gene egl-1 in a living neuron pair in Caenorhabditis elegans. G3: Genes, Genomes, Genetics. 9(11), 3703–3714.","chicago":"Cohn, Jesse, Vivek Dwivedi, Giulio Valperga, Nicole Zarate, Mario de Bono, H. Robert Horvitz, and Jonathan T. Pierce. “Activity-Dependent Regulation of the Proapoptotic BH3-Only Gene Egl-1 in a Living Neuron Pair in Caenorhabditis Elegans.” <i>G3: Genes, Genomes, Genetics</i>. Genetics Society of America, 2019. <a href=\"https://doi.org/10.1534/g3.119.400654\">https://doi.org/10.1534/g3.119.400654</a>.","apa":"Cohn, J., Dwivedi, V., Valperga, G., Zarate, N., de Bono, M., Horvitz, H. R., &#38; Pierce, J. T. (2019). Activity-dependent regulation of the proapoptotic BH3-only gene egl-1 in a living neuron pair in Caenorhabditis elegans. <i>G3: Genes, Genomes, Genetics</i>. Genetics Society of America. <a href=\"https://doi.org/10.1534/g3.119.400654\">https://doi.org/10.1534/g3.119.400654</a>"},"date_updated":"2021-01-12T08:14:07Z","extern":"1","title":"Activity-dependent regulation of the proapoptotic BH3-only gene egl-1 in a living neuron pair in Caenorhabditis elegans","publisher":"Genetics Society of America","date_published":"2019-11-01T00:00:00Z","pmid":1,"abstract":[{"lang":"eng","text":"The BH3-only family of proteins is key for initiating apoptosis in a variety of contexts, and may also contribute to non-apoptotic cellular processes. Historically, the nematode Caenorhabditis elegans has provided a powerful system for studying and identifying conserved regulators of BH3-only proteins. In C. elegans, the BH3-only protein egl-1 is expressed during development to cell-autonomously trigger most developmental cell deaths. Here we provide evidence that egl-1 is also transcribed after development in the sensory neuron pair URX without inducing apoptosis. We used genetic screening and epistasis analysis to determine that its transcription is regulated in URX by neuronal activity and/or in parallel by orthologs of Protein Kinase G and the Salt-Inducible Kinase family. Because several BH3-only family proteins are also expressed in the adult nervous system of mammals, we suggest that studying egl-1 expression in URX may shed light on mechanisms that regulate conserved family members in higher organisms."}],"publication_status":"published"},{"author":[{"first_name":"Tessa","last_name":"Sinnige","full_name":"Sinnige, Tessa"},{"last_name":"Ciryam","first_name":"Prashanth","full_name":"Ciryam, Prashanth"},{"last_name":"Casford","first_name":"Samuel","full_name":"Casford, Samuel"},{"first_name":"Christopher M.","last_name":"Dobson","full_name":"Dobson, Christopher M."},{"orcid":"0000-0001-8347-0443","last_name":"de Bono","first_name":"Mario","full_name":"de Bono, Mario","id":"4E3FF80E-F248-11E8-B48F-1D18A9856A87"},{"full_name":"Vendruscolo, Michele","first_name":"Michele","last_name":"Vendruscolo"}],"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","date_updated":"2021-01-12T08:14:08Z","quality_controlled":"1","extern":"1","citation":{"short":"T. Sinnige, P. Ciryam, S. Casford, C.M. Dobson, M. de Bono, M. Vendruscolo, PLOS ONE 14 (2019).","mla":"Sinnige, Tessa, et al. “Expression of the Amyloid-β Peptide in a Single Pair of C. Elegans Sensory Neurons Modulates the Associated Behavioural Response.” <i>PLOS ONE</i>, vol. 14, no. 5, e0217746, Public Library of Science, 2019, doi:<a href=\"https://doi.org/10.1371/journal.pone.0217746\">10.1371/journal.pone.0217746</a>.","ieee":"T. Sinnige, P. Ciryam, S. Casford, C. M. Dobson, M. de Bono, and M. Vendruscolo, “Expression of the amyloid-β peptide in a single pair of C. elegans sensory neurons modulates the associated behavioural response,” <i>PLOS ONE</i>, vol. 14, no. 5. Public Library of Science, 2019.","ama":"Sinnige T, Ciryam P, Casford S, Dobson CM, de Bono M, Vendruscolo M. Expression of the amyloid-β peptide in a single pair of C. elegans sensory neurons modulates the associated behavioural response. <i>PLOS ONE</i>. 2019;14(5). doi:<a href=\"https://doi.org/10.1371/journal.pone.0217746\">10.1371/journal.pone.0217746</a>","ista":"Sinnige T, Ciryam P, Casford S, Dobson CM, de Bono M, Vendruscolo M. 2019. Expression of the amyloid-β peptide in a single pair of C. elegans sensory neurons modulates the associated behavioural response. PLOS ONE. 14(5), e0217746.","chicago":"Sinnige, Tessa, Prashanth Ciryam, Samuel Casford, Christopher M. Dobson, Mario de Bono, and Michele Vendruscolo. “Expression of the Amyloid-β Peptide in a Single Pair of C. Elegans Sensory Neurons Modulates the Associated Behavioural Response.” <i>PLOS ONE</i>. Public Library of Science, 2019. <a href=\"https://doi.org/10.1371/journal.pone.0217746\">https://doi.org/10.1371/journal.pone.0217746</a>.","apa":"Sinnige, T., Ciryam, P., Casford, S., Dobson, C. M., de Bono, M., &#38; Vendruscolo, M. (2019). Expression of the amyloid-β peptide in a single pair of C. elegans sensory neurons modulates the associated behavioural response. <i>PLOS ONE</i>. Public Library of Science. <a href=\"https://doi.org/10.1371/journal.pone.0217746\">https://doi.org/10.1371/journal.pone.0217746</a>"},"oa_version":"Published Version","publisher":"Public Library of Science","date_published":"2019-05-31T00:00:00Z","language":[{"iso":"eng"}],"article_processing_charge":"No","volume":14,"title":"Expression of the amyloid-β peptide in a single pair of C. elegans sensory neurons modulates the associated behavioural response","abstract":[{"lang":"eng","text":"Although the aggregation of the amyloid-β peptide (Aβ) into amyloid fibrils is a well-established hallmark of Alzheimer’s disease, the complex mechanisms linking this process to neurodegeneration are still incompletely understood. The nematode worm C. elegans is a valuable model organism through which to study these mechanisms because of its simple nervous system and its relatively short lifespan. Standard Aβ-based C. elegans models of Alzheimer’s disease are designed to study the toxic effects of the overexpression of Aβ in the muscle or nervous systems. However, the wide variety of effects associated with the tissue-level overexpression of Aβ makes it difficult to single out and study specific cellular mechanisms related to the onset of Alzheimer’s disease. Here, to better understand how to investigate the early events affecting neuronal signalling, we created a C. elegans model expressing Aβ42, the 42-residue form of Aβ, from a single-copy gene insertion in just one pair of glutamatergic sensory neurons, the BAG neurons. In behavioural assays, we found that the Aβ42-expressing animals displayed a subtle modulation of the response to CO2, compared to controls. Ca2+ imaging revealed that the BAG neurons in young Aβ42-expressing nematodes were activated more strongly than in control animals, and that neuronal activation remained intact until old age. Taken together, our results suggest that Aβ42-expression in this very subtle model of AD is sufficient to modulate the behavioural response but not strong enough to generate significant neurotoxicity, suggesting that slightly more aggressive perturbations will enable effectively studies of the links between the modulation of a physiological response and its associated neurotoxicity."}],"month":"05","publication_status":"published","issue":"5","article_number":"e0217746","day":"31","year":"2019","status":"public","doi":"10.1371/journal.pone.0217746","publication_identifier":{"issn":["1932-6203"]},"date_created":"2020-02-28T10:45:13Z","_id":"7548","type":"journal_article","article_type":"original","intvolume":"        14","publication":"PLOS ONE"},{"oa":1,"acknowledgement":"This work is supported by Vienna Science and Technology Fund (WWTF) through Project MA14-009 and by the Austrian Science Fund (FWF) projects F 65 and I 2375.","year":"2019","day":"22","page":"425-447","intvolume":"        28","arxiv":1,"publication":"Advances in Mathematical Sciences and Applications","date_updated":"2022-06-17T07:52:41Z","department":[{"_id":"JaMa"}],"citation":{"mla":"Portinale, Lorenzo, and Ulisse Stefanelli. “Penalization via Global Functionals of Optimal-Control Problems for Dissipative Evolution.” <i>Advances in Mathematical Sciences and Applications</i>, vol. 28, no. 2, Gakko Tosho, 2019, pp. 425–47.","short":"L. Portinale, U. Stefanelli, Advances in Mathematical Sciences and Applications 28 (2019) 425–447.","apa":"Portinale, L., &#38; Stefanelli, U. (2019). Penalization via global functionals of optimal-control problems for dissipative evolution. <i>Advances in Mathematical Sciences and Applications</i>. Gakko Tosho.","ama":"Portinale L, Stefanelli U. Penalization via global functionals of optimal-control problems for dissipative evolution. <i>Advances in Mathematical Sciences and Applications</i>. 2019;28(2):425-447.","ista":"Portinale L, Stefanelli U. 2019. Penalization via global functionals of optimal-control problems for dissipative evolution. Advances in Mathematical Sciences and Applications. 28(2), 425–447.","chicago":"Portinale, Lorenzo, and Ulisse Stefanelli. “Penalization via Global Functionals of Optimal-Control Problems for Dissipative Evolution.” <i>Advances in Mathematical Sciences and Applications</i>. Gakko Tosho, 2019.","ieee":"L. Portinale and U. Stefanelli, “Penalization via global functionals of optimal-control problems for dissipative evolution,” <i>Advances in Mathematical Sciences and Applications</i>, vol. 28, no. 2. Gakko Tosho, pp. 425–447, 2019."},"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","external_id":{"arxiv":["1910.10050"]},"abstract":[{"text":"We consider an optimal control problem for an abstract nonlinear dissipative evolution equation. The differential constraint is penalized by augmenting the target functional by a nonnegative global-in-time functional which is null-minimized in the evolution equation is satisfied. Different variational settings are presented, leading to the convergence of the penalization method for gradient flows, noncyclic and semimonotone flows, doubly nonlinear evolutions, and GENERIC systems. ","lang":"eng"}],"publication_status":"published","date_published":"2019-10-22T00:00:00Z","publisher":"Gakko Tosho","title":"Penalization via global functionals of optimal-control problems for dissipative evolution","date_created":"2020-02-28T10:54:41Z","_id":"7550","type":"journal_article","article_type":"original","status":"public","main_file_link":[{"url":" https://doi.org/10.48550/arXiv.1910.10050","open_access":"1"}],"publication_identifier":{"issn":["1343-4373"]},"project":[{"name":"Taming Complexity in Partial Differential Systems","grant_number":"F6504","_id":"fc31cba2-9c52-11eb-aca3-ff467d239cd2"}],"quality_controlled":"1","oa_version":"Preprint","author":[{"full_name":"Portinale, Lorenzo","id":"30AD2CBC-F248-11E8-B48F-1D18A9856A87","last_name":"Portinale","first_name":"Lorenzo"},{"full_name":"Stefanelli, Ulisse","first_name":"Ulisse","last_name":"Stefanelli"}],"month":"10","issue":"2","language":[{"iso":"eng"}],"article_processing_charge":"No","volume":28},{"status":"public","year":"2019","page":"5","day":"18","main_file_link":[{"open_access":"1","url":"https://arxiv.org/abs/1912.08579"}],"oa":1,"date_created":"2020-02-28T10:57:08Z","type":"preprint","_id":"7552","arxiv":1,"publication":"arXiv:1912.08579","author":[{"full_name":"Bialek, William","first_name":"William","last_name":"Bialek"},{"full_name":"Gregor, Thomas","last_name":"Gregor","first_name":"Thomas"},{"id":"3D494DCA-F248-11E8-B48F-1D18A9856A87","full_name":"Tkačik, Gašper","last_name":"Tkačik","first_name":"Gašper","orcid":"0000-0002-6699-1455"}],"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","external_id":{"arxiv":["1912.08579"]},"date_updated":"2021-01-12T08:14:09Z","project":[{"call_identifier":"FWF","_id":"254E9036-B435-11E9-9278-68D0E5697425","grant_number":"P28844-B27","name":"Biophysics of information processing in gene regulation"}],"department":[{"_id":"GaTk"}],"oa_version":"Preprint","citation":{"ieee":"W. Bialek, T. Gregor, and G. Tkačik, “Action at a distance in transcriptional regulation,” <i>arXiv:1912.08579</i>. ArXiv.","ista":"Bialek W, Gregor T, Tkačik G. Action at a distance in transcriptional regulation. arXiv:1912.08579, .","chicago":"Bialek, William, Thomas Gregor, and Gašper Tkačik. “Action at a Distance in Transcriptional Regulation.” <i>ArXiv:1912.08579</i>. ArXiv, n.d.","ama":"Bialek W, Gregor T, Tkačik G. Action at a distance in transcriptional regulation. <i>arXiv:191208579</i>.","apa":"Bialek, W., Gregor, T., &#38; Tkačik, G. (n.d.). Action at a distance in transcriptional regulation. <i>arXiv:1912.08579</i>. ArXiv.","short":"W. Bialek, T. Gregor, G. Tkačik, ArXiv:1912.08579 (n.d.).","mla":"Bialek, William, et al. “Action at a Distance in Transcriptional Regulation.” <i>ArXiv:1912.08579</i>, ArXiv."},"language":[{"iso":"eng"}],"publisher":"ArXiv","date_published":"2019-12-18T00:00:00Z","article_processing_charge":"No","title":"Action at a distance in transcriptional regulation","abstract":[{"text":"There is increasing evidence that protein binding to specific sites along DNA can activate the reading out of genetic information without coming into direct physical contact with the gene. There also is evidence that these distant but interacting sites are embedded in a liquid droplet of proteins which condenses out of the surrounding solution. We argue that droplet-mediated interactions can account for crucial features of gene regulation only if the droplet is poised at a non-generic point in its phase diagram. We explore a minimal model that embodies this idea, show that this model has a natural mechanism for self-tuning, and suggest direct experimental tests. ","lang":"eng"}],"publication_status":"submitted","month":"12"},{"oa_version":"Published Version","quality_controlled":"1","author":[{"full_name":"Immler, Fabian","first_name":"Fabian","last_name":"Immler"},{"first_name":"Matthias","last_name":"Althoff","full_name":"Althoff, Matthias"},{"last_name":"Benet","first_name":"Luis","full_name":"Benet, Luis"},{"full_name":"Chapoutot, Alexandre","first_name":"Alexandre","last_name":"Chapoutot"},{"first_name":"Xin","last_name":"Chen","full_name":"Chen, Xin"},{"first_name":"Marcelo","last_name":"Forets","full_name":"Forets, Marcelo"},{"first_name":"Luca","last_name":"Geretti","full_name":"Geretti, Luca"},{"full_name":"Kochdumper, Niklas","first_name":"Niklas","last_name":"Kochdumper"},{"last_name":"Sanders","first_name":"David P.","full_name":"Sanders, David P."},{"id":"3A2F4DCE-F248-11E8-B48F-1D18A9856A87","full_name":"Schilling, Christian","first_name":"Christian","last_name":"Schilling","orcid":"0000-0003-3658-1065"}],"file":[{"creator":"dernst","file_id":"7617","checksum":"9138977a06fcd6a95976eb4bca875f0c","file_size":1934830,"access_level":"open_access","relation":"main_file","file_name":"2019_ARCH19_Immler.pdf","content_type":"application/pdf","date_updated":"2020-07-14T12:48:00Z","date_created":"2020-03-24T07:36:36Z"}],"has_accepted_license":"1","month":"05","article_processing_charge":"No","volume":61,"language":[{"iso":"eng"}],"type":"conference","_id":"7576","date_created":"2020-03-08T23:00:49Z","status":"public","publication_identifier":{"eissn":["23987340"]},"conference":{"start_date":"2019-04-15","end_date":"2019-04-15","location":"Montreal, Canada","name":"ARCH: International Workshop on Applied Verification on Continuous and Hybrid Systems"},"citation":{"mla":"Immler, Fabian, et al. “ARCH-COMP19 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics.” <i>EPiC Series in Computing</i>, vol. 61, EasyChair Publications, 2019, pp. 41–61, doi:<a href=\"https://doi.org/10.29007/m75b\">10.29007/m75b</a>.","short":"F. Immler, M. Althoff, L. Benet, A. Chapoutot, X. Chen, M. Forets, L. Geretti, N. Kochdumper, D.P. Sanders, C. Schilling, in:, EPiC Series in Computing, EasyChair Publications, 2019, pp. 41–61.","apa":"Immler, F., Althoff, M., Benet, L., Chapoutot, A., Chen, X., Forets, M., … Schilling, C. (2019). ARCH-COMP19 Category Report: Continuous and hybrid systems with nonlinear dynamics. In <i>EPiC Series in Computing</i> (Vol. 61, pp. 41–61). Montreal, Canada: EasyChair Publications. <a href=\"https://doi.org/10.29007/m75b\">https://doi.org/10.29007/m75b</a>","ista":"Immler F, Althoff M, Benet L, Chapoutot A, Chen X, Forets M, Geretti L, Kochdumper N, Sanders DP, Schilling C. 2019. ARCH-COMP19 Category Report: Continuous and hybrid systems with nonlinear dynamics. EPiC Series in Computing. ARCH: International Workshop on Applied Verification on Continuous and Hybrid Systems vol. 61, 41–61.","ama":"Immler F, Althoff M, Benet L, et al. ARCH-COMP19 Category Report: Continuous and hybrid systems with nonlinear dynamics. In: <i>EPiC Series in Computing</i>. Vol 61. EasyChair Publications; 2019:41-61. doi:<a href=\"https://doi.org/10.29007/m75b\">10.29007/m75b</a>","chicago":"Immler, Fabian, Matthias Althoff, Luis Benet, Alexandre Chapoutot, Xin Chen, Marcelo Forets, Luca Geretti, Niklas Kochdumper, David P. Sanders, and Christian Schilling. “ARCH-COMP19 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics.” In <i>EPiC Series in Computing</i>, 61:41–61. EasyChair Publications, 2019. <a href=\"https://doi.org/10.29007/m75b\">https://doi.org/10.29007/m75b</a>.","ieee":"F. Immler <i>et al.</i>, “ARCH-COMP19 Category Report: Continuous and hybrid systems with nonlinear dynamics,” in <i>EPiC Series in Computing</i>, Montreal, Canada, 2019, vol. 61, pp. 41–61."},"date_updated":"2021-01-12T08:14:17Z","department":[{"_id":"ToHe"}],"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","ddc":["000"],"abstract":[{"lang":"eng","text":"We present the results of a friendly competition for formal verification of continuous and hybrid systems with nonlinear continuous dynamics. The friendly competition took place as part of the workshop Applied Verification for Continuous and Hybrid Systems (ARCH) in 2019. In this year, 6 tools Ariadne, CORA, DynIbex, Flow*, Isabelle/HOL, and JuliaReach (in alphabetic order) participated. They are applied to solve reachability analysis problems on four benchmark problems, one of them with hybrid dynamics. We do not rank the tools based on the results, but show the current status and discover the potential advantages of different tools."}],"publication_status":"published","title":"ARCH-COMP19 Category Report: Continuous and hybrid systems with nonlinear dynamics","publisher":"EasyChair Publications","file_date_updated":"2020-07-14T12:48:00Z","date_published":"2019-05-25T00:00:00Z","oa":1,"day":"25","page":"41-61","year":"2019","doi":"10.29007/m75b","scopus_import":1,"publication":"EPiC Series in Computing","intvolume":"        61"},{"conference":{"start_date":"2019-08-25","end_date":"2019-08-28","name":"Information Theory Workshop","location":"Visby, Sweden"},"ec_funded":1,"status":"public","publication_identifier":{"isbn":["9781538669006"]},"main_file_link":[{"open_access":"1","url":"https://arxiv.org/abs/1812.01475"}],"date_created":"2020-03-22T23:00:47Z","type":"conference","_id":"7606","language":[{"iso":"eng"}],"article_processing_charge":"No","month":"08","article_number":"8989292","author":[{"last_name":"Hledik","first_name":"Michal","id":"4171253A-F248-11E8-B48F-1D18A9856A87","full_name":"Hledik, Michal"},{"id":"3E999752-F248-11E8-B48F-1D18A9856A87","full_name":"Sokolowski, Thomas R","first_name":"Thomas R","last_name":"Sokolowski","orcid":"0000-0002-1287-3779"},{"full_name":"Tkačik, Gašper","id":"3D494DCA-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-6699-1455","first_name":"Gašper","last_name":"Tkačik"}],"quality_controlled":"1","project":[{"call_identifier":"H2020","name":"International IST Doctoral Program","_id":"2564DBCA-B435-11E9-9278-68D0E5697425","grant_number":"665385"}],"oa_version":"Preprint","arxiv":1,"publication":"IEEE Information Theory Workshop, ITW 2019","scopus_import":"1","related_material":{"record":[{"status":"public","relation":"dissertation_contains","id":"15020"}]},"doi":"10.1109/ITW44776.2019.8989292","year":"2019","day":"01","oa":1,"date_published":"2019-08-01T00:00:00Z","publisher":"IEEE","title":"A tight upper bound on mutual information","publication_status":"published","abstract":[{"text":"We derive a tight lower bound on equivocation (conditional entropy), or equivalently a tight upper bound on mutual information between a signal variable and channel outputs. The bound is in terms of the joint distribution of the signals and maximum a posteriori decodes (most probable signals given channel output). As part of our derivation, we describe the key properties of the distribution of signals, channel outputs and decodes, that minimizes equivocation and maximizes mutual information. This work addresses a problem in data analysis, where mutual information between signals and decodes is sometimes used to lower bound the mutual information between signals and channel outputs. Our result provides a corresponding upper bound.","lang":"eng"}],"isi":1,"external_id":{"isi":["000540384500015"],"arxiv":["1812.01475"]},"user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","department":[{"_id":"GaTk"}],"date_updated":"2025-06-30T13:21:05Z","citation":{"short":"M. Hledik, T.R. Sokolowski, G. Tkačik, in:, IEEE Information Theory Workshop, ITW 2019, IEEE, 2019.","mla":"Hledik, Michal, et al. “A Tight Upper Bound on Mutual Information.” <i>IEEE Information Theory Workshop, ITW 2019</i>, 8989292, IEEE, 2019, doi:<a href=\"https://doi.org/10.1109/ITW44776.2019.8989292\">10.1109/ITW44776.2019.8989292</a>.","ieee":"M. Hledik, T. R. Sokolowski, and G. Tkačik, “A tight upper bound on mutual information,” in <i>IEEE Information Theory Workshop, ITW 2019</i>, Visby, Sweden, 2019.","chicago":"Hledik, Michal, Thomas R Sokolowski, and Gašper Tkačik. “A Tight Upper Bound on Mutual Information.” In <i>IEEE Information Theory Workshop, ITW 2019</i>. IEEE, 2019. <a href=\"https://doi.org/10.1109/ITW44776.2019.8989292\">https://doi.org/10.1109/ITW44776.2019.8989292</a>.","ama":"Hledik M, Sokolowski TR, Tkačik G. A tight upper bound on mutual information. In: <i>IEEE Information Theory Workshop, ITW 2019</i>. IEEE; 2019. doi:<a href=\"https://doi.org/10.1109/ITW44776.2019.8989292\">10.1109/ITW44776.2019.8989292</a>","ista":"Hledik M, Sokolowski TR, Tkačik G. 2019. A tight upper bound on mutual information. IEEE Information Theory Workshop, ITW 2019. Information Theory Workshop, 8989292.","apa":"Hledik, M., Sokolowski, T. R., &#38; Tkačik, G. (2019). A tight upper bound on mutual information. In <i>IEEE Information Theory Workshop, ITW 2019</i>. Visby, Sweden: IEEE. <a href=\"https://doi.org/10.1109/ITW44776.2019.8989292\">https://doi.org/10.1109/ITW44776.2019.8989292</a>"}},{"type":"preprint","_id":"7627","oa":1,"date_created":"2020-04-01T10:10:21Z","year":"2019","page":"50","day":"26","status":"public","main_file_link":[{"url":"https://doi.org/10.26434/chemrxiv.11447775.v1","open_access":"1"}],"oa_version":"Preprint","citation":{"mla":"Prehal, Christian, et al. <i>A Revised O2 Reduction Model in Li-O2 Batteries as Revealed by in Situ Small Angle X-Ray Scattering</i>. ChemRxiv.","short":"C. Prehal, A. Samojlov, M. Nachtnebel, M. Kriechbaum, H. Amenitsch, S.A. Freunberger, (n.d.).","ama":"Prehal C, Samojlov A, Nachtnebel M, Kriechbaum M, Amenitsch H, Freunberger SA. A revised O2 reduction model in Li-O2 batteries as revealed by in situ small angle X-ray scattering.","chicago":"Prehal, Christian, Aleksej Samojlov, Manfred Nachtnebel, Manfred Kriechbaum, Heinz Amenitsch, and Stefan Alexander Freunberger. “A Revised O2 Reduction Model in Li-O2 Batteries as Revealed by in Situ Small Angle X-Ray Scattering.” ChemRxiv, n.d.","ista":"Prehal C, Samojlov A, Nachtnebel M, Kriechbaum M, Amenitsch H, Freunberger SA. A revised O2 reduction model in Li-O2 batteries as revealed by in situ small angle X-ray scattering.","apa":"Prehal, C., Samojlov, A., Nachtnebel, M., Kriechbaum, M., Amenitsch, H., &#38; Freunberger, S. A. (n.d.). A revised O2 reduction model in Li-O2 batteries as revealed by in situ small angle X-ray scattering. ChemRxiv.","ieee":"C. Prehal, A. Samojlov, M. Nachtnebel, M. Kriechbaum, H. Amenitsch, and S. A. Freunberger, “A revised O2 reduction model in Li-O2 batteries as revealed by in situ small angle X-ray scattering.” ChemRxiv."},"extern":"1","date_updated":"2020-04-06T10:36:21Z","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","author":[{"last_name":"Prehal","first_name":"Christian","full_name":"Prehal, Christian"},{"full_name":"Samojlov, Aleksej","first_name":"Aleksej","last_name":"Samojlov"},{"last_name":"Nachtnebel","first_name":"Manfred","full_name":"Nachtnebel, Manfred"},{"full_name":"Kriechbaum, Manfred","last_name":"Kriechbaum","first_name":"Manfred"},{"full_name":"Amenitsch, Heinz","first_name":"Heinz","last_name":"Amenitsch"},{"full_name":"Freunberger, Stefan Alexander","id":"A8CA28E6-CE23-11E9-AD2D-EC27E6697425","orcid":"0000-0003-2902-5319","last_name":"Freunberger","first_name":"Stefan Alexander"}],"publication_status":"submitted","month":"12","abstract":[{"text":"Electrodepositing  insulating  and  insoluble  Li2O2  is  the  key  process  during  discharge  of  aprotic  Li-O2 batteries  and  determines  rate,  capacity,  and  reversibility.  Current  understanding  states  that  the partition  between  surface  adsorbed  and  solvated  LiO2  governs  whether  Li2O2  grows  as  surface  film, leading to low capacity even at low rates, or in solution, leading to particles and high capacities. Here we show that Li2O2 forms to the widest extent as particles via solution mediated LiO2 disproportionation. We  describe  a  unified  Li2O2  growth  model  that  conclusively  explains  capacity  limitations  across  the whole range of electrolytes. Deciding for particle morphology, achievable rate and capacities are species mobilities,   electrode   specific   surface   area   (determining  true   areal   rate)   and   the  concentration distribution of associated LiO2 in solution. Provided that species mobilities and surface are high, high, capacities are possible even with low-donor-number electrolytes, previously considered prototypical for low   capacity   via   surface   growth.   The   tools   for   these   insights   are   microscopy,   hydrodynamic voltammetry, a numerical reaction model, and in situ small/wide angle X-ray scattering (SAXS/WAXS). Combined with sophisticated data analysis, SAXS allows retrieving rich quantitative information from complex multi-phase systems. On a wider perspective, this SAXS method is a powerful in situ metrology with  atomic  to  sub-micron  resolution  to  study  mechanisms  in  complex  electrochemical  systems  and beyond. ","lang":"eng"}],"title":"A revised O2 reduction model in Li-O2 batteries as revealed by in situ small angle X-ray scattering","article_processing_charge":"No","publisher":"ChemRxiv","date_published":"2019-12-26T00:00:00Z","language":[{"iso":"eng"}]},{"scopus_import":"1","publication":"Proceedings of the 2019 International Conference on Computer Vision Workshop","conference":{"name":"ICCVW: International Conference on Computer Vision Workshop","location":"Seoul, South Korea","end_date":"2019-10-28","start_date":"2019-10-27"},"_id":"7639","type":"conference","date_created":"2020-04-05T22:00:50Z","year":"2019","day":"01","status":"public","doi":"10.1109/ICCVW.2019.00097","publication_identifier":{"isbn":["9781728150239"]},"article_number":"748-752","isi":1,"abstract":[{"lang":"eng","text":"Deep neural networks (DNNs) have become increasingly important due to their excellent empirical performance on a wide range of problems. However, regularization is generally achieved by indirect means, largely due to the complex set of functions defined by a network and the difficulty in measuring function complexity. There exists no method in the literature for additive regularization based on a norm of the function, as is classically considered in statistical learning theory. In this work, we study the tractability of function norms for deep neural networks with ReLU activations. We provide, to the best of our knowledge, the first proof in the literature of the NP-hardness of computing function norms of DNNs of 3 or more layers. We also highlight a fundamental difference between shallow and deep networks. In the light on these results, we propose a new regularization strategy based on approximate function norms, and show its efficiency on a segmentation task with a DNN."}],"month":"10","publication_status":"published","article_processing_charge":"No","title":"Function norms for neural networks","publisher":"IEEE","date_published":"2019-10-01T00:00:00Z","language":[{"iso":"eng"}],"oa_version":"None","citation":{"short":"A. Rannen-Triki, M. Berman, V. Kolmogorov, M.B. Blaschko, in:, Proceedings of the 2019 International Conference on Computer Vision Workshop, IEEE, 2019.","mla":"Rannen-Triki, Amal, et al. “Function Norms for Neural Networks.” <i>Proceedings of the 2019 International Conference on Computer Vision Workshop</i>, 748–752, IEEE, 2019, doi:<a href=\"https://doi.org/10.1109/ICCVW.2019.00097\">10.1109/ICCVW.2019.00097</a>.","ieee":"A. Rannen-Triki, M. Berman, V. Kolmogorov, and M. B. Blaschko, “Function norms for neural networks,” in <i>Proceedings of the 2019 International Conference on Computer Vision Workshop</i>, Seoul, South Korea, 2019.","apa":"Rannen-Triki, A., Berman, M., Kolmogorov, V., &#38; Blaschko, M. B. (2019). Function norms for neural networks. In <i>Proceedings of the 2019 International Conference on Computer Vision Workshop</i>. Seoul, South Korea: IEEE. <a href=\"https://doi.org/10.1109/ICCVW.2019.00097\">https://doi.org/10.1109/ICCVW.2019.00097</a>","ama":"Rannen-Triki A, Berman M, Kolmogorov V, Blaschko MB. Function norms for neural networks. In: <i>Proceedings of the 2019 International Conference on Computer Vision Workshop</i>. IEEE; 2019. doi:<a href=\"https://doi.org/10.1109/ICCVW.2019.00097\">10.1109/ICCVW.2019.00097</a>","chicago":"Rannen-Triki, Amal, Maxim Berman, Vladimir Kolmogorov, and Matthew B. Blaschko. “Function Norms for Neural Networks.” In <i>Proceedings of the 2019 International Conference on Computer Vision Workshop</i>. IEEE, 2019. <a href=\"https://doi.org/10.1109/ICCVW.2019.00097\">https://doi.org/10.1109/ICCVW.2019.00097</a>.","ista":"Rannen-Triki A, Berman M, Kolmogorov V, Blaschko MB. 2019. Function norms for neural networks. Proceedings of the 2019 International Conference on Computer Vision Workshop. ICCVW: International Conference on Computer Vision Workshop, 748–752."},"date_updated":"2023-09-08T11:19:12Z","quality_controlled":"1","department":[{"_id":"VlKo"}],"user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","external_id":{"isi":["000554591600090"]},"author":[{"first_name":"Amal","last_name":"Rannen-Triki","full_name":"Rannen-Triki, Amal"},{"first_name":"Maxim","last_name":"Berman","full_name":"Berman, Maxim"},{"last_name":"Kolmogorov","first_name":"Vladimir","full_name":"Kolmogorov, Vladimir","id":"3D50B0BA-F248-11E8-B48F-1D18A9856A87"},{"full_name":"Blaschko, Matthew B.","first_name":"Matthew B.","last_name":"Blaschko"}]},{"conference":{"end_date":"2019-10-28","start_date":"2019-10-27","location":"Seoul, South Korea","name":"ICCVW: International Conference on Computer Vision Workshop"},"ec_funded":1,"date_created":"2020-04-05T22:00:51Z","type":"conference","_id":"7640","publication_identifier":{"isbn":["9781728150239"]},"main_file_link":[{"url":"https://arxiv.org/abs/1807.02136","open_access":"1"}],"status":"public","month":"10","article_number":"1749-1753","language":[{"iso":"eng"}],"article_processing_charge":"No","quality_controlled":"1","project":[{"call_identifier":"FP7","name":"Lifelong Learning of Visual Scene Understanding","grant_number":"308036","_id":"2532554C-B435-11E9-9278-68D0E5697425"}],"oa_version":"Preprint","author":[{"first_name":"Alexander","last_name":"Kolesnikov","full_name":"Kolesnikov, Alexander","id":"2D157DB6-F248-11E8-B48F-1D18A9856A87"},{"full_name":"Kuznetsova, Alina","first_name":"Alina","last_name":"Kuznetsova"},{"last_name":"Lampert","first_name":"Christoph","orcid":"0000-0001-8622-7887","id":"40C20FD2-F248-11E8-B48F-1D18A9856A87","full_name":"Lampert, Christoph"},{"full_name":"Ferrari, Vittorio","first_name":"Vittorio","last_name":"Ferrari"}],"scopus_import":"1","arxiv":1,"publication":"Proceedings of the 2019 International Conference on Computer Vision Workshop","oa":1,"day":"01","year":"2019","doi":"10.1109/ICCVW.2019.00217","publication_status":"published","abstract":[{"text":"We propose a new model for detecting visual relationships, such as \"person riding motorcycle\" or \"bottle on table\". This task is an important step towards comprehensive structured mage understanding, going beyond detecting individual objects. Our main novelty is a Box Attention mechanism that allows to model pairwise interactions between objects using standard object detection pipelines. The resulting model is conceptually clean, expressive and relies on well-justified training and prediction procedures. Moreover, unlike previously proposed approaches, our model does not introduce any additional complex components or hyperparameters on top of those already required by the underlying detection model. We conduct an experimental evaluation on two datasets, V-COCO and Open Images, demonstrating strong quantitative and qualitative results.","lang":"eng"}],"isi":1,"publisher":"IEEE","date_published":"2019-10-01T00:00:00Z","title":"Detecting visual relationships using box attention","department":[{"_id":"ChLa"}],"date_updated":"2023-09-08T11:18:37Z","citation":{"ista":"Kolesnikov A, Kuznetsova A, Lampert C, Ferrari V. 2019. Detecting visual relationships using box attention. Proceedings of the 2019 International Conference on Computer Vision Workshop. ICCVW: International Conference on Computer Vision Workshop, 1749–1753.","ama":"Kolesnikov A, Kuznetsova A, Lampert C, Ferrari V. Detecting visual relationships using box attention. In: <i>Proceedings of the 2019 International Conference on Computer Vision Workshop</i>. IEEE; 2019. doi:<a href=\"https://doi.org/10.1109/ICCVW.2019.00217\">10.1109/ICCVW.2019.00217</a>","chicago":"Kolesnikov, Alexander, Alina Kuznetsova, Christoph Lampert, and Vittorio Ferrari. “Detecting Visual Relationships Using Box Attention.” In <i>Proceedings of the 2019 International Conference on Computer Vision Workshop</i>. IEEE, 2019. <a href=\"https://doi.org/10.1109/ICCVW.2019.00217\">https://doi.org/10.1109/ICCVW.2019.00217</a>.","apa":"Kolesnikov, A., Kuznetsova, A., Lampert, C., &#38; Ferrari, V. (2019). Detecting visual relationships using box attention. In <i>Proceedings of the 2019 International Conference on Computer Vision Workshop</i>. Seoul, South Korea: IEEE. <a href=\"https://doi.org/10.1109/ICCVW.2019.00217\">https://doi.org/10.1109/ICCVW.2019.00217</a>","ieee":"A. Kolesnikov, A. Kuznetsova, C. Lampert, and V. Ferrari, “Detecting visual relationships using box attention,” in <i>Proceedings of the 2019 International Conference on Computer Vision Workshop</i>, Seoul, South Korea, 2019.","short":"A. Kolesnikov, A. Kuznetsova, C. Lampert, V. Ferrari, in:, Proceedings of the 2019 International Conference on Computer Vision Workshop, IEEE, 2019.","mla":"Kolesnikov, Alexander, et al. “Detecting Visual Relationships Using Box Attention.” <i>Proceedings of the 2019 International Conference on Computer Vision Workshop</i>, 1749–1753, IEEE, 2019, doi:<a href=\"https://doi.org/10.1109/ICCVW.2019.00217\">10.1109/ICCVW.2019.00217</a>."},"external_id":{"arxiv":["1807.02136"],"isi":["000554591601098"]},"user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1"},{"article_number":"5436","abstract":[{"lang":"eng","text":"The number of human genomes being genotyped or sequenced increases exponentially and efficient haplotype estimation methods able to handle this amount of data are now required. Here we present a method, SHAPEIT4, which substantially improves upon other methods to process large genotype and high coverage sequencing datasets. It notably exhibits sub-linear running times with sample size, provides highly accurate haplotypes and allows integrating external phasing information such as large reference panels of haplotypes, collections of pre-phased variants and long sequencing reads. We provide SHAPEIT4 in an open source format and demonstrate its performance in terms of accuracy and running times on two gold standard datasets: the UK Biobank data and the Genome In A Bottle."}],"publication_status":"published","month":"11","article_processing_charge":"No","title":"Accurate, scalable and integrative haplotype estimation","volume":10,"date_published":"2019-11-28T00:00:00Z","publisher":"Springer Nature","language":[{"iso":"eng"}],"oa_version":"Published Version","citation":{"ieee":"O. Delaneau, J.-F. Zagury, M. R. Robinson, J. L. Marchini, and E. T. Dermitzakis, “Accurate, scalable and integrative haplotype estimation,” <i>Nature Communications</i>, vol. 10. Springer Nature, 2019.","apa":"Delaneau, O., Zagury, J.-F., Robinson, M. R., Marchini, J. L., &#38; Dermitzakis, E. T. (2019). Accurate, scalable and integrative haplotype estimation. <i>Nature Communications</i>. Springer Nature. <a href=\"https://doi.org/10.1038/s41467-019-13225-y\">https://doi.org/10.1038/s41467-019-13225-y</a>","ama":"Delaneau O, Zagury J-F, Robinson MR, Marchini JL, Dermitzakis ET. Accurate, scalable and integrative haplotype estimation. <i>Nature Communications</i>. 2019;10. doi:<a href=\"https://doi.org/10.1038/s41467-019-13225-y\">10.1038/s41467-019-13225-y</a>","ista":"Delaneau O, Zagury J-F, Robinson MR, Marchini JL, Dermitzakis ET. 2019. Accurate, scalable and integrative haplotype estimation. Nature Communications. 10, 5436.","chicago":"Delaneau, Olivier, Jean-François Zagury, Matthew Richard Robinson, Jonathan L. Marchini, and Emmanouil T. Dermitzakis. “Accurate, Scalable and Integrative Haplotype Estimation.” <i>Nature Communications</i>. Springer Nature, 2019. <a href=\"https://doi.org/10.1038/s41467-019-13225-y\">https://doi.org/10.1038/s41467-019-13225-y</a>.","mla":"Delaneau, Olivier, et al. “Accurate, Scalable and Integrative Haplotype Estimation.” <i>Nature Communications</i>, vol. 10, 5436, Springer Nature, 2019, doi:<a href=\"https://doi.org/10.1038/s41467-019-13225-y\">10.1038/s41467-019-13225-y</a>.","short":"O. Delaneau, J.-F. Zagury, M.R. Robinson, J.L. Marchini, E.T. Dermitzakis, Nature Communications 10 (2019)."},"date_updated":"2021-01-12T08:15:01Z","quality_controlled":"1","extern":"1","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","author":[{"full_name":"Delaneau, Olivier","last_name":"Delaneau","first_name":"Olivier"},{"first_name":"Jean-François","last_name":"Zagury","full_name":"Zagury, Jean-François"},{"orcid":"0000-0001-8982-8813","last_name":"Robinson","first_name":"Matthew Richard","full_name":"Robinson, Matthew Richard","id":"E5D42276-F5DA-11E9-8E24-6303E6697425"},{"full_name":"Marchini, Jonathan L.","last_name":"Marchini","first_name":"Jonathan L."},{"full_name":"Dermitzakis, Emmanouil T.","first_name":"Emmanouil T.","last_name":"Dermitzakis"}],"publication":"Nature Communications","intvolume":"        10","type":"journal_article","_id":"7710","article_type":"original","oa":1,"date_created":"2020-04-30T10:40:32Z","doi":"10.1038/s41467-019-13225-y","publication_identifier":{"issn":["2041-1723"]},"main_file_link":[{"open_access":"1","url":"https://doi.org/10.1038/s41467-019-13225-y"}],"status":"public","day":"28","year":"2019"},{"related_material":{"link":[{"url":"https://doi.org/10.1038/s42255-020-0202-0","relation":"erratum"}]},"intvolume":"         1","publication":"Nature Metabolism","date_created":"2020-04-30T10:40:56Z","article_type":"original","_id":"7711","type":"journal_article","doi":"10.1038/s42255-019-0147-3","page":"1226-1242","publication_identifier":{"issn":["2522-5812"]},"day":"09","status":"public","year":"2019","month":"12","publication_status":"published","abstract":[{"text":"The nature and extent of mitochondrial DNA variation in a population and how it affects traits is poorly understood. Here we resequence the mitochondrial genomes of 169 Drosophila Genetic Reference Panel lines, identifying 231 variants that stratify along 12 mitochondrial haplotypes. We identify 1,845 cases of mitonuclear allelic imbalances, thus implying that mitochondrial haplotypes are reflected in the nuclear genome. However, no major fitness effects are associated with mitonuclear imbalance, suggesting that such imbalances reflect population structure at the mitochondrial level rather than genomic incompatibilities. Although mitochondrial haplotypes have no direct impact on mitochondrial respiration, some haplotypes are associated with stress- and metabolism-related phenotypes, including food intake in males. Finally, through reciprocal swapping of mitochondrial genomes, we demonstrate that a mitochondrial haplotype associated with high food intake can rescue a low food intake phenotype. Together, our findings provide new insight into population structure at the mitochondrial level and point to the importance of incorporating mitochondrial haplotypes in genotype–phenotype relationship studies.","lang":"eng"}],"issue":"12","publisher":"Springer Nature","date_published":"2019-12-09T00:00:00Z","language":[{"iso":"eng"}],"volume":1,"title":"Mitochondrial haplotypes affect metabolic phenotypes in the Drosophila Genetic Reference Panel","article_processing_charge":"No","extern":"1","quality_controlled":"1","date_updated":"2021-01-12T08:15:01Z","citation":{"ieee":"R. P. J. Bevers <i>et al.</i>, “Mitochondrial haplotypes affect metabolic phenotypes in the Drosophila Genetic Reference Panel,” <i>Nature Metabolism</i>, vol. 1, no. 12. Springer Nature, pp. 1226–1242, 2019.","ama":"Bevers RPJ, Litovchenko M, Kapopoulou A, et al. Mitochondrial haplotypes affect metabolic phenotypes in the Drosophila Genetic Reference Panel. <i>Nature Metabolism</i>. 2019;1(12):1226-1242. doi:<a href=\"https://doi.org/10.1038/s42255-019-0147-3\">10.1038/s42255-019-0147-3</a>","ista":"Bevers RPJ, Litovchenko M, Kapopoulou A, Braman VS, Robinson MR, Auwerx J, Hollis B, Deplancke B. 2019. Mitochondrial haplotypes affect metabolic phenotypes in the Drosophila Genetic Reference Panel. Nature Metabolism. 1(12), 1226–1242.","chicago":"Bevers, Roel P. J., Maria Litovchenko, Adamandia Kapopoulou, Virginie S. Braman, Matthew Richard Robinson, Johan Auwerx, Brian Hollis, and Bart Deplancke. “Mitochondrial Haplotypes Affect Metabolic Phenotypes in the Drosophila Genetic Reference Panel.” <i>Nature Metabolism</i>. Springer Nature, 2019. <a href=\"https://doi.org/10.1038/s42255-019-0147-3\">https://doi.org/10.1038/s42255-019-0147-3</a>.","apa":"Bevers, R. P. J., Litovchenko, M., Kapopoulou, A., Braman, V. S., Robinson, M. R., Auwerx, J., … Deplancke, B. (2019). Mitochondrial haplotypes affect metabolic phenotypes in the Drosophila Genetic Reference Panel. <i>Nature Metabolism</i>. Springer Nature. <a href=\"https://doi.org/10.1038/s42255-019-0147-3\">https://doi.org/10.1038/s42255-019-0147-3</a>","short":"R.P.J. Bevers, M. Litovchenko, A. Kapopoulou, V.S. Braman, M.R. Robinson, J. Auwerx, B. Hollis, B. Deplancke, Nature Metabolism 1 (2019) 1226–1242.","mla":"Bevers, Roel P. J., et al. “Mitochondrial Haplotypes Affect Metabolic Phenotypes in the Drosophila Genetic Reference Panel.” <i>Nature Metabolism</i>, vol. 1, no. 12, Springer Nature, 2019, pp. 1226–42, doi:<a href=\"https://doi.org/10.1038/s42255-019-0147-3\">10.1038/s42255-019-0147-3</a>."},"oa_version":"None","author":[{"full_name":"Bevers, Roel P. J.","first_name":"Roel P. J.","last_name":"Bevers"},{"full_name":"Litovchenko, Maria","first_name":"Maria","last_name":"Litovchenko"},{"full_name":"Kapopoulou, Adamandia","first_name":"Adamandia","last_name":"Kapopoulou"},{"full_name":"Braman, Virginie S.","first_name":"Virginie S.","last_name":"Braman"},{"id":"E5D42276-F5DA-11E9-8E24-6303E6697425","full_name":"Robinson, Matthew Richard","first_name":"Matthew Richard","last_name":"Robinson","orcid":"0000-0001-8982-8813"},{"last_name":"Auwerx","first_name":"Johan","full_name":"Auwerx, Johan"},{"first_name":"Brian","last_name":"Hollis","full_name":"Hollis, Brian"},{"full_name":"Deplancke, Bart","last_name":"Deplancke","first_name":"Bart"}],"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87"},{"title":"The wonderful compactification for quantum groups","publisher":"Wiley","file_date_updated":"2020-07-14T12:46:35Z","date_published":"2019-06-01T00:00:00Z","ddc":["510"],"isi":1,"publication_status":"published","abstract":[{"lang":"eng","text":"In this paper, we introduce a quantum version of the wonderful compactification of a group as a certain noncommutative projective scheme. Our approach stems from the fact that the wonderful compactification encodes the asymptotics of matrix coefficients, and from its realization as a GIT quotient of the Vinberg semigroup. In order to define the wonderful compactification for a quantum group, we adopt a generalized formalism of Proj categories in the spirit of Artin and Zhang. Key to our construction is a quantum version of the Vinberg semigroup, which we define as a q-deformation of a certain Rees algebra, compatible with a standard Poisson structure. Furthermore, we discuss quantum analogues of the stratification of the wonderful compactification by orbits for a certain group action, and provide explicit computations in the case of SL2."}],"external_id":{"isi":["000470025900008"]},"tmp":{"legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","image":"/images/cc_by.png","short":"CC BY (4.0)","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)"},"user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","citation":{"ista":"Ganev IV. 2019. The wonderful compactification for quantum groups. Journal of the London Mathematical Society. 99(3), 778–806.","chicago":"Ganev, Iordan V. “The Wonderful Compactification for Quantum Groups.” <i>Journal of the London Mathematical Society</i>. Wiley, 2019. <a href=\"https://doi.org/10.1112/jlms.12193\">https://doi.org/10.1112/jlms.12193</a>.","ama":"Ganev IV. The wonderful compactification for quantum groups. <i>Journal of the London Mathematical Society</i>. 2019;99(3):778-806. doi:<a href=\"https://doi.org/10.1112/jlms.12193\">10.1112/jlms.12193</a>","apa":"Ganev, I. V. (2019). The wonderful compactification for quantum groups. <i>Journal of the London Mathematical Society</i>. Wiley. <a href=\"https://doi.org/10.1112/jlms.12193\">https://doi.org/10.1112/jlms.12193</a>","ieee":"I. V. Ganev, “The wonderful compactification for quantum groups,” <i>Journal of the London Mathematical Society</i>, vol. 99, no. 3. Wiley, pp. 778–806, 2019.","short":"I.V. Ganev, Journal of the London Mathematical Society 99 (2019) 778–806.","mla":"Ganev, Iordan V. “The Wonderful Compactification for Quantum Groups.” <i>Journal of the London Mathematical Society</i>, vol. 99, no. 3, Wiley, 2019, pp. 778–806, doi:<a href=\"https://doi.org/10.1112/jlms.12193\">10.1112/jlms.12193</a>."},"department":[{"_id":"TaHa"}],"date_updated":"2023-09-19T10:13:08Z","publication":"Journal of the London Mathematical Society","publist_id":"8052","intvolume":"        99","scopus_import":"1","page":"778-806","doi":"10.1112/jlms.12193","year":"2019","day":"01","oa":1,"volume":99,"article_processing_charge":"Yes (via OA deal)","language":[{"iso":"eng"}],"file":[{"content_type":"application/pdf","date_updated":"2020-07-14T12:46:35Z","date_created":"2020-01-07T13:31:53Z","file_name":"2019_Wiley_Ganev.pdf","relation":"main_file","creator":"kschuh","checksum":"1be56239b2cd740a0e9a084f773c22f6","file_id":"7238","file_size":431754,"access_level":"open_access"}],"issue":"3","has_accepted_license":"1","month":"06","author":[{"last_name":"Ganev","first_name":"Iordan V","id":"447491B8-F248-11E8-B48F-1D18A9856A87","full_name":"Ganev, Iordan V"}],"oa_version":"Published Version","quality_controlled":"1","status":"public","type":"journal_article","_id":"5","date_created":"2018-12-11T11:44:06Z"}]