Login / Signup
Kai Nie
ORCID
Publication Activity (10 Years)
Years Active: 2011-2024
Publications (10 Years): 18
Top Topics
Mri Data
Model Checking
Temporal Logic
Breast Cancer
Top Venues
ICPCSEE (1)
Bildverarbeitung für die Medizin
Electron. Commer. Res.
ICCVIT
</>
Publications
</>
Wei Li
,
Peilin Wang
,
Wencheng Cheng
,
Kai Nie
Transnational remanufacturing decisions under carbon taxes and tariffs.
Eur. J. Oper. Res.
312 (1) (2024)
Chaoyang Zhang
,
Hang Xue
,
Kai Nie
,
Xihui Wu
,
Zhengzheng Lou
,
Shouyi Yang
,
Qinglei Zhou
,
Shizhe Hu
Nice to meet images with Big Clusters and Features: A cluster-weighted multi-modal co-clustering method.
Inf. Process. Manag.
61 (5) (2024)
Shuang Tian
,
Qinghua Song
,
Jialin He
,
Yihan Wang
,
Kai Nie
,
Gang Du
,
Ling Bu
Implementation of JPEG XS entropy encoding and decoding on FPGA.
J. Real Time Image Process.
21 (2) (2024)
Zhanwen Shi
,
Erbao Cao
,
Kai Nie
Capacity pooling games in crowdsourcing services.
Electron. Commer. Res.
23 (2) (2023)
Zhuohui Cui
,
Kai Nie
,
Shouliang Qi
,
Che Hou
,
Wenjie Chen
A Robust Gray-code Pattern Decoding Method for 3D Scanning with Structured Light.
ICCVIT
(2023)
Jinying Kong
,
Kai Nie
,
Qinglei Zhou
,
Jinlong Xu
,
Lin Han
Thread Private Variable Access Optimization Technique for Sunway High-Performance Multi-core Processors.
ICPCSEE (1)
(2021)
Kai Nie
,
Qinglei Zhou
,
Hong Qian
,
Jianmin Pang
,
Jinlong Xu
,
Yapeng Li
Parallel Region Reconstruction Technique for Sunway High-Performance Multi-core Processors.
ICPCSEE (1)
(2021)
Kai Nie
,
Pascal A. Baltzer
,
Bernhard Preim
,
Gabriel Mistelbauer
Knowledge-Assisted Comparative Assessment of Breast Cancer using Dynamic Contrast-Enhanced Magnetic Resonance Imaging.
Comput. Graph. Forum
39 (3) (2020)
Kai Nie
,
Yunling Wang
,
Xiaoling Tao
Efficient publicly verifiable conjunctive keyword search over encrypted data in cloud computing.
Int. J. Embed. Syst.
11 (6) (2019)
Kai Nie
,
Gabriel Mistelbauer
,
Bernhard Preim
Classification of Lobular and Ductal Breast Carcinomas by Texture Analysis in DCE-MRI Data.
Bildverarbeitung für die Medizin
(2018)
Hui Liu
,
Rongcai Zhao
,
Kai Nie
Using Ensemble Learning to Improve Automatic Vectorization of Tensor Contraction Program.
IEEE Access
6 (2018)
Kai Nie
,
Qinglei Zhou
,
Weijun Zhu
,
Chaoyang Zhang
基于时序逻辑的3种网络攻击建模 (Modeling for Three Kinds of Network Attacks Based on Temporal Logic).
计算机科学
45 (2) (2018)
Miaolei Deng
,
Kai Nie
,
Weijun Zhu
,
Chunyan Zhang
The detection of Udpstorm attacks based on model checking linear temporal logic.
Autom. Control. Comput. Sci.
51 (3) (2017)
Kai Nie
,
Sylvia Glaßer
,
Uli Niemann
,
Gabriel Mistelbauer
,
Bernhard Preim
Classification of DCE-MRI Data for Breast Cancer Diagnosis Combining Contrast Agent Dynamics and Texture Features.
Bildverarbeitung für die Medizin
(2017)
Yingjie Han
,
Qinglei Zhou
,
Linfeng Jiao
,
Kai Nie
,
Chunyan Zhang
,
Weijun Zhu
Model Checking for Computation Tree Logic with Past Based on DNA Computing.
BIC-TA
(2017)
Weijun Zhu
,
Kai Nie
Aiming to Detect a malware of GSM frequency.
CoRR
(2017)
Qiusheng He
,
Zhiyi Sun
,
Kai Nie
,
Wei Chen
Sky images enhancement under complex weather conditions.
ICIA
(2016)
Weijun Zhu
,
Yanfeng Wang
,
Qinglei Zhou
,
Kai Nie
Model Checking Computational Tree Logic Using Sticker Automata.
BIC-TA (1)
(2016)
Kai Nie
,
Man Yu
Research on fresh agriculture product based on overconfidence of the retailer under options and spot markets dominated.
CoRR
(2013)
Xin-shuang Zhao
,
Kai Nie
,
Hou-xiang Wang
Research on Equipment Effectiveness Evaluation with Weight Random Variables.
ISCID (1)
(2011)