1![Static Program Analysis for Identifying Energy Bugs in Graphics-Intensive Mobile Apps Chang Hwan Peter Kim, Daniel Kroening, and Marta Kwiatkowska Department of Computer Science, University of Oxford, UK Static Program Analysis for Identifying Energy Bugs in Graphics-Intensive Mobile Apps Chang Hwan Peter Kim, Daniel Kroening, and Marta Kwiatkowska Department of Computer Science, University of Oxford, UK](https://www.pdfsearch.io/img/47ee5d91acbc665de48bb2a25c4259f3.jpg) | Add to Reading ListSource URL: qav.comlab.ox.ac.ukLanguage: English - Date: 2016-07-04 05:12:57
|
---|
2![Rule Formats for Nominal Operational Semantics A very short and informal introduction Luca Aceto Gran Sasso Science Institute, L’Aquila, and ICE-TCS, School of Computer Science, Reykjavik University Rule Formats for Nominal Operational Semantics A very short and informal introduction Luca Aceto Gran Sasso Science Institute, L’Aquila, and ICE-TCS, School of Computer Science, Reykjavik University](https://www.pdfsearch.io/img/a918bd98053fe3d177b2663c2ffd63eb.jpg) | Add to Reading ListSource URL: tlt2017.di.unito.itLanguage: English - Date: 2017-10-04 12:33:27
|
---|
3![Is Interaction Necessary for Distributed Private Learning? Adam Smith∗ , Abhradeep Thakurta† , Jalaj Upadhyay∗ of Electrical Engineering and Computer Science, Pennsylvania State University, Email: {asmith, jalaj}@p Is Interaction Necessary for Distributed Private Learning? Adam Smith∗ , Abhradeep Thakurta† , Jalaj Upadhyay∗ of Electrical Engineering and Computer Science, Pennsylvania State University, Email: {asmith, jalaj}@p](https://www.pdfsearch.io/img/bffa50c3cabd137ab83ea2812143f40e.jpg) | Add to Reading ListSource URL: www.ieee-security.orgLanguage: English - Date: 2017-04-03 15:58:45
|
---|
4![Giving to COS Please complete this form, and send it along with your contribution to: Center for Open Science, 210 Ridge McIntire Road, Suite, 500, Charlottesville VA, Yes, I want to join the Center for Open S Giving to COS Please complete this form, and send it along with your contribution to: Center for Open Science, 210 Ridge McIntire Road, Suite, 500, Charlottesville VA, Yes, I want to join the Center for Open S](https://www.pdfsearch.io/img/50afbf7d3504e65d7ba581f957231cb6.jpg) | Add to Reading ListSource URL: cos.ioLanguage: English |
---|
5![Operator Counting Heuristics for Probabilistic Planning Felipe Trevizan, Sylvie Thi´ebaux, Patrik Haslum Data61, CSIRO and Research School of Computer Science, Australian National University Abstr Operator Counting Heuristics for Probabilistic Planning Felipe Trevizan, Sylvie Thi´ebaux, Patrik Haslum Data61, CSIRO and Research School of Computer Science, Australian National University Abstr](https://www.pdfsearch.io/img/41c1ec7e8565e85c96e59d5fae2c9c5a.jpg) | Add to Reading ListSource URL: users.cecs.anu.edu.auLanguage: English - Date: 2018-07-07 12:35:35
|
---|
6![Leveraging Crowdsourcing for the Thematic Annotation of the Qur’an Amna Basharat, I. Budak Arpinar, Khaled Rasheed Dept. of Computer Science, University of Georgia, Athens, GA, 30605 USA amnabash,budak, Leveraging Crowdsourcing for the Thematic Annotation of the Qur’an Amna Basharat, I. Budak Arpinar, Khaled Rasheed Dept. of Computer Science, University of Georgia, Athens, GA, 30605 USA amnabash,budak,](https://www.pdfsearch.io/img/2b1de2cb9f5666a4e31434b96cdebfa5.jpg) | Add to Reading ListSource URL: gdac.uqam.caLanguage: English - Date: 2017-10-04 00:24:27
|
---|
7![Zero-Knowledge Protocols for Search Problems Ben Berger Zvika Brakerski Weizmann Institute of Science, Israel∗ Abstract Zero-Knowledge Protocols for Search Problems Ben Berger Zvika Brakerski Weizmann Institute of Science, Israel∗ Abstract](https://www.pdfsearch.io/img/57528a9d0c34e0be6ffbd73e93b1514a.jpg) | Add to Reading ListSource URL: eprint.iacr.orgLanguage: English - Date: 2018-05-14 10:13:17
|
---|
8![Learning Outcomes for Master of Science (MSc) in Innovation Management National Qualification Framework for Iceland MSc in Innovation Management at Reykjavik University MSc in Innovation Management is a 90 ECTS-credit ma Learning Outcomes for Master of Science (MSc) in Innovation Management National Qualification Framework for Iceland MSc in Innovation Management at Reykjavik University MSc in Innovation Management is a 90 ECTS-credit ma](https://www.pdfsearch.io/img/aee34d92bcae3a5fe862afe0a638b0b6.jpg) | Add to Reading ListSource URL: en.ru.isLanguage: English - Date: 2018-06-27 06:21:03
|
---|
9![A Case for Query-driven Predicate Answer Set Programming (Position Paper) Gopal Gupta Elmer Salazar, Kyle Marple, Zhuo Chen, Farhad Shakerin Department of Computer Science The University of Texas at Dallas A Case for Query-driven Predicate Answer Set Programming (Position Paper) Gopal Gupta Elmer Salazar, Kyle Marple, Zhuo Chen, Farhad Shakerin Department of Computer Science The University of Texas at Dallas](https://www.pdfsearch.io/img/e7ce247cfaa4154e04d07aaebe07c965.jpg) | Add to Reading ListSource URL: www.cs.man.ac.ukLanguage: English - Date: 2017-07-30 15:10:44
|
---|
10![Under consideration for publication in Math. Struct. in Comp. Science Complexity of Translations from Resolution to Sequent Calculus (Presentation-Only - Draft) Giselle Reis1 and Bruno Woltzenlogel Paleo2 Under consideration for publication in Math. Struct. in Comp. Science Complexity of Translations from Resolution to Sequent Calculus (Presentation-Only - Draft) Giselle Reis1 and Bruno Woltzenlogel Paleo2](https://www.pdfsearch.io/img/cd377b4fb94e96c4a77167c8abb3521f.jpg) | Add to Reading ListSource URL: pxtp.github.ioLanguage: English - Date: 2017-09-19 19:50:55
|
---|