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

Source URL: www.cs.man.ac.uk

• Software engineering
• Computer programming
• Theoretical computer science
• Automated theorem proving
• Lisp
• ACL2
• Formal methods
• Logic in computer science
• Robert S. Boyer

ON INTERACTIVE PROOFS WITH A LACONIC PROVER Oded Goldreich, Salil Vadhan, and Avi Wigderson Abstract. We continue the investigation of interactive proofs with bounded communication, as initiated by Goldreich and Hastad

Source URL: www.math.ias.edu

• Complexity classes
• Randomized algorithms
• Computational complexity theory
• Interactive proof system
• Theoretical computer science
• Mathematics
• Zero-knowledge proof
• Probabilistically checkable proof
• Computer science
• IP
• ArthurMerlin protocol
• NP

The Potential of Interference-Based Proof Systems Marijn J.H. Heule and Benjamin Kiesl The University of Texas at Austin and Vienna University of Technology ARCADE in Gothenburg, Sweden

Source URL: www.cs.utexas.edu

• Mathematical logic
• Mathematics
• Theoretical computer science
• Automated theorem proving
• Logic in computer science
• Methods of proof
• Boolean algebra
• Mathematical proofs
• Proof complexity
• Boolean satisfiability problem

H:rnalsingerceuStage300tentsNu_2006_22_Article.DVI

Source URL: rjoshi.org

• Computer architecture
• System software
• Computing
• Linus Torvalds
• Linux kernel
• Linux
• Unix
• Operating system
• Kernel
• Porting

Thread in Commercial White Paper May 2018 This Thread Technical white paper is provided for reference purposes only. The full technical specification is available publicly. To join gain access, please follow this link: h

Source URL: www.threadgroup.org

• Building automation
• IEEE 802
• Wireless networking
• Computing
• Home automation
• Technology
• Wireless
• Mesh networking
• Thread
• Zigbee
• Internet of things
• Ember

PDF Document

Source URL: www.yonezawakojokan-h.ed.jp

PDF Document

Source URL: www.h.u-tokyo.ac.jp

PDF Document

Source URL: www.bunka-h.gr.jp

PDF Document

Source URL: www.4-h.uconn.edu

PDF Document

Source URL: www.bunka-h.gr.jp