Reachability Analysis of Deep Neural Networks with Provable Guarantees Wenjie Ruan1 , Xiaowei Huang2 , Marta Kwiatkowska1 Department of Computer Science, University of Oxford, UK 2 Department of Computer Science, Univers

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

• Artificial neural networks
• Mathematics
• Computational neuroscience
• Applied mathematics
• Mathematical analysis
• Lipschitz continuity
• operator
• Continuous function
• Gradient descent
• Convolutional neural network
• Rectifier
• Deep learning

Stochastic Analysis of Chemical Reaction Networks Using Linear Noise ApproximationI Luca Cardellia,b,∗, Marta Kwiatkowskaa,∗, Luca Laurentia,∗ a Department of Computer Science, University of Oxford

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

• Mathematical analysis
• Statistical randomness
• Metaphysics
• Stochastic processes
• Generalized functions
• Stochastic simulation
• Distribution
• Dynamical system
• Markov chain

Data Preference Matters: A New Perspective of Safety Data Dissemination in Vehicular Ad Hoc Networks Qiao Xiang1 , Xi Chen1, Linghe Kong1 , Lei Rao2 , Xue Liu1 1 School of Computer Science, McGill University, Canada, 2

Source URL: wirelesslab.sjtu.edu.cn

• Wireless networking
• Computing
• Information and communications technology
• Computer networking
• Technology
• Network protocols
• Data transmission
• Internet of things
• Vehicular ad hoc network
• Wireless ad hoc network
• Mobile ad hoc network
• Network packet

Mixture Density Networks Christopher M. Bishop Neural Computing Research Group Dept. of Computer Science and Applied Mathematics Aston University

Source URL: publications.aston.ac.uk

• Mathematical analysis
• Probability and statistics
• Probability theory
• Machine learning
• Computational neuroscience
• Computational statistics
• Artificial neural networks
• Bayesian statistics
• Gaussian function
• Mixture model
• Mixture distribution
• Joint probability distribution

Revive: Rebalancing Off-Blockchain Payment Networks Rami Khalil Arthur Gervais Department of Computer Science

Source URL: eprint.iacr.org

• Cryptocurrencies
• Blockchains
• Economy
• Bitcoin
• Computing
• Money
• Alternative currencies
• Ethereum
• Lightning Network
• Smart contract
• RootStock
• Rebalancing investments

Recommendations in Signed Social Networks Jiliang Tang‡ , Charu Aggarwal# , and Huan Liu† † Computer Science & Engineering, Arizona State University, Tempe, AZ, USA ‡

Source URL: gdac.uqam.ca

Structural Properties in δ-Hyperbolic Networks: Algorithmic Analysis and Implications Hend Alrasheed Kent State University, Department of Computer Science Kent Ohio, USA

Source URL: gdac.uqam.ca

• Graph theory
• Network theory
• Bipartite graphs
• Graph operations
• Centrality
• Network analysis
• Distance
• Graph
• Connectivity
• Tree
• Shortest path problem
• Degeneracy

Remy Goldschmidt Education 2014–2018 Bachelor of Science in Computer Science, University of Illinois at Urbana-Champaign. Work Experience Summer 2017 Software Engineering Intern, Awake Networks.

Source URL: taktoa.me

• Software engineering
• Computer programming
• Programming language theory
• Functional languages
• Programming paradigms
• Haskell
• Literate programming
• Functional programming
• OCaml
• Bachelor of Computer Science
• Conditional

Domo: Passive Per-Packet Delay Tomography in Wireless Ad-hoc Networks Yi Gao1 , Wei Dong1 ∗ , Chun Chen1 , Jiajun Bu1 , Tianyu Chen2 , Mingyuan Xia3 , Xue Liu3 , Xianghua Xu2 1 College of Computer Science, Zhejiang Uni

Source URL: www.emnets.org

• Computing
• Wireless networking
• Internet architecture
• Information and communications technology
• Network architecture
• Packet loss
• Network performance
• Transmission Control Protocol
• Routing
• Telecommunications engineering
• Computer networking
• Dynamic Source Routing

Improved Semantic Representations From Tree-Structured Long Short-Term Memory Networks Kai Sheng Tai, Richard Socher*, Christopher D. Manning Computer Science Department, Stanford University, *MetaMind Inc. fo

Source URL: arxiv.org