Memory Efficient Minimum Substring Partitioning Yang Li, Pegah Kamousi, Fangqiu Han, Shengqi Yang, Xifeng Yan, Subhash Suri University of California, Santa Barbara {yangli, pegah, fhan, sqyang, xyan, suri A - 2-2-2 - Document - PDFSEARCH.IO

First Page		Document Content
Date: 2013-07-16 15:28:48 Mathematics Academia Discrete mathematics Combinatorics Bioinformatics Computational biology Formal languages K-mer Substring Partition Comparison of programming languages Velvet assembler		Memory Efficient Minimum Substring Partitioning Yang Li, Pegah Kamousi, Fangqiu Han, Shengqi Yang, Xifeng Yan, Subhash Suri University of California, Santa Barbara {yangli, pegah, fhan, sqyang, xyan, suri}@cs.ucsb.edu A Add to Reading List Source URL: www.cs.ucsb.edu Download Document from Source Website File Size: 377,75 KB Share Document on Facebook

	National School SIDRA 2017: Formal Methods for the Control of Large-scale Networked Nonlinear Systems with Logic Specifications Lecture L4: Regular languages? DocID: 1v5XV - View Document
	CSCI 3130: Formal Languages and Automata Theory The Chinese University of Hong Kong, Fall 2010 Lecture 15 Andrej Bogdanov DocID: 1uDy7 - View Document
	Parsing Expression Grammar as a Primitive Recursive-Descent Parser with Backtracking∗ Roman R. Redziejowski Abstract Two recent developments in the field of formal languages are Parsing Expression Grammar (PEG) DocID: 1tWkC - View Document
	Formal Verification of Code Generators for Modeling Languages (Invited Talk) Xavier Leroy Inria, Paris, France DocID: 1tNbI - View Document
	A Case for Combining Industrial Pragmatics with Formal Methods Eric L. McCorkle I. BACKGROUND A. Dependent Types Dependently-typed languages [9] possess a type system with DocID: 1tbAh - View Document