Search Sciweavers | Sciweavers

2372 search results - page 50 / 475

» is 2012

154

click to vote

CADE
2012
Springer

204views Logical Reasoning» more CADE 2012»

Proving Non-looping Non-termination Automatically

13 years 8 months ago

Download verify.rwth-aachen.de

We introduce a technique to prove non-termination of term rewrite systems automatically. Our technique improves over previous approaches substantially, as it can also detect non-lo...

Fabian Emmes, Tim Enger, Jürgen Giesl

claim paper

Read More »

129

click to vote

BIOINFORMATICS
2012

224views Distributed And Parallel Com...» more BIOINFORMATICS 2012»

BESC knowledgebase public portal

13 years 8 months ago

Download bioenergycenter.org

Mustafa H. Syed, Tatiana V. Karpinets, Morey Paran...

claim paper

Read More »

138

click to vote

BIOINFORMATICS
2012

213views Distributed And Parallel Com...» more BIOINFORMATICS 2012»

Positional correlation analysis improves reconstruction of full-length transcripts and alternative isoforms from noisy array sig

13 years 8 months ago

Download www.riken.go.jp

Shuji Kawaguchi, Kei Iida, Erimi Harada, Kousuke H...

claim paper

Read More »

137

click to vote

BIOINFORMATICS
2012

263views Distributed And Parallel Com...» more BIOINFORMATICS 2012»

Approximate probabilistic analysis of biopathway dynamics

13 years 8 months ago

Download www.comp.nus.edu.sg

Bing Liu 0013, Andrei Hagiescu, Sucheendra K. Pala...

claim paper

Read More »

152

click to vote

BIOINFORMATICS
2012

226views Distributed And Parallel Com...» more BIOINFORMATICS 2012»

Data-driven information retrieval in heterogeneous collections of transcriptomics data links SIM2s to malignant pleural mesothel

13 years 8 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers