Moore - PDFSEARCH.IO - Document Search Engine

Moore
Results: 7418

#	Item
1	THE HOWE-MOORE PROPERTY FOR REAL AND p-ADIC GROUPS RAF CLUCKERS, YVES CORNULIER, NICOLAS LOUVET, ROMAIN TESSERA, AND ALAIN VALETTE Abstract. We consider in this paper a relative version of the Howe-Moore Add to Reading List Source URL: www.normalesup.org Language: English - Date: 2010-03-26 13:13:11 Group theory Algebra Abstract algebra Topological groups Lie groups Geometric group theory Kazhdan's property Induced representation Reductive group Ergodic theory Commutator subgroup Representation theory
2	Machines Reasoning about Machines A Personal Perspective J Strother Moore Department of Computer Sciences Add to Reading List Source URL: dream.inf.ed.ac.uk Language: English - Date: 2010-07-26 10:39:46 Computer programming Software engineering Computing Lisp Functional programming Data types Abstract data types Functional languages Append ACL2 Cons Nqthm
3	Extensible Access Control with Authorization Contracts Scott Moore Christos Dimoulas Robert Bruce Findler Add to Reading List Source URL: www.ece.northwestern.edu Language: English - Date: 2016-10-10 16:16:25 Computability theory Models of computation Theoretical computer science Software engineering Scope Lambda calculus Computing
4	Inferring Internet Denial-of-Service Activity David Moore CAIDA San Diego Supercomputer Center University of California, San Diego Add to Reading List Source URL: cseweb.ucsd.edu Language: English - Date: 2001-05-18 13:11:42 Denial-of-service attacks Cyberwarfare Computing Computer security Denial-of-service attack Transmission Control Protocol IP address spoofing SYN flood Ping Port scanner LAND UDP flood attack
5	Industrial Use of ACL2: Applications, Achievements, Challenges, and Directions J Strother Moore and Marijn J.H. Heule http://www.cs.utexas.edu/users/moore/acl2 ARCADE in Gothenburg, Sweden Add to Reading List Source URL: www.cs.utexas.edu Language: English - Date: 2017-08-05 03:12:13 Computer programming Software engineering Computing Lisp ACL2 Functional languages J Strother Moore Formal methods Automated theorem proving Common Lisp ACL Advanced Micro Devices
6	Industrial Use of ACL2: Applications, Achievements, Challenges, and Directions J Strother Moore and Marijn J.H. Heule Department of Computer Science The University of Texas at Austin {moore,marijn}@cs.utexas.edu Add to Reading List Source URL: www.cs.man.ac.uk Language: English - Date: 2017-07-30 15:10:42 Software engineering Computer programming Theoretical computer science Automated theorem proving Lisp ACL2 Formal methods Logic in computer science Robert S. Boyer
7	PDF Document Add to Reading List Source URL: www.co.moore.tx.us - Date: 2013-02-12 11:23:23
8	PDF Document Add to Reading List Source URL: www.co.moore.tx.us - Date: 2018-01-19 16:28:32
9	PDF Document Add to Reading List Source URL: www.co.moore.tx.us - Date: 2017-08-29 14:30:05
10	PDF Document Add to Reading List Source URL: www.co.moore.tx.us - Date: 2015-07-20 11:50:11