官方服务:
资源简介:
Experiment evaluation of ESBMC v7.6 over the C++ benchmarks (benchexec).
应用场景:
创建时间:
2025-01-01
相关数据集
Magnetophotoselection simulations and fitting of X-band LaserIMD datasets to support publication: I 2 BODIPY as a new photoswitchable spin label for light-induced pulsed EPR dipolar spectroscopy exploiting magnetophotoselection
Magnetophotoselection simulations and fitting of X-band LaserIMD datasets to support publication: I 2 BODIPY as a new photoswitchable spin label for light-induced pulsed EPR dipolar spectrosc
DataCite Commons2024-10-31 更新100
RAW EPR Files for compound 2.BD
Contains RAW continuous wave frozen solution and powder spectra for compound 2.BD measured at Q-band.Includes Q-band DEER + RIDME RAW data files as well as EDFS spectra and relaxation data (T1 and T2
DataCite Commons2024-05-29 更新90
OUT 18012 Photographs (RAW format)
Suite of photographs (RAW format) used for 3-D model production of Antarctic Meteorite OUT 18012.
DataCite Commons2022-08-01 更新70
XPS data from The effect of Mn doping and Ti 3+ defects at TiO 2 surfaces in NO and SO 2 gas capture investigated using near-ambient pressure X-ray photoelectron spectroscopy
Some oxidising air pollutants, such as NOx and SO2 are thought to be linked to premature skin aging. Here we study a model system of titanium dioxide (TiO2) single crystals with and without Mn doping,
DataCite Commons2023-12-20 更新100
EDXRF of MXene synthesis product
Perform EDXRF on Ti3C2 MXene product to verify composition and purity
DataCite Commons2022-11-04 更新70



