We investigate here a new version of the Calculus of Inductive Constructions (CIC) on which the proof assistant Coq is based: the Calculus of Congruent Inductive Constructions, which truly extends CIC by building in arbitrary first-order decision procedures: deduction is still in charge of the CIC kernel, while computation is outsourced to dedicated first-order decision procedures that can be t...

Background/Aims We evaluated the distribution of lower and upper gastrointestinal (GI) symptoms among individuals with irritable bowel syndrome with constipation (IBS-C) and chronic idiopathic constipation (CIC) in a nationwide survey. Methods Individuals (≥ 18 years of age) were identified from a nationwide sample of ＞ 70 000 United States adults. Participants completed the National Institut...

INTRODUCTION Serial echocardiographic assessment of left ventricular ejection fraction (LVEF) is the gold standard in screening for chemotherapy-induced cardiotoxicity (CIC). Measurement of myocardial deformation using speckle tracking enables more detailed assessment of myocardial contractility. The aim of this study was to determine the relationship between global and regional longitudinal st...

Interpolated second-order polynomials (ISOP’s) are proposed to design efficient cascaded integrator-comb (CIC)based decimation filters for a programmable downconverter. It is shown that some simple ISOP’s can effectively reduce the passband droop caused by CIC filtering with little degradation in aliasing attenuation. In addition, ISOP’s are shown to be useful for simplifying halfband filters t...

A target independent specification model, called CIC (Common Intermediate Code) has been proposed to specify an application in a fashion that all potential functional and data parallelism are explicitly defined by the programmer. After mapping of an application to the target processors it is performed to exploit the parallelism optimally, the CIC translator synthesizes the target-specific code ...

The biological variation factors for cholesterol in circulating immune complexes (CIC-cholesterol) were studied in 941 unselected supposedly healthy volunteers, ages 4 to 78 years. We found a complex effect of age, including the existence of two peaks of CIC-cholesterol, one in males between 11 and 14 years and in females between 11 and 30 years, and in both sexes another peak between 41 and 60...

Construction is a fragmented industry and its integration has been the goal of research efforts in building management and construction IT. Computer Integrated Construction (CIC) is, after decades of work, still a goal to be achieved. Mainstream methods to achieve this goal were the product and later the process models. Recently the attention has shifted towards workflow oriented approaches. In...

Many solid cancers display cellular hierarchies with self-renewing, tumorigenic stemlike cells, or cancer-initiating cells (CICs) at the apex. Whereas CICs often exhibit relative resistance to conventional cancer therapies, they also receive critical maintenance cues from supportive stromal elements that also respond to cytotoxic therapies. To interrogate the interplay between chemotherapy and ...

Targeted therapy is a standard of care for metastatic renal cell carcinoma (RCC) but the response rate is not overwhelmed, which only prolongs a short survival of patients due to the onset of therapeutic resistance. Although the mechanisms are not fully understood, the presence of cancer initiating cells (CIC) may underlie the drug resistance. Nevertheless, identifying CIC phenotypes with its b...

Conventional procedures for measurement of the real-ear aided response (REAR) of hearing aids are performed by placing the probe tube 5 mm beyond the medial tip of the canal portion of the earmold or shell and within 5 mm of the tympanic membrane. Completely-in-the-canal (CIC) instruments insert more deeply into the ear canal, and thus may make adherence to conventional probe-microphone procedu...