993 resultados para temporal disjunctive logic programming
Resumo:
OBJETIVO: Analisar a capacidade preditiva de índice cognitivo funcional para mortalidade entre idosos. MÉTODOS: Estudo de coorte realizado com 1.667 idosos acima de 65 anos residentes no município de São Paulo, SP, no período 1991-2001. O índice cognitivo funcional foi construído a partir da orientação temporal e funções executivas (fazer compras e tomar medicação), controlado por variáveis sociodemográficas, hábitos de vida, morbidade, autopercepção de saúde, internação, edentulismo e suporte social. Os óbitos ocorridos no período foram investigados com familiares em entrevistas domiciliares, em cartórios e registros da Fundação Seade (até 2003). Foram calculados riscos relativos brutos e ajustados com respectivos intervalos com 95% de confiança por meio de análise bivariada e múltipla com regressão de Poisson, adotando-se p<0,05. RESULTADOS: No modelo multivariado final os fatores de risco independentes identificados pelo índice foram: perda parcial da orientação temporal ou funções executivas (RR=1,37; IC 95%: 1,03;1,83); perda total da orientação e parcial das funções (RR=1,71; IC 95%: 1,24;2,37); perda parcial da orientação e total das funções (RR=1,76; IC 95%: 1,35;2,28); perda total da orientação e das funções (RR=1,64; IC 95%: 1,30;2,06), Quanto às condições de saúde: internação (RR=1,45; IC 95%: 1,22;1,73); diabetes (RR=1,20; IC 95%: 1,00;1,44); edentulismo total (RR=1,34; IC 95%: 1,09;1,66). Relacionamento mensal com parentes foi identificado como fator protetor (RR=0,83; IC 95%: 0,69;1,00). CONCLUSÕES: O Índice Cognitivo Funcional pode auxiliar clínicos e planejadores em decisões sobre estratégias de seguimento e prevenção de causas tratáveis de déficit cognitivo e perda funcional para diminuir a mortalidade entre os idosos.
Resumo:
Clustering analysis is a useful tool to detect and monitor disease patterns and, consequently, to contribute for an effective population disease management. Portugal has the highest incidence of tuberculosis in the European Union (in 2012, 21.6 cases per 100.000 inhabitants), although it has been decreasing consistently. Two critical PTB (Pulmonary Tuberculosis) areas, metropolitan Oporto and metropolitan Lisbon regions, were previously identified through spatial and space-time clustering for PTB incidence rate and risk factors. Identifying clusters of temporal trends can further elucidate policy makers about municipalities showing a faster or a slower TB control improvement.
Resumo:
In recent years several countries have set up policies that allow exchange of kidneys between two or more incompatible patient–donor pairs. These policies lead to what is commonly known as kidney exchange programs. The underlying optimization problems can be formulated as integer programming models. Previously proposed models for kidney exchange programs have exponential numbers of constraints or variables, which makes them fairly difficult to solve when the problem size is large. In this work we propose two compact formulations for the problem, explain how these formulations can be adapted to address some problem variants, and provide results on the dominance of some models over others. Finally we present a systematic comparison between our models and two previously proposed ones via thorough computational analysis. Results show that compact formulations have advantages over non-compact ones when the problem size is large.
Resumo:
Background: Temporal lobe epilepsy (TLE) is a neurological disorder that directly affects cortical areas responsible for auditory processing. The resulting abnormalities can be assessed using event-related potentials (ERP), which have high temporal resolution. However, little is known about TLE in terms of dysfunction of early sensory memory encoding or possible correlations between EEGs, linguistic deficits, and seizures. Mismatch negativity (MMN) is an ERP component – elicited by introducing a deviant stimulus while the subject is attending to a repetitive behavioural task – which reflects pre-attentive sensory memory function and reflects neuronal auditory discrimination and perceptional accuracy. Hypothesis: We propose an MMN protocol for future clinical application and research based on the hypothesis that children with TLE may have abnormal MMN for speech and non-speech stimuli. The MMN can be elicited with a passive auditory oddball paradigm, and the abnormalities might be associated with the location and frequency of epileptic seizures. Significance: The suggested protocol might contribute to a better understanding of the neuropsychophysiological basis of MMN. We suggest that in TLE central sound representation may be decreased for speech and non-speech stimuli. Discussion: MMN arises from a difference to speech and non-speech stimuli across electrode sites. TLE in childhood might be a good model for studying topographic and functional auditory processing and its neurodevelopment, pointing to MMN as a possible clinical tool for prognosis, evaluation, follow-up, and rehabilitation for TLE.
Resumo:
TLE in infancy has been the subject of varied research. Topographical and structural evidence is coincident with the neuronal systems responsible for auditory processing of the highest specialization and complexity. Recent studies have been showing the need of a hemispheric asymmetry for an optimization in central auditory processing (CAP) and acquisition and learning of a language system. A new functional research paradigm is required to study mental processes that require methods of cognitive-sensory information analysis processed in very short periods of time (msec), such as the ERPs. Thus, in this article, we hypothesize that the TLE in infancy could be a good model for topographic and functional study of CAP and its development process, contributing to a better understanding of the learning difficulties that children with this neurological disorder have.
Resumo:
Trabalho Final de Mestrado para obtenção do grau de Mestre em Engenharia Mecânica
Resumo:
In the last two decades, there was a proliferation of programming exercise formats that hinders interoperability in automatic assessment. In the lack of a widely accepted standard, a pragmatic solution is to convert content among the existing formats. BabeLO is a programming exercise converter providing services to a network of heterogeneous e-learning systems such as contest management systems, programming exercise authoring tools, evaluation engines and repositories of learning objects. Its main feature is the use of a pivotal format to achieve greater extensibility. This approach simplifies the extension to other formats, just requiring the conversion to and from the pivotal format. This paper starts with an analysis of programming exercise formats representative of the existing diversity. This analysis sets the context for the proposed approach to exercise conversion and to the description of the pivotal data format. The abstract service definition is the basis for the design of BabeLO, its components and web service interface. This paper includes a report on the use of BabeLO in two concrete scenarios: to relocate exercises to a different repository, and to use an evaluation engine in a network of heterogeneous systems.
Resumo:
Several Web-based on-line judges or on-line programming trainers have been developed in order to allow students to train their programming skills. However, their pedagogical functionalities in the learning of programming have not been clearly defined. EduJudge is a project which aims to integrate the “UVA On-line Judge”, an existing on-line programming trainer with an important number of problems and users, into an effective educational environment consisting of the e-learning platform Moodle and the competitive learning tool QUESTOURnament. The result is the EduJudge system which allows teachers to apply different pedagogical approaches using a proven e-learning platform, makes problems easy to search through an effective search engine, and provides an automated evaluation of the solutions submitted to these problems. The final objective is to provide new learning strategies to motivate students and present programming as an easy and attractive challenge. EduJudge has been tried and tested in three algorithms and programming courses in three different Engineering degrees. The students’ motivation and satisfaction levels were analysed alongside the effects of the EduJudge system on students’ academic outcomes. Results indicate that both students and teachers found that among other multiple benefits the EduJudge system facilitates the learning process. Furthermore, the experi- ment also showed an improvement in students’ academic outcomes. It must be noted that the students’ level of satisfaction did not depend on their computer skills or their gender.
Resumo:
A repository of learning objects is a system that stores electronic resources in a technology-mediated learning process. The need for this kind of repository is growing as more educators become eager to use digital educa- tional contents and more of it becomes available. The sharing and use of these resources relies on the use of content and communication standards as a means to describe and exchange educational resources, commonly known as learning objects. This paper presents the design and implementation of a service-oriented reposi- tory of learning objects called crimsonHex. This repository supports new definitions of learning objects for specialized domains and we illustrate this feature with the definition of programming exercises as learning objects and its validation by the repository. The repository is also fully compliant with existing commu- nication standards and we propose extensions by adding new functions, formalizing message interchange and providing a REST interface. To validate the interoperability features of the repository, we developed a repository plug-in for Moodle that is expected to be included in the next release of this popular learning management system.
Resumo:
Managing programming exercises require several heterogeneous systems such as evaluation engines, learning objects repositories and exercise resolution environments. The coordination of networks of such disparate systems is rather complex. These tools would be too specific to incorporate in an e-Learning platform. Even if they could be provided as pluggable components, the burden of maintaining them would be prohibitive to institutions with few courses in those domains. This work presents a standard based approach for the coordination of a network of e-Learning systems participating on the automatic evaluation of programming exercises. The proposed approach uses a pivot component to orchestrate the interaction among all the systems using communication standards. This approach was validated through its effective use on classroom and we present some preliminary results.
Resumo:
OBJETIVO: Analisar as tendências de asma em crianças e adolescentes entre 1998 e 2008 no Brasil. MÉTODOS: Foram analisados os dados de prevalência de asma da Pesquisa Nacional por Amostra de Domicílios, dos anos de 1998, 2003 e 2008. A amostra foi constituída por 141.402, 144.443 e 134.032 indivíduos em 1998, 2003 e 2008, respectivamente, e a análise foi ajustada pelo desenho amostral. As tendências de asma foram descritas por sexo, regiões do Brasil e local de residência, em crianças (zero a nove anos) e adolescentes (dez a 19 anos). RESULTADOS: A prevalência de asma entre crianças foi 7,7% em 1998, 8,1% em 2003 e 8,5% em 2008, com um incremento anual de 1%. O maior aumento anual foi observado nas regiões Sudeste e Norte (1,4%). Entre o grupo de adolescentes, a prevalência de asma foi de 4,4% em 1998, 5,0% em 2003 e 5,5% em 2008, com aumento de 2,2% ao ano. Na região Nordeste, o aumento anual na prevalência de asma foi de 3,5%. Os maiores incrementos foram observados entre os meninos e entre moradores da zona rural. CONCLUSÕES: Apesar de a asma apresentar um decréscimo em países emergentes, no Brasil os resultados apontam um incremento da asma entre crianças e adolescentes no período de 1998 e 2008, especialmente na zona rural.
Resumo:
Ancillary services represent a good business opportunity that must be considered by market players. This paper presents a new methodology for ancillary services market dispatch. The method considers the bids submitted to the market and includes a market clearing mechanism based on deterministic optimization. An Artificial Neural Network is used for day-ahead prediction of Regulation Down, regulation-up, Spin Reserve and Non-Spin Reserve requirements. Two test cases based on California Independent System Operator data concerning dispatch of Regulation Down, Regulation Up, Spin Reserve and Non-Spin Reserve services are included in this paper to illustrate the application of the proposed method: (1) dispatch considering simple bids; (2) dispatch considering complex bids.
Resumo:
OBJETIVO: Estimar a prevalência da anemia em crianças, sua tendência temporal e identificar fatores associados. MÉTODOS: Estudo de corte transversal, de base populacional, envolvendo 1.108 crianças, com idade entre seis e 59 meses, de ambos os sexos, do Estado da Paraíba, em 2007. A hemoglobina foi analisada em sangue venoso com contador automático. Foram considerados para anemia valores < 11,0 g/dL, forma leve 9-11g/dL, moderada 7-9 g/dL e grave < 7,0 g/dL. As condições socioeconômicas e demográficas das crianças foram obtidas por meio de questionário aos pais ou responsáveis. As proporções foram comparadas pelo teste do qui-quadrado de Pearson, e a associação entre as concentrações de hemoglobina e potenciais fatores de riscos foi testada pelo modelo de regressão de Poisson. A tendência temporal da anemia foi avaliada pelo incremento/redução na prevalência de anemia nos anos de 1982, 1992 e 2007. RESULTADOS: A prevalência de anemia foi de 36,5% (IC95% 33,7;39,3). Observa-se que 1,3% (IC95% 0,7;1,8) foi na forma grave, 11,1% (IC95% 9,4;13,5) na forma moderada e 87,6% (IC95% 79,1;91,2) na forma leve. Houve um incremento de 88,5% nos casos de anemia no período entre 1982 e1992 e uma estabilização na prevalência entre 1992 e 2007. A análise ajustada no modelo de Poisson mostrou maior suscetibilidade à anemia nas crianças de seis a 24 meses de idade, naquelas amamentadas por seis meses ou mais, que co-habitavam com mais de quatro pessoas no mesmo domicílio e moravam em casas com menos de cinco cômodos. CONCLUSÕES: A alta prevalência de anemia mostra que continua sendo um importante problema de saúde pública no Estado da Paraíba. Apesar da estabilização na prevalência entre 1992 e 2007, a anemia apresenta-se em elevado patamar, o que impõe medidas mais efetivas de prevenção e controle.
Resumo:
In Distributed Computer-Controlled Systems (DCCS), a special emphasis must be given to the communication infrastructure, which must provide timely and reliable communication services. CAN networks are usually suitable to support small-scale DCCS. However, they are known to present some reliability problems, which can lead to an unreliable behaviour of the supported applications. In this paper, an atomic multicast protocol for CAN networks is proposed. This protocol explores the CAN synchronous properties, providing a timely and reliable service to the supported applications. The implementation of such protocol in Ada, on top of the Ada version of Real-Time Linux is presented, which is used to demonstrate the advantages and disadvantages of the platform to support reliable communications in DCCS.
Resumo:
After a historical introduction, the bulk of the thesis concerns the study of a declarative semantics for logic programs. The main original contributions are: ² WFSX (Well–Founded Semantics with eXplicit negation), a new semantics for logic programs with explicit negation (i.e. extended logic programs), which compares favourably in its properties with other extant semantics. ² A generic characterization schema that facilitates comparisons among a diversity of semantics of extended logic programs, including WFSX. ² An autoepistemic and a default logic corresponding to WFSX, which solve existing problems of the classical approaches to autoepistemic and default logics, and clarify the meaning of explicit negation in logic programs. ² A framework for defining a spectrum of semantics of extended logic programs based on the abduction of negative hypotheses. This framework allows for the characterization of different levels of scepticism/credulity, consensuality, and argumentation. One of the semantics of abduction coincides with WFSX. ² O–semantics, a semantics that uniquely adds more CWA hypotheses to WFSX. The techniques used for doing so are applicable as well to the well–founded semantics of normal logic programs. ² By introducing explicit negation into logic programs contradiction may appear. I present two approaches for dealing with contradiction, and show their equivalence. One of the approaches consists in avoiding contradiction, and is based on restrictions in the adoption of abductive hypotheses. The other approach consists in removing contradiction, and is based in a transformation of contradictory programs into noncontradictory ones, guided by the reasons for contradiction.