31![The Vampire and the FOOL Evgenii Kotelnikov Laura Kov´acs Giles Reger The Vampire and the FOOL Evgenii Kotelnikov Laura Kov´acs Giles Reger](https://www.pdfsearch.io/img/84c72b581dccb7b3050a983a88d2cfef.jpg) | Add to Reading ListSource URL: www.cs.man.ac.ukLanguage: English - Date: 2016-07-20 16:08:44
|
---|
32![A Study of Pushdown Games Von der Fakultät für Mathematik, Informatik und Naturwissenschaften der RWTH Aachen University zur Erlangung des akademischen Grades eines Doktors der Naturwissenschaften genehmigte Dissertat A Study of Pushdown Games Von der Fakultät für Mathematik, Informatik und Naturwissenschaften der RWTH Aachen University zur Erlangung des akademischen Grades eines Doktors der Naturwissenschaften genehmigte Dissertat](https://www.pdfsearch.io/img/33da6a6c6e6ba0615f510bb06d554f17.jpg) | Add to Reading ListSource URL: cgi.csc.liv.ac.ukLanguage: English - Date: 2015-10-27 05:19:34
|
---|
33![SCAN 2018 Post-conference Proceedings Special Issue of Journal of Computational and Applied Mathematics Call for Papers Special Issue on the 18th International Symposium on Scientific Computing, Computer Arithmetic, SCAN 2018 Post-conference Proceedings Special Issue of Journal of Computational and Applied Mathematics Call for Papers Special Issue on the 18th International Symposium on Scientific Computing, Computer Arithmetic,](https://www.pdfsearch.io/img/cfe4954e4a7614487388d0a0d87793ec.jpg) | Add to Reading ListSource URL: scan2018.oishi.info.waseda.ac.jpLanguage: English - Date: 2018-09-08 22:45:08
|
---|
34![MultiVAC: A High-Throughput Flexible Public Blockchain Based on Trusted Sharding Computation MultiVAC Foundation June, 2018, version 0.1 Abstract: MultiVAC is a next-generation high-performance public blockch MultiVAC: A High-Throughput Flexible Public Blockchain Based on Trusted Sharding Computation MultiVAC Foundation June, 2018, version 0.1 Abstract: MultiVAC is a next-generation high-performance public blockch](https://www.pdfsearch.io/img/02f2ec778396b97b00a810c808edab66.jpg) | Add to Reading ListSource URL: www.mtv.acLanguage: English - Date: 2018-10-22 10:30:36
|
---|
35![Making Automatic Theorem Provers more Versatile Simon Cruanes Veridis, Inria Nancy https://cedeela.fr/~simon/ August 2017 Making Automatic Theorem Provers more Versatile Simon Cruanes Veridis, Inria Nancy https://cedeela.fr/~simon/ August 2017](https://www.pdfsearch.io/img/bae29dbeae85e12a79c9850565c22edb.jpg) | Add to Reading ListSource URL: www.cs.man.ac.ukLanguage: English - Date: 2017-08-08 03:28:32
|
---|
36![Microsoft Word - Category representation and response location shifts in category learning.psych research.r1.submitted Microsoft Word - Category representation and response location shifts in category learning.psych research.r1.submitted](https://www.pdfsearch.io/img/6a3eb7bff05cfa1961d7d84b9eb7d424.jpg) | Add to Reading ListSource URL: www.homepages.ucl.ac.ukLanguage: English - Date: 2014-01-17 10:18:12
|
---|
37![Microsoft Word - peers_JOLE_May2009.doc Microsoft Word - peers_JOLE_May2009.doc](https://www.pdfsearch.io/img/86df6127ce6b8bcd874cd8e05263c4b8.jpg) | Add to Reading ListSource URL: econ.lse.ac.ukLanguage: English - Date: 2009-05-25 06:05:53
|
---|
38![BigDataBench: a Big Data Benchmark Suite from Internet Services Lei Wang1,7 , Jianfeng Zhan ∗1 , Chunjie Luo1 , Yuqing Zhu1 , Qiang Yang1 , Yongqiang He2 , Wanling Gao1 , Zhen Jia1 , Yingjie Shi1 , Shujie Zhang3 , Chen BigDataBench: a Big Data Benchmark Suite from Internet Services Lei Wang1,7 , Jianfeng Zhan ∗1 , Chunjie Luo1 , Yuqing Zhu1 , Qiang Yang1 , Yongqiang He2 , Wanling Gao1 , Zhen Jia1 , Yingjie Shi1 , Shujie Zhang3 , Chen](https://www.pdfsearch.io/img/07420774747d39ab5c6cb1b495e8b226.jpg) | Add to Reading ListSource URL: prof.ict.ac.cnLanguage: English - Date: 2017-06-12 05:31:23
|
---|
39![When Your Fitness Tracker Betrays You: Quantifying the Predictability of Biometric Features Across Contexts Simon Eberz∗ , Giulio Lovisotto∗ , Andrea Patan`e∗ , Marta Kwiatkowska∗ , Vincent Lenders† and Ivan Ma When Your Fitness Tracker Betrays You: Quantifying the Predictability of Biometric Features Across Contexts Simon Eberz∗ , Giulio Lovisotto∗ , Andrea Patan`e∗ , Marta Kwiatkowska∗ , Vincent Lenders† and Ivan Ma](https://www.pdfsearch.io/img/0502724999bd2dd22a3d6e89a3bcf80c.jpg) | Add to Reading ListSource URL: qav.comlab.ox.ac.ukLanguage: English - Date: 2018-04-03 02:53:51
|
---|
40![Acta Informatica manuscript No. (will be inserted by the editor) Precise Parameter Synthesis for Stochastic Biochemical Systems ˇ ska · Frits Dannenberg · Acta Informatica manuscript No. (will be inserted by the editor) Precise Parameter Synthesis for Stochastic Biochemical Systems ˇ ska · Frits Dannenberg ·](https://www.pdfsearch.io/img/8df0cb3735c30e4288604b3e7647331b.jpg) | Add to Reading ListSource URL: qav.comlab.ox.ac.ukLanguage: English - Date: 2016-03-04 09:24:11
|
---|