Edu - PDFSEARCH.IO - Document Search Engine

Edu
Results: 1439644

#	Item
701	Synthesizing Memory Models from Framework Sketches  and Litmus Tests James Bornholt  Emina Torlak Add to Reading List Source URL: unsat.cs.washington.edu Language: English - Date: 2018-08-25 00:49:19 Computing Compiler construction Software engineering Computer memory Concurrency Programming language design Compiler Programming language implementation Consistency model Memory model Kernel
702	CS 294 – Secure Computation February 16 and 18, 2016 Lecture 9 and 10: Malicious Security - GMW Compiler and Cut and Choose, OT Extension Add to Reading List Source URL: people.eecs.berkeley.edu Language: English - Date: 2016-03-10 13:39:26 Cryptographic protocols Electromagnetism Garbled circuit Secure multi-party computation IP Theory of computation NC Electronic circuit Applied mathematics Commitment scheme
703	Generalization without Systematicity: Supplementary materials SCAN grammar and interpretation function The phrase-structure grammar generating all SCAN commands is presented in Figure 1. The corresponding interpretation Add to Reading List Source URL: cims.nyu.edu Language: English - Date: 2018-06-06 16:33:37 Artificial intelligence Machine learning Applied mathematics Artificial neural network Computational neuroscience Market research Market segmentation Mathematical psychology Encoder Recurrent neural network Decoder Rnn
704	Cognitive Neuropsychology ISSN: PrintOnline) Journal homepage: http://www.tandfonline.com/loi/pcgn20 Decoding task and stimulus representations in face-responsive cortex Add to Reading List Source URL: saxelab.mit.edu Language: English - Date: 2016-12-20 05:45:04 Brain Cerebrum Cerebral cortex Frontal lobe Neuropsychology Limbic system Emotion Face perception Functional magnetic resonance imaging Anterior cingulate cortex Prefrontal cortex Fusiform face area
705	EECS 388 Intro to Computer Security September 16, 2016 Homework 2: Cryptanalysis Add to Reading List Source URL: www.eecs.umich.edu Language: English - Date: 2016-11-21 18:50:22 Cryptography Stream ciphers Vigenre cipher Ciphertext Cryptanalysis Caesar cipher
706	Getting to Work with OpenPiton Princeton University http://openpiton.org OpenPit Add to Reading List Source URL: parallel.princeton.edu Language: English - Date: 2017-02-16 15:26:27 Assistive technology Tile Manycore processors
707	COSC 544 Probabilistic Proof SystemsA State of the Art MIP For Circuit Satisfiability Lecturer: Justin Thaler Add to Reading List Source URL: people.cs.georgetown.edu Language: English - Date: 2017-10-16 18:20:55 Mathematics Complexity classes Randomized algorithms IP Probabilistically checkable proof NP NEXPTIME Soundness Variable Interactive proof system Proof of knowledge
708	SIGCSE 2011 Poster Proposal: Universal Design for Learning in CS1 Suzanne Rivoire Department of Computer Science Sonoma State University, Rohnert Park, CA, USA Add to Reading List Source URL: rivoire.cs.sonoma.edu Language: English - Date: 2017-05-29 18:45:15 Education Learning Human behavior Pedagogy Segregation Educational psychology Higher education Universal Design for Learning Philosophy of education Educational technology Inclusion Accessibility
709	Supplementary Material: The Emergence of Organizing Structure in Conceptual Representation Brenden M. Lake,1,2 Neil D. Lawrence,3 Joshua B. Tenenbaum,4, Add to Reading List Source URL: cims.nyu.edu Language: English - Date: 2018-01-09 09:21:30 K-means clustering Cluster analysis Belief propagation
710	University Research Committee Application Certification Please initial beside the ONE award for which you are applying. Include the completed form in the application pdf. _____ Emory University Research Committee Award Add to Reading List Source URL: www.urc.emory.edu Language: English - Date: 2018-10-08 15:13:45 Healthcare quality Medical guideline Medical terminology

UPDATE