901 resultados para Formal Methods. Component-Based Development. Competition. Model Checking
Resumo:
This study retrospectively evaluated the spatial and temporal disease patterns associated with influenza-like illness (ILI), positive rapid influenza antigen detection tests (RIDT), and confirmed H1N1 S-OIV cases reported to the Cameron County Department of Health and Human Services between April 26 and May 13, 2009 using the space-time permutation scan statistic software SaTScan in conjunction with geographical information system (GIS) software ArcGIS 9.3. The rate and age-adjusted relative risk of each influenza measure was calculated and a cluster analysis was conducted to determine the geographic regions with statistically higher incidence of disease. A Poisson distribution model was developed to identify the effect that socioeconomic status, population density, and certain population attributes of a census block-group had on that area's frequency of S-OIV confirmed cases over the entire outbreak. Predominant among the spatiotemporal analyses of ILI, RIDT and S-OIV cases in Cameron County is the consistent pattern of a high concentration of cases along the southern border with Mexico. These findings in conjunction with the slight northward space-time shifts of ILI and RIDT cluster centers highlight the southern border as the primary site for public health interventions. Finally, the community-based multiple regression model revealed that three factors—percentage of the population under age 15, average household size, and the number of high school graduates over age 25—were significantly associated with laboratory-confirmed S-OIV in the Lower Rio Grande Valley. Together, these findings underscore the need for community-based surveillance, improve our understanding of the distribution of the burden of influenza within the community, and have implications for vaccination and community outreach initiatives.^
Resumo:
Patients who had started HAART (Highly Active Anti-Retroviral Treatment) under previous aggressive DHHS guidelines (1997) underwent a life-long continuous HAART that was associated with many short term as well as long term complications. Many interventions attempted to reduce those complications including intermittent treatment also called pulse therapy. Many studies were done to study the determinants of rate of fall in CD4 count after interruption as this data would help guide treatment interruptions. The data set used here was a part of a cohort study taking place at the Johns Hopkins AIDS service since January 1984, in which the data were collected both prospectively and retrospectively. The patients in this data set consisted of 47 patients receiving via pulse therapy with the aim of reducing the long-term complications. ^ The aim of this project was to study the impact of virologic and immunologic factors on the rate of CD4 loss after treatment interruption. The exposure variables under investigation included CD4 cell count and viral load at treatment initiation. The rates of change of CD4 cell count after treatment interruption was estimated from observed data using advanced longitudinal data analysis methods (i.e., linear mixed model). Using random effects accounted for repeated measures of CD4 per person after treatment interruption. The regression coefficient estimates from the model was then used to produce subject specific rates of CD4 change accounting for group trends in change. The exposure variables of interest were age, race, and gender, CD4 cell counts and HIV RNA levels at HAART initiation. ^ The rate of fall of CD4 count did not depend on CD4 cell count or viral load at initiation of treatment. Thus these factors may not be used to determine who can have a chance of successful treatment interruption. CD4 and viral load were again studied by t-tests and ANOVA test after grouping based on medians and quartiles to see any difference in means of rate of CD4 fall after interruption. There was no significant difference between the groups suggesting that there was no association between rate of fall of CD4 after treatment interruption and above mentioned exposure variables. ^
Resumo:
As schools are pressured to perform on academics and standardized examinations, schools are reluctant to dedicate increased time to physical activity. After-school exercise and health programs may provide an opportunity to engage in more physical activity without taking time away from coursework during the day. The current study is a secondary data analysis of data from a randomized trial of a 10-week after-school program (six schools, n = 903) that implemented an exercise component based on the CATCH physical activity component and health modules based on the culturally-tailored Bienestar health education program. Outcome variables included BMI and aerobic capacity, health knowledge and healthy food intentions as assessed through path analysis techniques. Both the baseline model (χ2 (df = 8) = 16.90, p = .031; RMSEA = .035 (90% CI of .010–.058), NNFI = 0.983 and the CFI = 0.995) and the model incorporating intervention participation proved to be a good fit to the data (χ2 (df = 10) = 11.59, p = .314. RMSEA = .013 (90% CI of .010–.039); NNFI = 0.996 and CFI = 0.999). Experimental group participation was not predictive of changes in health knowledge, intentions to eat healthy foods or changes in Body Mass Index, but it was associated with increased aerobic capacity, β = .067, p < .05. School characteristics including SES and Language proficiency proved to be significantly associated with changes in knowledge and physical indicators. Further effects of school level variables on intervention outcomes are recommended so that tailored interventions can be developed aimed at the specific characteristics of each participating school. ^
Resumo:
Community health workers (CHWs) can serve as a bridge between healthcare providers and communities to positively impact social determinants of health and, thus, the overall health of the population. The potential to effect lasting change is particularly significant within resource-poor settings with limited access to formally trained health care providers such as the small, rural village of Santa Ana Intibucá, Honduras and surrounding areas—located on the geographically and politically isolated border of Honduras and El Salvador. The Baylor Shoulder to Shoulder Foundation (BSTS) works in conjunction with Santa Ana's volunteer health committee to bring a health brigade that has provided health care and public health projects to the area at least twice a year since 2001. They have also hired a full-time Honduran physician, a Honduran in-country administrative director, and built a clinic; yet, no community health worker program exists. This CHW program model is the response to a clear need for a CHW program within the area served by BSTS and presents a CHW program model specific to Santa Ana Intibucá and surrounding areas to be implemented by BSTS. Methods used to develop this model include reviewing the literature for recommendations from leading authorities as well as successfully implemented CHW programs in comparable regions. This information was incorporated into existing knowledge and materials currently being used in the area. Using the CHW model proposed here, each brigade, in conjunction with the communities served, can help develop new modules to respond to the specific health priorities of the region at that time, incorporating consistent modes of contact with the local physician and the CHWs to provide refresher courses, training in new topics of interest, and to be reminded of the importance of community health workers' role as the critical link to healthy societies. With cooperation, effort, and support, the brigade can continue to help integrate a sustainable CHW system in which communities may be able to maximize the care they receive while also learning to care for their own health and the future of their communities.^
Resumo:
Conservative procedures in low-dose risk assessment are used to set safety standards for known or suspected carcinogens. However, the assumptions upon which the methods are based and the effects of these methods are not well understood.^ To minimize the number of false-negatives and to reduce the cost of bioassays, animals are given very high doses of potential carcinogens. Results must then be extrapolated to much smaller doses to set safety standards for risks such as one per million. There are a number of competing methods that add a conservative safety factor into these calculations.^ A method of quantifying the conservatism of these methods was described and tested on eight procedures used in setting low-dose safety standards. The results using these procedures were compared by computer simulation and by the use of data from a large scale animal study.^ The method consisted of determining a "true safe dose" (tsd) according to an assumed underlying model. If one assumed that Y = the probability of cancer = P(d), a known mathematical function of the dose, then by setting Y to some predetermined acceptable risk, one can solve for d, the model's "true safe dose".^ Simulations were generated, assuming a binomial distribution, for an artificial bioassay. The eight procedures were then used to determine a "virtual safe dose" (vsd) that estimates the tsd, assuming a risk of one per million. A ratio R = ((tsd-vsd)/vsd) was calculated for each "experiment" (simulation). The mean R of 500 simulations and the probability R $<$ 0 was used to measure the over and under conservatism of each procedure.^ The eight procedures included Weil's method, Hoel's method, the Mantel-Byran method, the improved Mantel-Byran, Gross's method, fitting a one-hit model, Crump's procedure, and applying Rai and Van Ryzin's method to a Weibull model.^ None of the procedures performed uniformly well for all types of dose-response curves. When the data were linear, the one-hit model, Hoel's method, or the Gross-Mantel method worked reasonably well. However, when the data were non-linear, these same methods were overly conservative. Crump's procedure and the Weibull model performed better in these situations. ^
Resumo:
This paper focuses on the effects the transfer of ownership from a state‐owned Paper Mill Company to a corporate private ownership has had on environmental and economic shrinkage in Atenquique. This transfer was the result of the ongoing economic process of globalization, after the industrial boom of the paper mills during the second half of the last century. The paper also focuses on how the employees of this Paper Mill Company live and how they have been affected by globalization and how they feel about their paper mill’s new corporate owners. The methodology used was descriptive and exploratory. A sample of ten workers at the company who lived in Atenquique was chosen for an interview. After being inhabited the town of Atenquique developed in terms of population, society and economy. On the other hand the Industrial Company of Atenquique grew during the period when it was a property of the Mexican State. After the company’s privatization, the town started to decline and shrink in three above‐mentioned variables. The impact on the environmental and economic development has initiated the shrinking and declining of Atenquique and the surrounding cities and towns.
Resumo:
Es un hecho que las Tecnologías de la Información y la Comunicación (TIC) han modificado nuestras prácticas sociales. También lo es que los jóvenes nacidos en los últimos años parecen haberse apropiado de ellas con gran habilidad. Sin embargo, luego de varios años enseñando TIC a alumnos de profesorados universitarios de la Facultad de Humanidades y Ciencias de la Educación (FaHCE) de la Universidad Nacional de la Plata, observamos que sus desempeños en relación a dichas tecnologías no parecía ni suficiente ni apropiado de acuerdo a los estándares internacionales y regionales vigentes de competencias digitales para el nivel universitario. Como estrategia didáctica superadora implementamos un diseño de instrucción basado en el modelo de aula extendida con e-actividades, buscando ampliar el contacto de los estudiantes con la propuesta de la asignatura, cuantitativa y cualitativamente. Luego, al haber obtenido algunas señales auspiciosas en cuanto el desarrollo de las competencias digitales de nuestros alumnos, nos formulamos la hipótesis que orientó nuestro trabajo: Las e-actividades en un modelo de aula extendida podrían favorecer el desarrollo de las competencias digitales académicas de los estudiantes de profesorados universitarios. Emprendimos entonces esta investigación que, con el objetivo principal de mejorar las competencias digitales de nuestros estudiantes, dirigimos en dos direcciones: Indagar cuáles son los niveles de conocimientos digitales deseables para un alumno futuro docente del siglo XXI. En base a la revisión documental sobre este tema, consideramos que un estudiante de profesorado universitario posee competencias digitales si, además de dominarlas, las valora y es consciente de cómo ellas contribuyen a su formación académica y de cómo seguirán haciéndolo en su desempeño profesional futuro, consciente al mismo tiempo de que las TIC no poseen un potencial transformador en sí mismas, sino en función del uso que se haga de ellas. Comprobar la veracidad de nuestra hipótesis sobre los potenciales beneficios de las e-actividades en la formación digital de nuestros estudiantes, y de verificarse este supuesto, destacar las condiciones de calidad según las cuales deberían diseñarse
Resumo:
El análisis de las acciones verbales que tienen lugar en las clases proporciona información sobre las prácticas docentes. Los seres humanos contamos con el lenguaje como herramienta fundamental para comunicarnos y construir conocimiento. La reflexión sobre su uso, concretamente el uso que los docentes hacen de este instrumento netamente humano en sus prácticas, es esencial para acrecentar nuestro conocimiento acerca de la tarea docente.
Desde el área de la Didáctica de la Lengua y los enfoques teóricos de la Teoría de la actividad (Leontiev, 1983) y el Interaccionismo socio-discursivo (Bronckart, 1997/2004, 2007), emprendemos este trabajo que se circunscribe al material resultado de las observaciones de clases de Educación Física de nivel primario de escuelas públicas de San Carlos de Bariloche (Río Negro-Argentina). La metodología consiste en convertir los textos orales de las clases en registros escritos para estudiar su organización interna según tres niveles superpuestos, tal como Bronckart (1997/2004) plantea. El resultado es un trabajo de corte cualitativo en el que se estudian en profundidad los contenidos actitudinales presentes en las clases.
Nuestro objetivo es estudiar las interacciones docente-alumnos en el medio social áulico para determinar a través de qué actividades los docentes propiciamos el desarrollo de nuestros alumnos. Es decir, analizar cómo a través de los enunciados de los docentes, se construye el medio ambiente social y cultural (Voloshinov, 1992; Riestra, 2011) en las clases de Educación física.
Resumo:
Es un hecho que las Tecnologías de la Información y la Comunicación (TIC) han modificado nuestras prácticas sociales. También lo es que los jóvenes nacidos en los últimos años parecen haberse apropiado de ellas con gran habilidad. Sin embargo, luego de varios años enseñando TIC a alumnos de profesorados universitarios de la Facultad de Humanidades y Ciencias de la Educación (FaHCE) de la Universidad Nacional de la Plata, observamos que sus desempeños en relación a dichas tecnologías no parecía ni suficiente ni apropiado de acuerdo a los estándares internacionales y regionales vigentes de competencias digitales para el nivel universitario. Como estrategia didáctica superadora implementamos un diseño de instrucción basado en el modelo de aula extendida con e-actividades, buscando ampliar el contacto de los estudiantes con la propuesta de la asignatura, cuantitativa y cualitativamente. Luego, al haber obtenido algunas señales auspiciosas en cuanto el desarrollo de las competencias digitales de nuestros alumnos, nos formulamos la hipótesis que orientó nuestro trabajo: Las e-actividades en un modelo de aula extendida podrían favorecer el desarrollo de las competencias digitales académicas de los estudiantes de profesorados universitarios. Emprendimos entonces esta investigación que, con el objetivo principal de mejorar las competencias digitales de nuestros estudiantes, dirigimos en dos direcciones: Indagar cuáles son los niveles de conocimientos digitales deseables para un alumno futuro docente del siglo XXI. En base a la revisión documental sobre este tema, consideramos que un estudiante de profesorado universitario posee competencias digitales si, además de dominarlas, las valora y es consciente de cómo ellas contribuyen a su formación académica y de cómo seguirán haciéndolo en su desempeño profesional futuro, consciente al mismo tiempo de que las TIC no poseen un potencial transformador en sí mismas, sino en función del uso que se haga de ellas. Comprobar la veracidad de nuestra hipótesis sobre los potenciales beneficios de las e-actividades en la formación digital de nuestros estudiantes, y de verificarse este supuesto, destacar las condiciones de calidad según las cuales deberían diseñarse
Resumo:
El análisis de las acciones verbales que tienen lugar en las clases proporciona información sobre las prácticas docentes. Los seres humanos contamos con el lenguaje como herramienta fundamental para comunicarnos y construir conocimiento. La reflexión sobre su uso, concretamente el uso que los docentes hacen de este instrumento netamente humano en sus prácticas, es esencial para acrecentar nuestro conocimiento acerca de la tarea docente.
Desde el área de la Didáctica de la Lengua y los enfoques teóricos de la Teoría de la actividad (Leontiev, 1983) y el Interaccionismo socio-discursivo (Bronckart, 1997/2004, 2007), emprendemos este trabajo que se circunscribe al material resultado de las observaciones de clases de Educación Física de nivel primario de escuelas públicas de San Carlos de Bariloche (Río Negro-Argentina). La metodología consiste en convertir los textos orales de las clases en registros escritos para estudiar su organización interna según tres niveles superpuestos, tal como Bronckart (1997/2004) plantea. El resultado es un trabajo de corte cualitativo en el que se estudian en profundidad los contenidos actitudinales presentes en las clases.
Nuestro objetivo es estudiar las interacciones docente-alumnos en el medio social áulico para determinar a través de qué actividades los docentes propiciamos el desarrollo de nuestros alumnos. Es decir, analizar cómo a través de los enunciados de los docentes, se construye el medio ambiente social y cultural (Voloshinov, 1992; Riestra, 2011) en las clases de Educación física.
Resumo:
El análisis de las acciones verbales que tienen lugar en las clases proporciona información sobre las prácticas docentes. Los seres humanos contamos con el lenguaje como herramienta fundamental para comunicarnos y construir conocimiento. La reflexión sobre su uso, concretamente el uso que los docentes hacen de este instrumento netamente humano en sus prácticas, es esencial para acrecentar nuestro conocimiento acerca de la tarea docente.
Desde el área de la Didáctica de la Lengua y los enfoques teóricos de la Teoría de la actividad (Leontiev, 1983) y el Interaccionismo socio-discursivo (Bronckart, 1997/2004, 2007), emprendemos este trabajo que se circunscribe al material resultado de las observaciones de clases de Educación Física de nivel primario de escuelas públicas de San Carlos de Bariloche (Río Negro-Argentina). La metodología consiste en convertir los textos orales de las clases en registros escritos para estudiar su organización interna según tres niveles superpuestos, tal como Bronckart (1997/2004) plantea. El resultado es un trabajo de corte cualitativo en el que se estudian en profundidad los contenidos actitudinales presentes en las clases.
Nuestro objetivo es estudiar las interacciones docente-alumnos en el medio social áulico para determinar a través de qué actividades los docentes propiciamos el desarrollo de nuestros alumnos. Es decir, analizar cómo a través de los enunciados de los docentes, se construye el medio ambiente social y cultural (Voloshinov, 1992; Riestra, 2011) en las clases de Educación física.
Resumo:
Based on analyses of actual data, we reveal that many Asian developing economies own economic structural features of "non-mono-cultural economy" and the "large primary good sector", which have not been discussed in developing economies RBC literature. We also examine the input-output tables to develop a model reflecting actual developing economies' structures. Referring to the analyses, we construct RBC models of ASEAN countries. Based on the model, we find that approximately half of GDP volatility is attributable to domestic productivity shocks, and the remaining half is attributable to price shocks.
Resumo:
In this study, we apply the inter-regional input–output model to explain the relationship between China’s inter-regional spillover of CO2 emissions and domestic supply chains for 2002 and 2007. Based on this model, we propose alternative indicators such as the trade in CO2 emissions, CO2 emissions in trade, regional trade balances, and comparative advantage of CO2 emissions. The empirical results not only reveal the nature and significance of inter-regional environmental spillover within China’s domestic regions but also demonstrate how CO2 emissions are created and distributed across regions via domestic production networks. The main finding shows that a region’s CO2 emissions depend on not only its intra-regional production technique, energy use efficiency but also its position and participation degree in domestic and global supply chains.
Resumo:
As a common reference for many in-development standards and execution frameworks, special attention is being paid to Service-Oriented Architectures. SOAs modeling, however, is an area in which a consensus has not being achieved. Currently, standardization organizations are defining proposals to offer a solution to this problem. Nevertheless, until very recently, non-functional aspects of services have not been considered for standardization processes. In particular, there exists a lack of a design solution that permits an independent development of the functional and non-functional concerns of SOAs, allowing that each concern be addressed in a convenient manner in early stages of the development, in a way that could guarantee the quality of this type of systems. This paper, leveraging on previous work, presents an approach to integrate security-related non-functional aspects (such as confidentiality, integrity, and access control) in the development of services.
Resumo:
We show a procedure for constructing a probabilistic atlas based on affine moment descriptors. It uses a normalization procedure over the labeled atlas. The proposed linear registration is defined by closed-form expressions involving only geometric moments. This procedure applies both to atlas construction as atlas-based segmentation. We model the likelihood term for each voxel and each label using parametric or nonparametric distributions and the prior term is determined by applying the vote-rule. The probabilistic atlas is built with the variability of our linear registration. We have two segmentation strategy: a) it applies the proposed affine registration to bring the target image into the coordinate frame of the atlas or b) the probabilistic atlas is non-rigidly aligning with the target image, where the probabilistic atlas is previously aligned to the target image with our affine registration. Finally, we adopt a graph cut - Bayesian framework for implementing the atlas-based segmentation.