1![The Complexity of Zero Knowledge Salil Vadhan∗ School of Engineering and Applied Sciences Harvard University Cambridge, MA 02138 The Complexity of Zero Knowledge Salil Vadhan∗ School of Engineering and Applied Sciences Harvard University Cambridge, MA 02138](https://www.pdfsearch.io/img/3ce030b6b9c10b820fbcee4b738cf4ea.jpg) | Add to Reading ListSource URL: people.seas.harvard.eduLanguage: English - Date: 2010-03-21 22:20:21
|
---|
2![A Story of Parametric Trace Slicing, Garbage and Static Analysis Giles Reger School of Computer Science, University of Manchester, UK PrePost 2017 A Story of Parametric Trace Slicing, Garbage and Static Analysis Giles Reger School of Computer Science, University of Manchester, UK PrePost 2017](https://www.pdfsearch.io/img/5fdb192c08a94a4ec86e79f2036b6622.jpg) | Add to Reading ListSource URL: www.cs.man.ac.ukLanguage: English - Date: 2017-09-19 11:02:58
|
---|
3![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
|
---|
4![Samara Klar August 2018 EMPLOYMENT University of Arizona Tucson, AZ Associate Professor with Tenure, School of Government and Public Policy (July 2018-Present) Samara Klar August 2018 EMPLOYMENT University of Arizona Tucson, AZ Associate Professor with Tenure, School of Government and Public Policy (July 2018-Present)](https://www.pdfsearch.io/img/73f455a6a626352a11929f3da4ed2e5e.jpg) | Add to Reading ListSource URL: samaraklar.comLanguage: English - Date: 2018-08-14 12:47:48
|
---|
5![Stochastic Model Checking? Marta Kwiatkowska, Gethin Norman, and David Parker School of Computer Science, University of Birmingham Edgbaston, Birmingham B15 2TT, United Kingdom Abstract. This tutorial presents an overvi Stochastic Model Checking? Marta Kwiatkowska, Gethin Norman, and David Parker School of Computer Science, University of Birmingham Edgbaston, Birmingham B15 2TT, United Kingdom Abstract. This tutorial presents an overvi](https://www.pdfsearch.io/img/ed439e59e99bc0a188145a82580ba0a6.jpg) | Add to Reading ListSource URL: qav.comlab.ox.ac.ukLanguage: English - Date: 2011-06-22 09:34:32
|
---|
6![Velocity-based Storage and Stowage Decisions in a Semiautomated Fulfillment System by Rong Yuan Submitted to the Sloan School of Management on July 19, 2016 in partial fulfillment of the requirements for the degree of Do Velocity-based Storage and Stowage Decisions in a Semiautomated Fulfillment System by Rong Yuan Submitted to the Sloan School of Management on July 19, 2016 in partial fulfillment of the requirements for the degree of Do](https://www.pdfsearch.io/img/ef027caf6cfac8f3a8caf9e776f2b102.jpg) | Add to Reading ListSource URL: web.mit.eduLanguage: English - Date: 2017-03-02 13:15:10
|
---|
7![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
|
---|
8![Energy Impact Grant Announcement September 27, The Board of University and School Lands (Board) announces a contingency grant available to oil and gas development-impacted political subdivisions including cities, Energy Impact Grant Announcement September 27, The Board of University and School Lands (Board) announces a contingency grant available to oil and gas development-impacted political subdivisions including cities,](https://www.pdfsearch.io/img/793b36e8bcda312ac6d81caebcf5e5a2.jpg) | Add to Reading ListSource URL: land.nd.govLanguage: English - Date: 2018-09-27 14:48:42
|
---|
9![Computer-based Trading, Institutional Investors and Treasury Bond Returns Xiaoquan Liu University Business School, Ningbo Ingrid Lo Computer-based Trading, Institutional Investors and Treasury Bond Returns Xiaoquan Liu University Business School, Ningbo Ingrid Lo](https://www.pdfsearch.io/img/b78aba42ebaeaae5acd556f583fb19cd.jpg) | Add to Reading ListSource URL: www.hkimr.orgLanguage: English - Date: 2018-08-16 22:16:54
|
---|
10![PNCOIRank: Evaluating the Impact of Scholarly Articles with Positive and Negative Citations Xiaomei Bai, Jun Zhang, Hai Cui, Zhaolong Ning and Feng Xia School of Software, Dalian University of Technology, Dalian, PNCOIRank: Evaluating the Impact of Scholarly Articles with Positive and Negative Citations Xiaomei Bai, Jun Zhang, Hai Cui, Zhaolong Ning and Feng Xia School of Software, Dalian University of Technology, Dalian,](https://www.pdfsearch.io/img/3af75801d01ca0f506528299faa49ae7.jpg) | Add to Reading ListSource URL: gdac.uqam.caLanguage: English - Date: 2017-10-04 01:00:13
|
---|