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.

pcDNA-IL-12 vaccination blocks eosinophilic inflammation but not airway hyperresponsiveness following murine Toxocara canis infection

We have investigated the effect of pcDNA3-CpG and pcDNA-IL-12, delivered by intradermal gene gun administration, on the blood/lung eosinophilia, airway hyperresponsiveness as well as the immune response in a murine model of toxocariasis. Our results demonstrated that pcDNA-IL-12 but not pcDNA3-CpG vaccination Led to a persistent tower blood/bronchoalveolar eosinophilia following Toxocaro conis infection, as pcDNA3-CpG led only to an early transient blockage of eosinophil transmigration into bronchoalveolar fluid following T canis infection. Prominent Type-1 immune response was pointed out as the halt-mark of T canis infection following pcDNA-IL-12 vaccination. Outstanding IFN-gamma/IL-4 ratio besides tow levels of IgG1 with subsequent high IgG2a/IgG1 ratio further characterized a Type-1 polarized immunological profile in pcDNA-IL-12-vaccinated animals. Nevertheless, only pcDNA3-CpG was able to prevent airway hyperresponsiveness induced by T canis infection. The persistent airway hyperresponsiveness observed in pcDNA-IL-12-vaccinated animals demonstrated that the airway constriction involved other immunological mediator than those blocked by pcDNA-IL-12. Together, these data indicated that pcDNA-IL-12 and pcDNA3-CpG vaccines have distinct therapeutic benefits regarding the eosinophilic inflammation/airway hyperresponsiveness triggered by T canis infection, suggesting their possible use in further combined therapeutic interventions. (c) 2007 Elsevier Ltd. All rights reserved.

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.

Intra-dorsal periaqueductal gray administration of cannabidiol blocks panic-like response by activating 5-HT1A receptors

Activation of 5-HT1A receptors in the dorsal periaqueductal gray (dPAG) impairs escape behavior, suggesting a panicolytic-like effect. Cannabidiol (CBD), a major non-psychotomimetic compound present in Cannabis sativa, causes anxiolytic-like effects after intra-dPAG microinjections by activating 5-HT1A receptors. In the present work we tested the hypothesis that CBD could also impair escape responses evoked by two proposed animal models of panic: the elevated T-maze (ETM) and electric stimulation of dPAG. In experiment 1 male Wistar rats with a single cannula implanted in the dPAG received a microinjection of CBD or vehicle and, 10 min later, were submitted to the ETM and open field tests. In experiment 2 escape electrical threshold was measured in rats with chemitrodes implanted in the dPAG before and 10 min after CBD microinjection. In experiment 3 similar to experiment 2 except that the animals received a previous intra-dPAG administration of WAY-100635, a 5-HT1A receptor antagonist, before CBD treatment. In the ETM microinjection of CBD into the dPAG impaired inhibitory avoidance acquisition, an anxiolytic-like effect, and inhibited escape response, a panicolytic-like effect. The drug also increased escape electrical threshold, an effect that was prevented by WAY-100635. Together, the results suggest that CBD causes panicolytic effects in the dPAG by activating 5-HT1A receptors. (C) 2010 Elsevier B.V. All rights reserved.

Proportionally balanced designs: Some further results and general constructions

Proportionally balanced designs were introduced by Gray and Matters in response to a need for the allocation of markers of the Queensland Core Skills Test to have a certain property. Put simply, markers were allocated to pairs of units in proportions that reflected the relative numbers of markers allocated in total to each unit. In this paper, the first author extends the theoretical results relating to such designs and provides further instances, and two general constructions, in the case that the design comprises blocks of precisely two sizes.

GABAergic antagonist blocks the reduction of tonic immobility behavior induced by activation of 5-HT(2) receptors in the basolateral nucleus of the amygdala in guinea pigs

Tonic immobility (TI) is a temporary state of profound motor inhibition induced by situations that generate intense fear, with the objective of protecting an animal from attacks by predators. A preliminary study by our group demonstrated that microinjection into the basolateral nucleus of the amygdala (BLA) of an agonist to 5-HT(1A) and 5-HT(2) receptors promoted a decrease in TI duration. In the current study, the effects of GABAergic stimulation of the BLA and the possible interaction between GABA(A) and 5-HT(2) receptors on TI modulation were investigated. Observation revealed that GABAergic agonist muscimol (0.26 nmol) reduced the duration of TI episodes, while microinjection of the GABAergic antagonist bicuculline (1 nmol) increased TI duration. Additionally, microinjection of 5-HT(2) agonist receptors (alpha-methyl-5-HT, 0.32 nmol) into the BLA decreased TI duration, an effect reversed by pretreatment with bicuculline (at the dose that had no effect per se, 0.2 nmol). Moreover, the activation of GABA(A) and 5-HT(2) receptors in the BLA did not alter the spontaneous motor activity in the open field test. These experiments demonstrated that the activation of GABA(A) and 5-HT(2) receptors of the BLA possibly produce a reduction in unconditioned fear that decreases the TI duration in guinea pigs, but this is not due to increased spontaneous motor activity, which could affect a TI episode nonspecifically. Furthermore, these results suggest an interaction between GABAergic and serotoninergic mechanisms mediated by GABA(A) and 5-HT(2) receptors. In addition, the GABAergic circuit of the BLA presents a tonic inhibitory influence on TI duration. (C) 2009 Elsevier Inc. All rights reserved.

A refinement calculus for logic programs

Existing refinement calculi provide frameworks for the stepwise development of imperative programs from specifications. This paper presents a refinement calculus for deriving logic programs. The calculus contains a wide-spectrum logic programming language, including executable constructs such as sequential conjunction, disjunction, and existential quantification, as well as specification constructs such as general predicates, assumptions and universal quantification. A declarative semantics is defined for this wide-spectrum language based on executions. Executions are partial functions from states to states, where a state is represented as a set of bindings. The semantics is used to define the meaning of programs and specifications, including parameters and recursion. To complete the calculus, a notion of correctness-preserving refinement over programs in the wide-spectrum language is defined and refinement laws for developing programs are introduced. The refinement calculus is illustrated using example derivations and prototype tool support is discussed.

Nondeterministic gates for photonic single-rail quantum logic

We discuss techniques for producing, manipulating, and measuring qubits encoded optically as vacuum- and single-photon states. We show that a universal set of nondeterministic gates can be constructed using linear optics and photon counting. We investigate the efficacy of a test gate given realistic detector efficiencies.

More on exact bicoverings of 12 points

The minimum number of incomplete blocks required to cover, exactly lambda times, all t-element subsets from a set V of cardinality v (v > t) is denoted by y(lambda, t; v). The value of g(2, 2; v) is known for v = 3, 4,..., 11. It was previously known that 14 less than or equal to g(2, 2; 12) less than or equal to 16. We prove that g(2, 2; 12) greater than or equal to 15.

Addressing the facilities layout design problem through constraint logic programming

One of the most difficult problems that face researchers experimenting with complex systems in real world applications is the Facility Layout Design Problem. It relies with the design and location of production lines, machinery and equipment, inventory storage and shipping facilities. In this work it is intended to address this problem through the use of Constraint Logic Programming (CLP) technology. The use of Genetic Algorithms (GA) as optimisation technique in CLP environment is also an issue addressed. The approach aims the implementation of genetic algorithm operators following the CLP paradigm.