PURPOSE To identify epigenetic molecular makers in plasma for the early detection of colorectal cancer. EXPERIMENTAL DESIGN We retrospectively analyzed the methylation status of 10 genes in fresh-frozen tissues and corresponding plasma samples from 243 patients with stage I and II sporadic colorectal cancer, 276 healthy individuals, and plasma from 64 colorectal adenoma patients using methyla...

osteoporosis is a silent epidemy of today's world, and is also a prevalent problem of health in iran. the role of nutrients such as ascorbic acid, a key antioxidant vitamin, in this disease has recently attracted researchers' attention. in this study, we studied the relation between plasma ascorbic acid concentration and bone mineral density (bmd) in women referring to jami clinic, te...

spinal cord injury (sci), a common result of car accidents, high-altitude falls and crashes, and other violent injuries is increasing yearly. histone deacetylases (hdac) inhibitors including depakine the main characteristics of the use of anti-inflammatory. the purpose of this investigation is to evaluate the effect of depakine intervention on the acute sci at the chronic phase using functional...

This study explores the relationship between audits, concentrated managerial power, and firm performance in Chinese manufacturing industry. Analyzing 1,264 publicly listed firms over five-year period (2017–2021), this provides evidence that heavily management control hurts performance. The finding is consistent with existing research on emerging markets (Debnath et al., 2021). Furthermore, audi...

S U M M A R Y Motivated by a recent resurgence in earthquake predictability research, we present a method for testing alarm-based earthquake predictions. The testing method is based on the Molchan diagram—a plot of miss rate and fraction of space–time occupied by alarm—and is applicable to a wide class of predictions, including probabilistic earthquake forecasts varying in space, time, and magn...

Gelfond-Lifschitz [7] introduced the concept of a stable model M of a Predicate Logic Program P . Here we show that, up to a recursive 1-1 coding, the set of all stable models of finite Predicate Logic Programs and the Π1 classes (equivalently, the set of all infinite branches of recursive trees) coincide (Theorems 4.1 and 5.1). Typical consequences: 1) there are finite Predicate Logic Programs...

This paper includes a simulation model built in order to predict the performance indicessuch aswaiting time by analyzing queue’s components in the real world under uncertain and subjective situation. The objective of this paper is to predict the waiting time of each customer in an M/M/C queuing model. In this regard, to enable decision makers to obtain useful results with enough knowledge on th...

ion • Very successful in (non-probabilistic) model checking − essential for verification of large/infinite-state systems • Construct abstract model A of concrete model M − details not relevant to some property of interest removed − e.g. partition of state space based on a set of predicates • Non-probabilistic case: existential abstraction − conservative: existence of path in M implies existence...

In formal verification, we verify that a system is correct with respect to a specification. Cases like antecedent failure can make a successful pass of the verification procedure meaningless. Vacuity detection can signal such “meaningless” passes of the specification, and indeed vacuity checks are now a standard component in many commercial model checkers. We address two dimensions of vacuity: ...