Sciweavers

RECOMB
2010
Springer
13 years 11 months ago
Inference of Isoforms from Short Sequence Reads
Jianxing Feng, Wei Li, Tao Jiang
BICOB
2010
Springer
13 years 9 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 ...
RECOMB
2010
Springer
13 years 11 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
14 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
ASM
2010
ASM
13 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