cometadata/datacite-titles-descriptions-related-identifiers huggingface dataset:
DOI: 10.5281/zenodo.6531552
title: Dataset: Consistent release of volatile organic compounds across an actively degrading permafrost peatland

description: Here, we conducted in situ measurements of soil and pond VOC emissions across an actively degrading permafrost peatland in subarctic Norway. We used a permafrost thaw gradient that covered bare soil and vegetated palsa plateaus, underlain by intact permafrost, and increasingly degraded permafrost landscapes: thaw slumps, thaw ponds, and vegetated thaw ponds. This dataset includes two excel files: 1) the first one "Finnmark_source_data" is the source data for figures in the publication https://doi.org/10.1016/j.geoderma.2023.116355. ii) the second one "Rawdata_of_emission_rate" is the emission rate of the 210 VOC species identified in this study. Results showed that every peatland landscape type was an important and consistent source of atmospheric VOCs, with a large variety species, such as methanol, acetone, monoterpenes, sesquiterpenes, isoprene, hydrocarbons, oxygenated VOCs, etc. VOC composition varied considerably across the measurement period and across the permafrost thaw gradient. We observed enhanced terpenoid emissions following thaw slump degradation, highlighting the potential atmospheric impact of permafrost thaw, due to the high chemical reactivities of terpenoid compounds. Overall, our study demonstrates that VOCs are being emitted in significant quantities and with largely similar composition upon permafrost thawing, inundation, and subsequent vegetation development, despite major differences in microclimate, hydrological regime, vegetation, and permafrost occurrence. Should you have any questions regarding the dataset, please free feel to contact Yi jiao at yi.jiao@bio.ku.dk or the PI of this project Prof. Rinnan at riikkar@bio.ku.dk
DOI: 10.5281/zenodo.6531553
title: Dataset: Consistent release of volatile organic compounds across an actively degrading permafrost peatland

description: Here, we conducted in situ measurements of soil and pond VOC emissions across an actively degrading permafrost peatland in subarctic Norway. We used a permafrost thaw gradient that covered bare soil and vegetated palsa plateaus, underlain by intact permafrost, and increasingly degraded permafrost landscapes: thaw slumps, thaw ponds, and vegetated thaw ponds. This dataset includes two excel files: 1) the first one "Finnmark_source_data" is the source data for figures in the publication https://doi.org/10.1016/j.geoderma.2023.116355. ii) the second one "Rawdata_of_emission_rate" is the emission rate of the 210 VOC species identified in this study. Results showed that every peatland landscape type was an important and consistent source of atmospheric VOCs, with a large variety species, such as methanol, acetone, monoterpenes, sesquiterpenes, isoprene, hydrocarbons, oxygenated VOCs, etc. VOC composition varied considerably across the measurement period and across the permafrost thaw gradient. We observed enhanced terpenoid emissions following thaw slump degradation, highlighting the potential atmospheric impact of permafrost thaw, due to the high chemical reactivities of terpenoid compounds. Overall, our study demonstrates that VOCs are being emitted in significant quantities and with largely similar composition upon permafrost thawing, inundation, and subsequent vegetation development, despite major differences in microclimate, hydrological regime, vegetation, and permafrost occurrence. Should you have any questions regarding the dataset, please free feel to contact Yi jiao at yi.jiao@bio.ku.dk or the PI of this project Prof. Rinnan at riikkar@bio.ku.dk
DOI: 10.6084/m9.figshare.23500998
title: <strong>Pollination and floral insect visitors of non-native </strong><em><strong>Crataegus monogyna</strong></em><strong> Jacq and </strong><em><strong>Crataegus mexicana</strong></em><strong> DC (Rosaceae) in the Eastern Cape Province, South Africa</strong>

description: This data set is the number of different insect species visiting two alien plant species at different times of the day (morning, midday, and afternoon). The data set is also data for the number of fruits (percentage fruit set) produced following exclusion experiments on these alien plants.
DOI: 10.6084/m9.figshare.23500998.v1
title: <strong>Pollination and floral insect visitors of non-native </strong><em><strong>Crataegus monogyna</strong></em><strong> Jacq and </strong><em><strong>Crataegus mexicana</strong></em><strong> DC (Rosaceae) in the Eastern Cape Province, South Africa</strong>

description: This data set is the number of different insect species visiting two alien plant species at different times of the day (morning, midday, and afternoon). The data set is also data for the number of fruits (percentage fruit set) produced following exclusion experiments on these alien plants.
DOI: 10.34808/p3zv-6877
title: Effect of C-1748 derivatives on the morphological transformation of C. albicans ATCC 10231 cells

description: The datasets contain the results of the impact of five C-1748 derivatives (IKE28 - IKE32) on morphological transformation of Candida albicans strain ATCC 10231 cells. Photographic documentation prepared with the TECAN Spark 10M titration plate reader.
DOI: 10.34808/tnvk-h892
title: Effect of C-1748 derivatives on the biofilm formation of C. albicans ATCC 10231 cells

description: The datasets contain the results of the impact of five C-1748 derivatives (IKE28 - IKE32) on the biofilm formation of Candida albicans strain ATCC 10231 cells. Photographic documentation prepared with the TECAN Spark 10M titration plate reader.
DOI: 10.5281/zenodo.8026985
title: Individual and interactive effects of warming and nitrogen supply on CO2 fluxes and carbon allocation in subarctic grassland

description: We provide data (Data_all.xlsx) and the code for ecosystem productivity, soil respiration, carbon allocation in the shoot, root, soil, and microbes, and nitrogen and carbon availability in plant, soil, and microbes data. The measurements were made under soil warming gradient and under N fertilization treatment during the summer of 2018. The sheet '13C_allocation' contains data on excess <sup>13</sup>C in the plant, soil, and soil respiration for days 1,3,6, and 10 days after <sup>13</sup>CO<sub>2</sub> pulse labeling. The sheet 'primary productivity' contains data on ecosystem fluxes (Gross primary productivity; Net ecosystem productivity and Dark respiration). The sheet 'SR' contains data of soil respiration. The sheet 'dynamics.' contains data of continuous measurements of soil respired CO<sub>2</sub> (SR), <sup>13</sup>CO<sub>2</sub> (SR13C), soil water content(SWC), soil temperature (ST), and photosynthetic active radiation (PAR) and air temperature (Tair). The sheet 'Soil_N' consists of dissolved organic N (TdN), NH<sub>4</sub>, and NO<sub>3</sub> measured in soil. The sheet plant_N consists of N in plants. The microbial biomass carbon (MBC) and nitrogen (MBN) are provided in the sheet 'Microbial_Biomass' The R file 'Script. R' explains and plots the data. In addition, this R file also provides the script for time series regression analysis between response variables (soil-respired CO<sub>2</sub> and soil-respired <sup>13</sup>CO<sub>2</sub>) and environmental drivers (soil water content, soil temperature, and PAR), and provides the script for structural equation modeling (SEM) and linear mixed effects model and statistics.
DOI: 10.34808/ptgp-x777
title: Jumping wave photographs

description:  




The photographs of the outer surface obtained in the burnishing process  showing  the shape of the jumping wave and the displacement of the material in the surface layer.
DOI: 10.5281/zenodo.8026984
title: Individual and interactive effects of warming and nitrogen supply on CO2 fluxes and carbon allocation in subarctic grassland

description: We provide data (Data_all.xlsx) and the code for ecosystem productivity, soil respiration, carbon allocation in the shoot, root, soil, and microbes, and nitrogen and carbon availability in plant, soil, and microbes data. The measurements were made under soil warming gradient and under N fertilization treatment during the summer of 2018. The sheet '13C_allocation' contains data on excess <sup>13</sup>C in the plant, soil, and soil respiration for days 1,3,6, and 10 days after <sup>13</sup>CO<sub>2</sub> pulse labeling. The sheet 'primary productivity' contains data on ecosystem fluxes (Gross primary productivity; Net ecosystem productivity and Dark respiration). The sheet 'SR' contains data of soil respiration. The sheet 'dynamics.' contains data of continuous measurements of soil respired CO<sub>2</sub> (SR), <sup>13</sup>CO<sub>2</sub> (SR13C), soil water content(SWC), soil temperature (ST), and photosynthetic active radiation (PAR) and air temperature (Tair). The sheet 'Soil_N' consists of dissolved organic N (TdN), NH<sub>4</sub>, and NO<sub>3</sub> measured in soil. The sheet plant_N consists of N in plants. The microbial biomass carbon (MBC) and nitrogen (MBN) are provided in the sheet 'Microbial_Biomass' The R file 'Script. R' explains and plots the data. In addition, this R file also provides the script for time series regression analysis between response variables (soil-respired CO<sub>2</sub> and soil-respired <sup>13</sup>CO<sub>2</sub>) and environmental drivers (soil water content, soil temperature, and PAR), and provides the script for structural equation modeling (SEM) and linear mixed effects model and statistics.
DOI: 10.6084/m9.figshare.23501064
title: Table S1.xlsx

description: Supplemental Table S1. Detailed information for all detected DEGs.
DOI: 10.6084/m9.figshare.23501064.v1
title: Table S1.xlsx

description: Supplemental Table S1. Detailed information for all detected DEGs.
DOI: 10.6084/m9.figshare.22921646.v2
title: Personal identity study

description: this study aboyt profesisional identity in medical student
DOI: 10.5258/soton/d2586
title: Large-scale and multi-omics data analysis for supporting precision medicine of human disease

description: Data supporting for thesis titled “Large-scale data analysis and integration to advance precision prognosis, therapy stratification and understanding of human disease”
DOI: 10.6084/m9.figshare.23501034
title: des8/XRCC2 50K data

description: 50K iselect marker F3 recombination data neccecary to run analysis and plotting scripts here: https://github.com/BioJNO/des8
DOI: 10.5281/zenodo.8026525
title: Dataset for : A New Era in Software Security: Towards Self-Healing Software via Large Language Models and Formal Verification

description: We present a novel solution combining Large Language Model (LLM) capabilities with Formal Verification strategies to falsify and automatically repair software vulnerabilities. Initially, we employ Bounded Model Checking (BMC) to locate the software vulnerability and derive a counterexample. Relying on mathematical proofs, counterexamples provide evidence that the system behaves incorrectly or contains a vulnerability, thereby preventing the generation of false positive alerts. The counterexample that has been detected, along with the source code, are provided to the LLM engine. Our approach involves establishing a specialized prompt language for conducting code debugging and generation to understand the vulnerability's root cause and repair the code. Finally, we use BMC to verify the corrected version of the code generated by the LLM. As a proof of concept, we create \esbmcai based on the Efficient SMT-based Context-Bounded Model Checker (ESBMC) and a pre-trained Transformer model, specifically gpt-3.5-turbo, to detect and fix errors in C programs. We generated a dataset comprising $1{,}000$ C code samples, each consisting of $20$ to $50$ lines of C code. Experimental results show that our proposed method achieved an impressive success rate of up to $80$\% in repairing vulnerable code, encompassing buffer overflow, arithmetic overflow, and pointer dereference failures. To our knowledge, \esbmcai represents the first proposal for a pioneering initiative to integrate a Large Language Model (LLM) with software model checking. We advocate that this automated approach has the potential to incorporate into the software development lifecycle's continuous integration and deployment (CI/CD) process. The uploaded dataset contains 1000 codes, each comprising 20 to 50 lines of C code generated with gpt-3.5-turbo. The material also consists of a version of ESBMC statically compiled with all dependencies, a classifier script, and the output file.
DOI: 10.5281/zenodo.8026524
title: Dataset for : A New Era in Software Security: Towards Self-Healing Software via Large Language Models and Formal Verification

description: We present a novel solution combining Large Language Model (LLM) capabilities with Formal Verification strategies to falsify and automatically repair software vulnerabilities. Initially, we employ Bounded Model Checking (BMC) to locate the software vulnerability and derive a counterexample. Relying on mathematical proofs, counterexamples provide evidence that the system behaves incorrectly or contains a vulnerability, thereby preventing the generation of false positive alerts. The counterexample that has been detected, along with the source code, are provided to the LLM engine. Our approach involves establishing a specialized prompt language for conducting code debugging and generation to understand the vulnerability's root cause and repair the code. Finally, we use BMC to verify the corrected version of the code generated by the LLM. As a proof of concept, we create \esbmcai based on the Efficient SMT-based Context-Bounded Model Checker (ESBMC) and a pre-trained Transformer model, specifically gpt-3.5-turbo, to detect and fix errors in C programs. We generated a dataset comprising $1{,}000$ C code samples, each consisting of $20$ to $50$ lines of C code. Experimental results show that our proposed method achieved an impressive success rate of up to $80$\% in repairing vulnerable code, encompassing buffer overflow, arithmetic overflow, and pointer dereference failures. To our knowledge, \esbmcai represents the first proposal for a pioneering initiative to integrate a Large Language Model (LLM) with software model checking. We advocate that this automated approach has the potential to incorporate into the software development lifecycle's continuous integration and deployment (CI/CD) process. The uploaded dataset contains 1000 codes, each comprising 20 to 50 lines of C code generated with gpt-3.5-turbo. The material also consists of a version of ESBMC statically compiled with all dependencies, a classifier script, and the output file.
DOI: 10.5281/zenodo.7684277
title: Laser scanner raw data via fontebranda

description: Laser scanner raw datas from via Fontebranda, Siena
DOI: 10.5281/zenodo.7684278
title: Laser scanner raw data via fontebranda

description: Laser scanner raw datas from via Fontebranda, Siena
DOI: 10.6084/m9.figshare.23501097
title: Supplementary material to BEH 3820

description: This item contains supplementary R code plus a data file and a data analysis output file.
DOI: 10.6084/m9.figshare.23501097.v1
title: Supplementary material to BEH 3820

description: This item contains supplementary R code plus a data file and a data analysis output file.
DOI: 10.6084/m9.figshare.20067420
title: LTL cross entropy optimisation for quadcopter task orchestration

description: This paper presents a task orchestration framework for multi-agent systems utilising linear temporal logic (LTL) and cross entropy optimisation, a stochastic optimisation technique used for rare-event sampling. We define task orchestration as a combination of task decomposition, allocation and planning for a quadcopter or team of quadcopters given a high-level specification. Specifically, we consider tasks that are complex and consist of environment constraints, system constraints, or both, that must be satisfied. We first approach motion planning for the single agent case where transition systems for the environment allow tasks to be developed as linear temporal logic (LTL) specifications. Trajectories are then generated via motion primitives for a single quadcopter and optimised via cross entropy to ensure optimal satisfaction of a cost function. We extend this work to the multi-agent case where a team of homogeneous quadcopters are considered to satisfy an LTL specification. In order to provide faster computations and initial cost-agnostic sampling, we formulate the online version of multi-agent task allocation via cross entropy for tasks specified in LTL specifications. The results of this framework are verified in simulation and experimentally with a team of quadcopters.
DOI: 10.6084/m9.figshare.20067420.v1
title: LTL cross entropy optimisation for quadcopter task orchestration

description: This paper presents a task orchestration framework for multi-agent systems utilising linear temporal logic (LTL) and cross entropy optimisation, a stochastic optimisation technique used for rare-event sampling. We define task orchestration as a combination of task decomposition, allocation and planning for a quadcopter or team of quadcopters given a high-level specification. Specifically, we consider tasks that are complex and consist of environment constraints, system constraints, or both, that must be satisfied. We first approach motion planning for the single agent case where transition systems for the environment allow tasks to be developed as linear temporal logic (LTL) specifications. Trajectories are then generated via motion primitives for a single quadcopter and optimised via cross entropy to ensure optimal satisfaction of a cost function. We extend this work to the multi-agent case where a team of homogeneous quadcopters are considered to satisfy an LTL specification. In order to provide faster computations and initial cost-agnostic sampling, we formulate the online version of multi-agent task allocation via cross entropy for tasks specified in LTL specifications. The results of this framework are verified in simulation and experimentally with a team of quadcopters.
DOI: 10.5517/ccdc.csd.cc2dh9dm
title: CCDC 2219240: Experimental Crystal Structure Determination

description: Related Article: Wei Zhao, Liangming Xuan, Yang Liu, Jiayi Yin, Haifeng Wang, Qiongjiao Yan, Wei Wang, Jin Huang, Fener Chen|2023|New J.Chem.|47|10744|doi:10.1039/D3NJ01329D
description: An entry from the Cambridge Structural Database, the world’s repository for small molecule crystal structures. The entry contains experimental data from a crystal diffraction study. The deposited dataset for this entry is freely available from the CCDC and typically includes 3D coordinates, cell parameters, space group, experimental conditions and quality measures.
DOI: 10.5281/zenodo.8027162
title: Simulation Results

description: Simulation results for the article "A neutral comparison of algorithms to minimize L0 penalties for high-dimensional variable selection" which is to be published by the Biometrical Journal.
DOI: 10.5281/zenodo.8027161
title: Simulation Results

description: Simulation results for the article "A neutral comparison of algorithms to minimize L0 penalties for high-dimensional variable selection" which is to be published by the Biometrical Journal.
DOI: 10.5281/zenodo.7479236
title: Performance of Lightning Potential Index, Lightning Threat Index, and the product of CAPE and precipitation in the WRF model

description: This study aims to evaluate the performance of the Weather Research and Forecasting (WRF) model in the prediction of Lightning Potential Index, Lightning Threat Index, and the product of CAPE and precipitation<strong> </strong>over Tehran, Iran.
DOI: 10.5281/zenodo.8027259
title: Performance of Lightning Potential Index, Lightning Threat Index, and the product of CAPE and precipitation in the WRF model

description: This study aims to evaluate the performance of the Weather Research and Forecasting (WRF) model in the prediction of Lightning Potential Index, Lightning Threat Index, and the product of CAPE and precipitation<strong> </strong>over Tehran, Iran.
DOI: 10.34740/kaggle/dsv/5908048
title: US Board on Geographic Names
DOI: 10.5517/ccdc.csd.cc2f84d8
title: CCDC 2242149: Experimental Crystal Structure Determination

description: Related Article: wang hong|2023|CSD Communication|||
description: An entry from the Cambridge Structural Database, the world’s repository for small molecule crystal structures. The entry contains experimental data from a crystal diffraction study. The deposited dataset for this entry is freely available from the CCDC and typically includes 3D coordinates, cell parameters, space group, experimental conditions and quality measures.
DOI: 10.5517/ccdc.csd.cc2fgll3
title: CCDC 2248355: Experimental Crystal Structure Determination

description: Related Article: Cheng Li, Bin Zhao, Guojiang Mao, Guo-Jun Deng|2023|Chem.Commun.|59|7044|doi:10.1039/D3CC01940C
description: An entry from the Cambridge Structural Database, the world’s repository for small molecule crystal structures. The entry contains experimental data from a crystal diffraction study. The deposited dataset for this entry is freely available from the CCDC and typically includes 3D coordinates, cell parameters, space group, experimental conditions and quality measures.
DOI: 10.6084/m9.figshare.23460144
title: Gold metallogeny in Iran, implications for gold exploration and conceptual modelling

description: Convergent margin deposit age for Iran.
DOI: 10.6084/m9.figshare.23460144.v2
title: Gold metallogeny in Iran, implications for gold exploration and conceptual modelling

description: Convergent margin deposit age for Iran.
DOI: 10.6084/m9.figshare.23460144.v1
title: Gold metallogeny in Iran, implications for gold exploration and conceptual modelling

description: Convergent margin deposit age for Iran.
DOI: 10.15156/bio/2938062
title: Adamson K., Vester M, Kütt K, Riit T, Padari A, Jürimaa K, Drenkhan R. Distribution, conk occurrence and basidiospores dispersal of Inonotus obliquus
DOI: 10.5519/qd.htuufi2e
title: Query on the Natural History Museum Data Portal (data.nhm.ac.uk) (97 records)
DOI: 10.5281/zenodo.8027406
title: Focused-ion beam (FIB) Scanning electron micrographs (SEM) of structural battery composite electrolyte

description: Original FIB-SEM micrographs of a Structural Battery Electrolyte
DOI: 10.5281/zenodo.8027405
title: Focused-ion beam (FIB) Scanning electron micrographs (SEM) of structural battery composite electrolyte

description: Original FIB-SEM micrographs of a Structural Battery Electrolyte