Ning Dong

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

Bibliography

2024

An elitist cuckoo search algorithm for combined heat and power economic dispatch.

[BibT_eX]

[DOI]

Int. J. Prod. Res., February, 2024

Towards a Trustworthy Stack: Formal Verification of Low-Level Hardware and Software.

[BibT_eX]

[DOI]

Ning Dong

PhD thesis, 2024

2023

Bilingual Teaching Environment Creation and Multi-Attribute Teaching Decisions.

[BibT_eX]

[DOI]

Ran Zhao

Ning Dong

Int. J. Emerg. Technol. Learn., December, 2023

Behavioral Modeling Method of Macromodels for Interconnected Systems With Frequency Characteristics and Nonlinear Termination Networks.

[BibT_eX]

[DOI]

Ziweihua Du

Ning Dong

Yan-Zhao Xie

IEEE Trans. Circuits Syst. II Express Briefs, September, 2023

An Equation-Based Dynamic Nonlinear Model of Metal-Oxide Arrester and Its SPICE Implementation.

[BibT_eX]

[DOI]

IEEE Trans. Circuits Syst. II Express Briefs, August, 2023

Seamless: Multilingual Expressive and Streaming Speech Translation.

[BibT_eX]

[DOI]

Loïc Barrault

Yu-An Chung

Mariano Coria Meglioli

David Dale

Ning Dong

Mark Duppenthaler

Paul-Ambroise Duquenne

Kaushik Ram Sadagopan

Gabriel Mejia Gonzalez

CoRR, 2023

CoLLD: Contrastive Layer-to-layer Distillation for Compressing Multilingual Pre-trained Speech Encoders.

[BibT_eX]

[DOI]

CoRR, 2023

SeamlessM4T-Massively Multilingual & Multimodal Machine Translation.

[BibT_eX]

[DOI]

Seamless Communication

Loïc Barrault

Yu-An Chung

Mariano Coria Meglioli

David Dale

Ning Dong

Paul-Ambroise Duquenne

Kaushik Ram Sadagopan

Gabriel Mejia Gonzalez

CoRR, 2023

Multilingual Speech-to-Speech Translation into Multiple Target Languages.

[BibT_eX]

[DOI]

CoRR, 2023

Research on Beyond Information Literacy Education Model of University Libraries under the Open Science Environment.

[BibT_eX]

[DOI]

Ning Dong

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.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods in Computer-Aided Design, 2023

SpeechMatrix: A Large-Scale Mined Corpus of Multilingual Speech-to-Speech Translations.

[BibT_eX]

[DOI]

Paul-Ambroise Duquenne

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.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the 22nd Formal Methods in Computer-Aided Design, 2022

Unified Speech-Text Pre-training for Speech Translation and Recognition.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

IET Image Process., 2021

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

[BibT_eX]

[DOI]

IEEE Access, 2021

Refinement-Based Verification of Device-to-Device Information Flow.

[BibT_eX]

[DOI]

Ning Dong

Roberto Guanciale

Mads Dam

Proceedings of the Formal Methods in Computer Aided Design, 2021

2020

Addressing Posterior Collapse with Mutual Information for Improved Variational Neural Machine Translation.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Ning Dong

Cai Dai

Knowl. Based Syst., 2019

Automatic Detection Algorithm for Atrial Fibrillation Based on Atrial Fibrillation and Suspicious Boundary of Sinus Rhythm.

[BibT_eX]

[DOI]

Hailing Cui

Ning Dong

J. Medical Syst., 2019

Deep-network based method for joint image deblocking and super-resolution.

[BibT_eX]

[DOI]

IET Image Process., 2019

Improved Variational Neural Machine Translation by Promoting Mutual Information.

[BibT_eX]

[DOI]

CoRR, 2019

Face Super-Resolution via Discriminative-Attributes.

[BibT_eX]

[DOI]

Proceedings of the Pattern Recognition and Computer Vision - Second Chinese Conference, 2019

HackPPL: a universal probabilistic programming language.

[BibT_eX]

[DOI]

Proceedings of the 3rd ACM SIGPLAN International Workshop on Machine Learning and Programming Languages, 2019

Automatic Recognition of Chinese Separable Words Based on CRFs.

[BibT_eX]

[DOI]

Ning Dong

Weiming Peng

Proceedings of the Chinese Lexical Semantics - 20th Workshop, 2019

2017

Multiharmonic Small-Signal Modeling of Low-Power PWM DC-DC Converters.

[BibT_eX]

[DOI]

ACM Trans. Design Autom. Electr. Syst., 2017

Adaptive droop control with self-adjusted virtual impedance for three-phase inverter under unbalanced conditions.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Symposium on Circuits and Systems, 2017

Gravitational Search Algorithm with a New Technique.

[BibT_eX]

[DOI]

Juan Li

Ning Dong

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.

[BibT_eX]

[DOI]

Ning Dong

Mingxin Liu

Zhen Chen

Proceedings of the 2016 International Conference on Intelligent Information Processing, 2016

Properly Pareto Optimality Based Multiobjective Evolutionary Algorithm for Constrained Optimization.

[BibT_eX]

[DOI]

Ning Dong

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.

[BibT_eX]

[DOI]

Adv. Eng. Informatics, 2012

Preference Based Multiobjective Evolutionary Algorithm for Constrained Optimization Problems.

[BibT_eX]

[DOI]

Ning Dong

Fei Wei

Yuping Wang

Proceedings of the Eighth International Conference on Computational Intelligence and Security, 2012

2010

Loop finder analysis for analog circuits.

[BibT_eX]

[DOI]

G. Peter Fang

Rod Burt

Ning Dong

Proceedings of the IEEE Custom Integrated Circuits Conference, 2010

2005

Omni-directional vision based human motion detection for autonomous mobile robots.

[BibT_eX]

[DOI]

Hong Liu

Ning Dong

Hongbin Zha

Proceedings of the IEEE International Conference on Systems, 2005

2000

Integration in Component-Based Software Development Using Design Patterns.

[BibT_eX]

[DOI]

Stephen S. Yau

Ning Dong

Proceedings of the 24th International Computer Software and Applications Conference (COMPSAC 2000), 2000

1999

Autonomous Decentralized System with Event Service for Information Services.

[BibT_eX]

[DOI]

Stephen S. Yau

Ning Dong

Fariaz Karim

Proceedings of the Fourth International Symposium on Autonomous Decentralized Systems, 1999

Ning Dong

Bibliography

Loading...