Sciweavers

133
Voted
RECOMB
2010
Springer
15 years 12 months ago
Inference of Isoforms from Short Sequence Reads
Jianxing Feng, Wei Li, Tao Jiang
221
Voted
BICOB
2010
Springer
15 years 10 months ago
A Grid-Enabled Problem Solving Environment for QTL Analysis in R
We present a grid-enabled problem solving environment (PSE), for multidimensional QTL analysis. The concept of a computational grid has not been fully realized within this and oth...
Mahen Jayawardena, Carl Nettelblad, Salman Zubair ...
111
Voted
RECOMB
2010
Springer
15 years 12 months ago
IDBA - A Practical Iterative de Bruijn Graph De Novo Assembler
Yu Peng, Henry C. M. Leung, Siu-Ming Yiu, Francis ...
ASM
2010
ASM
16 years 2 months ago
Synchronous Message Passing and Semaphores: An Equivalence Proof
A natural encoding of synchronous message exchange with direct wait-control is proved to be equivalent in a distributed environment to a refinement which uses semaphores to implem...
Iain Craig, Egon Börger
184
Voted
ASM
2010
ASM
15 years 5 months ago
Matelas: A Predicate Calculus Common Formal Definition for Social Networking
This paper presents Matelas, a B predicate calculus definition for social networking, modelling social-network content, privacy policies, social-networks friendship relations, and ...
Néstor Cataño, Camilo Rueda
Computational Biology
Top of PageReset Settings