2911 search results - page 109 / 583 » A Theory of Expressiveness in Mechanisms |
148
click to vote
MSCS
2007
15 years 5 months ago
2007
A discussion concerning the opposition between discretness and continuum in quantum mechanics is presented. In particular this duality is shown to be present not only in the early...
188
click to vote
FSEN
2009
Springer
16 years 27 days ago
2009
Springer
Automata theory presents roughly three types of automata: finite automata, pushdown automata and Turing machines. The automata are treated as language acceptors, and the expressiv...
171
click to vote
FMCAD
2009
Springer
15 years 10 months ago
2009
Springer
Abstract--The theory of arrays is ubiquitous in the context of software and hardware verification and symbolic analysis. The basic array theory was introduced by McCarthy and allow...
183
click to vote
BMCBI
2006
15 years 6 months ago
2006
Background: Many statistical algorithms combine microarray expression data and genome sequence data to identify transcription factor binding motifs in the low eukaryotic genomes. ...
164
click to vote
BMCBI
2008
15 years 6 months ago
2008
Background: Understanding how genes are expressed and regulated in different tissues is a fundamental and challenging question. However, most of currently available biological dat...