988 resultados para Categories abelianes


Relevância:

10.00% 10.00%

Publicador:

Resumo:

Dissertação de mestrado em Ciências da Educação (área de especialização em Supervisão Pedagógica na Educação em Línguas)

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Dissertação de mestrado em Educação Especial (área de especialização em Intervenção Precoce)

Relevância:

10.00% 10.00%

Publicador:

Resumo:

A dengue é hoje uma das doenças com maior incidência no Brasil, com especial frequência no município de Fênix –Paraná. No presente estudo pretendeu-se analisar as concepções que as crianças têm sobre a dengue, identificando os componentes do modelo KVP, bem como conhecer as representações sociais deste grupo. Para o efeito optou-se pela utilização de charges com alunos do 5º ano do ensino fundamental de uma escola localizada no município de Fênix, cujos textos foram analisados para identificação de categorias e dos componentes do modelo KVP (conhecimentos, valores e práticas) a elas associadas. Foram identificadas quatro categorias de respostas sobre a interpretação da charge relativa à dengue: (i) prevenção da dengue, (ii) perigoso que pode levar à morte, (iii) problema de saúde pública e (iv) combater a dengue. Verificou-se que a “prevenção da dengue” foi a categoria em que se identificaram os três domínios K, V e P implicados na construção das concepções, enquanto as duas categorias “perigoso que pode levar à morte” e “problema de saúde pública” apresentaram apenas os domínios K e V, e a categoria “combater a dengue” apenas evidenciou o domínio V. Os resultados do estudo mostraram que os alunos já veem a dengue como um problema com consequências sérias e que todos têm sua responsabilidade no controle da doença. Percebe-se, portanto, que todo o trabalho que vem sendo realizado pela secretaria de saúde, pelas escolas ou campanhas publicitárias esta surtindo efeito, uma vez que no ano de 2014 houve uma redução do número de casos no município foco da pesquisa.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Dissertação de mestrado em Português Língua Não Materna (PLNM): Português Língua Estrangeira (PLE) Português Língua Segunda (PL2)

Relevância:

10.00% 10.00%

Publicador:

Resumo:

OBJECTIVE: To assess blood pressure measurement by health professionals of a public hospital in São Paulo State. METHODS: Semi-structured interviews and direct observation were performed with a verification list according to the criteria reported by Perloff et al. One hundred and five health professionals took part in the study. After measuring blood pressure, the level of concordance between the way the procedure was performed and the recommended one was assessed. RESULTS: Nurses and nurse's aides abided by 40% of the recommended procedures for adequate blood pressure measurement. The other categories of health professionals (nursing and medicine teachers, physicians, residents, and nursing students) abided by approximately 70%. CONCLUSION: Permanent educational activities aiming at standardizing blood pressure measurement should be implemented among the different categories of health professionals.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Inscripto en el análisis del discurso interaccional de tradición angloamericana y optando por un abordaje metodológico etnográfico, este proyecto plantea investigar las relaciones entre textos orales y entre textos orales y escritos vinculados en cadenas textuales en un acontecimiento comunicativo institucional en el que tales relaciones tienen consecuencias directas en la confiabilidad de la información e intervienen en la construcción del conocimiento oficial. La situación comunicativa elegida es el examen y el contraexamen de testigos comunes durante procesos penales orales, de formato común no abreviado, en la jurisdicción de Córdoba capital. En las interacciones verbales con litigantes y jueces en las que emerge el testimonio se ponen en juego otros textos orales (en forma de citas de lo dicho antes por el mismo testigo u otras personas, referencias a rumores u opiniones colectivas, etc.) y textos escritos (actas de secuestro, informes periciales, actas de las declaraciones testimoniales en la etapa de instrucción, etc.). El foco de atención son las prácticas asociadas a la intertextualidad puesto que condicionan el carácter de la prueba testimonial producida ante el juzgador. Postulamos que los litigantes despliegan tácticas locales y estrategias globales reconocibles y recurrentes vinculadas al tratamiento de diversas categorías de textos previos. Además, planteamos averiguar si la participación de los jueces en interacción con los testigos es de suficiente injerencia como para ser un modo importante de generación de prueba testimonial. El enfoque metodológico general es etnográfico y analíticodiscursivo. Se seleccionará una causa por delito grave, se presenciará el debate en la cámara y se registrará el audio de todas las audiencias. Los datos a analizar serán los segmentos en las interacciones en los que se incorpora la lectura o se cita las actas de las declaraciones indagatorias o testimoniales anteriores, y los segmentos en los que se requiere, en calidad de prueba testimonial, la reproducción de dichos. Se procederá a partir de los detalles de la superficie textual y la pragmática de los intercambios y aprovechando el valor heurístico del concepto de voz, buscando identificar patrones recurrentes y los mecanismos generales que los rigen. Sobre esa base, se considerarán los intercambios verbales como interacción social que emerge moldeada por condiciones situacionales e institucionales y otros factores, tales como la incidencia de la pertenencia a grupos sociales o profesionales. Con el estudio se obtendrá una visión de prácticas cotidianas asociadas a la intertextualidad que son de crucial importancia para el carácter de la prueba testimonial producida ante el juzgador. Este paso nos acercará a conocer cómo se lleva a cabo efectivamente la administración de justicia penal y permitirá valorar los patrones de conducta a la luz de las normas procesales. In line with the Anglo-American tradition of situated discourse analysis, this project aims at tracing the links between oral texts and between oral and written texts related in textual chains which are present in an institutional event in which such relations have a direct consequence on the reliability of the information given and have an impact on the construction of what counts as official knowledge. The communicative situation under study is that of the direct and cross-examination of lay witnesses during a criminal trial in the city of Córdoba. During the face-to-face interactions between trial lawyers and judges in which the testimony takes place, other oral texts and written texts get incorporated. The focus of this research is centered on practices of intertextuality as they condition the nature of the oral evidence produced. It is argued that trial lawyers use recurrent local tactics and global strategies that are related to the treatment given to different categories of previous texts. Another aim of this study is to examine if judge’s interventions have an impact on the generation of the oral evidence. The data will come from a criminal trial that will be audio-taped in its entirety. Ethnographic observations of a criminal trial will be made. The focus of analysis will be on segments of interactions in which previous texts are read aloud or incorporated as quotes. After carrying out a detailed analysis of the surface of texts and the pragmatics of the exchanges, recurrent patterns and the general mechanisms that condition their emergence will be described. In this way, verbal exchanges will be considered social interactions that unfold conditioned by situational, institutional and social factors. This study will examine the relationship between intertextuality and the institutional practice of providing oral evidence. This will help understand how justice is actually administered and how patterns of behavior are valued according to institutional norms.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Este proyecto se enmarca en la utlización de métodos formales (más precisamente, en la utilización de teoría de tipos) para garantizar la ausencia de errores en programas. Por un lado se plantea el diseño de nuevos algoritmos de chequeo de tipos. Para ello, se proponen nuevos algoritmos basados en la idea de normalización por evaluación que sean extensibles a otros sistemas de tipos. En el futuro próximo extenderemos resultados que hemos conseguido recientemente [16,17] para obtener: una simplificación de los trabajos realizados para sistemas sin regla eta (acá se estudiarán dos sistemas: a la Martin Löf y a la PTS), la formulación de estos chequeadores para sistemas con variables, generalizar la noción de categoría con familia utilizada para dar semántica a teoría de tipos, obtener una formulación categórica de la noción de normalización por evaluación y finalmente, aplicar estos algoritmos a sistemas con reescrituras. Para los primeros resultados esperados mencionados, nos proponemos como método adaptar las pruebas de [16,17] a los nuevos sistemas. La importancia radica en que permitirán tornar más automatizables (y por ello, más fácilmente utilizables) los asistentes de demostración basados en teoría de tipos. Por otro lado, se utilizará la teoría de tipos para certificar compiladores, intentando llevar adelante la propuesta nunca explorada de [22] de utilizar un enfoque abstracto basado en categorías funtoriales. El método consistirá en certificar el lenguaje "Peal" [29] y luego agregar sucesivamente funcionalidad hasta obtener Forsythe [23]. En este período esperamos poder agregar varias extensiones. La importancia de este proyecto radica en que sólo un compilador certificado garantiza que un programa fuente correcto se compile a un programa objeto correcto. Es por ello, crucial para todo proceso de verificación que se base en verificar código fuente. Finalmente, se abordará la formalización de sistemas con session types. Los mismos han demostrado tener fallas en sus formulaciones [30], por lo que parece conveniente su formalización. Durante la marcha de este proyecto, esperamos tener alguna formalización que dé lugar a un algoritmo de chequeo de tipos y a demostrar las propiedades usuales de los sistemas. La contribución es arrojar un poco de luz sobre estas formulaciones cuyos errores revelan que el tema no ha adquirido aún suficiente madurez o comprensión por parte de la comunidad. This project is about using type theory to garantee program correctness. It follows three different directions: 1) Finding new type-checking algorithms based on normalization by evaluation. First, we would show that recent results like [16,17] extend to other type systems like: Martin-Löf´s type theory without eta rule, PTSs, type systems with variables (in addition to systems in [16,17] which are a la de Bruijn), systems with rewrite rules. This will be done by adjusting the proofs in [16,17] so that they apply to such systems as well. We will also try to obtain a more general definition of categories with families and normalization by evaluation, formulated in categorical terms. We expect this may turn proof-assistants more automatic and useful. 2) Exploring the proposal in [22] to compiler construction for Algol-like languages using functorial categories. According to [22] such approach is suitable for verifying compiler correctness, claim which was never explored. First, the language Peal [29] will be certified in type theory and we will gradually add funtionality to it until a correct compiler for the language Forsythe [23] is obtained. 3) Formilizing systems for session types. Several proposals have shown to be faulty [30]. This means that a formalization of it may contribute to the general understanding of session types.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

AbstractBackground:Heart surgery has developed with increasing patient complexity.Objective:To assess the use of resources and real costs stratified by risk factors of patients submitted to surgical cardiac procedures and to compare them with the values reimbursed by the Brazilian Unified Health System (SUS).Method:All cardiac surgery procedures performed between January and July 2013 in a tertiary referral center were analyzed. Demographic and clinical data allowed the calculation of the value reimbursed by the Brazilian SUS. Patients were stratified as low, intermediate and high-risk categories according to the EuroSCORE. Clinical outcomes, use of resources and costs (real costs versus SUS) were compared between established risk groups.Results:Postoperative mortality rates of low, intermediate and high-risk EuroSCORE risk strata showed a significant linear positive correlation (EuroSCORE: 3.8%, 10%, and 25%; p < 0.0001), as well as occurrence of any postoperative complication EuroSCORE: 13.7%, 20.7%, and 30.8%, respectively; p = 0.006). Accordingly, length-of-stay increased from 20.9 days to 24.8 and 29.2 days (p < 0.001). The real cost was parallel to increased resource use according to EuroSCORE risk strata (R$ 27.116,00 ± R$ 13.928,00 versus R$ 34.854,00 ± R$ 27.814,00 versus R$ 43.234,00 ± R$ 26.009,00, respectively; p < 0.001). SUS reimbursement also increased (R$ 14.306,00 ± R$ 4.571,00 versus R$ 16.217,00 ± R$ 7.298,00 versus R$ 19.548,00 ± R$935,00; p < 0.001). However, as the EuroSCORE increased, there was significant difference (p < 0.0001) between the real cost increasing slope and the SUS reimbursement elevation per EuroSCORE risk strata.Conclusion:Higher EuroSCORE was related to higher postoperative mortality, complications, length of stay, and costs. Although SUS reimbursement increased according to risk, it was not proportional to real costs.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Abstract Background: Heart disease in pregnancy is the leading cause of non- obstetric maternal death. Few Brazilian studies have assessed the impact of heart disease during pregnancy. Objective: To determine the risk factors associated with cardiovascular and neonatal complications. Methods: We evaluated 132 pregnant women with heart disease at a High-Risk Pregnancy outpatient clinic, from January 2005 to July 2010. Variables that could influence the maternal-fetal outcome were selected: age, parity, smoking, etiology and severity of the disease, previous cardiac complications, cyanosis, New York Heart Association (NYHA) functional class > II, left ventricular dysfunction/obstruction, arrhythmia, drug treatment change, time of prenatal care beginning and number of prenatal visits. The maternal-fetal risk index, Cardiac Disease in Pregnancy (CARPREG), was retrospectively calculated at the beginning of prenatal care, and patients were stratified in its three risk categories. Results: Rheumatic heart disease was the most prevalent (62.12%). The most frequent complications were heart failure (11.36%) and arrhythmias (6.82%). Factors associated with cardiovascular complications on multivariate analysis were: drug treatment change (p = 0.009), previous cardiac complications (p = 0.013) and NYHA class III on the first prenatal visit (p = 0.041). The cardiovascular complication rates were 15.22% in CARPREG 0, 16.42% in CARPREG 1, and 42.11% in CARPREG > 1, differing from those estimated by the original index: 5%, 27% and 75%, respectively. This sample had 26.36% of prematurity. Conclusion: The cardiovascular complication risk factors in this population were drug treatment change, previous cardiac complications and NYHA class III at the beginning of prenatal care. The CARPREG index used in this sample composed mainly of patients with rheumatic heart disease overestimated the number of events in pregnant women classified as CARPREG 1 and > 1, and underestimated it in low-risk patients (CARPREG 0).

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Abstract Background: Obstructive sleep apnea syndrome (OSAS) is a chronic, progressive disease with high morbidity and mortality. It is underdiagnosed, especially among women. Objective: To study the prevalence of high risk for OSAS globally and for the Berlin Questionnaire (BQ) categories, and to evaluate the reliability of the BQ use in the population studied. Methods: Observational, cross-sectional study with individuals from the Niterói Family Doctor Program, randomly selected, aged between 45 and 99 years. The visits occurred between August/2011 and December/2012. Variables associated with each BQ category and with high risk for OSAS (global) were included in logistic regression models (p < 0.05). Results: Of the total (616), 403 individuals (65.4%) reported snoring. The prevalence of high risk for OSA was 42.4%, being 49.7% for category I, 10.2% for category II and 77.6% for category III. Conclusion: BQ showed an acceptable reliability after excluding the questions Has anyone noticed that you stop breathing during your sleep? and Have you ever dozed off or fallen asleep while driving?. This should be tested in further studies with samples mostly comprised of women and low educational level individuals. Given the burden of OSAS-related diseases and risks, studies should be conducted to validate new tools and to adapt BQ to better screen OSAS.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

The diet of Leptodactylus ocellatus (L., 1758) was studied in specimens collected at Maldonado Department (Uruguay), where monthly surveys were made between August 1998 and March 2000. A total of 143 frogs were collected, measured, sexed, and dissected, to assess stomach contents. The anurans were grouped into three age classes and four categories (considering sex and capture date). The trophic amplitude for each age class and sex-season category was quantified using Shannon-Weaver Index, and the trophic niche overlap between ages and categories by using the Pianka Index. Comparisons among treatments were made by G-tests. The most important prey items were coleopterans (IRI = 2547), and significant correlations were found between predator and prey sizes. The major differences on diet composition were found between extreme age classes (froglets and adults). Significant differences were also detected between sexes in the cold season but not in the warm season. Any of these changes in diet may be related with the availability of prey.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

We analyzed stomach contents of 58 specimens of Teius oculatus (D'Orbigny & Bibron, 1837) (20 adult males, 17 adult females and 21 juveniles) captured in Dom Feliciano, RS, Brazil, to evaluate diet composition and sexual and ontogenetic variations in prey consumption. Diet was composed of 15 prey categories, all arthropods. Orthoptera was the most frequent prey type. Quantitatively, termites were the most important prey item (59.5%). There were no significant differences between the diets of adult males and females. Ontogenetic differences were found, mainly concerning volume of prey consumed. Adult lizards ingested significantly larger prey than juveniles (U = 170.00; p < 0.001). Juveniles, although having a comparatively less diverse diet (10 prey types) consumed a larger number of items (45.7% of total). Diet similarity was higher between juveniles and adult males (Ojk = 0.97) and prey diversity was higher in the diet of adult females (H' = 2.65). Based on importance value index the most important item in the diet of T. oculatus was Orthoptera. We conclude that T. oculatus in Dom Feliciano has a relatively generalized diet and it is an opportunist lizard, feeding on arthropods, mainly insects.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Shipworms are important decomposers of wood, especially in mangrove forests where productivity is high. However, little emphasis has been given to the activity of shipworms in relation to the export of nutrients from mangroves to adjacent coastal areas. As a first step to obtaining such information, the frequency of colonized mangrove driftwood as well as shipworm density and length were studied by collecting washed up logs during a year at Ajuruteua beach, state of Pará, northern Brazil. A single species, Neoteredo reynei (Bartsch, 1920), was found colonizing driftwood. Although large colonized logs were most common on the beach, shipworm density was higher in small logs, especially during the dry season. In general, however, density was higher during the wet season (January to April) and lowest in July. Overall shipworm mean length was 9.66cm. In large logs, mean length increased between the wet and dry seasons. However, there was no difference in length among log size categories. Mean shipworm length was similar throughout most of the year but tended to be greater in July. Although salinity varied between 10.9 and 40 during the year, no relationship was found between salinity and density or length. The results suggest that shipworm activity in driftwood logs is relatively constant throughout the year. Increased air humidity and rainfall may promote survival during the wet season. Large logs may take longer to colonize and thus have lower densities than small ones which are scarce probably because they are destroyed rapidly by shipworm activity. However, data on the disintegration of logs would be necessary to test this hypothesis. Larger size of shipworms in the dry season may be related to growth after an earlier recruitment period. Shipworms in large logs during the dry season may be better protected from dessication and high temperatures by the insulating properties of the larger volume of wood.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

The insects oviposition behavior is fundamental to study population dynamics, life history evolution, insect-plant and parasitoid-host interactions. Zabrotes subfasciatus (Boheman, 1833) females oviposition behavior in the presence and absence of a host is unknown. The main objective of this study was to describe in detail the oviposition behavior of host deprived or non-deprived females, and observe how the several situations of deprivation (days without host) influence oviposition. Six groups were assembled, three deprived of the host (for 2, 5 and 8 days) and three control groups (with host), each containing one newly-emerged couple (0-24h) of wild Z. subfasciatus, The non-deprived (control) groups received the hosts every day (5 bean seeds Phaseolus vulgaris (Fabaceae)) and the others were deprived for 2, 5 and 8 days, respectively. For each group 12 repetitions were made. Consequently, 12 couples were host deprived during two days, 12 couples were host deprived during five days and 12 couples were host deprived during eight days. When the seeds of the deprived groups were added the experiments started. There was a control group for each deprived group. The experiments and the insects were maintained at constant temperature 29 ± 2ºC and 70-80% relative humidity. At 15 minutes interval, the number of times the females manifested the different categories of behavior was observed (frequency). The behavior categories were: rest inside the box, locomotion, resource exploration (seeds), copulation and oviposition. The deprived females stayed most of the time in contact with the host to carry out oviposition, while the non-deprived (control) females spent most of the time at rest. This was observed in all the deprivation times. The results show that host deprivation influences the oviposition behavior of the studied species and also shows the flexibility in the oviposition strategies that these females present when the environment changes (absence and presence of resources)

Relevância:

10.00% 10.00%

Publicador:

Resumo:

The present study intended to analyze calliphorid attraction to traps painted in a variety of colors and the calliphorid constancy index in the Tingua Biological Reserve, Rio de Janeiro state, Brazil. The Diptera were collected monthly in the Reserve, between 2002 and 2005, totaling 24 samplings. Four traps containing sardines as bait were painted olive green, blood red, black, or white and exposed for 48 h at four equidistant points, 50 m from each other. To determine the calliphorid species constancy, the Bodenheirmer constancy index was used throughout the study. To analyze differences in the total abundance between species and in their color selection, an ANCOVA test with a significance level of 5 % and a Tukey post-test were used, considering the categories species and color as cofactors and climatic variables as co-variables (temperature, relative humidity and precipitation), since the samples were collected over two years. 10,444 insects were captured. Of these, 56 % belonged to the Calliphoridae family, totaling 13 species, with the most frequent species being Laneela nigripes (28.5 %), Hemilucilia semidiaphana (17 %), and Mesembrinella sp. (16.4 %). The other species had frequencies lower than 12 %. Nine species were considered constant, two accessories, and two accidental. The data indicated that the most frequent species presented significant differences between themselves concerning abundance over the captured months, however, the Tukey post-test indicated differences only between a few of them. The black trap presented the higher relative calliphorid frequency (27.34 %), followed by green (25 %), red (24.0 %), and white (23.7 %), although the species abundance in the different colored traps did not differ significantly among themselves. Therefore, there was no Calliphorid flies preference for any of the tested colors.