An approximate representation for the state space of a context-sensitive probabilistic Boolean network has previously been proposed and utilized to devise therapeutic intervention strategies. Whereas the full state of a context-sensitive probabilistic Boolean network is specified by an ordered pair composed of a network context and a gene-activity profile, this approximate representation collap...

As the hardware root-of-trust in a trusted computing environment, the Trusted Platform Module (TPM) warrants formal specification and verification. This work presents results of an effort to specify and verify an abstract TPM 1.2 model using PVS that is useful for understanding the TPM and verifying protocols that utilize it. TPM commands are specified as state transformations and sequenced to ...

Abstract : In this paper we consider the mixed H /H -control problem for the class of discrete-time 2 _ linear systems with parameters subject to Markovian jumps (MJLS). It is assumed that both the state variable and the jump variable are available to the controller. The transition probability matrix may not be exactly known, but belongs to an appropriate convex set. For this controlled discret...

results there were 39 cases with lymph node metastasis in 59 malignant tumors, and 0 cases in 6 benign follicular type tumors. the staining scores by jt-95 of the 39 tumors with lymph node metastasis were 5+ in eight cases and 6+ in 31 cases. on the other hand, the scores of 20 malignant tumors without lymph node metastasis were < 4+ in all of the cases. in the co-cultured assay, numerous adhes...

In this paper we work with the filtering problem for a special class of discrete-time Markov Jump Linear Systems (MJLS) whose transition probability matrix has identical rows. For that class of systems we design, with the help of new necessary and sufficient LMI conditions, H2 optimal modeindependent filters with the same order of the plant. For cluster availability of the mode, we also show it...

We propose a method of estimating the fast-scale stability margin of dc–dc converters based on Filippov’s theory—originally developed for mechanical systems with impacts and stick-slip motion. In this method one calculates the state transition matrix over a complete clock cycle, and the eigenvalues of this matrix indicate the stability margin. Important components of this matrix are the state t...

BACKGROUND Once-daily extended-release (XR) antiepileptic drugs (AEDs) offer potential adherence and tolerability advantages over their BID immediate-release (IR) counterparts. However, patients with epilepsy will inevitably be at least occasionally nonadherent with a prescribed dosing regimen, regardless of formulation. Although perturbations in plasma concentrations due to dosing irregulariti...

Topiramate (TPM) is a sulfa-derivative monosaccharide that has been used for multiple indications in the last several years. We describe a 53-year-old woman with known chronic kidney disease stage 2 and baseline creatinine of 1 mg/dL who developed acute kidney injury and proximal renal tubular dysfunction while on TPM for depression. The Naranjo Adverse Drug Reaction Probability Scale indicated...

We study combinatorial multi-armed bandit with probabilistically triggered arms and semi-bandit feedback (CMAB-T). We resolve a serious issue in the prior CMAB-T studies where the regret bounds contain a possibly exponentially large factor of 1/p, where p is the minimum positive probability that an arm is triggered by any action. We address this issue by introducing a triggering probability mod...