Bing Liu

发表

Statistical Model Checking-Based Analysis of Biological Networks

P. S. Thiagarajan, Benjamin M. Gyori, Bing Liu, 2018, Automated Reasoning for Systems Biology and Medicine.

Parameter Synthesis for Cardiac Cell Hybrid Models Using δ-Decisions

Edmund M. Clarke, Sicun Gao, Soonho Kong, 2014, CMSB.

GPU code generation for ODE-based applications with phased shared-data access patterns

P. S. Thiagarajan, Weng-Fai Wong, Zheng Cui, 2013, ACM Trans. Archit. Code Optim..

An efficient optic cup segmentation method decreasing the influences of blood vessels

Chunlan Yang, Bing Liu, Min Lu, 2018, Biomedical engineering online.

Approximate Probabilistic Verification of Hybrid Systems pdf

P. S. Thiagarajan, Benjamin M. Gyori, Soumya Paul, 2014, HSB.

Approximate probabilistic analysis of biopathway dynamics

P. S. Thiagarajan, Weng-Fai Wong, Zheng Cui, 2012, Bioinform..

Robust Real-time Tracking of Surgical Instruments in the Eye Surgery Simulator (EyeSi)

Reinhard Männer, Bing Liu, Dennis Maier, 2002 .

Lifetime Improvement of Digital Microfluidic Biochips based on the Improved Whale Optimization Algorithm for Protein Analysis Instrument System

Ping Fu, Bing Liu, Wenbin Zheng, 2020, 2020 IEEE International Instrumentation and Measurement Technology Conference (I2MTC).

Supervised Deep Feature Extraction for Hyperspectral Image Classification

Bing Liu, Pengqiang Zhang, Xuchu Yu, 2018, IEEE Transactions on Geoscience and Remote Sensing.

Deep Induction Network for Small Samples Classification of Hyperspectral Images

Bing Liu, Xuchu Yu, Anzhu Yu, 2020, IEEE Journal of Selected Topics in Applied Earth Observations and Remote Sensing.

Morphological Attribute Profile Cube and Deep Random Forest for Small Sample Classification of Hyperspectral Image

Xin Chen, Bing Liu, Ruirui Wang, 2020, IEEE Access.

Scenarios and Requirements for Layer 2 Autonomic Control Planes

Bing Liu, Brian Carpenter, 2019 .

Probabilistic Approximations of Signaling Pathway Dynamics

David Hsu, P. S. Thiagarajan, Bing Liu, 2009, CMSB.

Modeling and Analysis of biopathways Dynamics

P. S. Thiagarajan, Bing Liu, P. Thiagarajan, 2012, J. Bioinform. Comput. Biol..

Towards personalized prostate cancer therapy using delta-reachability analysis

Edmund M. Clarke, Sicun Gao, Soonho Kong, 2014, HSCC.

Towards Personalized Cancer Therapy Using Delta-Reachability Analysis pdf

Edmund M. Clarke, Sicun Gao, Soonho Kong, 2014, ArXiv.

Deep Few-Shot Learning for Hyperspectral Image Classification

Gang Wan, Bing Liu, Pengqiang Zhang, 2019, IEEE Transactions on Geoscience and Remote Sensing.

Pruned Volterra Models with Memory Effects for Nonlinear Power Amplifiers

Ping Wang, Bing Liu, Qingfang Zhang, 2013 .

Probabilistic approximations of ODEs based bio-pathway dynamics

David Hsu, P. S. Thiagarajan, Bing Liu, 2011, Theor. Comput. Sci..

A Computational and Experimental Study of the Regulatory Mechanisms of the Complement System

David Hsu, P. S. Thiagarajan, Bing Liu, 2011, PLoS Comput. Biol..

Research on Fixed-Point Maintenance Support Simulation of Mechanization Army Division Based on HLA

Bing Liu, Chuang Gu, Xiao-ming Du, 2013 .

Statistical Model Checking Based Calibration and Analysis of Bio-pathway Models

David Hsu, P. S. Thiagarajan, Benjamin M. Gyori, 2013, CMSB.

A Hybrid Factored Frontier Algorithm for Dynamic Bayesian Networks with a Biopathways Application

P. S. Thiagarajan, Bing Liu, Blaise Genest, 2012, IEEE/ACM Transactions on Computational Biology and Bioinformatics.

Parameter estimation of rule-based models using statistical model checking

Bing Liu, James R. Faeder, 2016, 2016 IEEE International Conference on Bioinformatics and Biomedicine (BIBM).

Parameter Synthesis for Cardiac Cell Hybrid Models Using Delta-Decisions pdf

Edmund M. Clarke, Sicun Gao, Soonho Kong, 2014, ArXiv.

Semisupervised graph convolutional network for hyperspectral image classification

Bing Liu, Ruirui Wang, Anzhu Yu, 2020, Journal of Applied Remote Sensing.

A fuel sales forecast method based on variational Bayesian structural time series

Bing Liu, Huiqiang Lian, Pengyuan Li, 2021, J. High Speed Networks.

Parameter Identification Using δ-Decisions for Biological Hybrid Systems

Edmund M. Clarke, Sicun Gao, Soonho Kong, 2014 .

Innate immune memory and homeostasis may be conferred through crosstalk between the TLR3 and TLR7 pathways

P. S. Thiagarajan, Ivet Bahar, Bing Liu, 2016, Science Signaling.