Bruijn - PDFSEARCH.IO - Document Search Engine

Bruijn
Results: 174

#	Item
121	A Framework for Specifying, Prototyping, and Reasoning about Computational Systems (Doctoral Dissertation Proposal) Andrew Gacek Decemeber 3, 2007 Add to Reading List Source URL: www.dtc.umn.edu Language: English - Date: 2012-08-16 12:29:03 Type theory Higher-order abstract syntax Prolog Twelf De Bruijn index Eval Type system Free variables and bound variables Lambda calculus Software engineering Computing Programming language theory
122	LIBRARY ACQUISITIONS[removed]March - April) Biennials Busan biennale 2002 : culture meets culture. Busan: The Busan Biennale Add to Reading List Source URL: www.rijksakademie.nl Language: English - Date: 2014-03-06 03:18:38 Jaap R. Bruijn Busan Dutch people Dutch literature
123	Abstract machines for higher-order term sharing Connor Lane Smith University of Kent [removed] Abstract Add to Reading List Source URL: ifl2014.github.io Language: English - Date: 2015-03-04 15:20:42 Symbol Lambda calculus De Bruijn index Curry–Howard correspondence Orbifold Mathematics Computer science Theoretical computer science
124	Mechanized Verification of CPS Transformations Zaynah Dargaye and Xavier Leroy INRIA Paris-Rocquencourt B.P. 105, 78153 Le Chesnay, France [removed], [removed] Add to Reading List Source URL: gallium.inria.fr Language: English - Date: 2007-07-30 10:00:27 Mathematical logic Models of computation Logic in computer science Computability theory Formal methods Continuation-passing style Denotational semantics De Bruijn notation De Bruijn index Theoretical computer science Lambda calculus Mathematics
125	Higher-Order and Symbolic Computation manuscript No. (will be inserted by the editor) A verified framework for higher-order uncurrying optimizations Zaynah Dargaye · Xavier Leroy Add to Reading List Source URL: gallium.inria.fr Language: English - Date: 2009-12-15 04:00:36 Mathematics Functional programming Functions and mappings Currying Partial application Symbol Function Combinatory logic De Bruijn index Declarative programming Lambda calculus Software engineering
126	TOP 50 CANADIAN TAG TIMES 15 WORLD, 38 OLYMPIC RECORDS NUMBER 261 Add to Reading List Source URL: www.swimnews.com Language: English - Date: 2009-03-13 00:18:14 Ian Thorpe Michael Klim Amy Van Dyken Anthony Ervin Ashley Callus Jenny Thompson Dara Torres Michael Phelps Swimming Pieter van den Hoogenband Inge de Bruijn
127	Binders Unbound Stephanie Weirich Brent A. Yorgey Tim Sheard Add to Reading List Source URL: www.seas.upenn.edu Language: English - Date: 2014-07-10 05:47:09 Lambda calculus Logic Predicate logic Computability theory De Bruijn index Free variables and bound variables Closure Monad Combinatory logic Mathematics Software engineering Computing
128	De Bruijn Graph assembly Ben Langmead You are free to use these slides. If you do, please sign the guestbook (www.langmead-lab.org/teaching-materials), or email me ([removed]) and tell me briefly how you’r Add to Reading List Source URL: www.cs.jhu.edu Language: English - Date: 2014-01-28 16:00:23 Directed graph De Bruijn Vertex Graph Bruijn Multigraph Graph theory Eulerian path Degree
129	Space-efficient and exact de Bruijn graph representation based on a Bloom filter Rayan Chikhi1 and Guillaume Rizk2 1 Computer Science department, ENS Cachan/IRISA, 35042 Rennes, France Add to Reading List Source URL: minia.genouest.org Language: English - Date: 2012-10-09 11:54:51 Bit array Connectivity De Bruijn graph Depth-first search De Bruijn Velvet assembler Koorde Graph theory Hashing Bloom filter
130	Logical Attestation: An Authorization Architecture for Trustworthy Computing Emin Gün Sirer Willem de Bruijn† Patrick Reynolds‡ Alan Shieh Kevin Walsh Dan Williams Fred B. Schneider Computer Science Department, Corn Add to Reading List Source URL: sigops.org Language: English - Date: 2011-09-20 03:37:00 Trusted computing Cryptography Hashing Monolithic kernels Next-Generation Secure Computing Base Trusted Platform Module Procfs Kernel Hash table Computer architecture Computing Computer security

UPDATE