972 resultados para Propositional calculus.


Relevância:

10.00% 10.00%

Publicador:

Resumo:

The purpose of this study was to evaluate the characteristics of diseased root surfaces treated by the association of scaling and the application of Carisolv. Twenty-four uniradicular periodontally involved teeth were used in this study The teeth were divided randomly into three groups: eight teeth were scaled and root planed until there was a complete visible removal of calculus (group 1), Carisolv was applied on the root surfaces of eight teeth twice for 30 seconds before scaling with a sharp curette (group 2), and eight teeth received the same treatment as in group 2 but with a blunt curette (group 3). Specimens were examined using scanning electron microscopy The superficial aspect of the roots from group 1 presented scratches that mirrored the curette cutting edge, and the smear layer completely covered the surface. Root surfaces from groups 2 and 3 also presented a smear layer that covered the surface completely but it was somewhat smoother than group 1. The use of Carisolv as an adjunct to scaling and root planing presented no advantage for smear layer removal over scaling alone, suggesting that no benefit is obtained by the use of Carisolv during periodontal mechanical treatment. (Int J Periodontics Restorative Dent 2011;31:91-95.)

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Introduction: In this double-blind and randomized controlled trial, we analyzed whether a lower concentration of chlorhexidine in dentifrices could reduce the risk of tooth staining without compromising its effectiveness in controlling gingivitis, bleeding, and dental plaque. Methods: Volunteers with fixed orthodontic appliances were randomly divided into 3 groups: control, 1100 ppm F, NaF (n = 27); experimental, chlorhexidine 0.50% (n = 27); and experimental, chlorhexidine 0.75% (n = 27). At baseline, and after 6 and 12 weeks, clinical examinations were carried out. Staining, calculus, gingivitis, bleeding, and dental plaque data were analyzed with Friedman tests to evaluate intragroup changes over time. To detect intergroup differences after 12 months, the data were evaluated with Kruskal-Wallis tests. Dunn tests were used in both situations for necessary post-hoc analyses. Results: The groups were statistically similar for the stain, calculus, and plaque indexes, but there were statistically significant differences for the gingival and bleeding indexes. During the experimental periods, gingivitis and bleeding scores improved in all 3 groups. Only the 0.75% chlorhexidine dentifrice significantly increased the stain index, although most patients did not notice the stains. The intergroup comparison showed a statistically significant better performance of the experimental groups regarding the gingival and bleeding indexes. Conclusions: This study suggests that the use of dentifrices with lower concentration of chlorhexidine can reduce the risk of tooth staining without compromising its effectiveness in controlling gingivitis and bleeding in orthodontic patients. (Am J Orthod Dentofacial Orthop 2009; 136: 651-6)

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Theory of Mind (ToM) is the cognitive achievement that enables us to report our propositional attitudes, to attribute such attitudes to others, and to use such postulated or observed mental states in the prediction and explanation of behavior. Most normally developing children acquire ToM between the ages of 3 and 5 years, but serious delays beyond this chronological and mental age have been observed in children with autism, as well is in those with severe sensory impairments. We examine data from Studies of ToM in normally developing children and those with deafness, blindness, autism and Williams syndrome, as well as data from lower primates, in a search for answers to key theoretical questions concerning the origins, nature and representation of knowledge about the mind. In answer to these, we offer a framework according to which ToM is jointly dependent upon language and social experience, and is produced by a conjunction of language acquisition with children's growing social understanding, acquired through conversation and interaction with others. We argue that adequate language and adequate social skills are jointly causally sufficient, and individually causally necessary, for producing ToM. Thus our account supports a social developmental theory of the genesis of human cognition, inspired by the work of Sellars and Vygotsky.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Program compilation can be formally defined as a sequence of equivalence-preserving transformations, or refinements, from high-level language programs to assembler code, Recent models also incorporate timing properties, but the resulting formalisms are intimidatingly complex. Here we take advantage of a new, simple model of real-time refinement, based on predicate transformer semantics, to present a straightforward compilation formalism that incorporates real-time constraints. (C) 2002 Elsevier Science B.V. All rights reserved.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

The refinement calculus is a well-established theory for deriving program code from specifications. Recent research has extended the theory to handle timing requirements, as well as functional ones, and we have developed an interactive programming tool based on these extensions. Through a number of case studies completed using the tool, this paper explains how the tool helps the programmer by supporting the many forms of variables needed in the theory. These include simple state variables as in the untimed calculus, trace variables that model the evolution of properties over time, auxiliary variables that exist only to support formal reasoning, subroutine parameters, and variables shared between parallel processes.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

A adoção da ação afirmativa denominada cotas nas universidades federais - reserva de vagas para estudantes que tenham cursado integralmente o ensino médio em escolas públicas - continua sendo polêmica, mesmo após a sanção da Lei nº.12.711 de 2012, o que torna oportuna a contribuição aos estudos a respeito da utilização desse sistema nas universidades públicas brasileiras. Este trabalho teve por objetivo estudar o desempenho acadêmico de alunos cotistas do Centro de Ciências Jurídicas e Econômicas e do Centro Tecnológico da Universidade Federal do Espírito Santo – UFES, no período de 2008 a 2013, considerando as duas entradas anuais nos referidos cursos. O presente estudo analisou o aproveitamento acadêmico dos alunos de 15 cursos de graduação ofertados pelos Centros nominados buscando saber em quais cursos e disciplinas existem diferenças significativas de desempenho, a partir do coeficiente de rendimento acadêmico (CRA) e da média final das disciplinas cursadas por alunos cotistas e não cotistas, visando a propor ações institucionais para a redução dessas diferenças. Na pesquisa, de caráter quantitativo, utilizou-se o método estatístico de análise de variância ANOVA. A partir das análises realizadas foi possível inferir a existência de diferenças de rendimento nos cursos de engenharia,principalmente em disciplinas de cálculo e álgebra. O curso de Direito, por sua vez, apresentou diferença significativa de desempenho, não obstante as médias não estarem abaixo do índice necessário para a aprovação. Quando a comparação é feita considerando o sexo, verificou-se no curso de Ciências Econômicas e Ciências da Computação uma disparidade significativa de rendimento em favor dos alunos do sexo feminino cotistas em detrimento dos não cotistas do mesmo sexo.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Periodontal disease (PD) is widely known among veterinarians for its high prevalence and serious consequences to the dogs. The objective of this study was to assess the occurrence of PD in dogs that live in the micro-region of Viçosa, treated at the Veterinary Hospital of the Federal University of Viçosa (HVT - Hospital Veterinário da Universidade Federal de Viçosa), as well as to assess how aware of this disease dog owners are. In order to do so, all dogs treated at the HVT from March 10th, 2009 to November 30th, 2009, on alternate days, had their oral cavities examined. Medical history data, such as age, type of food, main complaint and owner consent, halitosis, presence of dental calculus, inflammation and gingival recession and tooth loss, were collected. A prevalence of 88.67% was found for PD in dogs referred to the HVT, and 2.67% were referred due to this disease. Of all the owners who participated in the study, 43.83% knew about periodontal disease and of these 17.46% made use of some type of prevention or treatment. Therefore, periodontal disease is highly prevalent and the owners are not aware of the disease. Thus, a dog owner clarification program on periodontal disease is needed in the area where HVT-UFV operates.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Polissema: Revista de Letras do ISCAP 2001/N.º 1 - Tradução

Relevância:

10.00% 10.00%

Publicador:

Resumo:

In practical applications of optimization it is common to have several conflicting objective functions to optimize. Frequently, these functions are subject to noise or can be of black-box type, preventing the use of derivative-based techniques. We propose a novel multiobjective derivative-free methodology, calling it direct multisearch (DMS), which does not aggregate any of the objective functions. Our framework is inspired by the search/poll paradigm of direct-search methods of directional type and uses the concept of Pareto dominance to maintain a list of nondominated points (from which the new iterates or poll centers are chosen). The aim of our method is to generate as many points in the Pareto front as possible from the polling procedure itself, while keeping the whole framework general enough to accommodate other disseminating strategies, in particular, when using the (here also) optional search step. DMS generalizes to multiobjective optimization (MOO) all direct-search methods of directional type. We prove under the common assumptions used in direct search for single objective optimization that at least one limit point of the sequence of iterates generated by DMS lies in (a stationary form of) the Pareto front. However, extensive computational experience has shown that our methodology has an impressive capability of generating the whole Pareto front, even without using a search step. Two by-products of this paper are (i) the development of a collection of test problems for MOO and (ii) the extension of performance and data profiles to MOO, allowing a comparison of several solvers on a large set of test problems, in terms of their efficiency and robustness to determine Pareto fronts.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Deoxyribonucleic acid, or DNA, is the most fundamental aspect of life but present day scientific knowledge has merely scratched the surface of the problem posed by its decoding. While experimental methods provide insightful clues, the adoption of analysis tools supported by the formalism of mathematics will lead to a systematic and solid build-up of knowledge. This paper studies human DNA from the perspective of system dynamics. By associating entropy and the Fourier transform, several global properties of the code are revealed. The fractional order characteristics emerge as a natural consequence of the information content. These properties constitute a small piece of scientific knowledge that will support further efforts towards the final aim of establishing a comprehensive theory of the phenomena involved in life.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Learning is not a spectator’s sport. Students do not learn much by just sitting in class listening their teachers, memorizing pre-packaged assignments and spitting out answers. The teaching-learning process has been a constant target of studies, particularly in Higher Education, in consequence of the annual increase of new students. The concern with maintaining a desired quality level in the training of these students, conjugated with the will to widen the access to all of those who finish Secondary School Education, has triggered a greater intervention from the education specialists, in partnership with the teachers of all Higher Education areas, in the analysis of this problem. Considering the particular case of Engineering, it has been witnessed a rising concern with the active learning strategies and forms of assessment. Research has demonstrated that students learn more if they are actively engaged with the material they are studying. In this presentation we describe, present and discuss the techniques and the results of Peer Instruction method in an introductory Calculus courses of an Engineering Bach

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Many of the most common human functions such as temporal and non-monotonic reasoning have not yet been fully mapped in developed systems, even though some theoretical breakthroughs have already been accomplished. This is mainly due to the inherent computational complexity of the theoretical approaches. In the particular area of fault diagnosis in power systems however, some systems which tried to solve the problem, have been deployed using methodologies such as production rule based expert systems, neural networks, recognition of chronicles, fuzzy expert systems, etc. SPARSE (from the Portuguese acronym, which means expert system for incident analysis and restoration support) was one of the developed systems and, in the sequence of its development, came the need to cope with incomplete and/or incorrect information as well as the traditional problems for power systems fault diagnosis based on SCADA (supervisory control and data acquisition) information retrieval, namely real-time operation, huge amounts of information, etc. This paper presents an architecture for a decision support system, which can solve the presented problems, using a symbiosis of the event calculus and the default reasoning rule based system paradigms, insuring soft real-time operation with incomplete, incorrect or domain incoherent information handling ability. A prototype implementation of this system is already at work in the control centre of the Portuguese Transmission Network.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

This paper addresses the DNA code analysis in the perspective of dynamics and fractional calculus. Several mathematical tools are selected to establish a quantitative method without distorting the alphabet represented by the sequence of DNA bases. The association of Gray code, Fourier transform and fractional calculus leads to a categorical representation of species and chromosomes.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Dissertação apresentada para obtenção do grau de Mestre em Educação Matemática na Educação Pré-Escolar e no 1.º e 2.º Ciclos do Ensino Básico