Author of the publication

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Dynamical information encoding in neural adaptation., , , , , and . EMBC, page 3060-3063. IEEE, (2016)Asymmetrical Barrier Function-Based Adaptive Vibration Control for Nonlinear Flexible Cantilever Beam With Obstacle Restriction., , and . IEEE Access, (2021)MUSTARD: Mastering Uniform Synthesis of Theorem and Proof Data., , , , , , , , and . ICLR, OpenReview.net, (2024)Adaptive Tracking Control for Spacecraft Formation Flying System via Modified Fast Integral Terminal Sliding Mode Surface., , and . IEEE Access, (2020)A brain-inspired computational model for spatio-temporal information processing., , , , , and . Neural Networks, (2021)A Just-In-Time Compilation Approach for Neural Dynamics Simulation., , , , , , and . ICONIP (3), volume 13110 of Lecture Notes in Computer Science, page 15-26. Springer, (2021)Barrier Function-Based Adaptive Neuro Network Sliding Mode Vibration Control for Flexible Double-Clamped Beams With Input Saturation., , , and . IEEE Access, (2020)Channel-Adaptive Quantization for Wireless Federated Learning., , and . ICCC, page 457-462. IEEE, (2021)System-level performance of coordinated multi-point transmission for heterogeneous networks in LTE-Advanced systems., , , and . WCSP, page 1-5. IEEE, (2012)FVEL: Interactive Formal Verification Environment with Large Language Models via Theorem Proving., , , , , , , and . CoRR, (2024)