Search · four archives
Search · four archives
11 papers · ranked by Valyu relevance
Peter Steffen, Robert Giegerich
Background Dynamic programming is a widely used programming technique in bioinformatics. In sharp contrast to the simplicity of textbook examples, implementing a dynamic programming algorithm for a novel and non-trivial application is a tedious and error prone task. The algebraic dynamic programming approach seeks to…
Christian Höner zu Siederdissen, Sonja J Prohaska, Peter F Stadler
Background Dynamic programming algorithms provide exact solutions to many problems in computational biology, such as sequence alignment, RNA folding, hidden Markov models (HMMs), and scoring of phylogenetic trees. Structurally analogous algorithms compute optimal solutions, evaluate score distributions, and perform…
Cédric Saule, Robert Giegerich
Pareto optimization combines independent objectives by computing the Pareto front of its search space, defined as the set of all solutions for which no other candidate solution scores better under all objectives. This gives, in a precise sense, better information than an artificial amalgamation of different scores into…
Georg Sauthoff, Mathias Möhl, Stefan Janssen, Robert Giegerich
Motivation: Dynamic programming is ubiquitous in bioinformatics. Developing and implementing non-trivial dynamic programming algorithms is often error prone and tedious. Bellman’s GAP is a new programming system, designed to ease the development of bioinformatics tools based on the dynamic programming technique.…
Sungho Shin, Ophelia Venturelli, Victor M. Zavala
We present a nonlinear programming (NLP) framework for the scalable solution of parameter estimation problems that arise in dynamic modeling of biological systems. Such problems are computationally challenging because they often involve highly nonlinear and stif differential equations as well as many experimental data…
Vahid Mardanlou, Elisa Franco
In a synthetic biological network it may often be desirable to maximize or minimize parameters such as reaction rates, fluxes and total concentrations of reagents, while preserving a given dynamic behavior. We consider the problem of parameter optimization in biomolecular bistable circuits. We show that, under some…
Kangbien Park
Humans have long employed directed evolution (DE) to engineer desired biological traits. In this paper, I introduce an algebraic framework that provides a quantitative representation of the general phenotypic traits of asexual populations, enabling the systematic modeling of DE processes. Within this framework, key…
Mateusz Gruzewski, Marek Palkowski, Ramon Antonio Rodriges Zalipynis
In this article, we present an efficient and concise OpenMP implementation of the Nussinov RNA folding algorithm, a well-known representative of non-serial polyadic dynamic programming (NPDP). Our goal is to develop an optimized implementation that can serve as a template for related dynamic programming applications.…
Henri Schmidt, Yuanyuan Qi, Benjamin J. Raphael, Mohammed El-Kebir
Reconstructing the evolutionary history of tumors from bulk DNA sequencing of multiple tissue samples remains a challenging computational problem, requiring simultaneous deconvolution of the tumor tissue and inference of its evolutionary history. Recently, phylogenetic reconstruction methods have made significant…
Nikolai Baudis, Pierre Barbera, Sebastian Graf, Sarah Lutteropp + 3 more
In the context of a master level programming practical at the computer science department of the Karlsruhe Institute of Technology, we developed and make available two independent and highly optimized open-source implementations for the pair-wise statistical alignment model, also known as TKF91, that was developed by…
Tobias Røikjer, Asger Hobolth, Kasper Munch
Phase-type distributions model the time until absorption in continuous or discrete-time Markov chains on a finite state space. The multivariate phase-type distributions have diverse and important applications by modeling rewards accumulated at visited states. However, even moderately-sized state spaces make the…