cometadata/datacite-titles-descriptions-related-identifiers huggingface dataset:
DOI: 10.21227/bg67-pk98
title: bbb

description: Since the majority of people have smartphones, the Hb level can be determined using the smartphone's video through PPG signal as opposed to the traditional approaches, which still require the use of a needle to puncture a vein. This study enrolled 108 subjects who underwent a clinical test, with their hemoglobin (Hb) level within the range of 6.6 to 16.5 g/dL. To mitigate potential variability in Hb levels during a brief period, 15-second recordings of the pointer finger were captured by utilizing a smartphone prior to the clinical test.  When the user places their finger on the phone's camera to record data, the camera flashlight briefly illuminates the area. The captured video is transformed to 60 fps as capturing a PPG signal at 60 fps provides a more detailed and accurate representation of changes in blood volume and heart rate compared to a lower frame rate
DOI: 10.22008/fk2/dhoumo
title: Geologisk kort over Danmark, 1:400 000. Det danske Bassin. 'Basis Kalk' og Kalk Gruppen (to-vejs løbetid og dybde, tykkelse og intervalhastighed)

description: Chalk deposits, seismic interpretation, Upper Cretaceous, Danian
DOI: 10.3886/icpsr37887.v9
title: Michigan Automated Prescription System (MAPS), January 2014-September 2023
title: Version 9

description: Michigan Automated Prescription System (MAPS) is Michigan's prescription monitoring program used to track controlled substances and Schedule 2-5 drugs. Prescribers, dispensers, and practitioners use the tool to assess patient risk and analyze controlled substance use history. They obtain information on controlled substances and Schedule 2-5 drugs that have been dispensed. The portal is also used to prevent drug abuse and diversion at the prescriber, pharmacy, and patient levels.
The MAPS portal is administered by the Michigan Department of Licensing and Regulatory Affairs and maintained by Appriss Health. Gov. Rick Snyder formed the Michigan Prescription Drug and Opioid Abuse Task Force in June 2015 and one of their key recommendations was to update and replace the former MAPS platform. The governor also established the Prescription Drug and Opioid Abuse Commission to continue the work initiated by the task force. In addition to the new system and the work of the commission, the Snyder Administration along with a group of bipartisan legislators focused on building on the state's aim to tackle the opioid crisis.
description: According to the Michigan Department of Health and Human Services website: "Michigan has a tool that helps prescribers identify patients that may be improperly seeking medication. This is Michigan's prescription drug monitoring program called the Michigan Automated Prescription System (MAPS). MAPS is used to identify and prevent drug diversion at the prescriber, pharmacy, and patient level."
description: Datasets: 
DS1: Michigan Automated Prescription System (MAPS), January 2014-September 2023
description: Smallest Geographic Unit: City
description: For general information about the data, visit the
Michigan LARA website.The law that covers MAPS is available to view on the
Michigan Legislature website.For variable and codebook information, please see ICPSR 37833.This study has been updated to include data up to September 2023.
DOI: 10.5281/zenodo.10078891
title: Geometric calibration of a double-line X-ray cone-beam tomography system

description: This dataset correspond to the raw data and measurements presented in the article "Geometric calibration of a double-line X-ray cone-beam tomography system". In this study, an existing single-line calibration method is extended to the case of a double-line X-ray tomograph, based only on the geometrical relation between the different components, and using a simplified calibration phantom. The methodology is tested on the new double tomograph system at INSA Lyon. Walnuts are used as testing phantoms due to their natural irregularity and outstanding internal texture under X-rays.
Two scanning scenarios are selected to represent the wide range of possible geometries that the system can resolve. The first test, referred to as NXGP04, corresponds to an assembly of walnuts inside a container, scanned at a voxel size of 111 μm, and a geometric magnification (i.e., the ratio between SDD and SOD) of 2.7. The second test, referred to as NXGP05, constitutes a scan of a single walnut using a voxel size of 28 μm and a geometric magnification of 10.7. For a given test, all the geometric parameters (i.e., SOD and SDD), as well as the scanning parameters (e.g., voltage and exposure time) are set equally for both lines. 
Calibration phantoms are used to measure the geometry of the system for each test. They consist of a set of 7 metallic spheres attached to a foam board arranged along a line. For the test NXGP04, the spheres have 2.5 mm in diameter and are placed using a spacing of 20 mm, while for the test NXGP05, the spheres have 0.8 mm in diameter and spacing of 8.75 mm. In both cases, the size of the spheres in the detectors is such that more than 700 pixels are used to determine their centre, which increases the sensitivity of the calculation.
DOI: 10.5281/zenodo.10078892
title: Geometric calibration of a double-line X-ray cone-beam tomography system

description: This dataset correspond to the raw data and measurements presented in the article "Geometric calibration of a double-line X-ray cone-beam tomography system". In this study, an existing single-line calibration method is extended to the case of a double-line X-ray tomograph, based only on the geometrical relation between the different components, and using a simplified calibration phantom. The methodology is tested on the new double tomograph system at INSA Lyon. Walnuts are used as testing phantoms due to their natural irregularity and outstanding internal texture under X-rays.
Two scanning scenarios are selected to represent the wide range of possible geometries that the system can resolve. The first test, referred to as NXGP04, corresponds to an assembly of walnuts inside a container, scanned at a voxel size of 111 μm, and a geometric magnification (i.e., the ratio between SDD and SOD) of 2.7. The second test, referred to as NXGP05, constitutes a scan of a single walnut using a voxel size of 28 μm and a geometric magnification of 10.7. For a given test, all the geometric parameters (i.e., SOD and SDD), as well as the scanning parameters (e.g., voltage and exposure time) are set equally for both lines. 
Calibration phantoms are used to measure the geometry of the system for each test. They consist of a set of 7 metallic spheres attached to a foam board arranged along a line. For the test NXGP04, the spheres have 2.5 mm in diameter and are placed using a spacing of 20 mm, while for the test NXGP05, the spheres have 0.8 mm in diameter and spacing of 8.75 mm. In both cases, the size of the spheres in the detectors is such that more than 700 pixels are used to determine their centre, which increases the sensitivity of the calculation.
DOI: 10.5281/zenodo.10491934
title: PsPM-FER02: PSR, SCR, ECG and respiration measurements from a 3 conditions x 3 experimental sessions repeated-measures design to assess the return of fear

description: This dataset includes pupil size response (PSR), skin conductance response (SCR), electrocardiogram (ECG) and respiration measurements. Also included are CS and US information, keypress responses, keypress response times, key correctness and shock expectancy ratings at the end of the experiment for 74 healthy unmedicated participants (33 males and 41 females aged 24.2+/-3.9 years) participating in a 3 conditions x 3 experimental sessions repeated-measures design to assess the return of fear. CS were colored triangles (yellow/red/blue). US consisted of a 500 ms train of 250 square pulses with individual pulse width of 0.2 ms. SOA between the CS onset and US was 3.5 s. CS and US co-terminated. The ITI was randomly determined as discrete values between 7-11 seconds (mean 9 seconds).
description: Raw data are contained in data.zip and described in readme.txt. Pre-processed data are contained in data_pp.zip and described in readme_pp.txt.

Data are stored as .mat files for use with MATLAB (The MathWorks Inc., Natick, USA) in a format readable by the PsPM toolbox (bachlab.org/pspm). All raw data files are saved in MATLAB 9.2 (R2017a) format, and all pre-processed data files are saved in MATLAB 9.6 (R2019a) format.

This research was supported by Wellcome Trust grant 091593/Z/10/Z. Data pre-processing was supported by the European Research Council (ERC) under the European Union's Horizon 2020 research and innovation programme (Grant agreement No. ERC-2018 CoG-816564 ActionContraThreat)
DOI: 10.5281/zenodo.3555305
title: PsPM-FER02: PSR, SCR, ECG and respiration measurements from a 3 conditions x 3 experimental sessions repeated-measures design to assess the return of fear

description: This dataset includes pupil size response (PSR), skin conductance response (SCR), electrocardiogram (ECG) and respiration measurements. Also included are CS and US information, keypress responses, keypress response times, key correctness and shock expectancy ratings at the end of the experiment for 74 healthy unmedicated participants (33 males and 41 females aged 24.2+/-3.9 years) participating in a 3 conditions x 3 experimental sessions repeated-measures design to assess the return of fear. CS were colored triangles (yellow/red/blue). US consisted of a 500 ms train of 250 square pulses with individual pulse width of 0.2 ms. SOA between the CS onset and US was 3.5 s. CS and US co-terminated. The ITI was randomly determined as discrete values between 7-11 seconds (mean 9 seconds).
description: Raw data are contained in data.zip and described in readme.txt. Pre-processed data are contained in data_pp.zip and described in readme_pp.txt.

Data are stored as .mat files for use with MATLAB (The MathWorks Inc., Natick, USA) in a format readable by the PsPM toolbox (bachlab.org/pspm). All raw data files are saved in MATLAB 9.2 (R2017a) format, and all pre-processed data files are saved in MATLAB 9.6 (R2019a) format.

This research was supported by Wellcome Trust grant 091593/Z/10/Z. Data pre-processing was supported by the European Research Council (ERC) under the European Union's Horizon 2020 research and innovation programme (Grant agreement No. ERC-2018 CoG-816564 ActionContraThreat)
DOI: 10.5281/zenodo.3555306
title: PsPM-FER02: PSR, SCR, ECG and respiration measurements from a 3 conditions x 3 experimental sessions repeated-measures design to assess the return of fear

description: This dataset includes pupil size response (PSR), skin conductance response (SCR), electrocardiogram (ECG) and respiration measurements. Also included are CS and US information, keypress responses, keypress response times, key correctness and shock expectancy ratings at the end of the experiment for 71 healthy unmedicated participants (33 males and 38 females aged 24.2+/-3.9 years) participating in a 3 conditions x 3 experimental sessions repeated-measures design to assess the return of fear. CS were colored triangles (yellow/red/blue). US consisted of a 500 ms train of 250 square pulses with individual pulse width of 0.2 ms. SOA between the CS onset and US was 3.5 s. CS and US co-terminated. The ITI was randomly determined as discrete values between 7-11 seconds (mean 9 seconds).
DOI: 10.5281/zenodo.5573760
title: PsPM-FER02: PSR, SCR, ECG and respiration measurements from a 3 conditions x 3 experimental sessions repeated-measures design to assess the return of fear

description: This dataset includes pupil size response (PSR), skin conductance response (SCR), electrocardiogram (ECG) and respiration measurements. Also included are CS and US information, keypress responses, keypress response times, key correctness and shock expectancy ratings at the end of the experiment for 74 healthy unmedicated participants (33 males and 41 females aged 24.2+/-3.9 years) participating in a 3 conditions x 3 experimental sessions repeated-measures design to assess the return of fear. CS were colored triangles (yellow/red/blue). US consisted of a 500 ms train of 250 square pulses with individual pulse width of 0.2 ms. SOA between the CS onset and US was 3.5 s. CS and US co-terminated. The ITI was randomly determined as discrete values between 7-11 seconds (mean 9 seconds).
description: Raw data are contained in data.zip and described in readme.txt. Pre-processed data are contained in data_pp.zip and described in readme_pp.txt. Data are stored as .mat files for use with MATLAB (The MathWorks Inc., Natick, USA) in a format readable by the PsPM toolbox (bachlab.org/pspm). All raw data files are saved in MATLAB 9.2 (R2017a) format, and all pre-processed data files are saved in MATLAB 9.6 (R2019a) format. This research was supported by Wellcome Trust grant 091593/Z/10/Z. Data pre-processing was supported by the European Research Council (ERC) under the European Union's Horizon 2020 research and innovation programme (Grant agreement No. ERC-2018 CoG-816564 ActionContraThreat)
DOI: 10.5281/zenodo.10492119
title: ANALYSIS OF THE VARIOUS NON-VERBAL AND VERBAL ASPECTS OF SPEECH COMMUNICATION
DOI: 10.5281/zenodo.10492120
title: ANALYSIS OF THE VARIOUS NON-VERBAL AND VERBAL ASPECTS OF SPEECH COMMUNICATION
DOI: 10.5281/zenodo.7813696
title: Design of a triaxial compression cell for x-ray tomography

description: This repository contains the technical drawings of the triaxial compression setup developed and used in the PhD thesis "Experimental investigation of the effects of particle shape and friction on the mechanics of granular media" by Gustavo Pinzón (Université Grenoble Alpes).

The setup is a modification of the traditional setup used in geotechnical testing, presenting a sliding base on one of the ends, which allows the creation of a singular strain localisation region. The experimental setup is designed for in-situ testing inside the x-ray tomography cabin of Laboratoire 3SR, Grenoble, France.

 The Readme.md file contains further details on the structure of the repository and the materials of each component. Please refer to the PhD thesis here for further details not found in the Readme.md file. Additional information/data not included in this repository is available upon request.
DOI: 10.5281/zenodo.7813697
title: Design of a triaxial compression cell for x-ray tomography

description: This repository contains the technical drawings of the triaxial compression setup developed and used in the PhD thesis "Experimental investigation of the effects of particle shape and friction on the mechanics of granular media" by Gustavo Pinzón (Université Grenoble Alpes).

The setup is a modification of the traditional setup used in geotechnical testing, presenting a sliding base on one of the ends, which allows the creation of a singular strain localisation region. The experimental setup is designed for in-situ testing inside the x-ray tomography cabin of Laboratoire 3SR, Grenoble, France.

 The Readme.md file contains further details on the structure of the repository and the materials of each component. Please refer to the PhD thesis here for further details not found in the Readme.md file. Additional information/data not included in this repository is available upon request.
DOI: 10.5281/zenodo.10492182
title: LINGUISTIC INTENSIFIERS OF THE RUSSIAN LANGUAGE IN THE SEMANTIC SEGMENT OF THE XXI CENTURY
DOI: 10.5281/zenodo.10492181
title: LINGUISTIC INTENSIFIERS OF THE RUSSIAN LANGUAGE IN THE SEMANTIC SEGMENT OF THE XXI CENTURY
DOI: 10.5281/zenodo.10479473
title: Example of GSRN log with uncertainties

description: The log file reports an example of post-processed data product for temperature measurements at climatological reference stations, according to the findings of this project and now specified by the GCOS Surface Reference Network - GSRN

Column A reports the date and time, while in column B temperature are directly converted from Ohm to degree Celsius, being the standard recommended sensor for climate reference stations is a PT 100. Data in column B already takes into account the correction due to the sensor calibration and is therefore the main value for this data file.

According to the findings of this project, now accepted as recommendations for the climatological stations of the GSRN, accurate air temperature measurements require the evaluation of the correction and/or uncertainty contributions due to several other associated quantities of influence (AQI): Direct Solar radiation (W/m^2), Reflected Solar radiation (W/m^2), Wind direction (degree), Wind speed (m/s), Precipitation, rain temperature. These are measured at the same time at the station by means of other instruments, but are not recorded at reference level (they are used for the temperature correction due to the influence of each environmental factor).

From column J to column Q the uncertainty components are reported. 

Column j reports the “system uncertainty” (According to the WMO MQCS), being the instrumental component due to the thermometer calibration, drift, resolution, logger etc. This is the key uncertainty components, required to be within the limits of the WMO prescriptions (0.2 °C in K=2). The following columns reports the uncertainty associated to each AQI, which at present are just an attempt to quantify the several contributions. Studies are still required for completing the thermodynamic models and quantifying each uncertainty contributions: such process is strictly linked to the specific instrumentation used (thermometer, screen, sensor) and need to be evaluated case by case.
DOI: 10.5281/zenodo.10479474
title: Example of GSRN log with uncertainties

description: The log file reports an example of post-processed data product for temperature measurements at climatological reference stations, according to the findings of this project and now specified by the GCOS Surface Reference Network - GSRN

Column A reports the date and time, while in column B temperature are directly converted from Ohm to degree Celsius, being the standard recommended sensor for climate reference stations is a PT 100. Data in column B already takes into account the correction due to the sensor calibration and is therefore the main value for this data file.

According to the findings of this project, now accepted as recommendations for the climatological stations of the GSRN, accurate air temperature measurements require the evaluation of the correction and/or uncertainty contributions due to several other associated quantities of influence (AQI): Direct Solar radiation (W/m^2), Reflected Solar radiation (W/m^2), Wind direction (degree), Wind speed (m/s), Precipitation, rain temperature. These are measured at the same time at the station by means of other instruments, but are not recorded at reference level (they are used for the temperature correction due to the influence of each environmental factor).

From column J to column Q the uncertainty components are reported. 

Column j reports the “system uncertainty” (According to the WMO MQCS), being the instrumental component due to the thermometer calibration, drift, resolution, logger etc. This is the key uncertainty components, required to be within the limits of the WMO prescriptions (0.2 °C in K=2). The following columns reports the uncertainty associated to each AQI, which at present are just an attempt to quantify the several contributions. Studies are still required for completing the thermodynamic models and quantifying each uncertainty contributions: such process is strictly linked to the specific instrumentation used (thermometer, screen, sensor) and need to be evaluated case by case.
DOI: 10.6084/m9.figshare.24980763
title: Original data.zip

description: These original datas consist of fecal RNA sequences from all animals involved in fecal microbiota sequencing in this study. The animal model used is the SPF grade BALB/c mice induced by miquimod, and the sequencing method employed is 16SrRNA sequencing. This study was conducted in strict compliance with the ethical requirements for experimental animals.
DOI: 10.6084/m9.figshare.24980763.v1
title: Original data.zip

description: These original datas consist of fecal RNA sequences from all animals involved in fecal microbiota sequencing in this study. The animal model used is the SPF grade BALB/c mice induced by miquimod, and the sequencing method employed is 16SrRNA sequencing. This study was conducted in strict compliance with the ethical requirements for experimental animals.
DOI: 10.4121/9c8c079e-a941-4a66-89d8-3462bf30ff05
title: Artifact for paper (First Steps towards Deductive Verification of LLVM IR)

description: Artifact for paper (First Steps towards Deductive Verification of LLVM IR) submitted to FASE '24 conference. For a full description on how to use the artifact, please see the README.md file. The artifact contains a VM with the VCLLVM tool and documentation.<br>Abstract of paper<br>Over the last years, deductive program verifiers have substantially improved, and their applicability on non-trivial applicationshas been demonstrated. However, a major bottleneck is that for every new programming language, a new deductive verifier has to be built.This paper describes the first steps in a project that aims to address this problem, by developing language-agnostic support for deductive verification: Rather than building a deductive program verifier for every new programming language, we develop deductive program verification technology for a widely-used intermediate representation language (LLVM IR), such that we eventually get verification support for any new language that can be compiled into the LLVM IR format.Concretely, this paper describes the design of VCLLVM, a prototype tool that adds LLVM IR as a supported language to the VerCors verifier. We discuss the challenges that have to be addressed to develop verification support for such a low-level language. Moreover, we also sketch how we envisage to build verification support for any specified source program that can be compiled into LLVM IR on top of VCLLVM.<br>
DOI: 10.4121/9c8c079e-a941-4a66-89d8-3462bf30ff05.v1
title: Artifact for paper (First Steps towards Deductive Verification of LLVM IR)

description: Artifact for paper (First Steps towards Deductive Verification of LLVM IR) submitted to FASE '24 conference. For a full description on how to use the artifact, please see the README.md file. The artifact contains a VM with the VCLLVM tool and documentation.<br>Abstract of paper<br>Over the last years, deductive program verifiers have substantially improved, and their applicability on non-trivial applicationshas been demonstrated. However, a major bottleneck is that for every new programming language, a new deductive verifier has to be built.This paper describes the first steps in a project that aims to address this problem, by developing language-agnostic support for deductive verification: Rather than building a deductive program verifier for every new programming language, we develop deductive program verification technology for a widely-used intermediate representation language (LLVM IR), such that we eventually get verification support for any new language that can be compiled into the LLVM IR format.Concretely, this paper describes the design of VCLLVM, a prototype tool that adds LLVM IR as a supported language to the VerCors verifier. We discuss the challenges that have to be addressed to develop verification support for such a low-level language. Moreover, we also sketch how we envisage to build verification support for any specified source program that can be compiled into LLVM IR on top of VCLLVM.<br>