Global ETD Search
Search theses and dissertations gathered from participating repositories worldwide. Every result links back to the library that holds it. No account is needed.
Results
Showing 1 to 2 of 2 for “"DLV"”.
-
Possible worlds explorer: Combining declarative programming with user-friendly Jupyter Notebooks
… output from different ASP reasoners (Clingo and DLV) and then run analytical queries over all answer sets or ""possible worlds"" (PWs), e.g., to calculate relative frequencies of atoms across PWs or to hierarchically cluster PWs based on user-defined complexity and similarity measures. PWE also …
-
Indirekte und direkte Methoden zur Detektion des Erythropoietindopings
… im Gegensatz zu der Verlaufsuntersuchung der DLV-Athleten, bei der der längste Untersuchungs-zeitraum sechs Monate betrug, eine Veränderung aller Parameter, mit Ausnahme von Erythropoietin, bestand. Bei der Auswertung der Belastungsstudien wurde für die gut trainierten Athleten nur ein …