32 resultados para Almost always propositional logic
em Biblioteca Digital da Produção Intelectual da Universidade de São Paulo (BDPI/USP)
Resumo:
A ausência de diálogos no mundo massificado impõe um discurso padronizado. Tenta-se eliminar as diferenças e os limites que estruturam as identidades são ameaçados. A violência desse mundo joga para a periferia grandes segmentos da população, condenados a viver em condições desumanas. Migrantes e imigrantes, desenraizados dos fundamentos de suas identidades, constituem parte expressiva dessa população. Grandes metrópoles, como São Paulo, são verdadeiros lócus do embate intercultural que os ameaça. Nossa discussão se apóia em trabalho de pesquisa anterior com crianças nordestinas em escolas paulistas - pudemos constatar o preconceito, a humilhação que atingem essa população. O ponto de partida para a humilhação é, quase sempre, sua linguagem regional, vista como errada e inadequada. A lingüística e a sociolingüística nos mostram o contrário. Entretanto, tudo que enraíza e fortalece a identidade é negado. A “barbárie civilizada” destrói desejo, sonhos, esperança, alteridade.
Resumo:
Orthodox teaching and practice on nutrition and health almost always focuses on nutrients, or else on foods and drinks. Thus, diets that are high in folate and in green leafy vegetables are recommended, whereas diets high in saturated fat and in full-fat milk and other dairy products are not recommended. Food guides such as the US Food Guide Pyramid are designed to encourage consumption of healthier foods, by which is usually meant those higher in vitamins, minerals and other nutrients seen as desirable.What is generally overlooked in such approaches, which currently dominate official and other authoritative information and education programmes, and also food and nutrition public health policies, is food processing. It is now generally acknowledged that the current pandemic of obesity and related chronic diseases has as one of its important causes increased consumption of convenience including pre-prepared foods(1,2). However, the issue of food processing is largely ignored or minimised in education and information about food, nutrition and health, and also in public health policies.A short commentary cannot be comprehensive, and a general proposal such as that made here is bound to have some problems and exceptions. Also, the social, cultural, economic and environmental consequences of food processing are not discussed here. Readers comments and queries are invited
Resumo:
This article discusses issues related to the organization and reception of information in the context of services and public information systems driven by technology. It stems from the assumption that in a ""technologized"" society, the distance between users and information is almost always of cognitive and socio-cultural nature, a product of our effort to design communication. In this context, we favor the approach of the information sign, seeking to answer how a documentary message turns into information, i.e. a structure recognized as socially useful. Observing the structural, cognitive and communicative aspects of the documentary message, based on Documentary Linguistics, Terminology, as well as on Textual Linguistics, the policy of knowledge management and innovation of the Government of the State of Sao Paulo is analyzed, which authorizes the use of Web 2.0, also questioning to what extent this initiative represents innovation in the environment of libraries.
Resumo:
Inflorescence and floral development of two tropical legume trees, Dahlstedtia pinnata and Dahlstedlia pentaphylla, occurring in the Atlantic Forest of south-eastern and southern Brazil, were investigated and compared with other papilionoids. Few studies have been made of floral development in tribe Millettieae, and this paper is intended to fill that gap in our knowledge. Dahlstedtia species have an unusual inflorescence type among legumes, the pseudoraceme, which comprises axillary units of three or more flowers, each with a subtending bract. Each flower exhibits a pair of opposite bractcoles. The order of flower initiation is acropetal; inception of the floral organs is as follows: sepals (5), petals (5), carpel (1) plus outer stamens (5) and finally inner stamens (5). Organ initiation in sepal, petal and inner stamen whorls is unidirectional; the carpel cleft is adaxial. The vexillum originates from a tubular-shaped primordium in mid-development and is larger than other petals at maturity, covering the keels. The filament tube develops later after initiation of inner-stamen primordia. Floral development in Dahlstedtia is almost always similar to other papilionoids, especially species of Phaseoleae and Sophoreae. But one important difference is the precocious ovule initiation (open carpel with ovules) in Dahlstedtia, the third citation of this phenomenon for papilionoids. No suppression, organ loss or anomalies occur in the order of primordia initiation or structure. Infra-generic differences in the first stages of ontogeny are rare; however, different species of Dahlstedtia are distinguished by the differing distribution pattern of secretory cavities in the flower. (C) 2009 Elsevier GmbH. All rights reserved.
Resumo:
Background: HTLV-2 infections are almost always asymptomatic, and diseases associated with the infection are rarely reported. Little information is available on the relationship between HTLV-2 proviral load and gender or expression of disease, especially among patients with HlV-1 co-infection. Methods: We studied 77 HTLV-2-infected subjects followed in our clinic for the last 9 years; 53 (69%) of them were co-infected with HIV-1. HTLV-2 DNA proviral load (PVL) was measured by real time PCR, a test with a sensitivity of 10 in 10(4) PBMCs. Results: Six of 53 HTLV-2/HIV-1 cases had a myelopathy (all of them had undetectable PVL of HTLV-2). Only 3 of 35 women (2 out of 3 co-infected with HIV) had a detectable PVL, whereas 10 of 42 men had a detectable PVL. Regardless of their HIV status women had significantly lower PVL than men (10 vs. 43 CopieS/10(4) PBMCs, p < 0.05). Conclusions: We noticed the occurrence of myelopathy in HTLV-2/HIV-1 co-infected patients, with undetectable HTLV-2 viral load. There was a sex difference in viral load for HTLV-2, what may be the result in mode of transmission or acquisition of the virus. (c) 2008 Elsevier B. V. All rights reserved.
Resumo:
SETTING: Itaborai Municipality in Rio de Janeiro, Brazil. OBJECTIVE: To evaluate access to tuberculosis (TB) diagnosis for users of the Family Health Program (FHP) and Reference Ambulatory Units (RAUs). DESIGN : A cross-sectional study was conducted in Itaborai City, Rio de Janeiro, Brazil. Between July and October 2007, a sample of 100 TB patients registered consecutively with the TB Control Program was interviewed using the primary care assessment tool. The two highest scores, describing `almost always` and `always`, or `good` and `very good`, were used as a cut-off point to define high quality access to diagnosis. RESULTS: FHP patients were older and had less education than RAU interviewees. Sex and overcrowding did not differ in the two groups. Patient groups did not differ with regard to the number of times care was sought at a unit, transport problems, cost of attending units and availability of consultation within 24 h. Adequate access to diagnosis was identified by 62% of the FHP patients and 53% of the RAU patients (P = 0.01). CONCLUSION: In Itaborai, Rio de Janeiro, TB patients believe that the FHP units provide greater access to TB diagnosis than RAUs. These findings will be used by the Department of Health to improve access to diagnosis in Itaborai.
Resumo:
We present a constructive argument to demonstrate the universality of the sudden death of entanglement in the case of two non-interacting qubits, each of which generically coupled to independent Markovian environments at zero temperature. Conditions for the occurrence of the abrupt disappearance of entanglement are determined and, most importantly, rigourously shown to be almost always satisfied: Dynamical models for which the sudden death of entanglement does not occur are seen to form a highly idealized zero-measure subset within the set of all possible quantum dynamics.
Resumo:
This paper investigates probabilistic logics endowed with independence relations. We review propositional probabilistic languages without and with independence. We then consider graph-theoretic representations for propositional probabilistic logic with independence; complexity is analyzed, algorithms are derived, and examples are discussed. Finally, we examine a restricted first-order probabilistic logic that generalizes relational Bayesian networks. (c) 2007 Elsevier Inc. All rights reserved.
Resumo:
We consider distributions u is an element of S'(R) of the form u(t) = Sigma(n is an element of N) a(n)e(i lambda nt), where (a(n))(n is an element of N) subset of C and Lambda = (lambda n)(n is an element of N) subset of R have the following properties: (a(n))(n is an element of N) is an element of s', that is, there is a q is an element of N such that (n(-q) a(n))(n is an element of N) is an element of l(1); for the real sequence., there are n(0) is an element of N, C > 0, and alpha > 0 such that n >= n(0) double right arrow vertical bar lambda(n)vertical bar >= Cn(alpha). Let I(epsilon) subset of R be an interval of length epsilon. We prove that for given Lambda, (1) if Lambda = O(n(alpha)) with alpha < 1, then there exists epsilon > 0 such that u vertical bar I(epsilon) = 0 double right arrow u 0; (2) if Lambda = O(n) is uniformly discrete, then there exists epsilon > 0 such that u vertical bar I(epsilon) = 0 double right arrow u 0; (3) if alpha > 1 and. is uniformly discrete, then for all epsilon > 0, u vertical bar I(epsilon) = 0 double right arrow u = 0. Since distributions of the above mentioned form are very common in engineering, as in the case of the modeling of ocean waves, signal processing, and vibrations of beams, plates, and shells, those uniqueness and nonuniqueness results have important consequences for identification problems in the applied sciences. We show an identification method and close this article with a simple example to show that the recovery of geometrical imperfections in a cylindrical shell is possible from a measurement of its dynamics.
Resumo:
This work is part of a research under construction since 2000, in which the main objective is to measure small dynamic displacements by using L1 GPS receivers. A very sensible way to detect millimetric periodic displacements is based on the Phase Residual Method (PRM). This method is based on the frequency domain analysis of the phase residuals resulted from the L1 double difference static data processing of two satellites in almost orthogonal elevation angle. In this article, it is proposed to obtain the phase residuals directly from the raw phase observable collected in a short baseline during a limited time span, in lieu of obtaining the residual data file from regular GPS processing programs which not always allow the choice of the aimed satellites. In order to improve the ability to detect millimetric oscillations, two filtering techniques are introduced. One is auto-correlation which reduces the phase noise with random time behavior. The other is the running mean to separate low frequency from the high frequency phase sources. Two trials have been carried out to verify the proposed method and filtering techniques. One simulates a 2.5 millimeter vertical antenna displacement and the second uses the GPS data collected during a bridge load test. The results have shown a good consistency to detect millimetric oscillations.
Resumo:
Despite modern weed control practices, weeds continue to be a threat to agricultural production. Considering the variability of weeds, a classification methodology for the risk of infestation in agricultural zones using fuzzy logic is proposed. The inputs for the classification are attributes extracted from estimated maps for weed seed production and weed coverage using kriging and map analysis and from the percentage of surface infested by grass weeds, in order to account for the presence of weed species with a high rate of development and proliferation. The output for the classification predicts the risk of infestation of regions of the field for the next crop. The risk classification methodology described in this paper integrates analysis techniques which may help to reduce costs and improve weed control practices. Results for the risk classification of the infestation in a maize crop field are presented. To illustrate the effectiveness of the proposed system, the risk of infestation over the entire field is checked against the yield loss map estimated by kriging and also with the average yield loss estimated from a hyperbolic model.
Resumo:
A large number of initiatives in cities in Brazil - including slum clearance and upgrading - have been undertaken over the years in an effort to ameliorate the problems arising from informal occupation; unfortunately, however, little is known about the related performance outcomes. Careful appraisal of the results of such initiatives is thus called for, covering evaluations of dwellers` perceptions of the upgraded environments. Among the available evaluation methods, post-occupancy evaluation (POE) is commonly employed, although it fails adequately to reflect prevailing subjective concepts of quality. The present paper contains the partial findings of a research exercise aimed at developing an original method, using fuzzy logic, for urban environmental quality evaluation in informally occupied areas on the basis of combining quantitative indicators and dweller perception. It combines POE with fuzzy logic in order to develop tools that can better model the uncertain information that emerges from that kind of study. This paper aims to introduce an uncertainty measure used in order to identify the strengths and weaknesses of slum upgrading projects. The results show that it is possible to quantify certainty degrees in the findings and to define if additional information is needed.
Resumo:
An efficient expert system for the power transformer condition assessment is presented in this paper. Through the application of Duval`s triangle and the method of the gas ratios a first assessment of the transformer condition is obtained in the form of a dissolved gas analysis (DGA) diagnosis according IEC 60599. As a second step, a knowledge mining procedure is performed, by conducting surveys whose results are fed into a first Type-2 Fuzzy Logic System (T2-FLS), in order to initially evaluate the condition of the equipment taking only the results of dissolved gas analysis into account. The output of this first T2-FLS is used as the input of a second T2-FLS, which additionally weighs up the condition of the paper-oil system. The output of this last T2-FLS is given in terms of words easily understandable by the maintenance personnel. The proposed assessing methodology has been validated for several cases of transformers in service. (C) 2010 Elsevier Ltd. All rights reserved.
Resumo:
We examine the representation of judgements of stochastic independence in probabilistic logics. We focus on a relational logic where (i) judgements of stochastic independence are encoded by directed acyclic graphs, and (ii) probabilistic assessments are flexible in the sense that they are not required to specify a single probability measure. We discuss issues of knowledge representation and inference that arise from our particular combination of graphs, stochastic independence, logical formulas and probabilistic assessments. (C) 2007 Elsevier B.V. All rights reserved.
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.