Aquis Exchange Monthly Statistics Oct-2016 € 12,041,138,685 1,236,195,622 Value Traded

Source URL: www.aquis.eu

Citations From References: 0 From Reviews: 1 Previous Up

Source URL: jgrivaux.perso.math.cnrs.fr

• Abstract algebra
• Algebra
• Geometry
• Algebraic geometry
• Hilbert scheme
• Projective variety
• Perverse sheaf
• Scheme
• Space
• Hilbert series and Hilbert polynomial
• Equivariant algebraic K-theory

On the Efficiency of Pollard’s Rho Method for Discrete Logarithms Shi Bai1 1 2

Source URL: maths-people.anu.edu.au

• Abstract algebra
• Algebra
• Mathematics
• Group theory
• Computational hardness assumptions
• Logarithms
• Modular arithmetic
• Finite fields
• Discrete logarithm
• Randomized algorithm
• Pollard's rho algorithm
• Index calculus algorithm

Finding Inconsistencies in Programs with Loops? Temesghen Kahsai1 , Jorge A. Navas2 , Dejan Jovanovi´c3 , Martin Sch¨af3 1 2

Source URL: csl.sri.com

• Software engineering
• Programming language theory
• Computing
• Logic in computer science
• Horn clause
• Control flow
• ALGOL 68
• Formal methods
• Logic programming

Symbolic Verification and Strategy Synthesis for Linearly-Priced Probabilistic Timed Automata Marta Kwiatkowska1 , Gethin Norman2 , and David Parker3 1 Department of Computer Science, University of Oxford, Oxford, UK

Source URL: qav.comlab.ox.ac.uk

• Dynamic programming
• Markov decision process
• Stochastic control
• Symbol
• Timed automaton
• Probability and statistics
• Probability
• Approximation algorithms
• Computational complexity theory

Version: 1.0 TrustedHousesitters Cookie Policy Welcome to the Cookie Policy for TrustedHousesitters. Last updated: April 2018.

Source URL: www.trustedhousesitters.com

• Marketing
• Internet privacy
• World Wide Web
• Computer access control
• HTTP cookie
• Digital marketing
• Targeted advertising
• Cookie
• Opt-out
• Online advertising
• Zombie cookie
• Local shared object

Harmony Tablet - Quick Start Guide -​Updated 7 Sep 2018 _______________________________________________________________________________________________ Step 1​ ​ Power on tablet by pressing and holding the power

Source URL: www.oneinterpreting.com

• Computing
• Tablet computers
• Headset
• Computer hardware
• Bluetooth
• ViewSonic G Tablet
• Technology

A Tutorial on Runtime Verification Yli`es FALCONE a , Klaus HAVELUND b,1 and Giles REGER c,2 a University of Grenoble I (UJF), Laboratoire d’Informatique de Grenoble, France b Jet Propulsion Laboratory, California Inst

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

• Software development
• Aspect-oriented software development
• Aspect-oriented programming
• Formal methods
• Logic in computer science
• Runtime verification
• Pointcut
• Formal verification
• Join point
• Instrumentation

The Looming Threat of China: An Analysis of Chinese Influence on Bitcoin Ben Kaiser1 , Mireya Jurado2 , and Alex Ledger 1 2

Source URL: blockchain.princeton.edu

• Bitcoin
• Cryptocurrencies
• Free software
• Money
• Economy
• Alternative currencies
• Digital currencies
• Decentralization
• SegWit
• Blockchain
• Mining pool
• Satoshi Nakamoto

Imitation Learning of Hierarchical Programs via Variational Inference Roy Fox * 1 Richard Shin * 1 Pieter Abbeel 1 Ken Goldberg 1 2 Dawn Song 1 Ion Stoica 1 The design of controllers that operate in dynamical systems to

Source URL: uclmr.github.io

• Artificial intelligence
• Computational neuroscience
• Machine learning
• Learning
• Artificial neural networks
• Market research
• Convolutional neural network
• Outline of machine learning
• MNIST database
• Supervised learning
• Variational Bayesian methods
• Bayesian network