We introduce the Casl Consistency Checker (CCC), a tool that supports consistency proofs in the algebraic specification language Casl. CCC is a faithful implementation of a previously described consistency calculus. Its system architecture combines flexibility with correctness ensured by encapsulation in a type system. CCC offers tactics, tactical combinators, forward and backward proof, and a ...

OBJECTIVE To investigated the relationship between epicardial fat volume (EFV) and coronary collateral circulation (CCC) in patients with stable coronary artery disease (CAD). METHODS The study population consisted of 152 consecutive patients with CAD who underwent coronary angiography and were found to have at least 95% significiant lesion in at least one major coronary artery. EFV was asses...

Countercurrent chromatography (CCC) is a generic term covering all forms of liquid–liquid chromatography that use a support-free liquid stationary phase held in place by a simple centrifugal or complex centrifugal force field. Biphasic liquid systems are used with one liquid phase being the stationary phase and the other being the mobile phase. Although initiated almost 30 years ago, CCC lacked...

Cytokine expression in a tumor microenvironment can impact both host defense against the tumor and tumor cell survival. In this study, we sought to clarify whether the cytokine gene expression profile could have clinical associations with ovarian cancer. We analyzed the expression of 16 cytokine genes (IL-1α, IL-1β, IL-2, IL-4, IL-5, IL-8, IL-10, IL-12p35, IL-12p40, IL-15, IFN-γ, TNF-α, IL-6, H...

The AOSD tools and methodologies have developed in a rapid speed in Java area. However, no matter how homologous .Net and Java are, AOP tools on .Net platform are still in experimental stage. The complex infrastructure and multi-language support make it hard to establish aspect-oriented programming on .Net. Microsoft provides Microsoft Intermediate Language(MSIL) to facilitate language implemen...

The dispersion behavior of solutes was investigated in a rotating flowing coiled tube. Potassium iodide, tartrazine, ascorbic acid, lysozyme, bovine serum albumin (BSA), and silver nanoparticle (AgNPs) samples were eluted in a coiled tube of counter-current chromatography (CCC) apparatus with a single phase. Apparent convection peaks of low-diffusivity solutes appeared in the static CCC tube, w...

Clear cell carcinoma (CCC) of the ovary is known to show poorer sensitivity to chemotherapeutic agents and to be associated with a worse prognosis than the more common serous adenocarcinoma or endometrioid adenocarcinoma. To improve the survival of patients with ovarian CCC, the deeper understanding of the mechanism of CCC carcinogenesis as well as the efforts to develop novel treatment strateg...

CR and PU hidden terminals in multi-channel Cognitive MAC protocols result in increased packet drops. This is due to inefficient node synchronization with existing “Control Channel” design. To date, In-band and Out-of-band CCC based MAC protocols are proposed to avoid PU and CR hidden terminals. But, In-band CCC based CR-MAC protocols cannot efficiently resolve the hidden terminal packet drops ...

in order to find the most effective concentration of 6-banzilamino purine (bap) and cycocel (ccc) on microtuber production of two potato cultivars under tissue culture conditions, a factorial experiment was carried out with randomized compelete design with 4 replications. four levels of bap (0, 5, 10 and 15 mg l-1) and four levels of ccc (0, 250, 500 and 1000 mg l-1) were applied on two potato ...

to evaluate the growth regulatory effect of chlormequat chloride (ccc) under drought stress conditions on three barley cultivars, a field study was conducted under badjgah agro climatic conditions (altitude 1810 m, longitude 52° 46´, and latitude 29° 50´) during 2003-2004 growing season. a randomized complete block based split- split plot of four replications was employed with two moisture leve...