4 Ergebnisse für: prettyprint
-
The original Needleman-Wunsch algorithm (sequence alignment) - Algebraic Dynamic Programming
http://bibiserv.techfak.uni-bielefeld.de/cgi-bin/adp_NeedlemanWunsch
Keine Beschreibung vorhanden.
-
Local similarity (sequence alignment) - Algebraic Dynamic Programming
http://bibiserv.techfak.uni-bielefeld.de/cgi-bin/adp_LocSim
Keine Beschreibung vorhanden.
-
Global similarity with affine gap scores (sequence alignment) - Algebraic Dynamic Programming
http://bibiserv.techfak.uni-bielefeld.de/cgi-bin/adp_AffineGlobSim
Keine Beschreibung vorhanden.
-
Meine Studienarbeit
http://wayback.archive.org/web/20120315040903/http://www.stefan-baur.de/priv.studies.studienarbeit.html
Meine Studienarbeit realisiert einen Beweiser für die Presburger Arithmetik.