BioModel Analyzer (bma) is a tool for modeling and analyzing biological networks. Designed with a lightweight graphical user interface, the tool facilitates usage for biologists with no previous knowledge in programming or formal methods. The current implementation analyzes systems to establish stabilization. The results of the analysis— whether they be proofs or counterexamples—are represented...

This paper studies combining `1 regularization and Markov chain Monte Carlo model composition techniques for Bayesian model averaging (BMA). The main idea is to resolve the model uncertainty issues arising from path point selection by treating the `1 regularization path as a model space for BMA. The method is developed for linear and logistic regression, and applied to sample classification in ...

The H.264 standard allows each macroblock to have up to sixteen motion vectors, four reference frames, and a macroblock mode. Exploiting this feature, we present an efficient temporal error concealment algorithm for H.264-coded video. The proposed method turns out to show good performance compared with conventional approaches. key words: temporal error concealment, boundary matching algorithm (...

BACKGROUND Systemic lupus erythematosus (SLE) is an autoimmune multisystem disease characterized by the development of antinuclear antibodies. Nowadays considered outdated, lupus erythematosus (LE) cell preparation served as a screening test for SLE for decades. However, the importance of discovering LE cells on routine cytology cannot be overemphasized. CASE We report the case of a 30-year-o...

Water utilities often rely on water main failure prediction model for developing preventive or proactive repair and replacement action program. Due to inherent uncertainties in modeling, it is challenging to understand the water main failure processes and to predict the failure effectively. In this study, Bayesian model averaging (BMA) method is presented to identify the influential covariates ...

Warping, also known as Control Grid Interpolation, estimates intensities in the present frame through an interpolation of motion vectors { typically with bilinear interpolation. This paper presents a method for computing optimal interpolation parameters for warping prediction. Conventional bilinear warping, while mostly eeective, has been known to exhibit unreliable performance in certain situa...

We examined whether replantation of benthic microalgae (BMA) can remediate shallow organically enriched sediment. Nitzschia sp., the dominant species in the tested area (Hiroshima Bay, Japan), was isolated and mass cultured, then replanted in the same area. Changes in the condition of the sediment were monitored for five months. During the study period, we observed an increase in redox potentia...

Motion estimation is an important part of most video coding schemes because it enables us to exploit the high degree of temporal redundancy present. Though block matching algorithms (BMA) yield coarse and piecewise-constant elds, they are very popular due to their simplicity and low bit overhead. In this paper, we propose to use a more advanced gradient-based technique to overcome the disadvant...