K-2 - PDFSEARCH.IO - Document Search Engine

K-2
Results: 9966

#	Item
1	Design of Knowledge Analytics Tools for Workplace Learning? Maria A Schett1 , Stefan Thalmann2 , and Ronald K Maier2 1 2 Add to Reading List Source URL: ceur-ws.org Language: English - Date: 2016-08-29 07:14:47 Economy Business intelligence Finance Money Learning analytics Predictive analytics Analytics in higher education Analytics Usability Business analytics Architectural pattern Educational technology
2	Algebraic techniques for number field computations (extended abstract) Jean-Fran¸cois Biasse1 , Michael J. Jacobson, Jr.2? , and Alan K. Silvester3 ´ Ecole Polytechnique, 91128 Palaiseau, France Add to Reading List Source URL: www.lix.polytechnique.fr Language: English - Date: 2014-09-02 14:57:05 Algebra Abstract algebra Mathematics Finite fields Group theory Logarithms Algebraic number theory Numerical linear algebra XTR Discrete logarithm Gaussian elimination Quadratic field
3	Purchase Influence Mining: Identifying Top-k Items Attracting Purchase of Target Item Sungchul Kim1 , Jinyoung Yeo2 , Eunyee Koh1 , Nedim Lipka1 2 Add to Reading List Source URL: gdac.uqam.ca Language: English - Date: 2017-10-04 00:45:42 Graph theory Recommender system Graph
4	Multi-Objective Model Checking of Markov Decision Processes K. Etessami1 , M. Kwiatkowska2, M. Y. Vardi3 , and M. Yannakakis4 1 2 Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2007-06-27 11:49:37 Experiment Mathematical analysis Multi-objective optimization Markov decision process Probability space Event Analysis Probability and statistics Holomorphic functional calculus
5	Se urity Estimates for Quadrati Field Based Cryptosystems Jean-Fran ois Biasse1 , Mi hael J. Ja obson, Jr.2 ? , and Alan K. Silvester3 1 Add to Reading List Source URL: www.lix.polytechnique.fr Language: English - Date: 2014-09-02 14:57:05 Mathematics Logarithms Mathematical analysis Discrete mathematics Binary logarithm 108 Factorial Prime number Common logarithm P
6	Designing a Micro-Benchmark Suite to Evaluate gRPC for TensorFlow: Early Experiences Rajarshi Biswas, Xiaoyi Lu, and Dhabaleswar K. (DK) Panda {biswas.91,lu.932,panda.2}@osu.edu Abstract Add to Reading List Source URL: prof.ict.ac.cn Language: English - Date: 2018-03-19 22:54:07 Computing Deep learning Free statistical software GRPC Remote procedure call Benchmark TensorFlow Protocol Buffers Remote direct memory access InfiniBand Storage area network Standard Performance Evaluation Corporation
7	The K IND 2 Model Checker ? Adrien Champion, Alain Mebsout, Christoph Sticksel, and Cesare Tinelli The University of Iowa Abstract. K IND 2 is an open-source, multi-engine, SMT-based model checker for safety properties o Add to Reading List Source URL: mebsout.github.io Language: English - Date: 2017-07-21 11:03:15 Formal methods Theoretical computer science Computing Software engineering Satisfiability modulo theories Model checking Invariant Lustre
8	Resist Now #2: Setting Up A Co-Op Q. HOW DO K-HEADS TIME TRAVEL? A. IN A RETARDIS Add to Reading List Source URL: www.randomartists.org Language: English - Date: 2007-12-17 19:21:41 DIY culture Human behavior Affordable housing Culture Anarcho-punk Real property law Anarchism Crime Squatting Free party Autonomous social center Ungdomshuset
9	GCSS Pre-K Preguntas frecuentes 1. 2. Add to Reading List Source URL: www2.gcssk12.net Language: Spanish - Date: 2018-02-26 20:10:19
10	Volume 2, Issue 1 February - March 2015 Congratulations, Tranda, on your 42+ years of service!!! Add to Reading List Source URL: www.twincreeks.k-state.edu Language: English - Date: 2018-06-03 05:27:46