Curry-Howard for sequent calculus at last!

This paper tries to remove what seems to be the remaining stumbling blocks in the way to a full understanding of the Curry-Howard isomorphism for sequent calculus, namely the questions: What do variables in proof terms stand for? What is co-control and a co-continuation? How to define the dual of Parigot's mu-operator so that it is a co-control operator? Answering these questions leads to the interpretation that sequent calculus is a formal vector notation with first-class co-control. But this is just the "internal" interpretation, which has to be developed simultaneously with, and is justified by, an "external" one, offered by natural deduction: the sequent calculus corresponds to a bi-directional, agnostic (w.r.t. the call strategy), computational lambda-calculus. Next, the duality between control and co-control is studied and proved in the context of classical logic, where one discovers that the classical sequent calculus has a distortion towards control, and that sequent calculus is the de Morgan dual of natural deduction.

t-­stories: improving and expanding t-­words

versão acessível em http://ace2015.info/wp-content/uploads/2015/11/ACE_2015_submission_148.pdf

Melhoria de processos numa indústria têxtil através da aplicação do paradigma Lean

Dissertação de mestrado em Engenharia Industrial

Confluências e divergências conceituais em educação em saúde

A educação em saúde conheceu, no último século, profundas mudanças, tanto no plano conceitual como no das práticas dele decorrentes, fruto das transformações por que passou a humanidade em termos políticos, económicos e sociais. O conceito de educação desviou-se da perspectiva instruidora e escolarizadora de crianças e jovens, centrada na transmissão-assimilação de conhecimentos, para uma perspectiva mais abrangente e integradora, centrada na criação de condições que permitem aos indivíduos desenvolverem-se holisticamente na sua multidimensionalidade, em permanente interação com os outros. Por sua vez, o conceito de saúde perdeu o seu pendor negativo de ausência de doença, passando a ser entendido positivamente como um estado de completo bem-estar físico, mental, social e espiritual, em constante mutação ao longo da vida. Nesse sentido, a educação em saúde deixou também de ser vista como a transmissão de informação de caráter higienisto-sanitário, orientada para a prevenção ou o tratamento da doença, efetuada em contextos formais, para passar a ser entendida como a capacitação dos indivíduos para controlarem os seus próprios determinantes de saúde, através da criação ou do desenvolvimento de competências de ação. A educação e a saúde passam, pois, a apresentar-se como duas faces de um mesmo processo. Neste trabalho pretendemos, pois, analisar a evolução conceptual em torno da saúde e da educação no séc. XX, tentando perceber até que ponto essas mudanças conceptuais se têm refletido ao nível das práticas.

Abnormalities in the processing of emotional prosody from single words in schizophrenia

Background: Abnormalities in emotional prosody processing have been consistently reported in schizophrenia and are related to poor social outcomes. However, the role of stimulus complexity in abnormal emotional prosody processing is still unclear. Method: We recorded event-related potentials in 16 patients with chronic schizophrenia and 16 healthy controls to investigate: 1) the temporal course of emotional prosody processing; and 2) the relative contribution of prosodic and semantic cues in emotional prosody processing. Stimuli were prosodic single words presented in two conditions: with intelligible (semantic content condition—SCC) and unintelligible semantic content (pure prosody condition—PPC). Results: Relative to healthy controls, schizophrenia patients showed reduced P50 for happy PPC words, and reduced N100 for both neutral and emotional SCC words and for neutral PPC stimuli. Also, increased P200 was observed in schizophrenia for happy prosody in SCC only. Behavioral results revealed higher error rates in schizophrenia for angry prosody in SCC and for happy prosody in PPC. Conclusions: Together, these data further demonstrate the interactions between abnormal sensory processes and higher-order processes in bringing about emotional prosody processing dysfunction in schizophrenia. They further suggest that impaired emotional prosody processing is dependent on stimulus complexity.

Desenvolvimento de rede neuronal artificial para o diagnóstico de doenças neurodegenerativas

Dissertação de mestrado integrado em Engenharia Eletrónica Industrial e Computadores

Os novos desafios do direito tributário: em particular, a tributação do jogo online

Dissertação de mestrado em Direito Tributário e Fiscal