We show that in elementary analysis (EL) the contrapositive of countable choice (CCC) is equivalent to double negation elimination for Σ2-formulas. By also proving a recursive adaptation of this equivalence in Heyting arithmetic (HA), we give an instance of the conservativity of EL over HA with respect to recursive functions and predicates. As a complement, we prove in HA enriched with the (ext...

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 ...

Preparata and Vuillemin proposed the cube connected cycles CCC in and in the same paper gave an asymptotically optimal layout scheme for the CCC While all the known optimal layouts including the Preparata Vuillemin layout of the CCC have long wires we give a new layout scheme which has no long wires while keeping the asymptotically optimal area Hence we can conclude that the CCC can be laid out...

chlormequat (cycocel or ccc), the plant growth retardant, was evaluated for its ability to control plant height in brassica oleracea cultivar ‘kamome white’ and ‘nagoya red’. different concentrations of ccc (0, 500, 1000 and 1500 mg/l) were sprayed and drenched on plants 40 days after transplanting. data were recorded the 60 and 90 days after transplanting. the 1500 mg/l of ccc resulted in abou...

This study assessed the effects of Coprinus comatus cap (CCC) on adipogenesis in 3T3-L1 adipocytes and the effects of CCC on the development of diet-induced obesity in rats. Here, we showed that the CCC has an inhibitory effect on the adipocyte differentiation of 3T3-L1 cells, resulting in a significant decrease in lipid accumulation through the downregulation of several adipocyte specific-tran...

Purpose: The objective of this study was to evaluate the antitumor efficacy of trabectedin in clear cell carcinoma (CCC) of the ovary, which is regarded as an aggressive, chemoresistant, histologic subtype. Experimental Design:Using 6 human ovarian cancer cell lines (3 CCC and 3 serous adenocarcinomas), the antitumor effects of trabectedin were examined in vitro, and we compared its activity ac...

There is a lack of current treatment options for ovarian clear cell carcinoma (CCC) and the cancer is often resistant to platinum-based chemotherapy. Hence there is an urgent need for novel therapeutics. The transcription factor hepatocyte nuclear factor 1β (HNF1β) is ubiquitously overexpressed in CCC and is seen as an attractive therapeutic target. This was validated through shRNA-mediated kno...

The goal of this study was to examine the role of mTOR complex 2 (mTORC2) as a therapeutic target in ovarian clear cell carcinoma (CCC), which is regarded as an aggressive, chemoresistant histologic subtype. Using tissue microarrays of 98 primary ovarian cancers [52 CCCs and 46 serous adenocarcinomas (SAC)], activation of mTORC2 was assessed by immunohistochemistry. Then, the growth-inhibitory ...