CF-induction is a sound and complete procedure for finding hypotheses in full clausal theories. It is based on the principle of Inverse Entailment (IE), and consists of two procedures: construction of a bridge theory and generalization of it. There are two possible ways to realize the generalization task in CF-induction. The one uses a single deductive operator, called γ-operator, and the other...

effect of temperature on hydrodynamics of bubbling gas-solid fluidized beds was investigated.  experiments were carried out in the range of 25-600 ºc and different superficial gas velocities in the range of 0.17-0.78 m/s with sand particles. time-position trajectory of particles was obtained by radioactive particle tracking technique. these data were used for determination of mean velocities of...

Depression has been linked to counterfactual thinking in many behavioral studies, but the direction of this effect remains disputed. In the current study, the relationship between depression and counterfactual thinking was examined using the event-related potential (ERP) technique. In a binary choice gambling task, outcome feedback of the chosen option and that of the alternative option were bo...

We consider Markov chains on partially ordered sets that generalize the success-runs and remaining life chains in reliability theory. We find conditions for recurrence and transience and give simple expressions for the invariant distributions. We study a number of special cases, including rooted trees, uniform posets, and posets associated with positive semigroups. 1 Partially Ordered Sets 1.1 ...

     Multiple sclerosis (MS) is an inflammatory, demyelinating, neurodegenerative disorder of the central nervous system (CNS) of unknown etiology. Isolated oculomotor nerve palsy is found rarely in children with MS. We present a case of MS in 10-year-old boy, who had bilateral ptosis associated with medial gaze restriction. The extraocular muscle examination demonstrated bilateral adduction pa...