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

Bayonet: Probabilistic Inference for Networks Timon Gehr Sasa Misailovic Petar Tsankov

Source URL: nsg.ee.ethz.ch

1 Safe Update of Hybrid SDN Networks Stefano Vissicchio, Laurent Vanbever, Luca Cittadini, Geoffrey G. Xie, Olivier Bonaventure Abstract—The support for safe network updates, i.e., live

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

• Computing
• Internet architecture
• Information and communications technology
• Network architecture
• Emerging technologies
• Routing algorithms
• Routing
• Forwarding information base
• Link-state routing protocol
• Functional programming
• OpenFlow
• Network function virtualization

Large Scale Training and Optimization of Neural Networks and Generative Adversarial Networks over Distributed Resource CLIC GAN : S. Vallecorsa, G. Khattak, F. Carminati, M. Pierini SurfSara : V. Codreanu, D. Podareanu

Source URL: indico.cern.ch

• Machine learning
• Computational neuroscience
• Applied mathematics
• Numerical analysis
• Computational statistics
• Artificial neural networks
• Stochastic gradient descent
• Deep learning
• Mathematical optimization
• Generative adversarial network
• Neural network
• Training
• test
• and validation sets

Data Loss and Reconstruction in Sensor Networks

Source URL: cpslab.cs.mcgill.ca

• Algebra
• Mathematics
• Dimension reduction
• Linear algebra
• Numerical linear algebra
• Mathematical optimization
• Matrix theory
• Singular spectrum analysis
• Principal component analysis
• Singular value decomposition
• Compressed sensing
• Low-rank approximation

Advanced Topics in Communication Networks Programming Network Data Planes Last week on Advanced Topics in Communication Networks

Source URL: adv-net.ethz.ch

• Computing
• Information science
• Information retrieval
• Hashing
• Data types
• Filter theory
• Search algorithms
• Bloom filter
• Digital signal processing
• Streaming algorithm
• Hash function
• Set

Deep Neural Networks Predict Category Typicality Ratings for Images Brenden M. Lake Wojciech Zaremba Rob Fergus

Source URL: cims.nyu.edu

• Computational neuroscience
• Artificial intelligence
• Applied mathematics
• Artificial neural networks
• Neuroscience
• Cybernetics
• Neural network software
• Neural networks
• Convolutional neural network
• AlexNet
• Deep learning
• ImageNet

Measuring Spectrum Similarity in Distributed Radio Monitoring Systems Roberto Calvo-Palomino1,2 , Domenico Giustiniano1 and Vincent Lenders3 1 IMDEA Networks Institute, Madrid, Spain,

Source URL: www.lenders.ch

• Signal processing
• Electrical engineering
• Electromagnetism
• Electronics
• Spectrum analyzer
• Sensor node
• DVB-T
• Sampling
• Bandwidth
• Modulation
• Bin-centres
• Orthogonal frequency-division multiplexing

Jeffrey Boase THE CONSEQUENCES OF PERSONAL NETWORKS FOR INTERNET USE IN RURAL AREAS1 Why are there fewer Internet users in rural areas than in urban areas? Researchers addressing this question typically focus on the lack

Source URL: individual.utoronto.ca

• Technology
• Culture
• Human behavior
• Cultural globalization
• Digital media
• Rural economics
• Social inequality
• Technology development
• Rural Internet
• Computer network
• Network effect
• Internet

CogniSight SDK User’s Manual IMAGE RECOGNITION BASED ON NEUROMEM NEURAL NETWORKS Version 5.3

Source URL: www.general-vision.com

• C
• Computing
• INT
• Interrupts
• Programming language syntax
• Computer programming
• Software engineering
• Stride of an array
• Hooking