17 resultados para Logic of nonsense
em Biblioteca Digital da Produção Intelectual da Universidade de São Paulo (BDPI/USP)
Resumo:
Carpenter syndrome, a rare autosomal recessive disorder characterized by a combination of craniosynostosis, polysyndactyly, obesity, and other congenital malformations, is caused by mutations in RAB23, encoding a member of the Rab-family of small GTPases. In 15 out of 16 families previously reported, the disease was caused by homozygosity for truncating mutations, and currently only a single missense mutation has been identified in a compound heterozygote. Here, we describe a further 8 independent families comprising 10 affected individuals with Carpenter syndrome, who were positive for mutations in RAB23. We report the first homozygous missense mutation and in-frame deletion, highlighting key residues for RAB23 function, as well as the first splice-site mutation. Multi-suture craniosynostosis and polysyndactyly have been present in all patients described to date, and abnormal external genitalia have been universal in boys. High birth weight was not evident in the current group of patients, but further evidence for laterality defects is reported. No genotype-phenotype correlations are apparent. We provide experimental evidence that transcripts encoding truncating mutations are subject to nonsense-mediated decay, and that this plays an important role in the pathogenesis of many RAB23 mutations. These observations refine the phenotypic spectrum of Carpenter syndrome and offer new insights into molecular pathogenesis. (C) 2011 Wiley-Liss, Inc.
Resumo:
The logic of proofs (lp) was proposed as Gdels missed link between Intuitionistic and S4-proofs, but so far the tableau-based methods proposed for lp have not explored this closeness with S4 and contain rules whose analycity is not immediately evident. We study possible formulations of analytic tableau proof methods for lp that preserve the subformula property. Two sound and complete tableau decision methods of increasing degree of analycity are proposed, KELP and preKELP. The latter is particularly inspired on S4-proofs. The crucial role of proof constants in the structure of lp-proofs methods is analysed. In particular, a method for the abduction of proof constant specifications in strongly analytic preKELP proofs is presented; abduction heuristics and the complexity of the method are discussed.
Resumo:
The biological cause of Pork Stress syndrome, which leads to PSE (pale, soft, exudative) meat, is excessive release of Ca(2+) ions, which is promoted by a genetic mutation in the ryanodine receptors (RyR) located in the sarcoplasmic reticulum of the skeletal muscle cells. We examined the relationship between the formation of PSE meat under halothane treatment and heat stress exposure in chicken alpha RYR hot spot fragments. Four test groups were compared: 1) birds slaughtered without any treatment, i.e., the control group (C); 2) birds slaughtered immediately after halothane treatment (H); 3) birds slaughtered immediately after heat stress treatment (HS), and 4) birds exposed to halothane and to heat stress (H+HS), before slaughtering. Breast muscle mRNA was extracted, amplified by RT-PCR, and sequenced. PSE meat was evaluated using color determination (L*value). The most common alteration was deletion of a single nucleotide, which generated a premature stop codon, resulting in the production of truncated proteins. The highest incidence of nonsense transcripts came with exposure to halothane; 80% of these abnormal transcripts were detected in H and H+HS groups. As a consequence, the incidence of abnormal meat was highest in the H+HS group (66%). In HS, H, and C groups, PSE meat developed in 60, 50, and 33% of the samples, respectively. Thus, halothane apparently modulates alpha RYR gene expression in this region, and synergically with exposure to heat stress, causes Avian Stress syndrome, resulting in PSE meat in broiler chickens.
Resumo:
This paper proposes a simple high-level programming language, endowed with resources that help encoding self-modifying programs. With this purpose, a conventional imperative language syntax (not explicitly stated in this paper) is incremented with special commands and statements forming an adaptive layer specially designed with focus on the dynamical changes to be applied to the code at run-time. The resulting language allows programmers to easily specify dynamic changes to their own program`s code. Such a language succeeds to allow programmers to effortless describe the dynamic logic of their adaptive applications. In this paper, we describe the most important aspects of the design and implementation of such a language. A small example is finally presented for illustration purposes.
Resumo:
Neste artigo visamos apontar, apoiadas em W. Benjamim e G. Agamben, a fragilização do registro da experiência e sua incidência na lógica do poder/violência. Analisamos, pretendendo desmistificar a eficácia dos discursos mortificadores da experiência, a figura do "mulçumano"; - nome que designava os mortos-vivos nos campos de concentração, conforme relato de Primo Levi e outros. Tal figura é emblemática do estado limite a que chegaram algumas pessoas e podem expressar o destino de alguns sujeitos na contemporaneidade. Pudemos identificar nessa posição tanto um movimento na direção da perda do laço identificatório com o semelhante, como uma forma de resistência à violência perpetrada pelo discurso social. Tal resistência consiste em operar uma mimese ao objeto resto, o que permite ao sujeito a manutenção da estrutura fantasmática. Indicamos que, apesar das estratégias do poder, o sujeito reinventa modos de se situar na relação ao Outro, nos quais se fazem importantes a presença e a palavra, incluindo aí a experiência psicanalítica.
Resumo:
Este artigo, que tem como referência a teoria crítica, relata o resultado de uma pesquisa sobre atitudes em relação à educação inclusiva, realizada com doze professoras do 5º ano do ensino fundamental; dentre elas, seis tinham experiência de ter em sala de aula alunos com deficiência, e seis não tinham. A análise qualitativa dos dados decorrentes do levantamento realizado em seis escolas da rede municipal de Campo Grande (MS) demonstrou que, de modo geral, as professoras foram favoráveis à educação inclusiva. Contudo, ficou evidente a expressão de atitudes preconceituosas veladas ou explícitas no âmbito escolar. A formação para experiência com quem é "diferente" ainda encontra barreiras por conta do preconceito e da discriminação presentes nesta sociedade que tem como lógica uma "inclusão marginal". Em suas manifestações, apontaram dificuldades de trabalhar com alunos com deficiência intelectual severa; assinalaram que a responsabilidade de trabalhar sob a predominância da educação centrada no desempenho, com foco na inserção das pessoas no mercado de trabalho, gerava um "sentimento de impotência". Diante das contradições existentes, a educação inclusiva não deixa de evidenciar a presença das injustiças que ainda se apresentam no processo educativo. Apesar disso, foram indicados vários elementos favoráveis a essa forma de educação, que não é dissociada de movimentos sociais mais amplos.
Resumo:
Este trabalho problematiza, a partir de uma perspectiva sócio-histórica, formas de enfrentamento à violência a que estão submetidos adolescentes e jovens de grupos populares urbanos no Brasil. Considera-se a violência como um fenômeno complexo de grande relevância para diversas instâncias sociais. A vulnerabilidade daqueles adolescentes e jovens, expressa por inúmeros índices relacionados à violência, tem alcançado patamares alarmantes no nosso país, num contexto de políticas públicas que são, em grande parte, insuficientes, fragmentadas e/ou inadequadas. Assim, apresenta-se o relato e a análise de uma intervenção social calcada na educação e na defesa dos direitos decorrentes da cidadania, para adolescentes e jovens vulneráveis socialmente, tomando-se como referência uma região composta por bairros pobres e carentes de infra-estrutura social numa cidade média do interior do estado de São Paulo. Trabalhou-se em diferentes projetos com ações pautadas na abordagem interdisciplinar, por meio de três eixos bases: Violência Escolar; Violência Urbana; e Violação de Direitos e Comunidade. Os resultados alcançados refletem elaborações coletivas acerca das ações destinadas aos jovens de grupos populares urbanos e suas alternativas, buscando produzir estratégias de enfrentamento dessas questões em espaços públicos, desde a instituição escolar historicamente constituída para essa população, assim como as instituições mais recentes que respondem à lógica contraditória e complexa da assistência ao direito. Cria-se, portanto, subsídios para políticas públicas cujo impacto se dê na direção de promover a diminuição da desigualdade, da discriminação e da violência a que está sujeita a maioria dos adolescentes e jovens no Brasil.
Resumo:
Among the numerous problems that are common to the Latin-American metropolises, such as the deep socio-spatial segregation, the impressive territorial fragmentation and the real estate valorisation that overvalues some territories, whilst it depreciates others, we have chosen to focus on the management of the metropolitan regions. That question clearly indicates that due to the great current changes of the economical restructuring - a process that strengthened the capitalist logic of social development - the traditional form of thinking urban planning has found its limits. Consequently, this issue of metropolitan management shows the need to look for new ways of metropolitan administration that can answer to the The main metropolitan regions of South America: Buenos Aires, Sao Paulo and Santiago form our references to characterize the recent changes from a territorial point of view on the one hand; and relative to the new determinations of the metropolis on the other hand. This leads us to discuss the challenges that metropolitan management face in a scenario of governability fragmentation.
Resumo:
In his last papers about deontic logic, von Wright sustained that there is no genuine logic of norms. We argue in this paper that this striking statement by the father of deontic logic should not be understood as a death sentence to the subject. Rather, it indicates a profound change in von Wright`s understanding about the epistemic and ontological role of logic in the field of norms. Instead of a logical constructivism of deontic systems revealing a necessary structure of prescriptive discourse, which marked his earlier efforts, he adopted the view that such systems should be seem as mere objects of comparison, i.e. as providing practical standards of rationality for norm-giving activity. Within such view he proposed an interpretation of standard deontic logic in such a way to free deontic logicians from the philosophical difficulties related to the so-called Jorgensen`s dilemma and deontic paradoxes. This effort, as we claim in the present paper, is an application of Wittgenstein`s therapeutic method to dissolve philosophical difficulties caused by the use of logical tools to model relations between norms.
Resumo:
Aspect-oriented programming (AOP) is a promising technology that supports separation of crosscutting concerns (i.e., functionality that tends to be tangled with, and scattered through the rest of the system). In AOP, a method-like construct named advice is applied to join points in the system through a special construct named pointcut. This mechanism supports the modularization of crosscutting behavior; however, since the added interactions are not explicit in the source code, it is hard to ensure their correctness. To tackle this problem, this paper presents a rigorous coverage analysis approach to ensure exercising the logic of each advice - statements, branches, and def-use pairs - at each affected join point. To make this analysis possible, a structural model based on Java bytecode - called PointCut-based Del-Use Graph (PCDU) - is proposed, along with three integration testing criteria. Theoretical, empirical, and exploratory studies involving 12 aspect-oriented programs and several fault examples present evidence of the feasibility and effectiveness of the proposed approach. (C) 2010 Elsevier Inc. All rights reserved.
Resumo:
Canalizing genes possess such broad regulatory power, and their action sweeps across a such a wide swath of processes that the full set of affected genes are not highly correlated under normal conditions. When not active, the controlling gene will not be predictable to any significant degree by its subject genes, either alone or in groups, since their behavior will be highly varied relative to the inactive controlling gene. When the controlling gene is active, its behavior is not well predicted by any one of its targets, but can be very well predicted by groups of genes under its control. To investigate this question, we introduce in this paper the concept of intrinsically multivariate predictive (IMP) genes, and present a mathematical study of IMP in the context of binary genes with respect to the coefficient of determination (CoD), which measures the predictive power of a set of genes with respect to a target gene. A set of predictor genes is said to be IMP for a target gene if all properly contained subsets of the predictor set are bad predictors of the target but the full predictor set predicts the target with great accuracy. We show that logic of prediction, predictive power, covariance between predictors, and the entropy of the joint probability distribution of the predictors jointly affect the appearance of IMP genes. In particular, we show that high-predictive power, small covariance among predictors, a large entropy of the joint probability distribution of predictors, and certain logics, such as XOR in the 2-predictor case, are factors that favor the appearance of IMP. The IMP concept is applied to characterize the behavior of the gene DUSP1, which exhibits control over a central, process-integrating signaling pathway, thereby providing preliminary evidence that IMP can be used as a criterion for discovery of canalizing genes.
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:
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:
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.