cometadata/datacite-titles-descriptions-related-identifiers huggingface dataset:
DOI: 10.5281/zenodo.14609934
title: MultiLinG - Extracting Linear Relations from Gröbner Bases for Formal Verification of And-Inverter Graphs (Artifact)

description: MultiLinG is a formal verification tool implemented in C++ designed for efficiently verifying And-Inverter Graphs (AIGs). It leverages algebraic techniques by encoding the circuit as a set of polynomial equations and computing Gröbner bases to extract linear relations that facilitate correctness verification. Unlike traditional approaches that focus on rewriting the specification polynomial, MultiLinG shifts the computational effort towards manipulating the Gröbner basis itself. By employing degree-based term orderings and local Gröbner basis computations using the computer algebra library msolve, MultiLinG minimizes intermediate complexity and enhances scalability when handling large, complex circuits. MultiLinG demonstrates its practical effectiveness through formal verification of arithmetic circuits, particularly multipliers.
DOI: 10.5281/zenodo.14610365
title: MultiLinG - Extracting Linear Relations from Gröbner Bases for Formal Verification of And-Inverter Graphs (Artifact)

description: MultiLinG is a formal verification tool implemented in C++ designed for efficiently verifying And-Inverter Graphs (AIGs). It leverages algebraic techniques by encoding the circuit as a set of polynomial equations and computing Gröbner bases to extract linear relations that facilitate correctness verification. Unlike traditional approaches that focus on rewriting the specification polynomial, MultiLinG shifts the computational effort towards manipulating the Gröbner basis itself. By employing degree-based term orderings and local Gröbner basis computations using the computer algebra library msolve, MultiLinG minimizes intermediate complexity and enhances scalability when handling large, complex circuits. MultiLinG demonstrates its practical effectiveness through formal verification of arithmetic circuits, particularly multipliers.
DOI: 10.5281/zenodo.14546766
title: Advanced energy management for residential buildings optimizing costs and efficiency
title: Dataset for the associated publication

description: Basic dataset for the associated publication
DOI: 10.5281/zenodo.14590013
title: Advanced energy management for residential buildings optimizing costs and efficiency
title: Dataset for the associated publication

description: Basic dataset for the associated publication
DOI: 10.5281/zenodo.14546765
title: Advanced energy management for residential buildings optimizing costs and efficiency
title: Dataset for the associated publication

description: Basic dataset for the associated publication
DOI: 10.5281/zenodo.14610350
title: Advanced energy management for residential buildings optimizing costs and efficiency
title: Dataset for the associated publication

description: Basic dataset for the associated publication
DOI: 10.6084/m9.figshare.28152686
title: Transcriptomic changes induced by naringenin treatment in MCF-7 breast cancer cells

description: Supplementary Data 1: Genes differentially expressed in MCF-7 cells treated with naringenin compared to vehicle control - differences in gene expression values were determined by DEseq2 algorithms and provided as log2(fold change) valuesSupplementary Data 2: Signaling pathways altered by naringenin treatment, using Enrichr Pathways and the MSigDB Hallmark gene set
DOI: 10.6084/m9.figshare.28152686.v2
title: Transcriptomic changes induced by naringenin treatment in MCF-7 breast cancer cells

description: Supplementary Data 1: Genes differentially expressed in MCF-7 cells treated with naringenin compared to vehicle control - differences in gene expression values were determined by DEseq2 algorithms and provided as log2(fold change) valuesSupplementary Data 2: Signaling pathways altered by naringenin treatment, using Enrichr Pathways and the MSigDB Hallmark gene set
DOI: 10.60656/9b9cbeee5d6a447a
title: Custom collection of categorize data from Bucharest, Cabauw, Chilbolton, Granada, Hyytiälä, and 10 other sites between 1 Jan and 31 Dec 2021
DOI: 10.15468/dl.jhpnxw
title: Occurrence Download

description: A dataset containing 35 species occurrences available in GBIF matching the query:
{
 "TaxonKey" : [
 "is Gypsophila tschiliensis J.Krause"
 ]
}

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

description: A dataset containing 87 species occurrences available in GBIF matching the query:
{
 "TaxonKey" : [
 "is Myrceugenia parvifolia (DC.) Kausel"
 ]
}

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

description: A dataset containing 9682 species occurrences available in GBIF matching the query:
{
 "and" : [
 "OccurrenceStatus is Present",
 "TaxonKey is Antrozous pallidus (LeConte, 1856)"
 ]
}

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

description: A dataset containing 81 species occurrences available in GBIF matching the query:
{
 "and" : [
 "TaxonKey is Phycothais botanica (Hedley, 1918)",
 "HasGeospatialIssue is false",
 "HasCoordinate is true",
 {
 "not" : {
 "BasisOfRecord" : [
 "is Fossil"
 ]
 }
 },
 {
 "or" : [
 {
 "not" : {
 "EstablishmentMeans" : [
 "is MANAGED"
 ]
 }
 },
 {
 "not" : {
 "EstablishmentMeans" : [
 "is not null"
 ]
 }
 }
 ]
 },
 {
 "or" : [
 "OccurrenceStatus is Present",
 {
 "not" : {
 "OccurrenceStatus" : [
 "is not null"
 ]
 }
 }
 ]
 }
 ]
}

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

description: A dataset containing 73 species occurrences available in GBIF matching the query:
{
 "and" : [
 "Continent is North America",
 "OccurrenceStatus is Present",
 "TaxonKey is Liquidambar formosana Hance"
 ]
}

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

description: A dataset containing 105 species occurrences available in GBIF matching the query:
{
 "TaxonKey" : [
 "is Taraxacum eriopodum (D.Don) DC."
 ]
}

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

description: A dataset containing 42 species occurrences available in GBIF matching the query:
{
 "TaxonKey" : [
 "is Callicarpa lingii Merr."
 ]
}

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

description: A dataset containing 54 species occurrences available in GBIF matching the query:
{
 "TaxonKey" : [
 "is Geranium kariense R.Knuth"
 ]
}

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

description: A dataset containing 1 species occurrences available in GBIF matching the query:
{
 "TaxonKey" : [
 "is Callicarpa longibracteata C.H.Chang"
 ]
}

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

description: A dataset containing 27 species occurrences available in GBIF matching the query:
{
 "TaxonKey" : [
 "is Heliconia umbrophila G.S.Daniels & F.G.Stiles"
 ]
}

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

description: A dataset containing 3866 species occurrences available in GBIF matching the query:
{
 "and" : [
 {
 "and" : [
 "HasGeospatialIssue is false",
 "HasCoordinate is true",
 "OccurrenceStatus is Present",
 {
 "not" : {
 "BasisOfRecord" : [
 "is one of (Fossil, Living Specimen)"
 ]
 }
 }
 ]
 },
 "TaxonKey is Rhynchonycteris naso (Wied-Neuwied, 1820)"
 ]
}

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

description: A dataset containing 284 species occurrences available in GBIF matching the query:
{
 "and" : [
 "TaxonKey is Salvator merianae Duméril & Bibron, 1839",
 "HasCoordinate is true",
 "HasGeospatialIssue is false"
 ]
}

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

description: A dataset containing 1 species occurrences available in GBIF matching the query:
{
 "and" : [
 "Country is China",
 "OccurrenceStatus is Present",
 "TaxonKey is Pleuropterus multiflorus"
 ]
}

 The dataset includes 1 records from 1 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0051902-251120083545085/datasets/export for details.
 
Data from some individual datasets included in this download may be licensed under less restrictive terms.
DOI: 10.6084/m9.figshare.30879272
title: Genome-wide methylation data derived from ONT DDS.

description: Genome-wide methylation data derived from ONT DDS. This is a supplementary data for "<b>Nanopore sequencing and multiomics reveal predictable non-coding RNA activation in DNA methylation deficient </b><b><i>Arabidopsis thaliana</i></b>" in <i>Communications Biology </i>(under review).
DOI: 10.6084/m9.figshare.30879272.v1
title: Genome-wide methylation data derived from ONT DDS.

description: Genome-wide methylation data derived from ONT DDS. This is a supplementary data for "<b>Nanopore sequencing and multiomics reveal predictable non-coding RNA activation in DNA methylation deficient </b><b><i>Arabidopsis thaliana</i></b>" in <i>Communications Biology </i>(under review).
DOI: 10.6084/m9.figshare.30879272.v2
title: Genome-wide methylation data derived from ONT DDS.

description: Genome-wide methylation data derived from ONT DDS. This is a supplementary data for "<b>Nanopore sequencing and multiomics reveal predictable non-coding RNA activation in DNA methylation deficient </b><b><i>Arabidopsis thaliana</i></b>" in <i>Communications Biology </i>(under review).
DOI: 10.13140/rg.2.2.33644.01924
title: YAM-II poster.zip
DOI: 10.15468/dl.sgtkyf
title: Occurrence Download

description: A dataset containing 2248 species occurrences available in GBIF matching the query:
{
 "TaxonKey" : [
 "is Gaura parviflora"
 ]
}

 The dataset includes 2248 records from 146 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0051903-251120083545085/datasets/export for details.
 
Data from some individual datasets included in this download may be licensed under less restrictive terms.
DOI: 10.21227/v5da-tz58
title: "MSPaDet(\u6570\u636e\u96c6\u8bad\u7ec3\u65e5\u5fd7)"

description: "\u8bad\u7ec3\u65e5\u5fd7"
DOI: 10.15468/dl.k4wuh9
title: Occurrence Download

description: A dataset containing 22 species occurrences available in GBIF matching the query:
{
 "and" : [
 "Country is China",
 "HasCoordinate is true",
 "HasGeospatialIssue is false",
 "TaxonKey is Axis porcinus"
 ]
}

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

description: A dataset containing 9425 species occurrences available in GBIF matching the query:
{
 "TaxonKey" : [
 "is Spermacoce remota"
 ]
}

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

description: A dataset containing 4 species occurrences available in GBIF matching the query:
{
 "and" : [
 "Country is China",
 "OccurrenceStatus is Present",
 "TaxonKey is Fallopia multiflora hypoleuca"
 ]
}

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

description: A dataset containing 7490 species occurrences available in GBIF matching the query:
{
 "TaxonKey" : [
 "is Cestrum nocturnum"
 ]
}

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

description: A dataset containing 113 species occurrences available in GBIF matching the query:
{
 "and" : [
 "Country is China",
 "HasCoordinate is true",
 "HasGeospatialIssue is false",
 "TaxonKey is Elaphodus cephalophus"
 ]
}

 The dataset includes 113 records from 12 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0051909-251120083545085/datasets/export for details.
 
Data from some individual datasets included in this download may be licensed under less restrictive terms.
DOI: 10.34740/kaggle/dsv/14149045
title: Peer-to-Peer Boliviano (BOB) Exchange Data
DOI: 10.13140/rg.2.2.18544.52485
title: HO STEPS Analysis of PERS004-2S5 304 1 14 Real World Data by the Persian Curve (PC) HO STEP 07 PERSIAN QUANTILE COMPLETE
DOI: 10.15468/dl.92qd9w
title: Occurrence Download

description: A dataset containing 5527 species occurrences available in GBIF matching the query:
{
 "TaxonKey" : [
 "is Datura metel"
 ]
}

 The dataset includes 5527 records from 329 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0051910-251120083545085/datasets/export for details.
 
Data from some individual datasets included in this download may be licensed under less restrictive terms.
DOI: 10.13140/rg.2.2.31966.29767
title: RRR-P008-GHESAH PERSIAN CURVE CONSTRUCTION-STATE FUNCTIONS RRR-EP007-2 STATE FUNCTIONS
DOI: 10.15468/dl.2t26ed
title: Occurrence Download

description: A dataset containing 244 species occurrences available in GBIF matching the query:
{
 "and" : [
 "Country is China",
 "OccurrenceStatus is Present",
 "TaxonKey is one of (Polygonum multiflorum, Polygonum multiflorum angulatum)",
 "Year 1980-2025"
 ]
}

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

description: A dataset containing 2 species occurrences available in GBIF matching the query:
{
 "and" : [
 "Country is China",
 "HasCoordinate is true",
 "HasGeospatialIssue is false",
 "TaxonKey is Bos gaurus"
 ]
}

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

description: A dataset containing 45463 species occurrences available in GBIF matching the query:
{
 "TaxonKey" : [
 "is Nicandra physalodes"
 ]
}

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

description: A dataset containing 15942 species occurrences available in GBIF matching the query:
{
 "and" : [
 "TaxonKey is Amelanchier spicata (Lam.) K.Koch",
 "HasCoordinate is true",
 "Year is greater than or equal to 1900",
 "BasisOfRecord is one of (Human Observation, Specimen, Unknown evidence)"
 ]
}

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

description: A dataset containing 2011 species occurrences available in GBIF matching the query:
{
 "TaxonKey" : [
 "is Amietia angolensis (Bocage, 1866)"
 ]
}

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

description: A dataset containing 407 species occurrences available in GBIF matching the query:
{
 "and" : [
 "TaxonKey is one of (Sideridis lampra Schawerda, 1913)",
 "Geometry POLYGON((-9.36035 44.71551,-10.59082 42.81152,-11.82129 36.80928,-7.69043 36.17336,-3.38379 35.88905,3.12012 38.13456,9.18457 38.20366,11.7334 37.16032,12.78809 34.74161,17.09473 33.79741, 23.15918 34.23451,30.10254 32.62087,33.2666 32.99024,35.72754 35.03,33.00293 35.53223,28.69629 35.17381,28.34473 36.31513,25.7959 37.50973,24.91699 39.90974,28.78418 40.6473,30.71777 41.17865,36.87012 45.213,38.18848 46.98025,38.71582 47.7541,39.94629 47.93107,40.20996 49.61071,37.0459 50.34546,35.72754 50.40152,33.79395 52.26816,31.68457 51.94426,31.4209 53.27835,32.56348 53.43572,30.98145 54.77535,30.89355 55.52863,28.43262 56.02295,27.20215 57.65716,27.37793 58.30949,27.90527 59.17593,29.66309 59.88894,27.6416 60.58697,31.50879 62.75473,28.78418 69.83962,30.89355 70.28912,29.22363 71.55274,21.75293 71.30079,14.28223 70.14036,11.38184 67.47492,4.87793 63.66576,-5.53711 71.52491,-10.63477 71.69129,-21.5332 67.74276,-28.56445 65.36684,-24.3457 61.35461,-9.36035 44.71551))",
 "HasCoordinate is true",
 "HasGeospatialIssue is false",
 "Year is greater than or equal to 1980",
 "Year is less than or equal to 2021"
 ]
}

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

description: A dataset containing 26 species occurrences available in GBIF matching the query:
{
 "and" : [
 "Country is Ecuador",
 "TaxonKey is Nasuella Hollister, 1915"
 ]
}

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

description: A dataset containing 42 species occurrences available in GBIF matching the query:
{
 "and" : [
 "TaxonKey is one of (Ololygon flavoguttata (Lutz & Lutz, 1939))",
 "BasisOfRecord is one of (Specimen, Human Observation, Observation, Machine Observation)",
 "HasCoordinate is true",
 "HasGeospatialIssue is false"
 ]
}

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

description: A dataset containing 170 species occurrences available in GBIF matching the query:
{
 "and" : [
 "TaxonKey is one of (Inocybe pseudohiulca Kühner, Inocybe pusina F.H.Møller)",
 "Geometry POLYGON((-9.36035 44.71551,-10.59082 42.81152,-11.82129 36.80928,-7.69043 36.17336,-3.38379 35.88905,3.12012 38.13456,9.18457 38.20366,11.7334 37.16032,12.78809 34.74161,17.09473 33.79741, 23.15918 34.23451,30.10254 32.62087,33.2666 32.99024,35.72754 35.03,33.00293 35.53223,28.69629 35.17381,28.34473 36.31513,25.7959 37.50973,24.91699 39.90974,28.78418 40.6473,30.71777 41.17865,36.87012 45.213,38.18848 46.98025,38.71582 47.7541,39.94629 47.93107,40.20996 49.61071,37.0459 50.34546,35.72754 50.40152,33.79395 52.26816,31.68457 51.94426,31.4209 53.27835,32.56348 53.43572,30.98145 54.77535,30.89355 55.52863,28.43262 56.02295,27.20215 57.65716,27.37793 58.30949,27.90527 59.17593,29.66309 59.88894,27.6416 60.58697,31.50879 62.75473,28.78418 69.83962,30.89355 70.28912,29.22363 71.55274,21.75293 71.30079,14.28223 70.14036,11.38184 67.47492,4.87793 63.66576,-5.53711 71.52491,-10.63477 71.69129,-21.5332 67.74276,-28.56445 65.36684,-24.3457 61.35461,-9.36035 44.71551))",
 "HasCoordinate is true",
 "HasGeospatialIssue is false",
 "Year is greater than or equal to 1980",
 "Year is less than or equal to 2021"
 ]
}

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

description: A dataset containing 362 species occurrences available in GBIF matching the query:
{
 "and" : [
 "BasisOfRecord is Specimen",
 "TaxonKey is Urera capitata Wedd."
 ]
}

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