K - PDFSEARCH.IO - Document Search Engine

K
Results: 150297

#	Item
81	TRecSo: Enhancing Top-k Recommendation With Social Information ∗ Chanyoung Park, Donghyun Kim, Jinoh Oh, Hwanjo Yu† Dept. of Computer Science and Engineering Add to Reading List Source URL: gdac.uqam.ca Language: English - Date: 2017-10-04 00:59:03 Information science Collective intelligence Recommender systems Information retrieval Collaboration Social information processing Information systems Collaborative filtering Matrix factorization Machine learning Personalization
82	Pushing to the Top with K-induction Arie Gurfinkel Electrical and Computer Engineering University of Waterloo joint work with Alexander Ivrii (IBM) Add to Reading List Source URL: arieg.bitbucket.io Language: English - Date: 2018-10-19 18:15:18
83	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
84	The Satisfiability Problem for Probabilistic CTL Tom´asˇ Br´azdil Vojtˇech Forejt Jan Kˇret´ınsk´y Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2013-12-01 09:35:38 Theoretical computer science Mathematics Logic in computer science Mathematical analysis Temporal logic Generalizations of the derivative Computation tree logic Boolean satisfiability problem Symbol Model theory 120-cell Distribution
85	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
86	Proc. Int. Cong. of Math. – 2018 Rio de Janeiro, Vol–172) ON NEGATIVE ALGEBRAIC K -GROUPS Moritz Kerz Add to Reading List Source URL: eta.impa.br Language: English - Date: 2018-07-25 13:17:43 Algebra Abstract algebra Mathematics Algebraic geometry Divisor Coherent sheaf Sheaf cohomology Noetherian ring Algebraic K-theory K-theory Cohomology Finite morphism
87	Results from Tom K. Wong1 et al., 2018 National DACA Study Survey fieldedton = 1,050 Methodology Economic Integration Add to Reading List Source URL: cdn.americanprogress.org Language: English - Date: 2018-08-13 16:15:51 Deferred Action for Childhood Arrivals Demographics of the United States Undocumented youth in the United States Retirement Demography United States Population
88	TISKOVÁ ZPRÁVA, Představenstvo KCP drží v rukou výsledky loňského hospodaření Výsledky hospodaření Kongresového centra Praha v roce 2016 jsou známé a roční uzávěrka zpracovaná k Add to Reading List Source URL: www.praguecc.cz Language: Czech - Date: 2017-07-12 05:24:39
89	Slick Packets Giang T. K. Nguyen Rachit Agarwal Junda Liu Add to Reading List Source URL: pbg.cs.illinois.edu Language: English - Date: 2011-04-11 05:41:03 Computing Network architecture Internet architecture Information and communications technology Routing Computer networking Internet Standards Router Forwarding plane Open Shortest Path First Multiprotocol Label Switching Source routing