BACKGROUND Aberrant activation of Wnt/β-catenin signaling promotes the development of several types of cancer. Recently, it has been demonstrated that Wnt pathway is also activated in myeloma. Therefore, the Wnt/β-catenin signaling molecules are attractive candidates for development of targeted therapies for this disease. MATERIALS AND METHODS This study investigated the antitumor effect of c...

When the anterior byssal retractor muscle (ABRM) of Mytilus edulis was subjected to a sudden reduction in temperature during a contractionrelaxation cycle, a tension increment, the cold-induced contracture (CIC), was observed. The CIC could be obtained in a muscle stimulated by the application of acetylcholine (ACh), caffeine or high-K solutions, but could not be elicited from a muscle at rest ...

It has been suggested that low density lipoprotein-containing circulating immune complexes (LDL-CIC) play a role in atherogenesis and are involved in the formation of early atherosclerotic lesion. These complexes, as well as anti-LDL autoantibodies, have been found in the blood and in the atherosclerotic lesions of patients with different cardiovascular diseases, as well as in the blood of anim...

It was found that circulating immune complexes (CIC) were formed in rabbits at different times after infection with Treponema pallidum. The CIC which appeared at the beginning of the disease were short-lived (2-6 weeks) but those appearing later than 20 weeks after infection remained for 10-25 weeks. CIC contained both IgM and IgG classes of immunoglobulin. The antibodies present in CIC were fo...

BACKGROUND: A number of reports indicate that circulating immune complexes (CIC) and activation of the complement system contribute to the pathogenesis of Type I allergy. The aim of this study was to investigate the status of CIC in 113 patients with rhinitis in Lebanon and determine complement components C3 and C4 serum levels in the CIC-positive patients. Serum specific IgE antibodies were pr...

This large-scale survey aimed to evaluate frequencies and patterns of Chinese herbal medicine (CHM) used for Sjögren's syndrome (SS) in Taiwan by analyzing the National Health Insurance Research Database (NHIRD) for cases in which CHM was used as an alternative therapy to Western medicine for improving patients' discomforts. We analyzed cases of SS principal diagnosis (ICD-9:710.2) with a catas...

Computer Integrated Construction (CIC) systems are computer environments through which collaborative working can be undertaken. Although many CIC systems have been developed to demonstrate the communication and collaboration within the construction projects, the uptake of CICs by the industry is still inadequate. This is mainly due to the fact that research methodologies of the CIC development ...

Strong Normalization (SN) is an important property for intensional constructive type theories such as the Calculus of Inductive Constructions (CiC), the basis for the Coq theorem prover. Not only does SN imply consistency, but it also ensures that type-checking is decidable, and further, it provides a straightforward model, the term model, for a theory. Unfortunately, although SN has been prove...

Proof assistants based on dependent type theory are progressively used as a tool to develop certified programs. A successful example is the Coq proof assistant, an implementation of a dependent type theory called the Calculus of Inductive Constructions (CIC). Coq is a functional programming language with an expressive type system that allows to specify and prove properties of programs in a high...

BACKGROUND The nasal tissue uptake and metabolism of ciclesonide, a new-generation corticosteroid under investigation for treatment of allergic rhinitis, to its active metabolite, desisobutyryl-ciclesonide (des-CIC), was evaluated when administered to rabbits in a hypotonic versus an isotonic ciclesonide suspension. Nasal mucosa extracts from normal Japanese white rabbits were evaluated by high...