default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDHaiming Wang
This is just a disambiguation page, and is not intended to be the bibliography of an actual person. The links to all actual bibliographies of persons of the same or a similar name can be found below. Any publication listed on this page has not been assigned to an actual author yet. If you know the true author of one of the publications listed below, you are welcome to contact us.
Person information
Other persons with the same name
- Haiming Wang 0001
![[0000-0002-6156-258X]](https://dblp.uni-trier.de./img/orcid-mark.12x12.png "0000-0002-6156-258X")
— National Center of Technology Innovation for EDA, Research and Development Department, Nanjing, China (and 2 more) - Haiming Wang 0002 — Lenovo Research, Beijing, China (and 1 more)
- Haiming Wang 0003 — Yantai Institute of Technology, School of Architecture and Engineering, China
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[j32]Chuanyang Zheng, Haiming Wang, Enze Xie, Zhengying Liu, Jiankai Sun, Huajian Xin, Jianhao Shen, Zhenguo Li, Yu Li:
Lyra: Orchestrating Dual Correction in Automated Theorem Proving. Trans. Mach. Learn. Res. 2024 (2024)- [c38]Yinya Huang, Xiaohan Lin, Zhengying Liu, Qingxing Cao, Huajian Xin, Haiming Wang, Zhenguo Li, Linqi Song, Xiaodan Liang:
MUSTARD: Mastering Uniform Synthesis of Theorem and Proof Data. ICLR 2024 - [c37]Haiming Wang, Huajian Xin, Chuanyang Zheng, Zhengying Liu, Qingxing Cao, Yinya Huang, Jing Xiong, Han Shi, Enze Xie, Jian Yin, Zhenguo Li, Xiaodan Liang:
LEGO-Prover: Neural Theorem Proving with Growing Libraries. ICLR 2024 - [c36]Jing Xiong, Zixuan Li, Chuanyang Zheng, Zhijiang Guo, Yichun Yin, Enze Xie, Zhicheng Yang, Qingxing Cao, Haiming Wang, Xiongwei Han, Jing Tang, Chengming Li, Xiaodan Liang:
DQ-LoRe: Dual Queries with Low Rank Approximation Re-ranking for In-Context Learning. ICLR 2024 - [i10]Yinya Huang, Xiaohan Lin, Zhengying Liu, Qingxing Cao, Huajian Xin, Haiming Wang, Zhenguo Li, Linqi Song, Xiaodan Liang:
MUSTARD: Mastering Uniform Synthesis of Theorem and Proof Data. CoRR abs/2402.08957 (2024) - [i9]Haiming Wang, Huajian Xin, Zhengying Liu, Wenda Li, Yinya Huang, Jianqiao Lu, Zhicheng Yang, Jing Tang, Jian Yin, Zhenguo Li, Xiaodan Liang:
Proving Theorems Recursively. CoRR abs/2405.14414 (2024) - [i8]Jianqiao Lu, Zhengying Liu, Yingjia Wan, Yinya Huang, Haiming Wang, Zhicheng Yang, Jing Tang, Zhijiang Guo:
Process-Driven Autoformalization in Lean 4. CoRR abs/2406.01940 (2024) - [i7]Xiaohan Lin, Qingxing Cao, Yinya Huang, Haiming Wang, Jianqiao Lu, Zhengying Liu, Linqi Song, Xiaodan Liang:
FVEL: Interactive Formal Verification Environment with Large Language Models via Theorem Proving. CoRR abs/2406.14408 (2024) - 2023
- [j31]Zunwen He, Yue Li, Yan Zhang, Wancheng Zhang, Kaien Zhang, Liu Guo, Haiming Wang:
Ensemble-transfer-learning-based channel parameter prediction in asymmetric massive MIMO systems. Frontiers Inf. Technol. Electron. Eng. 24(2): 275-288 (2023) - [c35]Haiming Wang, Ye Yuan, Zhengying Liu, Jianhao Shen, Yichun Yin, Jing Xiong, Enze Xie, Han Shi, Yujun Li, Lin Li, Jian Yin, Zhenguo Li, Xiaodan Liang:
DT-Solver: Automated Theorem Proving with Dynamic-Tree Sampling Guided by Proof-level Value Function. ACL (1) 2023: 12632-12646 - [c34]Jing Xiong, Jianhao Shen, Ye Yuan, Haiming Wang, Yichun Yin, Zhengying Liu, Lin Li, Zhijiang Guo, Qingxing Cao, Yinya Huang, Chuanyang Zheng, Xiaodan Liang, Ming Zhang, Qun Liu:
TRIGO: Benchmarking Formal Mathematical Proof Reduction for Generative Language Models. EMNLP 2023: 11594-11632 - [c33]Haiming Wang, Zhikun Zhang, Min Chen, Shibo He:
Making Watermark Survive Model Extraction Attacks in Graph Neural Networks. ICC 2023: 57-62 - [c32]Cheng Yi, Meng Zhao, Zhi Chen, Haiming Wang:
Image Structural Similarity-Based Channel Similarity Analysis across Multiple Frequency Bands in the Office Campus Environment. ICCC 2023: 1-6 - [c31]Shaowei Zhang, Siyuan Shao, Haiming Wang, Nan Hu, Xiaodong Xu, Yan Li, Jingjing Chen:
Long Short-Term Memory Fully Convolutional Network-Based Passing-Object Detection and Its Application to WLAN Sensing. ICCC Workshops 2023: 1-6 - [c30]Haiming Wang, Zhikun Zhang, Tianhao Wang, Shibo He, Michael Backes, Jiming Chen, Yang Zhang:
PrivTrace: Differentially Private Trajectory Synthesis by Adaptive Markov Models. USENIX Security Symposium 2023: 1649-1666 - [i6]Chengwu Liu, Jianhao Shen, Huajian Xin, Zhengying Liu, Ye Yuan, Haiming Wang, Wei Ju, Chuanyang Zheng, Yichun Yin, Lin Li, Ming Zhang, Qun Liu:
FIMO: A Challenge Formal Dataset for Automated Theorem Proving. CoRR abs/2309.04295 (2023) - [i5]Chuanyang Zheng, Haiming Wang, Enze Xie, Zhengying Liu, Jiankai Sun, Huajian Xin, Jianhao Shen, Zhenguo Li, Yu Li:
Lyra: Orchestrating Dual Correction in Automated Theorem Proving. CoRR abs/2309.15806 (2023) - [i4]Haiming Wang, Huajian Xin, Chuanyang Zheng, Lin Li, Zhengying Liu, Qingxing Cao, Yinya Huang, Jing Xiong, Han Shi, Enze Xie, Jian Yin, Zhenguo Li, Heng Liao, Xiaodan Liang:
LEGO-Prover: Neural Theorem Proving with Growing Libraries. CoRR abs/2310.00656 (2023) - [i3]Jing Xiong, Zixuan Li, Chuanyang Zheng, Zhijiang Guo, Yichun Yin, Enze Xie, Zhicheng Yang, Qingxing Cao, Haiming Wang, Xiongwei Han, Jing Tang, Chengming Li, Xiaodan Liang:
DQ-LoRe: Dual Queries with Low Rank Approximation Re-ranking for In-Context Learning. CoRR abs/2310.02954 (2023) - [i2]Jing Xiong, Jianhao Shen, Ye Yuan, Haiming Wang, Yichun Yin, Zhengying Liu, Lin Li, Zhijiang Guo, Qingxing Cao, Yinya Huang, Chuanyang Zheng, Xiaodan Liang, Ming Zhang, Qun Liu:
TRIGO: Benchmarking Formal Mathematical Proof Reduction for Generative Language Models. CoRR abs/2310.10180 (2023) - 2022
- [j30]Haiming Wang, Liangliang Zhang, Qi Kong, Weicheng Zhu, Jie Zheng, Li Zhuang, Xin Xu:
Motion planning in complex urban environments: An industrial application on autonomous last-mile delivery vehicles. J. Field Robotics 39(8): 1258-1285 (2022) - [j29]Beatrice Amos, Cristina Aurrecoechea, Matthieu Barba, Ana Barreto, Evelina Y. Basenko, Wojciech Bazant, Robert Belnap, Ann S. Blevins, Ulrike Böhme, John Brestelli, Brian P. Brunk, Mark J. Caddick, Danielle Callan, Lahcen I. Campbell, Mikkel B. Christensen, George K. Christophides, Kathryn Crouch, Kristina Davis, Jeremy D. DeBarry, Ryan Doherty, Yikun Duan, Michael Dunn, Dave Falke, Steve Fisher, Paul Flicek, Brett Fox, Bindu Gajria, Gloria I. Giraldo-Calderón, Omar S. Harb, Elizabeth Harper, Christiane Hertz-Fowler, Mark J. Hickman, Connor Howington, Sufen Hu, Jay C. Humphrey, John Iodice, Andrew R. Jones, John Judkins, Sarah A. Kelly, Jessica C. Kissinger, Dae Kun Kwon, Kristopher Lamoureux, Daniel Lawson, Wei Li, Kallie Lies, Disha Lodha, Jamie Long, Robert M. MacCallum, Gareth Maslen, Mary Ann McDowell, Jaroslaw Nabrzyski, David S. Roos, Samuel S. C. Rund, Stephanie wever Schulman, Achchuthan Shanmugasundram, Vasily Sitnik, Drew Spruill, David Starns, Christian J. Stoeckert Jr., Sheena Shah Tomko, Haiming Wang, Susanne Warrenfeltz, Robert Wieck, Paul A. Wilkinson, Lin Xu, Jie Zheng:
VEuPathDB: the eukaryotic pathogen, vector and host bioinformatics resource center. Nucleic Acids Res. 50(D1): 898-911 (2022) - [c29]Meng Zhao, Yiming Yu, Cheng Yi, Haiming Wang, Songtao Gao:
Machine-Learning-Assisted Scenario Classification Using Large-Scale Fading Characteristics and Geographic Information. ICCC 2022: 43-48 - [i1]Haiming Wang, Zhikun Zhang, Tianhao Wang, Shibo He, Michael Backes, Jiming Chen, Yang Zhang:
PrivTrace: Differentially Private Trajectory Synthesis by Adaptive Markov Model. CoRR abs/2210.00581 (2022) - 2021
- [j28]Haiming Wang, Qiang Li, Shaopu Yang, Yongqiang Liu:
Fault Recognition of Rolling Bearings Based on Parameter Optimized Multi-Scale Permutation Entropy and Gath-Geva. Entropy 23(8): 1040 (2021) - [j27]Wei Hong, Guangrong Yue, Xiaohu Ge, Haiming Wang:
High-throughput millimeter-wave wireless communications. Frontiers Inf. Technol. Electron. Eng. 22(4): 437-440 (2021) - [c28]Wei Liu, Jiayu He, Haiming Wang, Huaijie Zhu, Jian Yin:
A Novel Road Segment Representation Method for Travel Time Estimation. DASFAA (Workshops) 2021: 398-413 - [c27]Haiming Wang, Wei Liu, Jian Yin:
Multi-Task Learning with Personalized Transformer for Review Recommendation. WISE (2) 2021: 162-176
2010 – 2019
- 2019
- [c26]Yinghui Zhang, Shuang Ning, Haiming Wang, Jing Gao, Yang Liu:
Small Cell Deployment Based on Energy Efficiency in Heterogeneous Networks. CSPS 2019: 9-19 - 2017
- [j26]Jianhua Zhang, Pan Tang, Lei Tian, Zhixue Hu, Tan Wang, Haiming Wang:
6-100 GHz research progress and challenges from a channel perspective for fifth generation (5G) and future wireless communication. Sci. China Inf. Sci. 60(8): 080301:1-080301:18 (2017) - [j25]Mehmet Ulema, Giovanni Romano, Satoshi Nagata, Jacob John, Max Riegel, Andrew Myles, Haiming Wang, Osama Aboul-Magd, Edward Au, Minyoung Park, Nam Tuan Le, Marco Hernandez, Mung Lee, Volker Jungnickel, Thomas Kürner:
Standards News. IEEE Commun. Stand. Mag. 1(3): 13-19 (2017) - [j24]Cristina Aurrecoechea, Ana Barreto, Evelina Y. Basenko, John Brestelli, Brian P. Brunk, Shon Cade, Kathryn Crouch, Ryan Doherty, Dave Falke, Steve Fischer, Bindu Gajria, Omar S. Harb, Mark Heiges, Christiane Hertz-Fowler, Sufen Hu, John Iodice, Jessica C. Kissinger, Cris Lawrence, Wei Li, Deborah F. Pinney, Jane A. Pulman, David S. Roos, Achchuthan Shanmugasundram, Fatima Silva-Franco, Sascha Steinbiss, Christian J. Stoeckert Jr., Drew Spruill, Haiming Wang, Susanne Warrenfeltz, Jie Zheng:
EuPathDB: the eukaryotic pathogen genomics database resource. Nucleic Acids Res. 45(Database-Issue): D581-D591 (2017) - [j23]Fengji Luo, Zhao Yang Dong, Ke Meng, Junhao Wen, Haiming Wang, Junhua Zhao:
An Operational Planning Framework for Large-Scale Thermostatically Controlled Load Dispatch. IEEE Trans. Ind. Informatics 13(1): 217-227 (2017) - [c25]Haiming Wang, Peng Zhang, Tun Lu, Hansu Gu, Ning Gu:
Hybrid recommendation model based on incremental collaborative filtering and content-based algorithms. CSCWD 2017: 337-342 - 2015
- [j22]Nan Zhang, Jianwu Dou, Li Tian, Xi Yuan, Xiaoyi Yang, Suping Mei, Haiming Wang:
Dynamic Channel Modeling for an Indoor Scenario at 23.5 GHz. IEEE Access 3: 2950-2958 (2015) - [c24]Jianwu Dou, Li Tian, Haiming Wang, Xi Yuan, Nan Zhang, Suping Mei:
45GHz propagation channel modeling for an indoor conference scenario. PIMRC 2015: 2225-2228 - 2014
- [j21]Lijun Cao, Xiyin Liu, Haiming Wang, Zhongping Zhang:
OPT-Min-Min Scheduling Algorithm of Grid Resources. J. Softw. 9(7): 1868-1875 (2014) - [j20]Haiming Wang, Qingze Zou:
B-Spline-Decomposition-Based Approach to Multiaxis Trajectory Tracking: Nanomanipulation Example. IEEE Trans. Control. Syst. Technol. 22(4): 1573-1580 (2014) - [c23]Haiming Wang, Kenny Wong:
Personalized Search: An Interactive and Iterative Approach. SERVICES 2014: 3-10 - 2013
- [j19]Haiming Wang, Kyong-Soo Kim, Qingze Zou:
BB-spline-decomposition-based output tracking with preview for nonminimum-phase linear systems. Autom. 49(5): 1295-1303 (2013) - [j18]Yuxiang Li, Haiming Wang, Hongkui Yu, Changquan Ren, Qingjia Geng:
Network Intrusion Detection based on GMKL Algorithm. J. Networks 8(6): 1322-1328 (2013) - [j17]Cristina Aurrecoechea, Ana Barreto, John Brestelli, Brian P. Brunk, Shon Cade, Ryan Doherty, Steve Fischer, Bindu Gajria, Xin Gao, Alan R. Gingle, Gregory R. Grant, Omar S. Harb, Mark Heiges, Sufen Hu, John Iodice, Jessica C. Kissinger, Eileen T. Kraemer, Wei Li, Deborah F. Pinney, Brian Pitts, David S. Roos, Ganesh Srinivasamoorthy, Christian J. Stoeckert Jr., Haiming Wang, Susanne Warrenfeltz:
EuPathDB: The Eukaryotic Pathogen database. Nucleic Acids Res. 41(Database-Issue): 684-691 (2013) - [c22]Haiming Wang, Qingze Zou, Hongbing Xu:
B-spline-decomposition-based approach to multi-axis trajectory tracking: Nanomanipulation example. ACC 2013: 5482-5487 - [c21]Cong Wan, Cuirong Wang, Ying Yuan, Haiming Wang:
Game-Based Scheduling Algorithm to Achieve Optimize Profit in MapReduce Environment. ICIC (1) 2013: 234-240 - [c20]Cong Wan, Cuirong Wang, Ying Yuan, Haiming Wang, Xin Song:
Utility-Driven Share Scheduling Algorithm in Hadoop. ISNN (2) 2013: 560-568 - [c19]Haiming Wang, Kenny Wong:
Recommendation-Assisted Personal Web. SERVICES 2013: 136-140 - 2012
- [j16]Yan Yan, Haiming Wang, Qingze Zou:
A decoupled inversion-based iterative control approach to multi-axis precision positioning: 3D nanopositioning example. Autom. 48(1): 167-176 (2012) - [j15]Haiming Wang, Qingze Zou, Hongbing Xu:
Inversion-based optimal output tracking-transition switching with preview for nonminimum-phase linear systems. Autom. 48(7): 1364-1371 (2012) - [j14]Haiming Wang:
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. 95-A(6): 1095-1098 (2012) - [j13]Flora J. Logan-Klumpler, Nishadi De Silva, Ulrike Böhme, Matthew B. Rogers, Giles Velarde, Jacqueline A. McQuillan, Tim Carver, Martin Aslett, Christian Olsen, Sandhya Subramanian, Isabelle Phan, Carol Farris, Siddhartha Mitra, Gowthaman Ramasamy, Haiming Wang, Adrian Tivey, Andrew Jackson, Robin Houston, Julian Parkhill, Matthew T. G. Holden, Omar S. Harb, Brian P. Brunk, Peter J. Myler, David S. Roos, Mark Carrington, Deborah F. Smith, Christiane Hertz-Fowler, Matthew Berriman:
GeneDB - an annotation database for pathogens. Nucleic Acids Res. 40(Database-Issue): 98-108 (2012) - [c18]Haiming Wang, Kyong-Soo Kim, Qingze Zou:
Output tracking with preview for nonminimum-phase linear systems based on B-splines decomposition. ACC 2012: 615-620 - [c17]Shaoyi Xu, Haiming Wang:
Transmission mode selection and communication establishment in the hybrid device-to-device and cellular networks. ICUFN 2012: 156-161 - [c16]Shaoyi Xu, Haiming Wang, Tao Chen:
Effective Interference Cancellation Mechanisms for D2D Communication in Multi-Cell Cellular Networks. VTC Spring 2012: 1-5 - 2011
- [j12]Cristina Aurrecoechea, Ana Barreto, John Brestelli, Brian P. Brunk, Elisabet V. Caler, Steve Fischer, Bindu Gajria, Xin Gao, Alan R. Gingle, Gregory R. Grant, Omar S. Harb, Mark Heiges, John Iodice, Jessica C. Kissinger, Eileen T. Kraemer, Wei Li, Vishal Nayak, Cary Pennington, Deborah F. Pinney, Brian Pitts, David S. Roos, Ganesh Srinivasamoorthy, Christian J. Stoeckert Jr., Charles Treatman, Haiming Wang:
AmoebaDB and MicrosporidiaDB: functional genomic resources for Amoebozoa and Microsporidia species. Nucleic Acids Res. 39(Database-Issue): 612-619 (2011) - [c15]Wei Hong, Jing Han, Haiming Wang:
UL Performance of Type-1 Relay Enhanced FDD LTE-A Networks with Unaligned Backhaul Subframes. VTC Spring 2011: 1-5 - [c14]Wei Hong, Jing Han, Haiming Wang:
Full Uplink Performance Evaluation of FDD/TDD LTE-Advanced Networks with Type-1 Relays. VTC Fall 2011: 1-5 - 2010
- [j11]Cristina Aurrecoechea, John Brestelli, Brian P. Brunk, Steve Fischer, Bindu Gajria, Xin Gao, Alan R. Gingle, Gregory R. Grant, Omar S. Harb, Mark Heiges, Frank Innamorato, John Iodice, Jessica C. Kissinger, Eileen T. Kraemer, Wei Li, John A. Miller, Vishal Nayak, Cary Pennington, Deborah F. Pinney, David S. Roos, Chris Ross, Ganesh Srinivasamoorthy, Christian J. Stoeckert Jr., Ryan Thibodeau, Charles Treatman, Haiming Wang:
EuPathDB: a portal to eukaryotic pathogen databases. Nucleic Acids Res. 38(Database-Issue): 415-419 (2010) - [j10]Martin Aslett, Cristina Aurrecoechea, Matthew Berriman, John Brestelli, Brian P. Brunk, Mark Carrington, Daniel P. Depledge, Steve Fischer, Bindu Gajria, Xin Gao, Malcolm J. Gardner, Alan R. Gingle, Gregory R. Grant, Omar S. Harb, Mark Heiges, Christiane Hertz-Fowler, Robin Houston, Frank Innamorato, John Iodice, Jessica C. Kissinger, Eileen T. Kraemer, Wei Li, Flora J. Logan, John A. Miller, Siddhartha Mitra, Peter J. Myler, Vishal Nayak, Cary Pennington, Isabelle Phan, Deborah F. Pinney, Gowthaman Ramasamy, Matthew B. Rogers, David S. Roos, Chris Ross, Dhileep Sivam, Deborah F. Smith, Ganesh Srinivasamoorthy, Christian J. Stoeckert Jr., Sandhya Subramanian, Ryan Thibodeau, Adrian Tivey, Charles Treatman, Giles Velarde, Haiming Wang:
TriTrypDB: a functional genomic resource for the Trypanosomatidae. Nucleic Acids Res. 38(Database-Issue): 457-462 (2010) - [c13]Yan Yan, Haiming Wang, Qingze Zou:
A decoupled inversion-based iterative control approach to multi-axis precision positioning: 3-d nanopositioning example. ACC 2010: 1290-1295 - [c12]Haiming Wang, Qingze Zou, Hongbing Xu:
Optimal output trajectory design and tracking in preview-based nonperiodic tracking-transition switching for nonminimum-phase linear systems. ACC 2010: 5769-5774
2000 – 2009
- 2009
- [j9]Cristina Aurrecoechea, John Brestelli, Brian P. Brunk, Jane M. Carlton, Jennifer Dommer, Steve Fischer, Bindu Gajria, Xin Gao, Alan R. Gingle, Gregory R. Grant, Omar S. Harb, Mark Heiges, Frank Innamorato, John Iodice, Jessica C. Kissinger, Eileen T. Kraemer, Wei Li, John A. Miller, Hilary G. Morrison, Vishal Nayak, Cary Pennington, Deborah F. Pinney, David S. Roos, Chris Ross, Christian J. Stoeckert Jr., Steven Sullivan, Charles Treatman, Haiming Wang:
GiardiaDB and TrichDB: integrated genomic resources for the eukaryotic protist pathogens Giardia lamblia and Trichomonas vaginalis. Nucleic Acids Res. 37(Database-Issue): 526-530 (2009) - [j8]Cristina Aurrecoechea, John Brestelli, Brian P. Brunk, Jennifer Dommer, Steve Fischer, Bindu Gajria, Xin Gao, Alan R. Gingle, Gregory R. Grant, Omar S. Harb, Mark Heiges, Frank Innamorato, John Iodice, Jessica C. Kissinger, Eileen T. Kraemer, Wei Li, John A. Miller, Vishal Nayak, Cary Pennington, Deborah F. Pinney, David S. Roos, Chris Ross, Christian J. Stoeckert Jr., Charles Treatman, Haiming Wang:
PlasmoDB: a functional genomic database for malaria parasites. Nucleic Acids Res. 37(Database-Issue): 539-543 (2009) - [j7]Adhemar Zerlotini, Mark Heiges, Haiming Wang, Romulo L. V. Moraes, Anderson J. Dominitini, Jerônimo C. Ruiz, Jessica C. Kissinger, Guilherme C. Oliveira:
SchistoDB: a Schistosoma mansoni genome resource. Nucleic Acids Res. 37(Database-Issue): 579-582 (2009) - [c11]Kyong-Soo Kim, Haiming Wang, Qingze Zou:
High speed force-volume mapping using atomic force microscope. ACC 2009: 991-996 - [c10]Shaoyi Xu, Yanlei Shang, Haiming Wang:
Eigenvalues based spectrum sensing against untrusted users in cognitive radio networks. CrownCom 2009: 1-6 - [c9]Haiming Wang, Jing Han, Shaoyi Xu:
Performance of TTI Bundling for VoIP In EUTRAN TDD Mode. VTC Spring 2009 - [c8]Shaoyi Xu, Yanlei Shang, Haiming Wang:
Double Thresholds Based Cooperative Spectrum Sensing Against Untrusted Secondary Users in Cognitive Radio Networks. VTC Spring 2009 - [c7]Jing Han, Haiming Wang:
Principle and performance of TTI bundling for VoIP in LTE FDD mode. WCNC 2009: 1256-1261 - 2008
- [j6]Bindu Gajria, Amit Bahl, John Brestelli, Jennifer Dommer, Steve Fischer, Xin Gao, Mark Heiges, John Iodice, Jessica C. Kissinger, Aaron J. Mackey, Deborah F. Pinney, David S. Roos, Christian J. Stoeckert Jr., Haiming Wang, Brian P. Brunk:
ToxoDB: an integrated Toxoplasma gondii database resource. Nucleic Acids Res. 36(Database-Issue): 553-556 (2008) - [c6]Liman Zhang, Haiming Wang, Jinzhao Liang, Jianzhou Wang:
Decision Support in Cancer Base on Fuzzy Adaptive PSO for Feedforward Neural Network Training. ISCSCT (1) 2008: 220-223 - [c5]Haiming Wang, Dajie Jiang:
A Novel Bidirectional Resource Allocation to Decrease Signaling for Retransmission in LTE System. VTC Spring 2008: 2269-2271 - [c4]Dajie Jiang, Haiming Wang, Xiangguang Che:
Uplink VoIP Performance in E-UTRAN TDD Mode. VTC Spring 2008: 2482-2486 - [c3]Haiming Wang, Dajie Jiang:
Performance Comparison of Control-Less Scheduling Policies for VoIP in LTE UL. WCNC 2008: 2497-2501 - 2007
- [j5]Cristina Aurrecoechea, Mark Heiges, Haiming Wang, Zhiming Wang, Steve Fischer, Philippa M. Rhodes, John A. Miller, Eileen T. Kraemer, Christian J. Stoeckert Jr., David S. Roos, Jessica C. Kissinger:
ApiDB: integrated resources for the apicomplexan bioinformatics resource center. Nucleic Acids Res. 35(Database-Issue): 427-430 (2007) - 2006
- [j4]Haiming Wang, Yanqi Su, Aaron J. Mackey, Eileen T. Kraemer, Jessica C. Kissinger:
SynView: a GBrowse-compatible approach to visualizing comparative genome data. Bioinform. 22(18): 2308-2309 (2006) - [j3]Chun Liang, Feng Sun, Haiming Wang, Junfeng Qu, Robert M. Freeman Jr., Lee H. Pratt, Marie-Michèle Cordonnier-Pratt:
MAGIC-SPP: a database-driven DNA sequence processing package with associated management tools. BMC Bioinform. 7: 115 (2006) - [j2]Mark Heiges, Haiming Wang, Edward Robinson, Cristina Aurrecoechea, Xin Gao, Nivedita Kaluskar, Philippa M. Rhodes, Sammy Wang, Congzhou He, Yanqi Su, John A. Miller, Eileen T. Kraemer, Jessica C. Kissinger:
CryptoDB: a Cryptosporidium bioinformatics resource update. Nucleic Acids Res. 34(Database-Issue): 419-422 (2006) - [c2]Xiaoyi Wang, Teng Yong, Haiming Wang:
The performance deterioration from nonlinear amplifier in NxDO system. IWCMC 2006: 1219-1224 - [c1]Haiming Wang, Wujie Hu:
Performance Analysis for Papr Reduction by Stochastic HNN with Soft Decision Feedback. PIMRC 2006: 1-5 - 2003
- [j1]Jianye Zhao, Haiming Wang, Daoheng Yu:
A new approach for edge detection of noisy image based on CNN. Int. J. Circuit Theory Appl. 31(2): 119-131 (2003)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-12-15 02:19 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
