cometadata/datacite-titles-descriptions-related-identifiers huggingface dataset:
DOI: 10.48577/jpl.dcnpuv
title: Partial Differentiation of Europa from a Revised Inversion of the Interior Structure

description: The Galileo mission provided measurements of Europa’s gravity field that yield crucial information on the moon’s interior. We present the first Bayesian inversion that constrains the interior using the mass and moment of inertia derived from Galileo gravity data. The derived probability distributions indicate a high mantle density, which can be matched by a primordial CV chondrite composition. These models agree with an undifferentiated deep interior or a smaller metallic core than previously estimated. We introduce new thermal evolution models of Europa that preserve a partially differentiated deep interior, consistent with these new geophysical constraints. A late formation of Europa (about 4 My after the production of calcium aluminum inclusions) and a significant extraction of K from rock during a phase of thermal metamorphism altogether prevent complete metal-silicate differentiation. This result bears implications for Europa’s ocean composition and upper mantle rheological properties that can be tested by a future mission.
DOI: 10.48577/jpl.pxfufy
title: Exploring the behaviors of initiated progressive failure and slow-moving landslides in Los Angeles using satellite InSAR and pixel offset tracking

description: Catastrophic landslides are often preceded by slow, progressive, accelerating deformation that differs from the persistent motion of slow-moving landslides. Here, we investigate the motion of a landslide that damaged 12 homes in Rolling Hills Estates (RHE), Los Angeles, California on July 8, 2023, using satellite-based synthetic aperture radar interferometry (InSAR) and pixel tracking of satellite-based optical images. To better understand the precursory motion of the RHE landslide, we compared its behavior with local precipitation and with several slow moving landslides nearby. Unlike the slow-moving landslides, we found that RHE was a first-time progressive failure that failed after one of the wettest years on record. We then applied a progressive failure model to interpret the failure mechanisms and further predict the failure time from the pre-failure movement of RHE. Our work highlights the importance of monitoring incipient slow motion of landslides, particularly where no discernible historical displacement has been observed.
DOI: 10.15468/dl.nvdqyf
title: Occurrence Download

description: A dataset containing 150 species occurrences available in GBIF matching the query:
{
 "TaxonKey" : [
 "is Tylopsacas Leeuwenb."
 ]
}

 The dataset includes 150 records from 24 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0243963-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.ejatvs
title: Occurrence Download

description: A dataset containing 43610 species occurrences available in GBIF matching the query:
{
 "DatasetKey" : [
 "is SBC LTER Darwin Core Archive: Kelp Forest Reef Fish Abundance"
 ]
}

 The dataset includes 43610 records from 1 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0255004-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.fs5984
title: Occurrence Download

description: A dataset containing 504 species occurrences available in GBIF matching the query:
{
 "and" : [
 "OccurrenceStatus is Present",
 "TaxonKey is Astropecten spinulosus (Philippi, 1837)"
 ]
}

 The dataset includes 504 records from 15 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0248504-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.fp894m
title: Occurrence Download

description: A dataset containing 11 species occurrences available in GBIF matching the query:
{
 "and" : [
 "BasisOfRecord is Specimen",
 "Country is South Africa",
 "HasCoordinate is true",
 "HasGeospatialIssue is false",
 "TaxonKey is one of (Indigofera leptocarpa Eckl. & Zeyh., Indigofera leptocarpa Hochst. & Steud., Indigofera leptocarpa Hochst. & Steud. ex Balf.f.)"
 ]
}

 The dataset includes 11 records from 1 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0009001-230918134249559/datasets/export for details.
 
Data from some individual datasets included in this download may be licensed under less restrictive terms.
DOI: 10.48577/jpl.etucrs
title: Separation of Water Level Change from Atmospheric Artifacts Through Application of Independent Component Analysis to InSAR Time Series

description: In recent years, synthetic aperture radar interferometry (InSAR) has emerged as a valuable tool for studying hydrodynamic processes in coastal wetlands by measure water level change (WLC). However, the highly dynamic wet atmosphere conditions common in these areas has a significant impact on InSAR observations, producing errors in the derived values. Standard methods for estimating atmospheric noise in InSAR time series lack the spatial or temporal resolution needed. In this study, we utilize the Independent Component Analysis (ICA) signal decomposition technique to identify the likely WLC signal and eliminate atmospheric noise in a time series derived from rapid repeat measurements made with the L-band Uninhabited Aerial Vehicle Synthetic Aperture Radar (UAVSAR) airborne instrument. The method compares in-situ water level measurements with the independent components to identify the ICA component corresponding to WLC. The signal to noise ratio between the WLC after the ICA-based filtering and in situ water level gauges used for validation reaches 16 dB compared to an average of -1 dB before filtering. The excluded independent components are used to generate a time series of likely atmospheric features masks. The identified features in the masks generally correspond to atmospheric features identifiable in Next Generation Weather Radar (NEXRAD) S-band ground weather radar reflectivity maps collected during the UAVSAR acquisitions. The method, although demonstrated on water level change, is sufficiently general to be applied to any InSAR-derived time series.
DOI: 10.15468/dl.5e3hnk
title: Occurrence Download

description: A dataset containing 420 species occurrences available in GBIF matching the query:
{
 "and" : [
 "BasisOfRecord is Specimen",
 "Geometry POLYGON((-4.47717 36.66273,-4.44508 36.66273,-4.44508 36.68953,-4.47717 36.68953,-4.47717 36.66273))",
 "HasCoordinate is true",
 "HasGeospatialIssue is false",
 "OccurrenceStatus is Present",
 "TaxonKey is Plantae"
 ]
}

 The dataset includes 420 records from 9 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0243992-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.q3cvjf
title: Occurrence Download

description: A dataset containing 10 species occurrences available in GBIF matching the query:
{
 "TaxonKey" : [
 "is Ischaemum glaucescens Merr."
 ]
}

 The dataset includes 10 records from 8 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0255007-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.n4mdsz
title: Occurrence Download

description: A dataset containing 8 species occurrences available in GBIF matching the query:
{
 "TaxonKey" : [
 "is Masdevallia torta Rchb.f."
 ]
}

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

description: A dataset containing 160 species occurrences available in GBIF matching the query:
{
 "and" : [
 "Country is South Africa",
 "TaxonKey is one of (Yucca aloifolia L., Yucca gloriosa L., Yucca filamentosa L., Yucca elephantipes Regel ex Trel., Yucca carnerosana (Trel.) McKelvey)"
 ]
}

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

description: A dataset containing 732 species occurrences available in GBIF matching the query:
{
 "TaxonKey" : [
 "is Vanhouttea Lem."
 ]
}

 The dataset includes 732 records from 70 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0243965-230224095556074/datasets/export for details.
 
Data from some individual datasets included in this download may be licensed under less restrictive terms.
DOI: 10.48577/jpl.hs7or5
title: Use of Multi-Frequency SAR anOptical Data for Crop Area Classification in Preparation for the NISAR Cropland Products

description: An algorithm for classifying crop areas from multi-frequency Synthetic Aperture Radar (SAR) and optical data is evaluated for the upcoming NASA ISRO SAR (NISAR) mission and its active crop-area products. Two time-series of L-band ALOS-2 and C-band Sentinel-1A images over an agricultural region in the Southern United States are used as input, as well as higher-resolution Planet optical data. Since existing landcover maps are available with at least one-year delay, training and validation sets of crop/non-crop polygons are derived with the Planet images. Classification results show that the 80% requirement on the NISAR science accuracy is achievable only with L-band HV input and with a resolution of 100m. In comparison, HH polarized images do not meet this target. The spatial resolution is a key factor: 100m is necessary to accomplish the 80% goal, while 10m do not produce the desired accuracy. Unlike the previous study reporting that C-band performs better than L-band, we found otherwise in this study. This suggests that the performance likely depends on the site of interest and crop types. Alternative to the SAR images, the Normalized Difference Vegetation Index (NDVI) from Planet data is not effective either as an input to the classification algorithm or as a ground truth for training the algorithm itself. The reason is that NDVI becomes saturated and temporally static, thus rendering crop pixels misclassified as non-crop ones.
DOI: 10.15468/dl.2kty6c
title: Occurrence Download

description: A dataset containing 227 species occurrences available in GBIF matching the query:
{
 "TaxonKey" : [
 "is Ischaemum guianense Kunth ex Hack."
 ]
}

 The dataset includes 227 records from 26 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0255008-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.q79k6q
title: Occurrence Download

description: A dataset containing 4275 species occurrences available in GBIF matching the query:
{
 "and" : [
 "GadmGid is USA.47_1",
 "TaxonKey is Chrysemys picta (Schneider, 1783)"
 ]
}

 The dataset includes 4275 records from 16 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0248500-230224095556074/datasets/export for details.
 
Data from some individual datasets included in this download may be licensed under less restrictive terms.
DOI: 10.48577/jpl.azv7a9
title: Multifrequency radar observations of marine clouds during the EPCAPE campaign

description: The Eastern Pacific Cloud Aerosol Precipitation Experiment (EPCAPE) is a year-round campaign conducted by the US Department of Energy at the Scripps Oceanographic Institute in La Jolla, CA, USA, with a focus on characterizing atmospheric processes at a coastal location. A new Ka, W and G-band (35.75, 94.88 and 238.8 GHz) profiling atmospheric 10 radar, named CloudCube, and developed at the Jet Propulsion Laboratory, took part in the experiment during six weeks in March and April, 2023. This article describes the unique data sets that were obtained during the field campaign from a variety of marine clouds and light precipitation. These are, to the best of the authors’ knowledge, the first observations of atmospheric clouds using simultaneous multifrequency measurements including 238.8 GHz. These data sets therefore provide an exceptional opportunity to study and analyze hydrometeors with diameters in the millimeter and submillimeter size range, that 15 can be used to better understand cloud and precipitation structure, formation, and evolution. The data sets referenced in this article are intended to provide a complete, extensive and high-quality collection of G-band data, in the form of reflectivity and Doppler velocity profiles. The Doppler moments have been made available at https://doi.org/10.5439/2204401, while the instantaneous Doppler spectra can be found at https://doi.org/10.5439/2204329. In addition, Ka and W-band reflectivity and Ka, W and G-band reflectivity ratio profiles are included for several cases of interest at https://doi.org/10.5439/2204402.
DOI: 10.15468/dl.rvtgye
title: Occurrence Download

description: A dataset containing 238670 species occurrences available in GBIF matching the query:
{
 "TaxonKey" : [
 "is Calypte costae (Bourcier, 1839)"
 ]
}

 The dataset includes 238670 records from 106 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0009008-230918134249559/datasets/export for details.
 
Data from some individual datasets included in this download may be licensed under less restrictive terms.
DOI: 10.48577/jpl.saueth
title: Does Every Computer Scientist Need to Know Formal Methods?

description: Computer science and, in particular, the science of data, programs, software and cyber-physical systems can be understood as the “engineering discipline of logic”. We start from the sentence “While there is a belief that formal methods are important and they are growing in importance, we cannot state that every computer science graduate will need to use formal methods in their career.” It would be wrong to conclude that formal methods need not be an integral part of a computer science curriculum. Just as not all graduates will need databases either, but it is still important to have a basic understanding of how data is stored and managed efficiently. No engineer should be ignorant of the foundations of their subject and the formal methods based on these. Even if, much of the time, it is not necessary to go back to the foundations explicitly, the understanding of these foundations still constitutes the solid base upon which engineers practice their craft. In this paper, we aim to highlight why every computer scientist needs to know formal methods. We argue that education in formal methods plays a key role by shaping students' programming mindset, fostering an appreciation for underlying principles, and encouraging the practice of thoughtful program design and justification, rather than simply writing programs without reflection. Since integrating formal methods into the computer science curriculum is not a straight-forward process, we explore the additional question: what are the trade-offs between one dedicated knowledge area of formal methods versus having formal methods scattered across all knowledge areas? Computer science, namely the ability to solve problems while designing software and software-intensive systems, consists of forming and understanding formally what is required, followed by the development of a formalized solution in a programming language. Therefore, formalization is inherent in computer science.
DOI: 10.15468/dl.hsqbfm
title: Occurrence Download

description: A dataset containing 0 species occurrences available in GBIF matching the query:
{
 "TaxonKey" : [
 "is Ischaemum jayachandranii R.Ansari, V.S.Ramach. & Sreek."
 ]
}

 The dataset includes 0 records from 0 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0255017-230224095556074/datasets/export for details.
DOI: 10.15468/dl.jdgavx
title: Occurrence Download

description: A dataset containing 97 species occurrences available in GBIF matching the query:
{
 "and" : [
 "GadmGid is USA.7_1",
 "TaxonKey is Pseudoedophrys hilleri (Faust, 1889)"
 ]
}

 The dataset includes 97 records from 1 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0243993-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.dhn2x5
title: Occurrence Download

description: A dataset containing 29 species occurrences available in GBIF matching the query:
{
 "TaxonKey" : [
 "is Adelonema mofflerianum (Croat & Grayum) S.Y.Wong & Croat"
 ]
}

 The dataset includes 29 records from 5 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0248509-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.35c9ux
title: Occurrence Download

description: A dataset containing 48 species occurrences available in GBIF matching the query:
{
 "and" : [
 "BasisOfRecord is Specimen",
 "Continent is Africa",
 "HasCoordinate is true",
 "HasGeospatialIssue is false",
 "TaxonKey is Indigofera drepanocarpa Taub."
 ]
}

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

description: A dataset containing 591 species occurrences available in GBIF matching the query:
{
 "TaxonKey" : [
 "is Titanotrichum Soler."
 ]
}

 The dataset includes 591 records from 32 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0243966-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.77fwcg
title: Occurrence Download

description: A dataset containing 14018 species occurrences available in GBIF matching the query:
{
 "and" : [
 "TaxonKey is Helianthus annuus L.",
 "Country is one of (United States of America, Canada)",
 "Year is greater than or equal to 1979"
 ]
}

 The dataset includes 14018 records from 163 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0255012-230224095556074/datasets/export for details.
 
Data from some individual datasets included in this download may be licensed under less restrictive terms.
DOI: 10.48577/jpl.2xmafh
title: Atomic clocks and quantum sensing in space

description: Author's personal perspective on the future of quantum science and technology
DOI: 10.15468/dl.2dnqwt
title: Occurrence Download

description: A dataset containing 74 species occurrences available in GBIF matching the query:
{
 "and" : [
 "Country is Argentina",
 "TaxonKey is Brunfelsia uniflora (Pohl) D.Don"
 ]
}

 The dataset includes 74 records from 19 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0248501-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.2sjj9q
title: Occurrence Download

description: A dataset containing 516 species occurrences available in GBIF matching the query:
{
 "and" : [
 "Geometry POLYGON((-81.43904 0.44566,-53.30199 0.44566,-53.30199 11.69566,-81.43904 11.69566,-81.43904 0.44566))",
 "HasCoordinate is true",
 "HasGeospatialIssue is false",
 "OccurrenceStatus is Present",
 "TaxonKey is Hypolepis Bernh."
 ]
}

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

description: A dataset containing 130 species occurrences available in GBIF matching the query:
{
 "and" : [
 "GadmGid is USA.21_1",
 "TaxonKey is Pseudoedophrys hilleri (Faust, 1889)"
 ]
}

 The dataset includes 130 records from 3 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0243968-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.nch5pm
title: Occurrence Download

description: A dataset containing 4 species occurrences available in GBIF matching the query:
{
 "TaxonKey" : [
 "is Ischaemum huegelii Hack."
 ]
}

 The dataset includes 4 records from 4 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0255015-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.pktufs
title: Occurrence Download

description: A dataset containing 30 species occurrences available in GBIF matching the query:
{
 "TaxonKey" : [
 "is Homalomena melanesica A.Hay"
 ]
}

 The dataset includes 30 records from 7 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0248502-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.gkq432
title: Occurrence Download

description: A dataset containing 1 species occurrences available in GBIF matching the query:
{
 "TaxonKey" : [
 "is Ischaemum koenigii (Hook.f.) Stapf ex C.E.C.Fisch."
 ]
}

 The dataset includes 1 records from 1 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0255018-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.hfvmzb
title: Occurrence Download

description: A dataset containing 24 species occurrences available in GBIF matching the query:
{
 "TaxonKey" : [
 "is Rhipidoglossum burttii (Summerh.) Summerh."
 ]
}

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

description: A dataset containing 2163 species occurrences available in GBIF matching the query:
{
 "and" : [
 "TaxonKey is Delphinium dubium (Rouy & Foucaud) Pawl.",
 "HasCoordinate is true",
 "HasGeospatialIssue is false"
 ]
}

 The dataset includes 2163 records from 41 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0080949-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.z9f0qh
title: Occurrence Download

description: A dataset containing 256553 species occurrences available in GBIF matching the query:
{
 "and" : [
 "Geometry POLYGON((-120.92651 34.10726,-118.927 27.975,-115.41138 27.44979,-114.90601 28.24633,-116.90552 31.10939,-117.74048 33.15595,-119.34448 34.10726,-120.06958 34.25268,-120.92651 34.10726))",
 "TaxonKey is Aves",
 "HasGeospatialIssue is false"
 ]
}

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