Thesis - Bachelor (84)
10301.
Thesis - Bachelor
Motif Search in Protein Sequences for Protein Structure Prediction. Bachelor, Universität des Saarlandes, Saarbrücken (2005)
10302.
Thesis - Bachelor
Identification of Functionally Important Regions in Cytochrome P450 Systems and a Systematic Analysis of Various CYP P450 Homology Models. Bachelor, Universität des Saarlandes, Saarbrücken (2005)
10303.
Thesis - Bachelor
Generating Molecular Hashcodes for Finding Duplicates in Virtual Screening Libraries. Bachelor, Universität des Saarlandes, Saarbrücken (2005)
10304.
Thesis - Bachelor
Rekonstruktion von bewegtem Stoff mittels direkter Suchverfahren. Bachelor, Universität des Saarlandes, Saarbrücken (2005)
10305.
Thesis - Bachelor
Implementation of a Method to Filter out Compounds with Toxic, Reactive and Unsuitable Functional Groups. Bachelor, Universität des Saarlandes, Saarbrücken (2005)
10306.
Thesis - Bachelor
Generating Frequency Profiles from Multiple Structure Alignments. Bachelor, Universität des Saarlandes, Saarbrücken (2005)
10307.
Thesis - Bachelor
Fun2Struc - A Tool For Predicting Protein Structure Classes from Function Predictions. Bachelor, Universität des Saarlandes, Saarbrücken (2004)
10308.
Thesis - Bachelor
Automated Differential Analysis of Proteomes. Bachelor, Universität des Saarlandes, Saarbrücken (2004)
Working Paper (738)
10309.
Working Paper
Biologically Informed NeuralODEs for Genome-wide Regulatory Dynamics. (2024), 39 pp.
10310.
Working Paper
Multi-Cultural Commonsense Knowledge Distillation. (2024), 20 pp.
10311.
Working Paper
Breaking the 3/4 Barrier for Approximate Maximin Share. (2023), 32 pp.
10312.
Working Paper
Improving Approximation Guarantees for Maximin Share. (2023), 41 pp.
10313.
Working Paper
Can Large Language Models Generate Salient Negative Statements? (2023), 7 pp.
10314.
Working Paper
Parallel and Distributed Exact Single-Source Shortest Paths with Negative Edge Weights. (2023), 38 pp.
10315.
Working Paper
Regular Separability in Büchi VASS. (2023), 31 pp.
10316.
Working Paper
Negative-Weight Single-Source Shortest Paths in Near-linear Time. (2023), 38 pp.
10317.
Working Paper
Dynamic (1.5+Epsilon)-Approximate Matching Size in Truly Sublinear Update Time. (2023), 42 pp.
10318.
Working Paper
Incremental (1 - ε)-approximate dynamic matching in O(poly(1/ε)) update time. (2023), 19 pp.
10319.
Working Paper
Explicit Model Construction for Saturated Constrained Horn Clauses. (2023), 22 pp.
10320.
Working Paper
SCL(FOL) Revisited. (2023), 23 pp.