default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDLu Yang
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
- Lu Yang 0001
![[0000-0003-1052-3959]](https://dblp.uni-trier.de./img/orcid-mark.12x12.png "0000-0003-1052-3959")
— University of New South Wales, School of Electrical Engineering & Telecommunications, Sydney, Australia (and 2 more) - Lu Yang 0002 — University of Electronic Science and Technology of China, Center for Robotics, School of Automation Engineering, Chengdu, China
- Lu Yang 0003 — Huawei Technologies Co. Ltd., Hong Kong (and 1 more)
- Lu Yang 0004 — The Hong Kong Polytechnic University, Department of Management and Marketing, Hong Kong
- Lu Yang 0005 — Shandong University of Finance and Economics, School of Computer Science and Technology, Jinan, China (and 1 more)
- Lu Yang 0006 — Beijing University of Posts and Telecommunications, Automation School, China
- Lu Yang 0007 — Tianjin University of Technology, School of Mechanical Engineering, Tianjin Key Laboratory for Advanced Mechatronic System Design and Intelligent Control, Tianjin, China
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[j161]Bing Li, Rongqian Zhou, Lu Yang, Qiwen Wang, Huang Cheng:
MilDetr: Detection Transformer for Military Camouflaged Target Detection. IEEE Access 12: 26163-26174 (2024)- [j160]Lu Yang, Chengke Zhang, Tao Wang, Xin Chen:
Research on Enterprise Investment Decision Based on Linear Quadratic Jump Uncertainty Stochastic Differential Game. IEEE Access 12: 27947-27956 (2024) - [j159]Lu Yang, Yuelin Gao, Ying Sun, Jia Li:
Two-Phase Hybrid Search Algorithm for Time-Dependent Cold Chain Logistics Route Considering Carbon Emission and Traffic Congestion. IEEE Access 12: 95128-95151 (2024) - [j158]Xinwang Zheng, Guangsong Yang, Lu Yang, Chengyu Lu:
Constructing 3D Object Detectors Based on Deformable Convolutional Guided Depths. IEEE Access 12: 162990-163000 (2024) - [j157]Jinshuo Liu, Lu Yang:
Knowledge-Enhanced Prompt Learning for Few-Shot Text Classification. Big Data Cogn. Comput. 8(4): 43 (2024) - [j156]Shi Zhang, Rui Zhang, Kai Yuan, Lu Yang, Chang Liu, Yuting Liu, Xumin Ni, Shuhua Xu:
Reconstructing complex admixture history using a hierarchical model. Briefings Bioinform. 25(2) (2024) - [j155]Lu Yang, Pei Wang, Jun Chen:
2dGBH: Two-dimensional group Benjamini-Hochberg procedure for false discovery rate control in two-way multiple testing of genomic data. Bioinform. 40(2) (2024) - [j154]Ke Bai, Lu Yang, Jian Xue, Lin Zhao, Fanchang Hao:
Pathogenicity classification of missense mutations based on deep generative model. Comput. Biol. Medicine 170: 107980 (2024) - [j153]Lu Yang, Yongkun Li:
Almost periodic traveling waves for a nonlocal dispersal system. Commun. Nonlinear Sci. Numer. Simul. 130: 107809 (2024) - [j152]Wang Tao, Cheng-Ke Zhang, Lu Yang:
Partially-Observed Bilinear Nonzero-Sum Stochastic Differential Game with Affine-Quadratic Discounted Payoff and Application to Competitive Advertising. Dyn. Games Appl. 14(2): 453-479 (2024) - [j151]Lu Yang, Bentao Su, Naiming Xie, Bao-lei Wei:
An IDE-based nonlinear grey Bernoulli model and applications to daily traffic flow pattern identification. Expert Syst. Appl. 246: 123172 (2024) - [j150]Lu Yang, Yang Liu:
Solution method and parameter estimation of uncertain partial differential equation with application to China's population. Fuzzy Optim. Decis. Mak. 23(1): 155-177 (2024) - [j149]Hao Li, Jianjian Chen, Jianli Zhao, Lutong Yao, Rumeng Zhang, Lu Yang, Xiaoping Lu:
CTITF: A tensor factorization model with constrained bidirectional user trust and implicit feedback for context-aware recommender systems. Inf. Sci. 676: 120838 (2024) - [j148]Lu Yang, Rui Li, Yu Zhou:
Research trends of game-based language learning in K-12 education: A systematic review of SSCI articles during 2009-2022. J. Comput. Assist. Learn. 40(3): 1218-1230 (2024) - [j147]Li Jiang, Lu Yang, Xiaoning Zang, Junfeng Dong, Wenxing Lu:
Cooperated delivery of drones and truck for "last 100 metres" in rural areas. J. Intell. Fuzzy Syst. 46(1): 2595-2614 (2024) - [j146]Chenyue Jiao, Chongke Bi, Lu Yang:
FFEINR: flow feature-enhanced implicit neural representation for spatiotemporal super-resolution. J. Vis. 27(2): 273-289 (2024) - [j145]Jiahe Hu, Shangda Qu, Honghuan Xu, Lin Sun, Chengpeng Jiang, Lu Yang, Yi Du, Wentao Xu:
A bioinspired neuromuscular system enabled by flexible electro-optical N2200 nanowire synaptic transistor. Neuromorph. Comput. Eng. 4(2): 24016 (2024) - [j144]Lu Yang, Zhouwang Yang:
A sequential reduction algorithm for the large-scale fixed-charge network flow problems. Optim. Lett. 18(5): 1131-1149 (2024) - [j143]Bingliang Jiao, Lu Yang, Liying Gao, Peng Wang, Shizhou Zhang, Yanning Zhang:
Vehicle Re-Identification in Aerial Images and Videos: Dataset and Approach. IEEE Trans. Circuits Syst. Video Technol. 34(3): 1586-1603 (2024) - [j142]Lu Yang, Min Xu, Shi An, Xiaowei Hu:
Optimal Dispatcher Number for One-Way Carsharing Services Considering Break Requirement. IEEE Trans. Intell. Transp. Syst. 25(6): 5807-5824 (2024) - [j141]Guofa Li, Guanglei Wang, Zizheng Guo, Qing Liu, Xiyuan Luo, Bangwei Yuan, Mingrui Li, Lu Yang:
Domain Adaptive Driver Distraction Detection Based on Partial Feature Alignment and Confusion-Minimized Classification. IEEE Trans. Intell. Transp. Syst. 25(9): 11227-11240 (2024) - [j140]Lu Yang, Songtao Guo, Defang Liu, Yue Zeng, Xianlong Jiao, Yuhao Zhou:
ConViTML: A Convolutional Vision Transformer-Based Meta-Learning Framework for Real-Time Edge Network Traffic Classification. IEEE Trans. Netw. Serv. Manag. 21(3): 3344-3357 (2024) - [c126]Jiajia Li, Lu Yang, Mingni Tang, Chenchong Chenchong, Zuchao Li, Ping Wang, Hai Zhao:
The Music Maestro or The Musically Challenged, A Massive Music Evaluation Benchmark for Large Language Models. ACL (Findings) 2024: 3246-3257 - [c125]Lu Yang, Chris Lynch, Caroline de Moel-Mandel:
WeChat Use in Managing Risk Factors for Cardiovascular Disease: a Sub-study of a Systematic Review on Social Media and the Effects on Health Outcomes. ACSW 2024: 120-123 - [c124]Jiajia Li, Lu Yang, Letian Peng, Shitou Zhang, Ping Wang, Zuchao Li, Hai Zhao:
Semantics-Preserved Distortion for Personal Privacy Protection in Information Management. ICANN (5) 2024: 386-401 - [c123]Wei Long, Jinhui Wang, Jing Yin, Moyou Xiong, Lu Yang:
Study on Carbon Dioxide Emission in Highways Operation Stage Based on LCA. ICCBD 2024: 540-546 - [c122]Ziyi Huang, Binbin Yan, Shuo Chen, Dongliang Wang, Lu Yang:
Focal Stack Alignment Enhancement Network For Light Field Salient Object Detection. ICME 2024: 1-6 - [c121]Shuangjie Yuan, Dong Ouyang, Lu Yang, Tieshan Li:
CPF6D: 6DoF Pose Estimation Net based on Context Part Fusion for Robotic Grasping. IJCNN 2024: 1-10 - [c120]Lu Yang, Cong Chen, Rong Guo, Chongke Bi, Yinghua Li, Xiaobin Qiu:
D-Markov: A Sparse Sample-based Model for Interannual Precipitation Prediction during the Rainy Season. VINCI 2024: 8:1-8:8 - [i22]Shan Li, Lu Yang, Pu Cao, Liulei Li, Huadong Ma:
Frequency-based Matcher for Long-tailed Semantic Segmentation. CoRR abs/2406.03917 (2024) - [i21]Jiajia Li, Lu Yang, Mingni Tang, Cong Chen, Zuchao Li, Ping Wang, Hai Zhao:
The Music Maestro or The Musically Challenged, A Massive Music Evaluation Benchmark for Large Language Models. CoRR abs/2406.15885 (2024) - [i20]Linkai Zhu, Lu Yang, Chaofan Li, Shanwen Hu, Lu Liu, Bin Yin:
LegiLM: A Fine-Tuned Legal Language Model for Data Compliance. CoRR abs/2409.13721 (2024) - 2023
- [j139]Lu Yang, Ahmad Sufril Azlan Mohamed, Majid Khan Majahar Ali:
Traffic Conflicts Analysis in Penang Based on Improved Object Detection With Transformer Model. IEEE Access 11: 84061-84073 (2023) - [j138]Xinxiang Hou, Andong Qiu, Lu Yang, Zhouwang Yang:
Shelved-Retrieved Method for Weakly Balanced Constrained Clustering Problems. Algorithms 16(10): 492 (2023) - [j137]Lu Yang, Jun Chen:
Benchmarking differential abundance analysis methods for correlated microbiome sequencing data. Briefings Bioinform. 24(1) (2023) - [j136]Yuejun Li, Haitao Zhu, Qiqi Chen, Lu Yang, Fangqing Chen, Haiyan Ma, Honghao Xu, Kefan Chen, Jinxin Bu, Rui Zhang:
Immediate Effects of Vagal Nerve Stimulation in Drug-Resistant Epilepsy Revealed by Magnetoencephalographic Recordings. Brain Connect. 13(1): 51-59 (2023) - [j135]Xinghua Wang, Linlin Li, Seng Chee Tan, Lu Yang, Jun Lei:
Preparing for AI-enhanced education: Conceptualizing and empirically examining teachers' AI readiness. Comput. Hum. Behav. 146: 107798 (2023) - [j134]Lu Yang, Yan Zhu:
The second-minimum and second-maximum values of exponential Zagreb indices among trees. Discret. Math. Algorithms Appl. 15(1): 2250064:1-2250064:13 (2023) - [j133]Wang Tao, Cheng-Ke Zhang, Lu Yang:
Bilinear differential game for competitive advertising with stochastic disturbance and abrupt impact. Expert Syst. Appl. 229(Part A): 120446 (2023) - [j132]Bao-lei Wei, Lu Yang, Naiming Xie:
Nonlinear grey Bernoulli model with physics-preserving Cusum operator. Expert Syst. Appl. 229(Part A): 120466 (2023) - [j131]Shuangjie Yuan, Zhenpeng Ge, Lu Yang:
Single-Camera Multi-View 6DoF pose estimation for robotic grasping. Frontiers Neurorobotics 17 (2023) - [j130]Baolei Wei, Naiming Xie, Lu Yang:
Parameter estimation for grey system models: gradient matching versus integral matching. Grey Syst. Theory Appl. 13(1): 125-140 (2023) - [j129]Rong Fei, Yufan Guo, Junhuai Li, Bo Hu, Lu Yang:
An Improved BPNN Method Based on Probability Density for Indoor Location. IEICE Trans. Inf. Syst. 106(5): 773-785 (2023) - [j128]Lu Yang:
Uncertain age-dependent population equation with migration source. J. Ambient Intell. Humaniz. Comput. 14(6): 7411-7425 (2023) - [j127]Lu Yang, Sheng Wang, Russ B. Altman:
POPDx: an automated framework for patient phenotyping across 392 246 individuals in the UK Biobank study. J. Am. Medical Informatics Assoc. 30(2): 245-255 (2023) - [j126]Jiayi Sun, Lu Yang, Tianlin Shao, Fengmin Yao:
Modelling low-carbon closed-loop supply chain considering channel power structures and cross-shareholding. RAIRO Oper. Res. 57(2): 609-629 (2023) - [j125]Xiaofei Li, Langxing Xu, Hainan Guo, Lu Yang:
Application of Graph Convolutional Neural Networks Combined with Single-Model Decision-Making Fusion Neural Networks in Structural Damage Recognition. Sensors 23(23): 9327 (2023) - [j124]Weiwei Yu, Tao Wang, Lu Yang, Qinglong An, Weiwei Ming, Ming Chen:
Finite element and experimental analysis of grain refinement caused by dynamic recrystallization during high-speed cutting of nickel-based superalloys. Simul. Model. Pract. Theory 128: 102807 (2023) - [j123]Zhiying He, Chun-Jun Chen, Lu Yang, Dongwei Wang:
Internal pressure control for high-speed trains based on condition matching and performance iteration. Trans. Inst. Meas. Control 45(6): 1089-1098 (2023) - [j122]Xin Wang, Yuhao Zhou, Lu Yang:
Event-Triggered Cooperative Adaptive Neural Control for Cyber-Physical Systems With Unknown State Time Delays and Deception Attacks. IEEE Trans. Syst. Man Cybern. Syst. 53(6): 3540-3552 (2023) - [c119]Lu Yang, Peng Wang, Yanning Zhang:
Stop-Gradient Softmax Loss for Deep Metric Learning. AAAI 2023: 3164-3172 - [c118]Lu Yang, Chen-Khong Tham, Songtao Guo:
FedPreM: A Novel Federated Reinforcement Learning Framework for Predictive Maintenance. GLOBECOM 2023: 7556-7561 - [c117]Jinpei Yan, Lu Yang:
Repackaged Android Apps Classification Based on Embedding Encoding and Decomposable Attention Neural Network. ICAICE 2023: 951-956 - [c116]Guoyang Huang, Chaohan Wang, Zhaoguang Si, Lu Yang, Shiwei Wang, Alexander Serb, Themis Prodromakis, Christos Papavassiliou:
An Improved Data-Driven Memristor Model Accounting for Sequences Stimulus Features. ISCAS 2023: 1-5 - [c115]Lu Yang, Seyit Camtepe, Yansong Gao, Vicky Liu, Dhammika Jayalath:
On the Use of Power Amplifier Nonlinearity Quotient to Improve Radio Frequency Fingerprint Identification in Time-Varying Channels. PIMRC 2023: 1-7 - [c114]Xiufeng Shi, Lu Yang, Jie Guo, Yuling Ma:
Cross-Area Finger Vein Recognition via Hierarchical Sparse Representation. PRCV (5) 2023: 86-96 - [c113]Chen-Khong Tham, Lu Yang, Akshit Khanna, Bhavya Gera:
Federated Learning for Anomaly Detection in Vehicular Networks. VTC2023-Spring 2023: 1-6 - [i19]Lu Yang, Xiuwen Sun, Boumediene Hamzi, Houman Owhadi, Naiming Xie:
Learning Dynamical Systems from Data: A Simple Cross-Validation Perspective, Part V: Sparse Kernel Flows for 132 Chaotic Dynamical Systems. CoRR abs/2301.10321 (2023) - [i18]Xinyi Bai, Ze Wang, Lu Yang, Hong Cheng:
Close-up View synthesis by Interpolating Optical Flow. CoRR abs/2307.05913 (2023) - [i17]Shixiong Zhang, Jiao Li, Lu Yang:
Survey on Controlable Image Synthesis with Deep Learning. CoRR abs/2307.10275 (2023) - [i16]Lu Yang, Zhenglun Kong, Ting Li, Xinyi Bai, Zhiye Lin, Hong Cheng:
GPU Accelerated Color Correction and Frame Warping for Real-time Video Stitching. CoRR abs/2308.09209 (2023) - [i15]Chenyue Jiao, Chongke Bi, Lu Yang:
FFEINR: Flow Feature-Enhanced Implicit Neural Representation for Spatio-temporal Super-Resolution. CoRR abs/2308.12508 (2023) - [i14]Wen Tong, Chenghui Peng, Tingting Yang, Fei Wang, Juan Deng, Rongpeng Li, Lu Yang, Honggang Zhang, Dong Wang, Ming Ai, Li Yang, Guangyi Liu, Yang Yang, Yao Xiao, Liexiang Yue, Wanfei Sun, Zexu Li, Wenwen Sun:
Ten issues of NetGPT. CoRR abs/2311.13106 (2023) - 2022
- [j121]Lu Yang, Chishe Wang, Zhibin Li:
Tunnel Traffic Evolution during Capacity Drop Based on High-Resolution Vehicle Trajectory Data. Algorithms 15(7): 240 (2022) - [j120]Lu Yang, Long Gao, Dooman Arefan, Yuchuan Tan, Hanli Dan, Jiuquan Zhang:
A CT-based radiomics model for predicting renal capsule invasion in renal cell carcinoma. BMC Medical Imaging 22(1): 15 (2022) - [j119]Peizhen Peng, Liping Xie, Kanjian Zhang, Jinxia Zhang, Lu Yang, Haikun Wei:
Domain adaptation for epileptic EEG classification using adversarial learning and Riemannian manifold. Biomed. Signal Process. Control. 75: 103555 (2022) - [j118]Xiaonan Zheng, Hang Xu, Tianhai Lin, Ping Tan, Qiao Xiong, Xianyanling Yi, Shi Qiu, Lu Yang, Bairong Shen, Jianzhong Ai, Qiang Wei:
CD93 orchestrates the tumor microenvironment and predicts the molecular subtype and therapy response of bladder cancer. Comput. Biol. Medicine 147: 105727 (2022) - [j117]Lu Yang, Naiming Xie, Bao-lei Wei, Xiaolei Wang:
On unified framework for nonlinear grey system models: An integro-differential equation perspective. Commun. Nonlinear Sci. Numer. Simul. 108: 106250 (2022) - [j116]Lu Yang, Yansong Gao, Junqing Zhang, Seyit Camtepe, Dhammika Jayalath:
A channel perceiving attack and the countermeasure on long-range IoT physical layer key generation. Comput. Commun. 191: 108-118 (2022) - [j115]Lu Yang, Tingqing Ye, Haizhong Yang:
Uncertain seepage equation in fissured porous media. Fuzzy Optim. Decis. Mak. 21(3): 383-403 (2022) - [j114]Yingbo Shen, Rong Zhang, Dongyan Shao, Lu Yang, Jiayue Lu, Congcong Liu, Xueyang Wang, Junyao Jiang, Boxuan Wang, Congming Wu, Julian Parkhill, Yang Wang, Timothy R. Walsh, George F. Gao, Zhangqi Shen:
Genomic Shift in Population Dynamics of mcr-1-positive Escherichia coli in Human Carriage. Genom. Proteom. Bioinform. 20(6): 1168-1179 (2022) - [j113]Ling Ding, Juan Feng, Xiuwu Liao, Lu Yang:
The Emergence of a Sharing Market: Pricing, Supply, and Consumption. Int. J. Electron. Commer. 26(2): 149-173 (2022) - [j112]Lu Yang:
HTK-based speech recognition and corpus-based English vocabulary online guiding system. Int. J. Speech Technol. 25(4): 921-931 (2022) - [j111]Yunhui Huang, Zhijie Lin, Lu Yang:
Complements are warm and substitutes are competent: the effect of recommendation type on focal product evaluation. Internet Res. 32(4): 1168-1190 (2022) - [j110]Lu Yang:
Power automation communication technology based on improved genetic algorithm. J. Comput. Methods Sci. Eng. 22(3): 725-735 (2022) - [j109]Shan Rongrong, Ma Zhenyu, Ye Hong, Lin Zhenxing, Qiu Gongming, Ge Chengyu, Lu Yang, Yu Kun:
Fault Diagnosis Method of Distribution Equipment Based on Hybrid Model of Robot and Deep Learning. J. Robotics 2022: 9742815:1-9742815:11 (2022) - [j108]Lydia Dehbi, Zhenbing Zeng, Lu Yang:
The number of tetrahedra sharing the same metric invariants via symbolic and numerical computations. J. Symb. Comput. 108: 41-54 (2022) - [j107]Xiaolin Qin, Lige Zhang, Lu Yang, Sheng Cao:
Heuristics to sift extraneous factors in Dixon resultants. J. Symb. Comput. 112: 105-121 (2022) - [j106]Lu Yang:
Analysis of Death Toll from COVID-19 in China with Uncertain Time Series and Uncertain Regression Analysis. J. Uncertain Syst. 15(4): 2243007:1-2243007:15 (2022) - [j105]Lu Yang, Yunlong Wang, Lingqiao Liu, Peng Wang, Yanning Zhang:
Center Prediction Loss for Re-identification. Pattern Recognit. 132: 108949 (2022) - [j104]Lu She, Hankui K. Zhang, Ziqiang Bu, Yun Shi, Lu Yang, Jintao Zhao:
A Deep-Neural-Network-Based Aerosol Optical Depth (AOD) Retrieval from Landsat-8 Top of Atmosphere Data. Remote. Sens. 14(6): 1411 (2022) - [j103]Yiwen Kuang, Mengxue Li, Shiyu Hu, Lu Yang, Zhanning Liang, Jiaqi Wang, Hongmei Jiang, Xiaoyun Zhou, Zhaohong Su:
One-Step Co-Electrodeposition of Copper Nanoparticles-Chitosan Film-Carbon Nanoparticles-Multiwalled Carbon Nanotubes Composite for Electroanalysis of Indole-3-Acetic Acid and Salicylic Acid. Sensors 22(12): 4476 (2022) - [j102]Yaobin Ou, Lu Yang:
Incompressible Limit of Isentropic Navier-Stokes Equations with Ill-Prepared Data in Bounded Domains. SIAM J. Math. Anal. 54(3): 2948-2989 (2022) - [j101]Chengyu Wu, Lu Yang, Chengke Zhang:
Uncertain Stochastic Optimal Control with Jump and Its Application in a Portfolio Game. Symmetry 14(9): 1885 (2022) - [j100]Jiujun Cheng, Guowang Xu, Guiyuan Yuan, Lu Yang, Zhenhua Huang, Chenxi Huang, Victor Hugo C. de Albuquerque:
A Side Chain Consensus-Based Decentralized Autonomous Vehicle Group Formation and Maintenance Method in a Highway Scene. IEEE Trans. Ind. Informatics 18(12): 9250-9258 (2022) - [j99]Chunjun Chen, Zhiying He, Lu Yang, Dongwei Wang:
Iterative learning control for tracking varying-amplitude and morphologically similar targets. Trans. Inst. Meas. Control 44(5): 1125-1133 (2022) - [c112]Lu Yang, Shasha Liu, Xiaoran Li, Wenwen Xu:
Quadratic Model of Air Quality Prediction. CSAE 2022: 1:1-1:8 - [c111]Lu Yang, Fazhi He, Li Dai, Lin Zhang:
An Automatical And Efficient Image Classification Based On Improved Genetic Programming. CSCWD 2022: 477-483 - [c110]Bingliang Jiao, Lingqiao Liu, Liying Gao, Guosheng Lin, Lu Yang, Shizhou Zhang, Peng Wang, Yanning Zhang:
Dynamically Transformed Instance Normalization Network for Generalizable Person Re-Identification. ECCV (14) 2022: 285-301 - [c109]Yunan Xie, Han Li, Lu Yang, Qingyu Gong:
Research on Satisfaction Evaluation of Digital Reading Service in University Libraries Based on ACSI Model. ICIIP 2022: 51:1-51:9 - [c108]Lu Yang:
Research on Precision Marketing Strategy of Ski Tourism Market Based on Clustering Algorithm. IPEC 2022: 253-258 - [c107]Zhiqiang Tian, Peng Gao, Lu Yang, Junjian Liu, Xi Zhang, Junyao Zhan, Yuandu Lai, Jiawang Zhou:
Augmented Reality in Telecom Industry: Concepts, Technologies and Applications. ISMAR Adjunct 2022: 9-12 - [c106]Lu Yang, Ke Liu, Heye Huang, Qiaobin Liu, Ming Gao, Jianqiang Wang:
Driver-automation collaborative steering control for intelligent vehicles under unexpected emergency conditions. IV 2022: 1623-1630 - [c105]Lu Yang, Hongbang Liu, Lingqiao Liu, Jinghao Zhou, Lei Zhang, Peng Wang, Yanning Zhang:
Pluggable Weakly-Supervised Cross-View Learning for Accurate Vehicle Re-Identification. ICMR 2022: 81-89 - [c104]Haojia He, Songtao Guo, Lu Yang, Ying Wang:
MACC: MEC-Assisted Collaborative Caching for Adaptive Bitrate Videos in Dense Cell Networks. MSN 2022: 218-222 - [c103]Ruizhu Chen, Rong Fei, Lili Wu, Lu Yang:
An Improved Actor-Critic Method for Auto-Combating In Infantry Vehicles. TrustCom 2022: 1162-1167 - [c102]Xiaoyan Hu, Jun Yin, Guang Cheng, Jian Gong, Lu Yang, Honggang Chen, Zhichao Liang:
Verifying Privacy-Preserving Financing Orders on a Consortium Blockchain Based on zk-SNARKs. WCNC 2022: 1527-1532 - [c101]Chen Ou, Lu Yang:
On the Relationship Between the Self-efficacy and the English Achievement of English Majors: A Case Study of NingboTech University Students. WI/IAT 2022: 403-407 - [i13]Lu Yang, Lingqiao Liu, Yunlong Wang, Peng Wang, Yanning Zhang:
Multi-Domain Joint Training for Person Re-Identification. CoRR abs/2201.01983 (2022) - [i12]Lu Yang, Sheng Wang, Russ B. Altman:
POPDx: An Automated Framework for Patient Phenotyping across 392, 246 Individuals in the UK Biobank Study. CoRR abs/2208.11223 (2022) - 2021
- [j98]Shuai Liu, Han Li, Qichen Zheng, Lu Yang, Meiyu Duan, Xin Feng, Fei Li, Lan Huang, Fengfeng Zhou:
Survival Time Prediction of Breast Cancer Patients Using Feature Selection Algorithm Crystall. IEEE Access 9: 24433-24445 (2021) - [j97]Rong Li, Yu Li, Xiao Liang, Lu Yang, Min Su, Keng Po Lai:
Network Pharmacology and bioinformatics analyses identify intersection genes of niacin and COVID-19 as potential therapeutic targets. Briefings Bioinform. 22(2): 1279-1290 (2021) - [j96]Lu Yang, Jun Zhang, Xiutian Shi:
Can blockchain help food supply chains with platform operations during the COVID-19 outbreak? Electron. Commer. Res. Appl. 49: 101093 (2021) - [j95]Long Wang, Baoqiang Yan, Guofeng Li, Yinghong Ma, Lu Yang:
Synchronization in collaboration network. Expert Syst. Appl. 170: 114550 (2021) - [j94]Lu Yang, Songtao Guo, Lin Yi, Quyuan Wang, Yuanyuan Yang:
NOSCM: A Novel Offloading Strategy for NOMA-Enabled Hierarchical Small Cell Mobile-Edge Computing. IEEE Internet Things J. 8(10): 8107-8118 (2021) - [j93]Lu Yang:
Assessment of Regression Models With Discrete Outcomes Using Quasi-Empirical Residual Distribution Functions. J. Comput. Graph. Stat. 30(4): 1019-1035 (2021) - [j92]Jun Zhang, Lu Yang:
MonodepthPlus: self-supervised monocular depth estimation using soft-attention and learnable outlier-masking. J. Electronic Imaging 30(2): 023017 (2021) - [j91]Lu Yang, Hongquan Jiang:
Weld defect classification in radiographic images using unified deep neural network with multi-level features. J. Intell. Manuf. 32(2): 459-469 (2021) - [j90]Jinglun Yang, Youhua Li, Lu Yang:
Shape transformer nets: Generating viewpoint-invariant 3D shapes from a single image. J. Vis. Commun. Image Represent. 81: 103345 (2021) - [j89]Lu Yang, Ye-Zheng Liu, Yuanchun Jiang, Le Wu, Jianshan Sun:
Predicting personalized grouping and consumption: A collaborative evolution model. Knowl. Based Syst. 228: 107248 (2021) - [j88]Xixi Shen, Kung-Cheng Ho, Lu Yang, Leonard Fong-Sheng Wang:
Corporate social responsibility, market reaction and accounting conservatism. Kybernetes 50(6): 1837-1872 (2021) - [j87]Lu Yang, Xingshu Chen, Yonggang Luo, Xiao Lan, Li Chen:
PurExt: Automated Extraction of the Purpose-Aware Rule from the Natural Language Privacy Policy in IoT. Secur. Commun. Networks 2021: 5552501:1-5552501:11 (2021) - [j86]Shunmin Yang, Wenai Song, Yifang Chen, Lu Yang, Mingquan Wang, Yongjian Lian, Kangchi Liu:
An Ultrasonic Laminated Transducer for Viscoelastic Media Detection. Sensors 21(21): 7188 (2021) - [j85]Lu Yang, Naiming Xie:
Integral matching-based nonlinear grey Bernoulli model for forecasting the coal consumption in China. Soft Comput. 25(7): 5209-5223 (2021) - [c100]Liwei Yang, Lu Yang, Jianming Wang, Tiancheng Huang, Xin Tian, Langnima Suo, Qi Zhang:
Resource Allocation for Hybrid Visible Light Communications (VLC)-WiFi Networks. ICCBN 2021: 310-313 - [c99]Yunlong Wang, Lu Yang, Yukun Li, Lei Fu:
Multi-Scale Dynamic Convolution for Classification. ICISCAE (IEEE) 2021: 142-146 - [c98]Lu Yang, You Guo Jing:
Optimal Ordering Strategy for Car Rental Enterprises with Shared Renting Capacity. ICMSS 2021: 80-84 - [c97]Jiujun Cheng, Lu Yang, Guangtao Zhou, Hongjiang Zheng, Shuai Feng, Jie Cui, Zhenhua Huang:
Accessibility for VANET in an Urban Scene. ICNSC 2021: 1-6 - [c96]Lu Yang, Jinhuan Xu, Liang Xiao:
Hyperspectral Image Denoising with Collaborative Total Variation and Low Rank Regularization. IGARSS 2021: 4139-4142 - [c95]Lu Yang:
Online and Offline Interactive Ideological and Political Education Platform in the Information Age. IPEC 2021: 921-924 - [c94]Xiaoyan Hu, Xiaoyi Song, Guang Cheng, Jian Gong, Lu Yang, Honggang Chen, Zhichao Liang:
Towards Efficient Co-audit of Privacy-Preserving Data on Consortium Blockchain via Group Key Agreement. MSN 2021: 494-501 - [c93]Hekai Cheng, Lu Yang, Zulong Liu:
Relation-Based Knowledge Distillation for Anomaly Detection. PRCV (1) 2021: 105-116 - [i11]Lu Yang, Hongbang Liu, Jinghao Zhou, Lingqiao Liu, Lei Zhang, Peng Wang, Yanning Zhang:
Pluggable Weakly-Supervised Cross-View Learning for Accurate Vehicle Re-Identification. CoRR abs/2103.05376 (2021) - [i10]Bingliang Jiao, Xin Tan, Jinghao Zhou, Lu Yang, Yunlong Wang, Peng Wang:
Instance and Pair-Aware Dynamic Networks for Re-Identification. CoRR abs/2103.05395 (2021) - [i9]Lu Yang, Yunlong Wang, Lingqiao Liu, Peng Wang, Lu Chi, Zehuan Yuan, Changhu Wang, Yanning Zhang:
Center Prediction Loss for Re-identification. CoRR abs/2104.14746 (2021) - 2020
- [j84]Jintao Wang, Lu Yang, Jinqiao Duan:
Recurrent Solutions of a Nonautonomous Modified Swift-Hohenberg Equation. Appl. Math. Comput. 379: 125270 (2020) - [j83]Lu Yang, Ming Yue, Yuanchang Liu, Lie Guo:
RBFNN based terminal sliding mode adaptive control for electric ground vehicles after tire blowout on expressway. Appl. Soft Comput. 92: 106304 (2020) - [j82]Bao-lei Wei, Naiming Xie, Lu Yang:
Understanding cumulative sum operator in grey prediction model with integral matching. Commun. Nonlinear Sci. Numer. Simul. 82: 105076 (2020) - [j81]Lu Yang, Lizhen Wang:
Mining traffic congestion propagation patterns based on spatio-temporal co-location patterns. Evol. Intell. 13(2): 221-233 (2020) - [j80]Yigao Ning, Ming Yue, Lu Yang, Xiaoqiang Hou:
A trajectory planning and tracking control approach for obstacle avoidance of wheeled inverted pendulum vehicles. Int. J. Control 93(7): 1735-1744 (2020) - [j79]Dan Pan, Lu Yang, Manrong She, Xuansheng Ding, Zhizhong Li:
Effects of Cognitive Style and Information Acquisition Method on Diagnosis Task Performance. Int. J. Hum. Comput. Interact. 36(13): 1231-1241 (2020) - [j78]Lu Yang, Peng Wang, Hui Li, Zhen Li, Yanning Zhang:
A holistic representation guided attention network for scene text recognition. Neurocomputing 414: 67-75 (2020) - [j77]Long Wang, Guofeng Li, Yinghong Ma, Lu Yang:
Structure properties of collaboration network with tunable clustering. Inf. Sci. 506: 37-50 (2020) - [j76]Feng Zhu, Xiaofeng Hu, Xiaoyuan He, Bo Dai, Kaiming Li, Lu Yang:
Detection Effectiveness Estimation Based on Multi-Angle Data and Visualization Analysis. J. Adv. Comput. Intell. Intell. Informatics 24(4): 441-452 (2020) - [j75]Lu Yang, Jie Li, Wenhuan Lu, Yi Chen, Kang Zhang, Yan Li:
The influence of font scale on semantic expression of word cloud. J. Vis. 23(6): 981-998 (2020) - [j74]Zhuangzhi Sun, Lu Yang, Sicheng Liu, Jintao Zhao, Zhiwei Hu, Wenlong Song:
A Green Triboelectric Nano-Generator Composite of Degradable Cellulose, Piezoelectric Polymers of PVDF/PA6, and Nanoparticles of BaTiO3. Sensors 20(2): 506 (2020) - [j73]Wenshu Zheng, Cen Gao, Liheng Shen, Chang Qu, Xuan Zhang, Lu Yang, Qiang Feng, Rongbing Tang:
Alginate Hydrogel-Embedded Capillary Sensor for Quantitative Immunoassay with Naked Eye. Sensors 20(17): 4831 (2020) - [j72]Lu Yang, Wei Gao:
Global well-posedness for the nonlinear damped wave equation with logarithmic type nonlinearity. Soft Comput. 24(4): 2873-2885 (2020) - [j71]Wei Gao, Haizhong Yang, Lu Yang:
Change points detection and parameter estimation for multivariate time series. Soft Comput. 24(9): 6395-6407 (2020) - [j70]Lu Yang, Shunlin Liang, Yuzhen Zhang:
A New Method for Generating a Global Forest Aboveground Biomass Map From Multiple High-Level Satellite Products and Ancillary Information. IEEE J. Sel. Top. Appl. Earth Obs. Remote. Sens. 13: 2587-2597 (2020) - [j69]Lu Yang, Ming Yue, Haoyu Tian, Baozhen Yao:
Tire blow-out control for direct drive electric vehicles using reconfiguration of torque distribution and vertical load. Trans. Inst. Meas. Control 42(8): 1547-1558 (2020) - [j68]Guangming Zhu, Liang Zhang, Lu Yang, Lin Mei, Syed Afaq Ali Shah, Mohammed Bennamoun, Peiyi Shen:
Redundancy and Attention in Convolutional LSTM for Gesture Recognition. IEEE Trans. Neural Networks Learn. Syst. 31(4): 1323-1335 (2020) - [c92]Jinglun Yang, Guanglun Zhang, Youhua Li, Lu Yang:
VST3D-Net: Video-Based Spatio-Temporal Network for 3D Shape Reconstruction from a Video. IC3D 2020: 1-7 - [c91]Liang Zhang, Yufei Liu, Hang Xiao, Lu Yang, Guangming Zhu, Syed Afaq Ali Shah, Mohammed Bennamoun, Peiyi Shen:
Efficient Scene Text Detection with Textual Attention Tower. ICASSP 2020: 4272-4276 - [c90]Yalu Zhao, Shuying Hao, Lu Yang, Guofeng Xia, Wenhua Hu:
Individual Dynamic Graduation Requirements Achievements of Students. ICDEL 2020: 1-5 - [c89]Guangming Zhu, Lu Yang, Liang Zhang, Peiyi Shen, Juan Song:
Recurrent Graph Convolutional Networks for Skeleton-based Action Recognition. ICPR 2020: 1352-1359 - [c88]Zhenbing Zeng, Xiang Sun, Yong Huang, Yaochen Xu, Xiaoru Chen, Lu Yang:
A Maple Exploration of Problem 6 of the IMO 88. MC 2020: 429-437 - [c87]Lu Yang:
Instructional or Personal? A Study on Utterance Annotation in Online Collaborative Learning. PACIS 2020: 23 - [c86]Guanglun Zhang, Lu Yang:
Single-View 3D Shape Reconstruction with Learned Gradient Descent. PRCV (3) 2020: 173-184 - [i8]Liang Zhang, Yufei Liu, Hang Xiao, Lu Yang, Guangming Zhu, Syed Afaq Ali Shah, Mohammed Bennamoun, Peiyi Shen:
Efficient Scene Text Detection with Textual Attention Tower. CoRR abs/2002.03741 (2020)
2010 – 2019
- 2019
- [j67]Xiaoping Xiong, Wenliang Wu, Ning Li, Lu Yang, Jie Zhang, Zhi Wei:
Risk-Based Multi-Objective Optimization of Distributed Generation Based on GPSO-BFA Algorithm. IEEE Access 7: 30563-30572 (2019) - [j66]Lu Yang, Yujie Li, Shiyan Wang, Haoyue Xiao:
Interference-Avoid Channel Assignment for Multi-Radio Multi-Channel Wireless Mesh Networks With Hybrid Traffic. IEEE Access 7: 67167-67177 (2019) - [j65]Yongsheng Zhu, Hongyang Gao, Junming Xiao, Boyang Qu, Fanbing Zhu, Lu Yang:
Dynamic Multi-Objective Dispatch Considering Wind Power and Electric Vehicles With Probabilistic Characteristics. IEEE Access 7: 185634-185653 (2019) - [j64]Jerry Chun-Wei Lin, Lu Yang, Philippe Fournier-Viger, Tzung-Pei Hong:
Mining of skyline patterns by considering both frequent and utility constraints. Eng. Appl. Artif. Intell. 77: 229-238 (2019) - [j63]Qinglin Cheng, JinWei Yang, Anbo Zheng, Lu Yang, Yifan Gan, Yang Liu:
Unavoidable Destroyed Exergy in Crude Oil Pipelines due to Wax Precipitation. Entropy 21(1): 58 (2019) - [j62]Lu Yang, Naiming Xie:
Evaluation of provincial integration degree of "internet + industry" based on matrix grey relational analysis. Grey Syst. Theory Appl. 9(1): 31-44 (2019) - [j61]Lu Yang, Yunhui Huang, Yi-Chun (Chad) Ho, Zhijie Lin:
Is online multiple-stores cooperative promotion better than single-store promotion? Misprediction from evaluation mode. Inf. Manag. 56(7) (2019) - [j60]Lai Xin, Liu Pengli, Lu Yang, Chunpu Wang:
Back-Stepping Fuzzy Adaptive Sliding Mode Trajectory Tracking Control for Wall-Climbing Robot. J. Comput. 14(12): 662-679 (2019) - [j59]Yaya Ju, Lu Yang, Jianfeng Yan:
基于动态权重的LDA算法 (LDA Algorithm Based on Dynamic Weight). 计算机科学 46(8): 260-265 (2019) - [j58]Meng Wang, Lu Yang, Jianfeng Yan, Jianwei Zhang, Jie Zhou, Peng Xia:
Topic model with incremental vocabulary based on Belief Propagation. Knowl. Based Syst. 182 (2019) - [j57]Chen Ding, Ying Li, Lei Zhang, Jinyang Zhang, Lu Yang, Wei Wei, Yong Xia, Yanning Zhang:
Fast-Convergent Fully Connected Deep Learning Model Using Constrained Nodes Input. Neural Process. Lett. 49(3): 995-1005 (2019) - [j56]Yuzhen Zhang, Shunlin Liang, Lu Yang:
A Review of Regional and Global Gridded Forest Biomass Datasets. Remote. Sens. 11(23): 2744 (2019) - [j55]Huiru Chen, Yingchen Yan, Nana Ma, Lu Yang:
Coopetition Strategy and Pricing Timing in an Outsourcing Supply Chain With Uncertain Operation Risks. IEEE Trans. Fuzzy Syst. 27(5): 979-993 (2019) - [c85]Xuzhao Chai, Junming Xiao, Zhishuai Zheng, Liang Zhang, Boyang Qu, Li Yan, Sumarga Kumar Sah Tyagi, Lu Yang, Chao Feng, Hang Sun:
UAV 3D Path Planning Based on Multi-Population Ensemble Differential Evolution. BIC-TA (1) 2019: 598-610 - [c84]Hongzhi Zhang, Ming Yue, Lu Yang:
Driver-automation cooperative steering control system in avoiding obstacle for road vehicles. ICARM 2019: 930-935 - [c83]Peng Wang, Bingliang Jiao, Lu Yang, Yifei Yang, Shizhou Zhang, Wei Wei, Yanning Zhang:
Vehicle Re-Identification in Aerial Imagery: Dataset and Approach. ICCV 2019: 460-469 - [c82]Jiwen Yu, Haibo Su, Junnan Liu, Zhizheng Yang, Zhouyangzi Zhang, Yixin Zhu, Lu Yang, Bingliang Jiao:
A Strong Baseline for Tiger Re-ID and its Bag of Tricks. ICCV Workshops 2019: 302-309 - [c81]Benedict The, Lu Yang, Qiyun Wang:
What's on Your Mind? Promoting Cognitive Engagement Using Utterance Annotations in Online Collaborative Learning. ICIS 2019 - [c80]Weiwei Weng, Jiagao Wu, Lu Yang, Linfeng Liu, Bin Hu:
Label-Based Deep Semantic Hashing for Cross-Modal Retrieval. ICONIP (3) 2019: 24-36 - [c79]Lu Yang, Jian Wang, Guigang Zhang, Xingwang Li, Haiyan Fu:
An Adaptive Fault Diagnosis System Framework for Aircraft Based on Man-in-loop. ICPHM 2019: 1-4 - [c78]Zhenbing Zeng, Lu Yang, Lydia Dehbi:
On the Number of Congruent Classes of the Tetrahedra Determined by Given Volume, Circumradius and Face Areas. ISSAC 2019: 363-370 - [c77]Lu Yang, Jie Li, Wenhuan Lu, Yi Chen, Kang Zhang, Yan Li:
How to Improve Semantics Understanding of Word Clouds. VINCI 2019: 13:1-13:5 - [i7]Peng Wang, Lu Yang, Hui Li, Yuyan Deng, Chunhua Shen, Yanning Zhang:
A Simple and Robust Convolutional-Attention Network for Irregular Text Recognition. CoRR abs/1904.01375 (2019) - [i6]Peng Wang, Bingliang Jiao, Lu Yang, Yifei Yang, Shizhou Zhang, Wei Wei, Yanning Zhang:
Vehicle Re-identification in Aerial Imagery: Dataset and Approach. CoRR abs/1904.01400 (2019) - 2018
- [j54]Xiaolin Qin, Lu Yang, Yong Feng, Bernhard Bachmann, Peter Fritzson:
Index reduction of differential algebraic equations by differential Dixon resultant. Appl. Math. Comput. 328: 189-202 (2018) - [j53]Yaya Ju, Jianfeng Yan, Zhi-Qiang Liu, Lu Yang:
Weighting schemes based on EM algorithm for LDA. Int. J. High Perform. Syst. Archit. 8(1/2): 94-104 (2018) - [j52]Lu Yang, Zhi-Qiang Liu, Jianfeng Yan:
Type-2 fuzzy logic-based multi-threaded time sequence analysis. Int. J. High Perform. Syst. Archit. 8(1/2): 114-125 (2018) - [j51]Yezheng Liu, Lu Yang, Jianshan Sun, Yuanchun Jiang, Jinkun Wang:
Collaborative matrix factorization mechanism for group recommendation in big data-based library systems. Libr. Hi Tech 36(3): 458-481 (2018) - [j50]Lu Yang, Xiaotong Zhang, Shunlin Liang, Yunjun Yao, Kun Jia, Aolin Jia:
Estimating Surface Downward Shortwave Radiation over China Based on the Gradient Boosting Decision Tree Method. Remote. Sens. 10(2): 185 (2018) - [j49]Ming Yue, Lu Yang, Xi-Ming Sun, Weiguo Xia:
Stability Control for FWID-EVs With Supervision Mechanism in Critical Cornering Situations. IEEE Trans. Veh. Technol. 67(11): 10387-10397 (2018) - [c76]Jie Zhuang, Lu Yang, Guo-Yong Ning, Ishak Ali Hussein, Wei Wang:
Adaptive 2-D DOA Estimation using Subspace Fitting. DSP 2018: 1-5 - [c75]Lu Yang, Tao Hong, Anilkumar Kothalil Gopalakrishnan:
A Framework for Recommender System Based on Game Theory in Social Networks. KST 2018: 95-100 - 2017
- [j48]Guo-lin Shao, Xingshu Chen, Lu Yang:
Research and implementation of a high performance parallel computing digital down converter on graphics processing unit. Concurr. Comput. Pract. Exp. 29(8) (2017) - [j47]Jeng-Shyang Pan, Jerry Chun-Wei Lin, Lu Yang, Philippe Fournier-Viger, Tzung-Pei Hong:
Efficiently mining of skyline frequent-utility patterns. Intell. Data Anal. 21(6): 1407-1423 (2017) - [j46]Jianfeng Yan, Jia Zeng, Zhi-Qiang Liu, Lu Yang, Yang Gao:
Towards big topic modeling. Inf. Sci. 390: 15-31 (2017) - [j45]Haijian Liang, Fengbao Yang, Lu Yang, Zhengguang Liu, Gao Wang, Yanlong Wei, Hongxin Xue:
Research and Implementation of a 1800°C Sapphire Ultrasonic Thermometer. J. Sensors 2017: 9710763:1-9710763:7 (2017) - [j44]Lu Yang, Xiaojun Ye:
云服务环境下的密钥管理问题和挑战 (Key Management Issues and Challenges in Cloud). 计算机科学 44(3): 3-9 (2017) - [j43]Guanggen Xu, Lu Yang, Jianfeng Yan:
一种基于马尔可夫模型的稀疏轨迹终点预测算法 (Sparse Trajectory Destination Prediction Algorithm Based on Markov Model). 计算机科学 44(8): 193-197 (2017) - [j42]Lu Yang, Shouwen Yu, Jianfeng Yan:
基于二型模糊逻辑的多线程数据竞争检测方法研究 (Type-2 Fuzzy Logic Based Multi-threaded Data Race Detection). 计算机科学 44(12): 135-143 (2017) - [j41]Jerry Chun-Wei Lin, Lu Yang, Philippe Fournier-Viger, Tzung-Pei Hong, Miroslav Voznák:
A binary PSO approach to mine high-utility itemsets. Soft Comput. 21(17): 5103-5121 (2017) - [j40]Yonghui Hu, Shuai Zhang, Yong Yan, Lijuan Wang, Xiangchen Qian, Lu Yang:
A Smart Electrostatic Sensor for Online Condition Monitoring of Power Transmission Belts. IEEE Trans. Ind. Electron. 64(9): 7313-7322 (2017) - [j39]Yonghui Hu, Yong Yan, Lu Yang, Lijuan Wang, Xiangchen Qian:
Online Continuous Measurement of the Operating Deflection Shape of Power Transmission Belts Through Electrostatic Charge Sensing. IEEE Trans. Instrum. Meas. 66(3): 492-501 (2017) - [c74]Yuhang He, Lu Yang, Long Chen:
Real-Time Fashion-Guided Clothing Semantic Parsing: A Lightweight Multi-Scale Inception Neural Network and Benchmark. AAAI Workshops 2017 - [c73]Xu Yan, Lu Yang, Hao Zhang, Jili Zhang, Fujiang Lin:
A 1.0-7.0 GHz inductorless RF mixer with multiple feedback and active load in 40-nm CMOS. ASICON 2017: 187-190 - [c72]Yuanchao Xu, Zeyi Hou, Junfeng Yan, Lu Yang, Hu Wan:
i-BEP: A non-redundant and high-concurrency memory persistency model. DATE 2017: 618-621 - [c71]Hengbin Yu, Shoujun Wang, Haibo Zhou, Lu Yang, Xu Zhou:
Research and Development of Ball-Picking Robot Technology. ICIRA (3) 2017: 226-236 - [c70]Haixia Su, Sujie Li, Lu Yang, Jian Wang, Guigang Zhang:
Fault feature analysis of civil aircraft control surface damage. ICPHM 2017: 148-153 - [c69]Yuanchao Xu, Lu Yang, Zeyi Hou, Qirun Huo, Keni Qiu:
Energy-Efficient Cache Management for NVM-Based IoT Systems. ISPA/IUCC 2017: 491-493 - [c68]Feng Zhu, Xiaofeng Hu, Xiaoyuan He, Kai-ming Li, Lu Yang:
A New Radar Detection Effectiveness Estimation Method Based on Deep Learning. MLICOM (2) 2017: 142-149 - [c67]Yan Zhang, Gui Peng, Lu Yang, Yazhe Wang, Minghui Tian, Jianxing Hu, Liming Wang, Chen Song:
Visual Analysis of Android Malware Behavior Profile Based on PMCG_droid : A Pruned Lightweight APP Call Graph. SecureComm 2017: 449-468 - [c66]Sujie Li, Yi Yang, Lu Yang, Haixia Su, Guigang Zhang, Jian Wang:
Civil Aircraft Big Data Platform. ICSC 2017: 328-333 - 2016
- [b1]Bican Xia, Lu Yang:
Automated Inequality Proving and Discovering. WorldScientific 2016, ISBN 9789814759113, pp. 1-344 - [j38]Jerry Chun-Wei Lin, Lu Yang, Philippe Fournier-Viger, Jimmy Ming-Tai Wu, Tzung-Pei Hong, Shyue-Liang Leon Wang, Justin Zhan:
Mining high-utility itemsets based on particle swarm optimization. Eng. Appl. Artif. Intell. 55: 320-330 (2016) - [j37]Yuanjuan Chen, Jianfeng Yan, Xiaosheng Liu, Lu Yang:
基于时空数据的用户社交联系强度研究 (Social Strength Learning between Users Based on Spatiotemporal Data). 计算机科学 43(1): 251-254 (2016) - [j36]Xiaofeng Yang, Jianfeng Yan, Xiaosheng Liu, Lu Yang:
深度随机森林在离网预测中的应用 (Deep Random Forest for Churn Prediction). 计算机科学 43(6): 208-213 (2016) - [j35]Wenjie Zhou, Lu Yang, Jianfeng Yan:
大数据驱动的投诉预测模型 (Big Data-driven Complaint Prediction Model). 计算机科学 43(7): 217-223 (2016) - [j34]Dongya Chang, Jianfeng Yan, Lu Yang, Xiaosheng Liu:
基于滑动窗口的主题模型 (Sliding-window Based Topic Modeling). 计算机科学 43(12): 101-107 (2016) - [j33]Jianwei Zhang, Jianfeng Yan, Xiaosheng Liu, Lu Yang:
一种基于动态词汇表的在线LDA算法 (Online LDA on Dynamic Vocabulary). 计算机科学 43(12): 120-124 (2016) - [j32]Jianzhong Wang, Lu Yang:
高速实时系统数据采集与传输 (Data Acquisition and Transmission in High Speed Real-time System). 计算机科学 43(Z11): 604-606 (2016) - [j31]Lizheng Liu, Fangai Liu, Lu Yang, Jian Liu, Zhizhong Zhang:
A preload cooperative sensing scheme with low overhead in cognitive radio networks. Wirel. Commun. Mob. Comput. 16(9): 1148-1157 (2016) - [c65]Dominic Waithe, Martin Hailstone, Mukesh Kumar Lalwani, Richard M. Parton, Lu Yang, Roger Patient, Christian Eggeling, Ilan Davis:
3-D Density Kernel Estimation for Counting in Microscopy Image Volumes Using 3-D Image Filters and Random Decision Trees. ECCV Workshops (1) 2016: 244-255 - [c64]Yonghui Hu, Lu Yang, Lijuan Wang, Xiangchen Qian, Yong Yan:
On-line continuous measurement of the operating deflection shape of power transmission belts through electrostatic sensing. I2MTC 2016: 1-5 - [c63]Jerry Chun-Wei Lin, Lu Yang, Philippe Fournier-Viger, Siddharth Dawar, Vikram Goyal, Ashish Sureka, Bay Vo:
A More Efficient Algorithm to Mine Skyline Frequent-Utility Patterns. ICGEC 2016: 127-135 - [c62]Lu Yang, Jian Wang, Guigang Zhang:
Aviation PHM system research framework based on PHM big data center. ICPHM 2016: 1-5 - [c61]Qi Yao, Jian Wang, Lu Yang, Haixia Su, Guigang Zhang:
A fault diagnosis method of engine rotor based on Random Forests. ICPHM 2016: 1-4 - [c60]Yong-Deok Kim, Eunhyeok Park, Sungjoo Yoo, Taelim Choi, Lu Yang, Dongjun Shin:
Compression of Deep Convolutional Neural Networks for Fast and Low Power Mobile Applications. ICLR (Poster) 2016 - [i5]Lu Yang, Ju Zhang:
Finding best possible constant for a polynomial inequality. CoRR abs/1603.01338 (2016) - 2015
- [j30]Ming Xu, Zhi-Bin Li, Lu Yang:
Quantifier elimination for a class of exponential polynomial formulas. J. Symb. Comput. 68: 146-168 (2015) - [j29]Yang Gao, Lu Yang, Xiaosheng Liu, Jianfeng Yan:
LDA语义理解研究 (Study of Semantic Understanding by LDA). 计算机科学 42(8): 279-282 (2015) - [c59]Lu Yang, Jin Chen, Bernard C. Y. Tan:
The Reviewer Matters: A Study of Online Pictorial Reviews. ICIS 2015 - [c58]Jerry Chun-Wei Lin, Lu Yang, Philippe Fournier-Viger, Jimmy Ming-Tai Wu, Tzung-Pei Hong, Shyue-Liang Leon Wang:
A Swarm-Based Approach to Mine High-Utility Itemsets. MISNC 2015: 572-581 - [i4]Xiaolin Qin, Lu Yang, Yong Feng, Bernhard Bachmann, Peter Fritzson:
Index reduction of differential algebraic equations by differential algebraic elimination. CoRR abs/1504.04977 (2015) - 2014
- [j28]Guixian Xu, Lirong Qiu, Lu Yang:
Tibetan Text Clustering Based on Machine Learning. J. Digit. Inf. Manag. 12(3): 176-182 (2014) - [c57]Jason Mann, David Zhang, Lu Yang, Dipanjan Das, Slav Petrov:
Enhanced Search with Wildcards and Morphological Inflections in the Google Books Ngram Viewer. ACL (System Demonstrations) 2014: 115-120 - [c56]Chongke Bi, Kenji Ono, Lu Yang:
Parallel POD Compression of Time-Varying Big Datasets Using m-Swap on the K Computer. BigData Congress 2014: 438-445 - [c55]Lu Yang, Jin Chen, Bernard C. Y. Tan:
Effects of Social Distance and Matching Message Orientation on Consumers' Product Evaluation. HCI (18) 2014: 787-797 - [c54]Lu Yang, Jin Chen, Bernard C. Y. Tan:
Peer in the Picture: an Explorative Study of Online Pictorial Reviews. PACIS 2014: 388 - [i3]Yong Yao, Jia Xu, Lu Yang:
A Successive Resultant Projection for Cylindrical Algebraic Decomposition. CoRR abs/1412.4861 (2014) - 2013
- [j27]Ting Dai, Haiping Huang, Lu Yang, Ruchuan Wang, Xinxing Pan:
Research on Migration Strategy of Mobile Agent in Wireless Sensor Networks. Int. J. Distributed Sens. Networks 9 (2013) - [p1]Lu Yang:
Solving Spatial Constraints with Generalized Distance Geometry. Distance Geometry 2013: 95-120 - [i2]Lu Yang, Bican Xia:
Deciding Nonnegativity of Polynomials by MAPLE. CoRR abs/1306.4059 (2013) - 2012
- [j26]Lu Yang, Zhenbing Zeng, Weinian Zhang:
Differential elimination with Dixon resultants. Appl. Math. Comput. 218(21): 10679-10690 (2012) - [j25]Zhiheng Yu, Lu Yang, Weinian Zhang:
Discussion on polynomials having polynomial iterative roots. J. Symb. Comput. 47(10): 1154-1162 (2012) - [c53]Luis A. Diago, Nobuyoshi Muto, Lu Yang, Zheng Gong, Ichiro Hagiwara:
An Efficiency-Driven Deterministic Optimization Approach for Sensor Placement in Image-Based Forest Field Measurement. AsiaSim (1) 2012: 213-220 - [c52]Lu Yang, Shen Zeng:
A new GTS allocation schemes for IEEE 802.15.4. BMEI 2012: 1398-1401 - [c51]Lu Yang, Xiaohui Fu, Shan Ling Pan:
Leveraging Social Capital and Absorptive Capacity for Knowledge Integration: a Case Study of a Cross-Organization IT Project. ECIS 2012: 152 - [c50]Lu Yang, Bernard C. Y. Tan:
Self-Disclosure on Online Social Networks: Motives, Context Feature, and Media Capabilities. ICIS 2012 - 2011
- [j24]Bican Xia, Lu Yang, Naijun Zhan, Zhihai Zhang:
Symbolic decision procedure for termination of linear programs. Formal Aspects Comput. 23(2): 171-190 (2011) - [j23]Lu Yang, Tomohiro Yendo, Mehrdad Panahpour Tehrani, Toshiaki Fujii, Masayuki Tanimoto:
View Synthesis Using Probabilistic Reliability Reasoning for FTV. Inf. Media Technol. 6(2): 539-545 (2011) - [c49]Lu Yang, Xiaowei Shao, Ryosuke Shibasaki, Rong-ben Wang:
Stereo matching based on two cameras and one 3D image sensor. Intelligent Robots and Computer Vision: Algorithms and Techniques 2011: 787805 - [c48]Jianfeng Yan, Yang Gao, Lu Yang:
Ant colony optimization for wireless sensor networks routing. ICMLC 2011: 400-403 - 2010
- [j22]Lu Yang, Wensheng Yu, Ruyi Yuan:
Mechanical decision for a class of integral inequalities. Sci. China Inf. Sci. 53(9): 1800-1815 (2010) - [j21]Lu Yang, Chaochen Zhou, Naijun Zhan, Bican Xia:
Recent advances in program verification through computer algebra. Frontiers Comput. Sci. China 4(1): 1-16 (2010) - [j20]Lu Yang, Tomohiro Yendo, Mehrdad Panahpour Tehrani, Toshiaki Fujii, Masayuki Tanimoto:
Artifact reduction using reliability reasoning for image generation of FTV. J. Vis. Commun. Image Represent. 21(5-6): 542-560 (2010) - [c47]Lu Yang, Liqian Yu, Jianwen Tang, Linzhang Wang, Jianhua Zhao, Xuandong Li:
McC++/Java: Enabling Multi-core Based Monitoring and Fault Tolerance in C++/Java. ICECCS 2010: 255-256 - [c46]Lu Yang, Tomohiro Yendo, Mehrdad Panahpour Tehrani, Toshiaki Fujii, Masayuki Tanimoto:
Probabilistic reliability based view synthesis for FTV. ICIP 2010: 1785-1788 - [c45]Jin Li, Limin Zheng, Lu Yang, Li-jun Tian, Ping Wu, Hong Zhu:
Improved Dynamic Time Warping algorithm the research and application of query by humming. ICNC 2010: 3349-3353 - [c44]Lu Yang, Liqian Yu, Jianwen Tang, Linzhang Wang, Jianhua Zhao, Xuandong Li:
Enabling multi-core based monitoring and fault tolerance in C++/Java. IWMSE@ICSE 2010: 32-39 - [c43]Lu Yang, Meindert Onno Wildeboer, Tomohiro Yendo, Mehrdad Panahpour Tehrani, Toshiaki Fujii, Masayuki Tanimoto:
Reducing bitrates of compressed video with enhanced view synthesis for FTV. PCS 2010: 5-8 - [c42]You Li, Lu Yang, Lei Bu, Linzhang Wang, Jianhua Zhao, Xuandong Li:
Extending Ada to support multi-core based monitoring and fault tolerance. SIGAda 2010: 53-62
2000 – 2009
- 2009
- [j19]Lu Yang, Samir Attallah:
Adaptive Noise Subspace Estimation Algorithm Suitable for VLSI Implementation. IEEE Signal Process. Lett. 16(12): 1075-1078 (2009) - [c41]Lu Yang, Rong-ben Wang:
Research on Environmental Perception Technology for Menology Environments Based on Binocular Vision. CSIE (6) 2009: 344-348 - [c40]Lu Yang, Zhanqi Cui, Xuandong Li:
A Case Study for Fault Tolerance Oriented Programming in Multi-core Architecture. HPCC 2009: 630-635 - [c39]Lu Yang, Rong-ben Wang, Ping-Shu Ge, Fengping Cao:
Research on Area-Matching Algorithm Based on Feature-Matching Constraints. ICNC (5) 2009: 208-213 - [c38]Changbo Chen, Marc Moreno Maza, Bican Xia, Lu Yang:
Computing cylindrical algebraic decomposition via triangular decomposition. ISSAC 2009: 95-102 - [i1]Changbo Chen, Marc Moreno Maza, Bican Xia, Lu Yang:
Computing Cylindrical Algebraic Decomposition via Triangular Decomposition. CoRR abs/0903.5221 (2009) - 2008
- [j18]Lu Yang, Nigel Gilbert:
Getting Away from Numbers: Using Qualitative Observation for Agent-Based Modeling. Adv. Complex Syst. 11(2): 175-185 (2008) - [j17]Lu Yang:
A perturbation method for numerical differentiation. Appl. Math. Comput. 199(1): 368-374 (2008) - [j16]Lu Yang:
Uniform attractor for non-autonomous hyperbolic equation with critical exponent. Appl. Math. Comput. 203(2): 895-902 (2008) - [j15]Lu Yang, Samir Attallah, George Mathew, Karim Abed-Meraim:
Analysis of Orthogonality Error Propagation for FRANS and HFRANS Algorithms. IEEE Trans. Signal Process. 56(9): 4515-4521 (2008) - [c37]Ya OuYang, Lu Yang, Ruizhi Sun:
Research of Grid Platform Oriented to Intensive Data Processing. GCC 2008: 226-231 - [c36]Lu Yang, Jianwen Tang, Jianhua Zhao, Xuandong Li:
A case study for monitoring-oriented programming in multi-core architecture. IWMSE@ICSE 2008: 47-52 - [c35]Jiang Zou, Lu Yang, Ruizhi Sun:
Research and Design of Rural Information Service Platform Based on SOA. CCTA (3) 2008: 1863-1869 - [c34]Bican Xia, Lu Yang, Naijun Zhan:
Program Verification by Reduction to Semi-algebraic Systems Solving. ISoLA 2008: 277-291 - [c33]Lu Yang, Samir Attallah:
Speeding up Noise Subspace Estimation Algorithms using an Optimal Diagonal Matrix Step-Size Strategy for MC-CDMA Application. VTC Spring 2008: 1335-1339 - 2007
- [j14]Qiang Guan, Long Wang, Bican Xia, Lu Yang, Wensheng Yu, Zhenbing Zeng:
Solution to the Generalized Champagne Problem on simultaneous stabilization of linear systems. Sci. China Ser. F Inf. Sci. 50(5): 719-731 (2007) - [c32]Yinghua Chen, Bican Xia, Lu Yang, Naijun Zhan:
Generating Polynomial Invariants with DISCOVERER and QEPCAD. Formal Methods and Hybrid Real-Time Systems 2007: 67-82 - [c31]Zhenbang Chen, Xiaoshan Li, Zhiming Liu, Volker Stolz, Lu Yang:
Harnessing rCOS for Tool Support - The CoCoME Experience. Formal Methods and Hybrid Real-Time Systems 2007: 83-114 - [c30]Zhenbang Chen, Abdelhakim Hannousse, Dang Van Hung, Istvan Knoll, Xiaoshan Li, Zhiming Liu, Yang Liu, Qu Nan, Joseph C. Okika, Anders P. Ravn, Volker Stolz, Lu Yang, Naijun Zhan:
Modelling with Relational Calculus of Object and Component Systems - rCOS. CoCoME 2007: 116-145 - [c29]Guangming Wang, Lu Yang:
DOKMF: Distributed Ontology-Based Knowledge Management Framework. FSKD (2) 2007: 2-6 - [c28]Zhenbang Chen, Zhiming Liu, Volker Stolz, Lu Yang, Anders P. Ravn:
A Refinement Driven Component-Based Design. ICECCS 2007: 277-289 - [c27]Yinghua Chen, Bican Xia, Lu Yang, Naijun Zhan, Chaochen Zhou:
Discovering Non-linear Ranking Functions by Solving Semi-algebraic Systems. ICTAC 2007: 34-49 - [c26]Lu Yang, Jun Xiao:
A Solution of Rural Information Network Accessing. CCTA 2007: 1001-1010 - [c25]Lu Yang, Samir Attallah, George Mathew, Karim Abed-Meraim:
Propagation of orthogonality error for frans algorithm. ISSPA 2007: 1-4 - [c24]Lu Yang, Samir Attallah, George Mathew:
Stable Noise Subspace Estimation Algorithm Suitable for VLSI Implementation. SiPS 2007: 579-583 - [c23]Lu Yang, Samir Attallah:
Adaptive Noise Subspace Estimation Algorithm with an Optimal Diagonal-Matrix Step-Size. SiPS 2007: 584-588 - [c22]Weiming Wang, Zhenbing Zeng, Lu Yang:
A new mechanical algorithm for solving system of Volterra integral equation. SNPD (3) 2007: 67-72 - [c21]Lu Yang, Volker Stolz:
Integrating Refinement into Software Development Tools. TTSS 2007: 69-88 - 2006
- [j13]Lu Yang:
Solving Spatial Constraints with Global Distance Coordinate System. Int. J. Comput. Geom. Appl. 16(5-6): 533-548 (2006) - [j12]Nigel Gilbert, Matthijs den Besten, Ákos Bontovics, Bart G. W. Craenen, Federico Divina, Ágoston E. Eiben, Robert Griffioen, György Hévízi, András Lörincz, Ben Paechter, Stephan C. Schuster, Martijn C. Schut, Christian Tzolov, Paul Vogt, Lu Yang:
Emerging Artificial Societies Through Learning. J. Artif. Soc. Soc. Simul. 9(2) (2006) - [c20]Lu Yang, Zhenbing Zeng:
Constructing a Tetrahedron with Prescribed Heights and Widths. Automated Deduction in Geometry 2006: 203-211 - [c19]Lu Yang, Bican Xia:
Quantifier Elimination for Quartics. AISC 2006: 131-145 - [c18]Jianqin Wang, Yong Xue, Yi Xie, Dingsheng Liu, Ruizhi Sun, Lu Yang, Ying Ding, Ya OuYang, Guangli Liu, YunLing Liu, Li Kang, Xinrong Cheng:
Study on Remotely Sensed Data Access and Integration Grid-enabled Middleware. GCC Workshops 2006: 477-481 - [c17]Guangli Liu, Yongshun Wu, Lu Yang:
Weighted Ordinal Support Vector Clustering. IMSCCS (2) 2006: 743-745 - [c16]Zhiming Liu, Vladimir Mencl, Anders P. Ravn, Lu Yang:
Harnessing Theories for Tool Support. ISoLA 2006: 371-382 - [c15]Lu Yang, Nigel Gilbert:
Case-Based Model of Emotional Expression Influence on Work Group Socialization and Performance. WCSS 2006: 343-354 - 2005
- [j11]Harold Boley, Virendrakumar C. Bhavsar, David Hirtle, Anurag Singh, Zhongwei Sun, Lu Yang:
A match-making system for learners and learning objects. Interact. Technol. Smart Educ. 2(3): 171-178 (2005) - [j10]Richard Cole, Costas S. Iliopoulos, Manal Mohamed, William F. Smyth, Lu Yang:
The Complexity of the Minimum k-Cover Problem. J. Autom. Lang. Comb. 10(5/6): 641-653 (2005) - [c14]Lu Yang, Bican Xia:
Real Solution Classification for Parametric Semi-Algebraic Systems. Algorithmic Algebra and Logic 2005: 281-289 - [c13]Lu Yang, Biplab Kumer Sarker, Virendrakumar C. Bhavsar, Harold Boley:
A Weighted-Tree Simplicity Algorithm for Similarity Matching of Partial Product Descriptions. IASSE 2005: 55-60 - [c12]Lu Yang, Biplab Kumer Sarker, Virendrakumar C. Bhavsar, Harold Boley:
Range Similarity Measures Between Buyers and Sellers in e-Marketplaces. IICAI 2005: 2559-2572 - [c11]Lu Yang, Zhenbing Zeng:
An open problem on metric invariants of tetrahedra. ISSAC 2005: 362-364 - [c10]Lu Yang, Naijun Zhan, Bican Xia, Chaochen Zhou:
Program Verification by Using DISCOVERER. VSTTE 2005: 528-538 - 2004
- [j9]Virendrakumar C. Bhavsar, Harold Boley, Lu Yang:
A Weighted-Tree Similarity Algorithm for Multi-Agent Systems in E-Business Environments. Comput. Intell. 20(4): 584-602 (2004) - [c9]Lu Yang, Zhenbing Zeng:
Symbolic Solution of a Piano Movers' Problem with Four Parameters. Automated Deduction in Geometry 2004: 59-69 - 2003
- [c8]Richard Cole, Costas S. Iliopoulos, Manal Mohamed, William F. Smyth, Lu Yang:
Computing the Minimum k-Cover of a String. Stringology 2003: 51-64 - 2002
- [j8]Lu Yang, Jingzhong Zhang, Weinian Zhang:
On Number of Circles Intersected by a Line. J. Comb. Theory A 98(2): 395-405 (2002) - [j7]Bican Xia, Lu Yang:
An Algorithm for Isolating the Real Solutions of Semi-algebraic Systems. J. Symb. Comput. 34(5): 461-477 (2002) - [c7]Lu Yang:
Distance Coordinates Used in Geometric Constraint Solving. Automated Deduction in Geometry 2002: 216-229 - 2001
- [j6]Lu Yang, Xiaorong Hou, Bican Xia:
A complete algorithm for automated discovering of a class of inequality-type theorems. Sci. China Ser. F Inf. Sci. 44(1): 33-49 (2001) - 2000
- [j5]Hongguang Fu, Lu Yang, Jingzhong Zhang:
A Set of Geometric Invariants for Kinematic Analysis of 6R Manipulators. Int. J. Robotics Res. 19(8): 784-792 (2000) - [c6]Lu Yang, Ju Zhang:
A Practical Program of Automated Proving for a Class of Geometric Inequalities. Automated Deduction in Geometry 2000: 41-57
1990 – 1999
- 1999
- [j4]Lu Yang:
Recent advances in automated theorem proving on inequalities. J. Comput. Sci. Technol. 14(5): 434-446 (1999) - [j3]Lu Yang:
Recent Advances on Determining the Number of Real Roots of Parametric Polynomials. J. Symb. Comput. 28(1-2): 225-242 (1999) - [c5]Changjie Tang, Rynson W. H. Lau, Huabei Yin, Qing Li, Lu Yang, Zhonghua Yu, Limin Xiang, Tianqing Zhang:
Discovering Tendency Association between Objects with Relaxed Periodicity and its Application in Seismology. ICSC 1999: 51-62 - [e1]Xiao-Shan Gao, Dongming Wang, Lu Yang:
Automated Deduction in Geometry, Second International Workshop, ADG'98, Beijing, China, August 1-3, 1998, Proceedings. Lecture Notes in Computer Science 1669, Springer 1999, ISBN 3-540-66672-9 [contents] - 1998
- [j2]Hongguang Fu, Lu Yang, Zhou Chaochen:
A computer-aided geometric approach to inverse kinematics. J. Field Robotics 15(3): 131-143 (1998) - [c4]Lu Yang, Xiaorong Hou, Bican Xia:
Automated Discovering and Proving for Geometric Inequalities. Automated Deduction in Geometry 1998: 30-46 - 1997
- [c3]Lu Yang, Hongguang Fu, Zhenbing Zeng:
A Practical Symbolic Algorithm for the Inverse Kinematics of 6R Manipulators with Simple Geometry. CADE 1997: 73-86 - 1996
- [c2]Lu Yang, Xiao-Shan Gao, Shang-Ching Chou, Jing-Zhong Zhang:
Automated Production of Readable Proofs for Theorems in Non-Euclidian Geometries. Automated Deduction in Geometry 1996: 171-188 - 1994
- [c1]Deepak Kapur, Tushar Saxena, Lu Yang:
Algebraic and Geometric Reasoning Using Dixon Resultants. ISSAC 1994: 99-107 - 1990
- [j1]Jingzhong Zhang, Lu Yang, Mike Deng:
The Parallel Numerical Method of Mechanical Theorem Proving. Theor. Comput. Sci. 74(3): 253-271 (1990)
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-11-20 21:59 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:
