Quasigroup - PDFSEARCH.IO - Document Search Engine

Quasigroup
Results: 187

#	Item
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 Add to Reading List Source URL: www.cs.ust.hk Language: English - Date: 2014-03-07 00:56:20 Logic in computer science Functions and mappings Formal methods Function First-order logic Predicate transformer semantics FO Quasigroup Dynamic logic Mathematics Mathematical logic Logic
32	American Computer Science League Classroom Division Contest #2 Add to Reading List Source URL: www.acsl.org Language: English - Date: 2011-07-30 11:53:26 Algebra Mathematical fallacy Proof theory Quasigroup Analytic geometry Mutual information Abstract algebra Mathematics Group theory
33	Collision attack on NaSHA-512 Li Ji1 , Xu Liangyu1 , and Guan Xu2 1 2 Add to Reading List Source URL: eprint.iacr.org Language: English - Date: 2009-02-23 05:49:39 Mathematics NIST hash function competition NaSHA Quasigroup
34	Preliminary Thoughts on Ultracomputer Programming Style by J.T. Schwartz Ultracomputer Research Laboratory Courant Institute of Mathematical Sciences 715 Broadway, 10th Floor Add to Reading List Source URL: www.multimedialibrary.com Language: English - Date: 2014-03-05 11:07:09 Bitonic sorter Ken Batcher Computing Boolean algebra Quasigroup Map Software engineering Mathematics Higher-order functions Nonassociative algebra
35	M1 Summer internship report Computer Science Department, Boston College June – August 2010 Advisor: Howard Straubing Add to Reading List Source URL: antoine.delignat-lavaud.fr Language: English - Date: 2010-08-17 15:32:16 Formal languages Category theory Algebraic structures Automata theory Syntactic monoid Semiautomaton Monoid Semigroup Quasigroup Abstract algebra Algebra Semigroup theory
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 Add to Reading List Source URL: burrsettles.com Language: English - Date: 2014-03-12 18:30:20 Symbol Normal distribution Quasigroup Kullback–Leibler divergence Statistics Nonassociative algebra Mathematics
37	Inference of progress properties for (multi party) sessions Add to Reading List Source URL: www.dcs.gla.ac.uk Language: English - Date: 2011-04-28 12:54:52 Quasigroup Applied mathematics Predicate transformer semantics Mathematics Differential equation FO
38	A Census of Small Latin Hypercubes Brendan D. McKay Ian. M. Wanless Department of Computer Science Add to Reading List Source URL: cs.anu.edu.au Language: English - Date: 2007-10-05 07:58:10 Latin squares Group theory Abstract algebra Quasigroup Hypercube Permutation Structure Isotopy of loops Magic hypercube Mathematics Nonassociative algebra Algebra
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 Add to Reading List Source URL: www.algebra.uni-linz.ac.at Language: English - Date: 2005-04-24 14:04:31 Nonassociative algebra Group theory Quasigroup Constructible universe Golden ratio Spectral theory of ordinary differential equations Golden ratio base Abstract algebra Mathematics Algebra
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 Add to Reading List Source URL: recherche.ircam.fr Language: English - Date: 2003-02-14 09:41:32 X Window System Mathematics Software Canon Quasigroup