#### Filter Results:

- Full text PDF available (12)

#### Publication Year

2006

2015

#### Publication Type

#### Co-author

#### Publication Venue

#### Key Phrases

Learn More

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

Systems of ordinary differential equations (ODEs) are often used to model the dynamics of complex biological pathways. We construct a discrete state model as a probabilistic approximation of the ODE dynamics by discretizing the value space and the time domain. We then sample a representative set of trajectories and exploit the discretization and the… (More)

- Bing Liu, Jing Zhang, +7 authors P. S. Thiagarajan
- PLoS Computational Biology
- 2011

The complement system is key to innate immunity and its activation is necessary for the clearance of bacteria and apoptotic cells. However, insufficient or excessive complement activation will lead to immune-related diseases. It is so far unknown how the complement activity is up- or down- regulated and what the associated pathophysiological mechanisms are.… (More)

We present a statistical model checking (SMC) based framework for studying ordinary differential equation (ODE) models of bio-pathways. We address cell-to-cell variability explicitly by using probability distributions to model initial concentrations and kinetic rate values. The core component of our framework is an SMC procedure for verifying the dynamical… (More)

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

Biochemical networks are often modeled as systems of ordinary differential equations (ODEs). Such systems will not admit closed form solutions and hence numerical simulations will have to be used to perform analyses. However, the number of simulations required to carry out tasks such as parameter estimation can become very large. To get around this, we… (More)

- Bing Liu, Andrei Hagiescu, +4 authors P. S. Thiagarajan
- Bioinformatics
- 2012

MOTIVATION
Biopathways are often modeled as systems of ordinary differential equations (ODEs). Such systems will usually have many unknown parameters and hence will be difficult to calibrate. Since the data available for calibration will have limited precision, an approximate representation of the ODEs dynamics should suffice. One must, however, be able to… (More)

- Bing Liu, P. S. Thiagarajan
- J. Bioinformatics and Computational Biology
- 2012

Cellular processes are governed and coordinated by a multitude of biopathways. A pathway can be viewed as a complex network of biochemical reactions. The dynamics of this network largely determines the functioning of the pathway. Hence the modeling and analysis of biochemical networks dynamics is an important problem and is an active area of research. Here… (More)

Hybrid systems whose mode dynamics are governed by non-linear ordinary differential equations (ODEs) are often a natural model for biological processes. However such models are difficult to analyze. To address this, we develop a probabilistic analysis method by approximating the mode transitions as stochastic events. We assume that the probability of making… (More)

- Sucheendra K. Palaniappan, S. Akshay, Bing Liu, Blaise Genest, P. S. Thiagarajan
- IEEE/ACM Transactions on Computational Biology…
- 2012

Dynamic Bayesian Networks (DBNs) can serve as succinct probabilistic dynamic models of biochemical networks [CHECK END OF SENTENCE]. To analyze these models, one must compute the probability distribution over system states at a given time point. Doing this exactly is infeasible for large models; hence one must use approximate algorithms. The Factored… (More)

- Andrei Hagiescu, Bing Liu, +5 authors Weng-Fai Wong
- TACO
- 2013

We present a novel code generation scheme for GPUs. Its key feature is the platform-aware generation of a heterogeneous pool of threads. This exposes more data-sharing opportunities among the concurrent threads and reduces the memory requirements that would otherwise exceed the capacity of the on-chip memory. Instead of the conventional strategy of focusing… (More)

- Qing Tang, Shunying Zhu, Hong Wang, Bing Liu
- 2011 6th IEEE Joint International Information…
- 2011

Choosing what type of vehicle to detour is an important part in traffic organization in freeway reconstruction and expansion project. The experience of vehicle selection is first concluded. Base on ve hic le s' traveling characteristics, the comparison of each selection is provided. The application and limitation of each selection are based on capacity,… (More)