Linear - PDFSEARCH.IO - Document Search Engine

Linear
Results: 27143

#	Item
631	Mapping linear workflows with computation/communication overlap Kunal Agrawal1 , Anne Benoit2 and Yves Robert2 1 CSAIL, Massachusetts Institute of Technology, USA Add to Reading List Source URL: www.ens-lyon.fr - Date: 2008-07-01 04:54:07
632	Linear and Sublinear Linear Algebra Algorithms: Preconditioning Stochastic Gradient Algorithms with Randomized Linear Algebra Add to Reading List Source URL: dimacs.rutgers.edu - Date: 2015-08-27 15:47:14
633	Compact Proof Certificates For Linear Logic Kaustuv Chaudhuri INRIA, France http://kaustuv.chaudhuri.info Abstract. Linear logic is increasingly being used as a tool for communicating reasoning agents in domains such as Add to Reading List Source URL: kaustuv.chaudhuri.info - Date: 2012-11-06 02:56:18
634	A Resilient Framework for Iterative Linear Algebra Applications in X10 Sara S. Hamouda Australian National University Add to Reading List Source URL: x10.sourceforge.net - Date: 2015-06-14 17:00:03
635	Log-Linear Models Michael Collins 1 Introduction Add to Reading List Source URL: www.cs.columbia.edu - Date: 2013-10-22 14:49:11
636	Exact State Set Representations in the Veriﬁcation of Linear Hybrid Systems with Large Discrete State Space Werner Damm2,3 , Stefan Disch1 , Hardi Hungar3 , Swen Jacobs4 , Jun Pang2 , Florian Pigorsch1, Christoph Scho Add to Reading List Source URL: www.swenjacobs.com - Date: 2013-01-31 09:31:46
637	Solving non-linear Horn clauses using a linear Horn clause solver ∗ Bishoksan Kafle John P. Gallagher Add to Reading List Source URL: hcvs2016.it.uu.se - Date: 2016-04-02 04:08:34
638	Chapter 8 MEMMs (Log-Linear Tagging Models) 8.1 Add to Reading List Source URL: www.cs.columbia.edu - Date: 2014-11-13 21:22:25
639	PDF Document Add to Reading List Source URL: cds.linear.com - Date: 2016-09-22 19:20:24
640	AN12 - Circuit Techniques for Clock Sources Add to Reading List Source URL: cds.linear.com - Date: 2013-02-05 14:54:22

UPDATE