Policing and planning child and adolescent neuropsychiatry : the reform process in Bologna 2009-2014

Desde a aprovação do plano de saúde mental regional em Itália ... o Departamento Local de Saúde Mental e Perturbações aditivas em Bolonha, tem desenvolvido um projeto de reforma cujo objectivo é inovar o sistema de saúde mental local. ...ABSTRACT: Since the Regional mental health plan 2009-2011 was approved in Italy the Department of Mental Health and addictions of the Bologna local health trust developed as a laboratory aimed at innovating the mental health systen locally. ...

The effect of key process operational conditions on enhanced biological phosphorus removal from wastewater

Enhanced biological phosphorus removal (EBPR) is the most economic and sustainable option used in wastewater treatment plants (WWTPs) for phosphorus removal. In this process it is important to control the competition between polyphosphate accumulating organisms (PAOs) and glycogen accumulating organisms (GAOs), since EBPR deterioration or failure can be related with the proliferation of GAOs over PAOs. This thesis is focused on the effect of operational conditions (volatile fatty acid (VFA) composition, dissolved oxygen (DO) concentration and organic carbon loading) on PAO and GAO metabolism. The knowledge about the effect of these operational conditions on EBPR metabolism is very important, since they represent key factors that impact WWTPs performance and sustainability. Substrate competition between the anaerobic uptake of acetate and propionate (the main VFAs present in WWTPs) was shown in this work to be a relevant factor affecting PAO metabolism, and a metabolic model was developed that successfully describes this effect. Interestingly, the aerobic metabolism of PAOs was not affected by different VFA compositions, since the aerobic kinetic parameters for phosphorus uptake, polyhydroxyalkanoates (PHAs) degradation and glycogen production were relatively independent of acetate or propionate concentration. This is very relevant for WWTPs, since it will simplify the calibration procedure for metabolic models, facilitating their use for full-scale systems. The DO concentration and aerobic hydraulic retention time (HRT) affected the PAO-GAO competition, where low DO levels or lower aerobic HRT was more favourable for PAOs than GAOs. Indeed, the oxygen affinity coefficient was significantly higher for GAOs than PAOs, showing that PAOs were far superior at scavenging for the often limited oxygen levels in WWTPs. The operation of WWTPs with low aeration is of high importance for full-scale systems, since it decreases the energetic costs and can potentially improve WWTP sustainability. Extended periods of low organic carbon load, which are the most common conditions that exist in full-scale WWTPs, also had an impact on PAO and GAO activity. GAOs exhibited a substantially higher biomass decay rate as compared to PAOs under these conditions, which revealed a higher survival capacity for PAOs, representing an advantage for PAOs in EBPR processes. This superior survival capacity of PAOs under conditions more closely resembling a full-scale environment was linked with their ability to maintain a residual level of PHA reserves for longer than GAOs, providing them with an effective energy source for aerobic maintenance processes. Overall, this work shows that each of these key operational conditions play an important role in the PAO-GAO competition and should be considered in WWTP models in order to improve EBPR processes.

A domain specific language for domotic systems

To cope with modernity, the interesting of having a fully automated house has been increasing over the years, as technology evolves and as our lives become more stressful and overloaded. An automation system provides a way to simplify some daily tasks, allowing us to have more spare time to perform activities where we are really needed. There are some systems in this domain that try to implement these characteristics, but this kind of technology is at its early stages of evolution being that it is still far away of empowering the user with the desired control over a habitation. The reason is that the mentioned systems miss some important features such as adaptability, extension and evolution. These systems, developed from a bottom-up approach, are often tailored for programmers and domain experts, discarding most of the times the end users that remain with unfinished interfaces or products that they have difficulty to control. Moreover, complex behaviors are avoided, since they are extremely difficult to implement mostly due to the necessity of handling priorities, conflicts and device calibration. Besides, these solutions are only reachable at very high costs, yet they still have the limitation of being difficult to configure by non-technical people once in runtime operation. As a result, it is necessary to create a tool that allows the execution of several automated actions, with an interface that is easy to use but at the same time supports all the main features of this domain. It is also desirable that this tool is independent of the hardware so it can be reused, thus a Model Driven Development approach (MDD) is the ideal option, as it is a method that follows those principles. Since the automation domain has some very specific concepts, the use of models should be combined with a Domain Specific Language (DSL). With these two methods, it is possible to create a solution that is adapted to the end users, but also to domain experts and programmers due to the several levels of abstraction that can be added to diminish the complexity of use. The aim of this thesis is to design a Domain Specific Language (DSL) that uses the Model Driven Development approach (MDD), with the purpose of supporting Home Automation (HA) concepts. In this implementation, the development of simple and complex scenarios should be supported and will be one of the most important concerns. This DSL should also support other significant features in this domain, such as the ability to schedule tasks, which is something that is limited in the current existing solutions.

About using serious games to teach (Portuguese) sign language

Sign language is the form of communication used by Deaf people, which, in most cases have been learned since childhood. The problem arises when a non-Deaf tries to contact with a Deaf. For example, when non-Deaf parents try to communicate with their Deaf child. In most cases, this situation tends to happen when the parents did not have time to properly learn sign language. This dissertation proposes the teaching of sign language through the usage of serious games. Currently, similar solutions to this proposal do exist, however, those solutions are scarce and limited. For this reason, the proposed solution is composed of a natural user interface that is intended to create a new concept on this field. The validation of this work, consisted on the implementation of a serious game prototype, which can be used as a source for learning (Portuguese) sign language. On this validation, it was first implemented a module responsible for recognizing sign language. This first stage, allowed the increase of interaction and the construction of an algorithm capable of accurately recognizing sign language. On a second stage of the validation, the proposal was studied so that the pros and cons can be determined and considered on future works.

The use of analytical hierarchy process in spatial decision support system for land use management

Geographic information systems give us the possibility to analyze, produce, and edit geographic information. Furthermore, these systems fall short on the analysis and support of complex spatial problems. Therefore, when a spatial problem, like land use management, requires a multi-criteria perspective, multi-criteria decision analysis is placed into spatial decision support systems. The analytic hierarchy process is one of many multi-criteria decision analysis methods that can be used to support these complex problems. Using its capabilities we try to develop a spatial decision support system, to help land use management. Land use management can undertake a broad spectrum of spatial decision problems. The developed decision support system had to accept as input, various formats and types of data, raster or vector format, and the vector could be polygon line or point type. The support system was designed to perform its analysis for the Zambezi river Valley in Mozambique, the study area. The possible solutions for the emerging problems had to cover the entire region. This required the system to process large sets of data, and constantly adjust to new problems’ needs. The developed decision support system, is able to process thousands of alternatives using the analytical hierarchy process, and produce an output suitability map for the problems faced.

Tradução e validação para Portugal do Patient Activation Measure 13 : em pessoas com Diabetes Mellitus tipo 2

RESUMO - Introdução: A Diabetes Mellitus Tipo 2 (DM2) tem uma elevada prevalência em todo o mundo, com impacto significativo a nível de Saúde Pública, na vida dos doentes e nos custos que lhe são associados. O Patiente Activation Measure 13 (PAM13) é um questionário que possibilita a avaliação das crenças, conhecimentos, motivação e capacidades de uma pessoa em relação à sua saúde; pelo que a sua utilização na DM2 é pertinente. Objetivos: Traduzir o PAM 13, versão curta, para Português de Portugal; Estabelecer as propriedades psicométricas da versão Portuguesa do PAM 13 (PAM13-P); Validar a PAM 13-P num grupo de pessoas com DM2. Material e métodos: O processo de tradução e adaptação cultural do questionário foi composto pelas fases: 1-Tradução, 2-Reconciliação e síntese, 3-Back translation, 4-Rever e sintetizar a Back translation, 5-Harmonização, 6-Revisão do comité de peritos, 7-Cognitive debriefing e 8-Avaliação final. Para validar o PAM13-P realizou-se um estudo observacional transversal analítico com uma amostra de conveniência, de pessoas com DM2, seguidas na Associação Protectora dos Diabéticos de Portugal. O questionário foi de autopreenchimento e foi consultado o processo clínico para obtenção da HbA1c. O tratamento estatístico foi realizado através do SPSS 21® e Winsteps v3.8.1®. Resultados e discussão: O processo de tradução e adaptação cultural foi realizado de acordo com as guidelines. Foram realizados 3 painéis de e-Delphi, com 21 participantes de áreas distintas, tendo-se obtido bons níveis de concordância. As principais modificações realizadas ao questionário foram a simplificação da linguagem e dos itens, obtendo-se as equivalências necessárias. O PAM13-P foi aplicado a 201 pessoas, sendo que a taxa de resposta foi de 83%. Na amostra analisada 57.3% eram homens. Obtiveram-se as médias de idade 67.1 anos e de duração de diabetes 17.3 anos. A média do score do PAM foi 58.5±10.1(41.8-90.5) pontos e 49,7% da amostra estava no nível 3 de ativação. Relativamente aos itens verificou-se que os itens mais difíceis foram o 13(56.1) e o 8(55.4) e o com menor dificuldade foi 4(38.5). As categorias de resposta tiveram um bom ajuste ao Modelo de Rasch. O ajustamento dos itens foi infit entre 0.779-1.177 e outfit entre 0.794-1.315. A fiabilidade dos indivíduos variou entre 0.77(real) e 0.83(modelo) e dos itens foi de 0.97 (real e modelo). O Alfa de Cronbach foi bom (α=0.82). Estas estatísticas foram semelhantes aos da validação do PAM13. Existiu uma relação entre o score do PAM e os itens de validação em 51%. Das variáveis analisadas, existia um relação do nível de ativação com a idade e com a HbA1c. Conclusões: O PAM13-P foi traduzido e adaptado culturalmente para Português e foi validado em pessoas com DM2, sendo as propriedades psicométricas boas.

Segurança do doente e boas práticas de consentimento esclarecido na realização de exames de tomografia computorizada

RESUMO - O presente trabalho pretende centrar-se no estudo da Segurança do Doente e das boas práticas de Consentimento Esclarecido na realização de exames de Tomografia Computorizada. Nos dias de hoje, a assinatura do documento de Consentimento Esclarecido tem-se mostrado um ato banal, sem a merecida atenção que entidades de saúde, Médicos e Técnicos de Radiologia lhe deviam conceder, uma vez que os Eventos Adversos, aquando da realização de uma TC com Meio de Contraste, poderão ser vários e complicados; por outro lado, o doente muitas vezes não está preparado nem devidamente informado sobre os seus efeitos e as medidas necessárias que deverão ser acionadas para os combater. A necessidade da veiculação de uma informação capaz, de uma elucidação total para o doente pôr em prática a sua autonomia, fruto da consciência que tem dos factos, revela-se fundamental, mas para que tal aconteça é urgente ultrapassar obstáculos respeitantes às práticas profissionais de entidades de saúde, Médicos e Técnicos de Radiologia, assim como aspetos sociais, linguísticos, idade, vulnerabilidade individual, entre outros. Neste contexto, a apresentação de boas práticas de Consentimento Esclarecido revela-se de extrema importância para o desenvolvimento desta dissertação. Para consubstanciar as ideias a desenvolver, para além da pesquisa bibliográfica, revelou-se importante a recolha de dados através de uma entrevista e de um inquérito a elementos que participam neste processo, nomeadamente, doentes, Médicos e Técnicos de Radiologia e, posteriormente, uma análise dos conteúdos dos resultados obtidos e a sua integração nos princípios teóricos do estudo.

Aplicação da dramatização em aula como instrumento para o aperfeiçoamento da oralidade no ensino da língua materna (Português) e da língua estrangeira (Espanhol)

O tema do presente relatório é a dramatização como um procedimento didático nas aulas de língua – dramatização, enquanto método baseado no teatro (drama), como um processo de ensino-aprendizagem que articula os conteúdos de estudo escolar com técnicas e conceitos teatrais. O objetivo principal da aplicação desta metodologia é conseguir que o estudo das matérias da aula de língua seja interessante e motivador para os intervenientes, alunos e professor, procurando-se proporcionar aulas dinâmicas, com momentos de recreação que possibilitem a identificação do estudo com o prazer. Na organização das aulas usa-se um procedimento didático baseado no enfoque por tarefas, método educativo aplicado ao ensino-aprendizagem das línguas estrangeiras, particularmente na conceção de Ellis (2003) para um processo sequencial de ensino orientado, onde são considerados três momentos: as atividades anteriores à tarefa, a tarefa e as atividades posteriores à tarefa. No caso do presente estudo, consideram-se tarefas as atividades de natureza dramática que apresentam duas expressões diferentes: simulações de situações comunicativas reais, e leituras em voz alta, individualmente ou em diálogo, feitas para um público. A expressão oral manifesta-se através de vários modos: prática de diferentes formas de leitura em voz alta, atuação em simulações comunicativas e a interação oral entre alunos e professora na execução de muitas atividades. A relevância destas práticas orais prende-se com o seu potencial para desenvolverem as destrezas requeridas nos processos comunicativos da língua oral: a cognitiva, a linguística e a fonética. Ainda que o enfoque por tarefas seja um método para a didática das línguas estrangeiras, a sua aplicabilidade no ensino da língua materna é possível, seguindo a mesma sequenciação de operações num e noutro caso pois focalizar o estudo das línguas na sua funcionalidade comunicativa é o propósito das pedagogias atuais para as línguas, maternas ou estrangeiras.

Incremental compilation and deployment for OutSystems Platform

OutSystems Platform is used to develop, deploy, and maintain enterprise web an mobile web applications. Applications are developed through a visual domain specific language, in an integrated development environment, and compiled to a standard stack of web technologies. In the platform’s core, there is a compiler and a deployment service that transform the visual model into a running web application. As applications grow, compilation and deployment times increase as well, impacting the developer’s productivity. In the previous model, a full application was the only compilation and deployment unit. When the developer published an application, even if he only changed a very small aspect of it, the application would be fully compiled and deployed. Our goal is to reduce compilation and deployment times for the most common use case, in which the developer performs small changes to an application before compiling and deploying it. We modified the OutSystems Platform to support a new incremental compilation and deployment model that reuses previous computations as much as possible in order to improve performance. In our approach, the full application is broken down into smaller compilation and deployment units, increasing what can be cached and reused. We also observed that this finer model would benefit from a parallel execution model. Hereby, we created a task driven Scheduler that executes compilation and deployment tasks in parallel. Our benchmarks show a substantial improvement of the compilation and deployment process times for the aforementioned development scenario.

A intervenção dos orgãos de polícia criminal em sede de julgamento

Currently, Portugal assumes itself as a democratic rule of substantive law State, sustained by a legal system seeking the right balance between the guarantee of fundamental rights and freedoms constitutional foreseen in Portugal’s Fundamental Law and criminal persecution. The architecture of the penal code lies with, roughly speaking, a accusatory basic structure, “deliberately attached to one of the most remarkable achievements of the civilizational democratic progress, and by obedience to the constitutional commandment”, in balance with the official investigation principle, valid both for the purpose of prosecution and trial. Regarding the principle of non self-incrimination - nemo tenetur se ipsum accusare, briefly defined as the defendant’s right of not being obliged to contribute to the self-incrimination, it should be stressed that there isn’t an explicit consecration in the Portuguese Constitution, being commonly accepted in an implicit constitutional prediction and deriving from other constitutional rights and principles, first and foremost, the meaning and scope of the concept of democratic rule of Law State, embedded in the Fundamental Law, and in the guidelines of the constitutional principles of human person dignity, freedom of action and the presumption of innocence. In any case, about the (in) applicability of the principle of the prohibition of self-incrimination to the Criminal Police Bodies in the trial hearing in Court, and sharing an idea of Guedes Valente, the truth is that the exercise of criminal action must tread a transparent path and non-compliant with methods to obtain evidence that violate the law, the public order or in violation of democratic principles and loyalty (Guedes Valente, 2013, p. 484). Within the framework of the penal process relating to the trial, which is assumed as the true phase of the process, the witness represents a relevant figure for the administration of criminal justice, for the testimonial proof is, in the idea of Othmar Jauernig, the worst proof of evidence, but also being the most frequent (Jauernig, 1998, p. 289). As coadjutant of the Public Prosecutor and, in specific cases, the investigating judge, the Criminal Police Bodies are invested with high responsibility, being "the arms and eyes of Judicial Authorities in pursuing the criminal investigation..." which has as ultimate goal the fulfillment of the Law pursuing the defense of society" (Guedes Valente, 2013, p. 485). It is in this context and as a witness that, throughout operational career, the Criminal Police Bodies are required to be at the trial hearing and clarify the Court with its view about the facts relating to occurrences of criminal context, thus contributing very significantly and, in some cases, decisively for the proper administration of the portuguese criminal justice. With regards to the intervention of Criminal Police Bodies in the trial hearing in Court, it’s important that they pay attention to a set of standards concerning the preparation of the testimony, the very provision of the testimony and, also, to its conclusion. Be emphasized that these guidelines may become crucial for the quality of the police testimony at the trial hearing, thus leading to an improvement of the enforcement of justice system. In this vein, while preparing the testimony, the Criminal Police Bodies must present itself in court with proper clothing, to read before and carefully the case files, to debate the facts being judged with other Criminal Police Bodies and prepare potential questions. Later, while giving his testimony during the trial, the Criminal Police Bodies must, summing up, to take the oath in a convincing manner, to feel comfortable, to start well by convincingly answering the first question, keep an attitude of serenity, to adopt an attitude of collaboration, to avoid the reading of documents, to demonstrate deference and seriousness before the judicial operators, to use simple and objective language, to adopt a fluent speech, to use nonverbal language correctly, to avoid spontaneity responding only to what is asked, to report only the truth, to avoid hesitations and contradictions, to be impartial and to maintain eye contact with the judge. Finally, at the conclusion of the testimony, the Criminal Police Bodies should rise in a smooth manner, avoiding to show relief, resentment or satisfaction, leaving a credible and professional image and, without much formality, requesting the judge permission to leave the courtroom. As final note, it’s important to stress that "The intervention of the Police Criminal Bodies in the trial hearing in Court” encloses itself on a theme of crucial importance not only for members of the Police and Security Forces, who must welcome this subject with the utmost seriousness and professionalism, but also for the proper administration of the criminal justice system in Portugal.

Adaptação cultural e contributo para a validação da pain attitudes and believes scale for physiotherapists (PABS-PT) para a população de fisioterapeutas portugueses

RESUMO: Introdução: Vários estudos têm encontrado evidência para a relação entre as crenças e atitudes dos profissionais de saúde, a sua abordagem de tratamento, referida como orientada segundo o modelo biomédico ou modelo biopsicossocial (Bishop, 2008; Mutsaers, 2012), e os resultados obtidos. É sugerido que, no tratamento da dor lombar crónica, os profissionais que orientam o seu raciocínio e prática segundo o modelo biomédico, tendem a obter piores resultados quando comparados com os obtidos pelos profissionais que orientam o seu raciocínio e prática segundo uma abordagem biopsicossocial. Esta área de estudo tem salientado a importância de desenhar instrumentos capazes de identificar a orientação preferencial dos profissionais de saúde no tratamento da dor crónica de natureza músculo-esquelética, entre os quais se encontra a “Pain Attitudes and Beliefs Scale for Physiotherapists” (PABS-PT). Objetivo: Adaptar culturalmente a PABS-PT para a população de fisioterapeutas portugueses que intervêm em utentes com dor (lombar) crónica, e contribuir para a sua validação Metodologia: A versão original (língua inglesa) do PABS-PT foi adaptada para a língua e cultura portuguesas, através das etapas definidas nas normas orientadoras estabelecidas para este processo (Beaton et al., 2002; MAPI Institute, 2001). A avaliação das propriedades psicométricas da versão portuguesa foi realizada com recurso a uma amostra de 202 fisioterapeutas e estudantes finalistas do curso de licenciatura em Fisioterapia. Inicialmente foi realizada a análise fatorial exploratória da escala através do método das componentes principais. Posteriormente avaliou-se a consistência interna das componentes obtidas com recurso ao alpha de Cronbach (α). Para analisar a validade de constructo foram correlacionadas as componentes obtidas com a versão portuguesa da “Health Care Providers’ Pain and Impairment Relationship Scale” (HC-PAIRS), recorrendo ao cálculo do coeficiente de Spearman. Resultados: O processo de adaptação cultural não revelou dificuldades importantes sendo considerado que a versão portuguesa da PABS-PT é de fácil compreensão e preenchimento, e os seus itens adequados para avaliar as crenças e atitudes dos fisioterapeutas portugueses relativas à intervenção na dor crónica músculo-esquelética. Os resultados revelaram uma estrutura fatorial de duas componentes, identificadas com as componentes da escala original que explicam 30,96% da variância total. A consistência interna encontrada é boa, para a componente biomédica (α de Cronbach = 0,826), mas muito fraca para a componente biopsicossocial (α de Cronbach= 0,589). Relativamente à validade convergente e discriminativa, foi encontrada uma associação estatisticamente significativa e positiva, entre as componentes 1 (biomédica) da versão nportuguesa da PABS e a HC-PAIRS (Rs = 0,481, p≤ 0,005), e negativa, fraca e significativa entre a pontuação total da componente 2 (biopsicossocial) e a HC-PAIRS (Rs = -0,038, p=0,612). Conclusão: A versão portuguesa do PABS-PT é de fácil compreensão e aparenta ser um instrumento válido para a medição da orientação preferencial dos fisioterapeutas, relativamente às suas atitudes e crenças na avaliação e tratamento de utentes com dor crónica de natureza músculo-esquelética. No entanto, a componente biopsicossocial requer uma análise mais aprofundada para que possa, com rigor, ser utilizada na definição de uma orientação preferencialmente biopsicossocial.--------------ABSTRACT: Introduction: Previous studies have found a relation between the beliefs and attitudes of health professionals, their treatment approach, which can follows a biomedical or a biopsychosocial orientation (Bishop, 2008; Mutsaers, 2012), and the outcomes obtained. Therefore, is suggested that the professionals who tend to approach chronic low back pain patients according to the biomedical model have worse outcomes than professionals who use a biopsychosocial approach in there clinical reasoning. This research field has highlighted the importance of developing measures capable of identifying the preferred orientation of health professionals in the treatment of chronic pain of musculoskeletal nature, including the “Pain Attitudes and Beliefs Scale for Physiotherapists” (PABS-PT). Objective: To cross culturally adapt and validate the PABS-PT for the Portuguese population of physiotherapists. Methodology: The original version (English version) of the PABS-PT was adapted to the Portuguese language and culture, through the guidelines established for these processes (Beaton et al., 2002; MAPI Institute, 2001). The psychometric evaluation of the Portuguese version was carried out on a sample of 202 p physiotherapist and final year students of the physiotherapy course. Initially, an exploratory factorial analysis was performed through the method of the main components. Then, the internal consistence of the main components was evaluated using the Cronbach’s alpha (α). The convergent construct validity was analysed through the correlation between the obtained components of PABS-PT and the Health Care Provider’s Pain and Impairment Relationship Scale (HC-PAIRS), using the Spearmen correlation coefficient. Results: No major difficulties were found during the cultural adaptation process of PABS-PT to Portugal, which means that the Portuguese version is easy to understand and fulfill, and items are appropriated to evaluate the beliefs and attitudes of the Portuguese physiotherapists who treat chronic pain of musculoskeletal origins. The results revealed a factorial structure of two components, as the original scale, explaining 30,96% of the total variance. Internal consistence results were good, for the biomedical component (Cronbach’s α = 0,826), but very weak for the biopsychosocial componente (Cronbach’s α = 0,589). Relatively to convergent and discriminative validity, a statistically significant association was found, between the components 1 (biomedical) of the Portuguese version of PABS-PT and the HC-PAIRS (Rs= 0,481, p≤ 0,005) and negative, weak and significant between the total score of component 2 (biopsychosocial) and the HC-PAIRS (Rs = -0,038, p=0,612). Conclusion: The Portuguese Version of PABS-PT is easy to understand and seems to be a valid instrument to measure the attitudes and beliefs of physiotherapists in the management of patients with chronic low back pain. However, the biopsychosocial component requires a further deep analysis to examine a preferable biopsychosocial orientation.

Process virtualization theory (PVT) and institutional theory (INT) to explain SAAS adoption

Software as a service (SaaS) is a service model in which the applications are accessible from various client devices through internet. Several studies report possible factors driving the adoption of SaaS but none have considered the perception of the SaaS features and the pressures existing in the organization’s environment. We propose an integrated research model that combines the process virtualization theory (PVT) and the institutional theory (INT). PVT seeks to explain whether SaaS processes are suitable for migration into virtual environments via an information technology-based mechanism. INT seeks to explain the effects of the institutionalized environment on the structure and actions of the organization. The research makes three contributions. First, it addresses a gap in the SaaS adoption literature by studying the internal perception of the technical features of SaaS and external coercive, normative, and mimetic pressures faced by an organization. Second, it empirically tests many of the propositions of PVT and INT in the SaaS context, thereby helping to determine how the theory operates in practice. Third, the integration of PVT and INT contributes to the information system (IS) discipline, deepening the applicability and strengths of these theories.

A logical foundation for session-based concurrent computation

Linear logic has long been heralded for its potential of providing a logical basis for concurrency. While over the years many research attempts were made in this regard, a Curry-Howard correspondence between linear logic and concurrent computation was only found recently, bridging the proof theory of linear logic and session-typed process calculus. Building upon this work, we have developed a theory of intuitionistic linear logic as a logical foundation for session-based concurrent computation, exploring several concurrency related phenomena such as value-dependent session types and polymorphic sessions within our logical framework in an arguably clean and elegant way, establishing with relative ease strong typing guarantees due to the logical basis, which ensure the fundamental properties of type preservation and global progress, entailing the absence of deadlocks in communication. We develop a general purpose concurrent programming language based on the logical interpretation, combining functional programming with a concurrent, session-based process layer through the form of a contextual monad, preserving our strong typing guarantees of type preservation and deadlock-freedom in the presence of general recursion and higher-order process communication. We introduce a notion of linear logical relations for session typed concurrent processes, developing an arguably uniform technique for reasoning about sophisticated properties of session-based concurrent computation such as termination or equivalence based on our logical approach, further supporting our goal of establishing intuitionistic linear logic as a logical foundation for sessionbased concurrency.

Contribution to a strategic plan for the implementation of continuous improvement process in an MRO

This Work Project studies the Continuous Improvement and Processes (CIP) department at TAP Maintenance & Engineering. The project has the objective to provide insights to align the activities of the department with the strategy of the organization. For such, two focuses were taken: (i) an internal analysis which highlighted a need for transversal change to ensure the adoption of Continuous Improvement at TAP, and (ii) a process which outlined objectives and projects to be pursued to prioritize CIP’s activities in accordance with the organization’s goals. The outcome includes (a) important recommendations concerning strategic planning and competition evaluation and (b) a process’ output that reflects a balance among factors influencing the priority of projects.

Decision-making process of Nova Executivos’ students

Field lab: Consumer insights