Autor der Publikation

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

 

Weitere Publikationen von Autoren mit dem selben Namen

Adaptive Tracking Control for Spacecraft Formation Flying System via Modified Fast Integral Terminal Sliding Mode Surface., , und . IEEE Access, (2020)A brain-inspired computational model for spatio-temporal information processing., , , , , und . Neural Networks, (2021)Dynamical information encoding in neural adaptation., , , , , und . EMBC, Seite 3060-3063. IEEE, (2016)Asymmetrical Barrier Function-Based Adaptive Vibration Control for Nonlinear Flexible Cantilever Beam With Obstacle Restriction., , und . IEEE Access, (2021)MUSTARD: Mastering Uniform Synthesis of Theorem and Proof Data., , , , , , , , und . ICLR, OpenReview.net, (2024)ATG: Benchmarking Automated Theorem Generation for Generative Language Models., , , , , , und . NAACL-HLT (Findings), Seite 4465-4480. Association for Computational Linguistics, (2024)Barrier Function-Based Adaptive Neuro Network Sliding Mode Vibration Control for Flexible Double-Clamped Beams With Input Saturation., , , und . IEEE Access, (2020)Channel-Adaptive Quantization for Wireless Federated Learning., , und . ICCC, Seite 457-462. IEEE, (2021)System-level performance of coordinated multi-point transmission for heterogeneous networks in LTE-Advanced systems., , , und . WCSP, Seite 1-5. IEEE, (2012)FVEL: Interactive Formal Verification Environment with Large Language Models via Theorem Proving., , , , , , , und . CoRR, (2024)