1
0
0
(1 - 28 von 33
)
Programming Systems Lab: Publications by Mathias MöhlUniversität des Saarlandes
www.ps.uni-saarland.de
Programming Systems Lab: Publications by Mathias Möhl ; Dynamic Programming based RNA Pseudoknot Alignment · Doctoral Dissertation, Saarland University ; Fast RNA ... Programming Systems Lab: Publications by Mathias Möhl ; Dynamic Programming based RNA Pseudoknot Alignment · Doctoral Dissertation, Saarland University ; Fast RNA ...
Professur für Bioinformatik Freiburg - SupplementsBioinformatics Group Freiburg
www.bioinf.uni-freiburg.de
... Reiche, Ivo L. Hofacker, Peter F. Stadler, Rolf Backofen; Lifting Prediction to Alignment of RNA Pseudoknots Mathias Möhl, Sebastian Will, and Rolf Backofen Reiche, Ivo L. Hofacker, Peter F. Stadler, Rolf Backofen; Lifting Prediction to Alignment of RNA Pseudoknots Mathias Möhl, Sebastian Will, and Rolf Backofen.
CARNA: Constraint-based Alignment of RNA Ensembles
www.bioinf.uni-leipzig.de
Alessandro Dal Palu, Mathias Möhl, and Sebastian Will. A propagator for Maximum Weight String Alignment with Arbitrary Pairwise Dependencies. In Proceedings of the 16th International Conference on Principles and Practice of Constraint Programming (CP-2010), page 167–175, (doi:
People at the Programming Systems Lab
www.ps.uni-saarland.de
Didier Le Botlan. Michael Mehl. Mathias Möhl. Martin Müller.
ExpaRNA-P: simultaneous exact pattern matching and folding of RNAs |...
bmcbioinformatics.biomedcentral.com
Christina Otto, Mathias Möhl, Rolf Backofen & Sebastian Will. Bioinformatics, Department of Computer Science, University of Leipzig, Leipzig, ...
Publications of Sebastian Will
www.bioinf.uni-leipzig.de
Christina Otto, Mathias Möhl, Steffen Heyne, Mika Amit, Gad M. Landau, Rolf Backofen, and Sebastian Will. ExpaRNA-P: simultaneous exact pattern matching and folding of RNAs. ExpaRNA-P: simultaneous exact pattern matching and folding of RNAs.
Programming Systems Lab: Publications by Mathias Möhl
ps.uni-saarland.de
Mathias Möhl Diploma thesis, Programming Systems Lab, Universitat des Saarlandes, Saarbrucken Well-Nested Drawings as Models of Syntactic Structure (Extended Version) Manuel Bodirsky, Marco Kuhlmann, Mathias Möhl Technical Report. Lexicalised Configuration Grammars Robert Grabowski, Marco Kuhlmann, Mathias Möhl
Selected papers from WABI 10
www.biomedcentral.com
Authors: Mathias Möhl, Raheleh Salari, Sebastian Will, Rolf Backofen and S Cenk Sahinalp. Citation: Algorithms for Molecular Biology :39. Content type: ...
Mathias Möhl - FreiDok plusfreidok.uni-freiburg.de › pers
freidok.uni-freiburg.de
Mathias Möhl. Seit. Beschreibung. Forschungsschwerpunkte. Diese Person in anderen Informationssystemen. GND-Nummer GND Logo ...
dblp: Christina Schmiedl
dblp.uni-trier.de
List of computer science publications by Christina Schmiedl
Publication details
www.ps.uni-saarland.de
Mathias Möhl . Doctoral Dissertation, Saarland University, October Pseudoknots are certain structural motifs of RNA molecules. In this thesis we consider the problem of RNA pseudoknot alignment. Most current approaches either discard pseudoknots in order to be efficient or rely on heuristics generating only approximate solutions. This work focuses on dynamic programming based alignment ...
LocARNA - Alignment of RNAs
www.bioinf.uni-freiburg.de
The LocARNA package comprises several tools for producing fast and high-quality pairwise and multiple ... This tutorial video by Mathias Möhl provides a quick ...
Publications of the Programming Systems Lab
www.ps.uni-saarland.de
Mathias Möhl Doctoral Dissertation, Saarland University. Progress in the Development of Automated Theorem Proving for Higher-Order Logic Geoff Sutcliffe, ...
Professur für Bioinformatik Freiburg - SPARSE: Quadratic Time...
www.bioinf.uni-freiburg.de
Sebastian Will, Christina Otto, Milad Miladi, Mathias Möhl, and Rolf Backofen. SPARSE: quadratic time simultaneous alignment and folding of RNAs without ...
LocalFold - Local Folding of RNABioinformatics Group Freiburg
www.bioinf.uni-freiburg.de
A recent installation of the Vienna Package Vienna RNA package is required. Publication. Sita J. Lange, Daniel Maticzka, Mathias Möhl, Joshua N. Gagnon, Chris M ... A recent installation of the Vienna Package Vienna RNA package is required. Publication. Sita J. Lange, Daniel Maticzka, Mathias Möhl, Joshua N. Gagnon, Chris M ...
Exact Pattern Matching for RNA Structure Ensembleswww.bioinf.uni-freiburg.de › Lists
www.bioinf.uni-freiburg.de
Mika Amit, Rolf Backofen, Steffen Heyne, Gad M. Landau, Mathias Möhl, Christina Otto, Sebastian Will. In: IEEE/ACM Trans. Comput. Biology Bioinform.,
Programming Systems Lab: Publications by Marco KuhlmannUniversität des Saarlandes
www.ps.uni-saarland.de
, Mathias Möhl Twelfth Conference on Formal Grammar (FG). Mildly Context-Sensitive Dependency Languages (pdf) · Marco Kuhlmann, Mathias Möhl 45th Annual ... , Mathias Möhl Twelfth Conference on Formal Grammar (FG). Mildly Context-Sensitive Dependency Languages (pdf) · Marco Kuhlmann, Mathias Möhl 45th Annual ...
dblp: WCB@ICLP 2010: Edinburgh, Scotland, UK
dblp.dagstuhl.de
Bibliographic content of WCB@ICLP 2010: Edinburgh, Scotland, UK
Professur für Bioinformatik Freiburg - Bioinformatik AG
www.bioinf.uni-freiburg.de
Kousik Kundu. Christina Otto. Dragos Sorescu. Steffen Heyne. Andreas S. Richter. Dom. Dominic Rose. Sebastian Will. Mathias Möhl. Rileen Sinha. Oliver Krieg.
Rolf Backofendblp: computer science bibliography
dblp.org
— Mathias Möhl, Raheleh Salari, Sebastian Will, Rolf Backofen, Süleyman Cenk Sahinalp: Sparsification of RNA structure prediction including — Mathias Möhl, Raheleh Salari, Sebastian Will, Rolf Backofen, Süleyman Cenk Sahinalp: Sparsification of RNA structure prediction including ...
Gert Smolka: Doctoral Students
www.ps.uni-saarland.de
Incremental Decision Procedures for Modal Logic with Nominals and Eventualities. Mathias Möhl, 2010, Dynamic Programming based RNA ...
Verwandte Suchanfragen zu Mathias Möhl
Steffen Heyne Rolf Backofen |
Personen Vorname "Mathias" (19244) Name "Möhl" (208) |
sortiert nach Relevanz / Datum