On divisors of pseudovarieties generated by some classes of full transformation semigroups

Algebra Colloquium, 15 (2008), p. 581–588

Partial classification of Lorenz knots: Syllable permutations of torus knots words

We define families of aperiodic words associated to Lorenz knots that arise naturally as syllable permutations of symbolic words corresponding to torus knots. An algorithm to construct symbolic words of satellite Lorenz knots is defined. We prove, subject to the validity of a previous conjecture, that Lorenz knots coded by some of these families of words are hyperbolic, by showing that they are neither satellites nor torus knots and making use of Thurston's theorem. Infinite families of hyperbolic Lorenz knots are generated in this way, to our knowledge, for the first time. The techniques used can be generalized to study other families of Lorenz knots.

An existence result for discontinuous games

We introduce a notion of upper semicontinuity, weak upper semicontinuity, and show that it, together with a weak form of payoff security, is enough to guarantee the existence of Nash equilibria in compact, quasiconcave normal form games. We show that our result generalizes the pure strategy existence theorem of Dasgupta and Maskin (1986) and that it is neither implied nor does it imply the existence theorems of Baye, Tian, and Zhou (1993) and Reny (1999). Furthermore, we show that an equilibrium may fail to exist when, while maintaining weak payoff security, weak upper semicontinuity is weakened to reciprocal upper semicontinuity.

Necessidades de cuidados no idoso: comparação entre um Centro de Dia e um serviço de apoio domiciliário

RESUMO: Promover a qualidade de vida no envelhecimento implica responder às necessidades de cuidados dos mais velhos. Actualmente, muitos idosos permanecem no seu domicílio, o que exige a prestação adequada de cuidados informais e/ou formais nesse contexto. O presente estudo teve como objectivo identificar e comparar as necessidades de cuidados de utentes de um centro de dia e de um serviço de apoio domiciliário numa Instituição Particular de Solidariedade Social. A amostra foi constituída por 54 utentes idosos e pelos seus cuidadores informais. Os utentes foram avaliados com recurso a: Camberwell Assessment of Need for the Elderly, Geriatric Depression Scale, Mini Mental State Examination, Índice de Barthel e Escala de Lawton e Brody para as actividades de vida diária. Os respectivos cuidadores informais foram avaliados quanto a necessidades de cuidados e a sobrecarga familiar. As necessidades de cuidados mais frequentes na amostra estavam relacionadas com alimentação, companhia, saúde física e actividades diárias. Parte das necessidades estavam cobertas. Porém, muitas necessidades psicológicas e sociais, nomeadamente actividades diárias, companhia e memória, não estavam cobertas, em particular nos utentes de apoio domiciliário. Tal como esperado, foi encontrado um maior número de necessidades de cuidados em situações de dependência e de doenças neuropsiquiátricas. Comparativamente com os utentes de centro de dia, os utentes de apoio domiciliário apresentaram números superiores de necessidades de cuidados, necessidades não cobertas. Uma melhor identificação das necessidades de cuidados e dos factores associados a estas poderá ajudar a delinear intervenções adequadas em centros de dia e em serviços de apoio domiciliário.------------ABSTRACT: To promote quality of life in aging means responding to the health and social needs of older people. Today, elderly people tend to stay at home until later stages of disease, which requires the provision of adequate informal care, formal care or both. This study aimed to identify and compare the needs for care of users of a day centre and a domiciliary care service, in a nonprofit organization in Portugal. The sample consisted of 54 elderly users and of their informal caregivers. The users were assessed using the Camberwell Assessment of Need for the Elderly (CANE), the Geriatric Depression Scale, the Mini Mental State Examination, the Barthel Index and the Lawton and Brody Scale for activities of daily living. Informal caregivers were assessed using the CANE and the Zarit Burden Interview. The more frequent care needs were related to food, company, physical health and daytime activities. A proportion of needs were met. However, many psychological and social needs were unmet, namely daytime activities, company and memory, and this was so in particular concerning domiciliary care users.As expected, a higher number of needs was related to dependency and the presence of neuropsychiatric conditions. The domiciliary care users had more total needs and more unmet needs when compared with day centre users. The identification of needs for care and their associated factors can help in the planning of appropriate interventions in day centres and domiciliary care services.

Sobrecarga e qualidade de vida em cuidadores informais de pessoas com demência

RESUMO: Introdução: A sobrecarga do cuidador informal de pessoas com demência está associada à sua qualidade de vida. Objetivo: Analisar as associações entre qualidade de vida e sobrecarga familiar nestes cuidadores informais, assim como as relações entre estas variáveis e outros fatores. Materiais e métodos: Trata-se de um estudo transversal (descritivo e analítico). A amostra de conveniência foi composta de 33 cuidadores. O estudo foi realizado nos serviços de consultas externas de dois centros do Instituto das Irmãs Hospitaleiras do Sagrado Coração de Jesus. Os dados foram obtidos através da aplicação das escalas: Entrevista de Sobrecarga de Zarit, WHOQOL-Bref, Escala de Atividades Instrumentais de Vida Diária de Lawton e Brody e Índice de Barthel. Na análise dos dados foram empregues estatísticas descritivas e testes não paramétricos. Os testes empregues consistiram no teste de Mann-Whitney e teste de Kruskal-Wallis. O nível de significância considerado em todas as análises foi de 5%. Todos os dados obtidos foram analisados com recurso ao programa estatístico SPSS 21.0. Resultados: Os cuidadores com menores índices de sobrecarga evidenciaram uma correlação negativa com todos os domínios da qualidade de vida (p≤0.002). Os cuidadores homens revelaram-se menos sobrecarregados enquanto cuidadores principais (p=0.023). A existência de um cuidador secundário foi indicador de uma melhor qualidade de vida dos cuidadores, nos domínios das relações sociais (p=0.034) e do meio ambiente (p=0.034). Quanto mais prolongado o tempo de cuidados para os cuidadores avaliados, menor a sua qualidade de vida, ao nível físico (p=0.003) e do meio ambiente (p=0.000). A situação de sobrecarga foi tanto maior quanto menor a idade do cuidador (p=0.003). A independência da pessoa com demência ao nível instrumental também se traduziu numa melhor qualidade de vida dos cuidadores, em todos os domínios desta variável e, numa menor situação de sobrecarga dos cuidadores (p=0.017). Conclusões: Uma maior sobrecarga dos cuidadores informais de pessoas com demência está associada a indicadores mais baixos de qualidade de vida, em todos domínios desta variável. No presente estudo, os principais fatores a ter em conta na avaliação dos cuidadores de pessoas com demência foram: o género, a existência de um cuidador secundário e a independência da pessoa cuidada nas atividades instrumentais da vida diária. Foi também possível analisar que as variáveis sobrecarga e qualidade de vida não se relacionam apenas entre si mas, concomitantemente, com diferentes situações da vida do cuidador. Uma intervenção mais atenta às características de cada cuidador poderia vir a repercutir-se numa menor sobrecarga e numa melhor qualidade de vida, quer do cuidador como, eventualmente, da pessoa cuidada.------------ ABSTRACT: Introduction and objectives: The overload of informal caregivers of people with dementia tends to be inversely associated with their life quality. This study aims to analyze the associations between the family overload and the life quality of these informal caregivers, as well as the relationships between these variables and other sociodemographic and functional factors. Population and methods: It’s a cross-sectional study (descriptive and analytical). The convenience sample was composed of 33 informal caregivers. The study was carried out in the external services consultations of two centers of the Institute of the Hospitable Sisters of the Sacred Heart of Jesus. The data were obtained by applying the following scales: Overload Interview of Zarit, WHOQOL-Bref, Scale of Instrumental Activities of Daily Living of Lawton and Brody, and Barthel Index. Results: We found a negative correlation between the family overload and every domains of life quality (p ≤ 0.002). The men caregivers proved to be less burdened than the main caregivers (p = 0.023). The existence of a secondary caregiver was an indicator of a better life quality in the fields of social relations (p = 0.034) and in the environment (p = 0.034). The evaluated caregivers, more prolonged time occupy to care, lower was their life quality on the physical level (p = 0.003) and on the environment (p = 0.000). The overload levels were bigger whereas the lower age of the caregiver (p = 0.003). The independence of the person with dementia on the instrumental level rendered a better life quality for caregivers in all domains of this variable and also provided a minor burden for the caregivers (p = 0.017). Conclusions: In this small sample, the higher burden to the informal caregivers of people with dementia is associated with lower indicators of life quality, in every domains of this variable. In this study, the main factors to keep in count in the evaluation to the caregivers of people with dementia were: the gender, the existence of a secondary caregiver and the independence of the person to be cared in his instrumental activities of daily living. We also observed that the overload and life quality variables do not relate only to each other but at the same time with different situations of the life of the caregiver. A closer intervention to the characteristics of each caregiver could reflect a lower overload and a better life quality of the caregiver and eventually as well as the person to be cared of.

Autonomia funcional em idosos : caracterização multidimensional em idosos utentes de um centro de saúde urbano

RESUMO: Tivemos como objectivo do presente trabalho avaliar a capacidade funcional, e factores eventualmente a ela associados, numa amostra de 152 idosos ambulatórios, sem doenças agudas ou graves, utentes de um centro de saúde urbano. Cada avaliação consistiu numa entrevista, mediante um inquérito sobre capacidade funcional, morbilidade, estado mental e aspectos sociais, e no estudo da composição corporal. As perguntas referentes às variáveis estudadas foram por nós desenvolvidas e estruturadas com base em escalas internacionais validadas e de utilização comum na avaliação de idosos, excepto para as variáveis em que não encontrámos escalas com essas características. Os seus quesitos foram incluídos como perguntas e respostas estruturadas e pré-codificadas, permitindo a atribuição de uma pontuação a cada variável e a sua posterior divisão dicotómica. Aplicámos as escalas de Katz e de Lawton para a avaliação das actividades de autonomia física e instrumental da vida diária, a escala de Grimby para a avaliação da actividade física, a escala de Hamilton e o teste de Folstein para a avaliação do estado mental nas vertentes afectiva e cognitiva e a escala de Graffar para caracterizar a classe social, e perguntas sobre locomoção, autoavaliação da saúde, queixas de saúde presentes e rede social. Fizemos o registo da morbilidade segundo a International Classification of Primary Care - ICPC. A avaliação antropométrica constou da medição do peso, da altura, dos perímetros do braço, da cintura, da anca e proximal da coxa, e das pregas bicipital, tricipital, sub-escapular e supra-ilíaca. Foi também feita a estimativa da composição corporal por cálculos derivados de índices antropométricos e de bioimpedância eléctrica corporal total, o doseamento de algumas proteínas plasmáticas e a quantificação da força de preensão. Analisámos os resultados obtidos por grupos quanto ao sexo e à idade, dividida nos escalões etários 65 a 74 anos e mais do que 74 anos. Por regressão linear múltipla, foi testado o efeito do sexo e da idade sobre os valores medidos, para cada uma das variáveis e cada uma das suas pontuações parciais, sendo considerado como evidência de um efeito estaticamente significativo um valor “p” inferior a 0,05.Resumimos do seguinte modo os dados obtidos e a sua comparação com os dos estudos que seleccionámos como referência: A média de idades da amostra foi de 74 anos, sendo um terço destes do sexo masculino. Na sua maioria eram independentes em locomoção e funcionalidade, praticavam alguma actividade física, classificavam a sua saúde como razoável ou boa, apresentavam sintomatologia activa, não tinham depressão ou demência, tinham quem os acompanhasse embora cerca de metade apresentasse algum grau de isolamento, eram de baixa classe social, tinham excesso de peso, valores elevados de massa gorda, parâmetros plasmáticos proteicos compatíveis com ausência de doenças agudas ou graves e considerável força muscular de preensão. Na análise descritiva por grupos quanto ao sexo e/ou à idade, verificou-se que as mulheres e os mais idosos apresentavam maior isolamento social e os valores mais baixos de massa magra, hemoglobina e força de preensão. As mulheres tinham maior prevalência de dependência em autonomia física, depressão e valores mais baixos de transferrina. Os mais idosos apresentavam maior dependência em funcionalidade, menor actividade física, maior prevalência de demência, índice de massa corporal menos elevado, e valores mais baixos de albumina. Não se verificou prevalência de piores resultados dicotómicos nos homens nem no escalão etário menos idoso. Não teve relação com o sexo ou a idade o compromisso em autonomia instrumental, a presença de morbilidade ou a baixa classe social, assim como a não perturbação da locomoção e dos níveis de somatomedina-C. A análise comparativa com estudos multidimensionais em idosos portugueses e europeus ambulatórios revelou que a nossa amostra apresentava muitas características semelhantes às desses idosos. Assim, tinham elevada independência em locomoção, considerável independência em autonomia física e menor independência em autonomia instrumental; prática de actividade física ligeira, as mulheres dentro e os homens fora de casa; maior prevalência de morbilidade a nível dos aparelhos locomotor e cardiocirculatório, nos nossos idosos com pouca flutuação na autoavaliação de saúde; pequena prevalência de depressão e de demência; maior isolamento social nas mulheres e nas mais idosas; factores de classe social de baixo nível, diferindo apenas em relação aos idosos do norte da Europa que apresentavam elevada escolaridade e profissões mais diferenciadas; características biométricas sobreponíveis às dos idosos portugueses e às dos do sul da Europa, com tendência para o excesso de peso e proporção elevada de massa gorda; e doseamentos plasmáticos proteicos e força muscular de preensão compatíveis com ausência de doenças agudas ou crónicas graves. A comparação com os referidos estudos em relação ao risco de dependência, revelou semelhanças na associação entre dependência funcional e idade avançada, morbilidade, alteração do estado mental e isolamento social. Na amostra que estudámos não obtivemos associação entre dependência e o sexo feminino, facto que se verificou no estudo nacional de Almeida et al. e nos estudos multicêntricos europeus, ou o grau de escolaridade, como no estudo francês. Podemos concluir que, com o instrumento de avaliação que utilizámos, foi possível detectar e caracterizar perturbações numa amostra de idosos ambulatórios, a maioria funcionalmente independentes, sem alterações do estado mental, mas apresentando morbilidade activa, tendência para a obesidade, e actividade física ligeira. Nos que apresentaram alterações, estas foram mais frequentes no sexo feminino e nos indivíduos com mais de 74 anos. A escala de funcionalidade desenvolvida foi sensível aos efeitos da idade e permitiu o cálculo do risco de dependência em relação às outras variáveis estudadas, sendo mais marcante a associação com baixa actividade física, presença de queixas de saúde, demência e índice de massa corporal elevado. Consideramos que a metodologia que empregámos poderá contribuir para a avaliação de capacidades, cujo conhecimento sistemático nos idosos se impõe. ------------- ABSTRACT: The main objective of the present work was to evaluate functional capacity and related factors, in a sample of 152 ambulatory elderly, free from acute or serious disease, attending an urban health centre. Each evaluation included an interview, with a questionnaire about functional capacity, morbidity, mental health and social aspects, and the study of body composition. The questions were developed and structured in accordance with international validated scales usually applied in the evaluation of the elderly, whenever there were scales for that purpose. Their items were included as structured pre-coded questions and answers, so that each variable could have its own quotation and be dichotomised. We employed Katz and Lawton scales for basic and instrumental activities of daily living, Grimby scale for physical activity, Hamilton scale for depression, Folstein’s Mini Mental State Examination for cognitive ability and Graffar scale for social class, and questions about walking, health perception, active complaints and social network. The symptoms register was done according to the International Classification of Primary Care - ICPC. The anthropometric exam involved the determination of height and weight, arm, waist, hip and proximal thigh circumferences, and biceps, triceps, subscapular and suprailiac skinfolds. For the body composition calculation we employed equations derived from anthropometric indices, and from measurement of total body bioelectric impedance. We also measured some plasma proteins and handgrip strength. The analysis of results was done by sex and age groups, separating those with 65 to 74 years from those older than 74 years. The effects of sex and age were tested by linear multiple regression, for each variable and its components. Presented "p" values being considered statistically significative if less than 0,05. The results we obtained and their comparison with the studies we choose as reference can be summarised as follows: Mean age of the sample was 74 years and about one third were men. Most of them were independent in gait and functionality, practised some physical activity, rate their health as fair or good, had physical complaints, had not depression or dementia, had some companionship although almost half of them with stigmas of isolation, belonged to low social class, were in the range of overweight, had raised values of fat mass, plasma proteins in accordance with no acute or serious disease, and considerable handgrip strength. The analysis of groups by sex and age revealed that women and the eldest had the greater social isolation and the lowest values of free fat mass, haemoglobin and handgrip strength. Women had the higher dependence in basic activities of daily living, more depression and lower levels of transferrin. The eldest were more dependent in functionality, had greater prevalence of dementia, less physical activity, less raised body mass index and lower levels of albumin. Men alone and the age range of 65 to 74 did not show any prevalence of the worse dichotomised results. There was no relationship between sex or age and instrumental activities of daily living, morbidity or low social class, and unaffected gait or somatomedin-C levels. The comparison of results with multidimensional studies in portuguese and european ambulatory elderly showed that our sample had many similarities with theirs. They were independent in gait and activities of daily living; practiced light physical activity, women indoors and men outdoors; had greater morbidity at locomotor and cardiovascular systems, with small latitude in health evaluation; low prevalence of depression and dementia; social isolation predominantly in older women; and low social class factors, witch is only different from those of north Europe who had higher education levels and professional carriers; biometric characteristics similar to other portuguese and south Europe elders, with tendency for overweight and high proportion of fat mass; and plasma protein levels and handgrip strength in accordance with no acute or chronic serious disease. The comparison to the referred studies in relation to dependency risk, showed similarities in the association of dependency and age, morbidity,altered mental state and social isolation. We did not find association between dependency and sex, as it was found in the portuguese study of Almeida et al. and the european multicentric studies, or the education level, as in the french study. We conclude that, with the evaluation battery we employed, it was possible to detect and characterise alterations in a sample of ambulatory elderly, most of whom were functionally independent and had no alterations in mental state, but had active morbidity, tendency to obesity, and only light physical activity. Those that had some alteration, were more frequently women and the eldest. The functionality scale we developed showed to be sensitive to age effects and suitable for the calculation of risk of dependency, being more important the association with low physical activity, active complaints, dementia and high body mass index. We consider that the methodology we applied can contribute to the evaluation of capabilities that should be systematically sought for in the elderly.

Níveis de actividade dísica em idosos, com idade igual ou superior a 75 anos, e qual a sua relação com o nível funcional

RESUMO: Objectivo: O presente estudo tem como objectivo caracterizar os níveis de actividade física (AF) da população idosa com 75 ou mais anos. E analisar a sua relação com os níveis de funcionalidade. Introdução: Na sexta e sétima década de vida, e como resultado do processo natural do envelhecimento, dá-se um declínio físico e funcional progressivo. A AF é indispensável para todos, mas os idosos são dos que mais beneficiam. Os benefícios nesta idade foram amplamente estudados e englobam a manutenção da função e independência, prolongando o tempo de vida, diminuindo o risco de doenças crónicas e o tempo de incapacidade. Apesar da AF ter uma importante contribuição na melhoria da funcionalidade durante o envelhecimento, não é clara esta relação. A recomendação para manter o estado de saúde nesta idade é de 30 minutos de actividade moderada, 5 vezes por semana (150 minutos por semana) de AF. Contudo não sabemos se os idosos cumprem ou não estas recomendações, nem se os benefícios em termos de manutenção da funcionalidade são os desejáveis. Metodologia: Trata-se de um estudo observacional analítico do tipo transversal, composto por um único momento de avaliação. Foram avaliados 70 sujeitos, com uma mediana de idade de 77,5 anos (percentil 25: 76,0; percentil 75: 79,0). Os outcomes em estudo foram a AF (YPAS) e a funcionalidade (Lawton & Brody e Katz). O processo de amostragem foi não probabilístico por conveniência. Foi aplicado um protocolo de avaliação, constituído por um questionário de caracterização da amostra; Yale Physical Activity Survey (YPAS), a Escala de Lawton & Brody e o Índice de Katz. Resultados: Os resultados revelaram que a mediana do nível de AF evidenciada nesta população é baixa quando comparada com o sugeridos pelo YPAS, com uma mediana de tempo total de 24,3 (horas/semana), com uma mediana de gasto energético total de 4946,3 (kcal/semana) e ainda com uma mediana de score total no YPAS de 40 pontos, sendo este último bastante baixo pois o score total varia entre 0 e 137 pontos. Em relação ao nível de funcionalidade constatamos que a maioria dos participantes obteve 8 pontos na Escala de Lawton & Brody (30%) e que se situavam na categoria A do Índice de Katz (75,5%). Verificou-se uma associação moderada e estatisticamente significativa entre os scores do tempo total do YPAS e a funcionalidade (Lawton & Brody: Rs= 0,586 p<0,001; Katz: Rs= -0,525 p<0,001); entre o gasto energético total e a funcionalidade (Lawton & Brody: Rs= 0,604 p<0,001; Katz: Rs= -0,554 p<0,001); e também entre o score total do YPAS e a funcionalidade (Lawton & Brody: Rs= 0,558 p<0,001; Katz: Rs= -0,549 p<0,001). Conclusão: Os resultados do estudo sugerem que a população estudada apresenta níveis de AF baixos (mediana tempo total: 24,3 h/sem; mediana gasto energético total: 4946,3 Kcal/sem), comparando com os valores de referência do YPAS e em comparação com o estudo de Martin et al., 2011. Aponta para a existência de uma associação positiva e significativa entre o nível de AF e a funcionalidade, ou seja, na nossa amostra com indivíduos com mais de 75 anos, um maior nível de AF estava associado a mais funcionalidade (a relação era crescente em todos os scores, excepto no score de sentado do YPAS).-----------------ABSTRACT:Objectivo: O presente estudo tem como objectivo caracterizar os níveis de actividade física (AF) da população idosa com 75 ou mais anos. E analisar a sua relação com os níveis de funcionalidade. Introdução: Na sexta e sétima década de vida, e como resultado do processo natural do envelhecimento, dá-se um declínio físico e funcional progressivo. A AF é indispensável para todos, mas os idosos são dos que mais beneficiam. Os benefícios nesta idade foram amplamente estudados e englobam a manutenção da função e independência, prolongando o tempo de vida, diminuindo o risco de doenças crónicas e o tempo de incapacidade. Apesar da AF ter uma importante contribuição na melhoria da funcionalidade durante o envelhecimento, não é clara esta relação. A recomendação para manter o estado de saúde nesta idade é de 30 minutos de actividade moderada, 5 vezes por semana (150 minutos por semana) de AF. Contudo não sabemos se os idosos cumprem ou não estas recomendações, nem se os benefícios em termos de manutenção da funcionalidade são os desejáveis. Metodologia: Trata-se de um estudo observacional analítico do tipo transversal, composto por um único momento de avaliação. Foram avaliados 70 sujeitos, com uma mediana de idade de 77,5 anos (percentil 25: 76,0; percentil 75: 79,0). Os outcomes em estudo foram a AF (YPAS) e a funcionalidade (Lawton & Brody e Katz). O processo de amostragem foi não probabilístico por conveniência. Foi aplicado um protocolo de avaliação, constituído por um questionário de caracterização da amostra; Yale Physical Activity Survey (YPAS), a Escala de Lawton & Brody e o Índice de Katz. Resultados: Os resultados revelaram que a mediana do nível de AF evidenciada nesta população é baixa quando comparada com o sugeridos pelo YPAS, com uma mediana de tempo total de 24,3 (horas/semana), com uma mediana de gasto energético total de 4946,3 (kcal/semana) e ainda com uma mediana de score total no YPAS de 40 pontos, sendo este último bastante baixo pois o score total varia entre 0 e 137 pontos. Em relação ao nível de funcionalidade constatamos que a maioria dos participantes obteve 8 pontos na Escala de Lawton & Brody (30%) e que se situavam na categoria A do Índice de Katz (75,5%). Verificou-se uma associação moderada e estatisticamente significativa entre os scores do tempo total do YPAS e a funcionalidade (Lawton & Brody: Rs= 0,586 p<0,001; Katz: Rs= -0,525 p<0,001); entre o gasto energético total e a funcionalidade (Lawton & Brody: Rs= 0,604 p<0,001; Katz: Rs= -0,554 p<0,001); e também entre o score total do YPAS e a funcionalidade (Lawton & Brody: Rs= 0,558 p<0,001; Katz: Rs= -0,549 p<0,001). Conclusão: Os resultados do estudo sugerem que a população estudada apresenta níveis de AF baixos (mediana tempo total: 24,3 h/sem; mediana gasto energético total: 4946,3 Kcal/sem), comparando com os valores de referência do YPAS e em comparação com o estudo de Martin et al., 2011. Aponta para a existência de uma associação positiva e significativa entre o nível de AF e a funcionalidade, ou seja, na nossa amostra com indivíduos com mais de 75 anos, um maior nível de AF estava associado a mais funcionalidade (a relação era crescente em todos os scores, excepto no score de sentado do YPAS).

Qualidade de vida, morbilidade psicológica e stress familiar em idosos residentes na comunidade

Este estudo procurou investigar as relações existentes entre morbilidade psicológica, stress familiar e qualidade de vida (QV) da pessoa idosa. A amostra foi constituída por 126 idosos. Os instrumentos utilizados foram: The Lawton Instrumental Activities of Daily Living (IADL), Quality of Life (WHOQOL-Bref), Geriatric Anxiety Inventory (GSI), Geriatric Depression Scale (GDS); e Index of Family Relations (IFR). Os resultados revelaram a importância da idade, estado civil, escolaridade e número de patologias assim como o género na capacidade funcional, morbilidade, stress familiar e QV. Ao nível dos preditores, a depressão foi a variável que mais contribuiu para a QV. Não foram encontradas variáveis moderadoras no modelo. A discussão e implicações dos resultados são abordadas bem como a intervenção psicológica nesta população.

On simple bounds for eigenvalues of symmetric tridiagonal matrices

How much can be said about the location of the eigenvalues of a symmetric tridiagonal matrix just by looking at its diagonal entries? We use classical results on the eigenvalues of symmetric matrices to show that the diagonal entries are bounds for some of the eigenvalues regardless of the size of the off-diagonal entries. Numerical examples are given to illustrate that our arithmetic-free technique delivers useful information on the location of the eigenvalues.

Refinement in hybridised institutions

Hybrid logics, which add to the modal description of transition structures the ability to refer to specific states, offer a generic framework to approach the specification and design of reconfigurable systems, i.e., systems with reconfiguration mechanisms governing the dynamic evolution of their execution configurations in response to both external stimuli or internal performance measures. A formal representation of such systems is through transition structures whose states correspond to the different configurations they may adopt. Therefore, each node is endowed with, for example, an algebra, or a first-order structure, to precisely characterise the semantics of the services provided in the corresponding configuration. This paper characterises equivalence and refinement for these sorts of models in a way which is independent of (or parametric on) whatever logic (propositional, equational, fuzzy, etc) is found appropriate to describe the local configurations. A Hennessy–Milner like theorem is proved for hybridised logics.

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.

Dois teoremas sôbre a função gama

This paper proves the following theorems on the gamma function: Theorem I The integral ∫O∞ t u e-t dt = Γ ( u + 1 ) , where u, real or complex, is such that R (u) > -1, will not change its value if we substitute z = Q (cos φ + i sen φ) for the real variable t, being jconstant and such that - Π/2 < φ < Π/2 , Theorem II The integral ∫-∞∞ w2u + 1 e -w² dw = Γ ( u + 1 ) , where 2u + 1 is supposed to be a non negative even integer, will not change its value if we substitute z = w + fi, f being a real constant, for the real variable w. The proof of both theorems is obtained by means of the well known Cauchy theorem on contour integrals on the complex plane, as suggested by CRAMÉR (1, p. 126) and LEVY (3, p. 178).

Efeito do armazenamento da cana-de-açúcar sobre a "germinação" e sobre a incidência da podridão-abacaxi, causada por Ceratocystis paradoxo, (de Seynes) Moreau

Em experimentos conduzidos em casa-de-vegetação e em canteiros, toletes de cana-de-açúcar foram armazenados por tempo e em condições variáveis, em seguida inoculados com cultura pura de Ceratocystis paradoxo, e plantados. Os resultados mostraram que: 1) - o armazenamento pode aumentar o índice de germinação, na dependência da variedade de cana, e da época do ano; 2) - nas condições do presente trabalho, o armazenamento em ambiente úmido mostrou-se tão bom ou melhor que o em ambiente sêco; 3) - o armazenamento aumenta a suscetibilidade da cana a C. paradoxa; 4) - o armazenamento diminui o nível de auxina em algumas, variedades, manifestado através da redução da curvatura do colmo, quando plantado inteiro.

The Zariski-Lefschetz principle for higher homotopy groups of nongeneric pencils

We prove a general Zariski-van Kampen-Lefschetz type theorem for higher homotopy groups of generic and nongeneric pencils on singular open complex spaces.

Corrigendum stable matchings and preferences of couples

We correct an omission in the definition of our domain of weakly responsive preferences introduced in Klaus and Klijn (2005) or KK05 for short. The proof of the existence of stable matchings (KK05, Theorem 3.3) and a maximal domain result (KK05, Theorem 3.5) are adjusted accordingly.