Widom - PDFSEARCH.IO - Document Search Engine

Widom
Results: 53

#	Item
31	Research at the Ian Wark Research Institute Contents Research at The Wark™ Jonas Addai-Mensah Mats Andersson Add to Reading List Source URL: unisa.edu.au Language: English - Date: 2014-08-05 21:53:03 Publishing Surface science Nanomaterials Materials science Gel Nanoparticle Journal of Materials Chemistry Benjamin Widom Chemistry Science Soft Matter
32	Research at the Ian Wark Research Institute Contents Research at The Wark™ Jonas Addai-Mensah Mats Andersson Add to Reading List Source URL: www.unisa.edu.au Language: English - Date: 2014-08-05 21:53:03 Publishing Surface science Nanomaterials Materials science Gel Nanoparticle Journal of Materials Chemistry Benjamin Widom Chemistry Science Soft Matter
33	Research at the Ian Wark Research Institute Contents Research at The Wark™ Jonas Addai-Mensah Mats Andersson Add to Reading List Source URL: www.unisa.edu.au Language: English - Date: 2014-08-05 21:53:03 Publishing Surface science Nanomaterials Materials science Gel Nanoparticle Journal of Materials Chemistry Benjamin Widom Chemistry Science Soft Matter
34	Provenance for Generalized Map and Reduce Workflows ∗ Robert Ikeda, Hyunjung Park, and Jennifer Widom Stanford University Add to Reading List Source URL: www.cidrdb.org Language: English - Date: 2011-01-07 00:43:54 Functions and mappings Archival science Art history Data collection Provenance Neural networks MapReduce Function Stack Computing Concurrent computing Software engineering
35	GPS: A Graph Processing System⇤ Semih Salihoglu and Jennifer Widom Stanford University {semih,widom}@cs.stanford.edu Abstract Add to Reading List Source URL: infolab.stanford.edu Language: English - Date: 2013-06-18 18:35:13 NP-complete problems Graph partition Graph Connected component Graph coloring Edge coloring Graph theory Theoretical computer science Mathematics
36	Trace-Based Network Proof Systems: Expressiveness and Completeness JENNIFER WIDOM Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 2013-09-09 22:08:39 Model theory Non-classical logic Abstraction Axiology First-order logic Parallel computing Modal logic Trace Temporal logic Logic Mathematics Mathematical logic
37	Completeness and Incompleteness of Trace-Based Network Proof Systems? Jennifer Widom, David Gries, and Fred B. Schneider Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 2013-09-09 22:10:37 Philosophical logic Model theory Proof theory Non-classical logic Axiom Formal methods Theorem Modal logic Trace Logic Mathematics Formal sciences
38	A Sharp Small Deviation Inequality for the Largest Eigenvalue of a Random Matrix Guillaume Aubrun ´ Universit´e de Paris 6, Institut de Math´ematiques, Equipe d’Analyse Fonctionnelle, Add to Reading List Source URL: math.univ-lyon1.fr Language: English - Date: 2006-10-03 05:37:12 Functional analysis Measure theory Hermite polynomials Polynomials Wasserstein metric Hilbert space Tracy–Widom distribution Lp space Sturm–Liouville theory Mathematical analysis Mathematics Operator theory
39	[removed]Joint Admissions Program Western New England University Chemistry Add to Reading List Source URL: www1.wne.edu Language: English - Date: 2014-09-07 13:56:16 New York City Department of Education Delaware County Christian School Benjamin Widom Course Curricula Calculus
40	HelP: High-level Primitives For Large-Scale Graph Processing Semih Salihoglu Jennifer Widom Add to Reading List Source URL: ilpubs.stanford.edu Language: English - Date: 2014-05-16 18:11:48 Degeneracy Graph coloring Connectivity Directed acyclic graph Distance Graph Tree Centrality Vertex Graph theory Mathematics Theoretical computer science