Search · four archives
Search · four archives
19 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.…
Max A. Little, Xi He, Ugur Kayas
Dynamic programming (DP) is a broadly applicable algorithmic design paradigm for the efficient, exact solution of otherwise intractable, combinatorial problems. However, the design of such algorithms is often presented informally in an ad-hoc manner, and as a result is often difficult to apply correctly. In this paper…
Jesse Hoey, Robert St‐Aubin, Alan J. Hu, Craig Boutilier
Recently, structured methods for solving factored Markov decisions processes (MDPs) with large state spaces have been proposed recently to allow dynamic programming to be applied without the need for complete state enumeration. We propose and examine a new value iteration algorithm for MDPs that uses algebraic decision…
Ryo Kuroiwa, J. Christopher Beck
- We propose domain-independent dynamic programming (DIDP), a novel model-based paradigm for combinatorial optimization. - The modeling language for DIDP is designed so that a user can investigate efficient models by incorporating redundant information. - We implement DIDP solvers using heuristic search in an…
Thomas J. Sargent, John Stachurski
We introduce a framework that represents dynamic programs as families of policy operators acting on a partially ordered set. We provide an optimality theory based on high-level assumptions and show how applications across a broad spectrum of dynamic programming subfields fit into this framework. We apply the framework…
Zedong Peng, Albert Lee, David E. Bernal Neira
Discrete-Steepest Descent Algorithm Authors: ['Zedong Peng' 'Albert Lee' 'David E. Bernal Neira'] Abstract— Dynamic optimization problems involving discrete decisions have several applications, yet lead to challenging optimization problems that must be addressed efficiently. Combining discrete variables with…
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…
Liwei Cao, Danilo Russo, Vassilios S. Vassiliadis, Alexei Lapkin
A mixed-integer nonlinear programming (MINLP) formulation for symbolic regression was proposed to identify physical models from noisy experimental data. The formulation was tested using numerical models and was found to be more efficient than the previous literature example with respect to the number of predictor…
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…
Authors not listed
Deriving versatile and robust mechanistic models from experimental data is a key challenge in engineering and natural sciences. This is especially true in chemical reaction engineering, where reactor manufacturers and operators increasingly pursue the development and maintenance of digital twins that rely on frequent…
Authors not listed
The Hidden Subgroup Problem (HSP) unifies several landmark quantum algorithms, yet systematic exploration of its variants and modern applications has slowed. This paper revives HSP-based algorithm design by examining new group structures with direct relevance to post-quantum cryptography, lattice problems, and…