A Logic Framework of Normative-based Contract Management

We explore of the feasibility of the computationally oriented institutional agency framework proposed by Governatori and Rotolo testing it against an industrial strength scenario. In particular we show how to encode in defeasible logic the dispute resolution policy described in Article 67 of FIDIC.

Contextual Deliberation of Cognitive Agents in Defeasible Logic

This article extends Defeasible Logic to deal with the contextual deliberation process of cognitive agents. First, we introduce meta-rules to reason with rules. Meta-rules are rules that have as a consequent rules for motivational components, such as obligations, intentions and desires. In other words, they include nested rules. Second, we introduce explicit preferences among rules. They deal with complex structures where nested rules can be involved.

STATIC IMAGES WITH DIFFERENT INDUCED INTENSITIES OF HUMAN BODY MOVEMENTS AFFECT SUBJECTIVE TIME

Modulation of subjective time was examined using static images eliciting perceptions of different intensities of body movement. Undergraduate students were exposed to photographs of dancer sculptures in different dance positions for 36 sec. and asked to estimate the exposure duration. Lower movement intensities were related to shorter estimated durations. Mean durations for images of unmoving dancers were underestimated and for dancers taking a ballet step were overestimated. Temporal estimations were also related to the order of presentation of the stimuli, which suggested that subjective time estimations were influenced by the experimental context. Subjective time is related not only to the visual perception of moving images, but also of elicited perceptions of movement in static images, suggesting an embodiment effect on subjective time estimation.

Refining specifications to logic programs

The refinement calculus provides a framework for the stepwise development of imperative programs from specifications. In this paper we study a refinement calculus for deriving logic programs. Dealing with logic programs rather than imperative programs has the dual advantages that, due to the expressive power of logic programs, the final program is closer to the original specification, and each refinement step can achieve more. Together these reduce the overall number of derivation steps. We present a logic programming language extended with specification constructs (including general predicates, assertions, and types and invariants) to form a wide-spectrum language. General predicates allow non-executable properties to be included in specifications. Assertions, types and invariants make assumptions about the intended inputs of a procedure explicit, and can be used during refinement to optimize the constructed logic program. We provide a semantics for the extended logic programming language and derive a set of refinement laws. Finally we apply these to an example derivation.

Rapid computation of static fields produced by thick circular solenoids

A straightforward method is proposed for computing the magnetic field produced by a circular coil that contains a large number of turns wound onto a solenoid of rectangular cross section. The coil is thus approximated by a circular ring containing a continuous constant current density, which is very close to the real situation when sire of rectangular cross section is used. All that is required is to evaluate two functions, which are defined as integrals of periodic quantities; this is done accurately and efficiently using trapezoidal-rule quadrature. The solution can be obtained so rapidly that this procedure is ideally suited for use in stochastic optimization, An example is given, in which this approach is combined with a simulated annealing routine to optimize shielded profile coils for NMR.

Model for Differential Nursing Diagnosis of Alterations in Urinary Elimination Based on Fuzzy Logic

Nursing diagnoses associated with alterations of urinary elimination require different interventions, Nurses, who are not specialists, require support to diagnose and manage patients with disturbances of urine elimination. The aim of this study was to present a model based on fuzzy logic for differential diagnosis of alterations in urinary elimination, considering nursing diagnosis approved by the North American Nursing Diagnosis Association, 2001-2002. Fuzzy relations and the maximum-minimum composition approach were used to develop the system. The model performance was evaluated with 195 cases from the database of a previous study, resulting in 79.0% of total concordance and 19.5% of partial concordance, when compared with the panel of experts. Total discordance was observed in only three cases (1.5%). The agreement between model and experts was excellent (kappa = 0.98, P < .0001) or substantial (kappa = 0.69, P < .0001) when considering the overestimative accordance (accordance was considered when at least one diagnosis was equal) and the underestimative discordance (discordance was considered when at least one diagnosis was different), respectively. The model herein presented showed good performance and a simple theoretical structure, therefore demanding few computational resources.

Static Knee Alignment Measurements among Caucasians and African Americans: The Johnston County Osteoarthritis Project

Objective. To determine if knee alignment measures differ between African Americans and Caucasians without radiographic knee osteoarthritis (rOA). Methods. A single knee was randomly selected from 175 participants in the Johnston County Osteoarthritis Project without rOA in either knee. Anatomic axis, condylar, tibia] plateau, and condylar plateau angles were measured by I radiologist; means were compared and adjusted for age and body mass index (BMI). Results. There were no significant differences in knee alignment measurements between Caucasians and African Americans among men or women. Conclusion. Observed differences in knee rOA occurrence between African Americans and Caucasians are not explained by differences in static knee alignment. (First Release July 15 2009; J Rheumatol 2009;36:1987-90; doi: 10.3899/jrheum.081294)

Influence of ventilatory settings on static and functional haemodynamic parameters during experimental hypovolaemia

Background and objective The influence of ventilatory settings on static and functional haemodynamic parameters during mechanical ventilation is not completely known. The purpose of this study was to evaluate the effect of positive end-expiratory pressure, tidal volume and inspiratory to expiratory time ratio variations on haemodynamic parameters during haemorrhage and after transfusion of shed blood. Methods Ten anaesthetized pigs were instrumented and mechanically ventilated with a tidal volume of 8 ml kg(-1), a positive end-expiratory pressure of 5 cmH(2)O and an inspiratory to expiratory ratio of 1 : 2. Then, they were submitted in a random order to different ventilatory settings (tidal volume 16 ml kg(-1), positive end-expiratory pressure 15 cmH(2)O or inspiratory to expiratory time ratio 2: 1). Functional and static haemodynamic parameters (central venous pressure, pulmonary artery occlusion pressure, right ventricular end-diastolic volume and pulse pressure variation) were evaluated at baseline, during hypovolaemia (withdrawal of 20% of estimated blood volume) and after an infusion of withdrawn blood (posttransfusion). Results During baseline, a positive end-expiratory pressure of 15cmH(2)O significantly increased pulmonary artery occlusion pressure from 14.6 +/- 1.6 mmHg to 17.4 +/- 1.7 mmHg (P<0.001) and pulse pressure variation from 15.8 +/- 8.5% to 25.3 +/- 9.5% (P<0.001). High tidal volume increased pulse pressure variation from 15.8 8.5% to 31.6 +/- 10.4% (P<0.001), and an inspiratory to expiratory time ratio of 2: 1 significantly increased only central venous pressure. During hypovolaemia, high positive end-expiratory pressure influenced all studied variables, and high tidal volume strongly increased pulse pressure variation (40.5 +/- 12.4% pre vs. 84.2 +/- 19.1 % post, P<0.001). The inversion of the inspiratory to expiratory time ratio only slightly increased filling pressures during hypovolaemia, without without affecting pulse pressure variation or right ventricle end-diastolic volume. Conclusion We concluded that pulse pressure variation measurement is influenced by cyclic variations in intrathoracic pressure, such as those caused by augmentations in tidal volume. The increase in mean airway pressure caused by positive end-expiratory pressure affects cardiac filling pressures and also pulse pressure variation, although to a lesser extent. Inversion of the inspiratory to expiratory time ratio does not induce significant changes in static and functional haemodynamic parameters. Eur J Anaesthesiol 26:66-72 (c) 2009 European Society of Anaesthesiology.

The association between osteoporosis and static balance in elderly women

This study aimed at answering the question: do people with high bone loss have greater postural instability? Groups were separated into group 1: women with normal bone mineral density, group 2: women with osteopenia, and group 3: women with osteoporosis. The balance was evaluated in four upright postural situations. Osteoporosis group had greater oscillation in the anteroposterior displacement in all situations compared to control group and the greatest mediolateral displacement in all situations compared to other groups. It is not known whether the presence of osteoporosis can be considered a factor aggravating the postural control. This study aimed at answering the question: do people with high bone loss have greater postural instability? This study was divided into three groups: group 1 (n = 20) consisting of women with normal bone mineral density, group 2 (n = 20) women with osteopenia, and group 3 (n = 20) women with osteoporosis. All the participants were submitted to evaluation of the balance using the Polhemus system in four upright postural situations. Osteoporosis group had greater oscillation in the anteroposterior displacement in all situations compared to control group. The osteoporosis group also showed the greatest mediolateral displacement in all situations compared to other groups. The results suggest that osteoporotic women had the worst balance, possibly due to the more pronounced body changes compared to non-osteoporotic women.

Developing logic programs from specifications using stepwise refinement

In this paper we demonstrate a refinement calculus for logic programs, which is a framework for developing logic programs from specifications. The paper is written in a tutorial-style, using a running example to illustrate how the refinement calculus is used to develop logic programs. The paper also presents an overview of some of the advanced features of the calculus, including the introduction of higher-order procedures and the refinement of abstract data types.

GLOBAL POSTURAL REEDUCATION AND STATIC STRETCHING EXERCISES IN THE TREATMENT OF MYOGENIC TEMPOROMANDIBULAR DISORDERS: A RANDOMIZED STUDY

Objective: The purpose of this study was to compare 2 different interventions, global postural reeducation (GPR) and static stretching exercises (SS), in the treatment of women with temporomandibular disorders (TMDs). Methods: A total of 28 subjects with TMDs were randomized into 2 treatment groups: GPR, where therapy involved muscle global chain stretching, or SS, with conventional static stretching; but only 24 completed the study. Eight treatment sessions lasting 40 minutes each (weekly) were performed. Assessments were conducted at baseline, immediately after treatment end, and 2 months later. Measurements included pain intensity at the temporomandibular joint, headache, cervicalgia, teeth clenching, ear symptoms, restricted sleep, and difficulties for mastication, using a visual analogue scale. In addition, electromyographic activity and pain thresholds were measured at the masseter, anterior temporalis, stemocleidomastoid, and upper trapezius muscles. Two-way analysis of variance with Tukey post hoc test was used for between-group comparisons. Significance level was .05. Results: Comparing the pain assessments using the visual analogue scale, no significant differences were seen with the exception of severity of headaches at treatment end (GPR, 3.92 +/- 2.98 cm; SS, 1.64 +/- 1.66 cm; P < .024). In addition, no significant differences were seen for pain thresholds and for electromyographic activity (P > .05). Conclusions: For the subjects in this study, both GPR and SS were similarly effective for the treatment of TMDs with muscular component. They equally reduced pain intensity, increased pain thresholds, and decreased electromyographic activity. (J Manipulative Physiol Ther 2010;33:500-507)