Sciweavers

2373 search results - page 83 / 475
» On the Theory of Structural Subtyping
Sort
View
DBPL
1999
Springer
102views Database» more  DBPL 1999»
15 years 10 months ago
Union Types for Semistructured Data
Semistructured databases are treated as dynamically typed: they come equipped with no independent schema or type system to constrain the data. Query languages that are designed fo...
Peter Buneman, Benjamin C. Pierce
BMCBI
2008
144views more  BMCBI 2008»
15 years 6 months ago
Rule-based knowledge aggregation for large-scale protein sequence analysis of influenza A viruses
Background: The explosive growth of biological data provides opportunities for new statistical and comparative analyses of large information sets, such as alignments comprising te...
Olivo Miotto, Tin Wee Tan, Vladimir Brusic
BMCBI
2010
97views more  BMCBI 2010»
15 years 1 months ago
A semi-parametric Bayesian model for unsupervised differential co-expression analysis
Background: Differential co-expression analysis is an emerging strategy for characterizing disease related dysregulation of gene expression regulatory networks. Given pre-defined ...
Johannes M. Freudenberg, Siva Sivaganesan, Michael...
ENTCS
2007
108views more  ENTCS 2007»
15 years 6 months ago
The Bicategory-Theoretic Solution of Recursive Domain Equations
We generalise the traditional approach of Smyth and Plotkin to the solution of recursive domain equations from order-enriched structures to bicategorical ones and thereby develop ...
Gian Luca Cattani, Marcelo P. Fiore
TCS
2002
15 years 6 months ago
Monadic second-order logic on tree-like structures
An operation M which constructs from a given structure M a tree-like structure whose domain consists of the finite sequences of elements of M is considered. A notion of automata r...
Igor Walukiewicz