#### Filter Results:

- Full text PDF available (38)

#### Publication Year

2003

2017

- This year (3)
- Last 5 years (23)
- Last 10 years (36)

#### Publication Type

#### Co-author

#### Journals and Conferences

#### Brain Region

#### Cell Type

#### Data Set Used

#### Key Phrases

#### Method

#### Organism

Learn More

- Iván Dotú, Manuel Cebrián, Pascal Van Hentenryck, Peter Clote
- IEEE/ACM Transactions on Computational Biology…
- 2011

HASH(0x390ed58)

- Ryuta Ishimura, Gábor P. Nagy, +7 authors Susan L Ackerman
- Science
- 2014

In higher eukaryotes, transfer RNAs (tRNAs) with the same anticodon are encoded by multiple nuclear genes, and little is known about how mutations in these genes affect translation and cellular homeostasis. Similarly, the surveillance systems that respond to such defects in higher eukaryotes are not clear. Here, we discover that loss of GTPBP2, a novel… (More)

- Manuel Cebrián, Iván Dotú, Pascal Van Hentenryck, Peter Clote
- AAAI
- 2008

Ab initio protein structure prediction is an important problem for which several algorithms have been developed. Algorithms differ by how they represent 3D protein conformations (on-lattice, off-lattice, coarse-grain or fine-grain model), by the energy model they consider, and whether they are heuristic or exact algorithms. This paper presents a local… (More)

- Iván Dotú, William Andrew Lorenz, Pascal Van Hentenryck, Peter Clote
- Nucleic acids research
- 2010

Given an RNA sequence and two designated secondary structures A, B, we describe a new algorithm that computes a nearly optimal folding pathway from A to B. The algorithm, RNAtabupath, employs a tabu semi-greedy heuristic, known to be an effective search strategy in combinatorial optimization. Folding pathways, sometimes called routes or trajectories, are… (More)

- Iván Dotú, Alvaro del Val, Manuel Cebrián
- CP
- 2003

The Quasigroup Completion Problem (QCP) is a very challenging benchmark among combinatorial problems, and the focus of much recent interest in the area of constraint programming. [5] reports that QCPs of order 40 could not be solved by pure constraint programming approaches, but could sometimes be solved by hybrid approaches combining constraint programming… (More)

We perform a systematic comparison of SAT and CSP models for a challenging combinatorial problem, quasigroup completion (QCP). Our empirical results clearly indicate the superiority of the 3D SAT encoding (Kautz et al. 2001), with various solvers, over other SAT and CSP models. We propose a partial explanation of the observed performance. Analytically, we… (More)

- Iván Dotú, Pascal Van Hentenryck
- CP
- 2006

The Low Autocorrelation Binary Sequences problem (LABS) is problem 005 in the CSPLIB library, where it is stated that “these problems pose a significant challenge to local search methods”. This paper presents a straighforward tabu search that systematically finds the optimal solutions for all tested instances.

- Rodrigo Cilla, Vinodh Mechery, Beatriz Hernandez de Madrid, Steven Del Signore, Iván Dotú, Victor Hatini
- PLoS Computational Biology
- 2015

Epithelial morphogenesis generates the shape of tissues, organs and embryos and is fundamental for their proper function. It is a dynamic process that occurs at multiple spatial scales from macromolecular dynamics, to cell deformations, mitosis and apoptosis, to coordinated cell rearrangements that lead to global changes of tissue shape. Using time lapse… (More)

- Juan Antonio García-Martín, Peter Clote, Iván Dotú
- J. Bioinformatics and Computational Biology
- 2013

Synthetic biology is a rapidly emerging discipline with long-term ramifications that range from single-molecule detection within cells to the creation of synthetic genomes and novel life forms. Truly phenomenal results have been obtained by pioneering groups--for instance, the combinatorial synthesis of genetic networks, genome synthesis using BioBricks,… (More)

- Kourosh Zarringhalam, Michelle M. Meyer, Iván Dotú, Jeffrey H. Chuang, Peter Clote
- PloS one
- 2012

Chemical and enzymatic footprinting experiments, such as shape (selective 2'-hydroxyl acylation analyzed by primer extension), yield important information about RNA secondary structure. Indeed, since the [Formula: see text]-hydroxyl is reactive at flexible (loop) regions, but unreactive at base-paired regions, shape yields quantitative data about which RNA… (More)