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

First Page		Document Content
Date: 2018-05-14 04:41:41 Artificial neural networks Mathematics Computational neuroscience Applied mathematics Mathematical analysis Lipschitz continuity operator Continuous function Gradient descent Convolutional neural network Rectifier Deep learning		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 Add to Reading List Source URL: qav.comlab.ox.ac.uk Download Document from Source Website File Size: 1,23 MB Share Document on Facebook

	Journal of Computational Neuroscience 18, 105–121, 2005 c 2005 Springer Science + Business Media, Inc. Manufactured in The Netherlands. A Cellular Mechanism for Graded Persistent Activity in a Model Neuron and Its Im DocID: 1vcJi - View Document
	munich Bernstein Center for Computational Neuroscience Munich DocID: 1vcv8 - View Document
	Blending computational and experimental neuroscience DocID: 1v9kZ - View Document
	Florentin Wörgötter Bernstein Center for Computational Neuroscience Göttingen Florentin Wörgötter studied biology and mathematics at the University of Düsseldorf, Germany. He received a Ph.D. degree, studying DocID: 1v914 - View Document
	Nonlinear synaptic interaction as a computational resource in the Neural Engineering Framework Andreas Stöckel, Aaron R. Voelker, Chris Eliasmith Centre for Theoretical Neuroscience, University of Waterloo {astoecke, ar DocID: 1uuia - View Document