Avaliação das necessidades, incapacidade, qualidade de vida e satisfação com os serviços de indivíduos com esquizofrenia em Cabo Verde

RESUMO: OBJECTIVO: Avaliar as necessidades, incapacidade, qualidade de vida, satisfação com os serviços e as características sociodemográficas numa amostra de pacientes com esquizofrenia num Serviço de Psiquiatria, em Cabo Verde. MÉTODOS: Realizou-se estudo transversal com 122 doentes com recurso a instrumentos estruturados para as necessidades (CAN), incapacidade (WHODAS II), qualidade de vida (WHOQOL-BREF) e satisfação com os serviços (VSSS) e uma ficha para recolha de dados sociodemográficos. RESULTADOS: Os doentes eram maioritariamente do sexo masculino (73,8%) com uma idade média de 35,23 anos, uma escolaridade baixa (59,8%), solteiros (81.1%), residindo em meio urbano (72,1%) e desempregados (63,2%). A maioria estava a tomar medicação antipsicótica (97,5%), tinha história de internamento (76.2%), uma média de início da doença aos 23,43 anos e uma duração média de 11,80 anos. As necessidades referidas foram baixas e as facetas mais identificadas foram a informação, os subsídios e benefícios sociais, as actividades diárias, os contactos sociais e sofrimento psicológico. Cerca 20% dos participantes manifestaram uma incapacidade, sobretudo no domínio da da participação na sociedade (47,2%). A média da qualidade de vida foi 65,08 (desvio-padrão: 21,35), com o domínio psicológico a apresentar o valor mais alto (74,21, desvio-padrão: 14,87) e o ambiental o mais baixo (59,27, desvio-padrão: 15,15). A satisfação com os serviços foi avaliada de forma positiva nas dimensões satisfação global e competência dos profissionais. As dimensões informação, envolvimento dos familiares, eficácia e acesso tiveram avaliação insatisfatória. Os tipos de intervenções, com vários serviços pouco disponibilizados, tiveram uma satisfação relativa. DISCUSSÃO: Num contexto de carência, os resultados revelaram-se mais satisfatórios do que esperados, mas com grandes insuficiências no processo de cuidados. CONCLUSÃO: O estudo permitiu conhecer o processo de cuidados aos doentes com esquizofrenia e disponibilizou elementos para programas de cuidados.-----------ABSTRACT: OBJECTIVE: Assess needs, disability, quality of life, satisfaction with the services and the socio-demographic characteristics in a sample of patients with schizophrenia in a Psychiatric Service in Cape Verde. MATHODS: It was carried out a cross-sectional study with 122 patients using the structured instruments for the needs (CAN), disability (WHODAS II), quality of life (WHOQOLBREF),satisfaction with the services (VSSS) and socio-demographic data collection. RESULTS: The patients are mainly of the male sex (73.8%) with average age of 35.23 years old, low education level (59.8%), single (81.1%), living in urban area and unemployed (63.2%). Most of them were taking antipsychotic medication (97.5%), had a history of hospitalization (76.2%), an average of disease onset at 23.43 years old and an average duration of 11.80 years. The needs mentioned were low and the most identified facets were information, subsidies and social benefits, daily routines, social contacts and psychological distress. Around 20% of the participants expressed one disability, especially at the domain of the participation in the society (47.2%). The average quality of life was 65.08 (standard deviation: 21.35), with the domain of the psychological presenting the highest value (74.21, standard deviation: 14.87) and environmental the lowest (59.27, standard deviation: 15.15). The satisfaction with services was positively assessed in the dimensions of overall satisfaction and competency of the professionals. The dimensions information, family involvement, effectiveness and access had positive evaluation. The types of intervention with services poorly available had a relative satisfaction. DISCUSSION: In a context of shortage, the results were considered more satisfactory than expected, but with many inadequacies in the process of care. CONCLUSION: This study allowed to know the process of care to the patients with schizophrenia and provided elements for the programs of care.

Risk factors for physical disability at diagnosis of 19,283 new cases of leprosy

INTRODUCTION: The purpose of this study was to evaluate risk factors for physical disability at the moment of leprosy diagnosis. METHODS: This is a retrospective, descriptive and exploratory investigation of 19,283 patients with leprosy, registered in the State of Minas Gerais, Brazil, between 2000 and 2005. RESULTS: The risk of Grade 2 disability was 16.5-fold higher in patients with lepromatous leprosy, and 12.8-fold higher in patients presenting the borderline form, compared to patients presenting indeterminate leprosy. The occurrence of more than one thickened nerve increased the odds of a patient developing Grade 2 disability, 8.4-fold. Age <15 years, multibacillary leprosy and no formal education presented 7.0, 5.7 and 5.6 odds of developing physical disability, respectively. CONCLUSIONS: These factors should be considered as strong prognostic indicators in the development of physical disability at diagnosis.

O impacto da Rede Nacional de Cuidados Continuados Integrados (RNCCI) na demora média hospitalar

RESUMO - Enquadramento: O envelhecimento dos indivíduos nos países mais desenvolvidos e o aumento da incidência de doenças crónicas associadas a estados de dependência e incapacidade têm contribuído para o desenho e implementação de novas políticas de saúde e sociais. Assiste-se, por isso, atualmente, a uma mudança no paradigma da procura de cuidados de saúde, sendo crescente a procura de cuidados de longa duração ou cuidados continuados. O desenvolvimento e implementação de novos modelos de prestação de cuidados de saúde pretendem dar resposta à crescente procura de cuidados continuados, bem como promover a eficiência dos serviços e a disponibilização de camas nos hospitais, retirando dos serviços de agudos as pessoas que não necessitam de cuidados hospitalares, mas sim de cuidados continuados. Neste contexto foi criada em Portugal a Rede Nacional de Cuidados Continuados Integrados (RNCCI), como resposta ao aumento do número de pessoas em situação de dependência, e que necessitam tanto de cuidados de saúde como sociais, e à necessidade de reorganizar e promover a eficiência dos serviços de internamento hospitalar. Objetivo: Determinar o impacto da RNCCI na demora média hospitalar, no período de tempo compreendido entre 1 de Janeiro de 2009 e 31 de Junho de 2011. Métodos: O estudo realizado, com base na revisão da literatura, descreve os principais aspectos referentes ao envelhecimento dos indivíduos e aos cuidados continuados. Foram descritos diferentes modelos e programas organizacionais de prestação de cuidados continuados e o seu impacto na demora média hospitalar. Foi determinada a população em estudo no período de tempo compreendido entre 1 de Janeiro de 2009 e 31 de Junho de 2011. A população foi caraterizada de acordo com o ano e distribuída por dez trimestres para melhor tratamento estatístico e leitura dos dados. Foi considerado o sexo e a faixa etária dos indivíduos sinalizados, de acordo com o GDH de internamento hospitalar e respetiva sub-região de saúde. Foi comparada por trimestre a demora média dos internamentos hospitalares e a demora média hospitalar dos episódios referenciados a nível nacional e ao nível das sub-regiões de saúde. Foram caraterizados os GDH que representam 50% das sinalizações. Foram analisados, por semestre, os três GDH com maior número de referenciações para a RNCCI de acordo com as diferentes regiões de saúde, comparando as respetivas demoras médias nacionais e regionais. Resultados: No periodo de tempo em análise foi verificado que a população com maior utilização dos serviços da RNCCI encontra-se na faixa etária entre 65 ou mais anos, com 79,4% do total de sinalizações efetuadas. Tendo 50% das sinalizações sido referentes aos GDH 14, GDH 211, GDH 533, GDH 818, GDH 810 e GDH 209. Foi apurada uma demora média nacional compreendida entre os 7,3 dias e os 7,7 dias, comparativamente a uma demora média dos episódios referenciados para a RNCCI compreendida entre os 21,9 dias e os 33 dias, para o mesmo período de tempo. Em termos regionais a região de LVT apresenta os valores de demora média mais elevados, com um intervalo entre os 28,8 dias e os 50,3 dias de demora média. Para o GDH 14 foi observada uma demora média dos episódios referenciados compreendida entre os 14,4 dias e os 26,7 dias. No mesmo período de tempo o a demora média nacional para o mesmo GDH situava-se entre os 9,8 dias e os 10,2 dias. Para o GDH 211 foi observada uma demora média dos episódios referenciados compreendida entre os 17,2 dias e os 28,9 dias. Comparativamente a demora média nacional para o mesmo GDH situava-se entre os 12,5 dias e os 13,5 dias. Para o GDH 533 foi observada uma demora média dos episódios referenciados compreendida entre os 23,3 dias e os 52,7 dias. Comparativamente, no mesmo período de tempo, a demora média nacional para o mesmo GDH situava-se entre os 18,7 dias e os 19,7 dias. Conclusões: Foi possível concluir, quanto ao impacto da RNCCI na demora média hospitalar, que a demora média dos episódios referenciados para a Rede é superior à demora média nacional em todo o período de tempo em análise. Relativamente à demora média dos GDH com maior número de referenciações, os GDH 14, 211 e 533, verifica-se que todos eles apresentam uma demora média de referenciação superior à demora média nacional, e demora média regional para o mesmo GDH, em todo o período de tempo do estudo. Ou seja, foi possível verificar que a demora média para indivíduos com o mesmo GDH é superior nos que são referenciados para a RNCCI.

Electromyography function, disability degree, and pain in leprosy patients undergoing neural mobilization treatment

INTRODUCTION: This study aimed to evaluate the effect of the neural mobilization technique on electromyography function, disability degree, and pain in patients with leprosy. METHODS: A sample of 56 individuals with leprosy was randomized into an experimental group, composed of 29 individuals undergoing treatment with neural mobilization, and a control group of 27 individuals who underwent conventional treatment. In both groups, the lesions in the lower limbs were treated. In the treatment with neural mobilization, the procedure used was mobilization of the lumbosacral roots and sciatic nerve biased to the peroneal nerve that innervates the anterior tibial muscle, which was evaluated in the electromyography. RESULTS: Analysis of the electromyography function showed a significant increase (p<0.05) in the experimental group in both the right (Δ%=22.1, p=0.013) and the left anterior tibial muscles (Δ%=27.7, p=0.009), compared with the control group pre- and post-test. Analysis of the strength both in the movement of horizontal extension (Δ%right=11.7, p=0.003/Δ%left=27.4, p=0.002) and in the movement of back flexion (Δ%right=31.1; p=0.000/Δ%left=34.7, p=0.000) showed a significant increase (p<0.05) in both the right and the left segments when comparing the experimental group pre- and post-test. The experimental group showed a significant reduction (p=0.000) in pain perception and disability degree when the pre- and post-test were compared and when compared with the control group in the post-test. CONCLUSIONS: Leprosy patients undergoing the technique of neural mobilization had an improvement in electromyography function and muscle strength, reducing disability degree and pain.

The Impact of income support programs on transitions to employment

The income support programs are created with the purpose of fighting both, the poverty trap and the inactivity trap. The balance between both is fragile and hard to find. Thus, the goal of this work is to contribute to solve this issue by finding how income support programs, particularly the Portuguese RSI, affect transitions to employment. This is made through duration analysis, namely using Cox and Competing Risks models. A particular feature is introduced in this work as it incorporates the possibility of Defective Risks. The estimated hazard elasticity with respect to the amount of RSI received for individuals who move to employment is -0,41. More than a half of RSI receivers stays for more than a year and the probability of never leaving to employment is 44%. The results appear to indicate that RSI has affected negatively transitions to employment.

Degree of disability, pain levels, muscle strength, and electromyographic function in patients with Hansen's disease with common peroneal nerve damage

INTRODUCTION: This study evaluated the degree of disability, pain levels, muscle strength, and electromyographic function (RMS) in individuals with leprosy. METHODS: We assessed 29 individuals with leprosy showing common peroneal nerve damage and grade 1 or 2 disability who were referred for physiotherapeutic treatment, as well as a control group of 19 healthy participants without leprosy. All subjects underwent analyses of degree of disability, electromyographic tests, voluntary muscle force, and the Visual Analog Pain Scale. RESULTS: McNemar's test found higher levels of grade 2 of disability (Δ = 75.9%; p = 0.0001) among individuals with leprosy. The Mann-Whitney test showed greater pain levels (Δ = 5.0; p = 0.0001) in patients with leprosy who had less extension strength in the right and left extensor hallucis longus muscles (Δ = 1.28, p = 0.0001; Δ = 1.55, p = 0.0001, respectively) and dorsiflexion of the right and left feet (Δ = 1.24, p = 0.0001; Δ = 1.45, p = 0.0001, respectively) than control subjects. The Kruskal-Wallis test showed that the RMS score for dorsiflexion of the right (Δ = 181.66 m·s-2, p = 0.001) and left (Δ = 102.57m·s-2, p = 0.002) feet was lower in patients with leprosy than in control subjects, but intragroup comparisons showed no difference. CONCLUSIONS: Leprosy had a negative influence on all of the study variables, indicating the need for immediate physiotherapeutic intervention in individuals with leprosy. This investigation opens perspectives for future studies that analyze leprosy treatment with physical therapeutic intervention.

Classificação Internacional de Funcionalidade, Incapacidade e Saúde : uma dimensão do neurodesenvolvimento

RESUMO: Objetivo Principal • Determinar a consistência da utilização dos instrumentos de avaliação da capacidade intelectual – escalas de Griffiths e WISC III – no enquadramento dos domínios e dos qualificadores da CIF-CJ, restrita às funções mentais do corpo. Objetivo secundário: • Estudar a efetividade e concordância inter-observador da aplicação da CIF, com base na leitura dos dados obtidos em avaliação efetuada com os instrumentos referidos, por duas observadoras independentes, em contexto de articulação saúde, respetivamente educação e segurança social Métodos • Estudo observacional, descritivo, transversal e prospetivo. • Foi estudada uma amostra de conveniência 355 crianças, num período de três anos (Maio de 2010 a 30 de Abril de 2013), com patologia da área da pediatria do neurodesenvolvimento (total de 4000 consultas) no Centro de Desenvolvimento (CD) do Hospital de Dona Estefânia (HDE), Centro Hospitalar de Lisboa Central, EPE (CHLC, EPE). • Critérios de inclusão: crianças de ambos os sexos, observadas no CD do HDE, CHLC (primeiras consultas e consultas de reavaliação) com idade ≥12 meses e ≤17 anos e incapacidade intelectual definida de acordo com os critérios da DSM-IV-TR, DSM 5 e CID-10. • Critérios de exclusão: crianças com autismo, perturbações específicas da linguagem, hiperatividade, défice de atenção e concentração, défices sensoriais congénitos (baixa visão e ou audição), ou com outros diagnósticos de perturbações de neurodesenvolvimento. • O estudo teve duas fases: na primeira, a investigadora principal colheu ou atualizou a história clínica, observou clinicamente as crianças solicitando os exames complementares considerados necessários e foi efetuada avaliação psicológica com os instrumentos adiante descritos, pela mesma psicóloga clínica, devidamente credenciada, e com larga experiência nas escalas referidas. Com base nos dados colhidos, quer por observação direta, quer através dos resultados das escalas Griffiths e WISC – III, a investigadora aplicou a CIF-CJ, circunscrita aos domínios e funções (variáveis): 1. FUNÇÕESMENTAIS GLOBAIS (b110- Funções da consciência, b114- Funções da orientação no espaço e no tempo, b117 – Funções intelectuais, b122- Funções psicossociais globais, b125- Funções intrapessoais, b126- Funções do temperamento e da personalidade); 2.FUNÇÕES MENTAIS ESPECÌFICAS (b140- funções da atenção, b147- Funções psicomotoras, b152- Funções emocionais, b156- Funções da perceção, b163- Funções cognitivas básicas, b164- Funções cognitivas de nível superior, b167- Funções mentais da linguagem 3. FUNÇÕES DA VOZ E DA FALA (b320- Funções da articulação, b330- Funções da fluência e do ritmo da fala). Numa segunda fase, foi solicitada a colaboração de duas co-investigadoras, com formação específica nas escalas utilizadas e na CIF-CJ, a aplicação da CIF nos mesmos domínios e funções. Estas observadoras não efetuaram observações diretas das crianças envolvidas. • Para efetuar a análise estatística e analisar a relação entre os qualificadores (0 a 4) das variáveis da CIF em estudo (b117, b122, b147, b163, b164, b167, b320 e b330) e os instrumentos psicométricos (escalas de Griffiths e WISC III), que constitui a primeira parte do estudo, recorreu-se à técnica estatística não paramétrica do coeficiente de correlação de Spearman, que quantifica a intensidade e sinal da eventual correlação existente entre as variáveis em estudo. • Para determinar as correlações referentes à segunda parte do estudo, foram utilizados os programas SPSS®, (IBM SPSS Statistics) e Statistica® (StatSoft, Inc., 2011). STATISTICA (data analysis software system, version 10. www.statsoft.com.), tendo-se dado preferência aos gráficos deste último. Resultados 1. Observou-se um predomínio do sexo masculino (relação de 1:1,9); relativamente à idade no momento de avaliação, 242 crianças (68,1%) tinham entre zero e seis anos e, dentro destas, a maioria (189) situava-se entre os três e os seis anos. 2. De acordo com a DSM-IV e DSM-5, 261 (73,4%) crianças apresentavam incapacidade intelectual ligeira. 3. A avaliação da competência intelectual pelas escalas de Ruth Griffiths e WISC III (QI), revelaram correlação negativa predominantemente forte e muito forte (índice de Spearman) com os qualificadores das funções do corpo estudadas (funções mentais, mentais específicas e da voz). Os resultados obtidos pela co-investigadora A foram sobreponíveis aos da investigadora principal. Os resultados obtidos pela co-investigadora B revelaram correlação negativa moderada e forte, correlação inferior à da investigadora principal; Conclusões Os resultados permitem inferir que as escalas de Ruth Griffiths e WISC-III são instrumentos adequados para caracterizar a incapacidade intelectual na CIF-CJ; a concordância inter-observador, moderada, nos qualificadores atribuídos nas funções em análise pela investigadora e co-investigadoras, permite concluir que as escalas de Ruth Griffiths e WISC IIIl são bons instrumentos para caracterizar os qualificadores nos domínios e funções estudados, por diferentes grupos de profissionais ligados à infância. Subsistem dificuldades na diferenciação entre qualificadores, designadamente entre os qualificadores 1 e 2, o que tem necessariamente implicações na elegibilidade das crianças para os apoios preconizados pelo DL 3/2008. ------------------------ ABSTRACT: Main objective • To determine the consistency of the use of assessment tools for intellectual ability - Griffiths and WISC III scales - in the context of domains and qualifiers for the ICF-CY, restricted to the mental functions of the body. Secondary objective • Studying the effectiveness and inter-observer concordance concerning the application of the ICF, based on the data recovered from the assessment made with the mentioned instruments, carried out by two independent observers including their perspective on health, education and social security. Methods • Observational, descriptive, cross-sectional and prospective study. • A convenience sample of 355 children was studied over a period of three years (May 2010 to April 2013), with a pathology in the area of pediatric neurodevelopment – intellectual disability (total of 4000 consultations, including first consultations and revaluations) were observed in the Development Centre (CD) in Hospital de Dona Estefânia (HDE), Centro Hospitalar de Lisboa Central, EPE (CHLC). • Inclusion criteria: children of both sexes aged ≥12 months and years ≤17 and intellectual disability defined according to the criteria in the DSM-IV-TR, DSM 5 and ICD-10. • Exclusion criteria: children with autism; specific language impairment, hyperactivity; attention deficit disorder; severe birth sensory deficits (eg, impaired vision and hearing); amongst other diagnoses for neurodevelopmental disorders. • The study was conducted in two phases: in the first phase the principal investigator collected or updated medical history, clinically observed children requesting additional investigations if she deemed necessary. Psychological evaluation was performed by a single, duly licensed clinical psychologist with extensive experience in the referred scales using the instruments described below. Based on data collected, either by direct observation or through the results of Griffiths scales and WISC - III, the researcher applied the ICF-CY confined to the following fields and functions (variables): 1. GLOBAL MENTAL FUNCTIONS (b110- functions of consciousness, b114- Functions referring to space and time orientation , b117 - intellectual functions, b122- global psychosocial functions, b125- intrapersonal functions, b126- functions related to temperament and personality); 2. SPECIFIC MENTAL FUNCTIONS ( b140- attention functions, b147-psychomotor functions, b152- Emotional functions, b156- perception functions, b163- basic cognitive functions and cognitive functions b164- top level b167- language related mental functions. ) 3. VOICE AND SPEECH FUNCTIONS (b320-articulation functions, b330- fluency and rhythm of speech functions). • In the second phase, two co-investigators, with specific training on the scales used and the ICF-CY have applied the ICF in the domains and functions mentioned above, based on the scales results. These co-investigators did not make any direct observation of the studied children. • To perform the statistical analysis and analyze the relationship between the qualifiers (0-4) of the variables in the ICF study (b117, b122, b147, B163, B164, b167, b320 and B330) and psychometric instruments (Griffiths scale and WISC III), which is the first part of the study, the statistical technique of non-parametric Spearman correlation coefficient was used, which quantifies the strength and sign of the possible correlation between the variables under study. • For submission of correlations related to the second part of the study, SPSS (IBM SPSS) and Statistica (StatSoft, Inc., 2011) programs were used. STATISTICA (data analysis software system, version 10 www.statsoft.com.). Preference was given to graphs computed in Statistica. Results • Male predominated (ratio of 1: 1.9). 242 children (68.1% of the sample) were aged between zero and six years and, among these, the majority (189) was aged largest number between three and six years. • According to the DSM-IV and DSM-5, 261 (73.4%) children had mild intellectual disability. The correlation between the assessment of intellectual competence by Ruth Griffiths scales and WISC III (QI), was predominantly negative strong and very strong correlation with the qualifiers of body functions studied (specific mental functions, mental and voice functions using Spearman index). The levels of correlation obtained by the co-investigatores were in agreeance with the results from the principal investigator. The results obtained by co-investigator B showed moderate to strong negative correlation, levels that were lower to the those registered by the principal investigator; Conclusions These results indicate that Ruth Griffiths and WISC-III scales are adequate tools to characterize intellectual disability in the ICF-CY; moderate inter-observer agreement in the qualifiers assigned the functions under analysis by the researcher and co-researchers, shows that the scales are also good tools to measure CIF qualifyers by diferent technicians with different professional orientations, related to children. However, there are still difficulties in differentiating qualifiers, namely between qualifiers 1/2 and 3/4, which necessarily has implications for the eligibility of children for the state support advocated by the Portuguese Decret Law 3/2008.

Using the International Classification of Functioning, Disability and Health as a tool for analysis of the effect of physical therapy on spasticity in HAM/TSP patients

INTRODUCTION: This study aimed to evaluate spasticity in human T-lymphotropic virus type 1-associated myelopathy/tropical spastic paraparesis (HAM/TSP) patients before and after physical therapy using the International Classification of Functioning, Disability and Health (ICF). METHODS: Nine subjects underwent physical therapy. Spasticity was evaluated using the Modified Ashworth Scale. The obtained scores were converted into ICF body functions scores. RESULTS: The majority of subjects had a high degree of spasticity in the quadriceps muscles. According to the ICF codes, the spasticity decreased after 20 sessions of physical therapy. CONCLUSIONS: The ICF was effective in evaluating spasticity in HAM/TSP patients.

From software extensions to product lines of dataflow programs

Abstract Dataflow programs are widely used. Each program is a directed graph where nodes are computations and edges indicate the flow of data. In prior work, we reverse-engineered legacy dataflow programs by deriving their optimized implementations from a simple specification graph using graph transformations called refinements and optimizations. In MDE-speak, our derivations were PIM-to-PSM mappings. In this paper, we show how extensions complement refinements, optimizations, and PIM-to-PSM derivations to make the process of reverse engineering complex legacy dataflow programs tractable. We explain how optional functionality in transformations can be encoded, thereby enabling us to encode product lines of transformations as well as product lines of dataflow programs. We describe the implementation of extensions in the ReFlO tool and present two non-trivial case studies as evidence of our work’s generality

Response of blood pressure to maximum exercise in hypertensive patients under different therapeutic programs

OBJECTIVE: To evaluate the behavior of blood pressure during exercise in patients with hypertension controlled by frontline antihypertension drugs. METHODS: From 979ergometric tests we retrospectively selected 49 hipertensive patients (19 males). The age was 53±12 years old and normal range rest arterial pressure (<=140/90 mmHg) all on pharmacological monotherapy. There were 12 on beta blockers; 14 on calcium antagonists, 13 on diuretics and 10 on angiotensin converting enzyme inhibitor. Abnormal exercise behhavior of blood pressure was diagnosed if anyone of the following criteria was detected: peak systolic pressure above 220 mmHg, raising of systolic pressure > or = 10 mmHg/MET; or increase of diastolic pressure greater than 15 mmHg. RESULTS: Physiologic response of arterial blood pressure occurred in 50% of patients on beta blockers, the best one (p<0.05), in 36% and 31% on calcium antagonists and on diuretics, respectively, and in 20% on angiotensin converting enzyme inhibitor, the later the leastr one (p<0.05). CONCLUSION: Beta-blockers were more effective than calcium antagonists, diuretics and angiotensin-converting enzyme inhibitors in controlling blood pressure during exercise, and angiotensin converting enzyme inhibitors the least effective drugs.

Métodos para el análisis de programas probabilistas y no-deterministas utilizando probadores de teoremas. Methods for the analysis of probabilistic and nondeterministic programs using theorem provers.

La verificación y el análisis de programas con características probabilistas es una tarea necesaria del quehacer científico y tecnológico actual. El éxito y su posterior masificación de las implementaciones de protocolos de comunicación a nivel hardware y soluciones probabilistas a problemas distribuidos hacen más que interesante el uso de agentes estocásticos como elementos de programación. En muchos de estos casos el uso de agentes aleatorios produce soluciones mejores y más eficientes; en otros proveen soluciones donde es imposible encontrarlas por métodos tradicionales. Estos algoritmos se encuentran generalmente embebidos en múltiples mecanismos de hardware, por lo que un error en los mismos puede llegar a producir una multiplicación no deseada de sus efectos nocivos.Actualmente el mayor esfuerzo en el análisis de programas probabilísticos se lleva a cabo en el estudio y desarrollo de herramientas denominadas chequeadores de modelos probabilísticos. Las mismas, dado un modelo finito del sistema estocástico, obtienen de forma automática varias medidas de performance del mismo. Aunque esto puede ser bastante útil a la hora de verificar programas, para sistemas de uso general se hace necesario poder chequear especificaciones más completas que hacen a la corrección del algoritmo. Incluso sería interesante poder obtener automáticamente las propiedades del sistema, en forma de invariantes y contraejemplos.En este proyecto se pretende abordar el problema de análisis estático de programas probabilísticos mediante el uso de herramientas deductivas como probadores de teoremas y SMT solvers. Las mismas han mostrado su madurez y eficacia en atacar problemas de la programación tradicional. Con el fin de no perder automaticidad en los métodos, trabajaremos dentro del marco de "Interpretación Abstracta" el cual nos brinda un delineamiento para nuestro desarrollo teórico. Al mismo tiempo pondremos en práctica estos fundamentos mediante implementaciones concretas que utilicen aquellas herramientas.

Programa de capacitación y de ejecución de acciones para favorecer el desarrollo del potencial exportador de las empresas pequeñas y medianas de Río Cuarto y región.Capacitation Programs to Encouraged Development of Rio Cuarto and Region Exports Potential.

Identificación: Programa de capacitación y de ejecución de acciones para favorecer el desarrollo del potencial exportador de las empresas pequeñas y medianas de Río Cuarto y región. Caracterización del problema objeto de estudio: La zona de influencia de la ciudad de Río Cuarto posee, por su ubicación y características naturales, un potencial exportador no explotado, considerando la actual dinámica de los mercados internacionales. La ciudad está en el cruce de rutas nacionales que la conecta a las principales ciudades del MERCOSUR, con salida al Pacífico y al Atlántico y conexión rápida a rutas que van hacia la frontera norte del país. A modo de presentación de situaciones favorables, en el caso de Bolivia es para aprovechar el prestigio de los productos argentinos en ese mercado y las ventajas que las empresas chicas y medianas pueden disponer al no existir barreras idiomáticas, razonables requisitos de calidad y una gran necesidad de productos elaborados que pueden ser ofertados por PYMES regionales.En el caso de Chile importan tres aspectos: primero, la cercanía geográfica a la zona de Río Cuarto, ya que se accede en forma directa por vía terrestre, con una distancia de sólo 900 Km. respecto a la zona metropolitana de ese país; segundo, es el mercado regional con mayores niveles de exigencia para acceder al mismo, constituyendo por lo tanto una buena plataforma de aprendizaje para lograr el acceso luego al mundo desarrollado; tercero, al tener Chile firmado acuerdos de libre comercio con mercados que suman 3500 millones de habitantes, con acceso directo al cinturón del Pacífico, que es la zona más dinámica del comercio mundial actual, ese país necesita complementarse con sus vecinos para poder aprovechar las demandas potenciales de esos mercados.Con el proyecto se pretende contribuir a acentuar la internacionalización económica de la ciudad de Río Cuarto y su región circundante. Hipótesis:Se puede generar un polo exportador pyme a partir de la actividad sistemática de un programa de difusión de conocimientos sobre el comercio exterior, lo que contribuirá a profundizar la sustentabilidad económica de Río Cuarto y su región circundante.Objetivos: -a) Crear, desde el programa, una oferta de capacitación y asesoramiento que satisfaga los interrogantes y necesidades de las empresas pequeñas y medianas que busquen iniciarse en la actividad de exportación. b) Promover la formación de consorcios y formas asociativas, sobre todo de pequeñas y medianas empresas, para expandir el comercio exterior regional. c) Difundir las posibilidades de inserción internacional de las pymes regionales y sus requerimientos en los aspectos productivos y de comercialización. Estos últimos suelen constituir puntos críticos en el desarrollo exportador de las firmas. d) Analizar las posibilidades competitivas en el comercio internacional, en especial en el área del MERCOSUR, de cluster Materiales y Métodos a Utilizar: - Elaboración de un Monitor de Expectativas Empresariales con el objetivo de cuantificar la actual y la potencial Oferta Exportadora Regional. - Desarrollo de Análisis Sectoriales para determinar las posibilidades de incrementar las ventas al exterior de productos regionales. - Creación de Informes Especiales sobre Productos Regionales, los cuales le permitirán a Pequeños y Medianos Productores conocer en detalle, las oportunidades y exigencias para ingresar a los mercados externos, especialmente al área del MERCOSUR. - Organización de Viajes y Rondas de Negocios con el fin de fortalecer los lazos comerciales y culturales del empresariado local y extranjero. Resultados Esperados: - Profundizar conocimientos sobre las posibilidades que poseen los productos regionales de ingresar a los mercados externos. - Lograr una difusión generalizada de conocimientos sobre el Comercio Exterior, brindándole a las Pymes las herramientas básicas y fundamentales para que puedan desarrollar su potencial exportador.

Sistemas de Tipos para Verificación de Programas Concurrentes. Type Systems for Concurrent Programs Verification.

La programación concurrente es una tarea difícil aún para los más experimentados programadores. Las investigaciones en concurrencia han dado como resultado una gran cantidad de mecanismos y herramientas para resolver problemas de condiciones de carrera de datos y deadlocks, problemas que surgen por el mal uso de los mecanismos de sincronización. La verificación de propiedades interesantes de programas concurrentes presenta dificultades extras a los programas secuenciales debido al no-determinismo de su ejecución, lo cual resulta en una explosión en el número de posibles estados de programa, haciendo casi imposible un tratamiento manual o aún con la ayuda de computadoras. Algunos enfoques se basan en la creación de lenguajes de programación con construcciones con un alto nivel de abstración para expresar concurrencia y sincronización. Otros enfoques tratan de desarrollar técnicas y métodos de razonamiento para demostrar propiedades, algunos usan demostradores de teoremas generales, model-checking o algortimos específicos sobre un determinado sistema de tipos. Los enfoques basados en análisis estático liviano utilizan técnicas como interpretación abstracta para detectar ciertos tipos de errores, de una manera conservativa. Estas técnicas generalmente escalan lo suficiente para aplicarse en grandes proyectos de software pero los tipos de errores que pueden detectar es limitada. Algunas propiedades interesantes están relacionadas a condiciones de carrera y deadlocks, mientras que otros están interesados en problemas relacionados con la seguridad de los sistemas, como confidencialidad e integridad de datos. Los principales objetivos de esta propuesta es identificar algunas propiedades de interés a verificar en sistemas concurrentes y desarrollar técnicas y herramientas para realizar la verificación en forma automática. Para lograr estos objetivos, se pondrá énfasis en el estudio y desarrollo de sistemas de tipos como tipos dependientes, sistema de tipos y efectos, y tipos de efectos sensibles al flujo de datos y control. Estos sistemas de tipos se aplicarán a algunos modelos de programación concurrente como por ejemplo, en Simple Concurrent Object-Oriented Programming (SCOOP) y Java. Además se abordarán propiedades de seguridad usando sistemas de tipos específicos. Concurrent programming has remained a dificult task even for very experienced programmers. Concurrency research has provided a rich set of tools and mechanisms for dealing with data races and deadlocks that arise of incorrect use of synchronization. Verification of most interesting properties of concurrent programs is a very dificult task due to intrinsic non-deterministic nature of concurrency, resulting in a state explosion which make it almost imposible to be manually treat and it is a serious challenge to do that even with help of computers. Some approaches attempts create programming languages with higher levels of abstraction for expressing concurrency and synchronization. Other approaches try to develop reasoning methods to prove properties, either using general theorem provers, model-checking or specific algorithms on some type systems. The light-weight static analysis approach apply techniques like abstract interpretation to find certain kind of bugs in a conservative way. This techniques scale well to be applied in large software projects but the kind of bugs they may find are limited. Some interesting properties are related to data races and deadlocks, while others are interested in some security problems like confidentiality and integrity of data. The main goals of this proposal is to identify some interesting properties to verify in concurrent systems and develop techniques and tools to do full automatic verification. The main approach will be the application of type systems, as dependent types, type and effect systems, and flow-efect types. Those type systems will be applied to some models for concurrent programming as Simple Concurrent Object-Oriented Programming (SCOOP) and Java. Other goals include the analysis of security properties also using specific type systems.

Derechos de participación e información en programas dirigidos a adolescentes en escuelas secundarias de la Ciudad de Córdoba: cumplimiento progresivo y estrategias de promoción. Participation and information rights in programs for adolescents in secondary schools in Cordoba City: progressive implementation and promotion strategies.

Abordar la infancia desde el enfoque de derechos (ED) implica una lectura de los derechos de los cuales los niños, niñas y adolescentes (NNA) son titulares y de las acciones estatales que se implementan para viabilizar el ejercicio concreto de ellos. Esta perspectiva exige comprender los contenidos de las políticas púb,el grado de participación que se les asigna y los sentidos que ellas toman en términos de progresividad de los derechos. Los cambios de concepción de la infancia desde la Convención Internacional de los Derechos del Niño (CIDN) y los cambios legislativos interpelan al Estado y la sociedad a modificar la visión hegemónica. Nuestra hipótesis gira alrededor de las siguientes considerac.: se han producido algunas modificaciones en las políticas y acciones estatales, aún no se dan las transformaciones necesarias de las lógicas institucionales y de los operadores que estimulen la participación de NNA en el ámbito escolar. Esto se visualiza en la ausencia de análisis cuali de los contenidos de las acc. y la falta de ftes estadísticas específicas, que muestren la orientac.de los contenidos en los principios de la protecc.integral. Estos presupuestos plantean interrogantes que delimitan el problema de investigación: ¿cómo se construye y reconstruye el ejercicio de la ciudadanía a través de la participación de los NNA, en su paso por la escuela, y cuáles son las lógicas institucionales que habilitan u obstaculizan ese ejercicio? Y ¿cuáles son los recursos institucionales que permitan que los programas y acciones redunden en el ejercicio efectivo de los derechos?.Obj.gral: Describir, analizar e interpretar la progresividad en el ejercicio de los derechos de participación e informacióin que tienen los adolescentes en escuelas secundarias de la cd de Cba, durante 2005 / 2010, para promover espacios públicos de construcción de ciudadanía. Se analizarán tres escuelas de Córdoba, escuela pública provincial, púb. nacional y privada. Obj. Espec.: Analizar las prácticas participativas formales e informales en las escuelas seleccionadas.- Aplicar indicadores cuanti y cualitativos del “Sistema de Indicadores para los derechos de la Infancia” Describir y analizar los recursos materiales y humanos. Elaborar y proponer procedim. para la confec. de registros de datos estadísticos - Elaborar y proponer lineamientos para la elaborac.e implementac.de acciones. Diseñar herramientas de difusión sobre los ds de participación e información.Esta investigac. es de carácter descriptivo e interpretativo, analizará diferentes ftes de informac.con técnicas cuanti y cualitativas, durante período la promulgación de la Ley 26061/05 y la adhesión prov. 9396/07. Se tomarán del Sistema de Indicadores, el derecho a la educación, el tema transversal “Acceso a la información y participación”, y las categorías de análisis “Recepción del Derecho y Capacidades estatales”. Se trabajaran indicadores cuanti y señales de progreso (cualitativos): estructurales, proceso y resultados. Serán analizados los Programas implementados durante el período de estudio. Estrategias cuali observac. participante, entrevistas, grupos focales, talleres de sensibilización, etc .Otras ftes de info: doc. institucionales, registros, evaluac, contenidos de programas y campañas y de difusión, prensa escrita, legislaciones, etc. La info se analizará a través Programa Atlas Ti, y del análisis estadístico. Algunos resultados esperados: Evaluac.y ajuste del Sistema de indicadores, la sensibilizac. desde el EF de autorid. escol. para la formulac. de planes y programas para el monitoreo adecuado de los mismos y para la rendic. de ctas de su gestión. Estimular la participac. de NNA en la escuela. Realizac.de documental. Brindar herramientas al Edo para superv de la aplicación progresiva del ejercicio de los derechos de participación e información de NNA Promov la continua evaluac. de los programas y acc.desde el ED para estimular el reconoc. de la nec.de ajuste de la política. The issue of children from the rights focus implies a reading of the rights in which children and adolescents are the holders and the state actions that are implemented to enable the exercise of them. This perspective requires understanding the contents of the public policies, the participation level that is assigned, and the senses that they take in terms of rights progressivity of. The conception changes about children since the International Convention on the Rights of the Child and legislative changes challenge to the State and society to modify hegemony vision. Our hypothesis revolves around the following considerations: there have been some public policies and state actions changes, but they not turn out, yet, transformations in logical institutional and actors whose are encourages children participation in school. This could be reflects in the absence of qualitative analysis in the actions contents and the lack of sources specific statistics, that will be showing the control of the principal contents of integral protection. These, raise the questions that delimit our problem research: how is built citizenship exercise through children and adolescent’s participation in the school, and what are the institutional logical that empowers or turns difficult that exercise? And What are the institutional resources that make possible the effective exercise of the rights, through different programs and actions?. General Objective: To describe, analyze and interpret exercise progressivity participation and information rights that have the adolescents in secondary schools in Córdoba City during 2005 / 2010, in order to promote public spaces for the construction of citizenship. It will analyze three schools in Cordoba, provincial public school, national public school and private school. . Obj. Specifics: To analyze the formal and informal participative practices in the schools selected. - To apply quantitative and qualitative indicators of the “Indicators System for Infa