3378 search results - page 269 / 676 » A universe of binding and computation |
189
click to vote
BMCBI
2008
15 years 6 months ago
2008
Background: Gene expression measurements from breast cancer (BrCa) tumors are established clinical predictive tools to identify tumor subtypes, identify patients showing poor/good...
202
click to vote
LICS
2006
IEEE
16 years 22 days ago
2006
IEEE
d Abstract) Marcelo Fiore∗ and Sam Staton† Computer Laboratory, University of Cambridge We introduce a mathematical structural operational semantics that yields a congruence r...
139
click to vote
APL
1994
ACM
15 years 10 months ago
1994
ACM
ct In 1993, the Australian Federal Government's Committee for the Advancement of University Teaching (CAUT) funded a project to develop an integrated computationally rich firs...
178
click to vote
FPL
1994
Springer
15 years 10 months ago
1994
Springer
This paper introduces a new high level programming language for a novel class of computational devices namely data-procedural machines. These machines are by up to several orders o...
169
click to vote
ENTCS
2007
15 years 6 months ago
2007
d abstract) Paolo Zuliani 1 Department of Computer Science Princeton University Princeton, NJ 08544, USA In this paper we offer a programming approach to quantum computation usin...