Complete reducibility of the pseudovariety LSl

In this paper we prove that the pseudovariety LSl of local semilattices is completely κ-reducible, where κ is the implicit signature consisting of the multiplication and the ω-power. Informally speaking, given a finite equation system with rational constraints, the existence of a solution by pseudowords of the system over LSl implies the existence of a solution by κ-words of the system over LSl satisfying the same constraints.FCT through the Centro de Matemática da Universidade do MinhoEuropean Community Fund FEDE

Tameness of joins involving the pseudovariety of local semilattices

In this paper we prove that, if V is a kappa-tame pseudovariety which satisfies the pseudoidentity xy^{\omega+1}z=xyz, then the pseudovariety join LSl v V is also kappa-tame. Here, LSl denotes the pseudovariety of local semilattices and kappa denotes the implicit signature consisting of the multiplication and the (omega-1)-power. As a consequence, we deduce that LSl v V is decidable. In particular the joins LSl v Ab, LSl v G, LSl v OCR and LSl v CR are decidable.European Science Foundation (ESF) through the programme ``Automata: from Mathematics to Applications (AutoMathA)''Fundação para a Ciência e a Tecnologia (FCT) under the project PEst-C/MAT/UI0013/2011.FCT through the project PTDC/MAT/65481/2006, which was partly funded by the European Community Fund FEDEREuropean Regional Development Fund, through the programme COMPET

Semigroup presentations for test local groups

In this paper we exhibit a type of semigroup presentations which determines a class of local groups. We show that the finite elements of this class generate the pseudovariety LG of all finite local groups and use them as test-semigroups to prove that LG and S, the pseudovariety of all finite semigroups, verify the same kappa-identities involving kappa-terms of rank at most 1, where kappa denotes the implicit signature consisting of the multiplication and the (omega-1)-power.Fundação para a Ciência e a Tecnologia (FCT), under the project PEst-C/MAT/UI0013/2011European Regional Development Fund, through the programme COMPET

Xexam: uma linguagem de suporte para exames online (e-learning)

Hoje o E-learning, para além de ser um chavão utilizado por muitas instituições, também tem sido usado como estandarte de muitas instituições de ensino que se dizem na vanguarda. Poderíamos começar a discutir o que é o E-Learning mas isso seria assunto para uma tese. Para o nosso trabalho, vamos considerar a definição mais consensual de ensino `a distancia onde se utiliza a Internet como veículo primordial para a comunicação entre professor e aluno e entre alunos. Nessa perspectiva, uma plataforma de E-Learning tem vários componentes: gestão de alunos e cursos, publicação de conteúdos, fóruns de discussão, chats, controle de acessos, diversas estatísticas e avaliação. É precisamente neste ultima componente que incide o trabalho descrito neste artigo. A avaliação online vai levantar sempre problemas de creditação mas discutir esse assunto não é o objectivo deste artigo. Neste trabalho, apresenta-se uma linguagem XML—Xexam, que pode servir de suporte à criação de exames (por exemplo para auto-avaliação do aluno). Além da linguagem apresentam-se algumas ferramentas de suporte que fornecem algumas funcionalidades ao autor do exame: publicação em papel, publicação na Internet, correcção automática ao aluno que desenvolver o exame online e publicação do exame com correcção. No fim, tecem-se algumas considerações sobre a integração desta aplicação numa metodologia de E-Learning

Soluções de reforço utilizadas na reparação/reabilitação da construção tradicional açoriana

Dissertação para obtenção do Grau de Mestre em Engenharia de Civil (Estruturas)Devido ao seu enquadramento geoestrutural na junção tripla de três placas litosféricas, o Arquipélago dos Açores apresenta uma importante atividade vulcânica e uma notável sismicidade permanente, que ao longo dos séculos tem-se traduzido em frequentes crises sísmicas, por vezes com a ocorrência de eventos de elevada magnitude. Os sismos mais recentes, na ilha Terceira em1980 e nas ilhas do Faial e Pico em 1998, além das mortes provocadas, originaram uma destruição significativa em infraestruturas e construções tradicionais açorianas, principalmente no parque habitacional e no património religioso. As construções tradicionais, normalmente com um ou dois pisos, possuem paredes de alvenaria de pedra basáltica de duas folhas, com juntas argamassadas, ou não, e pavimentos e coberturas em madeira. Na reparação/reabilitação destas construções pós-sismo utilizaram-se técnicas de reforço estrutural que têm sido avaliadas, principalmente depois do sismo de 1998, através de ensaios desenvolvidos em laboratório e in situ. A intervenção nas construções tradicionais não afetadas pelos sismos deve-se, também, à tomada de consciência social, técnica e económica que estas construções carecem de reforço estrutural para correção de anomalias de conceção, manutenção, construtivas e até de intervenções mal concebidas ou executadas, sendo evidente que após o sismo de 1998 existe uma maior preocupação com os aspetos técnicos de reforço nas obras realizadas em construções tradicionais, quer sejam habitacionais, religiosas ou pontes. Neste documento pretende-se abordar: 1) a construção tradicional açoriana que, de acordo com os últimos censos, estima-se que represente mais de 50% dos edifícios açorianos; 2) as anomalias provocadas pelos sismos de 1980 e 1998; 3) as soluções de reforço sísmico implementadas na reparação/reabilitação; e 4) a apresentação e análise dos ensaios laboratoriais e in situ já desenvolvidos

Testemunhos do humano e ideia de futuro em Ludwig Feuerbach (1839-1843)

O projecto de Tese de Mestrado inicialmente apresentado “Da Construção do Humano em Feuerbach ao Novo Homem de Dostoiévski” foi alterado para “Testemunhos do Humano e Ideia de Futuro em Ludwig Feuerbach (1839-1843)”. A leitura cuidada de obras de Fiódor Dostoiévski permitiu descortinar abismos da alma humana, centralidade na interioridade do homem, personagens atormentadas por crises, obsessões, pulsões irracionais, uma rede de interligações, de avanços, de recuos, interrogações, situações extremas, reconciliação com o outro, consigo mesmo, com a realidade. Trata-se do significado da existência humana para a filosofia2. Estas razões aconselharam a rever o projecto e a invertê-lo no sentido da problemática do humano em Ludwig Feuerbach, tendo por companheiro deste caminhar o descortinar futuro de caminhos mais esclarecedores para um posterior estudo, mais cuidado e fino, de Fiódor Dostoiévski. Porém a referência ao processo da Modernidade mantém-se como o solo da emergência de ambos os pensadores. O século XIX é o século de mudanças profundas na sociedade, é o século das máquinas, do materialismo e do material. O século da declaração da morte de Deus. [...

Efeitos de programas de exercício na força, no equilíbrio e na flexibilidade, em idosos institucionalizados: uma revisão sistemática

O exercício nos idosos é importante para amenizar o processo de envelhecimento, onde a perda de força e de flexibilidade, essencialmente dos membros inferiores, está associada ao declínio do equilíbrio e, consequentemente, às quedas. Objetiva-se conhecer as evidências científicas sobre os efeitos de programas de exercício em idosos institucionalizados, na força, no equilíbrio e na flexibilidade. Utilizámos na pesquisa as seguintes palavras-chave: Elderly, Older Adults, Age, Flexibility, Balance, Strength, Idoso, Sénior, Flexibilidade, Equilíbrio e Força. A qualidade metodológica e a força de evidência foram avaliadas através da escala de PEDro e do sistema de classificação de Melhor Síntese de Evidência, respetivamente. Os sete estudos incluídos apresentaram boa qualidade metodológica, existindo evidências científicas fortes que programas de exercício de força melhoram a força dos membros inferiores, mas não a força manual. Nos programas de exercícios vibratórios e de equilíbrio também encontrámos evidências fortes que melhoram a força dos membros inferiores; ABSTRACT: The exercise in elderly is important to ease the aging process where the loss of strength and flexibility, mainly the lower limbs, is associated with the decline of balance and consequently to the falls. It aims to meet the scientific evidence on the effects of exercise programs in institutionalized elderly, strength, balance and flexibility. We used the search the following keywords: Elderly, Older Adults, Age, Flexibility, Balance, Strength, Idoso, Sénior, Flexibilidade, Equilíbrio e Força. The methodological quality and strength of evidence were assessed by the PEDro scale and system classification Best Evidence Synthesis, respectively. The seven included studies presented good methodological quality, and there is strong scientific evidence that resistance exercise programs improve the strength of the lower limbs, but not the manual force. In vibratory exercises and balance programs also we found strong evidence that improve the strength of the lower limbs

Pointlike reducibility of pseudovarieties of the form V*D

In this paper, we investigate the reducibility property of semidirect products of the form V *D relatively to (pointlike) systems of equations of the form x1 =...= xn, where D denotes the pseudovariety of definite semigroups. We establish a connection between pointlike reducibility of V*D and the pointlike reducibility of the pseudovariety V. In particular, for the canonical signature consisting of the multiplication and the (omega-1)-power, we show that V*D is pointlike-reducible when V is pointlike-reducible.European Regional Development Fund, through the programme COMPETEThis work was supported by the European Regional Development Fund, through the programme COMPETE, and by the Portuguese Government through FCT – Fundação para a Ciência e a Tecnologia, under the project PEst-C/MAT/UI0013/2014

Estados depressivos em diabetes tipo 2

Tese de doutoramento, Medicina (Psiquiatria e Saúde Mental), Universidade de Lisboa, Faculdade de Medicina, 2013A diabetes tipo 2 e a depressão são duas patologias com incidência crescente. A comorbilidade diabetes tipo 2 e depressão tem sido amplamente investigada, nomeadamente num óptica de influência recíproca e de impacto da depressão sobre a evolução da diabetes. O presente trabalho sobre estados depressivos em diabetes tipo 2 respondeu a perguntas em áreas carenciadas de estudos, nomeadamente na população portuguesa, ou contribuiu com perspetivas inovadoras com interesse clínico. Os principais objetivos foram: a) determinar a prevalência da depressão numa amostra clínica portuguesa de 997 doentes com diabetes tipo 2; b) avaliar a associação dos estados depressivos com a adaptação psicológica à diabetes, nomeadamente a restruturação cognitiva positiva em 121 doentes, maioritariamente com diabetes tipo 2; c) detetar a relação entre condições psicológicas de risco para incidência de estados depressivos e a deterioração do controlo glicémico em duas populações de doentes com diabetes tipo 2, numa de 90 doentes, e predominantemente deprimida, onde a condição de risco avaliada foi o temperamento afetivo, e noutra com 273 doentes e predominantemente não deprimida, onde a condição de risco estudada foi a vulnerabilidade ao “stress”; d) avaliar a resposta à terapêutica com psicoterapia interpessoal ou sertralina em 34 doentes com diabetes tipo 2 e depressão major num estudo prospetivo de 6 meses quanto à depressão e outras variáveis adicionais, nomeadamente o controlo metabólico. A prevalência de depressão (detetada por questionário) foi de 25.4%. A depressão estava associada a menos aspetos positivos relacionados com a diabetes referidos pelos doentes. O temperamento depressivo excessivo aumentava a probabilidade de deterioração do controlo metabólico, sendo este efeito mediado parcialmente pela adaptação à diabetes. A vulnerabilidade ao “stress” não aumentava a probabilidade de agravamento do controlo metabólico, mas a depressão sim. A intervenção psicoterapêutica interpessoal melhorou a depressão sem diferenças face à sertralina. O controlo metabólico melhorou em ambas as intervenções, mas não significativamente. O nosso trabalho confirma o impacto negativo da depressão sobre parâmetros psicológicos e clínicos relacionados com a diabetes tipo 2 e sugere a importância de a rastrear regularmente nas consultas específicas dado o valor alto da sua prevalência. Este pressuposto também pareceu válido nas condições temperamentais ou de vulnerabilidade ao “stress” associadas ao aumento de risco para depressão, sugerindo que nestas condições a depressão deva ser prevenida. A adaptação à diabetes constituiu um importante parâmetro de interesse clínico. A psicoterapia interpessoal conseguiu obter resultados comparáveis a um tratamento já validado.Type 2 diabetes and depression are two expanding diseases.The comorbidity of type 2 diabetes and depression has been subjected to intensive study, namely its reciprocal influence and the negative impact depression has on diabetes outcomes. The present work on depressive states in type 2 diabetes patients answered questions on areas with less published results, as occuring with the Portuguese population, or contributing with inovation concerning the clinical practice. Main goals were: a) to detect the prevalence of depression in a Portuguese clinical sample of 997 patients with type 2 diabetes, b) to evaluate the relationship between depressive states and the psychological adaptation to diabetes, namely the cognitive positive reestructuration in 121 patients, mostly belonging to the type 2 diabetes; c) to detect the association between two psychological conditions, related to an increased risk for depression, and metabolic control worsening, in two samples of patients with type 2 diabetes, one with 90 mostly depressed patients, where affective temperament was the designed condition, and another with 273 patients, mostly not depressed, where the evaluated condition was vulnerability to stress; d) to investigate the improvement of depression and other variables, such as glycemic control, in a 6 months prospective study with 34 patients with type 12 diabetes and major depression, treated with interpersonal psychotherapy or sertraline. The prevalence of depression was 25.4% (detected by questionnaire). Depression was related to less benefits with diabetes. Excessive depressive temperament increased the probability of worsening metabolic control. This effect was partially mediated by psychological adjustment to diabetes. Vulnerabilty to stress was not predictive of poor metabolic control, but depressive symptoms were. Interpersonal psychotherapy improved depression without differences comparing to the treatment with sertraline. Metabolic control was better after both therapeutic interventions, but not significantly. Our work underlines the negative impact of depression on psychological and clinical characteristics related with type 2 diabetes and points towards the need of a regular screening of depression in clinical practice. This finding seemed valid with conditions associated with increased risk for depression, such as depressive temperament or vulnerability to stress, where a preventive attitude towards depression should be undertaken. Psychological adaptation to diabetes seemed to be an useful clinical tool. Interpersonal psychotherapy was able to get similar results comparing with an already validated treatment such as sertraline