Haiming Wang

Orcid: 0000-0002-6156-258X

According to our database1, Haiming Wang authored at least 149 papers between 2003 and 2024.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Measuring metro station area's TODness: An exploratory study of Shenyang based on multi-source urban data.
Trans. GIS, May, 2024

A Pervasively Correlated Channel Model for Massive MIMO Transmission.
IEEE Trans. Commun., April, 2024

Joint Passing-Object Detection Using a Mixture of the First Fresnel Zone Maximum and Phase Difference and Its Application to WLAN Sensing.
IEEE Internet Things J., February, 2024

Lyra: Orchestrating Dual Correction in Automated Theorem Proving.
Trans. Mach. Learn. Res., 2024

Deep Convolutional Network-Assisted Multiple Direction-of-Arrival Estimation.
IEEE Signal Process. Lett., 2024

Over-the-Air Federated Learning in Cell-Free MIMO with Long-term Power Constraint.
CoRR, 2024

MLLM-FL: Multimodal Large Language Model Assisted Federated Learning on Heterogeneous and Long-tailed Data.
CoRR, 2024

FVEL: Interactive Formal Verification Environment with Large Language Models via Theorem Proving.
CoRR, 2024

Process-Driven Autoformalization in Lean 4.
CoRR, 2024

Proving Theorems Recursively.
CoRR, 2024

DQ-LoRe: Dual Queries with Low Rank Approximation Re-ranking for In-Context Learning.
Proceedings of the Twelfth International Conference on Learning Representations, 2024

LEGO-Prover: Neural Theorem Proving with Growing Libraries.
Proceedings of the Twelfth International Conference on Learning Representations, 2024

MUSTARD: Mastering Uniform Synthesis of Theorem and Proof Data.
Proceedings of the Twelfth International Conference on Learning Representations, 2024

2023
Highly Efficient Automatic Synthesis of a Millimeter-Wave On-Chip Deformable Spiral Inductor Using a Hybrid Knowledge-Guided and Data-Driven Technique.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., December, 2023

Deep Learning-Based Cluster Delay Estimation Using Prior Sparsity.
IEEE Wirel. Commun. Lett., November, 2023

Spectrum Sharing in Cache-Empowered Wireless Networks: Reservation-Based Versus Auction-Based Approaches.
IEEE Trans. Cogn. Commun. Netw., October, 2023

Ensemble-transfer-learning-based channel parameter prediction in asymmetric massive MIMO systems.
Frontiers Inf. Technol. Electron. Eng., February, 2023

Nonuniform-Array-Based Integrated MIMO Communication and Positioning in Wireless Local Area Networks.
IEEE Internet Things J., 2023

LEGO-Prover: Neural Theorem Proving with Growing Libraries.
CoRR, 2023

FIMO: A Challenge Formal Dataset for Automated Theorem Proving.
CoRR, 2023

On the Road to 6G: Visions, Requirements, Key Technologies, and Testbeds.
IEEE Commun. Surv. Tutorials, 2023

PrivTrace: Differentially Private Trajectory Synthesis by Adaptive Markov Models.
Proceedings of the 32nd USENIX Security Symposium, 2023

Long Short-Term Memory Fully Convolutional Network-Based Passing-Object Detection and Its Application to WLAN Sensing.
Proceedings of the IEEE/CIC International Conference on Communications in China, 2023

Image Structural Similarity-Based Channel Similarity Analysis across Multiple Frequency Bands in the Office Campus Environment.
Proceedings of the IEEE/CIC International Conference on Communications in China, 2023

Making Watermark Survive Model Extraction Attacks in Graph Neural Networks.
Proceedings of the IEEE International Conference on Communications, 2023

TRIGO: Benchmarking Formal Mathematical Proof Reduction for Generative Language Models.
Proceedings of the 2023 Conference on Empirical Methods in Natural Language Processing, 2023

DT-Solver: Automated Theorem Proving with Dynamic-Tree Sampling Guided by Proof-level Value Function.
Proceedings of the 61st Annual Meeting of the Association for Computational Linguistics (Volume 1: Long Papers), 2023

2022
Multiple Angles of Arrival Estimation Using Broadband Signals and a Nonuniform Planar Array.
IEEE Trans. Commun., 2022

Secrecy Outage Performance Analysis of UAV-Assisted Relay Communication Systems With Multiple Aerial and Ground Eavesdroppers.
IEEE Trans. Aerosp. Electron. Syst., 2022

VEuPathDB: the eukaryotic pathogen, vector and host bioinformatics resource center.
Nucleic Acids Res., 2022

Motion planning in complex urban environments: An industrial application on autonomous last-mile delivery vehicles.
J. Field Robotics, 2022

PrivTrace: Differentially Private Trajectory Synthesis by Adaptive Markov Model.
CoRR, 2022

Performance Analysis of RIS-aided Communication Systems over the Sum of Cascaded Rician Fading with imperfect CSI.
Proceedings of the IEEE Wireless Communications and Networking Conference, 2022

FedSEA: A Semi-Asynchronous Federated Learning Framework for Extremely Heterogeneous Devices.
Proceedings of the 20th ACM Conference on Embedded Networked Sensor Systems, 2022

Machine-Learning-Assisted Scenario Classification Using Large-Scale Fading Characteristics and Geographic Information.
Proceedings of the IEEE/CIC International Conference on Communications in China, 2022

6G Asymmetric Channel Modeling and Statistical Properties Analysis.
Proceedings of the IEEE International Conference on Communications, 2022

2021
Multipath Similarity Index Measure Across Multiple Frequency Bands.
IEEE Wirel. Commun. Lett., 2021

A Novel 3D Non-Stationary GBSM for 6G THz Ultra-Massive MIMO Wireless Systems.
IEEE Trans. Veh. Technol., 2021

Broadband Extended Array Response-Based Subspace Multiparameter Estimation Method for Multipolarized Wireless Channel Measurements.
IEEE Trans. Commun., 2021

Radio propagation measurement and cluster-based analysis for millimeter-wave cellular systems in dense urban environments.
Frontiers Inf. Technol. Electron. Eng., 2021

High-throughput millimeter-wave wireless communications.
Frontiers Inf. Technol. Electron. Eng., 2021

A General 3D Space-Time-Frequency Non-Stationary THz Channel Model for 6G Ultra-Massive MIMO Wireless Communication Systems.
IEEE J. Sel. Areas Commun., 2021

Delay Analysis of Wireless Federated Learning Based on Saddle Point Approximation and Large Deviation Theory.
IEEE J. Sel. Areas Commun., 2021

Fault Recognition of Rolling Bearings Based on Parameter Optimized Multi-Scale Permutation Entropy and Gath-Geva.
Entropy, 2021

Towards 6G wireless communication networks: vision, enabling technologies, and new paradigm shifts.
Sci. China Inf. Sci., 2021

Multi-Task Learning with Personalized Transformer for Review Recommendation.
Proceedings of the Web Information Systems Engineering - WISE 2021, 2021

Ultra-Compact Dual-Polarized Dipole Antenna for Ultra-Massive MIMO Systems.
Proceedings of the 10th IEEE/CIC International Conference on Communications in China, 2021

Saddle Point Approximation Based Delay Analysis for Wireless Federated Learning.
Proceedings of the ICC 2021, 2021

Low-Complexity Parameter Learning for OTFS Modulation Based Automotive Radar.
Proceedings of the IEEE International Conference on Acoustics, 2021

On the ADEP and DOR Analysis of RIS-aided URLLC Systems with Partial CSI in Smart Factory.
Proceedings of the IEEE Globecom 2021 Workshops, Madrid, Spain, December 7-11, 2021, 2021

A Novel Road Segment Representation Method for Travel Time Estimation.
Proceedings of the Database Systems for Advanced Applications. DASFAA 2021 International Workshops, 2021

2020
6G Wireless Channel Measurements and Models: Trends and Challenges.
IEEE Veh. Technol. Mag., 2020

In-building coverage of millimeter-wave wireless networks from channel measurement and modeling perspectives.
Sci. China Inf. Sci., 2020

Calibration of Motional Frequency Spread for Wide-Band FMCW Automotive Millimeter-Wave Radar.
IEEE Access, 2020

A Novel 3D Space-Time-Frequency Non-Stationary Channel Model for 6G THz Indoor Communication Systems.
Proceedings of the 2020 IEEE Wireless Communications and Networking Conference, 2020

Regression-Based Uplink Interference Identification and SINR Prediction for 5G Ultra-Dense Network.
Proceedings of the 2020 IEEE International Conference on Communications, 2020

Negative Correlation Between Virus-Related Content Popularity and Epidemic Spread.
Proceedings of the IEEE Global Communications Conference, 2020

A Video Popularity Prediction Scheme with Attention-Based LSTM and Feature Embedding.
Proceedings of the IEEE Global Communications Conference, 2020

2019
Electromagnetic Vector Antenna Array-Based Multi-Dimensional Parameter Estimation for Radio Propagation Measurement.
IEEE Wirel. Commun. Lett., 2019

Performance Evaluation and Analysis of Millimeter Wave Communication System.
IEEE Syst. J., 2019

Millimeter-Wave Space-Time Propagation Characteristics in Urban Macrocell Scenarios.
Proceedings of the 2019 IEEE International Conference on Communications, 2019

Small Cell Deployment Based on Energy Efficiency in Heterogeneous Networks.
Proceedings of the Communications, Signal Processing, and Systems, 2019

2018
An Overview of China Millimeter-Wave Multiple Gigabit Wireless Local Area Network System.
IEICE Trans. Commun., 2018

2017
An Operational Planning Framework for Large-Scale Thermostatically Controlled Load Dispatch.
IEEE Trans. Ind. Informatics, 2017

EuPathDB: the eukaryotic pathogen genomics database resource.
Nucleic Acids Res., 2017

Standards News.
IEEE Commun. Stand. Mag., 2017

6-100 GHz research progress and challenges from a channel perspective for fifth generation (5G) and future wireless communication.
Sci. China Inf. Sci., 2017

System performance evaluation for millimeter wave wireless communication.
Proceedings of the 9th International Conference on Wireless Communications and Signal Processing, 2017

Training sequence design for channel estimation and IQ imbalance compensation in GFDM systems.
Proceedings of the 9th International Conference on Wireless Communications and Signal Processing, 2017

Joint user scheduling and hybrid precoding design for MIMO C-RAN.
Proceedings of the 9th International Conference on Wireless Communications and Signal Processing, 2017

An improved CFAR algorithm for target detection.
Proceedings of the 2017 International Symposium on Intelligent Signal Processing and Communication Systems, 2017

Target detection based on a rotary table-mounted synthetic aperture radar system.
Proceedings of the 22nd International Conference on Digital Signal Processing, 2017

An improved three-dimensional auto-clustering algorithm for indoor millimeter-wave multipath propagation analysis.
Proceedings of the 2017 IEEE/CIC International Conference on Communications in China, 2017

Hybrid recommendation model based on incremental collaborative filtering and content-based algorithms.
Proceedings of the 21st IEEE International Conference on Computer Supported Cooperative Work in Design, 2017

2016
Optimization and efficient detection of primary synchronization signal for multi-beam satellite-LTE systems.
Int. J. Satell. Commun. Netw., 2016

Joint timing synchronization and channel estimation based on ZCZ sequence set in SC-MIMO-FDE system.
EURASIP J. Wirel. Commun. Netw., 2016

Comparison of single carrier and OFDM on 45GHz millimeter-wave communication system with hardware impairments.
Proceedings of the 19th International Symposium on Wireless Personal Multimedia Communications, 2016

2015
Capacity Maximization for Short-Range Millimeter-Wave Line-of-Sight TIMO Channels.
IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2015

Energy efficient coordinated precoding design for a multicell system with RF energy harvesting.
EURASIP J. Wirel. Commun. Netw., 2015

Dynamic Channel Modeling for an Indoor Scenario at 23.5 GHz.
IEEE Access, 2015

Phase noise mitigation for millimeter-wave SC-FDE MIMO systems.
Proceedings of the International Conference on Wireless Communications & Signal Processing, 2015

45GHz propagation channel modeling for an indoor conference scenario.
Proceedings of the 26th IEEE Annual International Symposium on Personal, 2015

2014
Duality Based Energy-Efficient Beamforming Design for Multiuser Downlink Systems.
IEEE Wirel. Commun. Lett., 2014

B-Spline-Decomposition-Based Approach to Multiaxis Trajectory Tracking: Nanomanipulation Example.
IEEE Trans. Control. Syst. Technol., 2014

OPT-Min-Min Scheduling Algorithm of Grid Resources.
J. Softw., 2014

Leakage-Aware Energy-Efficient Beamforming for Heterogeneous Multicell Multiuser Systems.
IEEE J. Sel. Areas Commun., 2014

Performance analysis of symbol interleaving for next generation mm-Wave MIMO WLAN.
Proceedings of the Sixth International Conference on Wireless Communications and Signal Processing, 2014

Coordinated Multicell Precoding for Weighted Sum Rate Maximization with Per-Cell EE Constraints.
Proceedings of the IEEE 80th Vehicular Technology Conference, 2014

Personalized Search: An Interactive and Iterative Approach.
Proceedings of the 2014 IEEE World Congress on Services, 2014

Energy-efficient coordinated precoding for multicell system with transceiver impairments.
Proceedings of the IEEE International Conference on Communication Systems, 2014

Multicell coordinated beamforming for WSRM with imperfect CSI at both transceiver sides.
Proceedings of the 2014 IEEE/CIC International Conference on Communications in China, 2014

2013
EuPathDB: The Eukaryotic Pathogen database.
Nucleic Acids Res., 2013

Network Intrusion Detection based on GMKL Algorithm.
J. Networks, 2013

<i>B</i>B-spline-decomposition-based output tracking with preview for nonminimum-phase linear systems.
Autom., 2013

Non-conservative robust joint transmission beamforming for multicell multiuser systems.
Proceedings of the International Conference on Wireless Communications and Signal Processing, 2013

A new PSS design and identification for global coverage multi-beam S-LTE using generalized Zadoff-Chu sequences.
Proceedings of the International Conference on Wireless Communications and Signal Processing, 2013

Recommendation-Assisted Personal Web.
Proceedings of the IEEE Ninth World Congress on Services, 2013

Utility-Driven Share Scheduling Algorithm in Hadoop.
Proceedings of the Advances in Neural Networks - ISNN 2013, 2013

Game-Based Scheduling Algorithm to Achieve Optimize Profit in MapReduce Environment.
Proceedings of the Intelligent Computing Theories - 9th International Conference, 2013

B-spline-decomposition-based approach to multi-axis trajectory tracking: Nanomanipulation example.
Proceedings of the American Control Conference, 2013

2012
GeneDB - an annotation database for pathogens.
Nucleic Acids Res., 2012

Cooperative MIMO Channel Modeling and Multi-Link Spatial Correlation Properties.
IEEE J. Sel. Areas Commun., 2012

Device-to-Device Communication Underlaying Cellular Networks: Connection Establishment and Interference Avoidance.
KSII Trans. Internet Inf. Syst., 2012

New Construction Method and Low-Complexity Correlator for Binary Periodic Complementary Sequence Sets and Its Application to MIMO Channel Estimation.
IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2012

A decoupled inversion-based iterative control approach to multi-axis precision positioning: 3D nanopositioning example.
Autom., 2012

Inversion-based optimal output tracking-transition switching with preview for nonminimum-phase linear systems.
Autom., 2012

Effective Interference Cancellation Mechanisms for D2D Communication in Multi-Cell Cellular Networks.
Proceedings of the 75th IEEE Vehicular Technology Conference, 2012

Transmission mode selection and communication establishment in the hybrid device-to-device and cellular networks.
Proceedings of the Fourth International Conference on Ubiquitous and Future Networks, 2012

Coordinated multi-cell beamforming scheme using uplink-downlink max-min SINR duality.
Proceedings of the 2012 IEEE Global Communications Conference, 2012

Capacity optimization for short-range LoS 3×2 MIMO channels.
Proceedings of the 18th Asia-Pacific Conference on Communications, 2012

Output tracking with preview for nonminimum-phase linear systems based on B-splines decomposition.
Proceedings of the American Control Conference, 2012

2011
AmoebaDB and MicrosporidiaDB: functional genomic resources for Amoebozoa and Microsporidia species.
Nucleic Acids Res., 2011

Improved Channel Estimator for MIMO-SCBT Systems Using Quadriphase Complementary Sequences.
IEICE Trans. Commun., 2011

Full Uplink Performance Evaluation of FDD/TDD LTE-Advanced Networks with Type-1 Relays.
Proceedings of the 74th IEEE Vehicular Technology Conference, 2011

UL Performance of Type-1 Relay Enhanced FDD LTE-A Networks with Unaligned Backhaul Subframes.
Proceedings of the 73rd IEEE Vehicular Technology Conference, 2011

Performance analysis of two-way relaying satellite mobile communication.
Proceedings of the 6th International ICST Conference on Communications and Networking in China, 2011

2010
EuPathDB: a portal to eukaryotic pathogen databases.
Nucleic Acids Res., 2010

TriTrypDB: a functional genomic resource for the Trypanosomatidae.
Nucleic Acids Res., 2010

Effective Labeled Time Slots Based D2D Transmission in Cellular Downlink Spectrums.
Proceedings of the 71st IEEE Vehicular Technology Conference, 2010

Effective Interference Cancellation Scheme for Device-to-Device Communication Underlaying Cellular Networks.
Proceedings of the 72nd IEEE Vehicular Technology Conference, 2010

A decoupled inversion-based iterative control approach to multi-axis precision positioning: 3-d nanopositioning example.
Proceedings of the American Control Conference, 2010

Optimal output trajectory design and tracking in preview-based nonperiodic tracking-transition switching for nonminimum-phase linear systems.
Proceedings of the American Control Conference, 2010

2009
SchistoDB: a <i>Schistosoma mansoni</i> genome resource.
Nucleic Acids Res., 2009

PlasmoDB: a functional genomic database for malaria parasites.
Nucleic Acids Res., 2009

GiardiaDB and TrichDB: integrated genomic resources for the eukaryotic protist pathogens <i>Giardia lamblia</i> and <i>Trichomonas vaginalis</i>.
Nucleic Acids Res., 2009

Principle and performance of TTI bundling for VoIP in LTE FDD mode.
Proceedings of the 2009 IEEE Wireless Communications and Networking Conference, 2009

Double Thresholds Based Cooperative Spectrum Sensing Against Untrusted Secondary Users in Cognitive Radio Networks.
Proceedings of the 69th IEEE Vehicular Technology Conference, 2009

Performance of TTI Bundling for VoIP In EUTRAN TDD Mode.
Proceedings of the 69th IEEE Vehicular Technology Conference, 2009

Cooperative Spectrum Sensing with Cluster-Based Architecture in Cognitive Radio Networks.
Proceedings of the 69th IEEE Vehicular Technology Conference, 2009

Interference avoidance mechanisms in the hybrid cellular and device-to-device systems.
Proceedings of the IEEE 20th International Symposium on Personal, 2009

A game-theoretic approach to distributed power control algorithm for hybrid systems.
Proceedings of the IEEE 20th International Symposium on Personal, 2009

Preamble-Based Channel Estimation for Amplify-and-Forward OFDM Relay Networks.
Proceedings of the Global Communications Conference, 2009. GLOBECOM 2009, Honolulu, Hawaii, USA, 30 November, 2009

Eigenvalues based spectrum sensing against untrusted users in cognitive radio networks.
Proceedings of the 4th International ICST Conference on Cognitive Radio Oriented Wireless Networks and Communications, 2009

High speed force-volume mapping using atomic force microscope.
Proceedings of the American Control Conference, 2009

2008
ToxoDB: an integrated <i>Toxoplasma gondii</i> database resource.
Nucleic Acids Res., 2008

Performance Comparison of Control-Less Scheduling Policies for VoIP in LTE UL.
Proceedings of the WCNC 2008, IEEE Wireless Communications & Networking Conference, March 31 2008, 2008

A Novel Bidirectional Resource Allocation to Decrease Signaling for Retransmission in LTE System.
Proceedings of the 67th IEEE Vehicular Technology Conference, 2008

Uplink VoIP Performance in E-UTRAN TDD Mode.
Proceedings of the 67th IEEE Vehicular Technology Conference, 2008

Decision Support in Cancer Base on Fuzzy Adaptive PSO for Feedforward Neural Network Training.
Proceedings of the 2008 International Symposium on Computer Science and Computational Technology, 2008

Performance Analysis of Frequency Domain Equalization in SC-FDMA Systems.
Proceedings of IEEE International Conference on Communications, 2008

Two Dimensional DCT-Based Channel Estimation for OFDM Systems with Virtual Subcarriers in Mobile Wireless Channels.
Proceedings of IEEE International Conference on Communications, 2008

2007
ApiDB: integrated resources for the apicomplexan bioinformatics resource center.
Nucleic Acids Res., 2007

Efficient MIMO channel estimation using complementary sequences.
IET Commun., 2007

2006
CryptoDB: a <i>Cryptosporidium</i> bioinformatics resource update.
Nucleic Acids Res., 2006

MAGIC-SPP: a database-driven DNA sequence processing package with associated management tools.
BMC Bioinform., 2006

SynView: a GBrowse-compatible approach to visualizing comparative genome data.
Bioinform., 2006

Performance Analysis for Papr Reduction by Stochastic HNN with Soft Decision Feedback.
Proceedings of the IEEE 17th International Symposium on Personal, 2006

The performance deterioration from nonlinear amplifier in NxDO system.
Proceedings of the International Conference on Wireless Communications and Mobile Computing, 2006

2003
A new approach for edge detection of noisy image based on CNN.
Int. J. Circuit Theory Appl., 2003


  Loading...