Sciweavers

1847 search results - page 14 / 370
» Hybrid Functional Interpretations
Sort
View
SAS
2009
Springer
148views Formal Methods» more  SAS 2009»
15 years 10 months ago
Abstract Interpretation from a Topological Perspective
Interpretation from a Topological Perspective David A. Schmidt Kansas State University, Manhattan, Kansas, USA Abstract. Topology is the study of property sets (open sets) and cont...
David A. Schmidt
CEFP
2007
Springer
15 years 4 months ago
From Interpretation to Compilation
Abstract. In this paper we sketch some experiments with the construction of a simple compiler for a high level intermediate lazy functional language, with C++ as a target language....
Jan Martin Jansen, Pieter W. M. Koopman, Rinus Pla...
WCC
2005
Springer
156views Cryptology» more  WCC 2005»
15 years 3 months ago
One and Two-Variable Interlace Polynomials: A Spectral Interpretation
We relate the one- and two-variable interlace polynomials of a graph to the spectra of a quadratic boolean function with respect to a strategic subset of local unitary transforms. ...
Constanza Riera, Matthew G. Parker
BMCBI
2010
122views more  BMCBI 2010»
14 years 5 months ago
Functional enrichment analyses and construction of functional similarity networks with high confidence function prediction by PF
Background: A new paradigm of biological investigation takes advantage of technologies that produce large high throughput datasets, including genome sequences, interactions of pro...
Troy Hawkins, Meghana Chitale, Daisuke Kihara
COMBINATORICS
2006
135views more  COMBINATORICS 2006»
14 years 10 months ago
Lyndon Words and Transition Matrices between Elementary, Homogeneous and Monomial Symmetric Functions
Let h, e, and m denote the homogeneous symmetric function, the elementary symmetric function and the monomial symmetric function associated with the partition respectively. We gi...
Andrius Kulikauskas, Jeffrey B. Remmel