Sciweavers

497 search results - page 55 / 100
» DNA Computing Based on Splicing: Universality Results
Sort
View
RECOMB
2005
Springer
14 years 9 months ago
Improved Recombination Lower Bounds for Haplotype Data
Recombination is an important evolutionary mechanism responsible for the genetic diversity in humans and other organisms. Recently, there has been extensive research on understandi...
Vineet Bafna, Vikas Bansal
ICPR
2008
IEEE
14 years 3 months ago
A Hybrid PNN-GMM classification scheme for speech emotion recognition
With the increasing demand for spoken language interfaces in human-computer interactions, automatic recognition of emotional states from human speeches has become of increasing im...
Wee Ser, Ling Cen, Zhu Liang Yu
IPPS
2002
IEEE
14 years 1 months ago
Program Composition in Isabelle/UNITY
We describe the mechanization of recent examples of compositional reasoning, due to Charpentier and Chandy [4]. The examples illustrate a new theory for composition proposed by Ch...
Sidi O. Ehmety, Lawrence C. Paulson
CORR
2007
Springer
98views Education» more  CORR 2007»
13 years 9 months ago
Bistable Biorders: A Sequential Domain Theory
We give a simple order-theoretic construction of a Cartesian closed category of sequential functions. It is based on bistable biorders, which are sets with a partial order — the ...
James Laird
BMCBI
2007
109views more  BMCBI 2007»
13 years 9 months ago
TABASCO: A single molecule, base-pair resolved gene expression simulator
Background: Experimental studies of gene expression have identified some of the individual molecular components and elementary reactions that comprise and control cellular behavio...
Sriram Kosuri, Jason R. Kelly, Drew Endy