81![TRecSo: Enhancing Top-k Recommendation With Social Information ∗ Chanyoung Park, Donghyun Kim, Jinoh Oh, Hwanjo Yu† Dept. of Computer Science and Engineering TRecSo: Enhancing Top-k Recommendation With Social Information ∗ Chanyoung Park, Donghyun Kim, Jinoh Oh, Hwanjo Yu† Dept. of Computer Science and Engineering](https://www.pdfsearch.io/img/cb174f0c01c7aa8a8f6563bcfb36c5cf.jpg) | Add to Reading ListSource URL: gdac.uqam.caLanguage: English - Date: 2017-10-04 00:59:03
|
---|
82![Pushing to the Top with K-induction Arie Gurfinkel Electrical and Computer Engineering University of Waterloo joint work with Alexander Ivrii (IBM) Pushing to the Top with K-induction Arie Gurfinkel Electrical and Computer Engineering University of Waterloo joint work with Alexander Ivrii (IBM)](https://www.pdfsearch.io/img/b392469b9230f2987bd56a36f76d239d.jpg) | Add to Reading ListSource URL: arieg.bitbucket.ioLanguage: 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 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](https://www.pdfsearch.io/img/6d2a4d2e8bf66b971de43c3b4f1cd6db.jpg) | Add to Reading ListSource URL: prof.ict.ac.cnLanguage: English - Date: 2018-03-19 22:54:07
|
---|
84![The Satisfiability Problem for Probabilistic CTL Tom´asˇ Br´azdil Vojtˇech Forejt Jan Kˇret´ınsk´y The Satisfiability Problem for Probabilistic CTL Tom´asˇ Br´azdil Vojtˇech Forejt Jan Kˇret´ınsk´y](https://www.pdfsearch.io/img/0bd1f7ef1daada981a6c0f09b703cc77.jpg) | Add to Reading ListSource URL: qav.comlab.ox.ac.ukLanguage: English - Date: 2013-12-01 09:35:38
|
---|
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 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](https://www.pdfsearch.io/img/99eeb5091d2e80b6dac34163b8241736.jpg) | Add to Reading ListSource URL: mebsout.github.ioLanguage: English - Date: 2017-07-21 11:03:15
|
---|
86![Proc. Int. Cong. of Math. – 2018 Rio de Janeiro, Vol–172) ON NEGATIVE ALGEBRAIC K -GROUPS Moritz Kerz Proc. Int. Cong. of Math. – 2018 Rio de Janeiro, Vol–172) ON NEGATIVE ALGEBRAIC K -GROUPS Moritz Kerz](https://www.pdfsearch.io/img/f02cb2ee072e9941108a89c1ef53e2fa.jpg) | Add to Reading ListSource URL: eta.impa.brLanguage: English - Date: 2018-07-25 13:17:43
|
---|
87![Results from Tom K. Wong1 et al., 2018 National DACA Study Survey fieldedton = 1,050 Methodology Economic Integration Results from Tom K. Wong1 et al., 2018 National DACA Study Survey fieldedton = 1,050 Methodology Economic Integration](https://www.pdfsearch.io/img/d13be2ebe6659d2196d493ee6932ae97.jpg) | Add to Reading ListSource URL: cdn.americanprogress.orgLanguage: English - Date: 2018-08-13 16:15:51
|
---|
88![](/pdf-icon.png) | Add to Reading ListSource URL: www.praguecc.czLanguage: Czech - Date: 2017-07-12 05:24:39
|
---|
89![Slick Packets Giang T. K. Nguyen Rachit Agarwal Junda Liu Slick Packets Giang T. K. Nguyen Rachit Agarwal Junda Liu](https://www.pdfsearch.io/img/ed13ef720ac7a8ad8bc79d65681f3b2a.jpg) | Add to Reading ListSource URL: pbg.cs.illinois.eduLanguage: English - Date: 2011-04-11 05:41:03
|
---|