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

Model Checking Probabilistic Knowledge: A PSPACE Case Xiaowei Huang and Marta Kwiatkowska University of Oxford, UK Abstract Model checking probabilistic knowledge of memoryful semantics is undecidable, even for a simple

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

• Temporal logic
• Mathematics
• Mathematical analysis
• Theoretical computer science
• Linear temporal logic
• Computation tree logic
• IP
• Symbol
• Distribution
• Craig interpolation
• Universal representation

Modeling and Recognition of Landmark Image Collections Using Iconic Scene Graphs Xiaowei Li, Changchang Wu, Christopher Zach, Svetlana Lazebnik, and Jan-Michael Frahm Dept. of Computer Science, University of North Caroli

Source URL: slazebni.cs.illinois.edu

Bi-label Propagation for Generic Multiple Object Tracking Wenhan Luo1 , Tae-Kyun Kim1 , Bj¨orn Stenger2 , Xiaowei Zhao1 , Roberto Cipolla3 1 Imperial College London, 2 Toshiba Research Europe, 3 University of Cambridge

Source URL: mi.eng.cam.ac.uk

articles Defining brain wiring patterns and mechanisms through gene trapping in mice Philip A. Leighton*†, Kevin J. Mitchell*†‡, Lisa V. Goodrich*†, Xiaowei Lu†, Kathy Pinson‡, Paul Scherz‡, William C. Ska

Source URL: www.gen.tcd.ie

Sparse Uncorrelated Linear Discriminant Analysis Delin Chu Xiaowei Zhang

Source URL: proceedings.mlr.press

1 Xiaowei Zang, ed. Gender and Chinese Society. Critical Concepts in Asian Studies, 4 volumes. London and New York: Routledge, 2015. ISBN: (hardcover). Gender and Chinese Society is a four volume colle

Source URL: www.wagnet.ox.ac.uk

authors, title Elaheh Raisi and Bert Huang. Cyberbullying Detection with Weakly Supervised Machine  Xiaowei Chen and John Lui. A Unified Framework to Estimate Global and Local Graphlet Counts 

Source URL: asonam.cpsc.ucalgary.ca

Video Restoration against Yin-Yang Phasing ∗ Xiaolin Wu1,2 Zhenhao Li1 Xiaowei Deng1 1 McMaster University, Canada

Source URL: www.cv-foundation.org

CloudProphet: Towards Application Performance Prediction in Cloud Ang Li, Xuanran Zong, Srikanth Kandula† , Xiaowei Yang, Ming Zhang† Duke University Durham, NC

Source URL: conferences.sigcomm.org