ICDE
2011
IEEE
12 years 8 months ago
2011
IEEE
—Complex SQL queries are widely used today, but it is rather difficult to check if a complex query has been written correctly. Formal verification based on comparing a specifi...
BIB
2011
12 years 11 months ago
2011
Programs for RNA mutational analysis that are structure-based and rely on secondary structure prediction have been developed and expanded in the past several years. They can be us...
BMCBI
2010
13 years 2 months ago
2010
Background: Colon cancer is driven by mutations in a number of genes, the most notorious of which is Apc. Though much of Apc's signaling has been mechanistically identified o...
NAR
1998
13 years 4 months ago
1998
The eighth edition of the haemophilia B database (http://www.umds.ac.uk/molgen/haemBdatabase.htm ) lists in an easily accessible form all known factor IX mutations due to small ch...
NAR
1998
13 years 4 months ago
1998
The Marfan database is a software that contains routines for the analysis of mutations identified in the
BMCBI
2002
13 years 4 months ago
2002
Background: For many years, scientists believed that point mutations in genes are the genetic switches for somatic and inherited diseases such as cystic fibrosis, phenylketonuria ...
MOR
2006
13 years 4 months ago
2006
It has been shown (Hart [2002]) that the backward induction (or subgame-perfect) equilibrium of a perfect information game is the unique stable outcome for dynamic models consisti...
BMCBI
2006
13 years 4 months ago
2006
Background: The diverse functions of ncRNAs critically depend on their structures. Mutations in ncRNAs disrupting the structures of functional sites are expected to be deleterious...
BMCBI
2008
13 years 4 months ago
2008
Background: A basic question of protein structural studies is to which extent mutations affect the stability. This question may be addressed starting from sequence and/or from str...
BMCBI
2008
13 years 4 months ago
2008
Background: RNAmute is an interactive Java application which, given an RNA sequence, calculates the secondary structure of all single point mutations and organizes them into categ...