Arithmetic - PDFSEARCH.IO - Document Search Engine

Arithmetic
Results: 8697

#	Item
141	arXiv:1603.07285v1 [stat.ML] 23 MarA guide to convolution arithmetic for deep learning Vincent Dumoulin1F and Francesco Visin2F† F Add to Reading List Source URL: arxiv.org - Date: 2016-03-24 08:51:13
142	On Intervals and Bounds in Bit-vector Arithmetic Mikol´ aˇs Janota1 and Christoph M. Wintersteiger1 Microsoft Research {mikjan, cwinter}@microsoft.com Add to Reading List Source URL: ceur-ws.org - Date: 2016-06-22 02:48:06
143	Tight and rigourous error bounds for basic building blocks of double-word arithmetic Mioara Joldes, Valentina Popescu, Jean-Michel Muller To cite this version: Mioara Joldes, Valentina Popescu, Jean-Michel Muller. Tight Add to Reading List Source URL: hal.archives-ouvertes.fr - Date: 2016-12-20 16:07:25
144	arXiv:1603.07285v1 [stat.ML] 23 MarA guide to convolution arithmetic for deep learning Vincent Dumoulin1F and Francesco Visin2F† F Add to Reading List Source URL: arxiv.org - Date: 2016-03-24 08:51:13
145	On interpretations of arithmetic and set theory∗ Richard Kaye and Tin Lok Wong School of Mathematics University of Birmingham Birmingham B15 2TT Add to Reading List Source URL: web.mat.bham.ac.uk - Date: 2012-01-03 13:02:13
146	PROGRAM EXTRACTION IN EXACT REAL ARITHMETIC KENJI MIYAMOTO AND HELMUT SCHWICHTENBERG Dedicated to John Tucker on occasion of his 60th birthday Abstract. The importance of an abstract approach to a computation theory over Add to Reading List Source URL: www.math.lmu.de - Date: 2013-01-18 04:56:23
147	Tennessee’s State Mathematics Standards - Algebra II Perform arithmetic operations with complex numbers. Add to Reading List Source URL: socialinequalities.files.wordpress.com - Date: 2016-08-20 15:17:52
148	Aachen Department of Computer Science Technical Report Proving Termination of Programs with Bitvector Arithmetic by Add to Reading List Source URL: sunsite.informatik.rwth-aachen.de - Date: 2016-04-24 15:44:34
149	Ergodic Theory and its Connections with Arithmetic and Combinatorics 12 – CIRM (Marseille Luminy, France) Weak model sets and dynamical systems of number-theoretic origin Michael Baake (-biele Add to Reading List Source URL: www.cirm-math.fr - Date: 2016-11-29 05:59:07
150	99. MATEMATICKÉ KOLOKVIUM ARITHMETIC REGULARITY, REMOVAL, AND PROGRESSIONS Add to Reading List Source URL: kam.mff.cuni.cz - Date: 2016-11-15 02:55:27

UPDATE