• 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" 

  Zethof, J.H.T. (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. ...

• Appendix - MAP 4.0 – Proposal of a prescriptive Maturity Model for assessing the Digitalization of Procurement 

  Trautmann, Lorenz (Technische Universität Dresden, 2021)

  This appendix describes the comparison and evaluation of the identified maturity models. In addition, the three questionnaires used in the case study conducted are illustrated.

• Data Archive DFDP Seismic extended 3D surface and VSP survey (Alpine Fault 3D-VSP) 

  Lay, Vera; Buske, Stefan; Townend, John; Eccles, Jennifer; Kellett, Richard; Constantinou, Alexis; Schmitt, Douglas; Bertram, Malcolm; Hall, Kevin; Savage, Martha; Gorman, Andrew; Bodenburg, Sascha Barbara; Kleine, Franz; Kofman, Randolf; Benson, Adrian; Gulley, Anton; McNab, Andrew; Lindsay, Danielle; Hopp, Chet; Mann, Christin; Lepine, Patrick; Bowman, Hamish; Lawton, Don (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, ...

• Experiments and Results: Spinlock, PWCS, Circuit Design and Performance Evaluation of PRISM implementation 

  Märcker, Steffen (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 ...

• PRISM Probabilistic Model Checker extended by conditional probabilities, long-run averages and cumulative updates 

  Märcker, Steffen (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) ...

View more