Sciweavers

1659 search results - page 188 / 332
» From Functional Analysis to Iterative Methods
Sort
View
127
Voted
BMCBI
2010
139views more  BMCBI 2010»
15 years 3 months ago
RNAstructure: software for RNA secondary structure prediction and analysis
Background: To understand an RNA sequence's mechanism of action, the structure must be known. Furthermore, target RNA structure is an important consideration in the design of...
Jessica S. Reuter, David H. Mathews
150
Voted
ICLP
1997
Springer
15 years 7 months ago
Automatic Termination Analysis of Logic Programs
Abstract This paper describes a general framework for automatic termination analysis of logic programs, where we understand by termination" the niteness of the LD-tree constru...
Naomi Lindenstrauss, Yehoshua Sagiv
RECOMB
2007
Springer
16 years 3 months ago
Comparative Analysis of Spatial Patterns of Gene Expression in Drosophila melanogaster Imaginal Discs
Determining the precise spatial extent of expression of genes across different tissues, along with knowledge of the biochemical function of the genes is critical for understanding ...
Cyrus L. Harmon, Parvez Ahammad, Ann Hammonds, Ric...
121
Voted
ISMB
1997
15 years 4 months ago
Hierarchical Protein Structure Superposition Using Both Secondary Structure and Atomic Representations
The structural comparison of proteins has become increasingly important as a means to identify protein motifs and fold families. In this paper we present a new algorithm for the c...
Amit Pal Singh, Douglas L. Brutlag
134
Voted
CORR
2007
Springer
126views Education» more  CORR 2007»
15 years 3 months ago
Linear Tabling Strategies and Optimizations
Recently there has been a growing interest of research in tabling in the logic programming community because of its usefulness in a variety of application domains including progra...
Neng-Fa Zhou, Taisuke Sato, Yi-Dong Shen