Sciweavers

37 search results - page 2 / 8
» Generation of assembly graphs by systematic analysis of asse...
Sort
View
BMCBI
2011
12 years 11 months ago
Assessing the benefits of using mate-pairs to resolve repeats in de novo short-read prokaryotic assemblies
Background: Next-generation sequencing technologies allow genomes to be sequenced more quickly and less expensively than ever before. However, as sequencing technology has improve...
Joshua Wetzel, Carl Kingsford, Mihai Pop
ESOP
2006
Springer
13 years 9 months ago
A Typed Assembly Language for Confidentiality
Language-based information-flow analysis is promising in protecting data confidentiality. Although much work has been carried out in this area, relatively little has been done for ...
Dachuan Yu, Nayeem Islam
AC
2004
Springer
13 years 5 months ago
Shotgun Sequence Assembly
Shotgun sequencing is the most widely used technique for determining the DNA sequence of organisms. It involves breaking up the DNA into many small pieces that can be read by auto...
Mihai Pop
ASM
2010
ASM
13 years 11 months ago
Using Event-B to Verify the Kmelia Components and Their Assemblies
and formal model, named Kmelia [1,2], with an associated language to specify components, their provided and required services and their assemblies; we also developed a framework na...
Pascal André, Gilles Ardourel, Christian At...
ICMCS
2005
IEEE
111views Multimedia» more  ICMCS 2005»
13 years 11 months ago
Using rhetorical annotations for generating video documentaries
We use rhetorical annotations to specify a generation process that can assemble meaningful video sequences with a communicative goal and an argumentative progression. Our annotati...
Stefano Bocconi, Frank Nack, Lynda Hardman