Sciweavers

3793 search results - page 241 / 759
» Expressive Description Logics
Sort
View
CASCON
2007
1035views Education» more  CASCON 2007»
15 years 8 months ago
An IDE for software development using tabular expressions
We present preliminary work on an IDE for formal software development using tabular expressions as the basis for precise specifications and descriptions of software behaviour. 1 ...
Dennis K. Peters, Mark Lawford, Baltasar Tranc&oac...
BMCBI
2010
172views more  BMCBI 2010»
15 years 1 months ago
Nonparametric identification of regulatory interactions from spatial and temporal gene expression data
Background: The correlation between the expression levels of transcription factors and their target genes can be used to infer interactions within animal regulatory networks, but ...
Anil Aswani, Soile V. E. Keränen, James Brown...
BMCBI
2007
118views more  BMCBI 2007»
15 years 6 months ago
A new advance in alternative splicing databases: from catalogue to detailed analysis of regulation of expression and function of
Background: Most human genes produce several transcripts with different exon contents by using alternative promoters, alternative polyadenylation sites and alternative splice site...
Pierre de la Grange, Martin Dutertre, Margot Corre...
BMCBI
2011
15 years 1 months ago
A Platform for Processing Expression of Short Time Series (PESTS)
Background: Time course microarray profiles examine the expression of genes over a time domain. They are necessary in order to determine the complete set of genes that are dynamic...
Anshu Sinha, Marianthi Markatou
NAR
2010
202views more  NAR 2010»
15 years 1 months ago
dbDEPC: a database of Differentially Expressed Proteins in human Cancers
Cancer-related investigations have long been in the limelight of biomedical research. Years of effort from scientists and doctors worldwide have generated large amounts of data at...
Hong Li, Ying He, Guohui Ding, Chuan Wang, Lu Xie,...