Yulong Huang
- Defunctionalization with Dependent Types
2023/04/10 by Yulong Huang, Jeremy Yallop, Huang, Yulong +1 · 1 voice · 1 citation
Computer Science · #FOS: Computer and information sciences #Formal Methods in Verification #Logic, programming, and type systems #Parallel Computing and Optimization Techniques #Programming Languages (cs.PL) #cs.PL
- CLIF: Complementary Leaky Integrate-and-Fire Neuron for Spiking Neural Networks
2024/02/07 by Yulong Huang, Xiaopeng Lin, Huang, Yulong +13 · 4 citations
Computer Science · Engineering · Neuroscience · #Advanced Memory and Neural Computing #FOS: Computer and information sciences #Neural Networks and Applications #Neural and Evolutionary Computing (cs.NE) #Neural dynamics and brain function
- A Sliding Window Variational Outlier-Robust Kalman Filter Based on Student’s t -Noise Modeling
2022/04/01 by Fengchi Zhu, Yulong Huang, Chao Xue +3 · 4 citations
Computer Science · Engineering · #Target Tracking and Data Fusion in Sensor Networks #Structural Health Monitoring Techniques #Fault Detection and Control Systems
- A Simple and Effective Point-based Network for Event Camera 6-DOFs Pose Relocalization
2024/03/28 by Hongwei Ren, Jiadong Zhu, Ren, Hongwei +8 · 2 citations
Medicine · Neuroscience · Physics and Astronomy · #Computer Vision and Pattern Recognition (cs.CV) #Digital Radiography and Breast Imaging #FOS: Computer and information sciences #Functional Brain Connectivity Studies #Radiation Detection and Scintillator Technologies
- Rethinking Efficient and Effective Point-based Networks for Event Camera Classification and Regression: EventMamba
2024/05/09 by Hongwei Ren, Ren, Hongwei, Zhou, Yue +16 · 1 citation
Decision Sciences · Materials Science · Neuroscience · #Computer Vision and Pattern Recognition (cs.CV) #FOS: Computer and information sciences #Functional Brain Connectivity Studies #Machine Learning in Materials Science #Scientific Computing and Data Management