cometadata/datacite-titles-descriptions-related-identifiers huggingface dataset:
DOI: 10.15468/dl.6mpb9c
title: Occurrence Download

description: A dataset containing 2 species occurrences available in GBIF matching the query:
{
 "and" : [
 "TaxonKey is one of (Pimelodus joannis)",
 "BasisOfRecord is one of (Specimen, Literature Occurrence, Human Observation, Observation)",
 "HasCoordinate is true",
 "HasGeospatialIssue is false",
 "Year is greater than or equal to 1991",
 "Year is less than or equal to 2025"
 ]
}

 The dataset includes 2 records from 1 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0014501-250827131500795/datasets/export for details.
 
Data from some individual datasets included in this download may be licensed under less restrictive terms.
DOI: 10.15468/dl.yt58kv
title: Occurrence Download

description: A dataset containing 880 species occurrences available in GBIF matching the query:
{
 "and" : [
 "Country is Senegal",
 "TaxonKey is Culicidae"
 ]
}

 The dataset includes 880 records from 17 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0014502-250827131500795/datasets/export for details.
 
Data from some individual datasets included in this download may be licensed under less restrictive terms.
DOI: 10.15468/dl.47zq5j
title: Occurrence Download

description: A dataset containing 257 species occurrences available in GBIF matching the query:
{
 "TaxonKey" : [
 "is Polygonum sinomontanum"
 ]
}

 The dataset includes 257 records from 14 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0014503-250827131500795/datasets/export for details.
 
Data from some individual datasets included in this download may be licensed under less restrictive terms.
DOI: 10.15468/dl.4zdbpg
title: Occurrence Download

description: A dataset containing 1105 species occurrences available in GBIF matching the query:
{
 "and" : [
 "Country is one of (Senegal, Gambia)",
 "TaxonKey is Culicidae"
 ]
}

 The dataset includes 1105 records from 20 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0014504-250827131500795/datasets/export for details.
 
Data from some individual datasets included in this download may be licensed under less restrictive terms.
DOI: 10.15468/dl.9hj47h
title: Occurrence Download

description: A dataset containing 3 species occurrences available in GBIF matching the query:
{
 "and" : [
 "TaxonKey is one of (Otopharynx tetrastigma)",
 "BasisOfRecord is one of (Specimen, Literature Occurrence, Human Observation, Observation)",
 "HasCoordinate is true",
 "HasGeospatialIssue is false",
 "Year is greater than or equal to 1991",
 "Year is less than or equal to 2025"
 ]
}

 The dataset includes 3 records from 1 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0014505-250827131500795/datasets/export for details.
 
Data from some individual datasets included in this download may be licensed under less restrictive terms.
DOI: 10.15468/dl.r5qf7j
title: Occurrence Download

description: A dataset containing 24 species occurrences available in GBIF matching the query:
{
 "TaxonKey" : [
 "is Gnaphalium affine"
 ]
}

 The dataset includes 24 records from 9 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0014506-250827131500795/datasets/export for details.
 
Data from some individual datasets included in this download may be licensed under less restrictive terms.
DOI: 10.15468/dl.tzc5p2
title: Occurrence Download

description: A dataset containing 1804 species occurrences available in GBIF matching the query:
{
 "TaxonKey" : [
 "is Diaphorina citri"
 ]
}

 The dataset includes 1804 records from 23 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0014507-250827131500795/datasets/export for details.
 
Data from some individual datasets included in this download may be licensed under less restrictive terms.
DOI: 10.15468/dl.qs4wkf
title: Occurrence Download

description: A dataset containing 99 species occurrences available in GBIF matching the query:
{
 "TaxonKey" : [
 "is Laphangium affine"
 ]
}

 The dataset includes 99 records from 4 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0014508-250827131500795/datasets/export for details.
 
Data from some individual datasets included in this download may be licensed under less restrictive terms.
DOI: 10.5281/zenodo.17014459
title: Agentic AI and the carbon footprint of everyday activities

description: Our lives and interactions with the external world are being transformed by artificial intelligence (AI). The increasing role of artificial intelligence (AI) in decision-making has prompted discussions about individuals' perceptions of AI in terms of agency and control. This study examines individuals' willingness to delegate decision-making about carbon-intensive behaviours to an agentic AI system, and how the satisfaction of basic psychological needs influences its acceptance. ‘Agentic AI’ is defined as “an autonomous system that can make decisions and execute tasks without human intervention”.

If individuals are willing to delegate decisions to agentic AI, especially in high AI-agency conditions, AI could optimise resource consumption by making data-driven, low-carbon choices. ‘High AI-agency conditions’ are defined as “full delegation of decision making and task execution to an autonomous AI system”. ‘Low AI-agency conditions’ are those in which users retain decision making functions, informed by AI recommendations.

Self-determination theory (SDT) is a macro theory of motivation. It explores the conditions under which people feel motivated and engaged to perform a task successfully (Ryan & Deci, 2000). SDT identifies three basic psychological needs - competence, relatedness, autonomy - that, if satisfied, allow personal growth, enjoyment of effort, and overall well-being. In SDT, competence refers to an individual’s perception of their ability to perform a task effectively and achieve a desired outcome, relatedness refers to a person’s experience with caring for and connecting with other people, and autonomy refers to a person’s experience with free decision-making power over their own actions(Bergdahl et al., 2023). 

This dataset was created to explore how SDT constructs influence attitudes and intentions to use agentic AI systems to delegate energy-related decisions and how environmental concerns and AI literacy interact in the acceptance of agentic AI.
DOI: 10.5281/zenodo.17014458
title: Agentic AI and the carbon footprint of everyday activities

description: Our lives and interactions with the external world are being transformed by artificial intelligence (AI). The increasing role of artificial intelligence (AI) in decision-making has prompted discussions about individuals' perceptions of AI in terms of agency and control. This study examines individuals' willingness to delegate decision-making about carbon-intensive behaviours to an agentic AI system, and how the satisfaction of basic psychological needs influences its acceptance. ‘Agentic AI’ is defined as “an autonomous system that can make decisions and execute tasks without human intervention”.

If individuals are willing to delegate decisions to agentic AI, especially in high AI-agency conditions, AI could optimise resource consumption by making data-driven, low-carbon choices. ‘High AI-agency conditions’ are defined as “full delegation of decision making and task execution to an autonomous AI system”. ‘Low AI-agency conditions’ are those in which users retain decision making functions, informed by AI recommendations.

Self-determination theory (SDT) is a macro theory of motivation. It explores the conditions under which people feel motivated and engaged to perform a task successfully (Ryan & Deci, 2000). SDT identifies three basic psychological needs - competence, relatedness, autonomy - that, if satisfied, allow personal growth, enjoyment of effort, and overall well-being. In SDT, competence refers to an individual’s perception of their ability to perform a task effectively and achieve a desired outcome, relatedness refers to a person’s experience with caring for and connecting with other people, and autonomy refers to a person’s experience with free decision-making power over their own actions(Bergdahl et al., 2023). 

This dataset was created to explore how SDT constructs influence attitudes and intentions to use agentic AI systems to delegate energy-related decisions and how environmental concerns and AI literacy interact in the acceptance of agentic AI.
DOI: 10.15468/dl.a3snjg
title: Occurrence Download

description: A dataset containing 111 species occurrences available in GBIF matching the query:
{
 "and" : [
 "TaxonKey is one of (Mugilogobius mertoni)",
 "BasisOfRecord is one of (Specimen, Literature Occurrence, Human Observation, Observation)",
 "HasCoordinate is true",
 "HasGeospatialIssue is false",
 "Year is greater than or equal to 1991",
 "Year is less than or equal to 2025"
 ]
}

 The dataset includes 111 records from 11 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0014509-250827131500795/datasets/export for details.
 
Data from some individual datasets included in this download may be licensed under less restrictive terms.
DOI: 10.15468/dl.q9fmys
title: Occurrence Download

description: A dataset containing 3233 species occurrences available in GBIF matching the query:
{
 "and" : [
 "BasisOfRecord is Specimen",
 "TaxonKey is Lithobates palmipes"
 ]
}

 The dataset includes 3233 records from 72 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0014510-250827131500795/datasets/export for details.
 
Data from some individual datasets included in this download may be licensed under less restrictive terms.
DOI: 10.15468/dl.45jpsc
title: Occurrence Download

description: A dataset containing 71 species occurrences available in GBIF matching the query:
{
 "TaxonKey" : [
 "is Gamochaeta malvinensis"
 ]
}

 The dataset includes 71 records from 17 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0014511-250827131500795/datasets/export for details.
 
Data from some individual datasets included in this download may be licensed under less restrictive terms.
DOI: 10.23719/1532477
title: 2024 Grand Lake St. Marys qPCR data for microcystin producers

description: This data set includes qPCR data for the microcystin producing planktothrix (mcyApla) gene and the microcystin producing cyanobacteria (Hep) gene for samples collected from Grand Lake St. Marys and downstream waterways in 2024.
DOI: 10.15468/dl.xdf87t
title: Occurrence Download

description: A dataset containing 436 species occurrences available in GBIF matching the query:
{
 "and" : [
 "TaxonKey is one of (Biotodoma wavrini)",
 "BasisOfRecord is one of (Specimen, Literature Occurrence, Human Observation, Observation)",
 "HasCoordinate is true",
 "HasGeospatialIssue is false",
 "Year is greater than or equal to 1991",
 "Year is less than or equal to 2025"
 ]
}

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

description: A dataset containing 0 species occurrences available in GBIF matching the query:
{
 "TaxonKey" : [
 "is Astragalus pullus"
 ]
}

 The dataset includes 0 records from 0 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0014513-250827131500795/datasets/export for details.
DOI: 10.5281/zenodo.17014494
title: The Hodge Conjecture via Vacuum Lattice Harmonic Decomposition: A Global Operator-Theoretic Proof

description: We present a proof of the Hodge Conjecture within the operator-theoretic Vacuum Lattice Harmonic (VLH) framework, a spectral formalism unifying conservation and dissipation through orthogonal band decomposition of energy operators. The approach recasts the Hodge problem into an orthogonal spectral rigidity theorem, where algebraic cycles correspond to invariant critical-band subspaces under the VLH recursion map.

 

Specifically, we construct a positive self-adjoint VLH energy operator \mathsf H on L^2-cohomology classes of a smooth projective variety, with decomposition H = B \oplus B^\perp induced by the spectral measure of a normal operator \mathsf L. Conservation of energy on the critical band B is shown to encode precisely the rational Hodge classes, while exponential dissipation on B^\perp eliminates spurious classes. A unitary anti-involution J establishes meta-symmetry between conservation and dissipation, enforcing rigidity of the decomposition and guaranteeing that every rational Hodge class arises from an algebraic cycle.

 

The proof leverages recursive contractivity, Galerkin stability, and spectral reciprocity within VLH to control nonlinear flows and enforce algebraicity globally. Perturbation stability is established via Kato theory, ensuring robustness under symmetric deformations.

 

This establishes the Hodge Conjecture as a corollary of orthogonal first-law rigidity in VLH, placing VLH alongside E=mc^2 as a unifying principle of mathematical physics: conservation/dissipation duality on recursive harmonic lattices corresponds to algebraicity/non-algebraicity in Hodge theory.

 

Keywords: Hodge Conjecture, Vacuum Lattice Harmonics (VLH), orthogonal spectral decomposition, algebraic cycles, operator theory, spectral reciprocity, global regularity, orthogonal rigidity, Kato perturbation, Clay Millennium Problem.
DOI: 10.5281/zenodo.17014495
title: The Hodge Conjecture via Vacuum Lattice Harmonic Decomposition: A Global Operator-Theoretic Proof

description: We present a proof of the Hodge Conjecture within the operator-theoretic Vacuum Lattice Harmonic (VLH) framework, a spectral formalism unifying conservation and dissipation through orthogonal band decomposition of energy operators. The approach recasts the Hodge problem into an orthogonal spectral rigidity theorem, where algebraic cycles correspond to invariant critical-band subspaces under the VLH recursion map.

 

Specifically, we construct a positive self-adjoint VLH energy operator \mathsf H on L^2-cohomology classes of a smooth projective variety, with decomposition H = B \oplus B^\perp induced by the spectral measure of a normal operator \mathsf L. Conservation of energy on the critical band B is shown to encode precisely the rational Hodge classes, while exponential dissipation on B^\perp eliminates spurious classes. A unitary anti-involution J establishes meta-symmetry between conservation and dissipation, enforcing rigidity of the decomposition and guaranteeing that every rational Hodge class arises from an algebraic cycle.

 

The proof leverages recursive contractivity, Galerkin stability, and spectral reciprocity within VLH to control nonlinear flows and enforce algebraicity globally. Perturbation stability is established via Kato theory, ensuring robustness under symmetric deformations.

 

This establishes the Hodge Conjecture as a corollary of orthogonal first-law rigidity in VLH, placing VLH alongside E=mc^2 as a unifying principle of mathematical physics: conservation/dissipation duality on recursive harmonic lattices corresponds to algebraicity/non-algebraicity in Hodge theory.

 

Keywords: Hodge Conjecture, Vacuum Lattice Harmonics (VLH), orthogonal spectral decomposition, algebraic cycles, operator theory, spectral reciprocity, global regularity, orthogonal rigidity, Kato perturbation, Clay Millennium Problem.
DOI: 10.15468/dl.js8peq
title: Occurrence Download

description: A dataset containing 36 species occurrences available in GBIF matching the query:
{
 "and" : [
 "TaxonKey is one of (Leuciscus waleckii)",
 "BasisOfRecord is one of (Specimen, Literature Occurrence, Human Observation, Observation)",
 "HasCoordinate is true",
 "HasGeospatialIssue is false",
 "Year is greater than or equal to 1991",
 "Year is less than or equal to 2025"
 ]
}

 The dataset includes 36 records from 8 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0014517-250827131500795/datasets/export for details.
 
Data from some individual datasets included in this download may be licensed under less restrictive terms.
DOI: 10.15468/dl.24dr8e
title: Occurrence Download

description: A dataset containing 413 species occurrences available in GBIF matching the query:
{
 "TaxonKey" : [
 "is Aster yunnanensis"
 ]
}

 The dataset includes 413 records from 25 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0014516-250827131500795/datasets/export for details.
 
Data from some individual datasets included in this download may be licensed under less restrictive terms.
DOI: 10.15468/dl.rrvw6b
title: Occurrence Download

description: A dataset containing 3463 species occurrences available in GBIF matching the query:
{
 "and" : [
 "TaxonKey is one of (Fundulus parvipinnis)",
 "BasisOfRecord is one of (Specimen, Literature Occurrence, Human Observation, Observation)",
 "HasCoordinate is true",
 "HasGeospatialIssue is false",
 "Year is greater than or equal to 1991",
 "Year is less than or equal to 2025"
 ]
}

 The dataset includes 3463 records from 10 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0014519-250827131500795/datasets/export for details.
 
Data from some individual datasets included in this download may be licensed under less restrictive terms.
DOI: 10.15468/dl.dawz72
title: Occurrence Download

description: A dataset containing 723 species occurrences available in GBIF matching the query:
{
 "TaxonKey" : [
 "is Pterocephalus hookeri"
 ]
}

 The dataset includes 723 records from 18 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0014518-250827131500795/datasets/export for details.
 
Data from some individual datasets included in this download may be licensed under less restrictive terms.
DOI: 10.15468/dl.hcn7us
title: Occurrence Download

description: A dataset containing 908 species occurrences available in GBIF matching the query:
{
 "TaxonKey" : [
 "is Hyptis radicans"
 ]
}

 The dataset includes 908 records from 108 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0014520-250827131500795/datasets/export for details.
 
Data from some individual datasets included in this download may be licensed under less restrictive terms.
DOI: 10.15468/dl.rbhbth
title: Occurrence Download

description: A dataset containing 0 species occurrences available in GBIF matching the query:
{
 "and" : [
 "TaxonKey is one of (Simpsonichthys boitonei)",
 "BasisOfRecord is one of (Specimen, Literature Occurrence, Human Observation, Observation)",
 "HasCoordinate is true",
 "HasGeospatialIssue is false",
 "Year is greater than or equal to 1991",
 "Year is less than or equal to 2025"
 ]
}

 The dataset includes 0 records from 0 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0014521-250827131500795/datasets/export for details.
DOI: 10.5281/zenodo.17014420
title: P ≠ NP | Orthogonal Rigidity in the Vacuum Lattice Harmonic Framework: A Spectral Operator Proof that P ≠ NP

description:  

We establish a rigorous operator-theoretic separation of complexity classes P and NP by embedding computational dynamics into the Vacuum Lattice Harmonic (VLH) framework. The method introduces an orthogonal spectral decomposition of recursive operators on Hilbert spaces, where deterministic polynomial-time computations (P) remain confined to a conservative critical band with skew-adjoint flow preserving energy, while nondeterministic computations (NP) necessarily excite dissipative off-band modes subject to exponential energy decay. By formalizing computation as a bounded recursive map \mathcal R on a spectral lattice, we derive an Orthogonal Rigidity Theorem: no unitary–isometric recursion exists that maps NP into P without violating the First Law of Thermodynamics expressed in operator form.

 

The proof leverages: (i) spectral theory of the Stokes and Schrödinger-type operators; (ii) energy-conservation analogues from dissipative PDE frameworks; (iii) recursive contractivity bounds derived via Beale–Kato–Majda–type criteria; and (iv) meta-symmetry dualities from the VLH formalism. This yields a constructive complexity separation: deterministic problems admit recursive stability under conservation, whereas NP search problems force coupling into dissipative directions, precluding collapse.

 

The VLH framework thus generalizes known PDE and operator techniques (Kato 1995; Reed–Simon 1972–1978; Evans 2010) into computational complexity, resolving the Clay Millennium Problem on P \neq NP via a physical–mathematical rigidity principle.

 

Keywords: P vs NP, Vacuum Lattice Harmonic, spectral decomposition, operator rigidity, orthogonal duality, recursive maps, computational complexity, Clay Millennium Problems.
DOI: 10.5281/zenodo.17014421
title: P ≠ NP | Orthogonal Rigidity in the Vacuum Lattice Harmonic Framework: A Spectral Operator Proof that P ≠ NP

description:  

We establish a rigorous operator-theoretic separation of complexity classes P and NP by embedding computational dynamics into the Vacuum Lattice Harmonic (VLH) framework. The method introduces an orthogonal spectral decomposition of recursive operators on Hilbert spaces, where deterministic polynomial-time computations (P) remain confined to a conservative critical band with skew-adjoint flow preserving energy, while nondeterministic computations (NP) necessarily excite dissipative off-band modes subject to exponential energy decay. By formalizing computation as a bounded recursive map \mathcal R on a spectral lattice, we derive an Orthogonal Rigidity Theorem: no unitary–isometric recursion exists that maps NP into P without violating the First Law of Thermodynamics expressed in operator form.

 

The proof leverages: (i) spectral theory of the Stokes and Schrödinger-type operators; (ii) energy-conservation analogues from dissipative PDE frameworks; (iii) recursive contractivity bounds derived via Beale–Kato–Majda–type criteria; and (iv) meta-symmetry dualities from the VLH formalism. This yields a constructive complexity separation: deterministic problems admit recursive stability under conservation, whereas NP search problems force coupling into dissipative directions, precluding collapse.

 

The VLH framework thus generalizes known PDE and operator techniques (Kato 1995; Reed–Simon 1972–1978; Evans 2010) into computational complexity, resolving the Clay Millennium Problem on P \neq NP via a physical–mathematical rigidity principle.

 

Keywords: P vs NP, Vacuum Lattice Harmonic, spectral decomposition, operator rigidity, orthogonal duality, recursive maps, computational complexity, Clay Millennium Problems.
DOI: 10.15468/dl.6c2bfx
title: Occurrence Download

description: A dataset containing 95 species occurrences available in GBIF matching the query:
{
 "and" : [
 "Country is Costa Rica",
 "TaxonKey is Mucuna monticola"
 ]
}

 The dataset includes 95 records from 8 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0014522-250827131500795/datasets/export for details.
 
Data from some individual datasets included in this download may be licensed under less restrictive terms.