Ning Dong

This page is a disambiguation page, it actually contains mutiple papers from persons of the same or a similar name.

Bibliography

2024
Intrapulse Modulation Radar Signal Recognition Using CNN with Second-Order STFT-Based Synchrosqueezing Transform.
Remote. Sens., July, 2024

An elitist cuckoo search algorithm for combined heat and power economic dispatch.
Int. J. Prod. Res., February, 2024

Towards a Trustworthy Stack: Formal Verification of Low-Level Hardware and Software.
PhD thesis, 2024

SSR: Alignment-Aware Modality Connector for Speech Language Models.
CoRR, 2024

Research on Knowledge Discovery Service in Digital Libraries Based on Deep Learning.
Proceedings of the 13th International Conference on Educational and Information Technology, 2024

COLLD: Contrastive Layer-to-Layer Distillation for Compressing Multilingual Pre-Trained Speech Encoders.
Proceedings of the IEEE International Conference on Acoustics, 2024

2023
Bilingual Teaching Environment Creation and Multi-Attribute Teaching Decisions.
Int. J. Emerg. Technol. Learn., December, 2023

Behavioral Modeling Method of Macromodels for Interconnected Systems With Frequency Characteristics and Nonlinear Termination Networks.
IEEE Trans. Circuits Syst. II Express Briefs, September, 2023

An Equation-Based Dynamic Nonlinear Model of Metal-Oxide Arrester and Its SPICE Implementation.
IEEE Trans. Circuits Syst. II Express Briefs, August, 2023

Seamless: Multilingual Expressive and Streaming Speech Translation.
CoRR, 2023

SeamlessM4T-Massively Multilingual & Multimodal Machine Translation.
CoRR, 2023

Multilingual Speech-to-Speech Translation into Multiple Target Languages.
CoRR, 2023

Research on Beyond Information Literacy Education Model of University Libraries under the Open Science Environment.
Proceedings of the 12th IEEE International Conference on Educational and Information Technology, 2023

Formal Verification of Correctness and Information Flow Security for an In-Order Pipelined Processor.
Proceedings of the Formal Methods in Computer-Aided Design, 2023

SpeechMatrix: A Large-Scale Mined Corpus of Multilingual Speech-to-Speech Translations.
Proceedings of the 61st Annual Meeting of the Association for Computational Linguistics (Volume 1: Long Papers), 2023

Hybrid Transducer and Attention based Encoder-Decoder Modeling for Speech-to-Text Tasks.
Proceedings of the 61st Annual Meeting of the Association for Computational Linguistics (Volume 1: Long Papers), 2023

2022
Foundations and Tools in HOL4 for Analysis of Microarchitectural Out-of-Order Execution.
Proceedings of the 22nd Formal Methods in Computer-Aided Design, 2022

Unified Speech-Text Pre-training for Speech Translation and Recognition.
Proceedings of the 60th Annual Meeting of the Association for Computational Linguistics (Volume 1: Long Papers), 2022

2021
A discriminative self-attention cycle GAN for face super-resolution and recognition.
IET Image Process., 2021

A Secure and Privacy-Preserving Machine Learning Model Sharing Scheme for Edge-Enabled IoT.
IEEE Access, 2021

Refinement-Based Verification of Device-to-Device Information Flow.
Proceedings of the Formal Methods in Computer Aided Design, 2021

2020
Addressing Posterior Collapse with Mutual Information for Improved Variational Neural Machine Translation.
Proceedings of the 58th Annual Meeting of the Association for Computational Linguistics, 2020

2019
An improvement decomposition-based multi-objective evolutionary algorithm using multi-search strategy.
Knowl. Based Syst., 2019

Automatic Detection Algorithm for Atrial Fibrillation Based on Atrial Fibrillation and Suspicious Boundary of Sinus Rhythm.
J. Medical Syst., 2019

Deep-network based method for joint image deblocking and super-resolution.
IET Image Process., 2019

Improved Variational Neural Machine Translation by Promoting Mutual Information.
CoRR, 2019

Face Super-Resolution via Discriminative-Attributes.
Proceedings of the Pattern Recognition and Computer Vision - Second Chinese Conference, 2019

HackPPL: a universal probabilistic programming language.
Proceedings of the 3rd ACM SIGPLAN International Workshop on Machine Learning and Programming Languages, 2019

Automatic Recognition of Chinese Separable Words Based on CRFs.
Proceedings of the Chinese Lexical Semantics - 20th Workshop, 2019

2017
Multiharmonic Small-Signal Modeling of Low-Power PWM DC-DC Converters.
ACM Trans. Design Autom. Electr. Syst., 2017

Adaptive droop control with self-adjusted virtual impedance for three-phase inverter under unbalanced conditions.
Proceedings of the IEEE International Symposium on Circuits and Systems, 2017

Gravitational Search Algorithm with a New Technique.
Proceedings of the 13th International Conference on Computational Intelligence and Security, 2017

2016
Simulation research on PID_MRAC control of 6-DOF platform servo system.
Proceedings of the 2016 International Conference on Intelligent Information Processing, 2016

Properly Pareto Optimality Based Multiobjective Evolutionary Algorithm for Constrained Optimization.
Proceedings of the 12th International Conference on Computational Intelligence and Security, 2016

2012
A genetic algorithm-based method for look-ahead scheduling in the finishing phase of construction projects.
Adv. Eng. Informatics, 2012

2010
Loop finder analysis for analog circuits.
Proceedings of the IEEE Custom Integrated Circuits Conference, 2010

2005
Omni-directional vision based human motion detection for autonomous mobile robots.
Proceedings of the IEEE International Conference on Systems, 2005

2000
Integration in Component-Based Software Development Using Design Patterns.
Proceedings of the 24th International Computer Software and Applications Conference (COMPSAC 2000), 2000

1999
Autonomous Decentralized System with Event Service for Information Services.
Proceedings of the Fourth International Symposium on Autonomous Decentralized Systems, 1999


  Loading...