1º Congresso Internacional de Geologia de Timor-Leste.

Congresso Internacional de Geologia de Timor-Lest

VAR-AS, sustained attention detection system in the learning environment

This dissertation presents a system for monitoring heart rate variability (HRV) by electrocardiogram (ECG) and photoplethysmography (PPG) for the detection of attention state in a learning environment. The ECG and PPG signs were acquired and processed through the development of a multi-microcontroller embedded system. When the waves of these signals are extracted, the heart rate is calculated through the time intervals between the R peaks for the electrocardiogram and between the beats for photopletismography. Finally, in order to indicate the level of attention on the part of the user, an input was added in which the volunteer marks the periods he or she considers to be most attentive. This data is associated with a millisecond resolution time stamp and sent in real time via Internet WiFi to a database in the cloud. After this data is stored, the HRV is analysed based on algorithms developed with the Matlab tool. These algorithms allow the study of cardiac variability according to time and frequency domains and how non-linear HRV measurements were also considered. Finally, a module for measuring skin conductivity was added, relating it to the analysis of the level of stress during the learning process. In order to prove the reliability of the system, several volunteers were tested in real environments according to a stipulated protocol. These records were analysed as a starting point to classify situations of greater attention of the volunteer in an educational scenario.Esta dissertação apresenta um sistema de monitorização da variabilidade da frequência cardíaca (VFC) através da Eletrocardiograma (ECG) e Fotoplestimografria (PPG) para a deteção do estado de atenção num ambiente de aprendizagem. Os signais de ECG e PPG foram adquiridos e processados através do desenvolvimento de um sistema embebido multi-microcontrolador. Ao extrair-se as ondas destes sinais, calcula-se a frequência cardíaca através dos intervalos de tempo entre os picos R para o eletrocardiograma e entre os batimentos para a fotopletismografia. Por fim, para poder indicaro nível da atenção da parte do utente adicionou-se um input em que o voluntário marca os períodos que considera estar mais atento. Estes dados são associados a uma marca temporal com resolução ma base de dados na nuvém. Após o armazenamento destes dados, analisa-se a VFC com base em algoritmos desenvolvidos com a ferramenta Matlab. Estes algoritmos permitem estudar a variabilidade cardíaca segundo os domínios do tempo, da frequência e como tambem foram consideradas medidas VFC não lineares. Por fim, adicionou-se um módulo para a medição da condutividade da pele, relacionando-a com a avaliação do nível de stress durante o processo de aprendizagem. Para comprovar a fiabilidade do sistema realizaram-se testes a diversos voluntários em ambientes reais de acordo com um protocolo estipulado. Estes registos foram analisados como ponto de partida para classificar situações de maior atenção do voluntário perante um cenário educativo

Outcomes of Vaginal Birth After Caesarean: Experience of a Portuguese Hospital

info:eu-repo/semantics/publishedVersio

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

Guidelines for Testing Microservice-based Applications

Há uma tendência no desenvolvimento de software de adotar uma arquitetura baseada em microserviços. Apesar de vários benefícios como maior modularização, escalabilidade e manutenibilidade, esta abordagem levanta outros desafios para a organização. Ao aplicar este padrão de arquitetura, a estratégia de teste precisa de ser ajustada. Um sistema baseado em microserviços é inerentemente distribuído e pressupõe que os vários serviços estejam em constante comunicação entre si, através de conexões de rede, para responder aos requisitos de negócio. Testar um microserviço por si só é mais fácil, pois este está naturalmente isolado do resto do sistema, mas a execução de testes de integração torna-se mais complexa. A utilização de microserviços também oferece várias opções sobre onde e o que testar. Este trabalho tem o objetivo de estudar, comparar e sistematizar soluções e abordagens atuais para o desenvolvimento de testes em sistemas baseados em microserviços e propor um conjunto de diretrizes, métodos e boas práticas universais para facilitar o seu processo de testagem, ajudando as organizações a produzir testes com qualidade, mais valiosos e com menos custos. De modo a perceber os problemas e desafios enfrentados a testar microserviços, um projeto em forma de prova de conceito (PoC) e utilizando uma arquitetura baseadas em microserviços foi planeado, desenhado e testes, relativos a alguns casos de uso foram investigados. Também foram sugeridos um conjunto de indicadores que pretendem medir a qualidade e valor da estratégia de testes. Para cada indicador foi proposto onde pode ser recolhido, um racional com a explicação do seu propósito e uma escala de medida. Este trabalho concluiu que, apesar da existência de estratégias e frameworks de testes capazes de ajudar as organizações a testar as suas aplicações corretamente, é necessária a mentalidade certa para atingir uma estratégia de testes de qualidade. Deste modo, este trabalho propõe um conjunto de recomendações e boas práticas que promovem a mentalidade correta para desenhar e implementar testes sobre todas as camadas do sistema. São também sugeridos passos a seguir para definir e decompor cenários de teste, e soluções para os vários tipos de testes estudados. Assim, este trabalho pode também ser considerado uma base de conhecimento na área de testes em microserviços e ajudar a acelerar a sua adoção.There’s a trend in software development to adopt a microservice-based architecture. Despite several benefits such as increased modularization, scalability and maintainability, this approach brings other challenges to the table. When applying this architectural pattern, the testing strategy needs to be adapted. A microservice-based application presupposes that the various services that compose the system are communication with each other, across network boundaries, to fulfil business requirements and is inherently distributed. Testing a microservice by itself is easier, as it is naturally isolated from the rest of the system, but integration testing becomes more challenging. Microservices also offer several options about where and what to test. This work focus on studying, comparing, and systemizing current solutions and approaches for testing in microservice-based systems and proposing a set of universal guidelines, methods, and best practices to facilitate microservice-based application testing, helping organizations produce more valuable and quality tests with less costs. To understand the problems and challenges presented by microservices testing, a proof-ofconcept (PoC) project, using a microservice-based architecture, was designed and tests for some use cases were explored. Furthermore, indicators to measure test quality and value were proposed, describing it source, rational and measurement scale. This works concludes that, although many testing approaches and frameworks exist that can help organizations test their applications correctly, they need to be used with the right mindset. To achieved this, this work proposes a set of guidelines and best practices that promote the right mindset for designing and implementation tests at all system layers. It also proposes a workflow for test definition and decomposition, and solutions for the various studied testing types

(In)visibilidade do género na sexualidade juvenil: propostas para uma nova concepção sobre a educação sexual e a prevenção de comportamentos sexuais de risco

Neste artigo pretendemos mostrar como o género é um conceito determinante e imprescindível quando se trabalham as questões da sexualidade juvenil, particularmente quando se aborda a sexualidade das jovens adolescentes. A literatura feminista tem alertado para a continuidade dos discursos de vitimização, de medo e de moralidade que continuam a servir, em muitos casos e em muitos países, para justificar conteúdos de programa de educação sexual nas escolas e de campanhas de prevenção de doenças sexualmente transmissíveis, essencialmente sobre o HIV. Contudo, depois de analisar esses discursos, nota-se claramente a ausência de um discurso emancipador sobre a sexualidade feminina adolescente. Apesar da epidemia do HIV e de o número crescente de mulheres heterossexuais (de todas as faixas etárias, das mais jovens às mais idosas) a serem infectadas implicar a necessidade de uma atenção redobrada, esse problema não pode justificar discursos reguladores e tradicionais da sexualidade feminina. São necessários novos discursos emancipadores e de empowerment das jovens adolescentes, de responsabilização de jovens do sexo masculino pelas questões da reprodução e da construção de um projecto igualitário e, ao mesmo tempo, de programas e de campanhas informadas pelo conhecimento existente relativamente às questões do género e à assimetria entre os sexos na vivência da sexualidade

Avanços da ressonância magnética mamária no diagnóstico do carcinoma da mama

A Ressonância Magnética Mamaria (RMM), ao longo da década, tem demonstrado um franco desenvolvimento no diagnóstico e caracterização do Carcinoma Mamário. O objectivo deste trabalho científico é demonstrar, através de uma revisão bibliográfica, os avanços desta modalidade na avaliação das lesões da mama, tendo em conta as características: elasticidade (Elastografia), bioquímicas (Espectroscopia), celularidade (Difusão) e vascularização (Perfusão). A avaliação destas em consonância com as morfológicas e cinéticas (RMM), permitem um aumento da especificidade da RMM, reduzindo assim o número de biopsias desnecessárias. Contudo estas evoluções técnicas devem estar em consonância com a inovação em questões de software de processamento de Imagem e hardware dos equipamentos de Ressonância Magnética.Breast Magnetic resonance (BMR) over the decade has shown an exponential growth in the diagnosis and characterization of breast carcinoma. The aim of this scientific work is to demonstrate through a review the progress of this modality in the evaluation of breast lesions, taking into account the characteristics: elasticity (elastography), biochemical (Spectroscopy), cellularity (diffusion) and vascularization (perfusion). The evaluation of these in line with the morphological and kinetic (RMM) allows an increase in the specificity of BMR, thus reducing the number of unnecessary biopsies Yet these technical developments should be in line with the innovation on issues of image processing software and hardware equipment of MRI (3 Tesla)