Inductive definitions and justifications are wellstudied concepts. Solvers that support inductive definitions have been developed, but several of their computationally nice properties have never been exploited to improve these solvers. In this paper, we present a new notion called relevance. We determine a class of literals that are relevant for a given definition and partial interpretation, an...

In 2001, Boneh and Franklin presented the first efficient and security-proved identity-based encryption scheme using pairing on elliptic curve. In 2003 Sakai and Kasahara proposed another IBE scheme with pairing, which has the potential to improve performance. Later, Chen and Cheng proved the security of a variant of Sakai and Kasahara’s scheme. While, both the security-provable schemes employ ...

Inhibitors of DNA binding/inhibitors of differentiation (Id) protein family (Id-1, -2, -3 and -4) of helix-loop-helix proteins have been shown to be involved in carcinogenesis and are regarded as prognostic markers in several types of human cancers. However, the roles of Id proteins during breast carcinoma progression remain unclear. The objective was to study the effects of Id proteins in brea...

PURPOSE Id proteins are dominant-negative regulators of basic helix-loop-helix transcription factors that control malignant cell behavior in many different tissues. This study aimed to identify the potential role of Id-1 and Id-2 proteins as molecular makers for prostate cancer progression. EXPERIMENTAL DESIGN Using the technique of immunohistochemistry, we determined Id-1 and Id-2 expression...

BACKGROUND Transforming growth factor beta 1 (TGFβ1) can induce epithelial-mesenchymal transition (EMT) in various human cancers, but the complex mechanisms underlying this have not been fully elucidated. Inhibitor of DNA binding 1 (Id-1) has been identified as a novel marker of ovarian cancer progression. This study aims to investigate the role of Id-1 in TGFβ1-induced EMT in human ovarian can...

We estimated the prevalence and incidence density (ID) and the risk factors of green tobacco sickness among minority farmworkers in North Carolina. Using a prospective surveillance design, 182 farmworkers were interviewed up to 5 times at biweekly intervals in 1999. The green tobacco sickness prevalence was 24.2%, whereas the ID was 1.88 days per 100 days worked. Greater work experience (5+ yea...

PURPOSE The study aims to investigate the prevalence and likelihood of overweight and obesity in a large sample of students with intellectual disabilities (ID) from Taiwan. METHOD A secondary analysis of a cross sectional study was employed to examine the body weight status among 7 to 18 year-old students with ID enrolled in public special education schools in 2013. The students were divided ...

Epilepsy is the third-leading cause of psychiatry disability in China, and intellectual disability (ID) is also 1 major type of disabilities in China. This study estimates the prevalence of comorbidities with ID and epilepsy-related psychiatry disability (EPD) and examines mutual associations within ID and EPD.Data were taken from the Second China National Sample Survey on Disability, which was...

BACKGROUND There is a paucity of clinical trials informing specific questions faced by infectious diseases (ID) specialists. The ClinicalTrials.gov registry offers an opportunity to evaluate the ID clinical trials portfolio. METHODS We examined 40,970 interventional trials registered with ClinicalTrials.gov from 2007-2010, focusing on study conditions and interventions to identify ID-related ...