Computational Biology

31

ASM
2008
ASM

120views Computational Biology» more ASM 2008»

Model Checking Event-B by Encoding into Alloy

14 years 1 months ago

As systems become ever more complex, verification becomes more main stream. Event-B and Alloy are two formal specification languages based on fairly different methodologies. While...

Paulo J. Matos, João Marques-Silva

claim paper

Read More »

35

click to vote

ASM
2010
ASM

264views Computational Biology» more ASM 2010»

AsmetaSMV: A Way to Link High-Level ASM Models to Low-Level NuSMV Specifications

14 years 1 months ago

Download cs.unibg.it

Paolo Arcaini, Angelo Gargantini, Elvinia Riccoben...

claim paper

Read More »

59

click to vote

AB
2008
Springer

271views Computational Biology» more AB 2008»

The Geometry of the Neighbor-Joining Algorithm for Small Trees

14 years 1 months ago

Download www.risc.jku.at

In 2007, Eickmeyer et al. showed that the tree topologies outputted by the Neighbor-Joining (NJ) algorithm and the balanced minimum evolution (BME) method for phylogenetic reconstr...

Kord Eickmeyer, Ruriko Yoshida

claim paper

Read More »

41

click to vote

AB
2008
Springer

300views Computational Biology» more AB 2008»

Differential Algebra and System Modeling in Cellular Biology

14 years 1 months ago

Download www.risc.jku.at

Abstract. Among all the modeling approaches dedicated to cellular biology, differential algebra is particularly related to the well-established one based on nonlinear differential ...

François Boulier, François Lemaire

claim paper

Read More »

27

click to vote

ISMB
2008

140views Computational Biology» more ISMB 2008»

Annotation-based inference of transporter function

14 years 1 months ago

Download www.ai.sri.com

Thomas J. Lee, Ian T. Paulsen, Peter D. Karp

claim paper

Read More »

43

click to vote

ISMB
2008

131views Computational Biology» more ISMB 2008»

MicroRNA prediction with a novel ranking algorithm based on random walks

14 years 1 months ago

Download www.cse.wustl.edu

Yunpen Xu, Xuefeng Zhou, Weixiong Zhang

claim paper

Read More »

31

click to vote

ISMB
2008

118views Computational Biology» more ISMB 2008»

Contact replacement for NMR resonance assignment

14 years 1 months ago

Download www.cs.dartmouth.edu

Fei Xiong, Gopal Pandurangan, Chris Bailey-Kellogg

claim paper

Read More »

54

click to vote

ISMB
2008

209views Computational Biology» more ISMB 2008»

Classification of arrayCGH data using fused SVM

14 years 1 months ago

Download bioinfo-out.curie.fr

Motivation: Array-based comparative genomic hybridization (arrayCGH) has recently become a popular tool to identify DNA copy number variations along the genome. These profiles are...

Franck Rapaport, Emmanuel Barillot, Jean-Philippe ...

claim paper

Read More »

34

click to vote

ISMB
2008

128views Computational Biology» more ISMB 2008»

Inferring differentiation pathways from gene expression

14 years 1 months ago