A NOTE ON HYPERPARAMETERS IN BLACK - BOX AD VERSARIAL EXAMPLES arXiv:submitcs.CR] 12 Oct 2018

Source URL: www.homepages.ucl.ac.uk

• Computational statistics
• Applied mathematics
• Artificial neural network
• Computational neuroscience
• Market research
• Market segmentation
• Mathematical psychology
• Deep learning
• Limit of a function
• Mathematics

PERCOLATION AND COARSE CONFORMAL UNIFORMIZATION ITAI BENJAMINI Abstract. We formulate conjectures regarding percolation on planar triangulations suggested by assuming (quasi) invariance under coarse conformal uniformizat

Source URL: www.wisdom.weizmann.ac.il

• Geometry
• Mathematics
• Riemann surfaces
• Mathematical analysis
• Bernhard Riemann
• Symmetry
• Conformal field theory
• Uniformization theorem
• Oded Schramm
• Conformal geometry
• Hyperbolic geometry
• Conformal map

VARAN the Unbelievable An Efficient N-version Execution Framework Petr Hosek Cristian Cadar

Source URL: srg.doc.ic.ac.uk

• Computer architecture
• Computing
• Computer programming
• Application programming interfaces
• System calls
• Process
• Unix
• Concurrent computing
• Varan
• Seccomp
• Fork
• Return-oriented programming

SPONSORED CONTENT reprint collection MarchKeio University Medical Science Reprint Collection | Web Edition

Source URL: research-highlights.keio.ac.jp

• Education in Japan
• Keio University
• American football in Japan
• Minato
• Tokyo
• Kanagawa Prefecture
• Prefectures of Japan
• Kitasato Shibasabur
• Keio Medical Science Prize
• Karl Deisseroth
• Hideyuki Okano
• Fukuzawa Yukichi
• Stanley B. Prusiner

1 On iBGP Routing Policies Stefano Vissicchio, Luca Cittadini, Giuseppe Di Battista Abstract—Internet Service Providers (ISPs) run the internal

Source URL: www0.cs.ucl.ac.uk

• Computing
• Internet architecture
• Routing
• Network architecture
• Internet
• Internet Standards
• Computer networking
• Border Gateway Protocol
• Route reflector
• Router
• Default-free zone
• Open Shortest Path First

Designing Robust Software Systems through Parametric Markov Chain Synthesis ˇ ska† , Simos Gerasimou∗ , Marta Kwiatkowska‡ and Nicola Paoletti§ Radu Calinescu∗ , Milan Ceˇ ∗ Department of Computer Science, U

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

Planning and Patching Proofs: Exercises Lucas Dixon and Alan Bundy August 26, 2010 1

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

• Automated theorem proving
• Heuristics
• Rippling
• Mathematical induction
• Cognition

FT D RA Probabilistic Model Checking: Advances and Applications

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

• Temporal logic
• Theoretical computer science
• Mathematics
• Linear temporal logic
• Probabilistic CTL
• Computation tree logic
• Mathematical logic
• Markov decision process
• Markov chain
• IP
• Limit
• Craig interpolation

T DR AF Probabilistic Model Checking for Systems Biology

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

• Temporal logic
• Theoretical computer science
• Linear temporal logic
• Fibroblast growth factor receptor
• Cell biology
• Markov chain
• Markov decision process
• Computation tree logic
• Fibroblast growth factor
• Probabilistic CTL
• Probability

Unleashing dynamic task scheduling at rack-scale Magnus  Norgren,   Andra  Hugo  (DDN  Storage),   Stefanos  Kaxiras,  Konstan9nos  Sagonas    

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

• Computing
• Computer memory
• Parallel computing
• Computer architecture
• Dynamic random-access memory
• Latency
• OpenMP
• Random-access memory