3378 search results - page 1 / 676 » A universe of binding and computation |
ICFP
2009
ACM
14 years 5 months ago
2009
ACM
RECOMB
2007
Springer
14 years 5 months ago
2007
Springer
Our group has recently developed a compact, universal protein binding microarray (PBM) that can be used to determine the binding preferences of transcription factors (TFs) [1]. Thi...
FAC
2002
13 years 4 months ago
2002
proach to Abstract Syntax with Variable Binding1 Murdoch J. Gabbay and Andrew M. Pitts Cambridge University Computer Laboratory, Cambridge, UK
RTA
2005
Springer
13 years 10 months ago
2005
Springer
Abstract. We show that the structures of binding algebras and Σmonoids by Fiore, Plotkin and Turi are sound and complete models of Klop’s Combinatory Reduction Systems (CRSs). T...
WWW
2006
ACM
14 years 5 months ago
2006
ACM
We present a paradigm for uniting the diverse strands of XML-based Web technologies by allowing them to be incorporated within a single document. This overcomes the distinction be...