Search results for "Single-neuron"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
98	Alberto Herrera, José Luis Pérez, Rafael Prieto, Alejandro Padrón	Short Term Memory Phenomena in an Autosynaptic Neuron.	IJCNN (3)	2000	DBLP DOI BibTeX RDF
56	Li Jia 0002, Pengye Tao, Guang-Bo Chen, Min-Sen Chiu	An Analytical Adaptive Single-Neuron Compensation Control Law for Nonlinear Process.	ICIC (1)	2008	DBLP DOI BibTeX RDF	Single-neuron, Compensator, Analytical, Composite model
53	Richard Naud, Nicolas Marcille, Claudia Clopath, Wulfram Gerstner	Firing patterns in the adaptive exponential integrate-and-fire model.	Biol. Cybern.	2008	DBLP DOI BibTeX RDF	Simplified single-neuron models, Firing patterns, Electrophysiological taxonomy, Chaos
49	Li Jia 0002, Pengye Tao, Min-Sen Chiu	Fuzzy Neural Network-Based Adaptive Single Neuron Controller.	LSMS (1)	2007	DBLP DOI BibTeX RDF
49	Muguo Li, Zhendong Liu, Jing Wang, Qun Zhang, Hairong Jiang, Hai Du	The Application of Single Neuron Adaptive PID Controller in Control System of Triaxial and Torsional Shear Apparatus.	ISNN (2)	2004	DBLP DOI BibTeX RDF
47	M. Brozovic, L. F. Abbott, Richard A. Andersen	Mechanism of gain modulation at single neuron and network levels.	J. Comput. Neurosci.	2008	DBLP DOI BibTeX RDF	Gain modulation, Neural noise, Tuning curves, Power law
44	Daniel M. Dubois, Germano Resconi, Alessandro Raymondi	TurboBrain: A Neural Network with Direct Learning Based on Linear or Non-Linear Threshold Logics.	CAST	1994	DBLP DOI BibTeX RDF
40	Renaud Jolivet, Felix Schürmann, Thomas K. Berger, Richard Naud, Wulfram Gerstner, Arnd Roth	The quantitative single-neuron modeling competition.	Biol. Cybern.	2008	DBLP DOI BibTeX RDF	Integrate-and-fire model, Quantitative predictions, Benchmark testing, Scientific competition
39	Heejin Lim, Yoonsuck Choe	Extrapolative Delay Compensation Through Facilitating Synapses and Its Relation to the Flash-Lag Effect.	IEEE Trans. Neural Networks	2008	DBLP DOI BibTeX RDF
39	Wu Wang, Zheng-min Bai	Performance Analysis of an Improved Single Neuron Adaptive PID Control.	IITSI	2010	DBLP DOI BibTeX RDF	single neuron network, simulation, adaptive, BP neural networks, PID control
39	Chunying Wu, Xiaoming Wang, Ling Yang	Research on Simulation of Temperature Control System for Gyro Based on Single Neuron PID.	MVHI	2010	DBLP DOI BibTeX RDF	single neuron adaptive, temperature control system, gyro, PID, inertial navigation system
39	Zhenhe Wang, Shaocong Guo, Fuyuan Zhang	A Mathematical Model of Magnetic Bearing Control Based on Fuzzy Logic and Single Neuron.	APWCS	2010	DBLP DOI BibTeX RDF	AMB, single neuron, fuzzy control
32	Qinghua Wang, Jianchao Zeng 0001, Jing Jie	Modified Particle Swarm Optimization for Solving Systems of Equations.	ICIC (3)	2007	DBLP DOI BibTeX RDF	single neuron, particle swarm optimization, adaptive control, nonlinear system
31	Douglas S. Greer	Neurotransmitter Fields.	ICANN (2)	2007	DBLP DOI BibTeX RDF	natural intelligence, pattern recognition, signal processing, mathematical models, Computational neuroscience, neural fields
30	Jun Liu, Jian Wu, Zhengguo Lou	Suprathreshold Stochastic Resonance in Single Neuron Using Sinusoidal Wave Sequence.	ICNC (1)	2006	DBLP DOI BibTeX RDF
25	Michele Giugliano, Giancarlo La Camera, Stefano Fusi, Walter Senn	The response of cortical neurons to in vivo-like input current: theory and experiment: II. Time-varying and spatially distributed inputs.	Biol. Cybern.	2008	DBLP DOI BibTeX RDF	Populations of spiking neurons, Integrate-and-fire model, Patch clamp, Calcium spikes, Dynamics
25	Narihisa Matsumoto, Masato Okada, Yasuko Sugase-Miyamoto, Shigeru Yamane	Neuronal Mechanisms Encoding Global-to-Fine Information in Inferior-Temporal Cortex.	J. Comput. Neurosci.	2005	DBLP DOI BibTeX RDF	attractor network, feed-forward model, face-responsive neurons, inferior-temporal cortex
25	Quanyuan Jiang, Chuangxin Guo, Yijia Cao	Design of Self-adaptive Single Neuron Facts Controllers Based on Genetic Algorithm.	ISNN (2)	2006	DBLP DOI BibTeX RDF
24	Mikael Huss, Di Wang, Camilla Trané, Martin Wikström, Jeanette Hellgren Kotaleski	An experimentally constrained computational model of NMDA oscillations in lamprey CPG neurons.	J. Comput. Neurosci.	2008	DBLP DOI BibTeX RDF	NMDA, Single-neuron oscillations, Frequency dependence, Locomotion, CPG
24	Julie S. Haas, Alan D. Dorval II, John A. White	Contributions of I h to feature selectivity in layer II stellate cells of the entorhinal cortex.	J. Comput. Neurosci.	2007	DBLP DOI BibTeX RDF	Inward rectifier, Spike-triggered covariance, Single-neuron computation, Reliability, Principal component analysis, Information theory
24	Douglas S. Greer	Images as Symbols: An Associative Neurotransmitter-Field Model of the Brodmann Areas.	Trans. Comput. Sci.	2009	DBLP DOI BibTeX RDF	Natural intelligence, cognitive signal processing, neurotransmitter fields, pattern recognition, memory, computational neuroscience
24	Jayawan H. B. Wijekoon, Piotr Dudek	Integrated circuit implementation of a cortical neuron.	ISCAS	2008	DBLP DOI BibTeX RDF
24	Aaditya V. Rangan, David Cai	Fast numerical methods for simulating large-scale integrate-and-fire neuronal networks.	J. Comput. Neurosci.	2007	DBLP DOI BibTeX RDF	Network architecture, Numerical algorithm
24	B. Naundorf, Theo Geisel, Fred Wolf	Action Potential Onset Dynamics and the Response Speed of Neuronal Populations.	J. Comput. Neurosci.	2005	DBLP DOI BibTeX RDF	population of spiking neurons, spike luitiation, dynamics integrate-and-five model
24	Wentao Huang, Licheng Jiao, Maoguo Gong, Chuang Guo	Modeling Cortex Network: A Spatio-temporal Population Approach.	ISNN (1)	2005	DBLP DOI BibTeX RDF
23	Aniello Buonocore, Luigia Caputo, Enrica Pirozzi, Luigi M. Ricciardi	On a Generalized Leaky Integrate-and-Fire Model for Single Neuron Activity.	EUROCAST	2009	DBLP DOI BibTeX RDF	Neuron firing, LIF model, diffusion process
22	Prashant Joshi, Jochen Triesch	A Globally Asymptotically Stable Plasticity Rule for Firing Rate Homeostasis.	ICANN (2)	2008	DBLP DOI BibTeX RDF
22	Ana M. G. Guerreiro, Carlos A. Paz de Araujo	An extended model for a spiking neuron class.	Biol. Cybern.	2007	DBLP DOI BibTeX RDF
22	Enhua Shen, Rubin Wang, Zhikang Zhang, Jianhua Peng	A Spiking Neuron Model of Theta Phase Precession.	ICNC (1)	2006	DBLP DOI BibTeX RDF
22	Paul H. E. Tiesinga, J. Vincent Toups	The Possible Role of Spike Patterns in Cortical Information Processing.	J. Comput. Neurosci.	2005	DBLP DOI BibTeX RDF	reliability, noise, precision, synchrony, cortex
22	Robert Gütig, Ad Aertsen, Stefan Rotter	Analysis of higher-order neuronal interactions based on conditional inference.	Biol. Cybern.	2003	DBLP DOI BibTeX RDF
18	Igor N. Aizenberg	Solving the XOR and parity N problems using a single universal binary neuron.	Soft Comput.	2008	DBLP DOI BibTeX RDF
17	Marek Grochowski, Wlodzislaw Duch	Constrained Learning Vector Quantization or Relaxed k-Separability.	ICANN (1)	2009	DBLP DOI BibTeX RDF
17	Sukumar Mishra	Neural-network-based adaptive UPFC for improving transient stability performance of power system.	IEEE Trans. Neural Networks	2006	DBLP DOI BibTeX RDF
17	Ben Torben-Nielsen, Karl Tuyls, Eric O. Postma	On the Neuronal Morphology-Function Relationship: A Synthetic Approach.	KDECB	2006	DBLP DOI BibTeX RDF
17	Heejin Lim, Yoonsuck Choe	Delay Compensation Through Facilitating Synapses and STDP: A Neural Basis for Orientation Flash-Lag Effect.	IJCNN	2006	DBLP DOI BibTeX RDF
17	Wen-hua Dou, Ming Liu, He-ying Zhang, Yan-xing Zheng	A Framework for Designing Adaptive AQM Schemes.	ICCNMC	2005	DBLP DOI BibTeX RDF
17	David P. Helmbold, Jyrki Kivinen, Manfred K. Warmuth	Relative loss bounds for single neurons.	IEEE Trans. Neural Networks	1999	DBLP DOI BibTeX RDF
17	Naum N. Aizenberg, Igor N. Aizenberg	Universal Binary and Multi-values Neurons Paradigm: Conception, Learning, Applications.	IWANN	1997	DBLP DOI BibTeX RDF
17	Jeffrey L. Krichmar, Giorgio A. Ascoli, Lawrence Hunter, James Leland Olds	A Model of Cerebellar Saccadic Motor Learning Using Qualitative Reasoning.	IWANN	1997	DBLP DOI BibTeX RDF
15	Vito Di Maio	Excitatory Synaptic Interaction on the Dendritic Tree.	BVAI	2007	DBLP DOI BibTeX RDF
15	A. Hodge, Roderick Edwards, D. H. Paul, Pauline van den Driessche	Neuronal Network Models of Phase Separation Between Limb CPGs of Digging Sand Crabs.	Biol. Cybern.	2006	DBLP DOI BibTeX RDF
15	Phill Rowcliffe, Jianfeng Feng, Hilary Buxton	Spiking perceptrons.	IEEE Trans. Neural Networks	2006	DBLP DOI BibTeX RDF
15	Gonzalo G. de Polavieja, Annette Harsch, Hugh Robinson, Mikko Juusola	Slow Conductances Encode Stimulus History into Spike Shapes.	IWINAC (1)	2005	DBLP DOI BibTeX RDF
15	Iku Nemoto	Some Properties of the Network Consisting of Two Complex-Valued Nagumo-Sato Neurons.	KES	2003	DBLP DOI BibTeX RDF
15	Jirí Síma	Minimizing the Quadratic Training Error of a Sigmoid Neuron Is Hard.	ALT	2001	DBLP DOI BibTeX RDF
15	Walter J. Freeman	A biologically derived model for perception to serve as an interface between an intelligent system and its environments.	KES (1)	1997	DBLP DOI BibTeX RDF
15	Lawrence Peh, Chi Ping Tsang	Weight Sensitive Boolean Extraction Produces Compact Expressions.	Australian Joint Conference on Artificial Intelligence	1997	DBLP DOI BibTeX RDF	weight sensitivity, neural network, rule extraction, boolean expression, disjunctive normal form
15	Tianfang Zhu, Gang Yao, Dongli Hu, Chuangchuang Xie, Pengcheng Li 0003, Xiaoquan Yang, Hui Gong, Qingming Luo, Anan Li	Data-Driven Morphological Feature Perception of Single Neuron With Graph Neural Network.	IEEE Trans. Medical Imaging	2023	DBLP DOI BibTeX RDF
15	Fan Ding, Wenyu Zhang, Xiwen Luo, Lian Hu, Zhigang Zhang, Mingchang Wang, Hongkai Li, Mingda Peng, Xinluo Wu, Liwen Hu, Tian Zhang	Gain self-adjusting single neuron PID control method and experiments for longitudinal relative position of harvester and transport vehicle.	Comput. Electron. Agric.	2023	DBLP DOI BibTeX RDF
15	Daniel P. Chapman, Stefano Vicini, Mark P. Burns, Rebekah C. Evans	Single Neuron Modeling Identifies Potassium Channel Modulation as Potential Target for Repetitive Head Impacts.	Neuroinformatics	2023	DBLP DOI BibTeX RDF
15	Edgardo Solano-Carrillo	Can a Single Neuron Learn Predictive Uncertainty?	Int. J. Uncertain. Fuzziness Knowl. Based Syst.	2023	DBLP DOI BibTeX RDF
15	Wassim Alexan, Yen-Lin Chen, Lip Yee Por, Mohamed Gabr	Hyperchaotic Maps and the Single Neuron Model: A Novel Framework for Chaos-Based Image Encryption.	Symmetry	2023	DBLP DOI BibTeX RDF
15	Jingfeng Wu, Difan Zou, Zixiang Chen, Vladimir Braverman, Quanquan Gu, Sham M. Kakade	Learning High-Dimensional Single-Neuron ReLU Networks with Finite Samples.	CoRR	2023	DBLP DOI BibTeX RDF
15	Meenakshi Khosla, Alex H. Williams	Soft Matching Distance: A metric on neural representations that captures single-neuron tuning.	CoRR	2023	DBLP DOI BibTeX RDF
15	Weihang Xu, Simon S. Du	Over-Parameterization Exponentially Slows Down Gradient Descent for Learning a Single Neuron.	CoRR	2023	DBLP DOI BibTeX RDF
15	Puqian Wang, Nikos Zarifis, Ilias Diakonikolas, Jelena Diakonikolas	Robustly Learning a Single Neuron via Sharpness.	CoRR	2023	DBLP DOI BibTeX RDF
15	Nestor Timonidis, Rembrandt Bakker, Mario Rubio-Teves, Carmen Alonso-Martínez, María García-Amado, Francisco Clascá, Paul H. E. Tiesinga	Translating single-neuron axonal reconstructions into meso-scale connectivity statistics in the mouse somatosensory thalamus.	Frontiers Neuroinformatics	2023	DBLP DOI BibTeX RDF
15	Weihang Xu, Simon S. Du	Over-Parameterization Exponentially Slows Down Gradient Descent for Learning a Single Neuron.	COLT	2023	DBLP BibTeX RDF
15	Puqian Wang, Nikos Zarifis, Ilias Diakonikolas, Jelena Diakonikolas	Robustly Learning a Single Neuron via Sharpness.	ICML	2023	DBLP BibTeX RDF
15	Aarshvi Gajjar, Christopher Musco, Chinmay Hegde	Active Learning for Single Neuron Models with Lipschitz Non-Linearities.	AISTATS	2023	DBLP BibTeX RDF
15	Damien Depannemaecker, Anton Ivanov, Davide Lillo, Len Spek, Christophe Bernard 0001, Viktor K. Jirsa	A unified physiological framework of transitions between seizures, sustained ictal activity and depolarization block at the single neuron level.	J. Comput. Neurosci.	2022	DBLP DOI BibTeX RDF
15	Mengjie Hua, Yunzhen Zhang, Mo Chen, Quan Xu 0001, Bocheng Bao	Memristive Single-Neuron Model and Its Memristor-Coupled Network: Homogenously Coexisting Attractors and Parallel-Offset Synchronization.	Int. J. Bifurc. Chaos	2022	DBLP DOI BibTeX RDF
15	Aarshvi Gajjar, Chinmay Hegde, Christopher Musco	Active Learning for Single Neuron Models with Lipschitz Non-Linearities.	CoRR	2022	DBLP DOI BibTeX RDF
15	Lei Wu	Learning a Single Neuron for Non-monotonic Activation Functions.	CoRR	2022	DBLP BibTeX RDF
15	Ilias Diakonikolas, Vasilis Kontonis, Christos Tzamos, Nikos Zarifis	Learning a Single Neuron with Adversarial Label Noise via Gradient Descent.	CoRR	2022	DBLP DOI BibTeX RDF
15	Hongtao Jiao, Baoli Wei	Speed control method of mineral lifting and transportation machinery based on single neuron PID.	J. Comput. Methods Sci. Eng.	2022	DBLP DOI BibTeX RDF
15	Taehoon Kim, Dexiong Chen, Philipp Hornauer, Vishalini Emmenegger, Julian Bartram, Silvia Ronchi, Andreas Hierlemann, Manuel Schröter, Damian Roqueiro	Predicting in vitro single-neuron firing rates upon pharmacological perturbation using Graph Neural Networks.	Frontiers Neuroinformatics	2022	DBLP DOI BibTeX RDF
15	Ivar Ekeland, Roger Temam	Reconstructing the Surface Mesh Representation for Single Neuron.	CGI	2022	DBLP DOI BibTeX RDF
15	Ilias Diakonikolas, Vasilis Kontonis, Christos Tzamos, Nikos Zarifis	Learning a Single Neuron with Adversarial Label Noise via Gradient Descent.	COLT	2022	DBLP BibTeX RDF
15	Qirui Hu, Peng Jiao, Ruichen Yu, Jiming An, Hesheng Zhang, Zhiyuan Gao	Automatic proportioning system for indium electrolyte based on single neuron PID.	EITCE	2022	DBLP DOI BibTeX RDF
15	Nicholas M. Boffi, Stephen Tu, Jean-Jacques E. Slotine	The role of optimization geometry in single neuron learning.	AISTATS	2022	DBLP BibTeX RDF
15	Ilias Diakonikolas, Daniel Kane 0001, Pasin Manurangsi, Lisheng Ren	Hardness of Learning a Single Neuron with Adversarial Label Noise.	AISTATS	2022	DBLP BibTeX RDF
15	Lei Wu	Learning a Single Neuron for Non-monotonic Activation Functions.	AISTATS	2022	DBLP BibTeX RDF
15	Yehuda Roth	QLCA and Entangled States as Single-Neuron Activity Generators.	Frontiers Comput. Neurosci.	2021	DBLP DOI BibTeX RDF
15	Weize Zhang, Peng Pan, Xin Wang, Yixu Chen, Yong Rao, Xinyu Liu 0002	Force-Controlled Mechanical Stimulation and Single-Neuron Fluorescence Imaging of Drosophila Larvae.	IEEE Robotics Autom. Lett.	2021	DBLP DOI BibTeX RDF
15	Ilenna Simone Jones, Konrad Paul Körding	Might a Single Neuron Solve Interesting Machine Learning Problems Through Successive Computations on Its Dendritic Tree?	Neural Comput.	2021	DBLP DOI BibTeX RDF
15	Bo Peng, Long Jin 0001, Mingsheng Shang 0001	Multi-robot competitive tracking based on k-WTA neural network with one single neuron.	Neurocomputing	2021	DBLP DOI BibTeX RDF
15	Gal Vardi, Gilad Yehudai, Ohad Shamir	Learning a Single Neuron with Bias Using Gradient Descent.	CoRR	2021	DBLP BibTeX RDF
15	Edgardo Solano-Carrillo	Can a single neuron learn quantiles?	CoRR	2021	DBLP BibTeX RDF
15	Heng Wang 0007, Yang Song 0001, Chaoyi Zhang, Jianhui Yu, Siqi Liu 0001, Hanchuan Peng, Weidong Cai 0001	Single Neuron Segmentation using Graph-based Global Reasoning with Auxiliary Skeleton Loss from 3D Optical Microscope Images.	CoRR	2021	DBLP BibTeX RDF
15	Annika Hagemann, Jens Wilting, Bita Samimizad, Florian Mormann, Viola Priesemann	Assessing criticality in pre-seizure single-neuron activity of human epileptic cortex.	PLoS Comput. Biol.	2021	DBLP DOI BibTeX RDF
15	Davide Bernardi, Guy Doron, Michael Brecht, Benjamin Lindner	A network model of the barrel cortex combined with a differentiator detector reproduces features of the behavioral response to single-neuron stimulation.	PLoS Comput. Biol.	2021	DBLP DOI BibTeX RDF
15	Heng Wang 0007, Yang Song 0001, Chaoyi Zhang, Jianhui Yu, Siqi Liu 0001, Hanchuan Peng, Tom Weidong Cai	Single Neuron Segmentation Using Graph-Based Global Reasoning with Auxiliary Skeleton Loss from 3D Optical Microscope Images.	ISBI	2021	DBLP DOI BibTeX RDF
15	Jintao Huang, Xiaofeng Liao 0001, Nankun Mu, Yunhang Zhu	Limit Cycle of a Single-Neuron System and Its Circuitry Design.	ICACI	2021	DBLP DOI BibTeX RDF
15	Wencheng Wang, Huanli Liu, Zhenmin Wu, Ju Ye, Haipeng Zeng, Qinjun Li	Research on leachate pressure control system based on single neuron predictive control.	ICIIP	2021	DBLP DOI BibTeX RDF
15	Vaibhav Dhyani, Soumya Jana, Lopamudra Giri	Gaussian Mixture Modeling of Single-Neuron Responses Obtained from Confocal-Calcium-Imaging of Dissociated Rat Hippocampal Neurons.	NER	2021	DBLP DOI BibTeX RDF
15	Gal Vardi, Gilad Yehudai, Ohad Shamir	Learning a Single Neuron with Bias Using Gradient Descent.	NeurIPS	2021	DBLP BibTeX RDF
15	Marlene Derner, G. Dehnen, L. Chaieb, Thomas P. Reber, Valeri Borger, Rainer Surges, Bernhard P. Staresina, Florian Mormann, Jürgen Fell	Patterns of single-neuron activity during associative recognition memory in the human medial temporal lobe.	NeuroImage	2020	DBLP DOI BibTeX RDF
15	Peihua Feng, Zhengyuan Zhang, Ying Wu 0015	Stair-Like Frequency Response of Single Neuron to External Electromagnetic Radiation and Onset of Chaotic Behaviors.	Int. J. Bifurc. Chaos	2020	DBLP DOI BibTeX RDF
15	Christian Tjandraatmadja, Ross Anderson, Joey Huchette, Will Ma, Krunal Patel, Juan Pablo Vielma	The Convex Relaxation Barrier, Revisited: Tightened Single-Neuron Relaxations for Neural Network Verification.	CoRR	2020	DBLP BibTeX RDF
15	Gilad Yehudai, Ohad Shamir	Learning a Single Neuron with Gradient Methods.	CoRR	2020	DBLP BibTeX RDF
15	Spencer Frei, Yuan Cao 0006, Quanquan Gu	Agnostic Learning of a Single Neuron with Gradient Descent.	CoRR	2020	DBLP BibTeX RDF
15	Florian Stelzer, André Röhm, Raul Vicente, Ingo Fischer, Serhiy Yanchuk	Deep Learning with a Single Neuron: Folding a Deep Neural Network in Time using Feedback-Modulated Delay Loops.	CoRR	2020	DBLP BibTeX RDF
15	Wassapon Watanakeesuntorn, Keichi Takahashi, Kohei Ichikawa, Joseph Park, George Sugihara, Ryousei Takano, Jason Haga, Gerald M. Pao	Massively Parallel Causal Inference of Whole Brain Dynamics at Single Neuron Resolution.	CoRR	2020	DBLP BibTeX RDF
15	Jun Zhong, Yue Zhu, Chun Zhao, Zhenfeng Han, Xin Zhang	Position Tracking of a Pneumatic-Muscle-Driven Rehabilitation Robot by a Single Neuron Tuned PID Controller.	Complex.	2020	DBLP DOI BibTeX RDF
15	Alejandro Luis Callara, Chiara Magliaro, Arti Ahluwalia, Nicola Vanello	A Smart Region-Growing Algorithm for Single-Neuron Segmentation From Confocal and 2-Photon Datasets.	Frontiers Neuroinformatics	2020	DBLP DOI BibTeX RDF
15	Wassapon Watanakeesuntorn, Keichi Takahashi, Kohei Ichikawa, Joseph Park, George Sugihara, Ryousei Takano, Jason Haga, Gerald M. Pao	Massively Parallel Causal Inference of Whole Brain Dynamics at Single Neuron Resolution.	ICPADS	2020	DBLP DOI BibTeX RDF
15	Spencer Frei, Yuan Cao 0006, Quanquan Gu	Agnostic Learning of a Single Neuron with Gradient Descent.	NeurIPS	2020	DBLP BibTeX RDF
15	Christian Tjandraatmadja, Ross Anderson, Joey Huchette, Will Ma, Krunal Patel, Juan Pablo Vielma	The Convex Relaxation Barrier, Revisited: Tightened Single-Neuron Relaxations for Neural Network Verification.	NeurIPS	2020	DBLP BibTeX RDF