Location-Aware Quality of Service Measurements for Service-Level Agreements Ashok Argent-Katwala1 , Jeremy Bradley1 , Allan Clark2 , Stephen Gilmore2 1 2

Source URL: www.dcs.ed.ac.uk

• Process calculi
• Stochastic probe
• Measuring instruments
• Scanning probe microscopy

Universal Language Model Fine-tuning for Text Classification Jeremy Howard∗ fast.ai University of San Francisco

Source URL: arxiv.org

• Machine learning
• Artificial intelligence
• Computational neuroscience
• Learning
• Applied mathematics
• Artificial neural networks
• Cybernetics
• Formal sciences
• Deep learning
• Convolutional neural network
• Multi-task learning
• Training
• test
• and validation sets

Encoding First Order Proofs in SMT Jeremy Bongio, Cyrus Katrak, Hai Lin, Christopher Lynch, Eric McGregor and Yuefeng Tang

Source URL: www.lsi.upc.edu

• Logic
• Mathematics
• Automated theorem proving
• Formal languages
• Resolution
• Literal
• Regular expression
• Philosophy of mathematics
• (SAT
• -UNSAT)

FunFair 기술 로드맵 및 토론 2017년 6월 6일, v0.97 제레미 롱리(Jeremy Longley)와 올리버 홉튼(Oliver Hopton) 내용 1 소개

Source URL: funfair.io

FunFair Technology Roadmap and Discussion June 6, 2017, v0.97 Jeremy Longley and Oliver Hopton v0.9 - DRAFT - Copyright 2017, FunFair

Source URL: funfair.io

• Cryptocurrencies
• Computing
• Information
• Blockchain
• Ethereum
• Smart contract
• Slot machine
• Bitcoin
• Hash chain
• Hash function
• Casino game
• Draft:FunFair Technologies

Causal Commutative Arrows Revisited Jeremy Yallop Hai (Paul) Liu University of Cambridge

Source URL: thev.net

δ-Complete Decision Procedures for Satisfiability over the Reals⋆ Sicun Gao, Jeremy Avigad, and Edmund M. Clarke Carnegie Mellon University, Pittsburgh, PAAbstract. We introduce the notion of “δ-complete de

Source URL: scungao.github.io

• Theoretical computer science
• Computability theory
• Computational complexity theory
• Theory of computation
• Constructivism
• Fourier analysis
• Formal methods
• Computable number
• Computable analysis
• Computable function
• NC
• Modulus of continuity

Causal Commutative Arrows Revisited Jeremy Yallop Hai Liu University of Cambridge, UK

Source URL: thev.net

• Declarative programming
• Computer programming
• Functional programming
• Software engineering
• Arrow
• Monad
• Function
• Currying
• F-algebra
• Fold
• Derivative

Causal commutative arrows revisited Jeremy Yallop Hai Liu WadlerFest

Source URL: events.inf.ed.ac.uk

• Computer programming
• Functional programming
• Software engineering
• Monad
• Arrow
• Proof theory
• Computability theory
• CurryHoward correspondence

Racial Bias in Police Investigations Jeremy West∗ UC Santa Cruz FebruaryAbstract

Source URL: people.ucsc.edu