In this paper an extension of narrowing-based functional logic languages is proposed: Every partial deenition of a function can be completed with a default rule. In a concrete function call, the default rule is applicable when the normal ones determine that they cannot compute the value of the call. The use of the default rule, in the presence of a goal with variables, is constructive. The oper...

The use of a radioactive check device containing Strontium 90 was investigated to carry out the redundancy checks of Farmer-type ionization chambers. It was not possible to meet the recommended tolerance limits of the redundancy checks without taking into account the angular response of the ionization chambers. The ionization chambers exhibited a maximum variation of 1% in the angular response ...

This paper analyzes a family of rules for bankruptcy problems that generalizes the Talmud rule (T) and encompasses both the constrained equal-awards rule (A) and the constrained equal-losses rule (L). The family is defined by means of a parameter θ ∈ [0, 1] that can be interpreted as a measure of the distributive power of the rule. We provide a systematic study of the structural properties of t...

The impact of tinnitus and overall levels of distress were measured with three assessment tools for patients with tinnitus. The Tinnitus Handicap Inventory (THI), the Symptom Checklist-90-Revised (SCL-90-R) and an activities limitations questionnaire were administered to 53 audiology patients reporting tinnitus. Forty-three percent of these patients experienced either quality of life reductions...

In this paper the mechanism of Default Rules for narrowing-based languages proposed in 24] is adapted to lazy narrowing. Every partial deenition of a function can be completed with a default rule. In a concrete function call, the default rule is applicable when the normal ones determine that they cannot compute the value of the call. Furthermore , when the goal has variables the evaluation mech...