<--- Back to Details
First PageDocument Content
Knowledge / Computer science / Juris Hartmanis / Turing Award / Department of Computer Science / John Hopcroft / Cornell University College of Engineering / Computer scientist / Cornell University / Turing Award laureates / Science / Academia
Date: 2014-07-31 14:34:22
Knowledge
Computer science
Juris Hartmanis
Turing Award
Department of Computer Science
John Hopcroft
Cornell University College of Engineering
Computer scientist
Cornell University
Turing Award laureates
Science
Academia

Add to Reading List

Source URL: www.research.cornell.edu

Download Document from Source Website

File Size: 457,32 KB

Share Document on Facebook

Similar Documents

I1 / Garbage collection

A Story of Parametric Trace Slicing, Garbage and Static Analysis Giles Reger School of Computer Science, University of Manchester, UK PrePost 2017

DocID: 1xW3e - View Document

Computing / Computer architecture / Android / System software / Online marketplaces / Google Play / Intent

Poster: Android Collusive Data Leaks with Flow-sensitive DIALDroid Dataset Amiangshu Bosu Fang Liu, Danfeng (Daphne) Yao, Gang Wang Department of Computer Science

DocID: 1xW0O - View Document

Artificial neural networks / Mathematics / Computational neuroscience / Applied mathematics / Mathematical analysis / Lipschitz continuity / operator / Continuous function / Gradient descent / Convolutional neural network / Rectifier / Deep learning

Reachability Analysis of Deep Neural Networks with Provable Guarantees Wenjie Ruan1 , Xiaowei Huang2 , Marta Kwiatkowska1 Department of Computer Science, University of Oxford, UK 2 Department of Computer Science, Univers

DocID: 1xW0E - View Document

Algebra / Linear algebra / Mathematics / Matrices / Numerical linear algebra / Unitary matrix / Matrix / Rotational symmetry / Four-vector / Permutation matrix / Eigenvalue perturbation / Singular value decomposition

CS378, MA375T, PHY341 Homework 1 Homework 1 Introduction to Quantum Information Science

DocID: 1xVZC - View Document

Algebra / Quantum mechanics / Physics / Quantum information science / Quantum states / Linear algebra / Quantum computing / 0I / Quantum circuit / Eigenvalues and eigenvectors / Qubit / Eigenvalue perturbation

CS378, MA375T, PHY341 Homework 2 Homework 2 Introduction to Quantum Information Science

DocID: 1xVYW - View Document