Theory Learning and Logical Rule Induction with Neural Theorem Proving Andres Campero 1 Aldo Pareja 2 Tim Klinger 2 Josh Tenenbaum 1 Sebastian Riedel 3 1. Introduction A hallmark of human cognition is the ability to con

Source URL: uclmr.github.io

• Logic
• Reasoning
• Inductive reasoning
• Predicate logic
• Mathematical logic
• Predicate
• Propositional calculus
• Inference
• Universal quantification
• Axiom

One TPM to Bind Them All: Fixing TPM 2.0 for Provably Secure Anonymous Attestation Jan Camenisch1 , Liqun Chen2 , Manu Drijvers1,3 , Anja Lehmann1 , David Novick4 , and Rainer Urian5 1 IBM Research – Zurich

Source URL: eprint.iacr.org

• Cryptography
• Computer security
• Direct Anonymous Attestation
• Trusted Platform Module
• Trusted Computing Group
• Trusted Computing
• Proof of knowledge
• FiatShamir heuristic
• Non-interactive zero-knowledge proof
• Zero-knowledge proof

Supplementary Material: The Emergence of Organizing Structure in Conceptual Representation Brenden M. Lake,1,2 Neil D. Lawrence,3 Joshua B. Tenenbaum,4,

Source URL: cims.nyu.edu

• K-means clustering
• Cluster analysis
• Belief propagation

Pattern Matches in HOL: A New Representation and Improved Code Generation Thomas Tuerk1 , Magnus O. Myreen2,3 , and Ramana Kumar3 2 1

Source URL: cakeml.org

• Computer programming
• Declarative programming
• Software engineering
• Functional programming
• Type theory
• Predicate logic
• Monad
• Algebraic data type
• Conditional
• Expression
• Quantifier
• Standard ML

Towards Strong Higher-Order Automation for Fast Interactive Verification Jasmin Christian Blanchette1,2,3 , Pascal Fontaine3 , Stephan Schulz4 , and Uwe Waldmann2 1

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

• Theoretical computer science
• Software engineering
• Mathematical software
• Formal methods
• Proof assistants
• Logic in computer science
• Automated theorem proving
• Isabelle
• Automated reasoning
• E theorem prover
• Formal verification
• KeY

To Opt-In, follow these instructions: 1) Create a New Listing Center account, if you do not already have one. 2) Login to the Listing Center. If you forgot your password, press the "Forgot your password link?" 3) Once yo

Source URL: listingcenter.nasdaq.com

• Finance
• Economy
• Money
• Stock market
• Depositary receipts
• American depositary receipt
• NASDAQ
• Fee
• N-Shares
• Listing

Airlock and the OWASP TOPVersion 2.1  OWASP Top 10 A1 – Injection ........................................................................................................................ 3 A2

Source URL: www.airlock.com

• Computing
• Computer security
• Cyberwarfare
• Computer network security
• Cryptographic protocols
• Secure communication
• Transport Layer Security
• Web application security
• Application security
• HTTP cookie
• HTTPS
• Cross-site scripting

PUMP: A Programmable Unit for Metadata Processing Udit Dhawan1 Nikos Vasilakis1 Jonathan M. Smith1 Thomas F. Knight, Jr.3 1

Source URL: nikos.vasilak.is

Rootstock brochure 2-15_work_in_progress_3:Layout 1.qxd

Source URL: www.rootstock.org.uk

• Business models
• Market socialism
• Social programs
• Structure
• Radical Routes
• Economy
• Consumers' co-operative
• Housing cooperative
• Cooperative
• Worker cooperative
• The Co-operative Group
• The Co-operative brand

Pivotal Greenplum® Text Version 3.1.0

Source URL: gptext.docs.pivotal.io

• Data management
• Computing
• Data
• NoSQL
• Apache Solr
• Hadoop
• Greenplum
• Apache Software Foundation
• Apache ZooKeeper
• Apache Hadoop
• Oracle Database