ECCB
2008
IEEE
13 years 11 months ago
2008
IEEE
Abstract: Models of the dynamics of cellular interaction networks have become increasingly larger in recent years. Formal verification based on model checking provides a powerful t...
BICOB
2010
Springer
13 years 11 months ago
2010
Springer
Biomarker discovery for complex diseases is a challenging problem. Most of the existing approaches identify individual genes as disease markers, thereby missing the interactions a...
ASM
2010
ASM
13 years 11 months ago
2010
ASM
This paper presents Matelas, a B predicate calculus definition for social networking, modelling social-network content, privacy policies, social-networks friendship relations, and ...
ECCB
2008
IEEE
14 years 17 days ago
2008
IEEE
CIBCB
2009
IEEE
14 years 18 days ago
2009
IEEE
Mass spectrometry is a very popular method for protein and peptide identification nowadays. Abundance of data generated in this way grows exponentially every year and although ther...
CIBCB
2009
IEEE
14 years 18 days ago
2009
IEEE
CIBCB
2009
IEEE
14 years 18 days ago
2009
IEEE
Machine Learning techniques are successfully applied to establish quantitative relations between chemical structure and biological activity (QSAR), i.e. classify compounds as activ...
CIBCB
2009
IEEE
14 years 18 days ago
2009
IEEE
Protein structure similarity and classification methods have many applications in protein function prediction and associated fields (e.g. drug discovery). In this paper, we propose...
CIBCB
2009
IEEE
14 years 18 days ago
2009
IEEE
Data mining is the analysis of experimental datasets to extract trends and relationships that can be meaningful for the user. In genetic studies these techniques have revealed inte...
CIBCB
2009
IEEE
14 years 18 days ago
2009
IEEE
Abstract-- The RNA secondary structure design (SSD) problem is a recently emerging research topic motivated by applications such as customized drug design and the self-assembly of ...