Kruskal’s Tree Theorem for Term Graphs Georg Moser Maria A Schett TERMGRAPH 2016, Eindhoven

Source URL: www.maria-a-schett.net

• Mathematics
• Graph theory
• Discrete mathematics
• Mathematical logic
• Wellfoundedness
• Logic in computer science
• Rewriting
• Kruskal's tree theorem
• Graph

SHARK A Realizable Special Hardware Sieving Device for Factoring 1024-bit Integers Jens Franke1 , Thorsten Kleinjung1 , Christof Paar2 , Jan Pelzl2 , Christine Priplata3 , Colin Stahlke3 1

Source URL: www.hyperelliptic.org

• Integer factorization algorithms
• Mathematics
• Quadratic sieve
• Integer factorization records
• General number field sieve
• TWIRL
• Lattice sieving
• Factor base
• Prime number
• Sieve

SMT Techniques for Fast Predicate Abstraction Shuvendu K. Lahiri? , Robert Nieuwenhuis?? , and Albert Oliveras?? Abstract. Predicate abstraction is a technique for automatically extracting finite-state abstractions for s

Source URL: www.lsi.upc.edu

• Mathematical logic
• Mathematics
• Theoretical computer science
• Formal methods
• Electronic design automation
• Logic in computer science
• NP-complete problems
• Boolean algebra
• Satisfiability modulo theories
• Boolean satisfiability problem
• 120-cell
• Predicate

NEARBY SLOPES AND BOUNDEDNESS FOR `-ADIC SHEAVES IN POSITIVE CHARACTERISTIC by Jean-Baptiste Teyssier Abstract. — The goal of this paper is to motivate a boundedness conjecture for

Source URL: jbteyssier.com

• Algebra
• Abstract algebra
• Ring theory
• Algebraic number theory
• Field theory
• Complex analysis
• Algebraic topology
• Ramification
• Conductor
• Valuation
• Proper morphism
• Field extension

Thought For Food Privacy Policy    Who we are    Thought  For  Food  Foundation  (hereinafter  the  ‘Foundation’)  is  a  global  non-profit  organization  dedicated  to  empowering  the  next  g

Source URL: s3-eu-west-1.amazonaws.com

• Terms of service
• Internet privacy
• Law
• Computing
• Data security
• Information privacy
• HTTP cookie
• General Data Protection Regulation
• Privacy policy
• Privacy
• Google Analytics
• Personally identifiable information

A reputation system for the ICO marketplace COMING SOON! Introduction The rapidly growing ICO marketplace presents an excellent opportunity to establish trust between ICO

Source URL: hubtoken.org

• Fiction
• Action-adventure games
• Video games developed in Japan
• Culture
• Ico
• Magic in fiction
• Cryptocurrencies
• CD278
• Arts
• Initial coin offering

The Poetry Business 2019 International Book & Pamphlet Competition: Entry Form Complete and return this form, with your manuscript and a cheque for your entry fee, by Friday 1st March 2019 to: The Competition Administrat

Source URL: www.poetrybusiness.co.uk

• Economy
• Banking
• Cheque
• Numismatics
• Pamphlet
• Poetry Society

Draft VersionGems Protocol Decentralized Mechanical Turk powered by Ethereum Gems is a protocol for contracting workers to perform micro tasks. Workers stake tokens in order to prove validity of their tasks and ea

Source URL: gems.org

• Crowdsourcing
• Human-based computation
• Social information processing
• Web services
• Computing
• Collaboration
• Collective intelligence
• Amazon Mechanical Turk
• Ethereum
• Figure Eight Inc.

The State of Internet Censorship in Egypt A research study by: Open Observatory of Network Interference (OONI) Association for Freedom of Thought and Expression (AFTE)

Source URL: ooni.torproject.org

Latte: A Language, Compiler, and Runtime for Elegant and Efficient Deep Neural Networks Leonard Truong Rajkishore Barik

Source URL: thev.net

• Artificial neural networks
• Machine learning
• Applied mathematics
• Cybernetics
• Artificial neuron
• Backpropagation
• Recurrent neural network
• Deep learning
• Multilayer perceptron
• Neuron
• Neural network
• Perceptron