cometadata/datacite-titles-descriptions-related-identifiers huggingface dataset:
DOI: 10.7274/25607844
title: A Solomon-Tits Theorem for Rings

description: An analogue of the Tits building is defined and studied for commutative rings. We prove a Solomon-Tits theorem when R either satisfies a stable range condition, or is the ring of S-integers of a global field. We then define an analogue of the Steinberg module of R and study it both as a Z-module and as a representation. We find the rank of Steinberg when R is a finite ring, and compute the length of St(2,R)?Q as a GL(2,R)-representation when R is uniserial. As an application of these results, we produce a lower bound for the rank of the top-dimensional cohomology of principal congruence subgroups of nonprime level.
DOI: 10.7274/25607844.v1
title: A Solomon-Tits Theorem for Rings

description: An analogue of the Tits building is defined and studied for commutative rings. We prove a Solomon-Tits theorem when R either satisfies a stable range condition, or is the ring of S-integers of a global field. We then define an analogue of the Steinberg module of R and study it both as a Z-module and as a representation. We find the rank of Steinberg when R is a finite ring, and compute the length of St(2,R)?Q as a GL(2,R)-representation when R is uniserial. As an application of these results, we produce a lower bound for the rank of the top-dimensional cohomology of principal congruence subgroups of nonprime level.
DOI: 10.7274/25608537
title: Symbolic Squares of Edge Ideals of <em>d</em>-Partite Hypergraphs

description: This dissertation delves into the realm of squarefree monomial ideals within commutative algebra, spotlighting their significance due to two main factors. First, the process of polarization allows any monomial ideal to be converted into a squarefree monomial ideal, thus preserving crucial algebraic properties and simplifying numerous problems to the classification of squarefree ideals. Second, squarefree ideals exhibit a compelling combinatorial structure closely linked to their algebraic characteristics, providing a robust toolkit for their study. A unique focus is placed on edge ideals of d-partite hypergraphs, a particular class of squarefree monomial ideals generated in a single degree d.

The core problem addressed herein is identifying conditions under which the symbolic and regular squares of a d-partite hypergraph's edge ideal coincide. This investigation is pursued through a combinatorial perspective, classifying ideals based on the presence of specific subhypergraphs.

Research findings reveal that the alignment of symbolic and regular squares of edge ideals is intrinsically linked to the containment of particular subhypergraph configurations. This insight extends the understanding of edge ideal behavior, providing a novel perspective on their structural dynamics.

Additionally, this work includes a comprehensive examination of existing criteria for determining when an edge ideal of a d-partite hypergraph demonstrates a linear resolution. This analysis has been distilled into a combinatorial characterization, reliant on the detection of paths within the corresponding hypergraph.

In conclusion, the dissertation not only answers pivotal questions regarding the properties of d-partite hypergraph edge ideals but also enriches the dialogue between algebraic and combinatorial theories. It recommends further exploration into the combinatorial conditions influencing edge ideal properties, potentially unveiling broader implications for the study of monomial ideals and their applications in commutative algebra.
DOI: 10.7274/25608537.v1
title: Symbolic Squares of Edge Ideals of <em>d</em>-Partite Hypergraphs

description: This dissertation delves into the realm of squarefree monomial ideals within commutative algebra, spotlighting their significance due to two main factors. First, the process of polarization allows any monomial ideal to be converted into a squarefree monomial ideal, thus preserving crucial algebraic properties and simplifying numerous problems to the classification of squarefree ideals. Second, squarefree ideals exhibit a compelling combinatorial structure closely linked to their algebraic characteristics, providing a robust toolkit for their study. A unique focus is placed on edge ideals of d-partite hypergraphs, a particular class of squarefree monomial ideals generated in a single degree d.

The core problem addressed herein is identifying conditions under which the symbolic and regular squares of a d-partite hypergraph's edge ideal coincide. This investigation is pursued through a combinatorial perspective, classifying ideals based on the presence of specific subhypergraphs.

Research findings reveal that the alignment of symbolic and regular squares of edge ideals is intrinsically linked to the containment of particular subhypergraph configurations. This insight extends the understanding of edge ideal behavior, providing a novel perspective on their structural dynamics.

Additionally, this work includes a comprehensive examination of existing criteria for determining when an edge ideal of a d-partite hypergraph demonstrates a linear resolution. This analysis has been distilled into a combinatorial characterization, reliant on the detection of paths within the corresponding hypergraph.

In conclusion, the dissertation not only answers pivotal questions regarding the properties of d-partite hypergraph edge ideals but also enriches the dialogue between algebraic and combinatorial theories. It recommends further exploration into the combinatorial conditions influencing edge ideal properties, potentially unveiling broader implications for the study of monomial ideals and their applications in commutative algebra.
DOI: 10.7274/26195681
title: Some Applications of Formal Mathematics

description: The proof assistant is a powerful tool in formal methods. These programs allow the user to make formal mathematical statements and construct formal proofs. The connections with mathematics and logic provide motivation for a variety of problems. This dissertation applies formal mathematics to a selection of such problems. In Chapter 3 we establish methods to count the number of strong subtrees of height m
 in a binary tree of height n. Chapter 4 adapts notions of largeness defined for sets of natural numbers for use with trees. We examine matrix-weighted graph termination in Chapter 5, isolate two conditions from the termination criterion, and discuss their location in the arithmetic hierarchy. In Chapter 6 we show that the decision sets of problems such as termination have no maximal recursively enumerable subsets, and we discuss the position of the “smallest” non-trivial index sets in the arithmetic hierarchy. Chapter 7 reports on research into the characterization of neural nets and the formal verification of their properties.
DOI: 10.7274/26195681.v1
title: Some Applications of Formal Mathematics

description: The proof assistant is a powerful tool in formal methods. These programs allow the user to make formal mathematical statements and construct formal proofs. The connections with mathematics and logic provide motivation for a variety of problems. This dissertation applies formal mathematics to a selection of such problems. In Chapter 3 we establish methods to count the number of strong subtrees of height m
 in a binary tree of height n. Chapter 4 adapts notions of largeness defined for sets of natural numbers for use with trees. We examine matrix-weighted graph termination in Chapter 5, isolate two conditions from the termination criterion, and discuss their location in the arithmetic hierarchy. In Chapter 6 we show that the decision sets of problems such as termination have no maximal recursively enumerable subsets, and we discuss the position of the “smallest” non-trivial index sets in the arithmetic hierarchy. Chapter 7 reports on research into the characterization of neural nets and the formal verification of their properties.
DOI: 10.15468/dl.fcpwqd
title: Occurrence Download

description: A dataset containing 1413 species occurrences available in GBIF matching the query:
{
 "TaxonKey" : [
 "is Erythrina velutina Willd."
 ]
}

 The dataset includes 1413 records from 147 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0008173-241107131044228/datasets/export for details.
 
Data from some individual datasets included in this download may be licensed under less restrictive terms.
DOI: 10.25810/8cjc-y734
title: FIRED Albania Nov 2000 - July 2024

description: This is event-level polygons for the fire event delineation (FIRED) product for ALBANIA from November 2000  to July 2024. It is derived from the MODIS MCD64A1 burned area product (see https://lpdaac.usgs.gov/products/mcd64a1v061/ for more details). The MCD64A1 is a monthly raster grid of estimated burned dates. Firedpy (https://github.com/earthlab/firedpy) is an algorithm that converts these rasters into events by stacking the entire time series into a spatial-temporal data cube, then uses an algorithm to assign event identification numbers to pixels that fit into the same 3-dimensional spatial temporal window. This particular dataset was created using a spatial parameter of 1 pixels and 5 days. Daily polygons are included and the event identification numbers are the same for both files, but the event-level product has only single polygons for each entire event, while the daily product has separate polygons for each date per event. See the associated paper for more details on the methods and more:

Balch, J.K.; St. Denis, L.A.; Mahood, A.L.; Mietkiewicz, N.P.; Williams, T.M.; McGlinchy, J.; Cook, M.C. FIRED (Fire Events Delineation): An Open, Flexible Algorithm and Database of US Fire Events Derived from the MODIS Burned Area Product (2001–2019). Remote Sens. 2020, 12, 3498. https://doi.org/10.3390/rs12213498
DOI: 10.7274/26231054
title: Cross Effects and Stability

description: We consider a generalization of the cross effects of Eilenberg and MacLane to categories suitable for studying homological and representation stability. Specifically, we consider functors from a category C to the category of pointed topological spaces, where C is the category of natural numbers or the category of finite sets and injections. We construct a spectral sequence computing the homology of our cross effects from the homology of such functors, as well as a spectral sequence reconstructing the homology of the values of the functor from the homology of its cross effects. Finally, we consider these cross effects in the context of the mod 2 homology of the symmetric groups.
DOI: 10.7274/26231054.v1
title: Cross Effects and Stability

description: We consider a generalization of the cross effects of Eilenberg and MacLane to categories suitable for studying homological and representation stability. Specifically, we consider functors from a category C to the category of pointed topological spaces, where C is the category of natural numbers or the category of finite sets and injections. We construct a spectral sequence computing the homology of our cross effects from the homology of such functors, as well as a spectral sequence reconstructing the homology of the values of the functor from the homology of its cross effects. Finally, we consider these cross effects in the context of the mod 2 homology of the symmetric groups.
DOI: 10.7274/26308786
title: Coisotropicity of Fixed Points under Torus Action on the Variety of Lagrangian Subalgebras

description: Let g be a complex semi-simple Lie algebra with adjoint group G. Consider the standard Manin triple structure on the double Lie algebra d:=g+g and the associated variety of Lagrangian subalgebras L(d). In this thesis, we study the variety CL(d) of coisotropic subalgebras of g, which is embedded as a subvariety of L(d). The diagonal maximal torus H_{\Delta} in G\times G acts on L(d) and CL(d). We describe the connected components of the fixed point set L(d)^{H_{\Delta}} using toric varieties, and we compute the irreducible components of the fixed point set CL(d)^{H_{\Delta}}. We provide the first examples of continuous families in CL(d)^{H_{\Delta}}. Our results may be viewed as completing and unifying the earlier works of Zambon, Kroeger and Le.
DOI: 10.7274/26308786.v1
title: Coisotropicity of Fixed Points under Torus Action on the Variety of Lagrangian Subalgebras

description: Let g be a complex semi-simple Lie algebra with adjoint group G. Consider the standard Manin triple structure on the double Lie algebra d:=g+g and the associated variety of Lagrangian subalgebras L(d). In this thesis, we study the variety CL(d) of coisotropic subalgebras of g, which is embedded as a subvariety of L(d). The diagonal maximal torus H_{\Delta} in G\times G acts on L(d) and CL(d). We describe the connected components of the fixed point set L(d)^{H_{\Delta}} using toric varieties, and we compute the irreducible components of the fixed point set CL(d)^{H_{\Delta}}. We provide the first examples of continuous families in CL(d)^{H_{\Delta}}. Our results may be viewed as completing and unifying the earlier works of Zambon, Kroeger and Le.
DOI: 10.15468/dl.ukjxhh
title: Occurrence Download

description: A dataset containing 0 species occurrences available in GBIF matching the query:
{
 "and" : [
 "TaxonKey is Polyommatus icarus (von Rottemburg, 1775)",
 "Year is 52",
 "Country is Netherlands"
 ]
}

 The dataset includes 0 records from 0 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0008174-241107131044228/datasets/export for details.
DOI: 10.6084/m9.figshare.21534840
title: GiudicelliPezzi_etal_data

description: VCF datasets and FASTSIMCOAL models used in Giudicelli et al paper.
DOI: 10.6084/m9.figshare.27633015
title: Epitaxial LaFeO<sub>3</sub>/SrTiO<sub>3</sub> films before and after irradiation

description: Sample Preparation: Thin films of LaFeO<sub>3</sub> (LFO) were epitaxially grown approximately 10-15 nm thick on (001)-oriented SrTiO<sub>3</sub> (STO) by two methods: pulsed laser deposition (PLD) and molecular beam epitaxy (MBE). PLD films were grown in such a way as to incorporate vertical defect domains. Films were irradiated to a damage level of 0.1 displacements per atom (dpa) (3.74×10<sup>13</sup> ions/cm<sup>2</sup>) at nominally room temperature with 2.8 MeV Au<sup>2+</sup> at 3<i>°</i> off normal to minimize channeling effects and a flux of approximately 3.7×10<sup>11</sup> ions/cm<sup>2</sup>/sec. Dose was calculated using the Stopping Range of Ions in Matter (SRIM-2013) Monte Carlo approach to replicate experimental conditions and ensure the Au implantation peak was within the substrate. A mask was used to cover sections of the films during irradiation to maintain pristine portions.STEM/EDS Measurements: Lamellae from each region (0 and 0.1 dpa) from both films (PLD and MBE grown) were extracted by standard focused ion beam (FIB) procedures and examined by scanning transmission electron microscopy (STEM) imaging and energy dispersive X-ray spectroscopy (EDS). Imaging and spectroscopy were conducted on a probe-corrected 300 kV Thermofisher Themis Z with a beam convergence of 18 mrad and a collection angle range of 50 to 200 mrad (for the HAADF detector). A dwell time of 2 μs was used to collect spectra in 512×512 arrays for EDS mapping, resulting in pixel sizes between 35-71 pm.
DOI: 10.15468/dl.vzcpg3
title: Occurrence Download

description: A dataset containing 6547 species occurrences available in GBIF matching the query:
{
 "and" : [
 "TaxonKey is one of (Acacia caven (Molina) Molina, Aextoxicon punctatum Ruiz & Pav., Amomyrtus luma (Molina) D.Legrand & Kausel, Amomyrtus meli (Phil.) D.Legrand & Kausel, Araucaria araucana (Molina) K.Koch, Aristotelia chilensis (Molina) Stuntz, Austrocedrus chilensis (D.Don) Pic.Serm. & Bizzarri, Azara integrifolia Ruiz & Pav., Azara lanceolata Hook.fil., Azara microphylla Hook.fil.)",
 "HasGeospatialIssue is false",
 "HasCoordinate is true",
 "OccurrenceStatus is Present",
 "Year is greater than or equal to 1950",
 {
 "or" : [
 "CoordinateUncertaintyInMeters is less than 1000",
 "CoordinateUncertaintyInMeters is null"
 ]
 }
 ]
}

 The dataset includes 6547 records from 127 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0008175-241107131044228/datasets/export for details.
 
Data from some individual datasets included in this download may be licensed under less restrictive terms.
DOI: 10.15468/dl.7v9jam
title: Occurrence Download

description: A dataset containing 0 species occurrences available in GBIF matching the query:
{
 "and" : [
 "TaxonKey is Pelophylax esculentus (Linnaeus, 1758)",
 "Year is 52",
 "Country is Netherlands"
 ]
}

 The dataset includes 0 records from 0 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0008176-241107131044228/datasets/export for details.
DOI: 10.7274/25527778
title: You Sound Like a Wif: The Representation of Women's Speech in Old English Literature

description: This dissertation examines the representation of women’s speech in Pre-Conquest vernacular literature to determine whether early English authors saw speech and gender as inherently connected, either through physical embodiment or performative traits. More specifically, it asks, given the limited extant sources, contemporary perspectives of gender, language, written culture, and current methodological difficulties, can we detect any patterns in the representation of women’s speech across early English vernacular literature? The dissertation employs an innovative combination of traditional literary analysis, translation analysis, computational linguistics, Critical Discourse Analysis, theology, gender performance theory, and social history to holistically examine every instance of women’s direct speech in all vernacular literature – including prose hagiography, narrative poetry, martyrologies, and secular romance – in its early English context. Through this interdisciplinary method, the dissertation determines that although there are moments in which the gender of the speaker clearly impacts the representation of their speech, these moments are neither consistent nor universal across all pre-Conquest vernacular literature. In all modes of speech, whether prayer or exorcism, there is far more which unites the speech of men and women than divides. Nevertheless, there are exceptions. The most notable of these exceptions is found in Ælfric of Eynsham, who subtly reworks the speech of “evil” women in his "Lives of Saints" to emphasize that not only are these women wicked, but that the evidence of their wickedness is found primarily in their manner of speech. This is consistent with the abbot’s theological and homiletic writings, which uniquely warn against the words of the "oferspræce" (“loquacious”) woman but praise the silence of good women. Furthermore, although Ælfric’s translation practices and homiletic warnings may be exclusive to him, his influence – particularly in twelfth-century vernacular homilies – cannot be ignored. Overall, however, there is little evidence to suggest that Ælfric is representative of all early England, at least when it comes to biases against women’s speech. The corpus of early English literature and discourse resists easy generalizations, whether due to limited extant data or lack of consistency, and this complexity suggests that the representation of women’s speech as inherently immoral was not a universal bias in early medieval England, as it would later become.
DOI: 10.7274/25527778.v1
title: You Sound Like a Wif: The Representation of Women's Speech in Old English Literature

description: This dissertation examines the representation of women’s speech in Pre-Conquest vernacular literature to determine whether early English authors saw speech and gender as inherently connected, either through physical embodiment or performative traits. More specifically, it asks, given the limited extant sources, contemporary perspectives of gender, language, written culture, and current methodological difficulties, can we detect any patterns in the representation of women’s speech across early English vernacular literature? The dissertation employs an innovative combination of traditional literary analysis, translation analysis, computational linguistics, Critical Discourse Analysis, theology, gender performance theory, and social history to holistically examine every instance of women’s direct speech in all vernacular literature – including prose hagiography, narrative poetry, martyrologies, and secular romance – in its early English context. Through this interdisciplinary method, the dissertation determines that although there are moments in which the gender of the speaker clearly impacts the representation of their speech, these moments are neither consistent nor universal across all pre-Conquest vernacular literature. In all modes of speech, whether prayer or exorcism, there is far more which unites the speech of men and women than divides. Nevertheless, there are exceptions. The most notable of these exceptions is found in Ælfric of Eynsham, who subtly reworks the speech of “evil” women in his "Lives of Saints" to emphasize that not only are these women wicked, but that the evidence of their wickedness is found primarily in their manner of speech. This is consistent with the abbot’s theological and homiletic writings, which uniquely warn against the words of the "oferspræce" (“loquacious”) woman but praise the silence of good women. Furthermore, although Ælfric’s translation practices and homiletic warnings may be exclusive to him, his influence – particularly in twelfth-century vernacular homilies – cannot be ignored. Overall, however, there is little evidence to suggest that Ælfric is representative of all early England, at least when it comes to biases against women’s speech. The corpus of early English literature and discourse resists easy generalizations, whether due to limited extant data or lack of consistency, and this complexity suggests that the representation of women’s speech as inherently immoral was not a universal bias in early medieval England, as it would later become.