Sciweavers

2252 search results - page 285 / 451
» Regular expression patterns
Sort
View
TCBB
2008
76views more  TCBB 2008»
15 years 3 months ago
Hadamard Conjugation for the Kimura 3ST Model: Combinatorial Proof Using Path Sets
Under a stochastic model of molecular sequence evolution the probability of each possible pattern of characters is well defined. The Kimura's three-substitution-types (K3ST) m...
Michael D. Hendy, Sagi Snir
ENTCS
2011
120views more  ENTCS 2011»
14 years 9 months ago
Game Semantics for Quantum Data
This paper presents a game semantics for a simply-typed λ-calculus with qbits constants and associated quantum operations. The resulting language is expressive enough to encode a...
Yannick Delbecque
183
Voted
LPAR
2012
Springer
13 years 10 months ago
Querying Proofs
We motivate and introduce a query language PrQL designed for inspecting machine representations of proofs. PrQL natively supports hiproofs which express proof structure using hiera...
David Aspinall, Ewen Denney, Christoph Lüth
164
Voted
BMCBI
2007
130views more  BMCBI 2007»
15 years 3 months ago
A robust measure of correlation between two genes on a microarray
Background: The underlying goal of microarray experiments is to identify gene expression patterns across different experimental conditions. Genes that are contained in a particula...
Johanna S. Hardin, Aya Mitani, Leanne Hicks, Brian...
NAR
2002
89views more  NAR 2002»
15 years 2 months ago
Transcription Regulatory Regions Database (TRRD): its status in 2002
Transcription Regulatory Regions Database (TRRD) is an informational resource containing an integrated description of the gene transcription regulation. An entry of the database c...
Nikolay A. Kolchanov, Elena V. Ignatieva, Elena A....