[{"publication_identifier":{"eissn":["2522-5820"]},"scopus_import":"1","date_published":"2023-01-01T00:00:00Z","external_id":{"isi":["000890148700002"]},"keyword":["General Physics and Astronomy"],"page":"62-72","doi":"10.1038/s42254-022-00539-y","language":[{"iso":"eng"}],"department":[{"_id":"BjHo"}],"article_processing_charge":"No","user_id":"4359f0d1-fa6c-11eb-b949-802e58b17ae8","date_updated":"2023-08-01T12:50:48Z","type":"journal_article","oa_version":"None","day":"01","intvolume":" 5","isi":1,"date_created":"2023-01-12T12:10:18Z","month":"01","status":"public","volume":5,"publisher":"Springer Nature","article_type":"original","title":"Directed percolation and the transition to turbulence","publication":"Nature Reviews Physics","_id":"12165","publication_status":"published","abstract":[{"text":"It may come as a surprise that a phenomenon as ubiquitous and prominent as the transition from laminar to turbulent flow has resisted combined efforts by physicists, engineers and mathematicians, and remained unresolved for almost one and a half centuries. In recent years, various studies have proposed analogies to directed percolation, a well-known universality class in statistical mechanics, which describes a non-equilibrium phase transition from a fluctuating active phase into an absorbing state. It is this unlikely relation between the multiscale, high-dimensional dynamics that signify the transition process in virtually all flows of practical relevance, and the arguably most basic non-equilibrium phase transition, that so far has mainly been the subject of model studies, which I review in this Perspective.","lang":"eng"}],"citation":{"ieee":"B. Hof, “Directed percolation and the transition to turbulence,” Nature Reviews Physics, vol. 5. Springer Nature, pp. 62–72, 2023.","ama":"Hof B. Directed percolation and the transition to turbulence. Nature Reviews Physics. 2023;5:62-72. doi:10.1038/s42254-022-00539-y","chicago":"Hof, Björn. “Directed Percolation and the Transition to Turbulence.” Nature Reviews Physics. Springer Nature, 2023. https://doi.org/10.1038/s42254-022-00539-y.","short":"B. Hof, Nature Reviews Physics 5 (2023) 62–72.","ista":"Hof B. 2023. Directed percolation and the transition to turbulence. Nature Reviews Physics. 5, 62–72.","mla":"Hof, Björn. “Directed Percolation and the Transition to Turbulence.” Nature Reviews Physics, vol. 5, Springer Nature, 2023, pp. 62–72, doi:10.1038/s42254-022-00539-y.","apa":"Hof, B. (2023). Directed percolation and the transition to turbulence. Nature Reviews Physics. Springer Nature. https://doi.org/10.1038/s42254-022-00539-y"},"author":[{"first_name":"Björn","last_name":"Hof","id":"3A374330-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0003-2057-2754","full_name":"Hof, Björn"}],"quality_controlled":"1","year":"2023"},{"type":"journal_article","date_updated":"2023-08-16T09:08:11Z","oa_version":"None","day":"20","article_processing_charge":"No","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","doi":"10.1016/j.matpr.2022.11.037","language":[{"iso":"eng"}],"department":[{"_id":"BjHo"}],"date_published":"2023-03-20T00:00:00Z","keyword":["General Medicine"],"page":"40-47","publication_identifier":{"issn":["2214-7853"]},"scopus_import":"1","year":"2023","citation":{"ista":"Khatoon B, Kamil S, Babu H, Siraj Alam M. 2023. Experimental analysis of Cascade CSTRs with step and pulse inputs. Materials Today: Proceedings. 78(Part 1), 40–47.","chicago":"Khatoon, Bushra, Shoaib Kamil, Hitesh Babu, and M. Siraj Alam. “Experimental Analysis of Cascade CSTRs with Step and Pulse Inputs.” Materials Today: Proceedings. Elsevier, 2023. https://doi.org/10.1016/j.matpr.2022.11.037.","short":"B. Khatoon, S. Kamil, H. Babu, M. Siraj Alam, Materials Today: Proceedings 78 (2023) 40–47.","ieee":"B. Khatoon, S. Kamil, H. Babu, and M. Siraj Alam, “Experimental analysis of Cascade CSTRs with step and pulse inputs,” Materials Today: Proceedings, vol. 78, no. Part 1. Elsevier, pp. 40–47, 2023.","ama":"Khatoon B, Kamil S, Babu H, Siraj Alam M. Experimental analysis of Cascade CSTRs with step and pulse inputs. Materials Today: Proceedings. 2023;78(Part 1):40-47. doi:10.1016/j.matpr.2022.11.037","mla":"Khatoon, Bushra, et al. “Experimental Analysis of Cascade CSTRs with Step and Pulse Inputs.” Materials Today: Proceedings, vol. 78, no. Part 1, Elsevier, 2023, pp. 40–47, doi:10.1016/j.matpr.2022.11.037.","apa":"Khatoon, B., Kamil, S., Babu, H., & Siraj Alam, M. (2023). Experimental analysis of Cascade CSTRs with step and pulse inputs. Materials Today: Proceedings. Elsevier. https://doi.org/10.1016/j.matpr.2022.11.037"},"quality_controlled":"1","author":[{"full_name":"Khatoon, Bushra","first_name":"Bushra","last_name":"Khatoon"},{"last_name":"Kamil","first_name":"Shoaib","id":"185a19af-dc7d-11ea-9b2f-8eb2201959e9","full_name":"Kamil, Shoaib"},{"full_name":"Babu, Hitesh","last_name":"Babu","first_name":"Hitesh"},{"last_name":"Siraj Alam","first_name":"M.","full_name":"Siraj Alam, M."}],"publication_status":"published","abstract":[{"lang":"eng","text":"In industrial reactors and equipment, non-ideality is quite a common phenomenon rather than an exception. These deviations from ideality impact the process's overall efficiency and the effectiveness of the equipment. To recognize the associated non-ideality, one needs to have enough understanding of the formulation of the equations and in-depth knowledge of the residence time distribution (RTD) data of real reactors. In the current work, step input and pulse input were used to create RTD data for Cascade continuous stirred tank reactors (CSTRs). For the aforementioned configuration, experiments were run at various flow rates to validate the developed characteristic equations. To produce RTD data, distilled water was utilized as the flowing fluid, and NaOH was the tracer substance. The ideal behavior of tracer concentration exits age distribution, and cumulative fraction for each setup and each input was plotted and experimental results were compared with perfect behavior. Deviation of concentration exit age distribution and cumulative fractional distribution from ideal behavior is more in pulse input as compared to a step input. For ideal cases, the exit age distribution curve and cumulative fraction curves are independent of the type of input. But a significant difference was observed for the two cases, which may be due to non-measurable fluctuations in volumetric flow rate, non-achievement of instant injection of tracer in case of pulse input, and slight variations in the sampling period. Further, with increasing flow rate, concentration, exit age, and cumulative fractional curves shifted upward, and this behavior matches with the actual case."}],"publication":"Materials Today: Proceedings","title":"Experimental analysis of Cascade CSTRs with step and pulse inputs","_id":"12172","article_type":"original","publisher":"Elsevier","issue":"Part 1","volume":78,"date_created":"2023-01-12T12:11:26Z","month":"03","status":"public","intvolume":" 78"},{"status":"public","date_created":"2023-01-15T23:00:52Z","month":"05","isi":1,"intvolume":" 24","publisher":"Springer Nature","article_type":"original","volume":24,"publication_status":"published","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."}],"project":[{"name":"Analysis of quantum many-body systems","grant_number":"694227","call_identifier":"H2020","_id":"25C6DC12-B435-11E9-9278-68D0E5697425"}],"oa":1,"_id":"12183","publication":"Annales Henri Poincare","title":"The Bose Gas in a box with Neumann boundary conditions","year":"2023","quality_controlled":"1","author":[{"last_name":"Boccato","first_name":"Chiara","id":"342E7E22-F248-11E8-B48F-1D18A9856A87","full_name":"Boccato, Chiara"},{"full_name":"Seiringer, Robert","orcid":"0000-0002-6781-0521","id":"4AFD0470-F248-11E8-B48F-1D18A9856A87","last_name":"Seiringer","first_name":"Robert"}],"citation":{"ista":"Boccato C, Seiringer R. 2023. The Bose Gas in a box with Neumann boundary conditions. Annales Henri Poincare. 24, 1505–1560.","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.","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","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.","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."},"main_file_link":[{"url":"https://doi.org/10.48550/arXiv.2205.15284","open_access":"1"}],"arxiv":1,"publication_identifier":{"issn":["1424-0637"]},"scopus_import":"1","page":"1505-1560","date_published":"2023-05-01T00:00:00Z","external_id":{"arxiv":["2205.15284"],"isi":["000910751800002"]},"acknowledgement":"Funding from the European Union’s Horizon 2020 research and innovation programme under the ERC grant agreement No 694227 is gratefully acknowledged.","doi":"10.1007/s00023-022-01252-3","language":[{"iso":"eng"}],"department":[{"_id":"RoSe"}],"ec_funded":1,"day":"01","date_updated":"2023-08-16T11:34:03Z","type":"journal_article","oa_version":"Preprint","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","article_processing_charge":"No"},{"page":"35-45","file":[{"content_type":"application/pdf","creator":"dernst","file_size":365865,"relation":"main_file","date_created":"2023-02-02T13:01:20Z","file_name":"2023_AnnalsSurgicalOncology_Glajzer.pdf","checksum":"36a1200e1011f4b2155a8041d0308f34","access_level":"open_access","success":1,"date_updated":"2023-02-02T13:01:20Z","file_id":"12490"}],"keyword":["Oncology","Surgery"],"external_id":{"isi":["000852125500006"]},"date_published":"2023-01-01T00:00:00Z","scopus_import":"1","publication_identifier":{"eissn":["1534-4681"],"issn":["1068-9265"]},"day":"01","oa_version":"Published Version","date_updated":"2023-09-05T15:18:37Z","type":"journal_article","article_processing_charge":"No","user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","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.","department":[{"_id":"JoDa"}],"has_accepted_license":"1","doi":"10.1245/s10434-022-12459-3","language":[{"iso":"eng"}],"publisher":"Springer Nature","article_type":"original","file_date_updated":"2023-02-02T13:01:20Z","volume":30,"status":"public","month":"01","date_created":"2023-01-16T09:44:36Z","isi":1,"intvolume":" 30","year":"2023","tmp":{"image":"/images/cc_by.png","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","short":"CC BY (4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode"},"author":[{"full_name":"Glajzer, Jacek","first_name":"Jacek","last_name":"Glajzer"},{"full_name":"Castillo-Tong, Dan Cacsire","last_name":"Castillo-Tong","first_name":"Dan Cacsire"},{"last_name":"Richter","first_name":"Rolf","full_name":"Richter, Rolf"},{"full_name":"Vergote, Ignace","first_name":"Ignace","last_name":"Vergote"},{"full_name":"Kulbe, Hagen","last_name":"Kulbe","first_name":"Hagen"},{"first_name":"Adriaan","last_name":"Vanderstichele","full_name":"Vanderstichele, Adriaan"},{"first_name":"Ilary","last_name":"Ruscito","full_name":"Ruscito, Ilary"},{"full_name":"Trillsch, Fabian","first_name":"Fabian","last_name":"Trillsch"},{"full_name":"Mustea, Alexander","last_name":"Mustea","first_name":"Alexander"},{"first_name":"Caroline","last_name":"Kreuzinger","full_name":"Kreuzinger, Caroline","id":"382077BA-F248-11E8-B48F-1D18A9856A87"},{"full_name":"Gourley, Charlie","first_name":"Charlie","last_name":"Gourley"},{"full_name":"Gabra, Hani","last_name":"Gabra","first_name":"Hani"},{"first_name":"Eliane T.","last_name":"Taube","full_name":"Taube, Eliane T."},{"first_name":"Oliver","last_name":"Dorigo","full_name":"Dorigo, Oliver"},{"full_name":"Horst, David","first_name":"David","last_name":"Horst"},{"full_name":"Keunecke, Carlotta","first_name":"Carlotta","last_name":"Keunecke"},{"full_name":"Baum, Joanna","last_name":"Baum","first_name":"Joanna"},{"last_name":"Angelotti","first_name":"Timothy","full_name":"Angelotti, Timothy"},{"last_name":"Sehouli","first_name":"Jalid","full_name":"Sehouli, Jalid"},{"full_name":"Braicu, Elena Ioana","last_name":"Braicu","first_name":"Elena Ioana"}],"quality_controlled":"1","citation":{"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.","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.","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.","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","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"},"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"}],"publication_status":"published","_id":"12205","ddc":["610"],"oa":1,"related_material":{"record":[{"id":"12115","status":"public","relation":"other"}]},"publication":"Annals of Surgical Oncology","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"},{"page":"156-191","date_published":"2023-01-01T00:00:00Z","file":[{"success":1,"date_updated":"2023-02-02T11:01:10Z","file_id":"12488","checksum":"46352e0ee71e460848f88685ca852681","file_name":"2023_DiscreteCompGeometry_Boissonnat.pdf","access_level":"open_access","relation":"main_file","date_created":"2023-02-02T11:01:10Z","creator":"dernst","content_type":"application/pdf","file_size":582850}],"keyword":["Computational Theory and Mathematics","Discrete Mathematics and Combinatorics","Geometry and Topology","Theoretical Computer Science"],"external_id":{"isi":["000862193600001"]},"publication_identifier":{"issn":["0179-5376"],"eissn":["1432-0444"]},"scopus_import":"1","user_id":"4359f0d1-fa6c-11eb-b949-802e58b17ae8","article_processing_charge":"No","day":"01","date_updated":"2023-08-01T12:47:32Z","type":"journal_article","oa_version":"Published Version","language":[{"iso":"eng"}],"doi":"10.1007/s00454-022-00431-7","department":[{"_id":"HeEd"}],"has_accepted_license":"1","ec_funded":1,"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).","volume":69,"publisher":"Springer Nature","article_type":"original","file_date_updated":"2023-02-02T11:01:10Z","isi":1,"intvolume":" 69","status":"public","date_created":"2023-01-16T10:04:06Z","month":"01","author":[{"full_name":"Boissonnat, Jean-Daniel","first_name":"Jean-Daniel","last_name":"Boissonnat"},{"last_name":"Dyer","first_name":"Ramsay","full_name":"Dyer, Ramsay"},{"full_name":"Ghosh, Arijit","first_name":"Arijit","last_name":"Ghosh"},{"id":"307CFBC8-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-7472-2220","full_name":"Wintraecken, Mathijs","last_name":"Wintraecken","first_name":"Mathijs"}],"quality_controlled":"1","citation":{"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.","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","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","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.","ista":"Boissonnat J-D, Dyer R, Ghosh A, Wintraecken M. 2023. Local criteria for triangulating general manifolds. Discrete & Computational Geometry. 69, 156–191.","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."},"year":"2023","tmp":{"image":"/images/cc_by.png","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","short":"CC BY (4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode"},"ddc":["510"],"oa":1,"_id":"12287","title":"Local criteria for triangulating general manifolds","publication":"Discrete & Computational Geometry","publication_status":"published","abstract":[{"lang":"eng","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."}],"project":[{"_id":"260C2330-B435-11E9-9278-68D0E5697425","call_identifier":"H2020","grant_number":"754411","name":"ISTplus - Postdoctoral Fellowships"},{"name":"Learning and triangulating manifolds via collapses","grant_number":"M03073","_id":"fc390959-9c52-11eb-aca3-afa58bd282b2"}]},{"arxiv":1,"scopus_import":"1","publication_identifier":{"eissn":["0030-8730"]},"external_id":{"isi":["001104766900001"],"arxiv":["2001.02987"]},"file":[{"relation":"main_file","date_created":"2023-11-13T09:50:41Z","file_size":389897,"content_type":"application/pdf","creator":"dernst","success":1,"date_updated":"2023-11-13T09:50:41Z","file_id":"14525","file_name":"2023_PacificJourMaths_Verzobio.pdf","checksum":"b6218d16a72742d8bb38d6fc3c9bb8c6","access_level":"open_access"}],"date_published":"2023-11-03T00:00:00Z","page":"331-351","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.","ec_funded":1,"department":[{"_id":"TiBr"}],"has_accepted_license":"1","doi":"10.2140/pjm.2023.325.331","language":[{"iso":"eng"}],"oa_version":"Published Version","date_updated":"2023-12-13T11:18:14Z","type":"journal_article","day":"03","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","article_processing_charge":"Yes (in subscription journal)","month":"11","date_created":"2023-01-16T11:46:19Z","status":"public","intvolume":" 325","isi":1,"file_date_updated":"2023-11-13T09:50:41Z","publisher":"Mathematical Sciences Publishers","article_type":"original","volume":325,"issue":"2","project":[{"grant_number":"101034413","name":"IST-BRIDGE: International postdoctoral program","call_identifier":"H2020","_id":"fc2ed2f7-9c52-11eb-aca3-c01059dda49c"}],"abstract":[{"lang":"eng","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."}],"publication_status":"published","publication":"Pacific Journal of Mathematics","title":"Some effectivity results for primitive divisors of elliptic divisibility sequences","_id":"12313","ddc":["510"],"oa":1,"tmp":{"image":"/images/cc_by.png","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","short":"CC BY (4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode"},"year":"2023","citation":{"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","ista":"Verzobio M. 2023. Some effectivity results for primitive divisors of elliptic divisibility sequences. Pacific Journal of Mathematics. 325(2), 331–351.","short":"M. Verzobio, Pacific Journal of Mathematics 325 (2023) 331–351.","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.","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.","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"},"quality_controlled":"1","author":[{"id":"7aa8f170-131e-11ed-88e1-a9efd01027cb","full_name":"Verzobio, Matteo","orcid":"0000-0002-0854-0306","first_name":"Matteo","last_name":"Verzobio"}]},{"_id":"12329","ddc":["510"],"oa":1,"publication":"Scientific Reports","title":"New approaches to epidemic modeling on networks","abstract":[{"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.","lang":"eng"}],"publication_status":"published","quality_controlled":"1","author":[{"last_name":"Gómez","first_name":"Arturo","full_name":"Gómez, Arturo"},{"full_name":"Oliveira, Goncalo","id":"58abbde8-f455-11eb-a497-98c8fd71b905","last_name":"Oliveira","first_name":"Goncalo"}],"citation":{"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.","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","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.","short":"A. Gómez, G. Oliveira, Scientific Reports 13 (2023).","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"},"year":"2023","tmp":{"image":"/images/cc_by.png","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","short":"CC BY (4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode"},"isi":1,"intvolume":" 13","status":"public","article_number":"468","month":"01","date_created":"2023-01-22T23:00:55Z","volume":13,"publisher":"Springer Nature","article_type":"original","file_date_updated":"2023-01-23T07:53:23Z","has_accepted_license":"1","department":[{"_id":"TaHa"}],"doi":"10.1038/s41598-022-19827-9","language":[{"iso":"eng"}],"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.","article_processing_charge":"No","user_id":"4359f0d1-fa6c-11eb-b949-802e58b17ae8","day":"10","oa_version":"Published Version","date_updated":"2023-08-01T12:31:40Z","type":"journal_article","scopus_import":"1","publication_identifier":{"eissn":["2045-2322"]},"external_id":{"isi":["001003345000051"]},"file":[{"access_level":"open_access","file_name":"2023_ScientificReports_Gomez.pdf","checksum":"a8b83739f4a951e83e0b2a778f03b327","file_id":"12336","date_updated":"2023-01-23T07:53:23Z","success":1,"file_size":2167792,"content_type":"application/pdf","creator":"dernst","date_created":"2023-01-23T07:53:23Z","relation":"main_file"}],"date_published":"2023-01-10T00:00:00Z"},{"doi":"10.1007/s00446-022-00441-x","language":[{"iso":"eng"}],"department":[{"_id":"DaAl"}],"date_updated":"2025-07-22T14:06:00Z","type":"journal_article","oa_version":"Preprint","day":"01","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","article_processing_charge":"No","arxiv":1,"publication_identifier":{"issn":["0178-2770"],"eissn":["1432-0452"]},"scopus_import":"1","date_published":"2023-09-01T00:00:00Z","external_id":{"arxiv":["2008.01009"],"oaworkID":["w4390499170"],"isi":["000913424000001"]},"page":"395-418","publication_status":"published","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."}],"publication":"Distributed Computing","title":"The splay-list: A distribution-adaptive concurrent skip-list","oa":1,"_id":"12330","year":"2023","main_file_link":[{"url":"https://doi.org/10.48550/arXiv.2008.01009","open_access":"1"}],"citation":{"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","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.","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.","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.","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.","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"},"author":[{"first_name":"Vitalii","last_name":"Aksenov","full_name":"Aksenov, Vitalii","id":"2980135A-F248-11E8-B48F-1D18A9856A87"},{"last_name":"Alistarh","first_name":"Dan-Adrian","full_name":"Alistarh, Dan-Adrian","orcid":"0000-0003-3650-940X","id":"4A899BFC-F248-11E8-B48F-1D18A9856A87"},{"full_name":"Drozdova, Alexandra","first_name":"Alexandra","last_name":"Drozdova"},{"first_name":"Amirkeivan","last_name":"Mohtashami","full_name":"Mohtashami, Amirkeivan"}],"quality_controlled":"1","date_created":"2023-01-22T23:00:55Z","month":"09","status":"public","intvolume":" 36","isi":1,"article_type":"original","publisher":"Springer Nature","volume":36},{"file_date_updated":"2023-08-14T12:57:25Z","publisher":"American Chemical Society","article_type":"original","issue":"2","volume":35,"month":"01","date_created":"2023-01-22T23:00:55Z","status":"public","intvolume":" 35","isi":1,"tmp":{"image":"/images/cc_by.png","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","short":"CC BY (4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode"},"year":"2023","citation":{"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.","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","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.","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","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."},"quality_controlled":"1","author":[{"first_name":"Siqi","last_name":"Wang","full_name":"Wang, Siqi"},{"first_name":"Cheng","last_name":"Chang","id":"9E331C2E-9F27-11E9-AE48-5033E6697425","full_name":"Chang, Cheng","orcid":"0000-0002-9515-4277"},{"full_name":"Bai, Shulin","first_name":"Shulin","last_name":"Bai"},{"full_name":"Qin, Bingchao","first_name":"Bingchao","last_name":"Qin"},{"full_name":"Zhu, Yingcai","first_name":"Yingcai","last_name":"Zhu"},{"last_name":"Zhan","first_name":"Shaoping","full_name":"Zhan, Shaoping"},{"last_name":"Zheng","first_name":"Junqing","full_name":"Zheng, Junqing"},{"full_name":"Tang, Shuwei","last_name":"Tang","first_name":"Shuwei"},{"last_name":"Zhao","first_name":"Li Dong","full_name":"Zhao, Li Dong"}],"project":[{"name":"Bottom-up Engineering for Thermoelectric Applications","grant_number":"M02889","_id":"9B8804FC-BA93-11EA-9121-9846C619BF3A"}],"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"}],"publication_status":"published","publication":"Chemistry of Materials","title":"Fine tuning of defects enables high carrier mobility and enhanced thermoelectric performance of n-type PbTe","_id":"12331","ddc":["540"],"oa":1,"external_id":{"isi":["000914749700001"]},"file":[{"success":1,"file_id":"14055","date_updated":"2023-08-14T12:57:25Z","file_name":"2023_ChemistryMaterials_Wang.pdf","checksum":"b21dca2aa7a80c068bc256bdd1fea9df","access_level":"open_access","relation":"main_file","date_created":"2023-08-14T12:57:25Z","content_type":"application/pdf","creator":"dernst","file_size":2961043}],"date_published":"2023-01-24T00:00:00Z","page":"755-763","scopus_import":"1","publication_identifier":{"eissn":["1520-5002"],"issn":["0897-4756"]},"oa_version":"Published Version","type":"journal_article","date_updated":"2023-08-14T12:57:44Z","day":"24","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","article_processing_charge":"No","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).","has_accepted_license":"1","department":[{"_id":"MaIb"}],"doi":"10.1021/acs.chemmater.2c03542","language":[{"iso":"eng"}]},{"article_number":"add6495","status":"public","date_created":"2023-01-23T07:26:42Z","month":"01","isi":1,"intvolume":" 9","article_type":"original","publisher":"American Association for the Advancement of Science","file_date_updated":"2023-01-23T07:45:54Z","issue":"3","volume":9,"publication_status":"published","abstract":[{"lang":"eng","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."}],"project":[{"_id":"9B954C5C-BA93-11EA-9121-9846C619BF3A","name":"Structure and isoform diversity of the Arp2/3 complex","grant_number":"P33367"}],"ddc":["570"],"oa":1,"related_material":{"record":[{"id":"14562","relation":"research_data","status":"for_moderation"}]},"_id":"12334","title":"ArpC5 isoforms regulate Arp2/3 complex–dependent protrusion through differential Ena/VASP positioning","publication":"Science Advances","year":"2023","tmp":{"image":"/images/cc_by.png","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","short":"CC BY (4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode"},"quality_controlled":"1","author":[{"last_name":"Fäßler","first_name":"Florian","orcid":"0000-0001-7149-769X","full_name":"Fäßler, Florian","id":"404F5528-F248-11E8-B48F-1D18A9856A87"},{"last_name":"Javoor","first_name":"Manjunath","full_name":"Javoor, Manjunath","id":"305ab18b-dc7d-11ea-9b2f-b58195228ea2"},{"orcid":"0000-0002-3616-8580","full_name":"Datler, Julia","id":"3B12E2E6-F248-11E8-B48F-1D18A9856A87","first_name":"Julia","last_name":"Datler"},{"first_name":"Hermann","last_name":"Döring","full_name":"Döring, Hermann"},{"first_name":"Florian","last_name":"Hofer","full_name":"Hofer, Florian","id":"b9d234ba-9e33-11ed-95b6-cd561df280e6"},{"first_name":"Georgi A","last_name":"Dimchev","orcid":"0000-0001-8370-6161","full_name":"Dimchev, Georgi A","id":"38C393BE-F248-11E8-B48F-1D18A9856A87"},{"full_name":"Hodirnau, Victor-Valentin","id":"3661B498-F248-11E8-B48F-1D18A9856A87","last_name":"Hodirnau","first_name":"Victor-Valentin"},{"full_name":"Faix, Jan","first_name":"Jan","last_name":"Faix"},{"first_name":"Klemens","last_name":"Rottner","full_name":"Rottner, Klemens"},{"last_name":"Schur","first_name":"Florian KM","full_name":"Schur, Florian KM","orcid":"0000-0003-4790-8078","id":"48AD8942-F248-11E8-B48F-1D18A9856A87"}],"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.","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","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.","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"},"publication_identifier":{"issn":["2375-2548"]},"scopus_import":"1","date_published":"2023-01-20T00:00:00Z","external_id":{"isi":["000964550100015"]},"file":[{"file_name":"2023_ScienceAdvances_Faessler.pdf","checksum":"ce81a6d0b84170e5e8c62f6acfa15d9e","access_level":"open_access","success":1,"file_id":"12335","date_updated":"2023-01-23T07:45:54Z","content_type":"application/pdf","creator":"dernst","file_size":1756234,"relation":"main_file","date_created":"2023-01-23T07:45:54Z"}],"keyword":["Multidisciplinary"],"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.","doi":"10.1126/sciadv.add6495","language":[{"iso":"eng"}],"department":[{"_id":"FlSc"},{"_id":"EM-Fac"}],"has_accepted_license":"1","acknowledged_ssus":[{"_id":"ScienComp"},{"_id":"LifeSc"},{"_id":"Bio"},{"_id":"EM-Fac"}],"day":"20","date_updated":"2026-05-21T07:36:27Z","type":"journal_article","oa_version":"Published Version","article_processing_charge":"No","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87"},{"day":"01","oa_version":"Published Version","type":"journal_article","date_updated":"2023-10-04T11:41:05Z","article_processing_charge":"Yes (in subscription journal)","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","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).","has_accepted_license":"1","department":[{"_id":"GradSch"},{"_id":"MaJö"}],"language":[{"iso":"eng"}],"doi":"10.1038/s41593-023-01280-0","ec_funded":1,"acknowledged_ssus":[{"_id":"ScienComp"},{"_id":"PreCl"},{"_id":"LifeSc"},{"_id":"Bio"}],"page":"606-614","external_id":{"pmid":["36959418"],"isi":["000955258300002"]},"file":[{"relation":"main_file","date_created":"2023-10-04T11:40:51Z","file_size":6144866,"content_type":"application/pdf","creator":"dernst","success":1,"file_id":"14395","date_updated":"2023-10-04T11:40:51Z","file_name":"2023_NatureNeuroscience_Gupta.pdf","checksum":"a33d91e398e548f34003170e10988368","access_level":"open_access"}],"date_published":"2023-04-01T00:00:00Z","scopus_import":"1","publication_identifier":{"eissn":["1546-1726"],"issn":["1097-6256"]},"year":"2023","tmp":{"image":"/images/cc_by.png","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","short":"CC BY (4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode"},"author":[{"first_name":"Divyansh","last_name":"Gupta","id":"2A485EBE-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0001-7400-6665","full_name":"Gupta, Divyansh"},{"id":"358A453A-F248-11E8-B48F-1D18A9856A87","full_name":"Mlynarski, Wiktor F","first_name":"Wiktor F","last_name":"Mlynarski"},{"full_name":"Sumser, Anton L","orcid":"0000-0002-4792-1881","id":"3320A096-F248-11E8-B48F-1D18A9856A87","last_name":"Sumser","first_name":"Anton L"},{"last_name":"Symonova","first_name":"Olga","orcid":"0000-0003-2012-9947","full_name":"Symonova, Olga","id":"3C0C7BC6-F248-11E8-B48F-1D18A9856A87"},{"full_name":"Svaton, Jan","orcid":"0000-0002-6198-2939","id":"f7f724c3-9d6f-11ed-9f44-e5c5f3a5bee2","last_name":"Svaton","first_name":"Jan"},{"last_name":"Jösch","first_name":"Maximilian A","full_name":"Jösch, Maximilian A","orcid":"0000-0002-3937-1330","id":"2BD278E6-F248-11E8-B48F-1D18A9856A87"}],"quality_controlled":"1","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.","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","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.","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.","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","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."},"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"}],"publication_status":"published","project":[{"name":"International IST Doctoral Program","grant_number":"665385","call_identifier":"H2020","_id":"2564DBCA-B435-11E9-9278-68D0E5697425"},{"grant_number":"P34015","name":"Efficient coding with biophysical realism","_id":"626c45b5-2b32-11ec-9570-e509828c1ba6"},{"call_identifier":"H2020","_id":"2634E9D2-B435-11E9-9278-68D0E5697425","grant_number":"756502","name":"Circuits of Visual Attention"},{"_id":"266D407A-B435-11E9-9278-68D0E5697425","name":"Neuronal networks of salience and spatial detection in the murine superior colliculus","grant_number":"LT000256"},{"_id":"264FEA02-B435-11E9-9278-68D0E5697425","grant_number":"ALTF 1098-2017","name":"Connecting sensory with motor processing in the superior colliculus"}],"_id":"12349","related_material":{"record":[{"id":"12370","relation":"research_data","status":"public"}]},"ddc":["570"],"oa":1,"pmid":1,"title":"Panoramic visual statistics shape retina-wide organization of receptive fields","publication":"Nature Neuroscience","publisher":"Springer Nature","article_type":"original","file_date_updated":"2023-10-04T11:40:51Z","volume":26,"status":"public","month":"04","date_created":"2023-01-23T14:14:19Z","isi":1,"intvolume":" 26"},{"file":[{"access_level":"open_access","checksum":"172cd1c315cbf063c122298396bc17a7","file_name":"readme_exvivo.txt","date_updated":"2023-01-26T10:51:34Z","file_id":"12396","success":1,"creator":"dgupta","content_type":"text/plain","file_size":1917,"date_created":"2023-01-26T10:51:34Z","relation":"main_file"},{"relation":"main_file","date_created":"2023-01-26T10:50:50Z","file_size":1585,"content_type":"text/plain","creator":"dgupta","success":1,"date_updated":"2023-01-26T10:50:50Z","file_id":"12397","checksum":"d3cecda51cad86b1182195731c01a14f","file_name":"readme_invivo.txt","access_level":"open_access"},{"date_created":"2023-01-26T10:43:30Z","relation":"main_file","file_size":5019459775,"creator":"dgupta","content_type":"application/octet-stream","file_id":"12398","date_updated":"2023-01-26T10:43:30Z","success":1,"access_level":"open_access","checksum":"b85018b27f2c43a6d94ee0e8b841220d","file_name":"exvivo_RFs.mat"},{"success":1,"date_updated":"2023-01-26T10:40:35Z","file_id":"12399","checksum":"f75dccd96a3f837cdeed65b5134e697e","file_name":"RGC_in_vivo_RFs_selected.mat","access_level":"open_access","relation":"main_file","date_created":"2023-01-26T10:40:35Z","content_type":"application/octet-stream","creator":"dgupta","file_size":94999721},{"content_type":"application/octet-stream","creator":"dgupta","file_size":720893739,"relation":"main_file","date_created":"2023-01-25T16:03:49Z","file_name":"invivo_BL6-eyeGC8m-dC-3_210924_1534_Result.mat","checksum":"d41836ffe03ea0efb677de31287c8d2e","access_level":"open_access","success":1,"date_updated":"2023-01-25T16:03:49Z","file_id":"12382"},{"file_size":248122209,"creator":"dgupta","content_type":"application/octet-stream","relation":"main_file","date_created":"2023-01-25T16:03:30Z","file_name":"invivo_BL6-eyeGC8m-dC-3_211026_1235_Result.mat","checksum":"0a0cba5208241a95f9bb7684d0a43afa","access_level":"open_access","success":1,"file_id":"12383","date_updated":"2023-01-25T16:03:30Z"},{"date_updated":"2023-01-25T16:04:54Z","file_id":"12384","success":1,"access_level":"open_access","checksum":"cf72c1f325631212f305ff1a6d342bc3","file_name":"invivo_BL6-eyeGC8m-dC-3_211202_1505_Result.mat","date_created":"2023-01-25T16:04:54Z","relation":"main_file","content_type":"application/octet-stream","creator":"dgupta","file_size":1757729346},{"file_size":1177344595,"content_type":"application/octet-stream","creator":"dgupta","date_created":"2023-01-25T16:04:41Z","relation":"main_file","access_level":"open_access","checksum":"f4cd25f37d433a7dced3aa8cc326c755","file_name":"invivo_BL6-eyeGC8m-dC-3_211208_1738_Result.mat","file_id":"12385","date_updated":"2023-01-25T16:04:41Z","success":1},{"success":1,"file_id":"12386","date_updated":"2023-01-25T16:06:22Z","file_name":"invivo_BL6-eyeGC8m-dC-3_220111_1735_Result.mat","checksum":"8c31637d447f2088fdb5ba1c6775f243","access_level":"open_access","relation":"main_file","date_created":"2023-01-25T16:06:22Z","content_type":"application/octet-stream","creator":"dgupta","file_size":2246592895},{"file_size":2151341770,"content_type":"application/octet-stream","creator":"dgupta","date_created":"2023-01-25T16:07:41Z","relation":"main_file","access_level":"open_access","checksum":"246d660ef06a9151c59b74490d991460","file_name":"invivo_BL6-eyeGC8m-dC-4_220216_0950_Result.mat","date_updated":"2023-01-25T16:07:41Z","file_id":"12387","success":1},{"creator":"dgupta","content_type":"application/octet-stream","file_size":3719145736,"date_created":"2023-01-26T10:19:02Z","relation":"main_file","access_level":"open_access","checksum":"b32987dd4589d05b9dfadb93d4178c0d","file_name":"invivo_BL6-eyeGC8m-dC-4_220428_1351_Result.mat","date_updated":"2023-01-26T10:19:02Z","file_id":"12393","success":1},{"checksum":"6c88ca7d1df405f04002146d251dc22e","file_name":"invivo_BL6-eyeGC8m-dC-4_220502_1357_Result.mat","access_level":"open_access","success":1,"file_id":"12395","date_updated":"2023-01-26T10:34:46Z","creator":"dgupta","content_type":"application/octet-stream","file_size":5818789752,"relation":"main_file","date_created":"2023-01-26T10:34:46Z"},{"creator":"dgupta","content_type":"application/octet-stream","file_size":2614677996,"relation":"main_file","date_created":"2023-01-26T10:23:19Z","file_name":"invivo_BL6-eyeGC8m-dC-4_220524_1726_Result.mat","checksum":"494057076bb0b0a28e4b7146bb50113c","access_level":"open_access","success":1,"date_updated":"2023-01-26T10:23:19Z","file_id":"12394"},{"relation":"main_file","date_created":"2023-01-25T16:20:51Z","content_type":"application/octet-stream","creator":"dgupta","file_size":1840481462,"success":1,"date_updated":"2023-01-25T16:20:51Z","file_id":"12388","file_name":"invivo_BL6-eyeGC8m-dC-5_220613_1750_Result.mat","checksum":"e51015d43ede6b1628803c58e424f99f","access_level":"open_access"},{"file_size":1617777136,"content_type":"application/octet-stream","creator":"dgupta","date_created":"2023-01-25T16:23:02Z","relation":"main_file","access_level":"open_access","checksum":"9483686a44e69eadea428b705c33a9a2","file_name":"invivo_BL6-eyeGC8m-dC-5_220630_1518_Result.mat","file_id":"12389","date_updated":"2023-01-25T16:23:02Z","success":1}],"date_published":"2023-01-26T00:00:00Z","file_date_updated":"2023-01-26T10:51:34Z","publisher":"Institute of Science and Technology Austria","month":"01","date_created":"2023-01-25T12:45:18Z","status":"public","citation":{"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.","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.","short":"D. Gupta, A.L. Sumser, M.A. Jösch, (2023).","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.","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","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.","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"},"article_processing_charge":"No","author":[{"id":"2A485EBE-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0001-7400-6665","full_name":"Gupta, Divyansh","first_name":"Divyansh","last_name":"Gupta"},{"last_name":"Sumser","first_name":"Anton L","id":"3320A096-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-4792-1881","full_name":"Sumser, Anton L"},{"full_name":"Jösch, Maximilian A","orcid":"0000-0002-3937-1330","id":"2BD278E6-F248-11E8-B48F-1D18A9856A87","first_name":"Maximilian A","last_name":"Jösch"}],"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","oa_version":"Published Version","type":"research_data","tmp":{"legal_code_url":"https://creativecommons.org/licenses/by-nc-sa/4.0/legalcode","short":"CC BY-NC-SA (4.0)","name":"Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International (CC BY-NC-SA 4.0)","image":"/images/cc_by_nc_sa.png"},"date_updated":"2023-10-04T11:41:04Z","year":"2023","day":"26","contributor":[{"id":"3C0C7BC6-F248-11E8-B48F-1D18A9856A87","first_name":"Olga","contributor_type":"researcher","last_name":"Symonova"},{"id":"358A453A-F248-11E8-B48F-1D18A9856A87","first_name":"Wiktor F","contributor_type":"researcher","last_name":"Mlynarski"},{"first_name":"Jan","contributor_type":"researcher","last_name":"Svaton","id":"f7f724c3-9d6f-11ed-9f44-e5c5f3a5bee2"}],"ec_funded":1,"title":"Research Data for: Panoramic visual statistics shape retina-wide organization of receptive fields","acknowledged_ssus":[{"_id":"ScienComp"},{"_id":"M-Shop"},{"_id":"Bio"},{"_id":"PreCl"},{"_id":"LifeSc"}],"_id":"12370","department":[{"_id":"GradSch"},{"_id":"MaJö"}],"has_accepted_license":"1","oa":1,"ddc":["571"],"doi":"10.15479/AT:ISTA:12370","related_material":{"record":[{"status":"public","relation":"used_in_publication","id":"12349"}]},"project":[{"grant_number":"665385","name":"International IST Doctoral Program","_id":"2564DBCA-B435-11E9-9278-68D0E5697425","call_identifier":"H2020"},{"grant_number":"P34015","name":"Efficient coding with biophysical realism","_id":"626c45b5-2b32-11ec-9570-e509828c1ba6"},{"call_identifier":"H2020","_id":"2634E9D2-B435-11E9-9278-68D0E5697425","grant_number":"756502","name":"Circuits of Visual Attention"},{"name":"Neuronal networks of salience and spatial detection in the murine superior colliculus","grant_number":"LT000256","_id":"266D407A-B435-11E9-9278-68D0E5697425"},{"grant_number":"ALTF 1098-2017","name":"Connecting sensory with motor processing in the superior colliculus","_id":"264FEA02-B435-11E9-9278-68D0E5697425"}],"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. "}]},{"publication_identifier":{"issn":["0065-1036"],"eissn":["1730-6264"]},"arxiv":1,"page":"1-17","keyword":["Algebra","Number Theory"],"external_id":{"arxiv":["2103.08268"],"isi":["000912903000001"]},"date_published":"2023-01-09T00:00:00Z","department":[{"_id":"GradSch"}],"doi":"10.4064/aa210830-24-11","language":[{"iso":"eng"}],"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","article_processing_charge":"No","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","day":"09","oa_version":"Preprint","type":"journal_article","date_updated":"2023-10-17T09:15:17Z","isi":1,"intvolume":" 207","status":"public","month":"01","date_created":"2023-01-26T21:17:04Z","volume":207,"publisher":"Instytut Matematyczny","article_type":"original","_id":"12406","oa":1,"title":"Density of the union of positive diagonal binary quadratic forms","publication":"Acta Arithmetica","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"}],"publication_status":"published","author":[{"first_name":"Yijie","last_name":"Diao","id":"7b7eb4ca-eb2c-11ec-b98b-accec0b20c3b","orcid":"0000-0002-4989-5330","full_name":"Diao, Yijie"}],"quality_controlled":"1","main_file_link":[{"url":"https://doi.org/10.48550/arXiv.2103.08268","open_access":"1"}],"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","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.","ieee":"Y. Diao, “Density of the union of positive diagonal binary quadratic forms,” Acta Arithmetica, vol. 207. Instytut Matematyczny, pp. 1–17, 2023.","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","ista":"Diao Y. 2023. Density of the union of positive diagonal binary quadratic forms. Acta Arithmetica. 207, 1–17.","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."},"year":"2023"},{"status":"public","date_created":"2023-01-27T03:18:08Z","month":"01","publisher":"Institute of Science and Technology Austria","file_date_updated":"2023-01-27T03:18:34Z","oa":1,"related_material":{"record":[{"id":"12856","relation":"later_version","status":"public"}]},"ddc":["005"],"_id":"12407","title":"VAMOS: Middleware for Best-Effort Third-Party Monitoring","publication_status":"published","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"}],"project":[{"call_identifier":"H2020","_id":"62781420-2b32-11ec-9570-8d9b63373d4d","grant_number":"101020093","name":"Vigilant Algorithmic Monitoring of Software"}],"author":[{"full_name":"Chalupa, Marek","id":"87e34708-d6c6-11ec-9f5b-9391e7be2463","first_name":"Marek","last_name":"Chalupa"},{"id":"6395C5F6-89DF-11E9-9C97-6BDFE5697425","full_name":"Mühlböck, Fabian","orcid":"0000-0003-1548-0177","last_name":"Mühlböck","first_name":"Fabian"},{"last_name":"Muroya Lei","first_name":"Stefanie","full_name":"Muroya Lei, Stefanie","id":"a376de31-8972-11ed-ae7b-d0251c13c8ff"},{"first_name":"Thomas A","last_name":"Henzinger","full_name":"Henzinger, Thomas A","orcid":"0000-0002-2985-7724","id":"40876CD8-F248-11E8-B48F-1D18A9856A87"}],"citation":{"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.","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","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.","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.","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."},"year":"2023","tmp":{"image":"/images/cc_by.png","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","short":"CC BY (4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode"},"publication_identifier":{"eissn":["2664-1690"]},"alternative_title":["IST Austria Technical Report"],"page":"38","date_published":"2023-01-27T00:00:00Z","keyword":["runtime monitoring","best effort","third party"],"file":[{"date_updated":"2023-01-27T03:18:34Z","file_id":"12408","success":1,"access_level":"open_access","file_name":"main.pdf","checksum":"55426e463fdeafe9777fc3ff635154c7","date_created":"2023-01-27T03:18:34Z","relation":"main_file","file_size":662409,"content_type":"application/pdf","creator":"fmuehlbo"}],"language":[{"iso":"eng"}],"doi":"10.15479/AT:ISTA:12407","has_accepted_license":"1","department":[{"_id":"ToHe"}],"ec_funded":1,"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.","article_processing_charge":"No","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","day":"27","date_updated":"2023-04-25T07:19:06Z","type":"technical_report","oa_version":"Published Version"},{"file":[{"relation":"main_file","date_created":"2023-03-16T07:58:16Z","file_size":10045006,"creator":"dernst","content_type":"application/pdf","success":1,"date_updated":"2023-03-16T07:58:16Z","file_id":"12728","checksum":"4e7069845e3dad22bb44fb71ec624c60","file_name":"2023_BioChemicalSocietyTransactions_Faessler.pdf","access_level":"open_access"}],"external_id":{"isi":["000926043100001"]},"keyword":["Biochemistry"],"date_published":"2023-02-01T00:00:00Z","page":"87-99","scopus_import":"1","publication_identifier":{"eissn":["1470-8752"],"issn":["0300-5127"]},"oa_version":"Published Version","type":"journal_article","date_updated":"2023-08-01T12:55:32Z","day":"01","user_id":"4359f0d1-fa6c-11eb-b949-802e58b17ae8","article_processing_charge":"No","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.","has_accepted_license":"1","department":[{"_id":"FlSc"}],"doi":"10.1042/bst20220221","language":[{"iso":"eng"}],"file_date_updated":"2023-03-16T07:58:16Z","publisher":"Portland Press","article_type":"original","issue":"1","volume":51,"month":"02","date_created":"2023-01-27T10:08:19Z","status":"public","intvolume":" 51","isi":1,"tmp":{"image":"/images/cc_by.png","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","short":"CC BY (4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode"},"year":"2023","citation":{"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","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.","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.","short":"F. Fäßler, M. Javoor, F.K. Schur, Biochemical Society Transactions 51 (2023) 87–99.","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.","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","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."},"author":[{"full_name":"Fäßler, Florian","orcid":"0000-0001-7149-769X","id":"404F5528-F248-11E8-B48F-1D18A9856A87","last_name":"Fäßler","first_name":"Florian"},{"first_name":"Manjunath","last_name":"Javoor","full_name":"Javoor, Manjunath","id":"305ab18b-dc7d-11ea-9b2f-b58195228ea2"},{"id":"48AD8942-F248-11E8-B48F-1D18A9856A87","full_name":"Schur, Florian KM","orcid":"0000-0003-4790-8078","last_name":"Schur","first_name":"Florian KM"}],"quality_controlled":"1","project":[{"name":"Structure and isoform diversity of the Arp2/3 complex","grant_number":"P33367","_id":"9B954C5C-BA93-11EA-9121-9846C619BF3A"}],"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."}],"publication_status":"published","publication":"Biochemical Society Transactions","title":"Deciphering the molecular mechanisms of actin cytoskeleton regulation in cell migration using cryo-EM","_id":"12421","ddc":["570"],"oa":1},{"oa_version":"Preprint","date_updated":"2023-08-01T13:03:32Z","type":"journal_article","day":"01","user_id":"4359f0d1-fa6c-11eb-b949-802e58b17ae8","article_processing_charge":"No","department":[{"_id":"TiBr"}],"language":[{"iso":"eng"}],"doi":"10.1090/proc/15239","external_id":{"isi":["000898440000001"]},"date_published":"2023-01-01T00:00:00Z","page":"907-914","scopus_import":"1","publication_identifier":{"eissn":["1088-6826"],"issn":["0002-9939"]},"year":"2023","main_file_link":[{"open_access":"1","url":"https://hal.science/hal-03013498/"}],"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.","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","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.","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.","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"},"author":[{"first_name":"Francesca","last_name":"Balestrieri","id":"3ACCD756-F248-11E8-B48F-1D18A9856A87","full_name":"Balestrieri, Francesca"}],"quality_controlled":"1","abstract":[{"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.","lang":"eng"}],"publication_status":"published","title":"Some remarks on strong approximation and applications to homogeneous spaces of linear algebraic groups","publication":"Proceedings of the American Mathematical Society","_id":"12427","oa":1,"publisher":"American Mathematical Society","article_type":"original","issue":"3","volume":151,"month":"01","date_created":"2023-01-29T23:00:58Z","status":"public","intvolume":" 151","isi":1},{"series_title":"MIMB","date_updated":"2023-02-03T10:58:56Z","type":"book_chapter","oa_version":"Published Version","day":"19","article_processing_charge":"No","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","language":[{"iso":"eng"}],"doi":"10.1007/978-1-0716-2887-4_12","has_accepted_license":"1","department":[{"_id":"EdHa"}],"date_published":"2023-01-19T00:00:00Z","file":[{"file_size":826598,"content_type":"application/pdf","creator":"dernst","date_created":"2023-02-03T10:56:39Z","relation":"main_file","access_level":"open_access","file_name":"2023_MIMB_Hannezo.pdf","checksum":"aec1b8d3ba938ddf9d8fcb777f3c38ee","file_id":"12500","date_updated":"2023-02-03T10:56:39Z","success":1}],"external_id":{"pmid":["36653709"]},"page":"183-205","alternative_title":["Methods in Molecular Biology"],"publication_identifier":{"eissn":["1940-6029"],"isbn":["9781071628867"],"eisbn":["9781071628874"]},"scopus_import":"1","tmp":{"image":"/images/cc_by.png","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","short":"CC BY (4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode"},"year":"2023","citation":{"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.","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","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.","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.","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","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."},"author":[{"last_name":"Hannezo","first_name":"Edouard B","full_name":"Hannezo, Edouard B","orcid":"0000-0001-6005-1561","id":"3A9DB764-F248-11E8-B48F-1D18A9856A87"},{"full_name":"Scheele, Colinda L.G.J.","last_name":"Scheele","first_name":"Colinda L.G.J."}],"quality_controlled":"1","publication_status":"published","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."}],"publication":"Cell Migration in Three Dimensions","title":"A Guide Toward Multi-scale and Quantitative Branching Analysis in the Mammary Gland","pmid":1,"oa":1,"ddc":["570"],"_id":"12428","file_date_updated":"2023-02-03T10:56:39Z","publisher":"Springer Nature","editor":[{"full_name":"Margadant, Coert","last_name":"Margadant","first_name":"Coert"}],"volume":2608,"date_created":"2023-01-29T23:00:58Z","month":"01","status":"public","intvolume":" 2608"},{"intvolume":" 296","isi":1,"month":"04","date_created":"2023-01-29T23:00:59Z","status":"public","volume":296,"issue":"4","file_date_updated":"2023-08-16T11:40:02Z","article_type":"original","publisher":"Wiley","title":"On the trace embedding and its applications to evolution equations","publication":"Mathematische Nachrichten","_id":"12429","ddc":["510"],"oa":1,"abstract":[{"lang":"eng","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."}],"publication_status":"published","citation":{"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.","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.","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","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."},"quality_controlled":"1","author":[{"full_name":"Agresti, Antonio","orcid":"0000-0002-9573-2962","id":"673cd0cc-9b9a-11eb-b144-88f30e1fbb72","first_name":"Antonio","last_name":"Agresti"},{"last_name":"Lindemulder","first_name":"Nick","full_name":"Lindemulder, Nick"},{"full_name":"Veraar, Mark","last_name":"Veraar","first_name":"Mark"}],"tmp":{"name":"Creative Commons Attribution-NonCommercial 4.0 International (CC BY-NC 4.0)","image":"/images/cc_by_nc.png","short":"CC BY-NC (4.0)","legal_code_url":"https://creativecommons.org/licenses/by-nc/4.0/legalcode"},"year":"2023","scopus_import":"1","publication_identifier":{"eissn":["1522-2616"],"issn":["0025-584X"]},"arxiv":1,"external_id":{"arxiv":["2104.05063"],"isi":["000914134900001"]},"file":[{"success":1,"date_updated":"2023-08-16T11:40:02Z","file_id":"14067","checksum":"6f099f1d064173784d1a27716a2cc795","file_name":"2023_MathNachrichten_Agresti.pdf","access_level":"open_access","relation":"main_file","date_created":"2023-08-16T11:40:02Z","file_size":449280,"creator":"dernst","content_type":"application/pdf"}],"date_published":"2023-04-01T00:00:00Z","page":"1319-1350","has_accepted_license":"1","department":[{"_id":"JuFi"}],"license":"https://creativecommons.org/licenses/by-nc/4.0/","doi":"10.1002/mana.202100192","language":[{"iso":"eng"}],"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).","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","article_processing_charge":"No","oa_version":"Published Version","type":"journal_article","date_updated":"2023-08-16T11:41:42Z","day":"01"},{"intvolume":" 13992","status":"public","conference":{"name":"FOSSACS: Foundations of Software Science and Computation Structures","end_date":"2023-04-27","start_date":"2023-04-22","location":"Paris, France"},"month":"04","date_created":"2023-01-31T07:23:56Z","volume":13992,"publisher":"Springer Nature","file_date_updated":"2023-06-19T10:28:09Z","_id":"12467","ddc":["000"],"oa":1,"publication":"26th International Conference Foundations of Software Science and Computation Structures","title":"Quantitative safety and liveness","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"}],"publication_status":"published","project":[{"call_identifier":"H2020","_id":"62781420-2b32-11ec-9570-8d9b63373d4d","name":"Vigilant Algorithmic Monitoring of Software","grant_number":"101020093"}],"quality_controlled":"1","author":[{"id":"40876CD8-F248-11E8-B48F-1D18A9856A87","full_name":"Henzinger, Thomas A","orcid":"0000-0002-2985-7724","first_name":"Thomas A","last_name":"Henzinger"},{"first_name":"Nicolas Adrien","last_name":"Mazzocchi","full_name":"Mazzocchi, Nicolas Adrien","id":"b26baa86-3308-11ec-87b0-8990f34baa85"},{"first_name":"Naci E","last_name":"Sarac","id":"8C6B42F8-C8E6-11E9-A03A-F2DCE5697425","full_name":"Sarac, Naci E"}],"citation":{"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","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.","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.","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.","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","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."},"year":"2023","tmp":{"image":"/images/cc_by.png","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","short":"CC BY (4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode"},"scopus_import":"1","publication_identifier":{"isbn":["9783031308284"],"eissn":["1611-3349"],"issn":["0302-9743"]},"alternative_title":["LNCS"],"arxiv":1,"page":"349-370","external_id":{"arxiv":["2301.11175"]},"file":[{"checksum":"981025aed580b6b27c426cb8856cf63e","file_name":"qsl.pdf","access_level":"open_access","success":1,"file_id":"12468","date_updated":"2023-01-31T07:22:21Z","file_size":449027,"creator":"esarac","content_type":"application/pdf","relation":"main_file","date_created":"2023-01-31T07:22:21Z"},{"relation":"main_file","date_created":"2023-06-19T10:28:09Z","content_type":"application/pdf","creator":"dernst","file_size":1048171,"success":1,"date_updated":"2023-06-19T10:28:09Z","file_id":"13153","checksum":"f16e2af1e0eb243158ab0f0fe74e7d5a","file_name":"2023_LNCS_HenzingerT.pdf","access_level":"open_access"}],"date_published":"2023-04-21T00:00:00Z","has_accepted_license":"1","department":[{"_id":"GradSch"},{"_id":"ToHe"}],"doi":"10.1007/978-3-031-30829-1_17","language":[{"iso":"eng"}],"ec_funded":1,"acknowledgement":"We thank the anonymous reviewers for their helpful comments. This work was supported in part by the ERC-2020-AdG 101020093.","user_id":"8b945eb4-e2f2-11eb-945a-df72226e66a9","article_processing_charge":"No","day":"21","oa_version":"Published Version","date_updated":"2023-07-14T11:20:27Z","type":"conference"},{"scopus_import":"1","publication_identifier":{"eissn":["1664-302X"]},"file":[{"checksum":"cd52292963acce1111634d9fac08c699","file_name":"2023_FrontMicrobiology_Viljakainen.pdf","access_level":"open_access","success":1,"file_id":"12843","date_updated":"2023-04-17T07:49:09Z","file_size":4866332,"creator":"dernst","content_type":"application/pdf","relation":"main_file","date_created":"2023-04-17T07:49:09Z"}],"external_id":{"isi":["000961542100001"],"pmid":["PPR559293 "]},"date_published":"2023-03-16T00:00:00Z","has_accepted_license":"1","department":[{"_id":"SyCr"}],"language":[{"iso":"eng"}],"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). ","article_processing_charge":"Yes (via OA deal)","user_id":"4359f0d1-fa6c-11eb-b949-802e58b17ae8","day":"16","oa_version":"Published Version","date_updated":"2023-08-01T12:39:58Z","type":"journal_article","isi":1,"intvolume":" 14","article_number":"1119002","status":"public","month":"03","date_created":"2023-01-31T08:13:40Z","volume":14,"publisher":"Frontiers","article_type":"original","file_date_updated":"2023-04-17T07:49:09Z","_id":"12469","oa":1,"ddc":["570"],"pmid":1,"publication":"Frontiers in Microbiology","title":"Antiviral immune response reveals host-specific virus infections in natural ant populations","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"}],"publication_status":"published","project":[{"_id":"25DF61D8-B435-11E9-9278-68D0E5697425","call_identifier":"FWF","name":"Viral pathogens and social immunity in ants","grant_number":"M02076"}],"author":[{"full_name":"Viljakainen, Lumi","first_name":"Lumi","last_name":"Viljakainen"},{"first_name":"Matthias","last_name":"Fürst","id":"393B1196-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-3712-925X","full_name":"Fürst, Matthias"},{"id":"406F989C-F248-11E8-B48F-1D18A9856A87","full_name":"Grasse, Anna V","last_name":"Grasse","first_name":"Anna V"},{"first_name":"Jaana","last_name":"Jurvansuu","full_name":"Jurvansuu, Jaana"},{"last_name":"Oh","first_name":"Jinook","id":"403169A4-080F-11EA-9993-BF3F3DDC885E","orcid":"0000-0001-7425-2372","full_name":"Oh, Jinook"},{"first_name":"Lassi","last_name":"Tolonen","full_name":"Tolonen, Lassi"},{"first_name":"Thomas","last_name":"Eder","full_name":"Eder, Thomas"},{"full_name":"Rattei, Thomas","first_name":"Thomas","last_name":"Rattei"},{"first_name":"Sylvia","last_name":"Cremer","orcid":"0000-0002-2193-3868","full_name":"Cremer, Sylvia","id":"2F64EC8C-F248-11E8-B48F-1D18A9856A87"}],"quality_controlled":"1","citation":{"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).","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.","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","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."},"year":"2023","tmp":{"image":"/images/cc_by.png","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","short":"CC BY (4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode"}}]