Institut für Theoretische Informatik https://opara.zih.tu-dresden.de/xmlui/handle/123456789/573 2026-04-06T10:25:48Z Experimental results with discontinuous supertag parsing https://opara.zih.tu-dresden.de/xmlui/handle/123456789/6123 Experimental results with discontinuous supertag parsing Ruprecht, Thomas This archive contains all log files for the experiments described in chapter 6 of my phd thesis "On the Extraction of Lexicalized Grammars and Parsing via Supertagging for Discontinuous Constituent Structures." It involves prediction and parsing scores monitored during the training of each classifier and extracted set of supertags in the grid searches for viable extraction hyperparameters. A table provides an overview of the final model scores for each treebank. 2024-01-01T00:00:00Z disutapa https://opara.zih.tu-dresden.de/xmlui/handle/123456789/6122 disutapa Ruprecht, Thomas This project is an implementation of the supertagging-based parser for discontinuous constituent trees as described in my phd thesis "On the Extraction of Lexicalized Grammars and Parsing via Supertagging for Discontinuous Constituent Structures." Details on the installation and usage are found in the file "readme.md". 2024-01-01T00:00:00Z Experiments and Results: Spinlock, PWCS, Circuit Design and Performance Evaluation of PRISM implementation https://opara.zih.tu-dresden.de/xmlui/handle/123456789/1892 Experiments and Results: Spinlock, PWCS, Circuit Design and Performance Evaluation of PRISM implementation Märcker, Steffen 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 polarity-controllable multiple-gate FETs and 4) performance analysis of the PRISM implementation of conditional probabilities. 2021-01-01T00:00:00Z PRISM Probabilistic Model Checker extended by conditional probabilities, long-run averages and cumulative updates https://opara.zih.tu-dresden.de/xmlui/handle/123456789/1891 PRISM Probabilistic Model Checker extended by conditional probabilities, long-run averages and cumulative updates Märcker, Steffen 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) implementation of relativized (conditional) long-run averages, 3) implementation of cumulative updates, and 4) various general enhancements and bug fixes. 2021-01-01T00:00:00Z