Deep inference - PDFSEARCH.IO - Document Search Engine

Deep inference
Results: 52

#	Item
1	QUASIPOLYNOMIAL NORMALISATION IN DEEP INFERENCE VIA ATOMIC FLOWS AND THRESHOLD FORMULAE PAOLA BRUSCOLI, ALESSIO GUGLIELMI, TOM GUNDERSEN, AND MICHEL PARIGOT ABSTRACT. Jeˇrábek showed that cuts in classical propositiona Add to Reading List Source URL: cs.bath.ac.uk Language: English - Date: 2016-02-27 12:40:53
2	EIE: Efficient Inference Engine on Compressed Deep Neural Network Song Han∗ Xingyu Liu∗ Huizi Mao∗ Jing Pu∗ Ardavan Pedram∗ Mark A. Horowitz∗ William J. Dally∗† University, † NVIDIA {songhan,xyl,huizi,j Add to Reading List Source URL: arxiv.org - Date: 2016-05-03 21:06:22
3	Deep Inference and Symmetry in Classical Proofs Dissertation zur Erlangung des akademischen Grades Doktor rerum naturalium vorgelegt an der Technischen Universit¨ Add to Reading List Source URL: cs.bath.ac.uk - Date: 2014-09-12 07:12:40
4	Ten Years of Deep Inference Add to Reading List Source URL: cs.bath.ac.uk - Date: 2010-01-24 12:39:45
5	ON ANALYTICITY IN DEEP INFERENCE PAOLA BRUSCOLI AND ALESSIO GUGLIELMI In this note, we discuss the notion of analytic inference rule for propositional logics in the calculus of structures (CoSCoS generalises the s Add to Reading List Source URL: cs.bath.ac.uk - Date: 2016-12-16 05:02:50
6	Subatomic Proof Systems Andrea Aler Tubella and Alessio Guglielmi University of Bath The proof theoretic methodology of deep inference [2] yields the widest range of analytic proof systems. In Add to Reading List Source URL: aalertubelladotcom.files.wordpress.com - Date: 2016-04-04 17:54:35
7	Some News on the Proof Complexity of Deep Inference Add to Reading List Source URL: cs.bath.ac.uk - Date: 2009-11-08 22:57:53
8	The complexity of propositional proofs in deep inference submitted by Anupam Das for the degree of PhD Add to Reading List Source URL: www.anupamdas.com - Date: 2016-04-05 04:03:41
9	Introduction to Deep Inference Alessio Guglielmi University of Bath 29th SeptemberThis talk is available at http://cs.bath.ac.uk/ag/t/IDI.pdf Add to Reading List Source URL: cs.bath.ac.uk - Date: 2014-10-09 07:20:40
10	DeepX: A Software Accelerator for Low-Power Deep Learning Inference on Mobile Devices Nicholas D. Lane‡ , Sourav Bhattacharya‡ , Petko Georgiev† Claudio Forlivesi‡ , Lei Jiao‡ , Lorena Qendro∗ , and Fahim Kaw Add to Reading List Source URL: niclane.org - Date: 2016-02-21 19:37:41