[{"publication":"Combinatorica","publication_identifier":{"eissn":["1439-6912"],"issn":["0209-9683"]},"external_id":{"arxiv":["1912.02342"]},"language":[{"iso":"eng"}],"year":"2021","article_type":"original","article_processing_charge":"No","oa":1,"author":[{"first_name":"Jacob","full_name":"Fox, Jacob","last_name":"Fox"},{"first_name":"János","full_name":"Pach, János","last_name":"Pach","id":"E62E3130-B088-11EA-B919-BF823C25FEA4"},{"last_name":"Suk","first_name":"Andrew","full_name":"Suk, Andrew"}],"day":"20","issue":"6","title":"Bounded VC-dimension implies the Schur-Erdős conjecture","abstract":[{"lang":"eng","text":"In 1916, Schur introduced the Ramsey number r(3; m), which is the minimum integer n > 1 such that for any m-coloring of the edges of the complete graph Kn, there is a monochromatic copy of K3. He showed that r(3; m) ≤ O(m!), and a simple construction demonstrates that r(3; m) ≥ 2Ω(m). An old conjecture of Erdős states that r(3; m) = 2Θ(m). In this note, we prove the conjecture for m-colorings with bounded VC-dimension, that is, for m-colorings with the property that the set system induced by the neighborhoods of the vertices with respect to each color class has bounded VC-dimension."}],"publication_status":"published","page":"803-813","department":[{"_id":"HeEd"}],"publisher":"Springer Nature","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","intvolume":" 41","citation":{"apa":"Fox, J., Pach, J., & Suk, A. (2021). Bounded VC-dimension implies the Schur-Erdős conjecture. Combinatorica. Springer Nature. https://doi.org/10.1007/s00493-021-4530-9","ieee":"J. Fox, J. Pach, and A. Suk, “Bounded VC-dimension implies the Schur-Erdős conjecture,” Combinatorica, vol. 41, no. 6. Springer Nature, pp. 803–813, 2021.","ama":"Fox J, Pach J, Suk A. Bounded VC-dimension implies the Schur-Erdős conjecture. Combinatorica. 2021;41(6):803-813. doi:10.1007/s00493-021-4530-9","mla":"Fox, Jacob, et al. “Bounded VC-Dimension Implies the Schur-Erdős Conjecture.” Combinatorica, vol. 41, no. 6, Springer Nature, 2021, pp. 803–13, doi:10.1007/s00493-021-4530-9.","chicago":"Fox, Jacob, János Pach, and Andrew Suk. “Bounded VC-Dimension Implies the Schur-Erdős Conjecture.” Combinatorica. Springer Nature, 2021. https://doi.org/10.1007/s00493-021-4530-9.","short":"J. Fox, J. Pach, A. Suk, Combinatorica 41 (2021) 803–813.","ista":"Fox J, Pach J, Suk A. 2021. Bounded VC-dimension implies the Schur-Erdős conjecture. Combinatorica. 41(6), 803–813."},"date_published":"2021-11-20T00:00:00Z","arxiv":1,"status":"public","type":"journal_article","keyword":["Computational Mathematics","Discrete Mathematics and Combinatorics"],"_id":"15275","month":"11","oa_version":"Preprint","volume":41,"date_updated":"2024-04-09T10:40:08Z","quality_controlled":"1","date_created":"2024-04-03T07:59:57Z","doi":"10.1007/s00493-021-4530-9","main_file_link":[{"url":"https://doi.org/10.48550/arXiv.1912.02342","open_access":"1"}]},{"keyword":["Virology","Genetics","Molecular Biology","Immunology","Microbiology","Parasitology"],"type":"journal_article","tmp":{"image":"/images/cc_by.png","short":"CC BY (4.0)","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode"},"has_accepted_license":"1","doi":"10.1371/journal.ppat.1009641","month":"06","_id":"15276","oa_version":"Published Version","volume":17,"quality_controlled":"1","date_created":"2024-04-03T08:00:34Z","date_updated":"2024-04-09T10:26:12Z","publisher":"Public Library of Science","file_date_updated":"2024-04-09T10:24:43Z","license":"https://creativecommons.org/licenses/by/4.0/","department":[{"_id":"JiFr"}],"article_number":"e1009641","status":"public","intvolume":" 17","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","citation":{"apa":"Navarrete, F., Grujic, N., Stirnberg, A., Saado, I., Aleksza, D., Gallei, M. C., … Djamei, A. (2021). The Pleiades are a cluster of fungal effectors that inhibit host defenses. PLOS Pathogens. Public Library of Science. https://doi.org/10.1371/journal.ppat.1009641","ieee":"F. Navarrete et al., “The Pleiades are a cluster of fungal effectors that inhibit host defenses,” PLOS Pathogens, vol. 17, no. 6. Public Library of Science, 2021.","ama":"Navarrete F, Grujic N, Stirnberg A, et al. The Pleiades are a cluster of fungal effectors that inhibit host defenses. PLOS Pathogens. 2021;17(6). doi:10.1371/journal.ppat.1009641","mla":"Navarrete, Fernando, et al. “The Pleiades Are a Cluster of Fungal Effectors That Inhibit Host Defenses.” PLOS Pathogens, vol. 17, no. 6, e1009641, Public Library of Science, 2021, doi:10.1371/journal.ppat.1009641.","chicago":"Navarrete, Fernando, Nenad Grujic, Alexandra Stirnberg, Indira Saado, David Aleksza, Michelle C Gallei, Hazem Adi, et al. “The Pleiades Are a Cluster of Fungal Effectors That Inhibit Host Defenses.” PLOS Pathogens. Public Library of Science, 2021. https://doi.org/10.1371/journal.ppat.1009641.","short":"F. Navarrete, N. Grujic, A. Stirnberg, I. Saado, D. Aleksza, M.C. Gallei, H. Adi, A. Alcântara, M. Khan, J. Bindics, M. Trujillo, A. Djamei, PLOS Pathogens 17 (2021).","ista":"Navarrete F, Grujic N, Stirnberg A, Saado I, Aleksza D, Gallei MC, Adi H, Alcântara A, Khan M, Bindics J, Trujillo M, Djamei A. 2021. The Pleiades are a cluster of fungal effectors that inhibit host defenses. PLOS Pathogens. 17(6), e1009641."},"date_published":"2021-06-24T00:00:00Z","author":[{"last_name":"Navarrete","first_name":"Fernando","full_name":"Navarrete, Fernando"},{"last_name":"Grujic","full_name":"Grujic, Nenad","first_name":"Nenad"},{"full_name":"Stirnberg, Alexandra","first_name":"Alexandra","last_name":"Stirnberg"},{"last_name":"Saado","full_name":"Saado, Indira","first_name":"Indira"},{"first_name":"David","full_name":"Aleksza, David","last_name":"Aleksza"},{"full_name":"Gallei, Michelle C","first_name":"Michelle C","id":"35A03822-F248-11E8-B48F-1D18A9856A87","last_name":"Gallei","orcid":"0000-0003-1286-7368"},{"last_name":"Adi","full_name":"Adi, Hazem","first_name":"Hazem"},{"last_name":"Alcântara","first_name":"André","full_name":"Alcântara, André"},{"last_name":"Khan","full_name":"Khan, Mamoona","first_name":"Mamoona"},{"last_name":"Bindics","first_name":"Janos","full_name":"Bindics, Janos"},{"full_name":"Trujillo, Marco","first_name":"Marco","last_name":"Trujillo"},{"full_name":"Djamei, Armin","first_name":"Armin","last_name":"Djamei"}],"ddc":["580"],"day":"24","issue":"6","article_processing_charge":"Yes","oa":1,"publication_status":"published","title":"The Pleiades are a cluster of fungal effectors that inhibit host defenses","abstract":[{"text":"Biotrophic plant pathogens secrete effector proteins to manipulate the host physiology. Effectors suppress defenses and induce an environment favorable to disease development. Sequence-based prediction of effector function is impeded by their rapid evolution rate. In the maize pathogen Ustilago maydis, effector-coding genes frequently organize in clusters. Here we describe the functional characterization of the pleiades, a cluster of ten effector genes, by analyzing the micro- and macroscopic phenotype of the cluster deletion and expressing these proteins in planta. Deletion of the pleiades leads to strongly impaired virulence and accumulation of reactive oxygen species (ROS) in infected tissue. Eight of the Pleiades suppress the production of ROS upon perception of pathogen associated molecular patterns (PAMPs). Although functionally redundant, the Pleiades target different host components. The paralogs Taygeta1 and Merope1 suppress ROS production in either the cytoplasm or nucleus, respectively. Merope1 targets and promotes the auto-ubiquitination activity of RFI2, a conserved family of E3 ligases that regulates the production of PAMP-triggered ROS burst in plants.","lang":"eng"}],"file":[{"checksum":"ab8428291a0c14607c4ea5656c029cff","file_name":"2021_PlosPathogens_Navarrete.pdf","file_id":"15305","relation":"main_file","content_type":"application/pdf","access_level":"open_access","success":1,"creator":"dernst","file_size":2616563,"date_created":"2024-04-09T10:24:43Z","date_updated":"2024-04-09T10:24:43Z"}],"publication_identifier":{"issn":["1553-7374"]},"publication":"PLOS Pathogens","year":"2021","article_type":"original","external_id":{"pmid":["34166468"]},"pmid":1,"language":[{"iso":"eng"}]},{"status":"public","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","intvolume":" 49","date_published":"2021-01-25T00:00:00Z","citation":{"apa":"Fuchs, A., Riegler, S., Ayatollahi, Z., Cavallari, N., Giono, L. E., Nimeth, B. A., … Kalyna, M. (2021). Targeting alternative splicing by RNAi: From the differential impact on splice variants to triggering artificial pre-mRNA splicing. Nucleic Acids Research. Oxford University Press. https://doi.org/10.1093/nar/gkaa1260","ieee":"A. Fuchs et al., “Targeting alternative splicing by RNAi: From the differential impact on splice variants to triggering artificial pre-mRNA splicing,” Nucleic Acids Research, vol. 49, no. 2. Oxford University Press, pp. 1133–1151, 2021.","ama":"Fuchs A, Riegler S, Ayatollahi Z, et al. Targeting alternative splicing by RNAi: From the differential impact on splice variants to triggering artificial pre-mRNA splicing. Nucleic Acids Research. 2021;49(2):1133-1151. doi:10.1093/nar/gkaa1260","mla":"Fuchs, Armin, et al. “Targeting Alternative Splicing by RNAi: From the Differential Impact on Splice Variants to Triggering Artificial Pre-MRNA Splicing.” Nucleic Acids Research, vol. 49, no. 2, Oxford University Press, 2021, pp. 1133–51, doi:10.1093/nar/gkaa1260.","short":"A. Fuchs, S. Riegler, Z. Ayatollahi, N. Cavallari, L.E. Giono, B.A. Nimeth, K.V. Mutanwad, A. Schweighofer, D. Lucyshyn, A. Barta, E. Petrillo, M. Kalyna, Nucleic Acids Research 49 (2021) 1133–1151.","chicago":"Fuchs, Armin, Stefan Riegler, Zahra Ayatollahi, Nicola Cavallari, Luciana E Giono, Barbara A Nimeth, Krishna V Mutanwad, et al. “Targeting Alternative Splicing by RNAi: From the Differential Impact on Splice Variants to Triggering Artificial Pre-MRNA Splicing.” Nucleic Acids Research. Oxford University Press, 2021. https://doi.org/10.1093/nar/gkaa1260.","ista":"Fuchs A, Riegler S, Ayatollahi Z, Cavallari N, Giono LE, Nimeth BA, Mutanwad KV, Schweighofer A, Lucyshyn D, Barta A, Petrillo E, Kalyna M. 2021. Targeting alternative splicing by RNAi: From the differential impact on splice variants to triggering artificial pre-mRNA splicing. Nucleic Acids Research. 49(2), 1133–1151."},"publisher":"Oxford University Press","file_date_updated":"2024-04-09T10:14:39Z","department":[{"_id":"EvBe"}],"doi":"10.1093/nar/gkaa1260","_id":"15277","oa_version":"Published Version","month":"01","volume":49,"date_updated":"2024-04-09T10:16:40Z","date_created":"2024-04-03T08:02:09Z","quality_controlled":"1","keyword":["Genetics"],"type":"journal_article","tmp":{"image":"/images/cc_by.png","short":"CC BY (4.0)","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode"},"has_accepted_license":"1","year":"2021","article_type":"original","external_id":{"pmid":["33406240"]},"pmid":1,"language":[{"iso":"eng"}],"file":[{"file_name":"2021_NucleicAcidsRes_Fuchs.pdf","file_id":"15304","relation":"main_file","checksum":"d3c90660759a5d34ad43ba1def130462","success":1,"creator":"dernst","date_updated":"2024-04-09T10:14:39Z","date_created":"2024-04-09T10:14:39Z","file_size":6539791,"content_type":"application/pdf","access_level":"open_access"}],"publication_identifier":{"eissn":["1362-4962"],"issn":["0305-1048"]},"publication":"Nucleic Acids Research","publication_status":"published","page":"1133-1151","title":"Targeting alternative splicing by RNAi: From the differential impact on splice variants to triggering artificial pre-mRNA splicing","abstract":[{"lang":"eng","text":"Alternative splicing generates multiple transcript and protein isoforms from a single gene and controls transcript intracellular localization and stability by coupling to mRNA export and nonsense-mediated mRNA decay (NMD). RNA interference (RNAi) is a potent mechanism to modulate gene expression. However, its interactions with alternative splicing are poorly understood. We used artificial microRNAs (amiRNAs, also termed shRNAmiR) to knockdown all splice variants of selected target genes in Arabidopsis thaliana. We found that splice variants, which vary by their protein-coding capacity, subcellular localization and sensitivity to NMD, are affected differentially by an amiRNA, although all of them contain the target site. Particular transcript isoforms escape amiRNA-mediated degradation due to their nuclear localization. The nuclear and NMD-sensitive isoforms mask RNAi action in alternatively spliced genes. Interestingly, Arabidopsis SPL genes, which undergo alternative splicing and are targets of miR156, are regulated in the same manner. Moreover, similar results were obtained in mammalian cells using siRNAs, indicating cross-kingdom conservation of these interactions among RNAi and splicing isoforms. Furthermore, we report that amiRNA can trigger artificial alternative splicing, thus expanding the RNAi functional repertoire. Our findings unveil novel interactions between different post-transcriptional processes in defining transcript fates and regulating gene expression."}],"author":[{"full_name":"Fuchs, Armin","first_name":"Armin","last_name":"Fuchs"},{"last_name":"Riegler","first_name":"Stefan","full_name":"Riegler, Stefan"},{"first_name":"Zahra","full_name":"Ayatollahi, Zahra","last_name":"Ayatollahi"},{"first_name":"Nicola","full_name":"Cavallari, Nicola","id":"457160E6-F248-11E8-B48F-1D18A9856A87","last_name":"Cavallari"},{"last_name":"Giono","first_name":"Luciana E","full_name":"Giono, Luciana E"},{"last_name":"Nimeth","full_name":"Nimeth, Barbara A","first_name":"Barbara A"},{"last_name":"Mutanwad","first_name":"Krishna V","full_name":"Mutanwad, Krishna V"},{"last_name":"Schweighofer","first_name":"Alois","full_name":"Schweighofer, Alois"},{"full_name":"Lucyshyn, Doris","first_name":"Doris","last_name":"Lucyshyn"},{"full_name":"Barta, Andrea","first_name":"Andrea","last_name":"Barta"},{"last_name":"Petrillo","first_name":"Ezequiel","full_name":"Petrillo, Ezequiel"},{"last_name":"Kalyna","full_name":"Kalyna, Maria","first_name":"Maria"}],"ddc":["570"],"day":"25","issue":"2","article_processing_charge":"No","oa":1},{"keyword":["General Medicine"],"tmp":{"image":"/images/cc_by.png","short":"CC BY (4.0)","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode"},"has_accepted_license":"1","type":"journal_article","doi":"10.3390/cells10102648","_id":"15278","oa_version":"Published Version","month":"10","date_created":"2024-04-03T08:02:52Z","quality_controlled":"1","volume":10,"date_updated":"2024-04-09T08:53:23Z","publisher":"MDPI","file_date_updated":"2024-04-09T08:51:22Z","department":[{"_id":"GaNo"}],"status":"public","article_number":"2648","date_published":"2021-10-04T00:00:00Z","citation":{"ama":"Cordella F, Sanchini C, Rosito M, et al. Antibiotics treatment modulates microglia–synapses interaction. Cells. 2021;10(10). doi:10.3390/cells10102648","ieee":"F. Cordella et al., “Antibiotics treatment modulates microglia–synapses interaction,” Cells, vol. 10, no. 10. MDPI, 2021.","apa":"Cordella, F., Sanchini, C., Rosito, M., Ferrucci, L., Pediconi, N., Cortese, B., … Di Angelantonio, S. (2021). Antibiotics treatment modulates microglia–synapses interaction. Cells. MDPI. https://doi.org/10.3390/cells10102648","ista":"Cordella F, Sanchini C, Rosito M, Ferrucci L, Pediconi N, Cortese B, Guerrieri F, Pascucci GR, Antonangeli F, Peruzzi G, Giubettini M, Basilico B, Pagani F, Grimaldi A, D’Alessandro G, Limatola C, Ragozzino D, Di Angelantonio S. 2021. Antibiotics treatment modulates microglia–synapses interaction. Cells. 10(10), 2648.","chicago":"Cordella, Federica, Caterina Sanchini, Maria Rosito, Laura Ferrucci, Natalia Pediconi, Barbara Cortese, Francesca Guerrieri, et al. “Antibiotics Treatment Modulates Microglia–Synapses Interaction.” Cells. MDPI, 2021. https://doi.org/10.3390/cells10102648.","short":"F. Cordella, C. Sanchini, M. Rosito, L. Ferrucci, N. Pediconi, B. Cortese, F. Guerrieri, G.R. Pascucci, F. Antonangeli, G. Peruzzi, M. Giubettini, B. Basilico, F. Pagani, A. Grimaldi, G. D’Alessandro, C. Limatola, D. Ragozzino, S. Di Angelantonio, Cells 10 (2021).","mla":"Cordella, Federica, et al. “Antibiotics Treatment Modulates Microglia–Synapses Interaction.” Cells, vol. 10, no. 10, 2648, MDPI, 2021, doi:10.3390/cells10102648."},"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","intvolume":" 10","issue":"10","author":[{"full_name":"Cordella, Federica","first_name":"Federica","last_name":"Cordella"},{"first_name":"Caterina","full_name":"Sanchini, Caterina","last_name":"Sanchini"},{"last_name":"Rosito","full_name":"Rosito, Maria","first_name":"Maria"},{"first_name":"Laura","full_name":"Ferrucci, Laura","last_name":"Ferrucci"},{"full_name":"Pediconi, Natalia","first_name":"Natalia","last_name":"Pediconi"},{"full_name":"Cortese, Barbara","first_name":"Barbara","last_name":"Cortese"},{"full_name":"Guerrieri, Francesca","first_name":"Francesca","last_name":"Guerrieri"},{"last_name":"Pascucci","full_name":"Pascucci, Giuseppe Rubens","first_name":"Giuseppe Rubens"},{"full_name":"Antonangeli, Fabrizio","first_name":"Fabrizio","last_name":"Antonangeli"},{"full_name":"Peruzzi, Giovanna","first_name":"Giovanna","last_name":"Peruzzi"},{"last_name":"Giubettini","first_name":"Maria","full_name":"Giubettini, Maria"},{"first_name":"Bernadette","full_name":"Basilico, Bernadette","id":"36035796-5ACA-11E9-A75E-7AF2E5697425","last_name":"Basilico","orcid":"0000-0003-1843-3173"},{"full_name":"Pagani, Francesca","first_name":"Francesca","last_name":"Pagani"},{"full_name":"Grimaldi, Alfonso","first_name":"Alfonso","last_name":"Grimaldi"},{"last_name":"D’Alessandro","first_name":"Giuseppina","full_name":"D’Alessandro, Giuseppina"},{"full_name":"Limatola, Cristina","first_name":"Cristina","last_name":"Limatola"},{"full_name":"Ragozzino, Davide","first_name":"Davide","last_name":"Ragozzino"},{"first_name":"Silvia","full_name":"Di Angelantonio, Silvia","last_name":"Di Angelantonio"}],"day":"04","ddc":["610"],"oa":1,"article_processing_charge":"Yes","publication_status":"published","abstract":[{"text":"‘Dysbiosis’ of the adult gut microbiota, in response to challenges such as infection, altered diet, stress, and antibiotics treatment has been recently linked to pathological alteration of brain function and behavior. Moreover, gut microbiota composition constantly controls microglia maturation, as revealed by morphological observations and gene expression analysis. However, it is unclear whether microglia functional properties and crosstalk with neurons, known to shape and modulate synaptic development and function, are influenced by the gut microbiota. Here, we investigated how antibiotic-mediated alteration of the gut microbiota influences microglial and neuronal functions in adult mice hippocampus. Hippocampal microglia from adult mice treated with oral antibiotics exhibited increased microglia density, altered basal patrolling activity, and impaired process rearrangement in response to damage. Patch clamp recordings at CA3-CA1 synapses revealed that antibiotics treatment alters neuronal functions, reducing spontaneous postsynaptic glutamatergic currents and decreasing synaptic connectivity, without reducing dendritic spines density. Antibiotics treatment was unable to modulate synaptic function in CX3CR1-deficient mice, pointing to an involvement of microglia–neuron crosstalk through the CX3CL1/CX3CR1 axis in the effect of dysbiosis on neuronal functions. Together, our findings show that antibiotic alteration of gut microbiota impairs synaptic efficacy, suggesting that CX3CL1/CX3CR1 signaling supporting microglia is a major player in in the gut–brain axis, and in particular in the gut microbiota-to-neuron communication pathway.","lang":"eng"}],"title":"Antibiotics treatment modulates microglia–synapses interaction","publication_identifier":{"issn":["2073-4409"]},"file":[{"date_created":"2024-04-09T08:51:22Z","file_size":2196672,"date_updated":"2024-04-09T08:51:22Z","success":1,"creator":"dernst","access_level":"open_access","content_type":"application/pdf","relation":"main_file","file_id":"15303","file_name":"2021_Cells_Cordella.pdf","checksum":"1a3b251ce82e2b9474b852d2abe5bb03"}],"publication":"Cells","year":"2021","article_type":"original","pmid":1,"external_id":{"pmid":["34685628"]},"language":[{"iso":"eng"}]},{"citation":{"ama":"Bilu M, Howe S. Motivic Euler products in motivic statistics. Algebra & Number Theory. 2021;15(9):2195-2259. doi:10.2140/ant.2021.15.2195","ieee":"M. Bilu and S. Howe, “Motivic Euler products in motivic statistics,” Algebra & Number Theory, vol. 15, no. 9. Mathematical Sciences Publishers, pp. 2195–2259, 2021.","apa":"Bilu, M., & Howe, S. (2021). Motivic Euler products in motivic statistics. Algebra & Number Theory. Mathematical Sciences Publishers. https://doi.org/10.2140/ant.2021.15.2195","ista":"Bilu M, Howe S. 2021. Motivic Euler products in motivic statistics. Algebra & Number Theory. 15(9), 2195–2259.","chicago":"Bilu, Margaret, and Sean Howe. “Motivic Euler Products in Motivic Statistics.” Algebra & Number Theory. Mathematical Sciences Publishers, 2021. https://doi.org/10.2140/ant.2021.15.2195.","short":"M. Bilu, S. Howe, Algebra & Number Theory 15 (2021) 2195–2259.","mla":"Bilu, Margaret, and Sean Howe. “Motivic Euler Products in Motivic Statistics.” Algebra & Number Theory, vol. 15, no. 9, Mathematical Sciences Publishers, 2021, pp. 2195–259, doi:10.2140/ant.2021.15.2195."},"date_published":"2021-12-23T00:00:00Z","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","intvolume":" 15","corr_author":"1","status":"public","arxiv":1,"department":[{"_id":"TiBr"}],"publisher":"Mathematical Sciences Publishers","_id":"15279","oa_version":"Preprint","month":"12","volume":15,"date_created":"2024-04-03T08:12:59Z","date_updated":"2024-10-21T06:02:15Z","quality_controlled":"1","scopus_import":"1","main_file_link":[{"open_access":"1","url":"https://doi.org/10.48550/arXiv.1910.05207"}],"doi":"10.2140/ant.2021.15.2195","type":"journal_article","keyword":["Algebra and Number Theory"],"external_id":{"arxiv":["1910.05207"]},"language":[{"iso":"eng"}],"year":"2021","article_type":"original","publication":"Algebra & Number Theory","publication_identifier":{"issn":["1937-0652"],"eissn":["1944-7833"]},"abstract":[{"text":"We formulate and prove an analog of Poonen’s finite-field Bertini theorem with Taylor conditions that holds in the Grothendieck ring of varieties. This gives a broad generalization of the work of Vakil and Wood, who treated the case of smooth hypersurface sections, and is made possible by the use of motivic Euler products to write down candidate motivic probabilities. As applications, we give motivic analogs of many results in arithmetic statistics that have been proven using Poonen’s sieve, including work of Bucur and Kedlaya on complete intersections and Erman and Wood on semiample Bertini theorems.","lang":"eng"}],"title":"Motivic Euler products in motivic statistics","publication_status":"published","page":"2195-2259","oa":1,"article_processing_charge":"No","issue":"9","author":[{"id":"98C47862-10D5-11EA-BEDD-0F6F3DDC885E","last_name":"Bilu","full_name":"Bilu, Margaret","first_name":"Margaret"},{"last_name":"Howe","first_name":"Sean","full_name":"Howe, Sean"}],"day":"23"},{"title":"Peaking into the plant cell wall using cryo-FIB milling and electron cryo-tomography","volume":27,"date_created":"2024-04-03T08:57:23Z","date_updated":"2024-04-09T07:55:56Z","quality_controlled":"1","month":"08","_id":"15283","oa_version":"None","doi":"10.1017/s1431927621010503","page":"3024-3026","publication_status":"published","article_processing_charge":"No","type":"journal_article","day":"01","author":[{"last_name":"Nicolas","full_name":"Nicolas, William","first_name":"William"},{"last_name":"Fäßler","id":"404F5528-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0001-7149-769X","first_name":"Florian","full_name":"Fäßler, Florian"},{"first_name":"Elliot","full_name":"Meyerowitz, Elliot","last_name":"Meyerowitz"},{"last_name":"Jensen","first_name":"Grant","full_name":"Jensen, Grant"}],"keyword":["Instrumentation"],"issue":"S1","language":[{"iso":"eng"}],"intvolume":" 27","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","date_published":"2021-08-01T00:00:00Z","citation":{"ista":"Nicolas W, Fäßler F, Meyerowitz E, Jensen G. 2021. Peaking into the plant cell wall using cryo-FIB milling and electron cryo-tomography. Microscopy and Microanalysis. 27(S1), 3024–3026.","mla":"Nicolas, William, et al. “Peaking into the Plant Cell Wall Using Cryo-FIB Milling and Electron Cryo-Tomography.” Microscopy and Microanalysis, vol. 27, no. S1, Oxford University Press, 2021, pp. 3024–26, doi:10.1017/s1431927621010503.","short":"W. Nicolas, F. Fäßler, E. Meyerowitz, G. Jensen, Microscopy and Microanalysis 27 (2021) 3024–3026.","chicago":"Nicolas, William, Florian Fäßler, Elliot Meyerowitz, and Grant Jensen. “Peaking into the Plant Cell Wall Using Cryo-FIB Milling and Electron Cryo-Tomography.” Microscopy and Microanalysis. Oxford University Press, 2021. https://doi.org/10.1017/s1431927621010503.","ama":"Nicolas W, Fäßler F, Meyerowitz E, Jensen G. Peaking into the plant cell wall using cryo-FIB milling and electron cryo-tomography. Microscopy and Microanalysis. 2021;27(S1):3024-3026. doi:10.1017/s1431927621010503","apa":"Nicolas, W., Fäßler, F., Meyerowitz, E., & Jensen, G. (2021). Peaking into the plant cell wall using cryo-FIB milling and electron cryo-tomography. Microscopy and Microanalysis. Oxford University Press. https://doi.org/10.1017/s1431927621010503","ieee":"W. Nicolas, F. Fäßler, E. Meyerowitz, and G. Jensen, “Peaking into the plant cell wall using cryo-FIB milling and electron cryo-tomography,” Microscopy and Microanalysis, vol. 27, no. S1. Oxford University Press, pp. 3024–3026, 2021."},"article_type":"original","year":"2021","status":"public","department":[{"_id":"FlSc"}],"publication":"Microscopy and Microanalysis","publisher":"Oxford University Press","publication_identifier":{"eissn":["1435-8115"],"issn":["1431-9276"]}},{"doi":"10.1145/3410304","main_file_link":[{"open_access":"1","url":"https://doi.org/10.1145/3410304"}],"title":"RevTerm","month":"06","_id":"15284","oa_version":"Published Version","abstract":[{"lang":"eng","text":"RevTerm is a static analysis tool for proving non-termination of integer C programs (possibly with non-determinism). RevTerm is an implementation of our method for non-termination proving presented in the paper “Proving Non-termination by Program Reversal”.\r\n\r\n"}],"date_created":"2024-04-03T09:00:42Z","date_updated":"2025-04-15T06:25:30Z","author":[{"orcid":"0000-0002-4561-241X","last_name":"Chatterjee","id":"2E5DCA20-F248-11E8-B48F-1D18A9856A87","first_name":"Krishnendu","full_name":"Chatterjee, Krishnendu"},{"last_name":"Goharshady","first_name":"Ehsan Kafshdar","full_name":"Goharshady, Ehsan Kafshdar"},{"last_name":"Novotný","id":"3CC3B868-F248-11E8-B48F-1D18A9856A87","first_name":"Petr","full_name":"Novotný, Petr"},{"full_name":"Zikelic, Dorde","first_name":"Dorde","orcid":"0000-0002-4681-1699","last_name":"Zikelic","id":"294AA7A6-F248-11E8-B48F-1D18A9856A87"}],"ddc":["000"],"related_material":{"record":[{"status":"public","id":"9644","relation":"used_in_publication"}]},"day":"01","type":"research_data_reference","article_processing_charge":"No","oa":1,"has_accepted_license":"1","year":"2021","status":"public","corr_author":"1","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","citation":{"ista":"Chatterjee K, Goharshady EK, Novotný P, Zikelic D. 2021. RevTerm, Association for Computing Machinery, 10.1145/3410304.","mla":"Chatterjee, Krishnendu, et al. RevTerm. Association for Computing Machinery, 2021, doi:10.1145/3410304.","short":"K. Chatterjee, E.K. Goharshady, P. Novotný, D. Zikelic, (2021).","chicago":"Chatterjee, Krishnendu, Ehsan Kafshdar Goharshady, Petr Novotný, and Dorde Zikelic. “RevTerm.” Association for Computing Machinery, 2021. https://doi.org/10.1145/3410304.","ama":"Chatterjee K, Goharshady EK, Novotný P, Zikelic D. RevTerm. 2021. doi:10.1145/3410304","apa":"Chatterjee, K., Goharshady, E. K., Novotný, P., & Zikelic, D. (2021). RevTerm. Association for Computing Machinery. https://doi.org/10.1145/3410304","ieee":"K. Chatterjee, E. K. Goharshady, P. Novotný, and D. Zikelic, “RevTerm.” Association for Computing Machinery, 2021."},"date_published":"2021-06-01T00:00:00Z","publisher":"Association for Computing Machinery","department":[{"_id":"KrCh"}]},{"ddc":["610"],"day":"24","author":[{"last_name":"Rubel","full_name":"Rubel, Paul","first_name":"Paul"},{"last_name":"Fayn","full_name":"Fayn, Jocelyne","first_name":"Jocelyne"},{"last_name":"Macfarlane","first_name":"Peter W.","full_name":"Macfarlane, Peter W."},{"last_name":"Pani","first_name":"Danilo","full_name":"Pani, Danilo"},{"full_name":"Schlögl, Alois","first_name":"Alois","orcid":"0000-0002-5621-8100","last_name":"Schlögl","id":"45BF87EE-F248-11E8-B48F-1D18A9856A87"},{"last_name":"Värri","first_name":"Alpo","full_name":"Värri, Alpo"}],"issue":"3","article_processing_charge":"Yes","oa":1,"acknowledgement":"This research received no external funding. The authors thank the large number of researchers, engineers, cardiologists, and clinicians from academia, industry, and normalization organizations who contributed to the development and testing of the SCP-ECG standards.","page":"384-409","publication_status":"published","title":"The history and challenges of SCP-ECG: The standard communication protocol for computer-assisted electrocardiography","abstract":[{"lang":"eng","text":"Ever since the first publication of the standard communication protocol for computer-assisted electrocardiography (SCP-ECG), prENV 1064, in 1993, by the European Committee for Standardization (CEN), SCP-ECG has become a leading example in health informatics, enabling open, secure, and well-documented digital data exchange at a low cost, for quick and efficient cardiovascular disease detection and management. Based on the experiences gained, since the 1970s, in computerized electrocardiology, and on the results achieved by the pioneering, international cooperative research on common standards for quantitative electrocardiography (CSE), SCP-ECG was designed, from the beginning, to empower personalized medicine, thanks to serial ECG analysis. The fundamental concept behind SCP-ECG is to convey the necessary information for ECG re-analysis, serial comparison, and interpretation, and to structure the ECG data and metadata in sections that are mostly optional in order to fit all use cases. SCP-ECG is open to the storage of the ECG signal and ECG measurement data, whatever the ECG recording modality or computation method, and can store the over-reading trails and ECG annotations, as well as any computerized or medical interpretation reports. Only the encoding syntax and the semantics of the ECG descriptors and of the diagnosis codes are standardized. We present all of the landmarks in the development and publication of SCP-ECG, from the early 1990s to the 2009 International Organization for Standardization (ISO) SCP-ECG standards, including the latest version published by CEN in 2020, which now encompasses rest and stress ECGs, Holter recordings, and protocol-based trials."}],"file":[{"creator":"dernst","success":1,"date_updated":"2024-04-09T06:49:47Z","date_created":"2024-04-09T06:49:47Z","file_size":3539897,"content_type":"application/pdf","access_level":"open_access","file_name":"2021_Hearts_Rubel.pdf","file_id":"15302","relation":"main_file","checksum":"f67142b1e1e8ca5cd7a6a6798f46375e"}],"publication_identifier":{"issn":["2673-3846"]},"publication":"Hearts","article_type":"review","year":"2021","language":[{"iso":"eng"}],"keyword":["General Medicine"],"type":"journal_article","has_accepted_license":"1","tmp":{"image":"/images/cc_by.png","short":"CC BY (4.0)","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode"},"doi":"10.3390/hearts2030031","date_updated":"2024-04-09T06:51:50Z","date_created":"2024-04-03T09:03:31Z","quality_controlled":"1","volume":2,"month":"08","_id":"15285","oa_version":"Published Version","publisher":"MDPI","department":[{"_id":"ScienComp"}],"file_date_updated":"2024-04-09T06:49:47Z","status":"public","intvolume":" 2","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","citation":{"apa":"Rubel, P., Fayn, J., Macfarlane, P. W., Pani, D., Schlögl, A., & Värri, A. (2021). The history and challenges of SCP-ECG: The standard communication protocol for computer-assisted electrocardiography. Hearts. MDPI. https://doi.org/10.3390/hearts2030031","ieee":"P. Rubel, J. Fayn, P. W. Macfarlane, D. Pani, A. Schlögl, and A. Värri, “The history and challenges of SCP-ECG: The standard communication protocol for computer-assisted electrocardiography,” Hearts, vol. 2, no. 3. MDPI, pp. 384–409, 2021.","ama":"Rubel P, Fayn J, Macfarlane PW, Pani D, Schlögl A, Värri A. The history and challenges of SCP-ECG: The standard communication protocol for computer-assisted electrocardiography. Hearts. 2021;2(3):384-409. doi:10.3390/hearts2030031","mla":"Rubel, Paul, et al. “The History and Challenges of SCP-ECG: The Standard Communication Protocol for Computer-Assisted Electrocardiography.” Hearts, vol. 2, no. 3, MDPI, 2021, pp. 384–409, doi:10.3390/hearts2030031.","short":"P. Rubel, J. Fayn, P.W. Macfarlane, D. Pani, A. Schlögl, A. Värri, Hearts 2 (2021) 384–409.","chicago":"Rubel, Paul, Jocelyne Fayn, Peter W. Macfarlane, Danilo Pani, Alois Schlögl, and Alpo Värri. “The History and Challenges of SCP-ECG: The Standard Communication Protocol for Computer-Assisted Electrocardiography.” Hearts. MDPI, 2021. https://doi.org/10.3390/hearts2030031.","ista":"Rubel P, Fayn J, Macfarlane PW, Pani D, Schlögl A, Värri A. 2021. The history and challenges of SCP-ECG: The standard communication protocol for computer-assisted electrocardiography. Hearts. 2(3), 384–409."},"date_published":"2021-08-24T00:00:00Z"},{"has_accepted_license":"1","tmp":{"image":"/images/cc_by.png","short":"CC BY (4.0)","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode"},"type":"journal_article","main_file_link":[{"url":"https://doi.org/10.7554/eLife.61769","open_access":"1"}],"doi":"10.7554/elife.61769","volume":10,"quality_controlled":"1","date_updated":"2025-07-10T11:51:41Z","date_created":"2025-04-03T12:29:29Z","_id":"19472","oa_version":"Published Version","month":"04","scopus_import":"1","publisher":"eLife Sciences Publications","status":"public","article_number":"61769","citation":{"ieee":"L. Morcom et al., “DCC regulates astroglial development essential for telencephalic morphogenesis and corpus callosum formation,” eLife, vol. 10. eLife Sciences Publications, 2021.","apa":"Morcom, L., Gobius, I., Marsh, A. P., Suárez, R., Lim, J. W., Bridges, C., … Richards, L. J. (2021). DCC regulates astroglial development essential for telencephalic morphogenesis and corpus callosum formation. ELife. eLife Sciences Publications. https://doi.org/10.7554/elife.61769","ama":"Morcom L, Gobius I, Marsh AP, et al. DCC regulates astroglial development essential for telencephalic morphogenesis and corpus callosum formation. eLife. 2021;10. doi:10.7554/elife.61769","chicago":"Morcom, Laura, Ilan Gobius, Ashley PL Marsh, Rodrigo Suárez, Jonathan WC Lim, Caitlin Bridges, Yunan Ye, et al. “DCC Regulates Astroglial Development Essential for Telencephalic Morphogenesis and Corpus Callosum Formation.” ELife. eLife Sciences Publications, 2021. https://doi.org/10.7554/elife.61769.","short":"L. Morcom, I. Gobius, A.P. Marsh, R. Suárez, J.W. Lim, C. Bridges, Y. Ye, L.R. Fenlon, Y. Zagar, A.M. Douglass, A.-L.S. Donahoo, T. Fothergill, S. Shaikh, P. Kozulin, T.J. Edwards, H.M. Cooper, E.H. Sherr, A. Chédotal, R.J. Leventer, P.J. Lockhart, L.J. Richards, ELife 10 (2021).","mla":"Morcom, Laura, et al. “DCC Regulates Astroglial Development Essential for Telencephalic Morphogenesis and Corpus Callosum Formation.” ELife, vol. 10, 61769, eLife Sciences Publications, 2021, doi:10.7554/elife.61769.","ista":"Morcom L, Gobius I, Marsh AP, Suárez R, Lim JW, Bridges C, Ye Y, Fenlon LR, Zagar Y, Douglass AM, Donahoo A-LS, Fothergill T, Shaikh S, Kozulin P, Edwards TJ, Cooper HM, Sherr EH, Chédotal A, Leventer RJ, Lockhart PJ, Richards LJ. 2021. DCC regulates astroglial development essential for telencephalic morphogenesis and corpus callosum formation. eLife. 10, 61769."},"date_published":"2021-04-19T00:00:00Z","DOAJ_listed":"1","intvolume":" 10","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","day":"19","author":[{"last_name":"Morcom","full_name":"Morcom, Laura","first_name":"Laura"},{"first_name":"Ilan","full_name":"Gobius, Ilan","last_name":"Gobius"},{"last_name":"Marsh","full_name":"Marsh, Ashley PL","first_name":"Ashley PL"},{"full_name":"Suárez, Rodrigo","first_name":"Rodrigo","last_name":"Suárez"},{"last_name":"Lim","full_name":"Lim, Jonathan WC","first_name":"Jonathan WC"},{"full_name":"Bridges, Caitlin","first_name":"Caitlin","last_name":"Bridges"},{"last_name":"Ye","first_name":"Yunan","full_name":"Ye, Yunan"},{"last_name":"Fenlon","full_name":"Fenlon, Laura R","first_name":"Laura R"},{"full_name":"Zagar, Yvrick","first_name":"Yvrick","last_name":"Zagar"},{"last_name":"Douglass","id":"de5f6fda-80fb-11ef-996f-a8c4ecd8e289","orcid":"0000-0001-5398-6473","full_name":"Douglass, Amelia May Barnett","first_name":"Amelia May Barnett"},{"full_name":"Donahoo, Amber-Lee S","first_name":"Amber-Lee S","last_name":"Donahoo"},{"last_name":"Fothergill","full_name":"Fothergill, Thomas","first_name":"Thomas"},{"last_name":"Shaikh","first_name":"Samreen","full_name":"Shaikh, Samreen"},{"last_name":"Kozulin","first_name":"Peter","full_name":"Kozulin, Peter"},{"first_name":"Timothy J","full_name":"Edwards, Timothy J","last_name":"Edwards"},{"full_name":"Cooper, Helen M","first_name":"Helen M","last_name":"Cooper"},{"last_name":"Sherr","first_name":"Elliott H","full_name":"Sherr, Elliott H"},{"last_name":"Chédotal","full_name":"Chédotal, Alain","first_name":"Alain"},{"first_name":"Richard J","full_name":"Leventer, Richard J","last_name":"Leventer"},{"last_name":"Lockhart","full_name":"Lockhart, Paul J","first_name":"Paul J"},{"first_name":"Linda J","full_name":"Richards, Linda J","last_name":"Richards"}],"oa":1,"OA_place":"publisher","article_processing_charge":"Yes","OA_type":"gold","publication_status":"published","abstract":[{"lang":"eng","text":"The forebrain hemispheres are predominantly separated during embryogenesis by the interhemispheric fissure (IHF). Radial astroglia remodel the IHF to form a continuous substrate between the hemispheres for midline crossing of the corpus callosum (CC) and hippocampal commissure (HC). Deleted in colorectal carcinoma (DCC) and netrin 1 (NTN1) are molecules that have an evolutionarily conserved function in commissural axon guidance. The CC and HC are absent in Dcc and Ntn1 knockout mice, while other commissures are only partially affected, suggesting an additional aetiology in forebrain commissure formation. Here, we find that these molecules play a critical role in regulating astroglial development and IHF remodelling during CC and HC formation. Human subjects with DCC mutations display disrupted IHF remodelling associated with CC and HC malformations. Thus, axon guidance molecules such as DCC and NTN1 first regulate the formation of a midline substrate for dorsal commissures prior to their role in regulating axonal growth and guidance across it."}],"title":"DCC regulates astroglial development essential for telencephalic morphogenesis and corpus callosum formation","extern":"1","publication_identifier":{"eissn":["2050-084X"]},"publication":"eLife","article_type":"original","year":"2021","language":[{"iso":"eng"}],"external_id":{"pmid":["33871356"]},"pmid":1},{"main_file_link":[{"open_access":"1","url":"https://doi.org/10.1007/s40993-021-00295-5"}],"doi":"10.1007/s40993-021-00295-5","oa_version":"Published Version","_id":"19489","month":"11","quality_controlled":"1","date_updated":"2025-07-10T11:51:46Z","volume":8,"date_created":"2025-04-05T10:50:51Z","scopus_import":"1","has_accepted_license":"1","tmp":{"image":"/images/cc_by.png","short":"CC BY (4.0)","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode"},"type":"journal_article","status":"public","arxiv":1,"article_number":"1","date_published":"2021-11-15T00:00:00Z","citation":{"mla":"Chan, Stephanie, et al. “A Density of Ramified Primes.” Research in Number Theory, vol. 8, 1, Springer Nature, 2021, doi:10.1007/s40993-021-00295-5.","short":"S. Chan, C. McMeekin, D. Milovic, Research in Number Theory 8 (2021).","chicago":"Chan, Stephanie, Christine McMeekin, and Djordjo Milovic. “A Density of Ramified Primes.” Research in Number Theory. Springer Nature, 2021. https://doi.org/10.1007/s40993-021-00295-5.","ista":"Chan S, McMeekin C, Milovic D. 2021. A density of ramified primes. Research in Number Theory. 8, 1.","apa":"Chan, S., McMeekin, C., & Milovic, D. (2021). A density of ramified primes. Research in Number Theory. Springer Nature. https://doi.org/10.1007/s40993-021-00295-5","ieee":"S. Chan, C. McMeekin, and D. Milovic, “A density of ramified primes,” Research in Number Theory, vol. 8. Springer Nature, 2021.","ama":"Chan S, McMeekin C, Milovic D. A density of ramified primes. Research in Number Theory. 2021;8. doi:10.1007/s40993-021-00295-5"},"intvolume":" 8","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","publisher":"Springer Nature","publication_status":"published","abstract":[{"text":"Let K be a cyclic number field of odd degree over \r\n𝑄 with odd narrow class number, such that 2 is inert in 𝐾/𝑄. We define a family of number fields {𝐾(𝑝)}𝑝, depending on K and indexed by the rational primes p that split completely in 𝐾/𝑄, in which p is always ramified of degree 2. Conditional on a standard conjecture on short character sums, the density of such rational primes p that exhibit one of two possible ramified factorizations in 𝐾(𝑝)/𝑄 is strictly between 0 and 1 and is given explicitly as a formula in terms of the degree of the extension 𝐾/𝑄. Our results are unconditional in the cubic case. Our proof relies on a detailed study of the joint distribution of spins of prime ideals.","lang":"eng"}],"extern":"1","title":"A density of ramified primes","author":[{"full_name":"Chan, Yik Tung","first_name":"Yik Tung","orcid":"0000-0001-8467-4106","last_name":"Chan","id":"c4c0afc8-9262-11ed-9231-d8b0bc743af1"},{"first_name":"Christine","full_name":"McMeekin, Christine","last_name":"McMeekin"},{"last_name":"Milovic","first_name":"Djordjo","full_name":"Milovic, Djordjo"}],"day":"15","ddc":["510"],"OA_place":"publisher","oa":1,"OA_type":"hybrid","article_processing_charge":"No","year":"2021","article_type":"original","external_id":{"arxiv":["2005.10188"]},"language":[{"iso":"eng"}],"publication_identifier":{"eissn":["2363-9555"],"issn":["2522-0160"]},"publication":"Research in Number Theory"},{"day":"17","author":[{"first_name":"Yik Tung","full_name":"Chan, Yik Tung","last_name":"Chan","id":"c4c0afc8-9262-11ed-9231-d8b0bc743af1","orcid":"0000-0001-8467-4106"},{"last_name":"Milovic","full_name":"Milovic, Djordjo","first_name":"Djordjo"}],"issue":"2","article_processing_charge":"No","OA_type":"green","OA_place":"repository","oa":1,"page":"1509-1527","publication_status":"published","title":"Kuroda’s formula and arithmetic statistics","extern":"1","abstract":[{"lang":"eng","text":"Kuroda’s formula relates the class number of a multiquadratic number field K to the class numbers of its quadratic subfields ki. A key component in this formula is the unit group index (math formular). We study how Q(K) behaves on average in certain natural families of totally real biquadratic fields K parametrized by prime numbers."}],"publication_identifier":{"issn":["0025-5874"],"eissn":["1432-1823"]},"publication":"Mathematische Zeitschrift","article_type":"original","year":"2021","language":[{"iso":"eng"}],"external_id":{"arxiv":["1905.09745"]},"type":"journal_article","doi":"10.1007/s00209-021-02823-6","main_file_link":[{"open_access":"1","url":"https://doi.org/10.48550/arXiv.1905.09745"}],"scopus_import":"1","date_updated":"2025-07-10T11:51:48Z","volume":300,"date_created":"2025-04-05T10:51:04Z","quality_controlled":"1","_id":"19492","month":"08","oa_version":"Preprint","publisher":"Springer Nature","arxiv":1,"status":"public","intvolume":" 300","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","citation":{"apa":"Chan, S., & Milovic, D. (2021). Kuroda’s formula and arithmetic statistics. Mathematische Zeitschrift. Springer Nature. https://doi.org/10.1007/s00209-021-02823-6","ieee":"S. Chan and D. Milovic, “Kuroda’s formula and arithmetic statistics,” Mathematische Zeitschrift, vol. 300, no. 2. Springer Nature, pp. 1509–1527, 2021.","ama":"Chan S, Milovic D. Kuroda’s formula and arithmetic statistics. Mathematische Zeitschrift. 2021;300(2):1509-1527. doi:10.1007/s00209-021-02823-6","mla":"Chan, Stephanie, and Djordjo Milovic. “Kuroda’s Formula and Arithmetic Statistics.” Mathematische Zeitschrift, vol. 300, no. 2, Springer Nature, 2021, pp. 1509–27, doi:10.1007/s00209-021-02823-6.","chicago":"Chan, Stephanie, and Djordjo Milovic. “Kuroda’s Formula and Arithmetic Statistics.” Mathematische Zeitschrift. Springer Nature, 2021. https://doi.org/10.1007/s00209-021-02823-6.","short":"S. Chan, D. Milovic, Mathematische Zeitschrift 300 (2021) 1509–1527.","ista":"Chan S, Milovic D. 2021. Kuroda’s formula and arithmetic statistics. Mathematische Zeitschrift. 300(2), 1509–1527."},"date_published":"2021-08-17T00:00:00Z"},{"date_published":"2021-11-01T00:00:00Z","citation":{"ista":"Cheng B, Bethkenhagen M, Pickard CJ, Hamel S. 2021. Phase behaviours of superionic water at planetary conditions. Nature Physics. 17(11), 1228–1232.","chicago":"Cheng, Bingqing, Mandy Bethkenhagen, Chris J. Pickard, and Sebastien Hamel. “Phase Behaviours of Superionic Water at Planetary Conditions.” Nature Physics. Springer Nature, 2021. https://doi.org/10.1038/s41567-021-01334-9.","short":"B. Cheng, M. Bethkenhagen, C.J. Pickard, S. Hamel, Nature Physics 17 (2021) 1228–1232.","mla":"Cheng, Bingqing, et al. “Phase Behaviours of Superionic Water at Planetary Conditions.” Nature Physics, vol. 17, no. 11, Springer Nature, 2021, pp. 1228–32, doi:10.1038/s41567-021-01334-9.","ama":"Cheng B, Bethkenhagen M, Pickard CJ, Hamel S. Phase behaviours of superionic water at planetary conditions. Nature Physics. 2021;17(11):1228-1232. doi:10.1038/s41567-021-01334-9","ieee":"B. Cheng, M. Bethkenhagen, C. J. Pickard, and S. Hamel, “Phase behaviours of superionic water at planetary conditions,” Nature Physics, vol. 17, no. 11. Springer Nature, pp. 1228–1232, 2021.","apa":"Cheng, B., Bethkenhagen, M., Pickard, C. J., & Hamel, S. (2021). Phase behaviours of superionic water at planetary conditions. Nature Physics. Springer Nature. https://doi.org/10.1038/s41567-021-01334-9"},"intvolume":" 17","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","status":"public","arxiv":1,"publisher":"Springer Nature","date_created":"2025-06-26T11:36:36Z","volume":17,"date_updated":"2025-06-26T11:49:07Z","quality_controlled":"1","_id":"19909","month":"11","oa_version":"Preprint","scopus_import":"1","doi":"10.1038/s41567-021-01334-9","type":"journal_article","related_material":{"record":[{"status":"public","relation":"earlier_version","id":"9696"}]},"language":[{"iso":"eng"}],"external_id":{"arxiv":["2103.09035"]},"article_type":"original","year":"2021","publication":"Nature Physics","publication_identifier":{"issn":["1745-2473"],"eissn":["1745-2481"]},"abstract":[{"text":"Most water in the Universe may be superionic, and its thermodynamic and transport properties are crucial for planetary science but difficult to probe experimentally or theoretically. We use machine learning and free-energy methods to overcome the limitations of quantum mechanical simulations and characterize hydrogen diffusion, superionic transitions and phase behaviours of water at extreme conditions. We predict that close-packed superionic phases, which have a fraction of mixed stacking for finite systems, are stable over a wide temperature and pressure range, whereas a body-centred cubic superionic phase is only thermodynamically stable in a small window but is kinetically favoured. Our phase boundaries, which are consistent with existing—albeit scarce—experimental observations, help resolve the fractions of insulating ice, different superionic phases and liquid water inside ice giants.","lang":"eng"}],"title":"Phase behaviours of superionic water at planetary conditions","extern":"1","page":"1228-1232","publication_status":"published","OA_place":"repository","article_processing_charge":"No","OA_type":"green","issue":"11","day":"01","author":[{"id":"cbe3cda4-d82c-11eb-8dc7-8ff94289fcc9","last_name":"Cheng","orcid":"0000-0002-3584-9632","full_name":"Cheng, Bingqing","first_name":"Bingqing"},{"first_name":"Mandy","full_name":"Bethkenhagen, Mandy","last_name":"Bethkenhagen"},{"last_name":"Pickard","first_name":"Chris J.","full_name":"Pickard, Chris J."},{"last_name":"Hamel","full_name":"Hamel, Sebastien","first_name":"Sebastien"}]},{"type":"journal_article","doi":"10.1007/s00208-020-02130-1","main_file_link":[{"open_access":"1","url":"https://doi.org/10.48550/arXiv.1904.04254"}],"scopus_import":"1","date_updated":"2025-11-10T15:11:29Z","volume":379,"quality_controlled":"1","date_created":"2025-11-10T08:41:40Z","_id":"20619","month":"01","oa_version":"Preprint","publisher":"Springer Nature","arxiv":1,"status":"public","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","intvolume":" 379","citation":{"ieee":"X. Chen and A. Zinger, “WDVV-type relations for disk Gromov–Witten invariants in dimension 6,” Mathematische Annalen, vol. 379, no. 3–4. Springer Nature, pp. 1231–1313, 2021.","apa":"Chen, X., & Zinger, A. (2021). WDVV-type relations for disk Gromov–Witten invariants in dimension 6. Mathematische Annalen. Springer Nature. https://doi.org/10.1007/s00208-020-02130-1","ama":"Chen X, Zinger A. WDVV-type relations for disk Gromov–Witten invariants in dimension 6. Mathematische Annalen. 2021;379(3-4):1231-1313. doi:10.1007/s00208-020-02130-1","short":"X. Chen, A. Zinger, Mathematische Annalen 379 (2021) 1231–1313.","chicago":"Chen, Xujia, and Aleksey Zinger. “WDVV-Type Relations for Disk Gromov–Witten Invariants in Dimension 6.” Mathematische Annalen. Springer Nature, 2021. https://doi.org/10.1007/s00208-020-02130-1.","mla":"Chen, Xujia, and Aleksey Zinger. “WDVV-Type Relations for Disk Gromov–Witten Invariants in Dimension 6.” Mathematische Annalen, vol. 379, no. 3–4, Springer Nature, 2021, pp. 1231–313, doi:10.1007/s00208-020-02130-1.","ista":"Chen X, Zinger A. 2021. WDVV-type relations for disk Gromov–Witten invariants in dimension 6. Mathematische Annalen. 379(3–4), 1231–1313."},"date_published":"2021-01-25T00:00:00Z","day":"25","author":[{"last_name":"Chen","id":"968ad14a-fd86-11ee-a420-ea29715511a3","first_name":"Xujia","full_name":"Chen, Xujia"},{"first_name":"Aleksey","full_name":"Zinger, Aleksey","last_name":"Zinger"}],"issue":"3-4","article_processing_charge":"No","OA_type":"green","oa":1,"OA_place":"repository","page":"1231-1313","publication_status":"published","title":"WDVV-type relations for disk Gromov–Witten invariants in dimension 6","extern":"1","abstract":[{"lang":"eng","text":"The first author’s previous work established Solomon’s WDVV-type relations for Welschinger’s invariant curve counts in real symplectic fourfolds by lifting geometric relations over possibly unorientable morphisms. We apply her framework to obtain WDVV-style relations for the disk invariants of real symplectic sixfolds with some symmetry, in particular confirming Alcolado’s prediction for P^3 and extending it to other spaces. These relations reduce the computation of Welschinger’s invariants of many real symplectic sixfolds to invariants in small degrees and provide lower bounds for counts of real rational curves with positive-dimensional insertions in some cases. In the case of P^3, our lower bounds fit perfectly with Kollár’s vanishing results."}],"publication_identifier":{"issn":["0025-5831"],"eissn":["1432-1807"]},"publication":"Mathematische Annalen","article_type":"original","year":"2021","language":[{"iso":"eng"}],"external_id":{"arxiv":["1904.04254"]}},{"language":[{"iso":"eng"}],"external_id":{"arxiv":["1809.08938"]},"year":"2021","publication":"Kyoto Journal of Mathematics","publication_identifier":{"eissn":["2154-3321"]},"title":"WDVV-type relations for Welschinger's invariants: Applications","extern":"1","abstract":[{"lang":"eng","text":"We first recall Solomon’s relations for Welschinger invariants counting real curves in real symplectic fourfolds and the Witten–Dijkgraaf–Verlinde–Verlinde (WDVV)-style relations for Welschinger invariants counting real curves in real symplectic sixfolds with some symmetry. We then explicitly demonstrate that, in some important cases (projective spaces with standard conjugations, real blowups of the projective plane, and two- and threefold products of the one-dimensional projective space with two involutions each), these relations provide complete recursions determining all Welschinger invariants from basic input. We include extensive tables of Welschinger invariants in low degrees obtained from these recursions with Mathematica. These invariants provide lower bounds for counts of real rational curves, including with curve insertions in smooth algebraic threefolds."}],"page":"339-376","publication_status":"submitted","article_processing_charge":"No","OA_type":"green","oa":1,"OA_place":"repository","day":"01","author":[{"last_name":"Chen","id":"968ad14a-fd86-11ee-a420-ea29715511a3","first_name":"Xujia","full_name":"Chen, Xujia"},{"last_name":"Zinger","first_name":"Aleksey","full_name":"Zinger, Aleksey"}],"issue":"2","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","intvolume":" 61","citation":{"short":"X. Chen, A. Zinger, Kyoto Journal of Mathematics 61 (n.d.) 339–376.","chicago":"Chen, Xujia, and Aleksey Zinger. “WDVV-Type Relations for Welschinger’s Invariants: Applications.” Kyoto Journal of Mathematics. Duke University Press, n.d. https://doi.org/10.1215/21562261-2021-0005.","mla":"Chen, Xujia, and Aleksey Zinger. “WDVV-Type Relations for Welschinger’s Invariants: Applications.” Kyoto Journal of Mathematics, vol. 61, no. 2, Duke University Press, pp. 339–76, doi:10.1215/21562261-2021-0005.","ista":"Chen X, Zinger A. WDVV-type relations for Welschinger’s invariants: Applications. Kyoto Journal of Mathematics. 61(2), 339–376.","ieee":"X. Chen and A. Zinger, “WDVV-type relations for Welschinger’s invariants: Applications,” Kyoto Journal of Mathematics, vol. 61, no. 2. Duke University Press, pp. 339–376.","apa":"Chen, X., & Zinger, A. (n.d.). WDVV-type relations for Welschinger’s invariants: Applications. Kyoto Journal of Mathematics. Duke University Press. https://doi.org/10.1215/21562261-2021-0005","ama":"Chen X, Zinger A. WDVV-type relations for Welschinger’s invariants: Applications. Kyoto Journal of Mathematics. 61(2):339-376. doi:10.1215/21562261-2021-0005"},"date_published":"2021-06-01T00:00:00Z","arxiv":1,"status":"public","publisher":"Duke University Press","quality_controlled":"1","date_created":"2025-11-10T08:45:12Z","date_updated":"2025-11-10T15:13:58Z","volume":61,"oa_version":"Preprint","_id":"20622","month":"06","doi":"10.1215/21562261-2021-0005","main_file_link":[{"url":"https://doi.org/10.48550/arXiv.1809.08938","open_access":"1"}],"type":"journal_article"},{"_id":"20765","month":"03","oa_version":"Published Version","volume":57,"date_created":"2025-12-09T14:25:17Z","date_updated":"2025-12-16T12:06:53Z","quality_controlled":"1","scopus_import":"1","main_file_link":[{"open_access":"1","url":"DOI\thttps://doi.org/10.1039/D1CC00648G"}],"doi":"10.1039/d1cc00648g","tmp":{"image":"/images/cc_by.png","name":"Creative Commons Attribution 3.0 Unported (CC BY 3.0)","legal_code_url":"https://creativecommons.org/licenses/by/3.0/legalcode","short":"CC BY (3.0)"},"has_accepted_license":"1","type":"journal_article","citation":{"ama":"Willems S, Toupalas G, Reisenbauer J, Morandi B. A site-selective and stereospecific cascade Suzuki–Miyaura annulation of alkyl 1,2-bisboronic esters and 2,2′-dihalo 1,1′-biaryls. Chemical Communications. 2021;57(32):3909-3912. doi:10.1039/d1cc00648g","ieee":"S. Willems, G. Toupalas, J. Reisenbauer, and B. Morandi, “A site-selective and stereospecific cascade Suzuki–Miyaura annulation of alkyl 1,2-bisboronic esters and 2,2′-dihalo 1,1′-biaryls,” Chemical Communications, vol. 57, no. 32. Royal Society of Chemistry, pp. 3909–3912, 2021.","apa":"Willems, S., Toupalas, G., Reisenbauer, J., & Morandi, B. (2021). A site-selective and stereospecific cascade Suzuki–Miyaura annulation of alkyl 1,2-bisboronic esters and 2,2′-dihalo 1,1′-biaryls. Chemical Communications. Royal Society of Chemistry. https://doi.org/10.1039/d1cc00648g","ista":"Willems S, Toupalas G, Reisenbauer J, Morandi B. 2021. A site-selective and stereospecific cascade Suzuki–Miyaura annulation of alkyl 1,2-bisboronic esters and 2,2′-dihalo 1,1′-biaryls. Chemical Communications. 57(32), 3909–3912.","chicago":"Willems, Suzanne, Georgios Toupalas, Julia Reisenbauer, and Bill Morandi. “A Site-Selective and Stereospecific Cascade Suzuki–Miyaura Annulation of Alkyl 1,2-Bisboronic Esters and 2,2′-Dihalo 1,1′-Biaryls.” Chemical Communications. Royal Society of Chemistry, 2021. https://doi.org/10.1039/d1cc00648g.","short":"S. Willems, G. Toupalas, J. Reisenbauer, B. Morandi, Chemical Communications 57 (2021) 3909–3912.","mla":"Willems, Suzanne, et al. “A Site-Selective and Stereospecific Cascade Suzuki–Miyaura Annulation of Alkyl 1,2-Bisboronic Esters and 2,2′-Dihalo 1,1′-Biaryls.” Chemical Communications, vol. 57, no. 32, Royal Society of Chemistry, 2021, pp. 3909–12, doi:10.1039/d1cc00648g."},"date_published":"2021-03-15T00:00:00Z","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","intvolume":" 57","status":"public","license":"https://creativecommons.org/licenses/by/3.0/","publisher":"Royal Society of Chemistry","abstract":[{"lang":"eng","text":"A cascade Suzuki–Miyaura cross-coupling between two non-symmetrical coupling partners gave rise to 9,10-dihydrophenanthrenes with full site-selectivity. The choice of base was critical to facilitate the challenging coupling of the secondary boronate group.
"}],"extern":"1","title":"A site-selective and stereospecific cascade Suzuki–Miyaura annulation of alkyl 1,2-bisboronic esters and 2,2′-dihalo 1,1′-biaryls","publication_status":"published","page":"3909-3912","oa":1,"OA_place":"publisher","OA_type":"hybrid","article_processing_charge":"No","issue":"32","author":[{"full_name":"Willems, Suzanne","first_name":"Suzanne","last_name":"Willems"},{"last_name":"Toupalas","full_name":"Toupalas, Georgios","first_name":"Georgios"},{"last_name":"Reisenbauer","id":"51d862e9-36ee-11f0-86d3-8534c85a5496","full_name":"Reisenbauer, Julia","first_name":"Julia"},{"last_name":"Morandi","first_name":"Bill","full_name":"Morandi, Bill"}],"ddc":["540"],"day":"15","pmid":1,"external_id":{"pmid":["33871510"]},"language":[{"iso":"eng"}],"year":"2021","article_type":"original","publication":"Chemical Communications","publication_identifier":{"issn":["1359-7345"],"eissn":["1364-548X"]}},{"citation":{"apa":"Schmitt, H. M., Fehrman, R. L., Maes, M. E., Yang, H., Guo, L. W., Schlamp, C. L., … Nickells, R. W. (2021). Increased susceptibility and intrinsic apoptotic signaling in neurons by induced HDAC3 expression. Investigative Ophthalmology and Visual Science. Association for Research in Vision and Ophthalmology. https://doi.org/10.1167/IOVS.62.10.14","ieee":"H. M. Schmitt et al., “Increased susceptibility and intrinsic apoptotic signaling in neurons by induced HDAC3 expression,” Investigative Ophthalmology and Visual Science, vol. 62, no. 10. Association for Research in Vision and Ophthalmology, 2021.","ama":"Schmitt HM, Fehrman RL, Maes ME, et al. Increased susceptibility and intrinsic apoptotic signaling in neurons by induced HDAC3 expression. Investigative Ophthalmology and Visual Science. 2021;62(10). doi:10.1167/IOVS.62.10.14","mla":"Schmitt, Heather M., et al. “Increased Susceptibility and Intrinsic Apoptotic Signaling in Neurons by Induced HDAC3 Expression.” Investigative Ophthalmology and Visual Science, vol. 62, no. 10, 14, Association for Research in Vision and Ophthalmology, 2021, doi:10.1167/IOVS.62.10.14.","chicago":"Schmitt, Heather M., Rachel L. Fehrman, Margaret E Maes, Huan Yang, Lian Wang Guo, Cassandra L. Schlamp, Heather R. Pelzel, and Robert W. Nickells. “Increased Susceptibility and Intrinsic Apoptotic Signaling in Neurons by Induced HDAC3 Expression.” Investigative Ophthalmology and Visual Science. Association for Research in Vision and Ophthalmology, 2021. https://doi.org/10.1167/IOVS.62.10.14.","short":"H.M. Schmitt, R.L. Fehrman, M.E. Maes, H. Yang, L.W. Guo, C.L. Schlamp, H.R. Pelzel, R.W. Nickells, Investigative Ophthalmology and Visual Science 62 (2021).","ista":"Schmitt HM, Fehrman RL, Maes ME, Yang H, Guo LW, Schlamp CL, Pelzel HR, Nickells RW. 2021. Increased susceptibility and intrinsic apoptotic signaling in neurons by induced HDAC3 expression. Investigative Ophthalmology and Visual Science. 62(10), 14."},"date_published":"2021-08-16T00:00:00Z","intvolume":" 62","user_id":"4359f0d1-fa6c-11eb-b949-802e58b17ae8","status":"public","article_number":"14","file_date_updated":"2022-05-13T07:40:15Z","license":"https://creativecommons.org/licenses/by-nc-nd/4.0/","department":[{"_id":"SaSi"}],"publisher":"Association for Research in Vision and Ophthalmology","oa_version":"Published Version","_id":"10000","month":"08","quality_controlled":"1","date_updated":"2023-08-14T06:35:17Z","volume":62,"date_created":"2021-09-12T22:01:23Z","scopus_import":"1","doi":"10.1167/IOVS.62.10.14","tmp":{"name":"Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International (CC BY-NC-ND 4.0)","legal_code_url":"https://creativecommons.org/licenses/by-nc-nd/4.0/legalcode","short":"CC BY-NC-ND (4.0)","image":"/images/cc_by_nc_nd.png"},"has_accepted_license":"1","type":"journal_article","external_id":{"pmid":["34398198"],"isi":["000695230000014"]},"pmid":1,"language":[{"iso":"eng"}],"year":"2021","article_type":"original","publication":"Investigative Ophthalmology and Visual Science","publication_identifier":{"eissn":["1552-5783"],"issn":["0146-0404"]},"file":[{"content_type":"application/pdf","access_level":"open_access","date_created":"2022-05-13T07:40:15Z","file_size":19707796,"date_updated":"2022-05-13T07:40:15Z","success":1,"creator":"dernst","checksum":"c430967746f653aa1ae84ee617f62b73","file_id":"11369","relation":"main_file","file_name":"2021_IOVS_Schmitt.pdf"}],"isi":1,"abstract":[{"text":"Inhibition or targeted deletion of histone deacetylase 3 (HDAC3) is neuroprotective in a variety neurodegenerative conditions, including retinal ganglion cells (RGCs) after acute optic nerve damage. Consistent with this, induced HDAC3 expression in cultured cells shows selective toxicity to neurons. Despite an established role for HDAC3 in neuronal pathology, little is known regarding the mechanism of this pathology.","lang":"eng"}],"title":"Increased susceptibility and intrinsic apoptotic signaling in neurons by induced HDAC3 expression","publication_status":"published","acknowledgement":"The authors thank Joel Dietz for maintaining the mice used in this study, Satoshi Kinoshita and the Translational Research Initiative in Pathology Laboratory at the University of Wisconsin-Madison for cutting retinal sections analyzed in this study, and Mark Banghart for statistical review of the data analysis. Supported by National Eye Institute Grants R01 EY012223 (RWN), R01 EY030123 (RWN), R01 EY029809 (LWG), R01 EY029809 (LWG) and a Vision Research CORE grant P30 EY016665, NRSA grant T32 GM081061, by an unrestricted research grant from Research to Prevent Blindness, Inc., and by a University of Wisconsin-Madison Vilas Life Cycle award and the Frederick A. Davis Research Chair (RWN). ","oa":1,"article_processing_charge":"Yes","issue":"10","author":[{"last_name":"Schmitt","first_name":"Heather M.","full_name":"Schmitt, Heather M."},{"last_name":"Fehrman","first_name":"Rachel L.","full_name":"Fehrman, Rachel L."},{"first_name":"Margaret E","full_name":"Maes, Margaret E","id":"3838F452-F248-11E8-B48F-1D18A9856A87","last_name":"Maes","orcid":"0000-0001-9642-1085"},{"last_name":"Yang","full_name":"Yang, Huan","first_name":"Huan"},{"last_name":"Guo","full_name":"Guo, Lian Wang","first_name":"Lian Wang"},{"last_name":"Schlamp","first_name":"Cassandra L.","full_name":"Schlamp, Cassandra L."},{"first_name":"Heather R.","full_name":"Pelzel, Heather R.","last_name":"Pelzel"},{"full_name":"Nickells, Robert W.","first_name":"Robert W.","last_name":"Nickells"}],"ddc":["570"],"day":"16"},{"oa":1,"article_processing_charge":"No","author":[{"orcid":"0000-0002-4561-241X","id":"2E5DCA20-F248-11E8-B48F-1D18A9856A87","last_name":"Chatterjee","first_name":"Krishnendu","full_name":"Chatterjee, Krishnendu"},{"full_name":"Dvorak, Wolfgang","first_name":"Wolfgang","last_name":"Dvorak"},{"id":"540c9bbd-f2de-11ec-812d-d04a5be85630","last_name":"Henzinger","orcid":"0000-0002-5008-6530","full_name":"Henzinger, Monika H","first_name":"Monika H"},{"last_name":"Svozil","full_name":"Svozil, Alexander","first_name":"Alexander"}],"day":"07","abstract":[{"lang":"eng","text":"We present a faster symbolic algorithm for the following central problem in probabilistic verification: Compute the maximal end-component (MEC) decomposition of Markov decision processes (MDPs). This problem generalizes the SCC decomposition problem of graphs and closed recurrent sets of Markov chains. The model of symbolic algorithms is widely used in formal verification and model-checking, where access to the input model is restricted to only symbolic operations (e.g., basic set operations and computation of one-step neighborhood). For an input MDP with n vertices and m edges, the classical symbolic algorithm from the 1990s for the MEC decomposition requires O(n2) symbolic operations and O(1) symbolic space. The only other symbolic algorithm for the MEC decomposition requires O(nm−−√) symbolic operations and O(m−−√) symbolic space. A main open question is whether the worst-case O(n2) bound for symbolic operations can be beaten. We present a symbolic algorithm that requires O˜(n1.5) symbolic operations and O˜(n−−√) symbolic space. Moreover, the parametrization of our algorithm provides a trade-off between symbolic operations and symbolic space: for all 0<ϵ≤1/2 the symbolic algorithm requires O˜(n2−ϵ) symbolic operations and O˜(nϵ) symbolic space ( O˜ hides poly-logarithmic factors). Using our techniques we present faster algorithms for computing the almost-sure winning regions of ω -regular objectives for MDPs. We consider the canonical parity objectives for ω -regular objectives, and for parity objectives with d -priorities we present an algorithm that computes the almost-sure winning region with O˜(n2−ϵ) symbolic operations and O˜(nϵ) symbolic space, for all 0<ϵ≤1/2 ."}],"title":"Symbolic time and space tradeoffs for probabilistic verification","publication_status":"published","page":"1-13","acknowledgement":"The authors are grateful to the anonymous referees for their valuable comments. A. S. is fully supported by the Vienna Science and Technology Fund (WWTF) through project ICT15–003. K. C. is supported by the Austrian Science Fund (FWF) NFN Grant No S11407-N23 (RiSE/SHiNE) and by the ERC CoG 863818 (ForM-SMArt). For M. H. the research leading to these results has received funding from the European Research Council under the European Unions Seventh Framework Programme (FP/2007–2013) / ERC Grant Agreement no. 340506.","publication":"Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science","publication_identifier":{"eisbn":["978-1-6654-4895-6"],"isbn":["978-1-6654-4896-3"],"issn":["1043-6871"]},"isi":1,"external_id":{"arxiv":["2104.07466"],"isi":["000947350400089"]},"language":[{"iso":"eng"}],"year":"2021","conference":{"start_date":"2021-06-29","name":"LICS: Logic in Computer Science","location":"Rome, Italy","end_date":"2021-07-02"},"type":"conference","keyword":["Computer science","Computational modeling","Markov processes","Probabilistic logic","Formal verification","Game Theory"],"_id":"10002","month":"07","oa_version":"Preprint","date_updated":"2025-07-10T11:15:45Z","quality_controlled":"1","date_created":"2021-09-12T22:01:24Z","scopus_import":"1","project":[{"call_identifier":"FWF","grant_number":"S11407","_id":"25863FF4-B435-11E9-9278-68D0E5697425","name":"Game Theory"},{"call_identifier":"H2020","grant_number":"863818","_id":"0599E47C-7A3F-11EA-A408-12923DDC885E","name":"Formal Methods for Stochastic Models: Algorithms and Applications"}],"main_file_link":[{"open_access":"1","url":"https://arxiv.org/abs/2104.07466"}],"doi":"10.1109/LICS52264.2021.9470739","department":[{"_id":"KrCh"}],"publisher":"Institute of Electrical and Electronics Engineers","citation":{"apa":"Chatterjee, K., Dvorak, W., Henzinger, M., & Svozil, A. (2021). Symbolic time and space tradeoffs for probabilistic verification. In Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science (pp. 1–13). Rome, Italy: Institute of Electrical and Electronics Engineers. https://doi.org/10.1109/LICS52264.2021.9470739","ieee":"K. Chatterjee, W. Dvorak, M. Henzinger, and A. Svozil, “Symbolic time and space tradeoffs for probabilistic verification,” in Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science, Rome, Italy, 2021, pp. 1–13.","ama":"Chatterjee K, Dvorak W, Henzinger M, Svozil A. Symbolic time and space tradeoffs for probabilistic verification. In: Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science. Institute of Electrical and Electronics Engineers; 2021:1-13. doi:10.1109/LICS52264.2021.9470739","mla":"Chatterjee, Krishnendu, et al. “Symbolic Time and Space Tradeoffs for Probabilistic Verification.” Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science, Institute of Electrical and Electronics Engineers, 2021, pp. 1–13, doi:10.1109/LICS52264.2021.9470739.","short":"K. Chatterjee, W. Dvorak, M. Henzinger, A. Svozil, in:, Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science, Institute of Electrical and Electronics Engineers, 2021, pp. 1–13.","chicago":"Chatterjee, Krishnendu, Wolfgang Dvorak, Monika Henzinger, and Alexander Svozil. “Symbolic Time and Space Tradeoffs for Probabilistic Verification.” In Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science, 1–13. Institute of Electrical and Electronics Engineers, 2021. https://doi.org/10.1109/LICS52264.2021.9470739.","ista":"Chatterjee K, Dvorak W, Henzinger M, Svozil A. 2021. Symbolic time and space tradeoffs for probabilistic verification. Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science. LICS: Logic in Computer Science, 1–13."},"date_published":"2021-07-07T00:00:00Z","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","status":"public","ec_funded":1,"arxiv":1},{"day":"07","author":[{"last_name":"Chatterjee","id":"2E5DCA20-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-4561-241X","first_name":"Krishnendu","full_name":"Chatterjee, Krishnendu"},{"full_name":"Doyen, Laurent","first_name":"Laurent","last_name":"Doyen"}],"article_processing_charge":"No","oa":1,"acknowledgement":"We are grateful to the anonymous reviewers of LICS 2021 and of a previous version of this paper for insightful comments that helped improving the presentation. This research was partially supported by the grant ERC CoG 863818 (ForM-SMArt).","page":"1-13","publication_status":"published","title":"Stochastic processes with expected stopping time","abstract":[{"text":"Markov chains are the de facto finite-state model for stochastic dynamical systems, and Markov decision processes (MDPs) extend Markov chains by incorporating non-deterministic behaviors. Given an MDP and rewards on states, a classical optimization criterion is the maximal expected total reward where the MDP stops after T steps, which can be computed by a simple dynamic programming algorithm. We consider a natural generalization of the problem where the stopping times can be chosen according to a probability distribution, such that the expected stopping time is T, to optimize the expected total reward. Quite surprisingly we establish inter-reducibility of the expected stopping-time problem for Markov chains with the Positivity problem (which is related to the well-known Skolem problem), for which establishing either decidability or undecidability would be a major breakthrough. Given the hardness of the exact problem, we consider the approximate version of the problem: we show that it can be solved in exponential time for Markov chains and in exponential space for MDPs.","lang":"eng"}],"isi":1,"publication_identifier":{"eisbn":["978-1-6654-4895-6"],"isbn":["978-1-6654-4896-3"],"issn":["1043-6871"]},"publication":"Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science","year":"2021","language":[{"iso":"eng"}],"external_id":{"arxiv":["2104.07278"],"isi":["000947350400036"]},"related_material":{"record":[{"relation":"later_version","id":"18630","status":"public"}]},"keyword":["Computer science","Heuristic algorithms","Memory management","Automata","Markov processes","Probability distribution","Complexity theory"],"type":"conference","conference":{"start_date":"2021-06-29","end_date":"2021-07-02","name":"LICS: Logic in Computer Science","location":"Rome, Italy"},"doi":"10.1109/LICS52264.2021.9470595","main_file_link":[{"url":"https://arxiv.org/abs/2104.07278","open_access":"1"}],"project":[{"call_identifier":"H2020","grant_number":"863818","_id":"0599E47C-7A3F-11EA-A408-12923DDC885E","name":"Formal Methods for Stochastic Models: Algorithms and Applications"}],"scopus_import":"1","date_created":"2021-09-12T22:01:25Z","date_updated":"2025-09-08T14:54:13Z","quality_controlled":"1","oa_version":"Preprint","_id":"10004","month":"07","publisher":"Institute of Electrical and Electronics Engineers","department":[{"_id":"KrCh"}],"arxiv":1,"ec_funded":1,"status":"public","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","citation":{"ista":"Chatterjee K, Doyen L. 2021. Stochastic processes with expected stopping time. Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science. LICS: Logic in Computer Science, 1–13.","chicago":"Chatterjee, Krishnendu, and Laurent Doyen. “Stochastic Processes with Expected Stopping Time.” In Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science, 1–13. Institute of Electrical and Electronics Engineers, 2021. https://doi.org/10.1109/LICS52264.2021.9470595.","short":"K. Chatterjee, L. Doyen, in:, Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science, Institute of Electrical and Electronics Engineers, 2021, pp. 1–13.","mla":"Chatterjee, Krishnendu, and Laurent Doyen. “Stochastic Processes with Expected Stopping Time.” Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science, Institute of Electrical and Electronics Engineers, 2021, pp. 1–13, doi:10.1109/LICS52264.2021.9470595.","ama":"Chatterjee K, Doyen L. Stochastic processes with expected stopping time. In: Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science. Institute of Electrical and Electronics Engineers; 2021:1-13. doi:10.1109/LICS52264.2021.9470595","ieee":"K. Chatterjee and L. Doyen, “Stochastic processes with expected stopping time,” in Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science, Rome, Italy, 2021, pp. 1–13.","apa":"Chatterjee, K., & Doyen, L. (2021). Stochastic processes with expected stopping time. In Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science (pp. 1–13). Rome, Italy: Institute of Electrical and Electronics Engineers. https://doi.org/10.1109/LICS52264.2021.9470595"},"date_published":"2021-07-07T00:00:00Z"},{"external_id":{"arxiv":["2009.06917"],"isi":["000722222900004"]},"language":[{"iso":"eng"}],"year":"2021","article_type":"original","publication":"Mathematical Models and Methods in Applied Sciences","publication_identifier":{"eissn":["1793-6314"],"issn":["0218-2025"]},"isi":1,"abstract":[{"lang":"eng","text":"We study systems of nonlinear partial differential equations of parabolic type, in which the elliptic operator is replaced by the first-order divergence operator acting on a flux function, which is related to the spatial gradient of the unknown through an additional implicit equation. This setting, broad enough in terms of applications, significantly expands the paradigm of nonlinear parabolic problems. Formulating four conditions concerning the form of the implicit equation, we first show that these conditions describe a maximal monotone p-coercive graph. We then establish the global-in-time and large-data existence of a (weak) solution and its uniqueness. To this end, we adopt and significantly generalize Minty’s method of monotone mappings. A unified theory, containing several novel tools, is developed in a way to be tractable from the point of view of numerical approximations."}],"title":"On nonlinear problems of parabolic type with implicit constitutive equations involving flux","publication_status":"published","acknowledgement":"M. Bulíček and J. Málek acknowledge the support of the project No. 18-12719S financed by the Czech\r\nScience foundation (GAČR). E. Maringová acknowledges support from Charles University Research program \r\nUNCE/SCI/023, the grant SVV-2020-260583 by the Ministry of Education, Youth and Sports, Czech Republic\r\nand from the Austrian Science Fund (FWF), grants P30000, W1245, and F65. M. Bulíček and J. Málek are\r\nmembers of the Nečas Center for Mathematical Modelling.\r\n","oa":1,"article_processing_charge":"No","issue":"09","author":[{"first_name":"Miroslav","full_name":"Bulíček, Miroslav","last_name":"Bulíček"},{"last_name":"Maringová","id":"dbabca31-66eb-11eb-963a-fb9c22c880b4","first_name":"Erika","full_name":"Maringová, Erika"},{"first_name":"Josef","full_name":"Málek, Josef","last_name":"Málek"}],"day":"25","citation":{"mla":"Bulíček, Miroslav, et al. “On Nonlinear Problems of Parabolic Type with Implicit Constitutive Equations Involving Flux.” Mathematical Models and Methods in Applied Sciences, vol. 31, no. 09, World Scientific Publishing, 2021, doi:10.1142/S0218202521500457.","short":"M. Bulíček, E. Maringová, J. Málek, Mathematical Models and Methods in Applied Sciences 31 (2021).","chicago":"Bulíček, Miroslav, Erika Maringová, and Josef Málek. “On Nonlinear Problems of Parabolic Type with Implicit Constitutive Equations Involving Flux.” Mathematical Models and Methods in Applied Sciences. World Scientific Publishing, 2021. https://doi.org/10.1142/S0218202521500457.","ista":"Bulíček M, Maringová E, Málek J. 2021. On nonlinear problems of parabolic type with implicit constitutive equations involving flux. Mathematical Models and Methods in Applied Sciences. 31(09).","apa":"Bulíček, M., Maringová, E., & Málek, J. (2021). On nonlinear problems of parabolic type with implicit constitutive equations involving flux. Mathematical Models and Methods in Applied Sciences. World Scientific Publishing. https://doi.org/10.1142/S0218202521500457","ieee":"M. Bulíček, E. Maringová, and J. Málek, “On nonlinear problems of parabolic type with implicit constitutive equations involving flux,” Mathematical Models and Methods in Applied Sciences, vol. 31, no. 09. World Scientific Publishing, 2021.","ama":"Bulíček M, Maringová E, Málek J. On nonlinear problems of parabolic type with implicit constitutive equations involving flux. Mathematical Models and Methods in Applied Sciences. 2021;31(09). doi:10.1142/S0218202521500457"},"date_published":"2021-08-25T00:00:00Z","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","intvolume":" 31","status":"public","arxiv":1,"department":[{"_id":"JuFi"}],"publisher":"World Scientific Publishing","month":"08","_id":"10005","oa_version":"Preprint","quality_controlled":"1","volume":31,"date_updated":"2025-05-14T10:50:14Z","date_created":"2021-09-12T22:01:25Z","scopus_import":"1","project":[{"grant_number":"F6504","name":"Taming Complexity in Partial Differential Systems","_id":"fc31cba2-9c52-11eb-aca3-ff467d239cd2"}],"main_file_link":[{"open_access":"1","url":"https://arxiv.org/abs/2009.06917"}],"doi":"10.1142/S0218202521500457","type":"journal_article","keyword":["Nonlinear parabolic systems","implicit constitutive theory","weak solutions","existence","uniqueness"]},{"file":[{"date_created":"2021-09-13T11:03:24Z","file_size":15022154,"date_updated":"2021-09-15T14:37:30Z","creator":"shensel","access_level":"closed","content_type":"application/x-zip-compressed","relation":"source_file","file_id":"10008","file_name":"thesis_final_Hensel.zip","checksum":"c8475faaf0b680b4971f638f1db16347"},{"checksum":"1a609937aa5275452822f45f2da17f07","file_name":"thesis_final_Hensel.pdf","file_id":"10014","relation":"main_file","content_type":"application/pdf","access_level":"open_access","creator":"shensel","date_created":"2021-09-13T14:18:56Z","file_size":6583638,"date_updated":"2021-09-14T09:52:47Z"}],"publication_identifier":{"issn":["2663-337X"]},"year":"2021","language":[{"iso":"eng"}],"author":[{"first_name":"Sebastian","full_name":"Hensel, Sebastian","orcid":"0000-0001-7252-8072","id":"4D23B7DA-F248-11E8-B48F-1D18A9856A87","last_name":"Hensel"}],"ddc":["515"],"day":"14","supervisor":[{"full_name":"Fischer, Julian L","first_name":"Julian L","orcid":"0000-0002-0479-558X","id":"2C12A0B0-F248-11E8-B48F-1D18A9856A87","last_name":"Fischer"}],"article_processing_charge":"No","degree_awarded":"PhD","oa":1,"OA_place":"publisher","publication_status":"published","page":"300","title":"Curvature driven interface evolution: Uniqueness properties of weak solution concepts","abstract":[{"text":"The present thesis is concerned with the derivation of weak-strong uniqueness principles for curvature driven interface evolution problems not satisfying a comparison principle. The specific examples being treated are two-phase Navier-Stokes flow with surface tension, modeling the evolution of two incompressible, viscous and immiscible fluids separated by a sharp interface, and multiphase mean curvature flow, which serves as an idealized model for the motion of grain boundaries in an annealing polycrystalline material. Our main results - obtained in joint works with Julian Fischer, Tim Laux and Theresa M. Simon - state that prior to the formation of geometric singularities due to topology changes, the weak solution concept of Abels (Interfaces Free Bound. 9, 2007) to two-phase Navier-Stokes flow with surface tension and the weak solution concept of Laux and Otto (Calc. Var. Partial Differential Equations 55, 2016) to multiphase mean curvature flow (for networks in R^2 or double bubbles in R^3) represents the unique solution to these interface evolution problems within the class of classical solutions, respectively. To the best of the author's knowledge, for interface evolution problems not admitting a geometric comparison principle the derivation of a weak-strong uniqueness principle represented an open problem, so that the works contained in the present thesis constitute the first positive results in this direction. The key ingredient of our approach consists of the introduction of a novel concept of relative entropies for a class of curvature driven interface evolution problems, for which the associated energy contains an interfacial contribution being proportional to the surface area of the evolving (network of) interface(s). The interfacial part of the relative entropy gives sufficient control on the interface error between a weak and a classical solution, and its time evolution can be computed, at least in principle, for any energy dissipating weak solution concept. A resulting stability estimate for the relative entropy essentially entails the above mentioned weak-strong uniqueness principles. The present thesis contains a detailed introduction to our relative entropy approach, which in particular highlights potential applications to other problems in curvature driven interface evolution not treated in this thesis.","lang":"eng"}],"publisher":"Institute of Science and Technology Austria","file_date_updated":"2021-09-15T14:37:30Z","department":[{"_id":"GradSch"},{"_id":"JuFi"}],"alternative_title":["ISTA Thesis"],"status":"public","corr_author":"1","ec_funded":1,"user_id":"ba8df636-2132-11f1-aed0-ed93e2281fdd","date_published":"2021-09-14T00:00:00Z","citation":{"ista":"Hensel S. 2021. Curvature driven interface evolution: Uniqueness properties of weak solution concepts. Institute of Science and Technology Austria.","chicago":"Hensel, Sebastian. “Curvature Driven Interface Evolution: Uniqueness Properties of Weak Solution Concepts.” Institute of Science and Technology Austria, 2021. https://doi.org/10.15479/at:ista:10007.","short":"S. Hensel, Curvature Driven Interface Evolution: Uniqueness Properties of Weak Solution Concepts, Institute of Science and Technology Austria, 2021.","mla":"Hensel, Sebastian. Curvature Driven Interface Evolution: Uniqueness Properties of Weak Solution Concepts. Institute of Science and Technology Austria, 2021, doi:10.15479/at:ista:10007.","ama":"Hensel S. Curvature driven interface evolution: Uniqueness properties of weak solution concepts. 2021. doi:10.15479/at:ista:10007","ieee":"S. Hensel, “Curvature driven interface evolution: Uniqueness properties of weak solution concepts,” Institute of Science and Technology Austria, 2021.","apa":"Hensel, S. (2021). Curvature driven interface evolution: Uniqueness properties of weak solution concepts. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:10007"},"related_material":{"record":[{"status":"public","id":"10012","relation":"part_of_dissertation"},{"id":"10013","relation":"part_of_dissertation","status":"public"},{"id":"7489","relation":"part_of_dissertation","status":"public"}]},"type":"dissertation","has_accepted_license":"1","doi":"10.15479/at:ista:10007","project":[{"name":"International IST Doctoral Program","_id":"2564DBCA-B435-11E9-9278-68D0E5697425","grant_number":"665385","call_identifier":"H2020"},{"grant_number":"948819","call_identifier":"H2020","name":"Bridging Scales in Random Materials","_id":"0aa76401-070f-11eb-9043-b5bb049fa26d"}],"oa_version":"Published Version","_id":"10007","month":"09","date_updated":"2026-04-08T07:01:01Z","date_created":"2021-09-13T11:12:34Z"}]