[{"oa":1,"keyword":["Computational Theory and Mathematics","Computer Networks and Communications","Hardware and Architecture","Theoretical Computer Science"],"abstract":[{"lang":"eng","text":"A shared-memory counter is a widely-used and well-studied concurrent object. It supports two operations: An Inc operation that increases its value by 1 and a Read operation that returns its current value. In Jayanti et al (SIAM J Comput, 30(2), 2000), Jayanti, Tan and Toueg proved a linear lower bound on the worst-case step complexity of obstruction-free implementations, from read-write registers, of a large class of shared objects that includes counters. The lower bound leaves open the question of finding counter implementations with sub-linear amortized step complexity. In this work, we address this gap. We show that n-process, wait-free and linearizable counters can be implemented from read-write registers with O(log2n) amortized step complexity. This is the first counter algorithm from read-write registers that provides sub-linear amortized step complexity in executions of arbitrary length. Since a logarithmic lower bound on the amortized step complexity of obstruction-free counter implementations exists, our upper bound is within a logarithmic factor of the optimal. The worst-case step complexity of the construction remains linear, which is optimal. This is obtained thanks to a new max register construction with O(logn) amortized step complexity in executions of arbitrary length in which the value stored in the register does not grow too quickly. We then leverage an existing counter algorithm by Aspnes, Attiya and Censor-Hillel [1] in which we “plug” our max register implementation to show that it remains linearizable while achieving O(log2n) amortized step complexity."}],"external_id":{"isi":["000890138700001"]},"isi":1,"page":"29-43","language":[{"iso":"eng"}],"publication_identifier":{"issn":["0178-2770"],"eissn":["1432-0452"]},"year":"2023","intvolume":" 36","citation":{"apa":"Baig, M. A., Hendler, D., Milani, A., & Travers, C. (2023). Long-lived counters with polylogarithmic amortized step complexity. Distributed Computing. Springer Nature. https://doi.org/10.1007/s00446-022-00439-5","chicago":"Baig, Mirza Ahad, Danny Hendler, Alessia Milani, and Corentin Travers. “Long-Lived Counters with Polylogarithmic Amortized Step Complexity.” Distributed Computing. Springer Nature, 2023. https://doi.org/10.1007/s00446-022-00439-5.","short":"M.A. Baig, D. Hendler, A. Milani, C. Travers, Distributed Computing 36 (2023) 29–43.","ista":"Baig MA, Hendler D, Milani A, Travers C. 2023. Long-lived counters with polylogarithmic amortized step complexity. Distributed Computing. 36, 29–43.","ieee":"M. A. Baig, D. Hendler, A. Milani, and C. Travers, “Long-lived counters with polylogarithmic amortized step complexity,” Distributed Computing, vol. 36. Springer Nature, pp. 29–43, 2023.","mla":"Baig, Mirza Ahad, et al. “Long-Lived Counters with Polylogarithmic Amortized Step Complexity.” Distributed Computing, vol. 36, Springer Nature, 2023, pp. 29–43, doi:10.1007/s00446-022-00439-5.","ama":"Baig MA, Hendler D, Milani A, Travers C. Long-lived counters with polylogarithmic amortized step complexity. Distributed Computing. 2023;36:29-43. doi:10.1007/s00446-022-00439-5"},"doi":"10.1007/s00446-022-00439-5","quality_controlled":"1","acknowledgement":"A preliminary version of this work appeared in DISC’19. Mirza Ahad Baig, Alessia Milani and Corentin Travers are supported by ANR projects Descartes and FREDDA. Mirza Ahad Baig is supported by UMI Relax. Danny Hendler is supported by the Israel Science Foundation (Grants 380/18 and 1425/22).","date_published":"2023-03-01T00:00:00Z","month":"03","article_type":"original","publisher":"Springer Nature","date_updated":"2023-08-16T08:39:36Z","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","publication_status":"published","main_file_link":[{"url":"https://drops.dagstuhl.de/opus/volltexte/2019/11310/","open_access":"1"}],"scopus_import":"1","day":"01","status":"public","title":"Long-lived counters with polylogarithmic amortized step complexity","volume":36,"article_processing_charge":"No","_id":"12164","type":"journal_article","publication":"Distributed Computing","oa_version":"Preprint","date_created":"2023-01-12T12:10:08Z","department":[{"_id":"KrPi"}],"author":[{"last_name":"Baig","first_name":"Mirza Ahad","id":"3EDE6DE4-AA5A-11E9-986D-341CE6697425","full_name":"Baig, Mirza Ahad"},{"last_name":"Hendler","first_name":"Danny","full_name":"Hendler, Danny"},{"full_name":"Milani, Alessia","last_name":"Milani","first_name":"Alessia"},{"first_name":"Corentin","last_name":"Travers","full_name":"Travers, Corentin"}]},{"external_id":{"isi":["000910751800002"],"arxiv":["2205.15284"]},"isi":1,"page":"1505-1560","abstract":[{"lang":"eng","text":"We consider a gas of n bosonic particles confined in a box [−ℓ/2,ℓ/2]3 with Neumann boundary conditions. We prove Bose–Einstein condensation in the Gross–Pitaevskii regime, with an optimal bound on the condensate depletion. Moreover, our lower bound for the ground state energy in a small box [−ℓ/2,ℓ/2]3 implies (via Neumann bracketing) a lower bound for the ground state energy of N bosons in a large box [−L/2,L/2]3 with density ρ=N/L3 in the thermodynamic limit."}],"oa":1,"acknowledgement":"Funding from the European Union’s Horizon 2020 research and innovation programme under the ERC grant agreement No 694227 is gratefully acknowledged.","quality_controlled":"1","ec_funded":1,"citation":{"short":"C. Boccato, R. Seiringer, Annales Henri Poincare 24 (2023) 1505–1560.","chicago":"Boccato, Chiara, and Robert Seiringer. “The Bose Gas in a Box with Neumann Boundary Conditions.” Annales Henri Poincare. Springer Nature, 2023. https://doi.org/10.1007/s00023-022-01252-3.","apa":"Boccato, C., & Seiringer, R. (2023). The Bose Gas in a box with Neumann boundary conditions. Annales Henri Poincare. Springer Nature. https://doi.org/10.1007/s00023-022-01252-3","mla":"Boccato, Chiara, and Robert Seiringer. “The Bose Gas in a Box with Neumann Boundary Conditions.” Annales Henri Poincare, vol. 24, Springer Nature, 2023, pp. 1505–60, doi:10.1007/s00023-022-01252-3.","ista":"Boccato C, Seiringer R. 2023. The Bose Gas in a box with Neumann boundary conditions. Annales Henri Poincare. 24, 1505–1560.","ieee":"C. Boccato and R. Seiringer, “The Bose Gas in a box with Neumann boundary conditions,” Annales Henri Poincare, vol. 24. Springer Nature, pp. 1505–1560, 2023.","ama":"Boccato C, Seiringer R. The Bose Gas in a box with Neumann boundary conditions. Annales Henri Poincare. 2023;24:1505-1560. doi:10.1007/s00023-022-01252-3"},"doi":"10.1007/s00023-022-01252-3","intvolume":" 24","arxiv":1,"language":[{"iso":"eng"}],"publication_identifier":{"issn":["1424-0637"]},"year":"2023","scopus_import":"1","main_file_link":[{"url":"https://doi.org/10.48550/arXiv.2205.15284","open_access":"1"}],"date_updated":"2023-08-16T11:34:03Z","publisher":"Springer Nature","publication_status":"published","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","article_type":"original","month":"05","date_published":"2023-05-01T00:00:00Z","department":[{"_id":"RoSe"}],"author":[{"full_name":"Boccato, Chiara","first_name":"Chiara","id":"342E7E22-F248-11E8-B48F-1D18A9856A87","last_name":"Boccato"},{"orcid":"0000-0002-6781-0521","full_name":"Seiringer, Robert","last_name":"Seiringer","id":"4AFD0470-F248-11E8-B48F-1D18A9856A87","first_name":"Robert"}],"publication":"Annales Henri Poincare","type":"journal_article","_id":"12183","article_processing_charge":"No","date_created":"2023-01-15T23:00:52Z","oa_version":"Preprint","project":[{"name":"Analysis of quantum many-body systems","_id":"25C6DC12-B435-11E9-9278-68D0E5697425","call_identifier":"H2020","grant_number":"694227"}],"status":"public","title":"The Bose Gas in a box with Neumann boundary conditions","volume":24,"day":"01"},{"page":"35-45","isi":1,"external_id":{"isi":["000852125500006"]},"abstract":[{"text":"Background: This study seeks to evaluate the impact of breast cancer (BRCA) gene status on tumor dissemination pattern, surgical outcome and survival in a multicenter cohort of paired primary ovarian cancer (pOC) and recurrent ovarian cancer (rOC).\r\n\r\nPatients and Methods: Medical records and follow-up data from 190 patients were gathered retrospectively. All patients had surgery at pOC and at least one further rOC surgery at four European high-volume centers. Patients were divided into one cohort with confirmed mutation for BRCA1 and/or BRCA2 (BRCAmut) and a second cohort with BRCA wild type or unknown (BRCAwt). Patterns of tumor presentation, surgical outcome and survival data were analyzed between the two groups.\r\n\r\nResults: Patients with BRCAmut disease were on average 4 years younger and had significantly more tumor involvement upon diagnosis. Patients with BRCAmut disease showed higher debulking rates at all stages. Multivariate analysis showed that only patient age had significant predictive value for complete tumor resection in pOC. At rOC, however, only BRCAmut status significantly correlated with optimal debulking. Patients with BRCAmut disease showed significantly prolonged overall survival (OS) by 24.3 months. Progression-free survival (PFS) was prolonged in the BRCAmut group at all stages as well, reaching statistical significance during recurrence.\r\n\r\nConclusions: Patients with BRCAmut disease showed a more aggressive course of disease with earlier onset and more extensive tumor dissemination at pOC. However, surgical outcome and OS were significantly better in patients with BRCAmut disease compared with patients with BRCAwt disease. We therefore propose to consider BRCAmut status in regard to patient selection for cytoreductive surgery, especially in rOC.","lang":"eng"}],"keyword":["Oncology","Surgery"],"ddc":["610"],"oa":1,"file":[{"file_id":"12490","date_created":"2023-02-02T13:01:20Z","access_level":"open_access","success":1,"content_type":"application/pdf","file_name":"2023_AnnalsSurgicalOncology_Glajzer.pdf","relation":"main_file","checksum":"36a1200e1011f4b2155a8041d0308f34","file_size":365865,"creator":"dernst","date_updated":"2023-02-02T13:01:20Z"}],"quality_controlled":"1","doi":"10.1245/s10434-022-12459-3","citation":{"ista":"Glajzer J, Castillo-Tong DC, Richter R, Vergote I, Kulbe H, Vanderstichele A, Ruscito I, Trillsch F, Mustea A, Kreuzinger C, Gourley C, Gabra H, Taube ET, Dorigo O, Horst D, Keunecke C, Baum J, Angelotti T, Sehouli J, Braicu EI. 2023. Impact of BRCA mutation status on tumor dissemination pattern, surgical outcome and patient survival in primary and recurrent high-grade serous ovarian cancer: A multicenter retrospective study by the Ovarian Cancer Therapy-Innovative Models Prolong Survival (OCTIPS) consortium. Annals of Surgical Oncology. 30, 35–45.","ieee":"J. Glajzer et al., “Impact of BRCA mutation status on tumor dissemination pattern, surgical outcome and patient survival in primary and recurrent high-grade serous ovarian cancer: A multicenter retrospective study by the Ovarian Cancer Therapy-Innovative Models Prolong Survival (OCTIPS) consortium,” Annals of Surgical Oncology, vol. 30. Springer Nature, pp. 35–45, 2023.","mla":"Glajzer, Jacek, et al. “Impact of BRCA Mutation Status on Tumor Dissemination Pattern, Surgical Outcome and Patient Survival in Primary and Recurrent High-Grade Serous Ovarian Cancer: A Multicenter Retrospective Study by the Ovarian Cancer Therapy-Innovative Models Prolong Survival (OCTIPS) Consortium.” Annals of Surgical Oncology, vol. 30, Springer Nature, 2023, pp. 35–45, doi:10.1245/s10434-022-12459-3.","apa":"Glajzer, J., Castillo-Tong, D. C., Richter, R., Vergote, I., Kulbe, H., Vanderstichele, A., … Braicu, E. I. (2023). Impact of BRCA mutation status on tumor dissemination pattern, surgical outcome and patient survival in primary and recurrent high-grade serous ovarian cancer: A multicenter retrospective study by the Ovarian Cancer Therapy-Innovative Models Prolong Survival (OCTIPS) consortium. Annals of Surgical Oncology. Springer Nature. https://doi.org/10.1245/s10434-022-12459-3","chicago":"Glajzer, Jacek, Dan Cacsire Castillo-Tong, Rolf Richter, Ignace Vergote, Hagen Kulbe, Adriaan Vanderstichele, Ilary Ruscito, et al. “Impact of BRCA Mutation Status on Tumor Dissemination Pattern, Surgical Outcome and Patient Survival in Primary and Recurrent High-Grade Serous Ovarian Cancer: A Multicenter Retrospective Study by the Ovarian Cancer Therapy-Innovative Models Prolong Survival (OCTIPS) Consortium.” Annals of Surgical Oncology. Springer Nature, 2023. https://doi.org/10.1245/s10434-022-12459-3.","short":"J. Glajzer, D.C. Castillo-Tong, R. Richter, I. Vergote, H. Kulbe, A. Vanderstichele, I. Ruscito, F. Trillsch, A. Mustea, C. Kreuzinger, C. Gourley, H. Gabra, E.T. Taube, O. Dorigo, D. Horst, C. Keunecke, J. Baum, T. Angelotti, J. Sehouli, E.I. Braicu, Annals of Surgical Oncology 30 (2023) 35–45.","ama":"Glajzer J, Castillo-Tong DC, Richter R, et al. Impact of BRCA mutation status on tumor dissemination pattern, surgical outcome and patient survival in primary and recurrent high-grade serous ovarian cancer: A multicenter retrospective study by the Ovarian Cancer Therapy-Innovative Models Prolong Survival (OCTIPS) consortium. Annals of Surgical Oncology. 2023;30:35-45. doi:10.1245/s10434-022-12459-3"},"related_material":{"record":[{"relation":"other","id":"12115","status":"public"}]},"acknowledgement":"E.I.B. is a Feodor Lynen fellow of the Humboldt Foundation and a participant of the Charité Clinical Scientist Program funded by the Charité Universitätsmedizin Berlin and the Berlin Institute of Health. This work was supported by European Commission’s Seventh Framework Programme under grant agreement no. 279113 (OCTIPS; www.octips.eu).\r\nOpen Access funding enabled and organized by Projekt DEAL.","year":"2023","language":[{"iso":"eng"}],"publication_identifier":{"eissn":["1534-4681"],"issn":["1068-9265"]},"has_accepted_license":"1","intvolume":" 30","scopus_import":"1","article_type":"original","date_published":"2023-01-01T00:00:00Z","month":"01","publication_status":"published","user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","date_updated":"2023-09-05T15:18:37Z","publisher":"Springer Nature","oa_version":"Published Version","date_created":"2023-01-16T09:44:36Z","publication":"Annals of Surgical Oncology","file_date_updated":"2023-02-02T13:01:20Z","article_processing_charge":"No","_id":"12205","type":"journal_article","author":[{"last_name":"Glajzer","first_name":"Jacek","full_name":"Glajzer, Jacek"},{"last_name":"Castillo-Tong","first_name":"Dan Cacsire","full_name":"Castillo-Tong, Dan Cacsire"},{"last_name":"Richter","first_name":"Rolf","full_name":"Richter, Rolf"},{"full_name":"Vergote, Ignace","last_name":"Vergote","first_name":"Ignace"},{"first_name":"Hagen","last_name":"Kulbe","full_name":"Kulbe, Hagen"},{"full_name":"Vanderstichele, Adriaan","last_name":"Vanderstichele","first_name":"Adriaan"},{"last_name":"Ruscito","first_name":"Ilary","full_name":"Ruscito, Ilary"},{"first_name":"Fabian","last_name":"Trillsch","full_name":"Trillsch, Fabian"},{"full_name":"Mustea, Alexander","first_name":"Alexander","last_name":"Mustea"},{"full_name":"Kreuzinger, Caroline","last_name":"Kreuzinger","id":"382077BA-F248-11E8-B48F-1D18A9856A87","first_name":"Caroline"},{"first_name":"Charlie","last_name":"Gourley","full_name":"Gourley, Charlie"},{"full_name":"Gabra, Hani","last_name":"Gabra","first_name":"Hani"},{"full_name":"Taube, Eliane T.","first_name":"Eliane T.","last_name":"Taube"},{"last_name":"Dorigo","first_name":"Oliver","full_name":"Dorigo, Oliver"},{"full_name":"Horst, David","first_name":"David","last_name":"Horst"},{"last_name":"Keunecke","first_name":"Carlotta","full_name":"Keunecke, Carlotta"},{"full_name":"Baum, Joanna","last_name":"Baum","first_name":"Joanna"},{"full_name":"Angelotti, Timothy","last_name":"Angelotti","first_name":"Timothy"},{"last_name":"Sehouli","first_name":"Jalid","full_name":"Sehouli, Jalid"},{"first_name":"Elena Ioana","last_name":"Braicu","full_name":"Braicu, Elena Ioana"}],"department":[{"_id":"JoDa"}],"day":"01","tmp":{"image":"/images/cc_by.png","short":"CC BY (4.0)","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode"},"volume":30,"title":"Impact of BRCA mutation status on tumor dissemination pattern, surgical outcome and patient survival in primary and recurrent high-grade serous ovarian cancer: A multicenter retrospective study by the Ovarian Cancer Therapy-Innovative Models Prolong Survival (OCTIPS) consortium","status":"public"},{"publication_status":"published","user_id":"4359f0d1-fa6c-11eb-b949-802e58b17ae8","date_updated":"2023-08-01T12:47:32Z","publisher":"Springer Nature","article_type":"original","date_published":"2023-01-01T00:00:00Z","month":"01","scopus_import":"1","title":"Local criteria for triangulating general manifolds","tmp":{"image":"/images/cc_by.png","short":"CC BY (4.0)","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode"},"volume":69,"status":"public","day":"01","author":[{"full_name":"Boissonnat, Jean-Daniel","first_name":"Jean-Daniel","last_name":"Boissonnat"},{"full_name":"Dyer, Ramsay","first_name":"Ramsay","last_name":"Dyer"},{"full_name":"Ghosh, Arijit","first_name":"Arijit","last_name":"Ghosh"},{"full_name":"Wintraecken, Mathijs","orcid":"0000-0002-7472-2220","id":"307CFBC8-F248-11E8-B48F-1D18A9856A87","first_name":"Mathijs","last_name":"Wintraecken"}],"department":[{"_id":"HeEd"}],"date_created":"2023-01-16T10:04:06Z","oa_version":"Published Version","project":[{"call_identifier":"H2020","grant_number":"754411","_id":"260C2330-B435-11E9-9278-68D0E5697425","name":"ISTplus - Postdoctoral Fellowships"},{"name":"Learning and triangulating manifolds via collapses","_id":"fc390959-9c52-11eb-aca3-afa58bd282b2","grant_number":"M03073"}],"file_date_updated":"2023-02-02T11:01:10Z","publication":"Discrete & Computational Geometry","type":"journal_article","_id":"12287","article_processing_charge":"No","abstract":[{"text":"We present criteria for establishing a triangulation of a manifold. Given a manifold M, a simplicial complex A, and a map H from the underlying space of A to M, our criteria are presented in local coordinate charts for M, and ensure that H is a homeomorphism. These criteria do not require a differentiable structure, or even an explicit metric on M. No Delaunay property of A is assumed. The result provides a triangulation guarantee for algorithms that construct a simplicial complex by working in local coordinate patches. Because the criteria are easily verified in such a setting, they are expected to be of general use.","lang":"eng"}],"keyword":["Computational Theory and Mathematics","Discrete Mathematics and Combinatorics","Geometry and Topology","Theoretical Computer Science"],"ddc":["510"],"oa":1,"file":[{"checksum":"46352e0ee71e460848f88685ca852681","file_size":582850,"creator":"dernst","date_updated":"2023-02-02T11:01:10Z","file_id":"12488","date_created":"2023-02-02T11:01:10Z","access_level":"open_access","content_type":"application/pdf","success":1,"file_name":"2023_DiscreteCompGeometry_Boissonnat.pdf","relation":"main_file"}],"page":"156-191","isi":1,"external_id":{"isi":["000862193600001"]},"has_accepted_license":"1","intvolume":" 69","year":"2023","language":[{"iso":"eng"}],"publication_identifier":{"issn":["0179-5376"],"eissn":["1432-0444"]},"acknowledgement":"This work has been funded by the European Research Council under the European Union’s ERC Grant Agreement number 339025 GUDHI (Algorithmic Foundations of Geometric Understanding in Higher Dimensions). Arijit Ghosh is supported by Ramanujan Fellowship (No. SB/S2/RJN-064/2015). Part of this work was done when Arijit Ghosh was a Researcher at Max-Planck-Institute for Informatics, Germany, supported by the IndoGerman Max Planck Center for Computer Science (IMPECS). Mathijs Wintraecken also received funding from the European Union’s Horizon 2020 research and innovation programme under the Marie Skłodowska-Curie grant agreement No. 754411 and the Austrian Science Fund (FWF): M-3073. A part of the results described in this paper were presented at SoCG 2018 and in [3]. \r\nOpen access funding provided by the Austrian Science Fund (FWF).","ec_funded":1,"quality_controlled":"1","citation":{"ama":"Boissonnat J-D, Dyer R, Ghosh A, Wintraecken M. Local criteria for triangulating general manifolds. Discrete & Computational Geometry. 2023;69:156-191. doi:10.1007/s00454-022-00431-7","apa":"Boissonnat, J.-D., Dyer, R., Ghosh, A., & Wintraecken, M. (2023). Local criteria for triangulating general manifolds. Discrete & Computational Geometry. Springer Nature. https://doi.org/10.1007/s00454-022-00431-7","short":"J.-D. Boissonnat, R. Dyer, A. Ghosh, M. Wintraecken, Discrete & Computational Geometry 69 (2023) 156–191.","chicago":"Boissonnat, Jean-Daniel, Ramsay Dyer, Arijit Ghosh, and Mathijs Wintraecken. “Local Criteria for Triangulating General Manifolds.” Discrete & Computational Geometry. Springer Nature, 2023. https://doi.org/10.1007/s00454-022-00431-7.","ista":"Boissonnat J-D, Dyer R, Ghosh A, Wintraecken M. 2023. Local criteria for triangulating general manifolds. Discrete & Computational Geometry. 69, 156–191.","ieee":"J.-D. Boissonnat, R. Dyer, A. Ghosh, and M. Wintraecken, “Local criteria for triangulating general manifolds,” Discrete & Computational Geometry, vol. 69. Springer Nature, pp. 156–191, 2023.","mla":"Boissonnat, Jean-Daniel, et al. “Local Criteria for Triangulating General Manifolds.” Discrete & Computational Geometry, vol. 69, Springer Nature, 2023, pp. 156–91, doi:10.1007/s00454-022-00431-7."},"doi":"10.1007/s00454-022-00431-7"},{"ec_funded":1,"quality_controlled":"1","doi":"10.2140/pjm.2023.325.331","citation":{"ista":"Verzobio M. 2023. Some effectivity results for primitive divisors of elliptic divisibility sequences. Pacific Journal of Mathematics. 325(2), 331–351.","ieee":"M. Verzobio, “Some effectivity results for primitive divisors of elliptic divisibility sequences,” Pacific Journal of Mathematics, vol. 325, no. 2. Mathematical Sciences Publishers, pp. 331–351, 2023.","mla":"Verzobio, Matteo. “Some Effectivity Results for Primitive Divisors of Elliptic Divisibility Sequences.” Pacific Journal of Mathematics, vol. 325, no. 2, Mathematical Sciences Publishers, 2023, pp. 331–51, doi:10.2140/pjm.2023.325.331.","apa":"Verzobio, M. (2023). Some effectivity results for primitive divisors of elliptic divisibility sequences. Pacific Journal of Mathematics. Mathematical Sciences Publishers. https://doi.org/10.2140/pjm.2023.325.331","chicago":"Verzobio, Matteo. “Some Effectivity Results for Primitive Divisors of Elliptic Divisibility Sequences.” Pacific Journal of Mathematics. Mathematical Sciences Publishers, 2023. https://doi.org/10.2140/pjm.2023.325.331.","short":"M. Verzobio, Pacific Journal of Mathematics 325 (2023) 331–351.","ama":"Verzobio M. Some effectivity results for primitive divisors of elliptic divisibility sequences. Pacific Journal of Mathematics. 2023;325(2):331-351. doi:10.2140/pjm.2023.325.331"},"acknowledgement":"This paper is part of the author’s PhD thesis at Università of Pisa. Moreover, this\r\nproject has received funding from the European Union’s Horizon 2020 research\r\nand innovation programme under the Marie Skłodowska-Curie Grant Agreement\r\nNo. 101034413. I thank the referee for many helpful comments.","language":[{"iso":"eng"}],"publication_identifier":{"eissn":["0030-8730"]},"year":"2023","intvolume":" 325","arxiv":1,"has_accepted_license":"1","external_id":{"isi":["001104766900001"],"arxiv":["2001.02987"]},"page":"331-351","isi":1,"file":[{"creator":"dernst","checksum":"b6218d16a72742d8bb38d6fc3c9bb8c6","file_size":389897,"date_updated":"2023-11-13T09:50:41Z","date_created":"2023-11-13T09:50:41Z","access_level":"open_access","file_id":"14525","file_name":"2023_PacificJourMaths_Verzobio.pdf","relation":"main_file","content_type":"application/pdf","success":1}],"abstract":[{"text":"Let P be a nontorsion point on an elliptic curve defined over a number field K and consider the sequence {Bn}n∈N of the denominators of x(nP). We prove that every term of the sequence of the Bn has a primitive divisor for n greater than an effectively computable constant that we will explicitly compute. This constant will depend only on the model defining the curve.","lang":"eng"}],"oa":1,"ddc":["510"],"file_date_updated":"2023-11-13T09:50:41Z","publication":"Pacific Journal of Mathematics","article_processing_charge":"Yes (in subscription journal)","_id":"12313","issue":"2","type":"journal_article","date_created":"2023-01-16T11:46:19Z","oa_version":"Published Version","project":[{"grant_number":"101034413","call_identifier":"H2020","_id":"fc2ed2f7-9c52-11eb-aca3-c01059dda49c","name":"IST-BRIDGE: International postdoctoral program"}],"department":[{"_id":"TiBr"}],"author":[{"last_name":"Verzobio","first_name":"Matteo","id":"7aa8f170-131e-11ed-88e1-a9efd01027cb","orcid":"0000-0002-0854-0306","full_name":"Verzobio, Matteo"}],"day":"03","status":"public","tmp":{"image":"/images/cc_by.png","short":"CC BY (4.0)","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode"},"volume":325,"title":"Some effectivity results for primitive divisors of elliptic divisibility sequences","scopus_import":"1","article_type":"original","date_published":"2023-11-03T00:00:00Z","month":"11","date_updated":"2023-12-13T11:18:14Z","publisher":"Mathematical Sciences Publishers","publication_status":"published","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87"},{"year":"2023","publication_identifier":{"eissn":["2045-2322"]},"language":[{"iso":"eng"}],"has_accepted_license":"1","intvolume":" 13","quality_controlled":"1","citation":{"short":"A. Gómez, G. Oliveira, Scientific Reports 13 (2023).","chicago":"Gómez, Arturo, and Goncalo Oliveira. “New Approaches to Epidemic Modeling on Networks.” Scientific Reports. Springer Nature, 2023. https://doi.org/10.1038/s41598-022-19827-9.","apa":"Gómez, A., & Oliveira, G. (2023). New approaches to epidemic modeling on networks. Scientific Reports. Springer Nature. https://doi.org/10.1038/s41598-022-19827-9","mla":"Gómez, Arturo, and Goncalo Oliveira. “New Approaches to Epidemic Modeling on Networks.” Scientific Reports, vol. 13, 468, Springer Nature, 2023, doi:10.1038/s41598-022-19827-9.","ista":"Gómez A, Oliveira G. 2023. New approaches to epidemic modeling on networks. Scientific Reports. 13, 468.","ieee":"A. Gómez and G. Oliveira, “New approaches to epidemic modeling on networks,” Scientific Reports, vol. 13. Springer Nature, 2023.","ama":"Gómez A, Oliveira G. New approaches to epidemic modeling on networks. Scientific Reports. 2023;13. doi:10.1038/s41598-022-19827-9"},"doi":"10.1038/s41598-022-19827-9","acknowledgement":"Gonçalo Oliveira is supported by the NOMIS Foundation, Fundação Serrapilheira 1812-27395, by CNPq grants 428959/2018-0 and 307475/2018-2, and by FAPERJ through the grant Jovem Cientista do Nosso Estado E-26/202.793/2019.","abstract":[{"lang":"eng","text":"In this article, we develop two independent and new approaches to model epidemic spread in a network. Contrary to the most studied models, those developed here allow for contacts with different probabilities of transmitting the disease (transmissibilities). We then examine each of these models using some mean field type approximations. The first model looks at the late-stage effects of an epidemic outbreak and allows for the computation of the probability that a given vertex was infected. This computation is based on a mean field approximation and only depends on the number of contacts and their transmissibilities. This approach shares many similarities with percolation models in networks. The second model we develop is a dynamic model which we analyze using a mean field approximation which highly reduces the dimensionality of the system. In particular, the original system which individually analyses each vertex of the network is reduced to one with as many equations as different transmissibilities. Perhaps the greatest contribution of this article is the observation that, in both these models, the existence and size of an epidemic outbreak are linked to the properties of a matrix which we call the R-matrix. This is a generalization of the basic reproduction number which more precisely characterizes the main routes of infection."}],"ddc":["510"],"oa":1,"file":[{"success":1,"content_type":"application/pdf","relation":"main_file","file_name":"2023_ScientificReports_Gomez.pdf","file_id":"12336","access_level":"open_access","date_created":"2023-01-23T07:53:23Z","date_updated":"2023-01-23T07:53:23Z","checksum":"a8b83739f4a951e83e0b2a778f03b327","file_size":2167792,"creator":"dernst"}],"isi":1,"external_id":{"isi":["001003345000051"]},"day":"10","tmp":{"image":"/images/cc_by.png","short":"CC BY (4.0)","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode"},"volume":13,"title":"New approaches to epidemic modeling on networks","status":"public","article_number":"468","date_created":"2023-01-22T23:00:55Z","oa_version":"Published Version","publication":"Scientific Reports","file_date_updated":"2023-01-23T07:53:23Z","_id":"12329","type":"journal_article","article_processing_charge":"No","author":[{"full_name":"Gómez, Arturo","first_name":"Arturo","last_name":"Gómez"},{"first_name":"Goncalo","id":"58abbde8-f455-11eb-a497-98c8fd71b905","last_name":"Oliveira","full_name":"Oliveira, Goncalo"}],"department":[{"_id":"TaHa"}],"article_type":"original","date_published":"2023-01-10T00:00:00Z","month":"01","publication_status":"published","user_id":"4359f0d1-fa6c-11eb-b949-802e58b17ae8","date_updated":"2023-08-01T12:31:40Z","publisher":"Springer Nature","scopus_import":"1"},{"month":"09","date_published":"2023-09-01T00:00:00Z","article_type":"original","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","publication_status":"published","publisher":"Springer Nature","date_updated":"2025-07-22T14:06:00Z","main_file_link":[{"url":"https://doi.org/10.48550/arXiv.2008.01009","open_access":"1"}],"scopus_import":"1","day":"01","title":"The splay-list: A distribution-adaptive concurrent skip-list","volume":36,"status":"public","oa_version":"Preprint","date_created":"2023-01-22T23:00:55Z","_id":"12330","type":"journal_article","article_processing_charge":"No","publication":"Distributed Computing","author":[{"full_name":"Aksenov, Vitalii","first_name":"Vitalii","id":"2980135A-F248-11E8-B48F-1D18A9856A87","last_name":"Aksenov"},{"last_name":"Alistarh","first_name":"Dan-Adrian","id":"4A899BFC-F248-11E8-B48F-1D18A9856A87","full_name":"Alistarh, Dan-Adrian","orcid":"0000-0003-3650-940X"},{"full_name":"Drozdova, Alexandra","last_name":"Drozdova","first_name":"Alexandra"},{"full_name":"Mohtashami, Amirkeivan","first_name":"Amirkeivan","last_name":"Mohtashami"}],"department":[{"_id":"DaAl"}],"oa":1,"abstract":[{"lang":"eng","text":"The design and implementation of efficient concurrent data structures has seen significant attention. However, most of this work has focused on concurrent data structures providing good worst-case guarantees, although, in real workloads, objects are often accessed at different rates. Efficient distribution-adaptive data structures, such as splay-trees, are known in the sequential case; however, they often are hard to translate efficiently to the concurrent case. We investigate distribution-adaptive concurrent data structures, and propose a new design called the splay-list. At a high level, the splay-list is similar to a standard skip-list, with the key distinction that the height of each element adapts dynamically to its access rate: popular elements “move up,” whereas rarely-accessed elements decrease in height. We show that the splay-list provides order-optimal amortized complexity bounds for a subset of operations, while being amenable to efficient concurrent implementation. Experiments show that the splay-list can leverage distribution-adaptivity for performance, and can outperform the only previously-known distribution-adaptive concurrent design in certain workloads."}],"isi":1,"page":"395-418","external_id":{"isi":["000913424000001"],"oaworkID":["w4390499170"],"arxiv":["2008.01009"]},"year":"2023","language":[{"iso":"eng"}],"publication_identifier":{"issn":["0178-2770"],"eissn":["1432-0452"]},"intvolume":" 36","arxiv":1,"doi":"10.1007/s00446-022-00441-x","citation":{"ieee":"V. Aksenov, D.-A. Alistarh, A. Drozdova, and A. Mohtashami, “The splay-list: A distribution-adaptive concurrent skip-list,” Distributed Computing, vol. 36. Springer Nature, pp. 395–418, 2023.","ista":"Aksenov V, Alistarh D-A, Drozdova A, Mohtashami A. 2023. The splay-list: A distribution-adaptive concurrent skip-list. Distributed Computing. 36, 395–418.","mla":"Aksenov, Vitalii, et al. “The Splay-List: A Distribution-Adaptive Concurrent Skip-List.” Distributed Computing, vol. 36, Springer Nature, 2023, pp. 395–418, doi:10.1007/s00446-022-00441-x.","apa":"Aksenov, V., Alistarh, D.-A., Drozdova, A., & Mohtashami, A. (2023). The splay-list: A distribution-adaptive concurrent skip-list. Distributed Computing. Springer Nature. https://doi.org/10.1007/s00446-022-00441-x","short":"V. Aksenov, D.-A. Alistarh, A. Drozdova, A. Mohtashami, Distributed Computing 36 (2023) 395–418.","chicago":"Aksenov, Vitalii, Dan-Adrian Alistarh, Alexandra Drozdova, and Amirkeivan Mohtashami. “The Splay-List: A Distribution-Adaptive Concurrent Skip-List.” Distributed Computing. Springer Nature, 2023. https://doi.org/10.1007/s00446-022-00441-x.","ama":"Aksenov V, Alistarh D-A, Drozdova A, Mohtashami A. The splay-list: A distribution-adaptive concurrent skip-list. Distributed Computing. 2023;36:395-418. doi:10.1007/s00446-022-00441-x"},"quality_controlled":"1"},{"status":"public","tmp":{"image":"/images/cc_by.png","short":"CC BY (4.0)","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode"},"volume":35,"title":"Fine tuning of defects enables high carrier mobility and enhanced thermoelectric performance of n-type PbTe","day":"24","department":[{"_id":"MaIb"}],"author":[{"last_name":"Wang","first_name":"Siqi","full_name":"Wang, Siqi"},{"orcid":"0000-0002-9515-4277","full_name":"Chang, Cheng","last_name":"Chang","id":"9E331C2E-9F27-11E9-AE48-5033E6697425","first_name":"Cheng"},{"last_name":"Bai","first_name":"Shulin","full_name":"Bai, Shulin"},{"full_name":"Qin, Bingchao","first_name":"Bingchao","last_name":"Qin"},{"first_name":"Yingcai","last_name":"Zhu","full_name":"Zhu, Yingcai"},{"full_name":"Zhan, Shaoping","first_name":"Shaoping","last_name":"Zhan"},{"full_name":"Zheng, Junqing","first_name":"Junqing","last_name":"Zheng"},{"full_name":"Tang, Shuwei","last_name":"Tang","first_name":"Shuwei"},{"first_name":"Li Dong","last_name":"Zhao","full_name":"Zhao, Li Dong"}],"file_date_updated":"2023-08-14T12:57:25Z","publication":"Chemistry of Materials","type":"journal_article","_id":"12331","article_processing_charge":"No","issue":"2","date_created":"2023-01-22T23:00:55Z","oa_version":"Published Version","project":[{"_id":"9B8804FC-BA93-11EA-9121-9846C619BF3A","name":"Bottom-up Engineering for Thermoelectric Applications","grant_number":"M02889"}],"date_updated":"2023-08-14T12:57:44Z","publisher":"American Chemical Society","publication_status":"published","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","article_type":"original","date_published":"2023-01-24T00:00:00Z","month":"01","scopus_import":"1","intvolume":" 35","has_accepted_license":"1","language":[{"iso":"eng"}],"publication_identifier":{"issn":["0897-4756"],"eissn":["1520-5002"]},"year":"2023","acknowledgement":"The National Key Research and Development Program of China (2018YFA0702100), the Basic Science Center Project of the National Natural Science Foundation of China (51788104), the National Natural Science Foundation of China (51571007 and 51772012), the Beijing Natural Science Foundation (JQ18004), the 111 Project (B17002), the National Science Fund for Distinguished Young Scholars (51925101), and the FWF “Lise Meitner Fellowship” (grant agreement M2889-N). Open Access is funded by the Austrian Science Fund (FWF).","quality_controlled":"1","citation":{"ieee":"S. Wang et al., “Fine tuning of defects enables high carrier mobility and enhanced thermoelectric performance of n-type PbTe,” Chemistry of Materials, vol. 35, no. 2. American Chemical Society, pp. 755–763, 2023.","ista":"Wang S, Chang C, Bai S, Qin B, Zhu Y, Zhan S, Zheng J, Tang S, Zhao LD. 2023. Fine tuning of defects enables high carrier mobility and enhanced thermoelectric performance of n-type PbTe. Chemistry of Materials. 35(2), 755–763.","mla":"Wang, Siqi, et al. “Fine Tuning of Defects Enables High Carrier Mobility and Enhanced Thermoelectric Performance of N-Type PbTe.” Chemistry of Materials, vol. 35, no. 2, American Chemical Society, 2023, pp. 755–63, doi:10.1021/acs.chemmater.2c03542.","apa":"Wang, S., Chang, C., Bai, S., Qin, B., Zhu, Y., Zhan, S., … Zhao, L. D. (2023). Fine tuning of defects enables high carrier mobility and enhanced thermoelectric performance of n-type PbTe. Chemistry of Materials. American Chemical Society. https://doi.org/10.1021/acs.chemmater.2c03542","short":"S. Wang, C. Chang, S. Bai, B. Qin, Y. Zhu, S. Zhan, J. Zheng, S. Tang, L.D. Zhao, Chemistry of Materials 35 (2023) 755–763.","chicago":"Wang, Siqi, Cheng Chang, Shulin Bai, Bingchao Qin, Yingcai Zhu, Shaoping Zhan, Junqing Zheng, Shuwei Tang, and Li Dong Zhao. “Fine Tuning of Defects Enables High Carrier Mobility and Enhanced Thermoelectric Performance of N-Type PbTe.” Chemistry of Materials. American Chemical Society, 2023. https://doi.org/10.1021/acs.chemmater.2c03542.","ama":"Wang S, Chang C, Bai S, et al. Fine tuning of defects enables high carrier mobility and enhanced thermoelectric performance of n-type PbTe. Chemistry of Materials. 2023;35(2):755-763. doi:10.1021/acs.chemmater.2c03542"},"doi":"10.1021/acs.chemmater.2c03542","file":[{"date_updated":"2023-08-14T12:57:25Z","creator":"dernst","file_size":2961043,"checksum":"b21dca2aa7a80c068bc256bdd1fea9df","file_name":"2023_ChemistryMaterials_Wang.pdf","relation":"main_file","success":1,"content_type":"application/pdf","access_level":"open_access","date_created":"2023-08-14T12:57:25Z","file_id":"14055"}],"abstract":[{"text":"High carrier mobility is critical to improving thermoelectric performance over a broad temperature range. However, traditional doping inevitably deteriorates carrier mobility. Herein, we develop a strategy for fine tuning of defects to improve carrier mobility. To begin, n-type PbTe is created by compensating for the intrinsic Pb vacancy in bare PbTe. Excess Pb2+ reduces vacancy scattering, resulting in a high carrier mobility of ∼3400 cm2 V–1 s–1. Then, excess Ag is introduced to compensate for the remaining intrinsic Pb vacancies. We find that excess Ag exhibits a dynamic doping process with increasing temperatures, increasing both the carrier concentration and carrier mobility throughout a wide temperature range; specifically, an ultrahigh carrier mobility ∼7300 cm2 V–1 s–1 is obtained for Pb1.01Te + 0.002Ag at 300 K. Moreover, the dynamic doping-induced high carrier concentration suppresses the bipolar thermal conductivity at high temperatures. The final step is using iodine to optimize the carrier concentration to ∼1019 cm–3. Ultimately, a maximum ZT value of ∼1.5 and a large average ZTave value of ∼1.0 at 300–773 K are obtained for Pb1.01Te0.998I0.002 + 0.002Ag. These findings demonstrate that fine tuning of defects with <0.5% impurities can remarkably enhance carrier mobility and improve thermoelectric performance.","lang":"eng"}],"oa":1,"ddc":["540"],"external_id":{"isi":["000914749700001"]},"page":"755-763","isi":1},{"quality_controlled":"1","citation":{"short":"F. Fäßler, M. Javoor, J. Datler, H. Döring, F. Hofer, G.A. Dimchev, V.-V. Hodirnau, J. Faix, K. Rottner, F.K. Schur, Science Advances 9 (2023).","chicago":"Fäßler, Florian, Manjunath Javoor, Julia Datler, Hermann Döring, Florian Hofer, Georgi A Dimchev, Victor-Valentin Hodirnau, Jan Faix, Klemens Rottner, and Florian KM Schur. “ArpC5 Isoforms Regulate Arp2/3 Complex–Dependent Protrusion through Differential Ena/VASP Positioning.” Science Advances. American Association for the Advancement of Science, 2023. https://doi.org/10.1126/sciadv.add6495.","apa":"Fäßler, F., Javoor, M., Datler, J., Döring, H., Hofer, F., Dimchev, G. A., … Schur, F. K. (2023). ArpC5 isoforms regulate Arp2/3 complex–dependent protrusion through differential Ena/VASP positioning. Science Advances. American Association for the Advancement of Science. https://doi.org/10.1126/sciadv.add6495","mla":"Fäßler, Florian, et al. “ArpC5 Isoforms Regulate Arp2/3 Complex–Dependent Protrusion through Differential Ena/VASP Positioning.” Science Advances, vol. 9, no. 3, add6495, American Association for the Advancement of Science, 2023, doi:10.1126/sciadv.add6495.","ista":"Fäßler F, Javoor M, Datler J, Döring H, Hofer F, Dimchev GA, Hodirnau V-V, Faix J, Rottner K, Schur FK. 2023. ArpC5 isoforms regulate Arp2/3 complex–dependent protrusion through differential Ena/VASP positioning. Science Advances. 9(3), add6495.","ieee":"F. Fäßler et al., “ArpC5 isoforms regulate Arp2/3 complex–dependent protrusion through differential Ena/VASP positioning,” Science Advances, vol. 9, no. 3. American Association for the Advancement of Science, 2023.","ama":"Fäßler F, Javoor M, Datler J, et al. ArpC5 isoforms regulate Arp2/3 complex–dependent protrusion through differential Ena/VASP positioning. Science Advances. 2023;9(3). doi:10.1126/sciadv.add6495"},"doi":"10.1126/sciadv.add6495","related_material":{"record":[{"relation":"research_data","status":"for_moderation","id":"14562"}]},"acknowledgement":"We would like to thank K. von Peinen and B. Denker (Helmholtz Centre for Infection Research, Braunschweig, Germany) for experimental and technical assistance, respectively.\r\nThis research was supported by the Scientific Service Units (SSUs) of ISTA through resources provided by Scientific Computing (SciComp), the Life Science Facility (LSF), the Imaging and Optics facility (IOF), and the Electron Microscopy Facility (EMF). We acknowledge support from ISTA and from the Austrian Science Fund (FWF) (P33367) to F.K.M.S., from the Research Training Group GRK2223 and the Helmholtz Society to K.R,. and from the Deutsche Forschungsgemeinschaft (DFG) to J.F. and K.R.","year":"2023","language":[{"iso":"eng"}],"publication_identifier":{"issn":["2375-2548"]},"has_accepted_license":"1","intvolume":" 9","isi":1,"external_id":{"isi":["000964550100015"]},"abstract":[{"text":"Regulation of the Arp2/3 complex is required for productive nucleation of branched actin networks. An emerging aspect of regulation is the incorporation of subunit isoforms into the Arp2/3 complex. Specifically, both ArpC5 subunit isoforms, ArpC5 and ArpC5L, have been reported to fine-tune nucleation activity and branch junction stability. We have combined reverse genetics and cellular structural biology to describe how ArpC5 and ArpC5L differentially affect cell migration. Both define the structural stability of ArpC1 in branch junctions and, in turn, by determining protrusion characteristics, affect protein dynamics and actin network ultrastructure. ArpC5 isoforms also affect the positioning of members of the Ena/Vasodilator-stimulated phosphoprotein (VASP) family of actin filament elongators, which mediate ArpC5 isoform–specific effects on the actin assembly level. Our results suggest that ArpC5 and Ena/VASP proteins are part of a signaling pathway enhancing cell migration.","lang":"eng"}],"keyword":["Multidisciplinary"],"ddc":["570"],"oa":1,"file":[{"success":1,"content_type":"application/pdf","file_name":"2023_ScienceAdvances_Faessler.pdf","relation":"main_file","file_id":"12335","date_created":"2023-01-23T07:45:54Z","access_level":"open_access","date_updated":"2023-01-23T07:45:54Z","file_size":1756234,"checksum":"ce81a6d0b84170e5e8c62f6acfa15d9e","creator":"dernst"}],"date_created":"2023-01-23T07:26:42Z","oa_version":"Published Version","project":[{"_id":"9B954C5C-BA93-11EA-9121-9846C619BF3A","name":"Structure and isoform diversity of the Arp2/3 complex","grant_number":"P33367"}],"publication":"Science Advances","file_date_updated":"2023-01-23T07:45:54Z","_id":"12334","issue":"3","type":"journal_article","article_processing_charge":"No","author":[{"last_name":"Fäßler","id":"404F5528-F248-11E8-B48F-1D18A9856A87","first_name":"Florian","orcid":"0000-0001-7149-769X","full_name":"Fäßler, Florian"},{"last_name":"Javoor","id":"305ab18b-dc7d-11ea-9b2f-b58195228ea2","first_name":"Manjunath","full_name":"Javoor, Manjunath"},{"id":"3B12E2E6-F248-11E8-B48F-1D18A9856A87","first_name":"Julia","last_name":"Datler","full_name":"Datler, Julia","orcid":"0000-0002-3616-8580"},{"full_name":"Döring, Hermann","first_name":"Hermann","last_name":"Döring"},{"last_name":"Hofer","first_name":"Florian","id":"b9d234ba-9e33-11ed-95b6-cd561df280e6","full_name":"Hofer, Florian"},{"first_name":"Georgi A","id":"38C393BE-F248-11E8-B48F-1D18A9856A87","last_name":"Dimchev","orcid":"0000-0001-8370-6161","full_name":"Dimchev, Georgi A"},{"first_name":"Victor-Valentin","id":"3661B498-F248-11E8-B48F-1D18A9856A87","last_name":"Hodirnau","full_name":"Hodirnau, Victor-Valentin"},{"first_name":"Jan","last_name":"Faix","full_name":"Faix, Jan"},{"first_name":"Klemens","last_name":"Rottner","full_name":"Rottner, Klemens"},{"full_name":"Schur, Florian KM","orcid":"0000-0003-4790-8078","id":"48AD8942-F248-11E8-B48F-1D18A9856A87","first_name":"Florian KM","last_name":"Schur"}],"acknowledged_ssus":[{"_id":"ScienComp"},{"_id":"LifeSc"},{"_id":"Bio"},{"_id":"EM-Fac"}],"department":[{"_id":"FlSc"},{"_id":"EM-Fac"}],"day":"20","volume":9,"tmp":{"image":"/images/cc_by.png","short":"CC BY (4.0)","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode"},"title":"ArpC5 isoforms regulate Arp2/3 complex–dependent protrusion through differential Ena/VASP positioning","status":"public","article_number":"add6495","scopus_import":"1","article_type":"original","date_published":"2023-01-20T00:00:00Z","month":"01","publication_status":"published","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","date_updated":"2026-05-21T07:36:27Z","publisher":"American Association for the Advancement of Science"},{"scopus_import":"1","article_type":"original","date_published":"2023-04-01T00:00:00Z","month":"04","publication_status":"published","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","date_updated":"2023-10-04T11:41:05Z","publisher":"Springer Nature","date_created":"2023-01-23T14:14:19Z","oa_version":"Published Version","project":[{"call_identifier":"H2020","grant_number":"665385","name":"International IST Doctoral Program","_id":"2564DBCA-B435-11E9-9278-68D0E5697425"},{"grant_number":"P34015","name":"Efficient coding with biophysical realism","_id":"626c45b5-2b32-11ec-9570-e509828c1ba6"},{"name":"Circuits of Visual Attention","_id":"2634E9D2-B435-11E9-9278-68D0E5697425","call_identifier":"H2020","grant_number":"756502"},{"grant_number":"LT000256","name":"Neuronal networks of salience and spatial detection in the murine superior colliculus","_id":"266D407A-B435-11E9-9278-68D0E5697425"},{"grant_number":"ALTF 1098-2017","_id":"264FEA02-B435-11E9-9278-68D0E5697425","name":"Connecting sensory with motor processing in the superior colliculus"}],"publication":"Nature Neuroscience","file_date_updated":"2023-10-04T11:40:51Z","type":"journal_article","_id":"12349","article_processing_charge":"Yes (in subscription journal)","author":[{"last_name":"Gupta","first_name":"Divyansh","id":"2A485EBE-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0001-7400-6665","full_name":"Gupta, Divyansh"},{"full_name":"Mlynarski, Wiktor F","last_name":"Mlynarski","id":"358A453A-F248-11E8-B48F-1D18A9856A87","first_name":"Wiktor F"},{"first_name":"Anton L","id":"3320A096-F248-11E8-B48F-1D18A9856A87","last_name":"Sumser","orcid":"0000-0002-4792-1881","full_name":"Sumser, Anton L"},{"orcid":"0000-0003-2012-9947","full_name":"Symonova, Olga","first_name":"Olga","id":"3C0C7BC6-F248-11E8-B48F-1D18A9856A87","last_name":"Symonova"},{"last_name":"Svaton","first_name":"Jan","id":"f7f724c3-9d6f-11ed-9f44-e5c5f3a5bee2","full_name":"Svaton, Jan","orcid":"0000-0002-6198-2939"},{"last_name":"Jösch","id":"2BD278E6-F248-11E8-B48F-1D18A9856A87","first_name":"Maximilian A","full_name":"Jösch, Maximilian A","orcid":"0000-0002-3937-1330"}],"acknowledged_ssus":[{"_id":"ScienComp"},{"_id":"PreCl"},{"_id":"LifeSc"},{"_id":"Bio"}],"department":[{"_id":"GradSch"},{"_id":"MaJö"}],"day":"01","tmp":{"image":"/images/cc_by.png","short":"CC BY (4.0)","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode"},"title":"Panoramic visual statistics shape retina-wide organization of receptive fields","volume":26,"status":"public","isi":1,"page":"606-614","external_id":{"isi":["000955258300002"],"pmid":["36959418"]},"abstract":[{"lang":"eng","text":"Statistics of natural scenes are not uniform - their structure varies dramatically from ground to sky. It remains unknown whether these non-uniformities are reflected in the large-scale organization of the early visual system and what benefits such adaptations would confer. Here, by relying on the efficient coding hypothesis, we predict that changes in the structure of receptive fields across visual space increase the efficiency of sensory coding. We show experimentally that, in agreement with our predictions, receptive fields of retinal ganglion cells change their shape along the dorsoventral retinal axis, with a marked surround asymmetry at the visual horizon. Our work demonstrates that, according to principles of efficient coding, the panoramic structure of natural scenes is exploited by the retina across space and cell-types."}],"oa":1,"ddc":["570"],"file":[{"file_id":"14395","access_level":"open_access","date_created":"2023-10-04T11:40:51Z","content_type":"application/pdf","success":1,"file_name":"2023_NatureNeuroscience_Gupta.pdf","relation":"main_file","file_size":6144866,"checksum":"a33d91e398e548f34003170e10988368","creator":"dernst","date_updated":"2023-10-04T11:40:51Z"}],"quality_controlled":"1","ec_funded":1,"doi":"10.1038/s41593-023-01280-0","citation":{"mla":"Gupta, Divyansh, et al. “Panoramic Visual Statistics Shape Retina-Wide Organization of Receptive Fields.” Nature Neuroscience, vol. 26, Springer Nature, 2023, pp. 606–14, doi:10.1038/s41593-023-01280-0.","ieee":"D. Gupta, W. F. Mlynarski, A. L. Sumser, O. Symonova, J. Svaton, and M. A. Jösch, “Panoramic visual statistics shape retina-wide organization of receptive fields,” Nature Neuroscience, vol. 26. Springer Nature, pp. 606–614, 2023.","ista":"Gupta D, Mlynarski WF, Sumser AL, Symonova O, Svaton J, Jösch MA. 2023. Panoramic visual statistics shape retina-wide organization of receptive fields. Nature Neuroscience. 26, 606–614.","chicago":"Gupta, Divyansh, Wiktor F Mlynarski, Anton L Sumser, Olga Symonova, Jan Svaton, and Maximilian A Jösch. “Panoramic Visual Statistics Shape Retina-Wide Organization of Receptive Fields.” Nature Neuroscience. Springer Nature, 2023. https://doi.org/10.1038/s41593-023-01280-0.","short":"D. Gupta, W.F. Mlynarski, A.L. Sumser, O. Symonova, J. Svaton, M.A. Jösch, Nature Neuroscience 26 (2023) 606–614.","apa":"Gupta, D., Mlynarski, W. F., Sumser, A. L., Symonova, O., Svaton, J., & Jösch, M. A. (2023). Panoramic visual statistics shape retina-wide organization of receptive fields. Nature Neuroscience. Springer Nature. https://doi.org/10.1038/s41593-023-01280-0","ama":"Gupta D, Mlynarski WF, Sumser AL, Symonova O, Svaton J, Jösch MA. Panoramic visual statistics shape retina-wide organization of receptive fields. Nature Neuroscience. 2023;26:606-614. doi:10.1038/s41593-023-01280-0"},"related_material":{"record":[{"id":"12370","status":"public","relation":"research_data"}]},"acknowledgement":"We thank Hiroki Asari for sharing the dataset of naturalistic images, Anton Sumser for sharing visual stimulus code, Yoav Ben Simon for initial explorative work with the generation of AAVs, and Tomas Vega-Zuñiga for help with immunostainings. We also thank Gasper Tkacik and members of the Neuroethology group for their comments on the manuscript. This research was supported by the Scientific Service Units of IST Austria through resources provided by Scientific Computing, the Preclinical Facility, the Lab Support Facility, and the Imaging and Optics Facility. This work was supported by European Union Horizon 2020 Marie Skłodowska-Curie grant 665385 (DG), Austrian Science Fund (FWF) stand-alone grant P 34015 (WM), Human Frontiers Science Program LT000256/2018-L (AS), EMBO ALTF 1098-2017 (AS) and the European Research Council Starting Grant 756502 (MJ).","year":"2023","language":[{"iso":"eng"}],"publication_identifier":{"eissn":["1546-1726"],"issn":["1097-6256"]},"has_accepted_license":"1","intvolume":" 26","pmid":1},{"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","publisher":"Institute of Science and Technology Austria","date_updated":"2023-10-04T11:41:04Z","date_published":"2023-01-26T00:00:00Z","month":"01","acknowledged_ssus":[{"_id":"ScienComp"},{"_id":"M-Shop"},{"_id":"Bio"},{"_id":"PreCl"},{"_id":"LifeSc"}],"author":[{"last_name":"Gupta","first_name":"Divyansh","id":"2A485EBE-F248-11E8-B48F-1D18A9856A87","full_name":"Gupta, Divyansh","orcid":"0000-0001-7400-6665"},{"first_name":"Anton L","id":"3320A096-F248-11E8-B48F-1D18A9856A87","last_name":"Sumser","orcid":"0000-0002-4792-1881","full_name":"Sumser, Anton L"},{"full_name":"Jösch, Maximilian A","orcid":"0000-0002-3937-1330","last_name":"Jösch","first_name":"Maximilian A","id":"2BD278E6-F248-11E8-B48F-1D18A9856A87"}],"department":[{"_id":"GradSch"},{"_id":"MaJö"}],"project":[{"call_identifier":"H2020","grant_number":"665385","name":"International IST Doctoral Program","_id":"2564DBCA-B435-11E9-9278-68D0E5697425"},{"name":"Efficient coding with biophysical realism","_id":"626c45b5-2b32-11ec-9570-e509828c1ba6","grant_number":"P34015"},{"name":"Circuits of Visual Attention","_id":"2634E9D2-B435-11E9-9278-68D0E5697425","call_identifier":"H2020","grant_number":"756502"},{"grant_number":"LT000256","_id":"266D407A-B435-11E9-9278-68D0E5697425","name":"Neuronal networks of salience and spatial detection in the murine superior colliculus"},{"grant_number":"ALTF 1098-2017","name":"Connecting sensory with motor processing in the superior colliculus","_id":"264FEA02-B435-11E9-9278-68D0E5697425"}],"oa_version":"Published Version","date_created":"2023-01-25T12:45:18Z","article_processing_charge":"No","type":"research_data","_id":"12370","file_date_updated":"2023-01-26T10:51:34Z","title":"Research Data for: Panoramic visual statistics shape retina-wide organization of receptive fields","tmp":{"image":"/images/cc_by_nc_sa.png","short":"CC BY-NC-SA (4.0)","name":"Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International (CC BY-NC-SA 4.0)","legal_code_url":"https://creativecommons.org/licenses/by-nc-sa/4.0/legalcode"},"status":"public","day":"26","license":"https://creativecommons.org/licenses/by-nc-sa/4.0/","contributor":[{"id":"3C0C7BC6-F248-11E8-B48F-1D18A9856A87","contributor_type":"researcher","first_name":"Olga","last_name":"Symonova"},{"contributor_type":"researcher","first_name":"Wiktor F","id":"358A453A-F248-11E8-B48F-1D18A9856A87","last_name":"Mlynarski"},{"last_name":"Svaton","id":"f7f724c3-9d6f-11ed-9f44-e5c5f3a5bee2","contributor_type":"researcher","first_name":"Jan"}],"ddc":["571"],"oa":1,"abstract":[{"text":"Statistics of natural scenes are not uniform - their structure varies dramatically from ground to sky. It remains unknown whether these non-uniformities are reflected in the large-scale organization of the early visual system and what benefits such adaptations would confer. Here, by relying on the efficient coding hypothesis, we predict that changes in the structure of receptive fields across visual space increase the efficiency of sensory coding. We show experimentally that, in agreement with our predictions, receptive fields of retinal ganglion cells change their shape along the dorsoventral retinal axis, with a marked surround asymmetry at the visual horizon. Our work demonstrates that, according to principles of efficient coding, the panoramic structure of natural scenes is exploited by the retina across space and cell-types. ","lang":"eng"}],"file":[{"creator":"dgupta","checksum":"172cd1c315cbf063c122298396bc17a7","file_size":1917,"date_updated":"2023-01-26T10:51:34Z","access_level":"open_access","date_created":"2023-01-26T10:51:34Z","file_id":"12396","file_name":"readme_exvivo.txt","relation":"main_file","success":1,"content_type":"text/plain"},{"file_size":1585,"checksum":"d3cecda51cad86b1182195731c01a14f","creator":"dgupta","date_updated":"2023-01-26T10:50:50Z","file_id":"12397","date_created":"2023-01-26T10:50:50Z","access_level":"open_access","content_type":"text/plain","success":1,"file_name":"readme_invivo.txt","relation":"main_file"},{"file_id":"12398","date_created":"2023-01-26T10:43:30Z","access_level":"open_access","content_type":"application/octet-stream","success":1,"relation":"main_file","file_name":"exvivo_RFs.mat","file_size":5019459775,"checksum":"b85018b27f2c43a6d94ee0e8b841220d","creator":"dgupta","date_updated":"2023-01-26T10:43:30Z"},{"success":1,"content_type":"application/octet-stream","file_name":"RGC_in_vivo_RFs_selected.mat","relation":"main_file","file_id":"12399","access_level":"open_access","date_created":"2023-01-26T10:40:35Z","date_updated":"2023-01-26T10:40:35Z","checksum":"f75dccd96a3f837cdeed65b5134e697e","file_size":94999721,"creator":"dgupta"},{"date_updated":"2023-01-25T16:03:49Z","creator":"dgupta","file_size":720893739,"checksum":"d41836ffe03ea0efb677de31287c8d2e","file_name":"invivo_BL6-eyeGC8m-dC-3_210924_1534_Result.mat","relation":"main_file","content_type":"application/octet-stream","success":1,"date_created":"2023-01-25T16:03:49Z","access_level":"open_access","file_id":"12382"},{"access_level":"open_access","date_created":"2023-01-25T16:03:30Z","file_id":"12383","file_name":"invivo_BL6-eyeGC8m-dC-3_211026_1235_Result.mat","relation":"main_file","success":1,"content_type":"application/octet-stream","creator":"dgupta","checksum":"0a0cba5208241a95f9bb7684d0a43afa","file_size":248122209,"date_updated":"2023-01-25T16:03:30Z"},{"access_level":"open_access","date_created":"2023-01-25T16:04:54Z","file_id":"12384","relation":"main_file","file_name":"invivo_BL6-eyeGC8m-dC-3_211202_1505_Result.mat","content_type":"application/octet-stream","success":1,"creator":"dgupta","checksum":"cf72c1f325631212f305ff1a6d342bc3","file_size":1757729346,"date_updated":"2023-01-25T16:04:54Z"},{"date_updated":"2023-01-25T16:04:41Z","checksum":"f4cd25f37d433a7dced3aa8cc326c755","file_size":1177344595,"creator":"dgupta","success":1,"content_type":"application/octet-stream","file_name":"invivo_BL6-eyeGC8m-dC-3_211208_1738_Result.mat","relation":"main_file","file_id":"12385","date_created":"2023-01-25T16:04:41Z","access_level":"open_access"},{"access_level":"open_access","date_created":"2023-01-25T16:06:22Z","file_id":"12386","relation":"main_file","file_name":"invivo_BL6-eyeGC8m-dC-3_220111_1735_Result.mat","success":1,"content_type":"application/octet-stream","creator":"dgupta","checksum":"8c31637d447f2088fdb5ba1c6775f243","file_size":2246592895,"date_updated":"2023-01-25T16:06:22Z"},{"success":1,"content_type":"application/octet-stream","file_name":"invivo_BL6-eyeGC8m-dC-4_220216_0950_Result.mat","relation":"main_file","file_id":"12387","access_level":"open_access","date_created":"2023-01-25T16:07:41Z","date_updated":"2023-01-25T16:07:41Z","checksum":"246d660ef06a9151c59b74490d991460","file_size":2151341770,"creator":"dgupta"},{"checksum":"b32987dd4589d05b9dfadb93d4178c0d","file_size":3719145736,"creator":"dgupta","date_updated":"2023-01-26T10:19:02Z","file_id":"12393","date_created":"2023-01-26T10:19:02Z","access_level":"open_access","success":1,"content_type":"application/octet-stream","relation":"main_file","file_name":"invivo_BL6-eyeGC8m-dC-4_220428_1351_Result.mat"},{"date_updated":"2023-01-26T10:34:46Z","creator":"dgupta","checksum":"6c88ca7d1df405f04002146d251dc22e","file_size":5818789752,"relation":"main_file","file_name":"invivo_BL6-eyeGC8m-dC-4_220502_1357_Result.mat","success":1,"content_type":"application/octet-stream","access_level":"open_access","date_created":"2023-01-26T10:34:46Z","file_id":"12395"},{"content_type":"application/octet-stream","success":1,"file_name":"invivo_BL6-eyeGC8m-dC-4_220524_1726_Result.mat","relation":"main_file","file_id":"12394","date_created":"2023-01-26T10:23:19Z","access_level":"open_access","date_updated":"2023-01-26T10:23:19Z","checksum":"494057076bb0b0a28e4b7146bb50113c","file_size":2614677996,"creator":"dgupta"},{"file_id":"12388","date_created":"2023-01-25T16:20:51Z","access_level":"open_access","content_type":"application/octet-stream","success":1,"file_name":"invivo_BL6-eyeGC8m-dC-5_220613_1750_Result.mat","relation":"main_file","file_size":1840481462,"checksum":"e51015d43ede6b1628803c58e424f99f","creator":"dgupta","date_updated":"2023-01-25T16:20:51Z"},{"date_updated":"2023-01-25T16:23:02Z","creator":"dgupta","file_size":1617777136,"checksum":"9483686a44e69eadea428b705c33a9a2","relation":"main_file","file_name":"invivo_BL6-eyeGC8m-dC-5_220630_1518_Result.mat","content_type":"application/octet-stream","success":1,"access_level":"open_access","date_created":"2023-01-25T16:23:02Z","file_id":"12389"}],"related_material":{"record":[{"relation":"used_in_publication","status":"public","id":"12349"}]},"doi":"10.15479/AT:ISTA:12370","citation":{"apa":"Gupta, D., Sumser, A. L., & Jösch, M. A. (2023). Research Data for: Panoramic visual statistics shape retina-wide organization of receptive fields. Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:12370","short":"D. Gupta, A.L. Sumser, M.A. Jösch, (2023).","chicago":"Gupta, Divyansh, Anton L Sumser, and Maximilian A Jösch. “Research Data for: Panoramic Visual Statistics Shape Retina-Wide Organization of Receptive Fields.” Institute of Science and Technology Austria, 2023. https://doi.org/10.15479/AT:ISTA:12370.","ieee":"D. Gupta, A. L. Sumser, and M. A. Jösch, “Research Data for: Panoramic visual statistics shape retina-wide organization of receptive fields.” Institute of Science and Technology Austria, 2023.","ista":"Gupta D, Sumser AL, Jösch MA. 2023. Research Data for: Panoramic visual statistics shape retina-wide organization of receptive fields, Institute of Science and Technology Austria, 10.15479/AT:ISTA:12370.","mla":"Gupta, Divyansh, et al. Research Data for: Panoramic Visual Statistics Shape Retina-Wide Organization of Receptive Fields. Institute of Science and Technology Austria, 2023, doi:10.15479/AT:ISTA:12370.","ama":"Gupta D, Sumser AL, Jösch MA. Research Data for: Panoramic visual statistics shape retina-wide organization of receptive fields. 2023. doi:10.15479/AT:ISTA:12370"},"ec_funded":1,"has_accepted_license":"1","year":"2023"},{"author":[{"first_name":"Yijie","id":"7b7eb4ca-eb2c-11ec-b98b-accec0b20c3b","last_name":"Diao","full_name":"Diao, Yijie","orcid":"0000-0002-4989-5330"}],"department":[{"_id":"GradSch"}],"date_created":"2023-01-26T21:17:04Z","oa_version":"Preprint","_id":"12406","article_processing_charge":"No","type":"journal_article","publication":"Acta Arithmetica","volume":207,"title":"Density of the union of positive diagonal binary quadratic forms","status":"public","day":"09","main_file_link":[{"url":"https://doi.org/10.48550/arXiv.2103.08268","open_access":"1"}],"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","publication_status":"published","publisher":"Instytut Matematyczny","date_updated":"2023-10-17T09:15:17Z","month":"01","date_published":"2023-01-09T00:00:00Z","article_type":"original","acknowledgement":"This article is a version the author’s master thesis at the University of Bonn. The author would like to thank his advisor Valentin Blomer for introducing the problem, and giving generous feedback and encouragement along the way, especially during the global pandemic.\r\nThe author thanks Edgar Assing for his lectures on analytic number theory. Finally, the author is grateful to the anonymous referees for their valuable time and comments.\r\n","citation":{"apa":"Diao, Y. (2023). Density of the union of positive diagonal binary quadratic forms. Acta Arithmetica. Instytut Matematyczny. https://doi.org/10.4064/aa210830-24-11","short":"Y. Diao, Acta Arithmetica 207 (2023) 1–17.","chicago":"Diao, Yijie. “Density of the Union of Positive Diagonal Binary Quadratic Forms.” Acta Arithmetica. Instytut Matematyczny, 2023. https://doi.org/10.4064/aa210830-24-11.","ista":"Diao Y. 2023. Density of the union of positive diagonal binary quadratic forms. Acta Arithmetica. 207, 1–17.","ieee":"Y. Diao, “Density of the union of positive diagonal binary quadratic forms,” Acta Arithmetica, vol. 207. Instytut Matematyczny, pp. 1–17, 2023.","mla":"Diao, Yijie. “Density of the Union of Positive Diagonal Binary Quadratic Forms.” Acta Arithmetica, vol. 207, Instytut Matematyczny, 2023, pp. 1–17, doi:10.4064/aa210830-24-11.","ama":"Diao Y. Density of the union of positive diagonal binary quadratic forms. Acta Arithmetica. 2023;207:1-17. doi:10.4064/aa210830-24-11"},"doi":"10.4064/aa210830-24-11","quality_controlled":"1","arxiv":1,"intvolume":" 207","year":"2023","publication_identifier":{"eissn":["1730-6264"],"issn":["0065-1036"]},"language":[{"iso":"eng"}],"isi":1,"page":"1-17","external_id":{"arxiv":["2103.08268"],"isi":["000912903000001"]},"oa":1,"keyword":["Algebra","Number Theory"],"abstract":[{"text":"Let X be a sufficiently large positive integer. We prove that one may choose a subset S of primes with cardinality O(logX) such that a positive proportion of integers less than X can be represented by x2+py2 for at least one p∈S.","lang":"eng"}]},{"alternative_title":["IST Austria Technical Report"],"page":"38","file":[{"date_updated":"2023-01-27T03:18:34Z","creator":"fmuehlbo","checksum":"55426e463fdeafe9777fc3ff635154c7","file_size":662409,"file_name":"main.pdf","relation":"main_file","content_type":"application/pdf","success":1,"date_created":"2023-01-27T03:18:34Z","access_level":"open_access","file_id":"12408"}],"ddc":["005"],"oa":1,"keyword":["runtime monitoring","best effort","third party"],"abstract":[{"text":"As the complexity and criticality of software increase every year, so does the importance of run-time monitoring. Third-party monitoring, with limited knowledge of the monitored software, and best-effort monitoring, which keeps pace with the monitored software, are especially valuable, yet underexplored areas of run-time monitoring. Most existing monitoring frameworks do not support their combination because they either require access to the monitored code for instrumentation purposes or the processing of all observed events, or both.\r\n\r\nWe present a middleware framework, VAMOS, for the run-time monitoring of software which is explicitly designed to support third-party and best-effort scenarios. The design goals of VAMOS are (i) efficiency (keeping pace at low overhead), (ii) flexibility (the ability to monitor black-box code through a variety of different event channels, and the connectability to monitors written in different specification languages), and (iii) ease-of-use. To achieve its goals, VAMOS combines aspects of event broker and event recognition systems with aspects of stream processing systems.\r\n\r\nWe implemented a prototype toolchain for VAMOS and conducted experiments including a case study of monitoring for data races. The results indicate that VAMOS enables writing useful yet efficient monitors, is compatible with a variety of event sources and monitor specifications, and simplifies key aspects of setting up a monitoring system from scratch.","lang":"eng"}],"acknowledgement":"This work was supported in part by the ERC-2020-AdG 101020093. \r\nThe authors would like to thank the anonymous FASE reviewers for their valuable feedback and suggestions.","related_material":{"record":[{"relation":"later_version","status":"public","id":"12856"}]},"citation":{"short":"M. Chalupa, F. Mühlböck, S. Muroya Lei, T.A. Henzinger, VAMOS: Middleware for Best-Effort Third-Party Monitoring, Institute of Science and Technology Austria, 2023.","chicago":"Chalupa, Marek, Fabian Mühlböck, Stefanie Muroya Lei, and Thomas A Henzinger. VAMOS: Middleware for Best-Effort Third-Party Monitoring. Institute of Science and Technology Austria, 2023. https://doi.org/10.15479/AT:ISTA:12407.","apa":"Chalupa, M., Mühlböck, F., Muroya Lei, S., & Henzinger, T. A. (2023). VAMOS: Middleware for Best-Effort Third-Party Monitoring. Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:12407","mla":"Chalupa, Marek, et al. VAMOS: Middleware for Best-Effort Third-Party Monitoring. Institute of Science and Technology Austria, 2023, doi:10.15479/AT:ISTA:12407.","ista":"Chalupa M, Mühlböck F, Muroya Lei S, Henzinger TA. 2023. VAMOS: Middleware for Best-Effort Third-Party Monitoring, Institute of Science and Technology Austria, 38p.","ieee":"M. Chalupa, F. Mühlböck, S. Muroya Lei, and T. A. Henzinger, VAMOS: Middleware for Best-Effort Third-Party Monitoring. Institute of Science and Technology Austria, 2023.","ama":"Chalupa M, Mühlböck F, Muroya Lei S, Henzinger TA. VAMOS: Middleware for Best-Effort Third-Party Monitoring. Institute of Science and Technology Austria; 2023. doi:10.15479/AT:ISTA:12407"},"doi":"10.15479/AT:ISTA:12407","ec_funded":1,"has_accepted_license":"1","language":[{"iso":"eng"}],"publication_identifier":{"eissn":["2664-1690"]},"year":"2023","publisher":"Institute of Science and Technology Austria","date_updated":"2023-04-25T07:19:06Z","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","publication_status":"published","month":"01","date_published":"2023-01-27T00:00:00Z","department":[{"_id":"ToHe"}],"author":[{"last_name":"Chalupa","id":"87e34708-d6c6-11ec-9f5b-9391e7be2463","first_name":"Marek","full_name":"Chalupa, Marek"},{"orcid":"0000-0003-1548-0177","full_name":"Mühlböck, Fabian","first_name":"Fabian","id":"6395C5F6-89DF-11E9-9C97-6BDFE5697425","last_name":"Mühlböck"},{"id":"a376de31-8972-11ed-ae7b-d0251c13c8ff","first_name":"Stefanie","last_name":"Muroya Lei","full_name":"Muroya Lei, Stefanie"},{"last_name":"Henzinger","first_name":"Thomas A","id":"40876CD8-F248-11E8-B48F-1D18A9856A87","full_name":"Henzinger, Thomas A","orcid":"0000-0002-2985-7724"}],"article_processing_charge":"No","_id":"12407","type":"technical_report","file_date_updated":"2023-01-27T03:18:34Z","project":[{"call_identifier":"H2020","grant_number":"101020093","_id":"62781420-2b32-11ec-9570-8d9b63373d4d","name":"Vigilant Algorithmic Monitoring of Software"}],"oa_version":"Published Version","date_created":"2023-01-27T03:18:08Z","status":"public","title":"VAMOS: Middleware for Best-Effort Third-Party Monitoring","tmp":{"image":"/images/cc_by.png","short":"CC BY (4.0)","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode"},"day":"27"},{"author":[{"last_name":"Fäßler","id":"404F5528-F248-11E8-B48F-1D18A9856A87","first_name":"Florian","full_name":"Fäßler, Florian","orcid":"0000-0001-7149-769X"},{"full_name":"Javoor, Manjunath","last_name":"Javoor","first_name":"Manjunath","id":"305ab18b-dc7d-11ea-9b2f-b58195228ea2"},{"full_name":"Schur, Florian KM","orcid":"0000-0003-4790-8078","last_name":"Schur","id":"48AD8942-F248-11E8-B48F-1D18A9856A87","first_name":"Florian KM"}],"department":[{"_id":"FlSc"}],"project":[{"name":"Structure and isoform diversity of the Arp2/3 complex","_id":"9B954C5C-BA93-11EA-9121-9846C619BF3A","grant_number":"P33367"}],"oa_version":"Published Version","date_created":"2023-01-27T10:08:19Z","type":"journal_article","_id":"12421","article_processing_charge":"No","issue":"1","publication":"Biochemical Society Transactions","file_date_updated":"2023-03-16T07:58:16Z","tmp":{"image":"/images/cc_by.png","short":"CC BY (4.0)","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode"},"volume":51,"title":"Deciphering the molecular mechanisms of actin cytoskeleton regulation in cell migration using cryo-EM","status":"public","day":"01","scopus_import":"1","user_id":"4359f0d1-fa6c-11eb-b949-802e58b17ae8","publication_status":"published","publisher":"Portland Press","date_updated":"2023-08-01T12:55:32Z","date_published":"2023-02-01T00:00:00Z","month":"02","article_type":"original","acknowledgement":"We apologize for not being able to mention and cite additional excellent work that would have fit the scope of this review, due to space restraints. We thank Jesse Hansen for comments on the manuscript. We acknowledge support from the Austrian Science Fund (FWF): P33367 and the Institute of Science and Technology Austria.","doi":"10.1042/bst20220221","citation":{"ama":"Fäßler F, Javoor M, Schur FK. Deciphering the molecular mechanisms of actin cytoskeleton regulation in cell migration using cryo-EM. Biochemical Society Transactions. 2023;51(1):87-99. doi:10.1042/bst20220221","apa":"Fäßler, F., Javoor, M., & Schur, F. K. (2023). Deciphering the molecular mechanisms of actin cytoskeleton regulation in cell migration using cryo-EM. Biochemical Society Transactions. Portland Press. https://doi.org/10.1042/bst20220221","short":"F. Fäßler, M. Javoor, F.K. Schur, Biochemical Society Transactions 51 (2023) 87–99.","chicago":"Fäßler, Florian, Manjunath Javoor, and Florian KM Schur. “Deciphering the Molecular Mechanisms of Actin Cytoskeleton Regulation in Cell Migration Using Cryo-EM.” Biochemical Society Transactions. Portland Press, 2023. https://doi.org/10.1042/bst20220221.","ieee":"F. Fäßler, M. Javoor, and F. K. Schur, “Deciphering the molecular mechanisms of actin cytoskeleton regulation in cell migration using cryo-EM,” Biochemical Society Transactions, vol. 51, no. 1. Portland Press, pp. 87–99, 2023.","ista":"Fäßler F, Javoor M, Schur FK. 2023. Deciphering the molecular mechanisms of actin cytoskeleton regulation in cell migration using cryo-EM. Biochemical Society Transactions. 51(1), 87–99.","mla":"Fäßler, Florian, et al. “Deciphering the Molecular Mechanisms of Actin Cytoskeleton Regulation in Cell Migration Using Cryo-EM.” Biochemical Society Transactions, vol. 51, no. 1, Portland Press, 2023, pp. 87–99, doi:10.1042/bst20220221."},"quality_controlled":"1","has_accepted_license":"1","intvolume":" 51","year":"2023","publication_identifier":{"issn":["0300-5127"],"eissn":["1470-8752"]},"language":[{"iso":"eng"}],"isi":1,"page":"87-99","external_id":{"isi":["000926043100001"]},"oa":1,"ddc":["570"],"abstract":[{"lang":"eng","text":"The actin cytoskeleton plays a key role in cell migration and cellular morphodynamics in most eukaryotes. The ability of the actin cytoskeleton to assemble and disassemble in a spatiotemporally controlled manner allows it to form higher-order structures, which can generate forces required for a cell to explore and navigate through its environment. It is regulated not only via a complex synergistic and competitive interplay between actin-binding proteins (ABP), but also by filament biochemistry and filament geometry. The lack of structural insights into how geometry and ABPs regulate the actin cytoskeleton limits our understanding of the molecular mechanisms that define actin cytoskeleton remodeling and, in turn, impact emerging cell migration characteristics. With the advent of cryo-electron microscopy (cryo-EM) and advanced computational methods, it is now possible to define these molecular mechanisms involving actin and its interactors at both atomic and ultra-structural levels in vitro and in cellulo. In this review, we will provide an overview of the available cryo-EM methods, applicable to further our understanding of the actin cytoskeleton, specifically in the context of cell migration. We will discuss how these methods have been employed to elucidate ABP- and geometry-defined regulatory mechanisms in initiating, maintaining, and disassembling cellular actin networks in migratory protrusions."}],"keyword":["Biochemistry"],"file":[{"content_type":"application/pdf","success":1,"relation":"main_file","file_name":"2023_BioChemicalSocietyTransactions_Faessler.pdf","file_id":"12728","access_level":"open_access","date_created":"2023-03-16T07:58:16Z","date_updated":"2023-03-16T07:58:16Z","file_size":10045006,"checksum":"4e7069845e3dad22bb44fb71ec624c60","creator":"dernst"}]},{"intvolume":" 151","language":[{"iso":"eng"}],"publication_identifier":{"issn":["0002-9939"],"eissn":["1088-6826"]},"year":"2023","citation":{"mla":"Balestrieri, Francesca. “Some Remarks on Strong Approximation and Applications to Homogeneous Spaces of Linear Algebraic Groups.” Proceedings of the American Mathematical Society, vol. 151, no. 3, American Mathematical Society, 2023, pp. 907–14, doi:10.1090/proc/15239.","ista":"Balestrieri F. 2023. Some remarks on strong approximation and applications to homogeneous spaces of linear algebraic groups. Proceedings of the American Mathematical Society. 151(3), 907–914.","ieee":"F. Balestrieri, “Some remarks on strong approximation and applications to homogeneous spaces of linear algebraic groups,” Proceedings of the American Mathematical Society, vol. 151, no. 3. American Mathematical Society, pp. 907–914, 2023.","chicago":"Balestrieri, Francesca. “Some Remarks on Strong Approximation and Applications to Homogeneous Spaces of Linear Algebraic Groups.” Proceedings of the American Mathematical Society. American Mathematical Society, 2023. https://doi.org/10.1090/proc/15239.","short":"F. Balestrieri, Proceedings of the American Mathematical Society 151 (2023) 907–914.","apa":"Balestrieri, F. (2023). Some remarks on strong approximation and applications to homogeneous spaces of linear algebraic groups. Proceedings of the American Mathematical Society. American Mathematical Society. https://doi.org/10.1090/proc/15239","ama":"Balestrieri F. Some remarks on strong approximation and applications to homogeneous spaces of linear algebraic groups. Proceedings of the American Mathematical Society. 2023;151(3):907-914. doi:10.1090/proc/15239"},"doi":"10.1090/proc/15239","quality_controlled":"1","oa":1,"abstract":[{"lang":"eng","text":"Let k be a number field and X a smooth, geometrically integral quasi-projective variety over k. For any linear algebraic group G over k and any G-torsor g : Z → X, we observe that if the étale-Brauer obstruction is the only one for strong approximation off a finite set of places S for all twists of Z by elements in H^1(k, G), then the étale-Brauer obstruction is the only one for strong approximation off a finite set of places S for X. As an application, we show that any homogeneous space of the form G/H with G a connected linear algebraic group over k satisfies strong approximation off the infinite places with étale-Brauer obstruction, under some compactness assumptions when k is totally real. We also prove more refined strong approximation results for homogeneous spaces of the form G/H with G semisimple simply connected and H finite, using the theory of torsors and descent."}],"external_id":{"isi":["000898440000001"]},"page":"907-914","isi":1,"status":"public","title":"Some remarks on strong approximation and applications to homogeneous spaces of linear algebraic groups","volume":151,"day":"01","department":[{"_id":"TiBr"}],"author":[{"last_name":"Balestrieri","id":"3ACCD756-F248-11E8-B48F-1D18A9856A87","first_name":"Francesca","full_name":"Balestrieri, Francesca"}],"_id":"12427","type":"journal_article","issue":"3","article_processing_charge":"No","publication":"Proceedings of the American Mathematical Society","date_created":"2023-01-29T23:00:58Z","oa_version":"Preprint","publisher":"American Mathematical Society","date_updated":"2023-08-01T13:03:32Z","user_id":"4359f0d1-fa6c-11eb-b949-802e58b17ae8","publication_status":"published","month":"01","date_published":"2023-01-01T00:00:00Z","article_type":"original","scopus_import":"1","main_file_link":[{"url":"https://hal.science/hal-03013498/","open_access":"1"}]},{"day":"19","status":"public","tmp":{"image":"/images/cc_by.png","short":"CC BY (4.0)","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode"},"title":"A Guide Toward Multi-scale and Quantitative Branching Analysis in the Mammary Gland","volume":2608,"file_date_updated":"2023-02-03T10:56:39Z","publication":"Cell Migration in Three Dimensions","article_processing_charge":"No","_id":"12428","type":"book_chapter","oa_version":"Published Version","date_created":"2023-01-29T23:00:58Z","department":[{"_id":"EdHa"}],"author":[{"last_name":"Hannezo","id":"3A9DB764-F248-11E8-B48F-1D18A9856A87","first_name":"Edouard B","orcid":"0000-0001-6005-1561","full_name":"Hannezo, Edouard B"},{"first_name":"Colinda L.G.J.","last_name":"Scheele","full_name":"Scheele, Colinda L.G.J."}],"date_published":"2023-01-19T00:00:00Z","month":"01","date_updated":"2023-02-03T10:58:56Z","publisher":"Springer Nature","publication_status":"published","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","series_title":"MIMB","scopus_import":"1","publication_identifier":{"isbn":["9781071628867"],"eisbn":["9781071628874"],"eissn":["1940-6029"]},"language":[{"iso":"eng"}],"year":"2023","intvolume":" 2608","pmid":1,"has_accepted_license":"1","quality_controlled":"1","doi":"10.1007/978-1-0716-2887-4_12","citation":{"short":"E.B. Hannezo, C.L.G.J. Scheele, in:, C. Margadant (Ed.), Cell Migration in Three Dimensions, Springer Nature, 2023, pp. 183–205.","chicago":"Hannezo, Edouard B, and Colinda L.G.J. Scheele. “A Guide Toward Multi-Scale and Quantitative Branching Analysis in the Mammary Gland.” In Cell Migration in Three Dimensions, edited by Coert Margadant, 2608:183–205. MIMB. Springer Nature, 2023. https://doi.org/10.1007/978-1-0716-2887-4_12.","apa":"Hannezo, E. B., & Scheele, C. L. G. J. (2023). A Guide Toward Multi-scale and Quantitative Branching Analysis in the Mammary Gland. In C. Margadant (Ed.), Cell Migration in Three Dimensions (Vol. 2608, pp. 183–205). Springer Nature. https://doi.org/10.1007/978-1-0716-2887-4_12","mla":"Hannezo, Edouard B., and Colinda L. G. J. Scheele. “A Guide Toward Multi-Scale and Quantitative Branching Analysis in the Mammary Gland.” Cell Migration in Three Dimensions, edited by Coert Margadant, vol. 2608, Springer Nature, 2023, pp. 183–205, doi:10.1007/978-1-0716-2887-4_12.","ieee":"E. B. Hannezo and C. L. G. J. Scheele, “A Guide Toward Multi-scale and Quantitative Branching Analysis in the Mammary Gland,” in Cell Migration in Three Dimensions, vol. 2608, C. Margadant, Ed. Springer Nature, 2023, pp. 183–205.","ista":"Hannezo EB, Scheele CLGJ. 2023.A Guide Toward Multi-scale and Quantitative Branching Analysis in the Mammary Gland. In: Cell Migration in Three Dimensions. Methods in Molecular Biology, vol. 2608, 183–205.","ama":"Hannezo EB, Scheele CLGJ. A Guide Toward Multi-scale and Quantitative Branching Analysis in the Mammary Gland. In: Margadant C, ed. Cell Migration in Three Dimensions. Vol 2608. MIMB. Springer Nature; 2023:183-205. doi:10.1007/978-1-0716-2887-4_12"},"file":[{"checksum":"aec1b8d3ba938ddf9d8fcb777f3c38ee","file_size":826598,"creator":"dernst","date_updated":"2023-02-03T10:56:39Z","file_id":"12500","access_level":"open_access","date_created":"2023-02-03T10:56:39Z","success":1,"content_type":"application/pdf","relation":"main_file","file_name":"2023_MIMB_Hannezo.pdf"}],"abstract":[{"lang":"eng","text":"The mammary gland consists of a bilayered epithelial structure with an extensively branched morphology. The majority of this epithelial tree is laid down during puberty, during which actively proliferating terminal end buds repeatedly elongate and bifurcate to form the basic structure of the ductal tree. Mammary ducts consist of a basal and luminal cell layer with a multitude of identified sub-lineages within both layers. The understanding of how these different cell lineages are cooperatively driving branching morphogenesis is a problem of crossing multiple scales, as this requires information on the macroscopic branched structure of the gland, as well as data on single-cell dynamics driving the morphogenic program. Here we describe a method to combine genetic lineage tracing with whole-gland branching analysis. Quantitative data on the global organ structure can be used to derive a model for mammary gland branching morphogenesis and provide a backbone on which the dynamics of individual cell lineages can be simulated and compared to lineage-tracing approaches. Eventually, these quantitative models and experiments allow to understand the couplings between the macroscopic shape of the mammary gland and the underlying single-cell dynamics driving branching morphogenesis."}],"ddc":["570"],"oa":1,"editor":[{"full_name":"Margadant, Coert","last_name":"Margadant","first_name":"Coert"}],"external_id":{"pmid":["36653709"]},"alternative_title":["Methods in Molecular Biology"],"page":"183-205"},{"scopus_import":"1","date_updated":"2023-08-16T11:41:42Z","publisher":"Wiley","publication_status":"published","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","article_type":"original","date_published":"2023-04-01T00:00:00Z","month":"04","department":[{"_id":"JuFi"}],"author":[{"full_name":"Agresti, Antonio","orcid":"0000-0002-9573-2962","last_name":"Agresti","first_name":"Antonio","id":"673cd0cc-9b9a-11eb-b144-88f30e1fbb72"},{"full_name":"Lindemulder, Nick","last_name":"Lindemulder","first_name":"Nick"},{"full_name":"Veraar, Mark","first_name":"Mark","last_name":"Veraar"}],"file_date_updated":"2023-08-16T11:40:02Z","publication":"Mathematische Nachrichten","type":"journal_article","_id":"12429","issue":"4","article_processing_charge":"No","oa_version":"Published Version","date_created":"2023-01-29T23:00:59Z","status":"public","tmp":{"image":"/images/cc_by_nc.png","legal_code_url":"https://creativecommons.org/licenses/by-nc/4.0/legalcode","short":"CC BY-NC (4.0)","name":"Creative Commons Attribution-NonCommercial 4.0 International (CC BY-NC 4.0)"},"volume":296,"title":"On the trace embedding and its applications to evolution equations","day":"01","external_id":{"arxiv":["2104.05063"],"isi":["000914134900001"]},"license":"https://creativecommons.org/licenses/by-nc/4.0/","page":"1319-1350","isi":1,"file":[{"file_id":"14067","access_level":"open_access","date_created":"2023-08-16T11:40:02Z","content_type":"application/pdf","success":1,"file_name":"2023_MathNachrichten_Agresti.pdf","relation":"main_file","checksum":"6f099f1d064173784d1a27716a2cc795","file_size":449280,"creator":"dernst","date_updated":"2023-08-16T11:40:02Z"}],"abstract":[{"text":"In this paper, we consider traces at initial times for functions with mixed time-space smoothness. Such results are often needed in the theory of evolution equations. Our result extends and unifies many previous results. Our main improvement is that we can allow general interpolation couples. The abstract results are applied to regularity problems for fractional evolution equations and stochastic evolution equations, where uniform trace estimates on the half-line are shown.","lang":"eng"}],"oa":1,"ddc":["510"],"acknowledgement":"The first author has been partially supported by the Nachwuchsring—Network for the promotion of young scientists—at TU Kaiserslautern. The second and third authors were supported by the Vidi subsidy 639.032.427 of the Netherlands Organisation for Scientific Research (NWO).","quality_controlled":"1","doi":"10.1002/mana.202100192","citation":{"apa":"Agresti, A., Lindemulder, N., & Veraar, M. (2023). On the trace embedding and its applications to evolution equations. Mathematische Nachrichten. Wiley. https://doi.org/10.1002/mana.202100192","chicago":"Agresti, Antonio, Nick Lindemulder, and Mark Veraar. “On the Trace Embedding and Its Applications to Evolution Equations.” Mathematische Nachrichten. Wiley, 2023. https://doi.org/10.1002/mana.202100192.","short":"A. Agresti, N. Lindemulder, M. Veraar, Mathematische Nachrichten 296 (2023) 1319–1350.","ista":"Agresti A, Lindemulder N, Veraar M. 2023. On the trace embedding and its applications to evolution equations. Mathematische Nachrichten. 296(4), 1319–1350.","ieee":"A. Agresti, N. Lindemulder, and M. Veraar, “On the trace embedding and its applications to evolution equations,” Mathematische Nachrichten, vol. 296, no. 4. Wiley, pp. 1319–1350, 2023.","mla":"Agresti, Antonio, et al. “On the Trace Embedding and Its Applications to Evolution Equations.” Mathematische Nachrichten, vol. 296, no. 4, Wiley, 2023, pp. 1319–50, doi:10.1002/mana.202100192.","ama":"Agresti A, Lindemulder N, Veraar M. On the trace embedding and its applications to evolution equations. Mathematische Nachrichten. 2023;296(4):1319-1350. doi:10.1002/mana.202100192"},"intvolume":" 296","arxiv":1,"has_accepted_license":"1","publication_identifier":{"eissn":["1522-2616"],"issn":["0025-584X"]},"language":[{"iso":"eng"}],"year":"2023"},{"external_id":{"arxiv":["2301.11175"]},"alternative_title":["LNCS"],"page":"349-370","file":[{"file_name":"qsl.pdf","relation":"main_file","content_type":"application/pdf","success":1,"date_created":"2023-01-31T07:22:21Z","access_level":"open_access","file_id":"12468","date_updated":"2023-01-31T07:22:21Z","creator":"esarac","file_size":449027,"checksum":"981025aed580b6b27c426cb8856cf63e"},{"date_updated":"2023-06-19T10:28:09Z","creator":"dernst","file_size":1048171,"checksum":"f16e2af1e0eb243158ab0f0fe74e7d5a","relation":"main_file","file_name":"2023_LNCS_HenzingerT.pdf","success":1,"content_type":"application/pdf","date_created":"2023-06-19T10:28:09Z","access_level":"open_access","file_id":"13153"}],"abstract":[{"text":"Safety and liveness are elementary concepts of computation, and the foundation of many verification paradigms. The safety-liveness classification of boolean properties characterizes whether a given property can be falsified by observing a finite prefix of an infinite computation trace (always for safety, never for liveness). In quantitative specification and verification, properties assign not truth values, but quantitative values to infinite traces (e.g., a cost, or the distance to a boolean property). We introduce quantitative safety and liveness, and we prove that our definitions induce conservative quantitative generalizations of both (1)~the safety-progress hierarchy of boolean properties and (2)~the safety-liveness decomposition of boolean properties. In particular, we show that every quantitative property can be written as the pointwise minimum of a quantitative safety property and a quantitative liveness property. Consequently, like boolean properties, also quantitative properties can be min-decomposed into safety and liveness parts, or alternatively, max-decomposed into co-safety and co-liveness parts. Moreover, quantitative properties can be approximated naturally. We prove that every quantitative property that has both safe and co-safe approximations can be monitored arbitrarily precisely by a monitor that uses only a finite number of states.","lang":"eng"}],"oa":1,"ddc":["000"],"quality_controlled":"1","ec_funded":1,"doi":"10.1007/978-3-031-30829-1_17","citation":{"ama":"Henzinger TA, Mazzocchi NA, Sarac NE. Quantitative safety and liveness. In: 26th International Conference Foundations of Software Science and Computation Structures. Vol 13992. Springer Nature; 2023:349-370. doi:10.1007/978-3-031-30829-1_17","apa":"Henzinger, T. A., Mazzocchi, N. A., & Sarac, N. E. (2023). Quantitative safety and liveness. In 26th International Conference Foundations of Software Science and Computation Structures (Vol. 13992, pp. 349–370). Paris, France: Springer Nature. https://doi.org/10.1007/978-3-031-30829-1_17","chicago":"Henzinger, Thomas A, Nicolas Adrien Mazzocchi, and Naci E Sarac. “Quantitative Safety and Liveness.” In 26th International Conference Foundations of Software Science and Computation Structures, 13992:349–70. Springer Nature, 2023. https://doi.org/10.1007/978-3-031-30829-1_17.","short":"T.A. Henzinger, N.A. Mazzocchi, N.E. Sarac, in:, 26th International Conference Foundations of Software Science and Computation Structures, Springer Nature, 2023, pp. 349–370.","ieee":"T. A. Henzinger, N. A. Mazzocchi, and N. E. Sarac, “Quantitative safety and liveness,” in 26th International Conference Foundations of Software Science and Computation Structures, Paris, France, 2023, vol. 13992, pp. 349–370.","ista":"Henzinger TA, Mazzocchi NA, Sarac NE. 2023. Quantitative safety and liveness. 26th International Conference Foundations of Software Science and Computation Structures. FOSSACS: Foundations of Software Science and Computation Structures, LNCS, vol. 13992, 349–370.","mla":"Henzinger, Thomas A., et al. “Quantitative Safety and Liveness.” 26th International Conference Foundations of Software Science and Computation Structures, vol. 13992, Springer Nature, 2023, pp. 349–70, doi:10.1007/978-3-031-30829-1_17."},"acknowledgement":"We thank the anonymous reviewers for their helpful comments. This work was supported in part by the ERC-2020-AdG 101020093.","conference":{"name":"FOSSACS: Foundations of Software Science and Computation Structures","location":"Paris, France","end_date":"2023-04-27","start_date":"2023-04-22"},"language":[{"iso":"eng"}],"publication_identifier":{"eissn":["1611-3349"],"isbn":["9783031308284"],"issn":["0302-9743"]},"year":"2023","arxiv":1,"intvolume":" 13992","has_accepted_license":"1","scopus_import":"1","month":"04","date_published":"2023-04-21T00:00:00Z","date_updated":"2023-07-14T11:20:27Z","publisher":"Springer Nature","publication_status":"published","user_id":"8b945eb4-e2f2-11eb-945a-df72226e66a9","publication":"26th International Conference Foundations of Software Science and Computation Structures","file_date_updated":"2023-06-19T10:28:09Z","_id":"12467","article_processing_charge":"No","type":"conference","oa_version":"Published Version","date_created":"2023-01-31T07:23:56Z","project":[{"call_identifier":"H2020","grant_number":"101020093","name":"Vigilant Algorithmic Monitoring of Software","_id":"62781420-2b32-11ec-9570-8d9b63373d4d"}],"department":[{"_id":"GradSch"},{"_id":"ToHe"}],"author":[{"orcid":"0000-0002-2985-7724","full_name":"Henzinger, Thomas A","last_name":"Henzinger","id":"40876CD8-F248-11E8-B48F-1D18A9856A87","first_name":"Thomas A"},{"full_name":"Mazzocchi, Nicolas Adrien","first_name":"Nicolas Adrien","id":"b26baa86-3308-11ec-87b0-8990f34baa85","last_name":"Mazzocchi"},{"id":"8C6B42F8-C8E6-11E9-A03A-F2DCE5697425","first_name":"Naci E","last_name":"Sarac","full_name":"Sarac, Naci E"}],"day":"21","status":"public","title":"Quantitative safety and liveness","tmp":{"image":"/images/cc_by.png","short":"CC BY (4.0)","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode"},"volume":13992},{"isi":1,"external_id":{"isi":["000961542100001"],"pmid":["PPR559293 "]},"abstract":[{"text":"Hosts can carry many viruses in their bodies, but not all of them cause disease. We studied ants as a social host to determine both their overall viral repertoire and the subset of actively infecting viruses across natural populations of three subfamilies: the Argentine ant (Linepithema humile, Dolichoderinae), the invasive garden ant (Lasius neglectus, Formicinae) and the red ant (Myrmica rubra, Myrmicinae). We used a dual sequencing strategy to reconstruct complete virus genomes by RNA-seq and to simultaneously determine the small interfering RNAs (siRNAs) by small RNA sequencing (sRNA-seq), which constitute the host antiviral RNAi immune response. This approach led to the discovery of 41 novel viruses in ants and revealed a host ant-specific RNAi response (21 vs. 22 nt siRNAs) in the different ant species. The efficiency of the RNAi response (sRNA/RNA read count ratio) depended on the virus and the respective ant species, but not its population. Overall, we found the highest virus abundance and diversity per population in Li. humile, followed by La. neglectus and M. rubra. Argentine ants also shared a high proportion of viruses between populations, whilst overlap was nearly absent in M. rubra. Only one of the 59 viruses was found to infect two of the ant species as hosts, revealing high host-specificity in active infections. In contrast, six viruses actively infected one ant species, but were found as contaminants only in the others. Disentangling spillover of disease-causing infection from non-infecting contamination across species is providing relevant information for disease ecology and ecosystem management.","lang":"eng"}],"ddc":["570"],"oa":1,"file":[{"checksum":"cd52292963acce1111634d9fac08c699","file_size":4866332,"creator":"dernst","date_updated":"2023-04-17T07:49:09Z","file_id":"12843","access_level":"open_access","date_created":"2023-04-17T07:49:09Z","success":1,"content_type":"application/pdf","file_name":"2023_FrontMicrobiology_Viljakainen.pdf","relation":"main_file"}],"quality_controlled":"1","citation":{"chicago":"Viljakainen, Lumi, Matthias Fürst, Anna V Grasse, Jaana Jurvansuu, Jinook Oh, Lassi Tolonen, Thomas Eder, Thomas Rattei, and Sylvia Cremer. “Antiviral Immune Response Reveals Host-Specific Virus Infections in Natural Ant Populations.” Frontiers in Microbiology. Frontiers, 2023. https://doi.org/10.3389/fmicb.2023.1119002.","short":"L. Viljakainen, M. Fürst, A.V. Grasse, J. Jurvansuu, J. Oh, L. Tolonen, T. Eder, T. Rattei, S. Cremer, Frontiers in Microbiology 14 (2023).","apa":"Viljakainen, L., Fürst, M., Grasse, A. V., Jurvansuu, J., Oh, J., Tolonen, L., … Cremer, S. (2023). Antiviral immune response reveals host-specific virus infections in natural ant populations. Frontiers in Microbiology. Frontiers. https://doi.org/10.3389/fmicb.2023.1119002","mla":"Viljakainen, Lumi, et al. “Antiviral Immune Response Reveals Host-Specific Virus Infections in Natural Ant Populations.” Frontiers in Microbiology, vol. 14, 1119002, Frontiers, 2023, doi:10.3389/fmicb.2023.1119002.","ista":"Viljakainen L, Fürst M, Grasse AV, Jurvansuu J, Oh J, Tolonen L, Eder T, Rattei T, Cremer S. 2023. Antiviral immune response reveals host-specific virus infections in natural ant populations. Frontiers in Microbiology. 14, 1119002.","ieee":"L. Viljakainen et al., “Antiviral immune response reveals host-specific virus infections in natural ant populations,” Frontiers in Microbiology, vol. 14. Frontiers, 2023.","ama":"Viljakainen L, Fürst M, Grasse AV, et al. Antiviral immune response reveals host-specific virus infections in natural ant populations. Frontiers in Microbiology. 2023;14. doi:10.3389/fmicb.2023.1119002"},"doi":"10.3389/fmicb.2023.1119002","acknowledgement":"We thank D.J. Obbard for sharing the details of the dual RNA-seq/sRNA-seq approach, S.\r\nMetzler and R. Ferrigato for the photographs (Figure 1), M. Konrad, B. Casillas-Perez, C.D.\r\nPull and X. Espadaler for help with ant collection, and the Social Immunity Team at IST\r\nAustria, in particular J. Robb, A. Franschitz, E. Naderlinger, E. Dawson and B. Casillas-Perez\r\nfor support and comments on the manuscript. The study was funded by the Austrian Science\r\nFund (FWF; M02076-B25 to MAF) and the Academy of Finland (343022 to LV). ","year":"2023","publication_identifier":{"eissn":["1664-302X"]},"language":[{"iso":"eng"}],"has_accepted_license":"1","intvolume":" 14","pmid":1,"scopus_import":"1","article_type":"original","month":"03","date_published":"2023-03-16T00:00:00Z","publication_status":"published","user_id":"4359f0d1-fa6c-11eb-b949-802e58b17ae8","date_updated":"2023-08-01T12:39:58Z","publisher":"Frontiers","date_created":"2023-01-31T08:13:40Z","oa_version":"Published Version","project":[{"call_identifier":"FWF","grant_number":"M02076","_id":"25DF61D8-B435-11E9-9278-68D0E5697425","name":"Viral pathogens and social immunity in ants"}],"file_date_updated":"2023-04-17T07:49:09Z","publication":"Frontiers in Microbiology","_id":"12469","article_processing_charge":"Yes (via OA deal)","type":"journal_article","author":[{"first_name":"Lumi","last_name":"Viljakainen","full_name":"Viljakainen, Lumi"},{"full_name":"Fürst, Matthias","orcid":"0000-0002-3712-925X","last_name":"Fürst","first_name":"Matthias","id":"393B1196-F248-11E8-B48F-1D18A9856A87"},{"full_name":"Grasse, Anna V","last_name":"Grasse","first_name":"Anna V","id":"406F989C-F248-11E8-B48F-1D18A9856A87"},{"last_name":"Jurvansuu","first_name":"Jaana","full_name":"Jurvansuu, Jaana"},{"orcid":"0000-0001-7425-2372","full_name":"Oh, Jinook","last_name":"Oh","id":"403169A4-080F-11EA-9993-BF3F3DDC885E","first_name":"Jinook"},{"last_name":"Tolonen","first_name":"Lassi","full_name":"Tolonen, Lassi"},{"first_name":"Thomas","last_name":"Eder","full_name":"Eder, Thomas"},{"full_name":"Rattei, Thomas","last_name":"Rattei","first_name":"Thomas"},{"orcid":"0000-0002-2193-3868","full_name":"Cremer, Sylvia","id":"2F64EC8C-F248-11E8-B48F-1D18A9856A87","first_name":"Sylvia","last_name":"Cremer"}],"department":[{"_id":"SyCr"}],"day":"16","volume":14,"tmp":{"image":"/images/cc_by.png","short":"CC BY (4.0)","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode"},"title":"Antiviral immune response reveals host-specific virus infections in natural ant populations","status":"public","article_number":"1119002"},{"supervisor":[{"full_name":"Danzl, Johann G","orcid":"0000-0001-8559-3973","first_name":"Johann G","id":"42EFD3B6-F248-11E8-B48F-1D18A9856A87","last_name":"Danzl"}],"alternative_title":["ISTA Thesis"],"page":"201","abstract":[{"lang":"eng","text":"The brain is an exceptionally sophisticated organ consisting of billions of cells and trillions of \r\nconnections that orchestrate our cognition and behavior. To decode its complex connectivity, it is \r\npivotal to disentangle its intricate architecture spanning from cm-sized circuits down to tens of \r\nnm-small synapses.\r\nTo achieve this goal, I developed CATS – Comprehensive Analysis of nervous Tissue across \r\nScales, a versatile toolbox for obtaining a holistic view of nervous tissue context with (super\u0002resolution) fluorescence microscopy. CATS combines comprehensive labeling of the extracellular\r\nspace, that is compatible with chemical fixation, with information on molecular markers, super\u0002resolved data acquisition and machine-learning based data analysis for segmentation and synapse \r\nidentification.\r\nI used CATS to analyze key features of nervous tissue connectivity, ranging from whole tissue \r\narchitecture, neuronal in- and output-fields, down to synapse morphology.\r\nFocusing on the hippocampal circuitry, I quantified synaptic transmission properties of mossy \r\nfiber boutons and analyzed the connectivity pattern of dentate gyrus granule cells with CA3 \r\npyramidal neurons. This shows that CATS is a viable tool to study hallmarks of neuronal \r\nconnectivity with light microscopy."}],"degree_awarded":"PhD","ddc":["610"],"oa":1,"file":[{"file_id":"12471","access_level":"open_access","date_created":"2023-01-31T15:11:42Z","content_type":"application/pdf","relation":"main_file","file_name":"20230109_PhD_thesis_JM_final.pdf","embargo":"2023-07-09","file_size":41771714,"checksum":"1a2306e5f59f52df598e7ecfadf921ac","creator":"cchlebak","date_updated":"2023-07-27T22:30:54Z"},{"date_updated":"2023-07-10T22:30:04Z","checksum":"0bebbdee0773443959e1f6ab8caf281f","file_size":66983464,"creator":"cchlebak","content_type":"application/vnd.openxmlformats-officedocument.wordprocessingml.document","relation":"source_file","file_name":"20230109_PhD_thesis_JM_final.docx","file_id":"12472","embargo_to":"open_access","date_created":"2023-01-31T15:11:51Z","access_level":"closed"}],"ec_funded":1,"citation":{"apa":"Michalska, J. M. (2023). A versatile toolbox for the comprehensive analysis of nervous tissue organization with light microscopy. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:12470","chicago":"Michalska, Julia M. “A Versatile Toolbox for the Comprehensive Analysis of Nervous Tissue Organization with Light Microscopy.” Institute of Science and Technology Austria, 2023. https://doi.org/10.15479/at:ista:12470.","short":"J.M. Michalska, A Versatile Toolbox for the Comprehensive Analysis of Nervous Tissue Organization with Light Microscopy, Institute of Science and Technology Austria, 2023.","ista":"Michalska JM. 2023. A versatile toolbox for the comprehensive analysis of nervous tissue organization with light microscopy. Institute of Science and Technology Austria.","ieee":"J. M. Michalska, “A versatile toolbox for the comprehensive analysis of nervous tissue organization with light microscopy,” Institute of Science and Technology Austria, 2023.","mla":"Michalska, Julia M. A Versatile Toolbox for the Comprehensive Analysis of Nervous Tissue Organization with Light Microscopy. Institute of Science and Technology Austria, 2023, doi:10.15479/at:ista:12470.","ama":"Michalska JM. A versatile toolbox for the comprehensive analysis of nervous tissue organization with light microscopy. 2023. doi:10.15479/at:ista:12470"},"doi":"10.15479/at:ista:12470","related_material":{"record":[{"relation":"part_of_dissertation","status":"public","id":"11943"},{"id":"11950","status":"public","relation":"part_of_dissertation"}]},"year":"2023","language":[{"iso":"eng"}],"publication_identifier":{"isbn":[" 978-3-99078-026-8"],"issn":["2663-337X"]},"has_accepted_license":"1","month":"01","date_published":"2023-01-09T00:00:00Z","publication_status":"published","user_id":"8b945eb4-e2f2-11eb-945a-df72226e66a9","date_updated":"2023-08-31T12:26:58Z","publisher":"Institute of Science and Technology Austria","date_created":"2023-01-31T15:10:53Z","oa_version":"Published Version","project":[{"grant_number":"665385","call_identifier":"H2020","_id":"2564DBCA-B435-11E9-9278-68D0E5697425","name":"International IST Doctoral Program"},{"grant_number":"W1232-B24","call_identifier":"FWF","_id":"26AA4EF2-B435-11E9-9278-68D0E5697425","name":"Molecular Drug Targets"}],"file_date_updated":"2023-07-27T22:30:54Z","type":"dissertation","_id":"12470","article_processing_charge":"No","author":[{"first_name":"Julia M","id":"443DB6DE-F248-11E8-B48F-1D18A9856A87","last_name":"Michalska","full_name":"Michalska, Julia M","orcid":"0000-0003-3862-1235"}],"acknowledged_ssus":[{"_id":"Bio"},{"_id":"LifeSc"},{"_id":"PreCl"},{"_id":"EM-Fac"},{"_id":"M-Shop"},{"_id":"ScienComp"}],"department":[{"_id":"GradSch"},{"_id":"JoDa"}],"day":"09","tmp":{"image":"/images/cc_by.png","short":"CC BY (4.0)","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode"},"title":"A versatile toolbox for the comprehensive analysis of nervous tissue organization with light microscopy","status":"public"}]