Timed Logic Conformance (TLC) is a bisimulation-style partial order relationship deened over the statespace of Timed Safety Automata (TSA) with real-valued clocks. In contrast to timed simulation, Calculus of Timed Reene-ment (CTR), and Time-Abstracted bisimulation, TLC de-nes when one system is an acceptable implementation of another by asymmetric bisimulation-style requirements for speciicati...

An immunohistochemical study of cytokeratins (CK) in a case of trichilemmal carcinoma (TLC). CK expression showed the presence of CK 1, 10, 14 and 17, suggesting that TLC differentiates toward follicular infundibulum. In a comparison of CK expression between TLC and trichilemmoma, the absence of CK 15 and 16 in TLC may be related to transformation from trichilemmoma to TLC. Trichilemmal carcino...

Restriction of total lung capacity (TLC) is found in some obese subjects, but the mechanism is unclear. Two hypotheses are as follows: 1) increased abdominal volume prevents full descent of the diaphragm; and 2) increased intrathoracic fat reduces space for full lung expansion. We have measured total intrathoracic volume at full inflation using magnetic resonance imaging (MRI) in 14 asymptomati...

tlc screening and evaluation of antioxidant, antibacterial activity of onopordon macrocephalum by bioautography methodonopordon known as scotch thistle is a medicinal plant of the asteraceae family that is widely distributed in europe and asia, also it has many valuable medicinal properties as hypotensive and antitumor. thin layer chromatography (tlc) is wildly used in natural product extract a...

Correspondence result that FRC TLC and RV TLC ratios are disproportionately elevated. We have speculated about the infl uence of erroneously elevated volume ratios on the interpretation of published COPD outcome studies. For example, Fessler et al 2 developed a model in which plethysmographically measured RV TLC ratios predicted improvement in FEV 1 following lung volume reduction surgery (LVRS...

A temporal logic of causality (TLC) was introduced by Alur, Penczek, and Peled in [1]. It is basically a linear time temporal logic interpreted over Mazurkiewicz traces which allows quantification over causal chains. Through this device one can directly formulate causality properties of distributed systems. In this paper we consider an extension of TLC by strengthening the chain quantification ...

BACKGROUND We developed a simple and inexpensive thin-layer chromatography (TLC) assay for semiquantitative detection of saliva concentrations of nevirapine in resource-limited settings. The method was validated in an African target population. METHODS Paired plasma and saliva nevirapine concentrations were assayed by high-performance liquid chromatography (HPLC); saliva concentrations of nev...

AIM To characterize and compare total lung capacity (TLC) measured by plethysmography with high-resolution computed tomography (HRCT), and to identify variables that predict the difference between the two modalities. METHODS Fifty-nine consecutive patients referred for the evaluation of COPD were retrospectively reviewed. Patients underwent full pulmonary function testing and HRCT within 3 mo...

Taurolithocholate (TLC) produces cholestasis by inhibiting biliary solute secretion in part by retrieving MRP2 from the plasma membrane (PM). Tauroursodeoxycholate (TUDC) and cAMP reverse TLC-induced cholestasis by inhibiting TLC-induced retrieval of MRP2. However, cellular mechanisms for this reversal are incompletely understood. Recently, we reported that TLC decreases PM-MRP2 by activating P...