31![A Formalization of Programs in First-Order Logic with a Discrete Linear Order∗ Fangzhen Lin () Department of Computer Science The Hong Kong University of Science and Technology Clear Water Bay, Kowloon, H A Formalization of Programs in First-Order Logic with a Discrete Linear Order∗ Fangzhen Lin () Department of Computer Science The Hong Kong University of Science and Technology Clear Water Bay, Kowloon, H](https://www.pdfsearch.io/img/1d3481ad85beccc9ea73f56f0ba6a6f1.jpg) | Add to Reading ListSource URL: www.cs.ust.hkLanguage: English - Date: 2014-03-07 00:56:20
|
---|
32![American Computer Science League Classroom Division Contest #2 American Computer Science League Classroom Division Contest #2](https://www.pdfsearch.io/img/e045c84b3ed0e748beac842ad579c572.jpg) | Add to Reading ListSource URL: www.acsl.orgLanguage: English - Date: 2011-07-30 11:53:26
|
---|
33![Collision attack on NaSHA-512 Li Ji1 , Xu Liangyu1 , and Guan Xu2 1 2 Collision attack on NaSHA-512 Li Ji1 , Xu Liangyu1 , and Guan Xu2 1 2](https://www.pdfsearch.io/img/8161b46d45bac53b1b86cd288a4304c2.jpg) | Add to Reading ListSource URL: eprint.iacr.orgLanguage: English - Date: 2009-02-23 05:49:39
|
---|
34![Preliminary Thoughts on Ultracomputer Programming Style by J.T. Schwartz Ultracomputer Research Laboratory Courant Institute of Mathematical Sciences 715 Broadway, 10th Floor Preliminary Thoughts on Ultracomputer Programming Style by J.T. Schwartz Ultracomputer Research Laboratory Courant Institute of Mathematical Sciences 715 Broadway, 10th Floor](https://www.pdfsearch.io/img/efa85f5d37393dce562866cfc1643489.jpg) | Add to Reading ListSource URL: www.multimedialibrary.comLanguage: English - Date: 2014-03-05 11:07:09
|
---|
35![M1 Summer internship report Computer Science Department, Boston College June – August 2010 Advisor: Howard Straubing M1 Summer internship report Computer Science Department, Boston College June – August 2010 Advisor: Howard Straubing](https://www.pdfsearch.io/img/7affa8fd4f508db2436511806684f22b.jpg) | Add to Reading ListSource URL: antoine.delignat-lavaud.frLanguage: English - Date: 2010-08-17 15:32:16
|
---|
36![Learning from Human-Generated Lists Kwang-Sung Jun, Xiaojin Zhu {deltakam,jerryzhu}@cs.wisc.edu Department of Computer Sciences, University of Wisconsin-Madison, Madison, WIUSA Burr Settles Learning from Human-Generated Lists Kwang-Sung Jun, Xiaojin Zhu {deltakam,jerryzhu}@cs.wisc.edu Department of Computer Sciences, University of Wisconsin-Madison, Madison, WIUSA Burr Settles](https://www.pdfsearch.io/img/b1dd2a73b0cc3bd29fccebe09ed3efde.jpg) | Add to Reading ListSource URL: burrsettles.comLanguage: English - Date: 2014-03-12 18:30:20
|
---|
37![Inference of progress properties for (multi party) sessions Inference of progress properties for (multi party) sessions](https://www.pdfsearch.io/img/8d759ea2fd8a3bbd9a59f658300e5c1f.jpg) | Add to Reading ListSource URL: www.dcs.gla.ac.ukLanguage: English - Date: 2011-04-28 12:54:52
|
---|
38![A Census of Small Latin Hypercubes Brendan D. McKay Ian. M. Wanless Department of Computer Science A Census of Small Latin Hypercubes Brendan D. McKay Ian. M. Wanless Department of Computer Science](https://www.pdfsearch.io/img/18d42968f18dff87d1239ce2184776a6.jpg) | Add to Reading ListSource URL: cs.anu.edu.auLanguage: English - Date: 2007-10-05 07:58:10
|
---|
39![ALL DIFFERENCE FAMILY STRUCTURES ARISE FROM GROUPS TIM BOYKETT Abstract. Difference families are traditionally built using groups as their basis. This paper looks at what sort of generalised difference family constructio ALL DIFFERENCE FAMILY STRUCTURES ARISE FROM GROUPS TIM BOYKETT Abstract. Difference families are traditionally built using groups as their basis. This paper looks at what sort of generalised difference family constructio](https://www.pdfsearch.io/img/df03d77e379294d3310b26c62e4592b3.jpg) | Add to Reading ListSource URL: www.algebra.uni-linz.ac.atLanguage: English - Date: 2005-04-24 14:04:31
|
---|
40![Some Observations on Tiling Problems Tom Johnson Lecture MaMuX Meeting, IRCAM, January 25, 2003 Not being a mathematician, I can not offer any theorems or proofs, but since I am working on tiling problems in my music eve Some Observations on Tiling Problems Tom Johnson Lecture MaMuX Meeting, IRCAM, January 25, 2003 Not being a mathematician, I can not offer any theorems or proofs, but since I am working on tiling problems in my music eve](https://www.pdfsearch.io/img/08581fe7e9435bca51e31ea15c8230d6.jpg) | Add to Reading ListSource URL: recherche.ircam.frLanguage: English - Date: 2003-02-14 09:41:32
|
---|