Edu - PDFSEARCH.IO - Document Search Engine

Edu
Results: 1439644

#	Item
561	INITIAL INTEGRATION AND EVALUATION OF SLATE PARALLEL BLAS IN LATTE Marc Cawkwell, Danny Perez, Arthur Voter Asim YarKhan, Gerald Ragghianti, Jack Dongarra, Introduction Add to Reading List Source URL: www.icl.utk.edu Language: English - Date: 2018-07-02 10:42:06 Numerical software Computing Numerical analysis Numerical linear algebra Computer programming Basic Linear Algebra Subprograms LAPACK PBLAS Graphics processing unit Linear algebra Comparison of linear algebra libraries Matrix
562	October 5, 2015 Dear Cowboy Parents: We are four weeks into theyear and just wrapped up Family Weekend with over 470 parents and students participating in the weekend’s activities. I hope your UW student(s) a Add to Reading List Source URL: www.uwyo.edu Language: English - Date: 2018-08-06 12:34:19 University of Wyoming Wyoming V-12 Navy College Training Program University of Wisconsin System Western United States Education in the United States
563	Participation Incentives on a Wireless Random Access Erasure Collision Channel Add to Reading List Source URL: www.cs.drexel.edu Language: English - Date: 2017-10-01 18:35:24 Circuit complexity NC Price of anarchy Nash equilibrium
564	Earth Science_BS_General.pdf Add to Reading List Source URL: catalog.southernct.edu Language: English - Date: 2018-10-06 18:05:23 Large ElectronPositron Collider Course European Students Conference
565	A Crash-Safe Key-Value Store Using Chained Copy-on-Write B-trees by Bruno Castro-Karney Supervised by Xi Wang Add to Reading List Source URL: unsat.cs.washington.edu Language: English - Date: 2018-08-21 17:45:06 Binary trees Computing Computer programming B-tree Learning Data types Trie B+ tree Btrfs R-tree T-tree Tree
566	Cognition xxxxxx–xxx Contents lists available at ScienceDirect Cognition journal homepage: www.elsevier.com/locate/COGNIT Add to Reading List Source URL: saxelab.mit.edu Language: English - Date: 2017-05-11 15:44:05 Philosophy Ethics Axiology Social philosophy Meta-ethics Ethical theories Morality Moral sense theory Values Moral psychology
567	COSC 544 Probabilistic Proof SystemsIntroductory Lecture Lecturer: Justin Thaler Add to Reading List Source URL: people.cs.georgetown.edu Language: English - Date: 2017-09-14 15:31:41 Cryptography Complexity classes Computational complexity theory Mathematics Interactive proof system Zero-knowledge proof Probabilistically checkable proof IP Soundness NEXPTIME Mathematical proof Zero knowledge
568	Progress on the SPN Chatbot: Handling compound and domain-specific queries Zi Yin Vin Sachidananda Add to Reading List Source URL: platformlab.stanford.edu Language: English - Date: 2018-06-18 15:29:58 Chatbot Instant messaging Natural language parsing
569	SAT Modulo the Theory of Linear Arithmetic: Exact, Inexact and Commercial Solvers Germain Faure, Robert Nieuwenhuis, Albert Oliveras and Enric Rodr´ıguez-Carbonell? Abstract. Many highly sophisticated tools exist for Add to Reading List Source URL: www.lsi.upc.edu Language: English - Date: 2008-05-08 10:37:46 Theoretical computer science Mathematics Computational complexity theory Electronic design automation Formal methods Logic in computer science NP-complete problems Boolean algebra Satisfiability modulo theories Boolean satisfiability problem Linear programming AMPL
570	Incremental Call Graph Reanalysis for AspectJ Software Yu Lin, Sai Zhang, Jianjun Zhao School of Software Shanghai Jiao Tong University 800 Dongchuan Road, Shanghai, China {linyu1986, saizhang, zhao-jj}@sjtu.edu.c Add to Reading List Source URL: zhang-sai.github.io Language: English - Date: 2015-05-05 00:58:34 Software development Aspect-oriented software development Aspect-oriented programming AspectJ Pointcut Join point Data-flow analysis Aspect weaver

UPDATE