Computational Biology

26

ASM
2008
ASM

120views Computational Biology» more ASM 2008»

Model Checking Event-B by Encoding into Alloy

13 years 11 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 »

30

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

13 years 11 months ago

Download cs.unibg.it

Paolo Arcaini, Angelo Gargantini, Elvinia Riccoben...

claim paper

Read More »

45

click to vote

AB
2008
Springer

271views Computational Biology» more AB 2008»

The Geometry of the Neighbor-Joining Algorithm for Small Trees

13 years 11 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 »

36

click to vote

AB
2008
Springer

300views Computational Biology» more AB 2008»

Differential Algebra and System Modeling in Cellular Biology

13 years 11 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 »

24

click to vote

ISMB
2008

140views Computational Biology» more ISMB 2008»

Annotation-based inference of transporter function

13 years 12 months ago

Download www.ai.sri.com

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

claim paper

Read More »

34

click to vote

ISMB
2008

131views Computational Biology» more ISMB 2008»

MicroRNA prediction with a novel ranking algorithm based on random walks

13 years 12 months ago

Download www.cse.wustl.edu

Yunpen Xu, Xuefeng Zhou, Weixiong Zhang

claim paper

Read More »

27

click to vote

ISMB
2008

118views Computational Biology» more ISMB 2008»

Contact replacement for NMR resonance assignment

13 years 12 months ago

Download www.cs.dartmouth.edu

Fei Xiong, Gopal Pandurangan, Chris Bailey-Kellogg

claim paper

Read More »

48

click to vote

ISMB
2008

209views Computational Biology» more ISMB 2008»

Classification of arrayCGH data using fused SVM

13 years 12 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 »

27

click to vote

ISMB
2008

128views Computational Biology» more ISMB 2008»

Inferring differentiation pathways from gene expression

13 years 12 months ago