Sciweavers

5269 search results - page 325 / 1054
» order 2007
Sort
View
180
Voted
BMCBI
2005
91views more  BMCBI 2005»
15 years 7 months ago
COPASAAR - A database for proteomic analysis of single amino acid repeats
Background: Single amino acid repeats make up a significant proportion in all of the proteomes that have currently been determined. They have been shown to be functionally and med...
Daniel P. Depledge, Andrew R. Dalby
203
Voted
JAR
2007
123views more  JAR 2007»
15 years 7 months ago
Reasoning about Object-based Calculi in (Co)Inductive Type Theory and the Theory of Contexts
Abstract. We illustrate a methodology for formalizing and reasoning about Abadi and Cardelli’s object-based calculi, in (co)inductive type theory, such as the Calculus of (Co)Ind...
Alberto Ciaffaglione, Luigi Liquori, Marino Micula...
JAT
2007
92views more  JAT 2007»
15 years 7 months ago
On real-analytic recurrence relations for cardinal exponential B-splines
Let LN+1 be a linear differential operator of order N + 1 with constant coefficients and real eigenvalues 1, . . . , N+1, let E( N+1) be the space of all C∞-solutions of LN+1 o...
J. M. Aldaz, Ognyan Kounchev, Hermann Render
188
Voted
BMCBI
2005
86views more  BMCBI 2005»
15 years 7 months ago
Generalizations of Markov model to characterize biological sequences
Background: The currently used kth order Markov models estimate the probability of generating a single nucleotide conditional upon the immediately preceding (gap = 0) k units. How...
Junwen Wang, Sridhar Hannenhalli
JCB
2007
99views more  JCB 2007»
15 years 7 months ago
Duplication and Inversion History of a Tandemly Repeated Genes Family
Given a phylogenetic tree for a family of tandemly repeated genes and their signed order on the chromosome, we aim to find the minimum number of inversions compatible with an evo...
Mathieu Lajoie, Denis Bertrand, Nadia El-Mabrouk, ...