Edu - PDFSEARCH.IO - Document Search Engine

Edu
Results: 1439644

#	Item
871	A Write-Based Solver for SAT Modulo the Theory of Arrays Miquel Bofill Universitat de Girona Robert Nieuwenhuis Add to Reading List Source URL: www.lsi.upc.edu Language: English - Date: 2008-07-14 06:59:10 Theoretical computer science Logic in computer science Electronic design automation Formal methods NP-complete problems Mathematics Constraint programming Satisfiability modulo theories Boolean satisfiability problem Array data type Literal Matrix
872	Accounting for Variability in Large-Scale Cluster Power Models John D. Davis1, Suzanne Rivoire2, Moises Goldszmidt1, and Ehsan K. Ardestani3 Microsoft Research - Silicon Valley Lab1 [john.d, moises]@microsoft.com Sonoma Add to Reading List Source URL: rivoire.cs.sonoma.edu Language: English - Date: 2017-05-29 18:44:32 Concurrent computing Computer architecture Parallel computing Computing Cluster computing Fault-tolerant computer systems Computer cluster Data-intensive computing High-availability cluster MySQL Cluster
873	4 C++ API for Batch BLAS Ahmad Abdelfattah Konstantin Arturov Cris Cecka Add to Reading List Source URL: www.icl.utk.edu Language: English - Date: 2018-02-21 12:04:34 Concurrent computing Numerical software Computing Numerical analysis Numerical linear algebra Parallel computing Coprocessors Computer architecture Basic Linear Algebra Subprograms Math Kernel Library LAPACK Graphics processing unit
874	Generalization without Systematicity: On the Compositional Skills of Sequence-to-Sequence Recurrent Networks Brenden Lake 1 2 Marco Baroni 2 Abstract Add to Reading List Source URL: cims.nyu.edu Language: English - Date: 2018-06-06 16:22:27 Artificial neural networks Computational neuroscience Cognitive science Applied mathematics Cybernetics Cognition Computational statistics Artificial intelligence Recurrent neural network Deep learning Neural network Language model
875	16 Spring 2013 UF scientists and artists are mixing their unique talents to mutual benefit Add to Reading List Source URL: faculty.cse.tamu.edu Language: English - Date: 2013-03-27 17:21:12 University of Florida Florida Education in the United States
876	This Talk § 1) Node embeddings § Map nodes to low-dimensional embeddings. § 2) Graph neural networks Add to Reading List Source URL: snap.stanford.edu Language: English - Date: 2018-04-25 02:50:02 Mathematics Algebra Topology Machine learning Artificial neural networks Feature learning Embedding Deep learning Proj construction Kernel embedding of distributions
877	A New Approach to Interdomain Routing Based on Secure Multi-Party Computation Debayan Gupta∗, Aaron Segal∗, Aurojit Panda†, Gil Segev‡, Michael Schapira§, Joan Feigenbaum∗, Jennifer Rexford††, Scott Shenke Add to Reading List Source URL: people.eecs.berkeley.edu Language: English - Date: 2012-10-14 18:59:05 Computing Internet architecture Network architecture Information and communications technology Routing Computer networking Internet protocols Border Gateway Protocol IP routing Route reflector Open Shortest Path First Router
878	representation theory and geometry Geordie Williamson University of Sydney http://www.maths.usyd.edu.au/u/geordie/ICM.pdf representations Add to Reading List Source URL: www.maths.usyd.edu.au Language: English - Date: 2018-08-23 18:54:09 Abstract algebra Algebra Group theory Representation theory Symmetric group Group representation Isomorphism Galois module
879	Model Based Theory Combination SMT 2007 Leonardo de Moura and Nikolaj Bjørner {leonardo, nbjorner}@microsoft.com. Microsoft Research Add to Reading List Source URL: www.lsi.upc.edu Language: English - Date: 2007-07-09 11:57:18 Logic Mathematical logic Theoretical computer science Model theory Logic in computer science Logical truth Philosophy of logic Satisfiability Convex function Universal quantification Boolean satisfiability problem
880	LUKE T. VALENTA CONTACT INFORMATION http://lukevalenta.com Add to Reading List Source URL: www.seas.upenn.edu Language: English - Date: 2017-09-13 09:12:51 Cryptography Turing Award laureates Nadia Heninger Whitfield Diffie Association for Computing Machinery Alex Halderman Bitcoin Elliptic-curve cryptography Post-quantum cryptography Heninger Matthew D. Green RSA

UPDATE