533 citations · 1.2k across the 32 of their papers we have counts for
32 papers
Proposition from the Perspective of Chinese Language: A Chinese Proposition Classification Evaluation Benchmark
Conghui Niu, Mengyang Hu, Lin Bo +3
Existing propositions often rely on logical constants for classification. Compared with Western languages that lean towards hypotaxis such as English, Chinese often relies on seman…
Fast Current Regulation and Persistent Current Maintenance of High-Temperature Superconducting Magnets with Contact Power Supply and Flux Pump
Chenghuai Wu, Wei Wang, Run Long +3
Due to the properties of high temperature superconducting (HTS) materials, current attenuation is inevitable during the closed-loop operation of HTS magnets. When a contact DC powe…
Non-rigid Point Cloud Registration for Middle Ear Diagnostics with Endoscopic Optical Coherence Tomography
Peng Liu, Jonas Golde, Joseph Morgenstern +7
Purpose: Middle ear infection is the most prevalent inflammatory disease, especially among the pediatric population. Current diagnostic methods are subjective and depend on visual…
An Ethereum-compatible blockchain that explicates and ensures design-level safety properties for smart contracts
Nikolaj Bjørner, Shuo Chen, Yang Chen +3
Smart contracts are crucial elements of decentralized technologies, but they face significant obstacles to trustworthiness due to security bugs and trapdoors. To address the core i…
Community-developed checklists for publishing images and image analysis
Christopher Schmied, Michael Nelson, Sergiy Avilov +51
Images document scientific discoveries and are prevalent in modern biomedical research. Microscopy imaging in particular is currently undergoing rapid technological advancements. H…
Broadband high-resolution integrated spectrometer architecture & data processing method
Mehedi Hasan, Gazi Mahamud Hasan, Houman Ghorbani +4
Up-to-date network telemetry is the key enabler for resource optimization by capacity scaling, fault recovery, and network reconfiguration among other means. Reliable optical perfo…
A Novel Improved Mask RCNN for Multiple Targets Detection in the Indoor Complex Scenes
Zongmin Liu, Jirui Wang, Jie Li +2
With the expansive aging of global population, service robot with living assistance applied in indoor scenes will serve as a crucial role in the field of elderly care and health in…
Peculiar properties in quasi-normal spectra from loop quantum gravity effect
Guoyang Fu, Dan Zhang, Peng Liu +2
We investigate the quasi-normal mode (QNM) spectra for scalar and electromagnetic fields over a covairant loop quantum gravity black hole (LQG-BH). For the fundamental modes, the L…
a cognitive frequency allocation strategy for multi-carrier radar against communication interference
Zhao Shan, Lei Wang, Pengfei Liu +2
Modern radars often adopt multi-carrier waveform which has been widely discussed in the literature. However, with the development of civil communication, more and more spectrum res…
Dynamics of the Geometric Phase in Inhomogeneous Quantum Spin Chains
Kaiyuan Cao, Shuxiang Yang, Yayun Hu +1
The dynamics of the geometric phase are studied in inhomogeneous quantum spin chains after a quench. Analytic expressions of the Pancharatnam geometric phase (PGP) …
What Your Firmware Tells You Is Not How You Should Emulate It: A Specification-Guided Approach for Firmware Emulation (Extended Version)
Wei Zhou, Lan Zhang, Le Guan +2
Emulating firmware of microcontrollers is challenging due to the lack of peripheral models. Existing work finds out how to respond to peripheral read operations by analyzing the ta…
Optical Wavelength Meter with Machine Learning Enhanced Precision
Gazi Mahamud Hasan, Mehedi Hasan, Peng Liu +3
Diverse applications in photonics and microwave engineering require a means of measurement of the instantaneous frequency of a signal. A photonic implementation typically applies a…
Coherence analysis of beamline and simulation of coherent X-ray diffraction imaging based on a coherent modes model
Han Xu, Zhongzhu Zhu, Peng Liu +2
The evolution from 3rd to 4th generation synchrotron radiation (SR) sources significantly enhanced their coherence, making coherent scattering techniques such as coherent X-ray dif…
Finding Taint-Style Vulnerabilities in Linux-based Embedded Firmware with SSE-based Alias Analysis
Kai Cheng, Tao Liu, Le Guan +4
Although the importance of using static analysis to detect taint-style vulnerabilities in Linux-based embedded firmware is widely recognized, existing approaches are plagued by thr…
Automatic Firmware Emulation through Invalidity-guided Knowledge Inference (Extended Version)
Wei Zhou, Le Guan, Peng Liu +1
Emulating firmware for microcontrollers is challenging due to the tight coupling between the hardware and firmware. This has greatly impeded the application of dynamic analysis too…
3D-FRONT: 3D Furnished Rooms with layOuts and semaNTics
Huan Fu, Bowen Cai, Lin Gao +7
We introduce 3D-FRONT (3D Furnished Rooms with layOuts and semaNTics), a new, large-scale, and comprehensive repository of synthetic indoor scenes highlighted by professionally des…
A Deep Learning-Based FPGA Function Block Detection Method with Bitstream to Image Transformation
Minzhen Chen, Peng Liu
In the context of various application scenarios and/or for the sake of strengthening field-programmable gate array (FPGA) security, the system functions of an FPGA design need to b…
DurIAN: Duration Informed Attention Network For Multimodal Synthesis
Chengzhu Yu, Heng Lu, Na Hu +9
In this paper, we present a generic and robust multimodal synthesis system that produces highly natural speech and facial expression simultaneously. The key component of this syste…
Maximizing Mutual Information for Tacotron
Peng Liu, Xixin Wu, Shiyin Kang +3
End-to-end speech synthesis methods already achieve close-to-human quality performance. However compared to HMM-based and NN-based frame-to-frame regression methods, they are prone…
Discovering and Understanding the Security Hazards in the Interactions between IoT Devices, Mobile Apps, and Clouds on Smart Home Platforms
Wei Zhou, Yan Jia, Yao Yao +5
A smart home connects tens of home devices to the Internet, where an IoT cloud runs various home automation applications. While bringing unprecedented convenience and accessibility…
Localization Guided Learning for Pedestrian Attribute Recognition
Pengze Liu, Xihui Liu, Junjie Yan +1
Pedestrian attribute recognition has attracted many attentions due to its wide applications in scene understanding and person analysis from surveillance videos. Existing methods tr…
Nonlinear Unknown Input and State Estimation Algorithm in Mobile Robots
Pinyao Guo, Hunmin Kim, Nurali Virani +3
This technical report provides the description and the derivation of a novel nonlinear unknown input and state estimation algorithm (NUISE) for mobile robots. The algorithm is desi…
The Effect of IoT New Features on Security and Privacy: New Threats, Existing Solutions, and Challenges Yet to Be Solved
Wei Zhou, Yuqing Zhang, Peng Liu
The future of Internet of Things (IoT) is already upon us. IoT applications have been widely used in many field of social production and social living such as healthcare, energy an…
Exploiting Physical Dynamics to Detect Actuator and Sensor Attacks in Mobile Robots
Pinyao Guo, Hunmin Kim, Nurali Virani +3
Mobile robots are cyber-physical systems where the cyberspace and the physical world are strongly coupled. Attacks against mobile robots can transcend cyber defenses and escalate i…