--- _id: '15275' 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. article_processing_charge: No article_type: original arxiv: 1 author: - first_name: Jacob full_name: Fox, Jacob last_name: Fox - first_name: János full_name: Pach, János id: E62E3130-B088-11EA-B919-BF823C25FEA4 last_name: Pach - first_name: Andrew full_name: Suk, Andrew last_name: Suk citation: 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 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 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. 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. ista: Fox J, Pach J, Suk A. 2021. Bounded VC-dimension implies the Schur-Erdős conjecture. Combinatorica. 41(6), 803–813. 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. short: J. Fox, J. Pach, A. Suk, Combinatorica 41 (2021) 803–813. date_created: 2024-04-03T07:59:57Z date_published: 2021-11-20T00:00:00Z date_updated: 2024-04-09T10:40:08Z day: '20' department: - _id: HeEd doi: 10.1007/s00493-021-4530-9 external_id: arxiv: - '1912.02342' intvolume: ' 41' issue: '6' keyword: - Computational Mathematics - Discrete Mathematics and Combinatorics language: - iso: eng main_file_link: - open_access: '1' url: https://doi.org/10.48550/arXiv.1912.02342 month: '11' oa: 1 oa_version: Preprint page: 803-813 publication: Combinatorica publication_identifier: eissn: - 1439-6912 issn: - 0209-9683 publication_status: published publisher: Springer Nature quality_controlled: '1' status: public title: Bounded VC-dimension implies the Schur-Erdős conjecture type: journal_article user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87 volume: 41 year: '2021' ... --- _id: '15276' abstract: - lang: eng 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. article_number: e1009641 article_processing_charge: Yes article_type: original author: - first_name: Fernando full_name: Navarrete, Fernando last_name: Navarrete - first_name: Nenad full_name: Grujic, Nenad last_name: Grujic - first_name: Alexandra full_name: Stirnberg, Alexandra last_name: Stirnberg - first_name: Indira full_name: Saado, Indira last_name: Saado - first_name: David full_name: Aleksza, David last_name: Aleksza - first_name: Michelle C full_name: Gallei, Michelle C id: 35A03822-F248-11E8-B48F-1D18A9856A87 last_name: Gallei orcid: 0000-0003-1286-7368 - first_name: Hazem full_name: Adi, Hazem last_name: Adi - first_name: André full_name: Alcântara, André last_name: Alcântara - first_name: Mamoona full_name: Khan, Mamoona last_name: Khan - first_name: Janos full_name: Bindics, Janos last_name: Bindics - first_name: Marco full_name: Trujillo, Marco last_name: Trujillo - first_name: Armin full_name: Djamei, Armin last_name: Djamei citation: 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 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 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. 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. 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. 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. 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). date_created: 2024-04-03T08:00:34Z date_published: 2021-06-24T00:00:00Z date_updated: 2024-04-09T10:26:12Z day: '24' ddc: - '580' department: - _id: JiFr doi: 10.1371/journal.ppat.1009641 external_id: pmid: - '34166468' file: - access_level: open_access checksum: ab8428291a0c14607c4ea5656c029cff content_type: application/pdf creator: dernst date_created: 2024-04-09T10:24:43Z date_updated: 2024-04-09T10:24:43Z file_id: '15305' file_name: 2021_PlosPathogens_Navarrete.pdf file_size: 2616563 relation: main_file success: 1 file_date_updated: 2024-04-09T10:24:43Z has_accepted_license: '1' intvolume: ' 17' issue: '6' keyword: - Virology - Genetics - Molecular Biology - Immunology - Microbiology - Parasitology language: - iso: eng month: '06' oa: 1 oa_version: Published Version pmid: 1 publication: PLOS Pathogens publication_identifier: issn: - 1553-7374 publication_status: published publisher: Public Library of Science quality_controlled: '1' status: public title: The Pleiades are a cluster of fungal effectors that inhibit host defenses tmp: image: /images/cc_by.png legal_code_url: https://creativecommons.org/licenses/by/4.0/legalcode name: Creative Commons Attribution 4.0 International Public License (CC-BY 4.0) short: CC BY (4.0) type: journal_article user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87 volume: 17 year: '2021' ... --- _id: '15277' 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. article_processing_charge: No article_type: original author: - first_name: Armin full_name: Fuchs, Armin last_name: Fuchs - first_name: Stefan full_name: Riegler, Stefan last_name: Riegler - 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 - first_name: Luciana E full_name: Giono, Luciana E last_name: Giono - first_name: Barbara A full_name: Nimeth, Barbara A last_name: Nimeth - first_name: Krishna V full_name: Mutanwad, Krishna V last_name: Mutanwad - first_name: Alois full_name: Schweighofer, Alois last_name: Schweighofer - first_name: Doris full_name: Lucyshyn, Doris last_name: Lucyshyn - first_name: Andrea full_name: Barta, Andrea last_name: Barta - first_name: Ezequiel full_name: Petrillo, Ezequiel last_name: Petrillo - first_name: Maria full_name: Kalyna, Maria last_name: Kalyna citation: 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' 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' 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.' 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.' 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.' 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. date_created: 2024-04-03T08:02:09Z date_published: 2021-01-25T00:00:00Z date_updated: 2024-04-09T10:16:40Z day: '25' ddc: - '570' department: - _id: EvBe doi: 10.1093/nar/gkaa1260 external_id: pmid: - '33406240' file: - access_level: open_access checksum: d3c90660759a5d34ad43ba1def130462 content_type: application/pdf creator: dernst date_created: 2024-04-09T10:14:39Z date_updated: 2024-04-09T10:14:39Z file_id: '15304' file_name: 2021_NucleicAcidsRes_Fuchs.pdf file_size: 6539791 relation: main_file success: 1 file_date_updated: 2024-04-09T10:14:39Z has_accepted_license: '1' intvolume: ' 49' issue: '2' keyword: - Genetics language: - iso: eng month: '01' oa: 1 oa_version: Published Version page: 1133-1151 pmid: 1 publication: Nucleic Acids Research publication_identifier: eissn: - 1362-4962 issn: - 0305-1048 publication_status: published publisher: Oxford University Press quality_controlled: '1' status: public title: 'Targeting alternative splicing by RNAi: From the differential impact on splice variants to triggering artificial pre-mRNA splicing' tmp: image: /images/cc_by.png legal_code_url: https://creativecommons.org/licenses/by/4.0/legalcode name: Creative Commons Attribution 4.0 International Public License (CC-BY 4.0) short: CC BY (4.0) type: journal_article user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87 volume: 49 year: '2021' ... --- _id: '15278' abstract: - lang: eng 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. article_number: '2648' article_processing_charge: Yes article_type: original author: - first_name: Federica full_name: Cordella, Federica last_name: Cordella - first_name: Caterina full_name: Sanchini, Caterina last_name: Sanchini - first_name: Maria full_name: Rosito, Maria last_name: Rosito - first_name: Laura full_name: Ferrucci, Laura last_name: Ferrucci - first_name: Natalia full_name: Pediconi, Natalia last_name: Pediconi - first_name: Barbara full_name: Cortese, Barbara last_name: Cortese - first_name: Francesca full_name: Guerrieri, Francesca last_name: Guerrieri - first_name: Giuseppe Rubens full_name: Pascucci, Giuseppe Rubens last_name: Pascucci - first_name: Fabrizio full_name: Antonangeli, Fabrizio last_name: Antonangeli - first_name: Giovanna full_name: Peruzzi, Giovanna last_name: Peruzzi - first_name: Maria full_name: Giubettini, Maria last_name: Giubettini - first_name: Bernadette full_name: Basilico, Bernadette id: 36035796-5ACA-11E9-A75E-7AF2E5697425 last_name: Basilico orcid: 0000-0003-1843-3173 - first_name: Francesca full_name: Pagani, Francesca last_name: Pagani - first_name: Alfonso full_name: Grimaldi, Alfonso last_name: Grimaldi - first_name: Giuseppina full_name: D’Alessandro, Giuseppina last_name: D’Alessandro - first_name: Cristina full_name: Limatola, Cristina last_name: Limatola - first_name: Davide full_name: Ragozzino, Davide last_name: Ragozzino - first_name: Silvia full_name: Di Angelantonio, Silvia last_name: Di Angelantonio citation: ama: Cordella F, Sanchini C, Rosito M, et al. Antibiotics treatment modulates microglia–synapses interaction. Cells. 2021;10(10). doi:10.3390/cells10102648 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 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. ieee: F. Cordella et al., “Antibiotics treatment modulates microglia–synapses interaction,” Cells, vol. 10, no. 10. MDPI, 2021. 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. mla: Cordella, Federica, et al. “Antibiotics Treatment Modulates Microglia–Synapses Interaction.” Cells, vol. 10, no. 10, 2648, MDPI, 2021, doi: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). date_created: 2024-04-03T08:02:52Z date_published: 2021-10-04T00:00:00Z date_updated: 2024-04-09T08:53:23Z day: '04' ddc: - '610' department: - _id: GaNo doi: 10.3390/cells10102648 external_id: pmid: - '34685628' file: - access_level: open_access checksum: 1a3b251ce82e2b9474b852d2abe5bb03 content_type: application/pdf creator: dernst date_created: 2024-04-09T08:51:22Z date_updated: 2024-04-09T08:51:22Z file_id: '15303' file_name: 2021_Cells_Cordella.pdf file_size: 2196672 relation: main_file success: 1 file_date_updated: 2024-04-09T08:51:22Z has_accepted_license: '1' intvolume: ' 10' issue: '10' keyword: - General Medicine language: - iso: eng month: '10' oa: 1 oa_version: Published Version pmid: 1 publication: Cells publication_identifier: issn: - 2073-4409 publication_status: published publisher: MDPI quality_controlled: '1' status: public title: Antibiotics treatment modulates microglia–synapses interaction tmp: image: /images/cc_by.png legal_code_url: https://creativecommons.org/licenses/by/4.0/legalcode name: Creative Commons Attribution 4.0 International Public License (CC-BY 4.0) short: CC BY (4.0) type: journal_article user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87 volume: 10 year: '2021' ... --- _id: '15279' abstract: - lang: eng 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. article_processing_charge: No article_type: original arxiv: 1 author: - first_name: Margaret full_name: Bilu, Margaret id: 98C47862-10D5-11EA-BEDD-0F6F3DDC885E last_name: Bilu - first_name: Sean full_name: Howe, Sean last_name: Howe 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 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 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. 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. ista: Bilu M, Howe S. 2021. Motivic Euler products in motivic statistics. Algebra & Number Theory. 15(9), 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. short: M. Bilu, S. Howe, Algebra & Number Theory 15 (2021) 2195–2259. corr_author: '1' date_created: 2024-04-03T08:12:59Z date_published: 2021-12-23T00:00:00Z date_updated: 2024-10-21T06:02:15Z day: '23' department: - _id: TiBr doi: 10.2140/ant.2021.15.2195 external_id: arxiv: - '1910.05207' intvolume: ' 15' issue: '9' keyword: - Algebra and Number Theory language: - iso: eng main_file_link: - open_access: '1' url: https://doi.org/10.48550/arXiv.1910.05207 month: '12' oa: 1 oa_version: Preprint page: 2195-2259 publication: Algebra & Number Theory publication_identifier: eissn: - 1944-7833 issn: - 1937-0652 publication_status: published publisher: Mathematical Sciences Publishers quality_controlled: '1' scopus_import: '1' status: public title: Motivic Euler products in motivic statistics type: journal_article user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87 volume: 15 year: '2021' ... --- _id: '15283' article_processing_charge: No article_type: original author: - first_name: William full_name: Nicolas, William last_name: Nicolas - first_name: Florian full_name: Fäßler, Florian id: 404F5528-F248-11E8-B48F-1D18A9856A87 last_name: Fäßler orcid: 0000-0001-7149-769X - first_name: Elliot full_name: Meyerowitz, Elliot last_name: Meyerowitz - first_name: Grant full_name: Jensen, Grant last_name: Jensen citation: 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 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. 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. 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. date_created: 2024-04-03T08:57:23Z date_published: 2021-08-01T00:00:00Z date_updated: 2024-04-09T07:55:56Z day: '01' department: - _id: FlSc doi: 10.1017/s1431927621010503 intvolume: ' 27' issue: S1 keyword: - Instrumentation language: - iso: eng month: '08' oa_version: None page: 3024-3026 publication: Microscopy and Microanalysis publication_identifier: eissn: - 1435-8115 issn: - 1431-9276 publication_status: published publisher: Oxford University Press quality_controlled: '1' status: public title: Peaking into the plant cell wall using cryo-FIB milling and electron cryo-tomography type: journal_article user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87 volume: 27 year: '2021' ... --- _id: '15284' 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" article_processing_charge: No author: - first_name: Krishnendu full_name: Chatterjee, Krishnendu id: 2E5DCA20-F248-11E8-B48F-1D18A9856A87 last_name: Chatterjee orcid: 0000-0002-4561-241X - first_name: Ehsan Kafshdar full_name: Goharshady, Ehsan Kafshdar last_name: Goharshady - first_name: Petr full_name: Novotný, Petr id: 3CC3B868-F248-11E8-B48F-1D18A9856A87 last_name: Novotný - first_name: Dorde full_name: Zikelic, Dorde id: 294AA7A6-F248-11E8-B48F-1D18A9856A87 last_name: Zikelic orcid: 0000-0002-4681-1699 citation: 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 chicago: Chatterjee, Krishnendu, Ehsan Kafshdar Goharshady, Petr Novotný, and Dorde Zikelic. “RevTerm.” Association for Computing Machinery, 2021. https://doi.org/10.1145/3410304. ieee: K. Chatterjee, E. K. Goharshady, P. Novotný, and D. Zikelic, “RevTerm.” Association for Computing Machinery, 2021. 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). corr_author: '1' date_created: 2024-04-03T09:00:42Z date_published: 2021-06-01T00:00:00Z date_updated: 2025-04-15T06:25:30Z day: '01' ddc: - '000' department: - _id: KrCh doi: 10.1145/3410304 has_accepted_license: '1' main_file_link: - open_access: '1' url: https://doi.org/10.1145/3410304 month: '06' oa: 1 oa_version: Published Version publisher: Association for Computing Machinery related_material: record: - id: '9644' relation: used_in_publication status: public status: public title: RevTerm type: research_data_reference user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87 year: '2021' ... --- _id: '15285' 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. 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. article_processing_charge: Yes article_type: review author: - first_name: Paul full_name: Rubel, Paul last_name: Rubel - first_name: Jocelyne full_name: Fayn, Jocelyne last_name: Fayn - first_name: Peter W. full_name: Macfarlane, Peter W. last_name: Macfarlane - first_name: Danilo full_name: Pani, Danilo last_name: Pani - first_name: Alois full_name: Schlögl, Alois id: 45BF87EE-F248-11E8-B48F-1D18A9856A87 last_name: Schlögl orcid: 0000-0002-5621-8100 - first_name: Alpo full_name: Värri, Alpo last_name: Värri citation: 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' 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' 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.' 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.' 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.' 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. date_created: 2024-04-03T09:03:31Z date_published: 2021-08-24T00:00:00Z date_updated: 2024-04-09T06:51:50Z day: '24' ddc: - '610' department: - _id: ScienComp doi: 10.3390/hearts2030031 file: - access_level: open_access checksum: f67142b1e1e8ca5cd7a6a6798f46375e content_type: application/pdf creator: dernst date_created: 2024-04-09T06:49:47Z date_updated: 2024-04-09T06:49:47Z file_id: '15302' file_name: 2021_Hearts_Rubel.pdf file_size: 3539897 relation: main_file success: 1 file_date_updated: 2024-04-09T06:49:47Z has_accepted_license: '1' intvolume: ' 2' issue: '3' keyword: - General Medicine language: - iso: eng month: '08' oa: 1 oa_version: Published Version page: 384-409 publication: Hearts publication_identifier: issn: - 2673-3846 publication_status: published publisher: MDPI quality_controlled: '1' status: public title: 'The history and challenges of SCP-ECG: The standard communication protocol for computer-assisted electrocardiography' tmp: image: /images/cc_by.png legal_code_url: https://creativecommons.org/licenses/by/4.0/legalcode name: Creative Commons Attribution 4.0 International Public License (CC-BY 4.0) short: CC BY (4.0) type: journal_article user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87 volume: 2 year: '2021' ... --- DOAJ_listed: '1' OA_place: publisher OA_type: gold _id: '19472' 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. article_number: '61769' article_processing_charge: Yes article_type: original author: - first_name: Laura full_name: Morcom, Laura last_name: Morcom - first_name: Ilan full_name: Gobius, Ilan last_name: Gobius - first_name: Ashley PL full_name: Marsh, Ashley PL last_name: Marsh - first_name: Rodrigo full_name: Suárez, Rodrigo last_name: Suárez - first_name: Jonathan WC full_name: Lim, Jonathan WC last_name: Lim - first_name: Caitlin full_name: Bridges, Caitlin last_name: Bridges - first_name: Yunan full_name: Ye, Yunan last_name: Ye - first_name: Laura R full_name: Fenlon, Laura R last_name: Fenlon - first_name: Yvrick full_name: Zagar, Yvrick last_name: Zagar - first_name: Amelia May Barnett full_name: Douglass, Amelia May Barnett id: de5f6fda-80fb-11ef-996f-a8c4ecd8e289 last_name: Douglass orcid: 0000-0001-5398-6473 - first_name: Amber-Lee S full_name: Donahoo, Amber-Lee S last_name: Donahoo - first_name: Thomas full_name: Fothergill, Thomas last_name: Fothergill - first_name: Samreen full_name: Shaikh, Samreen last_name: Shaikh - first_name: Peter full_name: Kozulin, Peter last_name: Kozulin - first_name: Timothy J full_name: Edwards, Timothy J last_name: Edwards - first_name: Helen M full_name: Cooper, Helen M last_name: Cooper - first_name: Elliott H full_name: Sherr, Elliott H last_name: Sherr - first_name: Alain full_name: Chédotal, Alain last_name: Chédotal - first_name: Richard J full_name: Leventer, Richard J last_name: Leventer - first_name: Paul J full_name: Lockhart, Paul J last_name: Lockhart - first_name: Linda J full_name: Richards, Linda J last_name: Richards citation: 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 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 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. ieee: L. Morcom et al., “DCC regulates astroglial development essential for telencephalic morphogenesis and corpus callosum formation,” eLife, vol. 10. eLife Sciences Publications, 2021. 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. 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. 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). date_created: 2025-04-03T12:29:29Z date_published: 2021-04-19T00:00:00Z date_updated: 2025-07-10T11:51:41Z day: '19' doi: 10.7554/elife.61769 extern: '1' external_id: pmid: - '33871356' has_accepted_license: '1' intvolume: ' 10' language: - iso: eng main_file_link: - open_access: '1' url: https://doi.org/10.7554/eLife.61769 month: '04' oa: 1 oa_version: Published Version pmid: 1 publication: eLife publication_identifier: eissn: - 2050-084X publication_status: published publisher: eLife Sciences Publications quality_controlled: '1' scopus_import: '1' status: public title: DCC regulates astroglial development essential for telencephalic morphogenesis and corpus callosum formation tmp: image: /images/cc_by.png legal_code_url: https://creativecommons.org/licenses/by/4.0/legalcode name: Creative Commons Attribution 4.0 International Public License (CC-BY 4.0) short: CC BY (4.0) type: journal_article user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87 volume: 10 year: '2021' ... --- OA_place: publisher OA_type: hybrid _id: '19489' abstract: - lang: eng text: "Let K be a cyclic number field of odd degree over \r\n\U0001D444 with odd narrow class number, such that 2 is inert in \U0001D43E/\U0001D444. We define a family of number fields {\U0001D43E(\U0001D45D)}\U0001D45D, depending on K and indexed by the rational primes p that split completely in \U0001D43E/\U0001D444, 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 \U0001D43E(\U0001D45D)/\U0001D444 is strictly between 0 and 1 and is given explicitly as a formula in terms of the degree of the extension \U0001D43E/\U0001D444. Our results are unconditional in the cubic case. Our proof relies on a detailed study of the joint distribution of spins of prime ideals." article_number: '1' article_processing_charge: No article_type: original arxiv: 1 author: - first_name: Yik Tung full_name: Chan, Yik Tung id: c4c0afc8-9262-11ed-9231-d8b0bc743af1 last_name: Chan orcid: 0000-0001-8467-4106 - first_name: Christine full_name: McMeekin, Christine last_name: McMeekin - first_name: Djordjo full_name: Milovic, Djordjo last_name: Milovic citation: 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 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 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. ieee: S. Chan, C. McMeekin, and D. Milovic, “A density of ramified primes,” Research in Number Theory, vol. 8. Springer Nature, 2021. ista: Chan S, McMeekin C, Milovic D. 2021. A density of ramified primes. Research in Number Theory. 8, 1. 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). date_created: 2025-04-05T10:50:51Z date_published: 2021-11-15T00:00:00Z date_updated: 2025-07-10T11:51:46Z day: '15' ddc: - '510' doi: 10.1007/s40993-021-00295-5 extern: '1' external_id: arxiv: - '2005.10188' has_accepted_license: '1' intvolume: ' 8' language: - iso: eng main_file_link: - open_access: '1' url: https://doi.org/10.1007/s40993-021-00295-5 month: '11' oa: 1 oa_version: Published Version publication: Research in Number Theory publication_identifier: eissn: - 2363-9555 issn: - 2522-0160 publication_status: published publisher: Springer Nature quality_controlled: '1' scopus_import: '1' status: public title: A density of ramified primes tmp: image: /images/cc_by.png legal_code_url: https://creativecommons.org/licenses/by/4.0/legalcode name: Creative Commons Attribution 4.0 International Public License (CC-BY 4.0) short: CC BY (4.0) type: journal_article user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87 volume: 8 year: '2021' ... --- OA_place: repository OA_type: green _id: '19492' 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. article_processing_charge: No article_type: original arxiv: 1 author: - first_name: Yik Tung full_name: Chan, Yik Tung id: c4c0afc8-9262-11ed-9231-d8b0bc743af1 last_name: Chan orcid: 0000-0001-8467-4106 - first_name: Djordjo full_name: Milovic, Djordjo last_name: Milovic citation: 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 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 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. ieee: S. Chan and D. Milovic, “Kuroda’s formula and arithmetic statistics,” Mathematische Zeitschrift, vol. 300, no. 2. Springer Nature, pp. 1509–1527, 2021. ista: Chan S, Milovic D. 2021. Kuroda’s formula and arithmetic statistics. Mathematische Zeitschrift. 300(2), 1509–1527. 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. short: S. Chan, D. Milovic, Mathematische Zeitschrift 300 (2021) 1509–1527. date_created: 2025-04-05T10:51:04Z date_published: 2021-08-17T00:00:00Z date_updated: 2025-07-10T11:51:48Z day: '17' doi: 10.1007/s00209-021-02823-6 extern: '1' external_id: arxiv: - '1905.09745' intvolume: ' 300' issue: '2' language: - iso: eng main_file_link: - open_access: '1' url: https://doi.org/10.48550/arXiv.1905.09745 month: '08' oa: 1 oa_version: Preprint page: 1509-1527 publication: Mathematische Zeitschrift publication_identifier: eissn: - 1432-1823 issn: - 0025-5874 publication_status: published publisher: Springer Nature quality_controlled: '1' scopus_import: '1' status: public title: Kuroda’s formula and arithmetic statistics type: journal_article user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87 volume: 300 year: '2021' ... --- OA_place: repository OA_type: green _id: '19909' abstract: - lang: eng 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. article_processing_charge: No article_type: original arxiv: 1 author: - first_name: Bingqing full_name: Cheng, Bingqing id: cbe3cda4-d82c-11eb-8dc7-8ff94289fcc9 last_name: Cheng orcid: 0000-0002-3584-9632 - first_name: Mandy full_name: Bethkenhagen, Mandy last_name: Bethkenhagen - first_name: Chris J. full_name: Pickard, Chris J. last_name: Pickard - first_name: Sebastien full_name: Hamel, Sebastien last_name: Hamel citation: 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 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 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. 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. ista: Cheng B, Bethkenhagen M, Pickard CJ, Hamel S. 2021. Phase behaviours of superionic water at planetary conditions. Nature Physics. 17(11), 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. short: B. Cheng, M. Bethkenhagen, C.J. Pickard, S. Hamel, Nature Physics 17 (2021) 1228–1232. date_created: 2025-06-26T11:36:36Z date_published: 2021-11-01T00:00:00Z date_updated: 2025-06-26T11:49:07Z day: '01' doi: 10.1038/s41567-021-01334-9 extern: '1' external_id: arxiv: - '2103.09035' intvolume: ' 17' issue: '11' language: - iso: eng month: '11' oa_version: Preprint page: 1228-1232 publication: Nature Physics publication_identifier: eissn: - 1745-2481 issn: - 1745-2473 publication_status: published publisher: Springer Nature quality_controlled: '1' related_material: record: - id: '9696' relation: earlier_version status: public scopus_import: '1' status: public title: Phase behaviours of superionic water at planetary conditions type: journal_article user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87 volume: 17 year: '2021' ... --- OA_place: repository OA_type: green _id: '20619' 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. article_processing_charge: No article_type: original arxiv: 1 author: - first_name: Xujia full_name: Chen, Xujia id: 968ad14a-fd86-11ee-a420-ea29715511a3 last_name: Chen - first_name: Aleksey full_name: Zinger, Aleksey last_name: Zinger citation: 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 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 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. 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. ista: Chen X, Zinger A. 2021. WDVV-type relations for disk Gromov–Witten invariants in dimension 6. Mathematische Annalen. 379(3–4), 1231–1313. 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. short: X. Chen, A. Zinger, Mathematische Annalen 379 (2021) 1231–1313. date_created: 2025-11-10T08:41:40Z date_published: 2021-01-25T00:00:00Z date_updated: 2025-11-10T15:11:29Z day: '25' doi: 10.1007/s00208-020-02130-1 extern: '1' external_id: arxiv: - '1904.04254' intvolume: ' 379' issue: 3-4 language: - iso: eng main_file_link: - open_access: '1' url: https://doi.org/10.48550/arXiv.1904.04254 month: '01' oa: 1 oa_version: Preprint page: 1231-1313 publication: Mathematische Annalen publication_identifier: eissn: - 1432-1807 issn: - 0025-5831 publication_status: published publisher: Springer Nature quality_controlled: '1' scopus_import: '1' status: public title: WDVV-type relations for disk Gromov–Witten invariants in dimension 6 type: journal_article user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87 volume: 379 year: '2021' ... --- OA_place: repository OA_type: green _id: '20622' 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. article_processing_charge: No arxiv: 1 author: - first_name: Xujia full_name: Chen, Xujia id: 968ad14a-fd86-11ee-a420-ea29715511a3 last_name: Chen - first_name: Aleksey full_name: Zinger, Aleksey last_name: Zinger citation: 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' 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' 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.' 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.' ista: 'Chen X, Zinger A. WDVV-type relations for Welschinger’s invariants: Applications. Kyoto Journal of Mathematics. 61(2), 339–376.' 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.' short: X. Chen, A. Zinger, Kyoto Journal of Mathematics 61 (n.d.) 339–376. date_created: 2025-11-10T08:45:12Z date_published: 2021-06-01T00:00:00Z date_updated: 2025-11-10T15:13:58Z day: '01' doi: 10.1215/21562261-2021-0005 extern: '1' external_id: arxiv: - '1809.08938' intvolume: ' 61' issue: '2' language: - iso: eng main_file_link: - open_access: '1' url: https://doi.org/10.48550/arXiv.1809.08938 month: '06' oa: 1 oa_version: Preprint page: 339-376 publication: Kyoto Journal of Mathematics publication_identifier: eissn: - 2154-3321 publication_status: submitted publisher: Duke University Press quality_controlled: '1' status: public title: 'WDVV-type relations for Welschinger''s invariants: Applications' type: journal_article user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87 volume: 61 year: '2021' ... --- OA_place: publisher OA_type: hybrid _id: '20765' 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.

article_processing_charge: No article_type: original author: - first_name: Suzanne full_name: Willems, Suzanne last_name: Willems - first_name: Georgios full_name: Toupalas, Georgios last_name: Toupalas - first_name: Julia full_name: Reisenbauer, Julia id: 51d862e9-36ee-11f0-86d3-8534c85a5496 last_name: Reisenbauer - first_name: Bill full_name: Morandi, Bill last_name: Morandi 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 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 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. 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. 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. 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. short: S. Willems, G. Toupalas, J. Reisenbauer, B. Morandi, Chemical Communications 57 (2021) 3909–3912. date_created: 2025-12-09T14:25:17Z date_published: 2021-03-15T00:00:00Z date_updated: 2025-12-16T12:06:53Z day: '15' ddc: - '540' doi: 10.1039/d1cc00648g extern: '1' external_id: pmid: - '33871510' has_accepted_license: '1' intvolume: ' 57' issue: '32' language: - iso: eng license: https://creativecommons.org/licenses/by/3.0/ main_file_link: - open_access: '1' url: "DOI\thttps://doi.org/10.1039/D1CC00648G" month: '03' oa: 1 oa_version: Published Version page: 3909-3912 pmid: 1 publication: Chemical Communications publication_identifier: eissn: - 1364-548X issn: - 1359-7345 publication_status: published publisher: Royal Society of Chemistry quality_controlled: '1' scopus_import: '1' status: public title: A site-selective and stereospecific cascade Suzuki–Miyaura annulation of alkyl 1,2-bisboronic esters and 2,2′-dihalo 1,1′-biaryls tmp: image: /images/cc_by.png legal_code_url: https://creativecommons.org/licenses/by/3.0/legalcode name: Creative Commons Attribution 3.0 Unported (CC BY 3.0) short: CC BY (3.0) type: journal_article user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87 volume: 57 year: '2021' ... --- _id: '10000' abstract: - lang: eng 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. 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). ' article_number: '14' article_processing_charge: Yes article_type: original author: - first_name: Heather M. full_name: Schmitt, Heather M. last_name: Schmitt - first_name: Rachel L. full_name: Fehrman, Rachel L. last_name: Fehrman - first_name: Margaret E full_name: Maes, Margaret E id: 3838F452-F248-11E8-B48F-1D18A9856A87 last_name: Maes orcid: 0000-0001-9642-1085 - first_name: Huan full_name: Yang, Huan last_name: Yang - first_name: Lian Wang full_name: Guo, Lian Wang last_name: Guo - first_name: Cassandra L. full_name: Schlamp, Cassandra L. last_name: Schlamp - first_name: Heather R. full_name: Pelzel, Heather R. last_name: Pelzel - first_name: Robert W. full_name: Nickells, Robert W. last_name: Nickells citation: 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 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 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. 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. 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. 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. 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). date_created: 2021-09-12T22:01:23Z date_published: 2021-08-16T00:00:00Z date_updated: 2023-08-14T06:35:17Z day: '16' ddc: - '570' department: - _id: SaSi doi: 10.1167/IOVS.62.10.14 external_id: isi: - '000695230000014' pmid: - '34398198' file: - access_level: open_access checksum: c430967746f653aa1ae84ee617f62b73 content_type: application/pdf creator: dernst date_created: 2022-05-13T07:40:15Z date_updated: 2022-05-13T07:40:15Z file_id: '11369' file_name: 2021_IOVS_Schmitt.pdf file_size: 19707796 relation: main_file success: 1 file_date_updated: 2022-05-13T07:40:15Z has_accepted_license: '1' intvolume: ' 62' isi: 1 issue: '10' language: - iso: eng month: '08' oa: 1 oa_version: Published Version pmid: 1 publication: Investigative Ophthalmology and Visual Science publication_identifier: eissn: - 1552-5783 issn: - 0146-0404 publication_status: published publisher: Association for Research in Vision and Ophthalmology quality_controlled: '1' scopus_import: '1' status: public title: Increased susceptibility and intrinsic apoptotic signaling in neurons by induced HDAC3 expression tmp: image: /images/cc_by_nc_nd.png legal_code_url: https://creativecommons.org/licenses/by-nc-nd/4.0/legalcode name: Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International (CC BY-NC-ND 4.0) short: CC BY-NC-ND (4.0) type: journal_article user_id: 4359f0d1-fa6c-11eb-b949-802e58b17ae8 volume: 62 year: '2021' ... --- _id: '10002' 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 .' 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. article_processing_charge: No arxiv: 1 author: - first_name: Krishnendu full_name: Chatterjee, Krishnendu id: 2E5DCA20-F248-11E8-B48F-1D18A9856A87 last_name: Chatterjee orcid: 0000-0002-4561-241X - first_name: Wolfgang full_name: Dvorak, Wolfgang last_name: Dvorak - first_name: Monika H full_name: Henzinger, Monika H id: 540c9bbd-f2de-11ec-812d-d04a5be85630 last_name: Henzinger orcid: 0000-0002-5008-6530 - first_name: Alexander full_name: Svozil, Alexander last_name: Svozil citation: 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' 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' 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. 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. 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.' 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. conference: end_date: 2021-07-02 location: Rome, Italy name: 'LICS: Logic in Computer Science' start_date: 2021-06-29 date_created: 2021-09-12T22:01:24Z date_published: 2021-07-07T00:00:00Z date_updated: 2025-07-10T11:15:45Z day: '07' department: - _id: KrCh doi: 10.1109/LICS52264.2021.9470739 ec_funded: 1 external_id: arxiv: - '2104.07466' isi: - '000947350400089' isi: 1 keyword: - Computer science - Computational modeling - Markov processes - Probabilistic logic - Formal verification - Game Theory language: - iso: eng main_file_link: - open_access: '1' url: https://arxiv.org/abs/2104.07466 month: '07' oa: 1 oa_version: Preprint page: 1-13 project: - _id: 25863FF4-B435-11E9-9278-68D0E5697425 call_identifier: FWF grant_number: S11407 name: Game Theory - _id: 0599E47C-7A3F-11EA-A408-12923DDC885E call_identifier: H2020 grant_number: '863818' name: 'Formal Methods for Stochastic Models: Algorithms and Applications' 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 publication_status: published publisher: Institute of Electrical and Electronics Engineers quality_controlled: '1' scopus_import: '1' status: public title: Symbolic time and space tradeoffs for probabilistic verification type: conference user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87 year: '2021' ... --- _id: '10004' abstract: - lang: eng 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.' 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). article_processing_charge: No arxiv: 1 author: - first_name: Krishnendu full_name: Chatterjee, Krishnendu id: 2E5DCA20-F248-11E8-B48F-1D18A9856A87 last_name: Chatterjee orcid: 0000-0002-4561-241X - first_name: Laurent full_name: Doyen, Laurent last_name: Doyen citation: 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' 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' 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. 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. 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.' 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. 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. conference: end_date: 2021-07-02 location: Rome, Italy name: 'LICS: Logic in Computer Science' start_date: 2021-06-29 date_created: 2021-09-12T22:01:25Z date_published: 2021-07-07T00:00:00Z date_updated: 2025-09-08T14:54:13Z day: '07' department: - _id: KrCh doi: 10.1109/LICS52264.2021.9470595 ec_funded: 1 external_id: arxiv: - '2104.07278' isi: - '000947350400036' isi: 1 keyword: - Computer science - Heuristic algorithms - Memory management - Automata - Markov processes - Probability distribution - Complexity theory language: - iso: eng main_file_link: - open_access: '1' url: https://arxiv.org/abs/2104.07278 month: '07' oa: 1 oa_version: Preprint page: 1-13 project: - _id: 0599E47C-7A3F-11EA-A408-12923DDC885E call_identifier: H2020 grant_number: '863818' name: 'Formal Methods for Stochastic Models: Algorithms and Applications' 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 publication_status: published publisher: Institute of Electrical and Electronics Engineers quality_controlled: '1' related_material: record: - id: '18630' relation: later_version status: public scopus_import: '1' status: public title: Stochastic processes with expected stopping time type: conference user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87 year: '2021' ... --- _id: '10005' 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. 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" article_processing_charge: No article_type: original arxiv: 1 author: - first_name: Miroslav full_name: Bulíček, Miroslav last_name: Bulíček - first_name: Erika full_name: Maringová, Erika id: dbabca31-66eb-11eb-963a-fb9c22c880b4 last_name: Maringová - first_name: Josef full_name: Málek, Josef last_name: Málek citation: 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 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 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. 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. 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). 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). date_created: 2021-09-12T22:01:25Z date_published: 2021-08-25T00:00:00Z date_updated: 2025-05-14T10:50:14Z day: '25' department: - _id: JuFi doi: 10.1142/S0218202521500457 external_id: arxiv: - '2009.06917' isi: - '000722222900004' intvolume: ' 31' isi: 1 issue: '09' keyword: - Nonlinear parabolic systems - implicit constitutive theory - weak solutions - existence - uniqueness language: - iso: eng main_file_link: - open_access: '1' url: https://arxiv.org/abs/2009.06917 month: '08' oa: 1 oa_version: Preprint project: - _id: fc31cba2-9c52-11eb-aca3-ff467d239cd2 grant_number: F6504 name: Taming Complexity in Partial Differential Systems publication: Mathematical Models and Methods in Applied Sciences publication_identifier: eissn: - 1793-6314 issn: - 0218-2025 publication_status: published publisher: World Scientific Publishing quality_controlled: '1' scopus_import: '1' status: public title: On nonlinear problems of parabolic type with implicit constitutive equations involving flux type: journal_article user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87 volume: 31 year: '2021' ... --- OA_place: publisher _id: '10007' abstract: - lang: eng 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. alternative_title: - ISTA Thesis article_processing_charge: No author: - first_name: Sebastian full_name: Hensel, Sebastian id: 4D23B7DA-F248-11E8-B48F-1D18A9856A87 last_name: Hensel orcid: 0000-0001-7252-8072 citation: ama: 'Hensel S. Curvature driven interface evolution: Uniqueness properties of weak solution concepts. 2021. doi:10.15479/at:ista:10007' 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' 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.' ieee: 'S. Hensel, “Curvature driven interface evolution: Uniqueness properties of weak solution concepts,” Institute of Science and Technology Austria, 2021.' ista: 'Hensel S. 2021. Curvature driven interface evolution: Uniqueness properties of weak solution concepts. Institute of Science and Technology Austria.' 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.' short: 'S. Hensel, Curvature Driven Interface Evolution: Uniqueness Properties of Weak Solution Concepts, Institute of Science and Technology Austria, 2021.' corr_author: '1' date_created: 2021-09-13T11:12:34Z date_published: 2021-09-14T00:00:00Z date_updated: 2026-04-08T07:01:01Z day: '14' ddc: - '515' degree_awarded: PhD department: - _id: GradSch - _id: JuFi doi: 10.15479/at:ista:10007 ec_funded: 1 file: - access_level: closed checksum: c8475faaf0b680b4971f638f1db16347 content_type: application/x-zip-compressed creator: shensel date_created: 2021-09-13T11:03:24Z date_updated: 2021-09-15T14:37:30Z file_id: '10008' file_name: thesis_final_Hensel.zip file_size: 15022154 relation: source_file - access_level: open_access checksum: 1a609937aa5275452822f45f2da17f07 content_type: application/pdf creator: shensel date_created: 2021-09-13T14:18:56Z date_updated: 2021-09-14T09:52:47Z file_id: '10014' file_name: thesis_final_Hensel.pdf file_size: 6583638 relation: main_file file_date_updated: 2021-09-15T14:37:30Z has_accepted_license: '1' language: - iso: eng month: '09' oa: 1 oa_version: Published Version page: '300' project: - _id: 2564DBCA-B435-11E9-9278-68D0E5697425 call_identifier: H2020 grant_number: '665385' name: International IST Doctoral Program - _id: 0aa76401-070f-11eb-9043-b5bb049fa26d call_identifier: H2020 grant_number: '948819' name: Bridging Scales in Random Materials publication_identifier: issn: - 2663-337X publication_status: published publisher: Institute of Science and Technology Austria related_material: record: - id: '10012' relation: part_of_dissertation status: public - id: '10013' relation: part_of_dissertation status: public - id: '7489' relation: part_of_dissertation status: public status: public supervisor: - first_name: Julian L full_name: Fischer, Julian L id: 2C12A0B0-F248-11E8-B48F-1D18A9856A87 last_name: Fischer orcid: 0000-0002-0479-558X title: 'Curvature driven interface evolution: Uniqueness properties of weak solution concepts' type: dissertation user_id: ba8df636-2132-11f1-aed0-ed93e2281fdd year: '2021' ...