899 resultados para Almost always propositional logic


Relevância:

20.00% 20.00%

Publicador:

Resumo:

People typically perceive negative media content (e.g., violence) to have more impact on others than on themselves (a third-person effect). To examine the perceived effects of positive content (e.g., public-service advertisements) and the moderating role of social identities, we examined students' perceptions of the impact of AIDS advertisements on self, students (in- group), nonstudents (out-group), and people in general. Perceived self-other differences varied with the salience of student identity. Low identifiers displayed the typical third-person effect, whereas high identifiers were more willing to acknowledge impact on themselves and the student in-group. Further, when influence was normatively accept able within the in-group, high identifiers perceived self and students (us) as more influenced than nonstudents (them). The theoretical and practical implications of this reversal in third-person perceptions are discussed.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

The solar wind almost disappeared on May 11,1999: the solar wind plasma density and' dynamic pressure were less than 1 cm(-3) and 0.1 nPa respectively, while the interplanetary magnetic field was northward. The polar ionospheric data observed by the multi-instruments at Zhongshan Station in Antarctica on such special event day was compared with those of the control day (May 14). It was shown that geomagnetic activity was very quiet on May 11 at Zhongshan. The magnetic pulsation, which usually occurred at about magnetic noon, did not appear. The ionosphere was steady and stratified, and the F-2 layer spread very little. The critical frequency of dayside F-2 layer, f(0)F(2), was larger than that of control day, and the peak of f(0)F(2) appeared 2 hours earlier. The ionospheric drift velocity was less than usual. There were intensive auroral E-s appearing at magnetic noon. All this indicates that the polar ionosphere was extremely quiet and geomagnetic field was much more dipolar on May 11. There were some signatures of auroral substorm before midnight, such as the negative deviation of the geomagnetic H component, accompanied with auroral E-s and weak Pc3 pulsation.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

We study the existence of asymptotically almost periodic classical solutions for a class of abstract neutral integro-differential equation with unbounded delay. A concrete application to partial neutral integro-differential equations which arise in the study of heat conduction in fading memory material is considered. (C) 2011 Elsevier Inc. All rights reserved.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

The paper establishes the existence and uniqueness of asymptotically almost automorphic mild solution to an abstract partial neutral integro-differential equation with unbounded delay. An example is given to illustrate our results. (C) 2008 Elsevier Ltd. All rights reserved.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

In this work we study the existence and uniqueness of pseudo-almost periodic solutions for a first-order abstract functional differential equation with a linear part dominated by a Hille-Yosida type operator with a non-dense domain. (C) 2009 Published by Elsevier Ltd

Relevância:

20.00% 20.00%

Publicador:

Resumo:

The paper considers the existence and uniqueness of almost automorphic mild solutions to some classes of first-order partial neutral functional-differential equations. Sufficient conditions for the existence and uniqueness of almost automorphic mild solutions to the above-mentioned equations are obtained. As an application, a first-order boundary value problem arising in control systems is considered. (C) 2007 Elsevier Ltd. All fights reserved.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

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.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

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.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Primary Pigmented Nodular Adrenocortical Disease (PPNAD) is a rare form of bilateral adrenocortical hyperplasia that is inherited in an autosomal dominant manner and leads to ACTH-independent Cushing`s syndrome (CS). PPNAD may be isolated or associated with Carney Complex (CNC). For the diagnosis of PPNAD and CNC, in addition to the hormonal and imaging tests, searching for PRKAR1A mutations may be recommended. The aims of the present study are to discuss the clinical and molecular findings of two Brazilian patients with ACTH-independent CS due to PPNAD and to show the diagnostic challenge CS represents in childhood. Description of two patients with CS and the many sequential steps for the diagnosis of PPNAD is provided. Sequencing analysis of all coding exons of PRKAR1A in the blood, frozen adrenal nodules (patients 1 and 2) and testicular tumor (patient 1) is performed. After several clinical and laboratory drawbacks that misled the diagnostic investigation in both patients, the diagnosis of PPNAD was finally established and confirmed through pathology and molecular studies. In patient 1, sequencing of PRKAR1A gene revealed a novel heterozygous 10-bp deletion in exon 3, present in his blood, adrenal gland and testicular tumor. The etiologic diagnosis of endogenous CS in children is a challenge that requires expertise and a multidisciplinary collaboration for its prompt and correct management. Although rare, PPNAD should always be considered among the possible etiologies of CS, due to the high prevalence of this disease in this age group.

Relevância:

20.00% 20.00%

Publicador:

Relevância:

20.00% 20.00%

Publicador:

Resumo:

The Sciatic Functional Index (SFI) is a quite useful tool for the evaluation of functional recovery of the sciatic nerve of rats in a number of experimental injuries and treatments. Although it is an objective method, it depends on the examiner`s ability to adequately recognize and mark the previously established footprint key points, which is an entirely subjective step, thus potentially interfering with the calculations according to the mathematical formulae proposed by different authors. Thus, an interpersonal evaluation of the reproducibility of an SFI computer-aided method was carried out here to study data variability. A severe crush injury was produced on a 5 mm-long segment of the right sciatic nerve of 20 Wistar rats (a 5000 g load directly applied for 10 min) and the SH was measured by four different examiners (an experienced one and three newcomers) preoperatively and at weekly intervals from the 1st to the 8th postoperative week. Three measurements were made for each print and the average was calculated and used for statistical analysis. The results showed that interpersonal correlation was high (0.82) in the 3rd, 4th, 5th, 7th and 8th weeks, with an unexpected but significant (p < 0.01) drop in the 6th week. There was virtually no interpersonal correlation (correlation index close to 0) on the 1st and 2nd weeks, a period during which the variability between animals and examiners (p =0.24 and 0.32, respectively) was similar, certainly due to a poor definition of the footprints. The authors conclude that the SFI method studied here is only reliable from the 3rd week on after a severe lesion of the sciatic nerve of rats. (C) 2008 Elsevier B.V. All rights reserved.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

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.