11![Skolemising Blank Nodes while Preserving Isomorphism Aidan Hogan ∗ Department of Computer Science Skolemising Blank Nodes while Preserving Isomorphism Aidan Hogan ∗ Department of Computer Science](https://www.pdfsearch.io/img/75ae78e05b27a7123314a3b05ebbec1c.jpg) | Add to Reading ListSource URL: aidanhogan.comLanguage: English - Date: 2015-03-23 10:08:58
|
---|
12![3 May 1998 ITERATED RANDOM FUNCTIONS Persi Diaconis Department of Mathematics & ORIE Cornell University 3 May 1998 ITERATED RANDOM FUNCTIONS Persi Diaconis Department of Mathematics & ORIE Cornell University](https://www.pdfsearch.io/img/f28ff659fd497c7dbba0c4601575a081.jpg) | Add to Reading ListSource URL: www.stat.berkeley.eduLanguage: English - Date: 2009-02-19 12:18:31
|
---|
13![Programming with “Big Code”: Lessons, Techniques and Applications Pavol Bielik1 , Veselin Raychev1 , and Martin Vechev1 1 Department of Computer Science, ETH Zurich, Switzerland Programming with “Big Code”: Lessons, Techniques and Applications Pavol Bielik1 , Veselin Raychev1 , and Martin Vechev1 1 Department of Computer Science, ETH Zurich, Switzerland](https://www.pdfsearch.io/img/15d3bc590dc52944955b250e73aab1e2.jpg) | Add to Reading ListSource URL: files.sri.inf.ethz.chLanguage: English - Date: 2018-09-05 10:56:02
|
---|
14![Improving Local Search with Open Geographic Data Chuankai An, Dan Rockmore Department of Computer Science, Dartmouth College, Hanover, NH 03755, USA {chuankai, rockmore}@cs.dartmouth.edu ABSTRACT Improving Local Search with Open Geographic Data Chuankai An, Dan Rockmore Department of Computer Science, Dartmouth College, Hanover, NH 03755, USA {chuankai, rockmore}@cs.dartmouth.edu ABSTRACT](https://www.pdfsearch.io/img/325b51ce13e558164bb8312a0f2875f1.jpg) | Add to Reading ListSource URL: gdac.uqam.caLanguage: English - Date: 2017-10-04 00:47:38
|
---|
15![Spruce Land Services Standard Fees—New York State Title Premiums: Rates of title insurance premiums are promulgated by the New York State Department of Financial Services. Applicants receive all statutory discounts and Spruce Land Services Standard Fees—New York State Title Premiums: Rates of title insurance premiums are promulgated by the New York State Department of Financial Services. Applicants receive all statutory discounts and](https://www.pdfsearch.io/img/34a7e342ce1f7fdfe690fee6a2c96c37.jpg) | Add to Reading ListSource URL: spruce.coLanguage: English - Date: 2018-10-25 00:12:57
|
---|
16![Federal Department of Economic Affairs, Education and Research EAER Federal Office for Agriculture FOAG Import and Export Unit English is not an official language of the Swiss Confederation. Federal Department of Economic Affairs, Education and Research EAER Federal Office for Agriculture FOAG Import and Export Unit English is not an official language of the Swiss Confederation.](https://www.pdfsearch.io/img/8c48a9ec68855dc63d527282dc5fd29c.jpg) | Add to Reading ListSource URL: www.blw.admin.chLanguage: English |
---|
17![DEPARTMENT OF HOMELAND SECURITY AWARDS OCTO CONSULTING GROUP $300M CEILING SERVICES ENABLING AGILE DELIVERY (SEAD) BPA CONTRACT Octo will deliver Agile and DevOps practices through embedded experts to expedite the agency DEPARTMENT OF HOMELAND SECURITY AWARDS OCTO CONSULTING GROUP $300M CEILING SERVICES ENABLING AGILE DELIVERY (SEAD) BPA CONTRACT Octo will deliver Agile and DevOps practices through embedded experts to expedite the agency](https://www.pdfsearch.io/img/a5477b83441df8c35a3394c97704c9a0.jpg) | Add to Reading ListSource URL: www.octoconsulting.comLanguage: English - Date: 2018-08-27 12:37:57
|
---|
18![For more information, visit: www.caci.com/Health Health CACI supports the Department of Defense and civilian health agency For more information, visit: www.caci.com/Health Health CACI supports the Department of Defense and civilian health agency](https://www.pdfsearch.io/img/e8bef6c42dbd752ba02b3666f46f2a29.jpg) | Add to Reading ListSource URL: www.caci.comLanguage: English - Date: 2018-06-28 12:52:54
|
---|
19![AerieTM 16 Clutch Teradactyl® provides clients with Enterprise Department Backup solutions in a simple 3U rack mounted configuration. Enjoy the same capabilities as larger central IT services and maintain control of yo AerieTM 16 Clutch Teradactyl® provides clients with Enterprise Department Backup solutions in a simple 3U rack mounted configuration. Enjoy the same capabilities as larger central IT services and maintain control of yo](https://www.pdfsearch.io/img/f4b7c47f044727802b3a5a9d66dd0cea.jpg) | Add to Reading ListSource URL: www.teradactyl.comLanguage: English |
---|
20![Automatic Verification of Competitive Stochastic Systems Taolue Chen, Vojtˇech Forejt, Marta Kwiatkowska, David Parker, and Aistis Simaitis Department of Computer Science, University of Oxford, Oxford, UK Automatic Verification of Competitive Stochastic Systems Taolue Chen, Vojtˇech Forejt, Marta Kwiatkowska, David Parker, and Aistis Simaitis Department of Computer Science, University of Oxford, Oxford, UK](https://www.pdfsearch.io/img/275b93b15cf7e9fdf023ac6ff2c8bd00.jpg) | Add to Reading ListSource URL: www.prismmodelchecker.orgLanguage: English - Date: 2012-05-10 09:21:59
|
---|