Search
Now showing items 1-10 of 31
Data Archive DFDP Seismic extended 3D surface and VSP survey (Alpine Fault 3D-VSP)
(Technische Universität Bergakademie Freiberg, 2021)
This seismic data set was acquired in 2016 by a joint effort of several partners. A detailed field report describes the field procedures and available data:
Townend, J., Eccles, J., Kellett, R., Buske, S., Constantinou, ...
Tomographic dataset of a particulate Soda-lime glass sample
(Technische Universität Bergakademie Freiberg, 2021)
Soda-lime glass particle samples embedded in epoxy resin mixed with graphite nanoparticles as spacer and scanned with tomograph Zeiss Xradia Versa 510
Particle sample is segmented via a standard workflow in Fiji (ImageJ) ...
Tomographic dataset of a particulate Dolomite sample
(Technische Universität Bergakademie Freiberg, 2021)
Dolomite particle samples embedded in wax and scanned with tomograph Zeiss Xradia Versa 510
Particle sample is segmented via a standard workflow in Fiji (ImageJ) and provided as "segmented.zip"
Resulting discrete particles ...
Tomographic dataset of a particulate Al2O3 sample
(Technische Universität Bergakademie Freiberg, 2021)
Al2O3 particle samples embedded in wax and scanned with tomograph Zeiss Xradia Versa 510
Particle sample is segmented via a standard workflow in Fiji (ImageJ) and provided as "segmented.zip"
Resulting discrete particles ...
Data on soil properties, associated with the manuscript "Importance of microbial communities at the root-soil interface for extracellular polymeric substances and soil aggregation in semiarid grasslands"
(Technische Universität Dresden, 2021)
Dataset of the obtained results per individual soil sample. "Field labels" fit the raw amplicon dataset, which is stored at NCBI Sequence Read Archive (SRA, https://www.ncbi.nlm.nih.gov/), under accession number PRJNA689290. ...
PRISM Probabilistic Model Checker extended by conditional probabilities, long-run averages and cumulative updates
(Technische Universität Dresden, 2021)
Source code of the probabilistic model checker PRISM (https://www.prismmodelchecker.org ) that includes all extensions developed for the thesis:
1) implementation of methods for conditional probabilities and expectations,
2) ...
Tomographic dataset of a particulate Limstone sample
(Technische Universität Bergakademie Freiberg, 2021)
Limestone particle samples embedded in wax and scanned with tomograph Zeiss Xradia Versa 510.
Particle sample is segmented via a standard workflow in Fiji (ImageJ) and provided as "segmented.zip"
Resulting discrete ...
Tomographic dataset of a particulate Quartz sample
(Technische Universität Bergakademie Freiberg, 2021)
Quartz particle samples embedded in wax and scanned with tomograph Zeiss Xradia Versa 510
Particle sample is segmented via a standard workflow in Fiji (ImageJ) and provided as "segmented.zip"
Resulting discrete particles ...
Tomographic dataset of a particulate Mica sample
(Technische Universität Bergakademie Freiberg, 2021)
Mica particle samples embedded in wax and scanned with tomograph Zeiss Xradia Versa 510
Particle sample is segmented via a standard workflow in Fiji (ImageJ) and provided as "segmented.zip"
Resulting discrete particles ...
Experiments and Results: Spinlock, PWCS, Circuit Design and Performance Evaluation of PRISM implementation
(Technische Universität Dresden, 2021)
This dataset contains the model files, queries, experiment setups, raw results and plots of the experiments: 1) analysis of the spinlock protocol, 2) analysis of the PWCS protocol, 3) analysis of the circuit designs for ...