Contexto escolar y la educación estadística. el proyecto de aula como dispositivo didáctico

El presente trabajo expone una propuesta didáctica basada en proyectos de trabajo estadístico como metodología de resolución de problemas cuando un profesor desea enseñar algún objeto de estudio estocástico. En la primera sesión se tratara el tema del razonamiento aleatorio y estadístico, para llegar a una aproximación; en la segunda sesión se tratara acerca de las funciones del profesor en la enseñanza de la probabilidad y la Estadística en la actualidad y lo que implica las propuesta de trabajo por proyectos de aula y en la tercera sesión se establecerá la relación entre la teoría de las situaciones didácticas y el proyecto de aula como dispositivo didáctico

Modeling key uncertainties in technology development: the case of twente photoacoustic mammoscope (PAM)

Tese de mestrado integrado em Engenharia Biomédica e Biofísica, apresentada à Universidade de Lisboa, através da Faculdade de Ciências, 2013O efeito fotoacústico foi apresentado pela primeira vez por Alexander Graham Bell em 1880. Este princípio enuncia que a absorção de ondas eletromagnéticas por um certo meio provoca uma sequência de eventos que culmina na geração de ondas sonoras. Desde a sua descoberta surgiram inúmeras aplicações fotoacústicas, entre as quais aplicações de imagiologia médica. Estes sistemas fotoacústicos utilizam os componentes óticos como sondas e os componentes acústicos como recetores do sinal gerado, produzindo imagens de carácter tomográfico, daí a designação atribuída – sistemas fotoacústicos tomográficos, do inglês photoacoustic tomogragphy (PAT). A fusão dos componentes óticos e acústicos minimiza algumas desvantagens que as modalidades apresentam individualmente e apresenta algumas vantagens relativamente às imagens captadas por sistemas puramente óticos ou puramente acústicos, uma vez que permitem reduzir a elevada dispersão dos fotões nos tecidos biológicos: os sistemas óticos apresentam bom contraste, mas fraca resolução, enquanto os sistemas acústicos apresentam boa resolução e bons níveis de penetração no tecido biológico. Fruto desta combinação, os sistemas fotoacústicos permitem visualizar a angiogênese, um dos principais fenómenos biológicos associados à vascularização tumoral. Tal visualização é possível devido ao aumento da concentração da hemoglobina que apresenta excelentes níveis de contraste ótico e uma boa resolução acústica, sem o recurso a agentes de contraste, nem a radiação ionizante. Por estas razões os sistemas PAT são considerados ideias para o rastreio e diagnóstico do cancro da mama. Dentro dos equipamentos médicos PAT destacam-se aqueles que utilizam como sonda ótica a radiação próxima dos infravermelhos, do inglês Near Infrared Light (NIR), cujo intervalo de comprimento de onda se situa entre os 750 e os 1400 nm. A utilização do comprimento de onda neste intervalo representa a optimização do compromisso entre a resolução espacial e a profundidade de alcance no tecido biológico. O departamento de imagiologia fotónica médica da Universidade de Twente ( department of Biomedical Photonic Imaging, MIRA Institute for Biomedical Technology and Technical Medicine of University of Twente, Netherlands) desenvolveu um equipamento médico que utiliza todos os princípios físicos PAT e radiação NIR – mamografia fotoacústica, do inglês Photoacoustic Mammoscope (PAM). O PAM apresenta algumas vantagens próprias, uma vez que, por exemplo, ao contrário dos restantes equipamentos médicos PAT não requer uma compressão excessiva da mama entre a janela de iluminação e o detetor acústico. O PAM utiliza como fonte ótica um laser da classe Q-switched Nd:YAG que opera com comprimentos de onda de 1064 nm com pulsos de 5 ou 10 ns e a uma taxa de repetição de 10 Hz. Relativamente à composição e funcionamento do seu sistema de receção acústico o PAM apresenta um detetor plano com 590 elementos (matriz circular) disposto numa geometria de pratos paralelos, o que facilita a sua comparação direta com imagens de mamografia convencional e digital. O PAM em associação com o algoritmo de reconstrução de imagem atraso e soma, do inglês delay and sum algorithm apresenta um alcance máximo em profundidade de 15 a 60 mm relativamente à superfície de iluminação, dependente do tamanho e contraste do objeto absorvente e uma resolução espacial (lateral ou axial) de 3 a 4 mm, dependente da profundidade do objeto absorvente. Os primeiros testes piloto foram efetuados em 2007. Apesar de bem-sucedidos relativamente aos objetivos de funcionalidade, o tempo de medição foi considerado excessivo (25 min). Tendo como ponto de partida os testes piloto, iniciaram-se em Dezembro de 2010 um conjunto de testes clínicos de maior escala no Hospital de Oldenzaal (Center for Breast Care of the Medisch Spectrum Twente Hospital in Oldenzaal, Netherlands). O objetivo passa por incluir em três fases distintas 100 pacientes até 2014. Os pacientes no seu trajeto clinico normal entre os testes de radiologia convencional (raios-x e ultrassons) e a biópsia são questionados a participar no estudo. As imagens das diferentes modalidades são posteriormente comparadas entre si. A 1ª fase dos testes clínicos (Dezembro, 2010- Abril, 2011) já terminada permitiu retirar três conclusões: a performance do PAM é independente da densidade mamária; os quistos não apresentam contraste suficiente; as dimensões das lesões visualizadas no PAM são inferiores às dimensões resultantes da histopatologia. Por sua vez, a 2º fase dos testes clínicos (Abril, 2011 - Abril, 2012) procurava testar duas configurações de scan: “fixed scan” em que o feixe de luz é mantido fixo durante todo o processo de medição; “Tandem Scan” em que o feixe de luz se move ao longo da ROI. Durante esta fase foi possível concluir que a configuração “fixed scan” era mais vantajosa permitindo, entre outras vantagens, diminuir o signal-noise ratio e aumentar o contraste. A 3º fase de testes encontra-se a decorrer. As principais alterações nesta fase estão relacionadas com o número de elementos do detetor acústico ativados de cada vez, uma vez que passou de 1 para 10, resultando numa diminuição do tempo de duração de cada teste de 25 min para 10 min. Além dos testes clínicos, 3 estudos utilizando métodos de health tecnhology assessement (HTA) foram realizados. Um deles realizado por Haakma W. 2011 - “Expert Elicitation to Populate Early Health Economic Models of Medical Diagnostic Devices in Development”. Neste estudo foram utilizados modelos matemáticos para aglomerar as opiniões de 18 radiologistas com experiência em imagiologia mamária sobre a performance do PAM ao nível da sua sensibilidade e especificidade. Os resultados obtidos estão contidos no intervalo de confiança de 95%. Os testes clínicos efetuados conjuntamente com os estudos de HTA já realizados (que facultam estimativas de performance do PAM) não dão indicações sobre o custo-eficácia (do inglês cost-effectiveness) da utilização do PAM nos diferentes cenários no trajeto de rastreio e de diagnóstico do cancro da mama, bem como nos diferentes grupos de risco. Foi este contexto que estimulou a principal questão desta tese: Quais são os melhores potenciais cenários de utilização do PAM no trajeto de rastreio e de diagnóstico do cancro da mama do ponto de vista económico? Para responder a esta questão foi utilizado o método económico de análise de custo-eficácia (do inglês cost-effectiveness analysis) em diferentes potencias cenários de aplicação aglomerados em 3 grupos e em dois contextos económicos e epidemiológicos distintos (Portugal e Holanda): Grupo I, Grupo II e Grupo III. O Grupo I inclui o rastreio (efetuada pela mamografia convencional ou digital), o diagnóstico precoce (efetuado pela mamografia convencional ou digital + exame ultrassonográfico + exame clínico) e o diagnóstico tardio (Ressonância Magnética) no trajeto clínico regular em pacientes sem níveis de risco extraordinários de desenvolver cancro da mama. O Grupo II contempla os cenários de rastreio de diferentes grupos de risco avaliados conforme a probabilidade de desenvolver a doença. O Grupo III é uma réplica do Grupo I com a diferença que não procura testar o PAM com os dados de performance estimados, mas sim com dados hipotéticos em que a performance é assumida como sendo 5% melhor do que as técnicas utilizadas geralmente (Status- Quo). A análise de custo- eficácia foi realizada através da simulação de percursos de vida durante horizontes temporais pré-determinados em que cada cenário é testado através de 100.000 micro-simulações Monte Carlo. Os diferentes dados necessários para modelar e avaliar o percurso de vida, desde os custos associados às diferentes técnicas e tratamentos às performances para diferentes modalidades envolvidas foram recolhidas da literatura utilizando critério pré-definidos. Os resultados para cada cenário em cada contexto são dados em custo/ por QALY, em que o QALY (Quality -adjusted life year) equivale a um ano de vida num estado de perfeita saúde. A avaliação de cada estado/passo no modelo é feita através das utilities que avaliam cada estado/passo no modelo, permitindo obter uma total de QALY’s em cada microsimulação realizada durante um dado horizonte temporal. A ponderação da viabilidade de cada cenário em termos de custo- eficácia é sempre efetuada mediante a análise dos respectivos ICER’s (Incremental cost-effectiveness ratio) relativamente ao status quo. De uma forma geral, o estudo efetuado permitiu concluir que o PAM apresenta rácios de custo- eficácia viáveis em 2 cenários do grupo II: no grupo de indivíduos de alto risco com mamas densas com idades compreendidas entre os 40 e os 59 anos e no grupo de indivíduos de médio risco com mamas densas com idades compreendidas entre os 40 e os 49 anos. Por outro lado, os resultados obtidos com o grupo III de cenários permitiu concluir que a melhoria em 5% da performance dos equipamentos utilizados presentemente (satus-quo) com os custos do PAM permite obter rácios de custo-eficácia viáveis em todos os cenários do trajeto regular de rastreio e de diagnóstico do cancro da mama (rastreio, diagnóstico precoce e diagnóstico tardio).Breast cancer is one of the most common forms of cancer and one of the main causes of cancer death among females. The breast imaging standard procedures - X-ray mammography, MRI or ultrasound - suffer from some shortcomings such as insufficient specificity or sensitivity or carcinogenic risks (X-ray mammography) and high costs (MRI). Several alternatives have been suggested, among which photoacoustic technologies with near infrared (NIR) light are included. The medical photoacoustic devices merge the advantages of pure optic devices and of pure acoustic devices minimizing the respective disadvantages. Furthermore, the photoacoustic imaging can visualize the angiogenseis due to the associated increased hemoglobin concentration, with optical contrast and acoustic resolution, without the use of ionizing radiation or contrast agents and is therefore theoretically considered an ideal method for breast imaging. Under this principle, the department of Biomedical Photonic Imaging of University of Twente has designed an innovative device – The Twente Photoacoustic Mammoscope (PAM). The PAM optical source is a Q-switched Nd:YAG laser operating at 1064 nm with 5/ 10 ns pulses and a 10 Hz repetition rate. For acoustic signal reception PAM has a flat array ultrasound detector with 590 elements in a parallel plate geometry. The measured lateral and axial resolution is 2.3 to 3.9 mm and 2.5 to 3.3. mm respectively. The assessment of PAM is in process and can be placed at the main stream HTA – phase I: The first of 3 phases of clinical trials has started in December 2010 and so far, 3 HTA studies were conducted to assess the viability of its clinical implementation. However the cost-effectiveness of PAM is still unknown. The aim of this project is to implement and evaluate Markov models through Monte Carlo simulation in order to assess the cost-effectiveness of PAM in different scenarios. The tested scenarios were aggregated in 3 distinct groups: in the regular stages of the clinical pathway of breast cancer – screening, early diagnosis and late diagnosis – named Group I, and in the screening of multiple groups of high to moderate risk of breast cancer as suggested by the guidelines, named Group II. The last group of scenarios- Group III had the purpose of measuring the cost-effectiveness for a hypothetical technology that has sensitivities or specificities 5% higher than the standard of care and the same cost of PAM. The scenarios were tested simultaneously in 2 different epidemiological and economical contexts: Portugal and Netherlands. The obtained results for the different scenarios were analysed, specifically the CE ratio and the ICER ratio considering a willingness to pay threshold for each country. The cost-effectiveness results suggest that the clinical application of PAM is viable in high to moderate risk groups of breast cancer with dense breasts. Therefore, the future PAM design and development should continue to pursuit a constant effectiveness in dense and non dense breasts because it is one of the major competitive advantages of PAM

Thermal, mechanical, morphological and aesthetical properties of rotational molding PE/pine wood sawdust composites

This research addresses the importance of pine wood sawdust granulometry on the processing of medium-density polyethylene (MDPE)/wood composites by rotational molding and its effects on the morphological, mechanical and aesthetical properties of parts, aiming to contribute for the development of sustainable wood polymer composites (WPC) for rotational molding applications. Pine wood sawdust was sieved (1000 µm) and analyzed for its physical, morphological and thermal characteristics. Rotational molded parts were produced with matrix/wood ratios from 90/10 to 70/30 wt% considering different wood granulometries. As a natural material, wood changed its color during processing. Granulometries below 500 µm presented better sintering, homogeneity and less part defects. Furthermore, 300–500 µm favored the impact resistance (1316 N), as irregular brick-shaped wood was able to anchor to PE despite the weak interfacial adhesion observed. The increase of wood content from 10 to 30% reduced the impact properties by 40%, as a result of a highly porous structure formed, revealing sintering difficulties during processing. WPC parts of differentiated aesthetics and functionalities were achieved by rotational molding. A clear relationship between wood granulometry and WPC processing, structure and properties was identified.Financial support of the Project RoTMI-Rotomolding Technology and Materials Innovations (POCI-01-0247-FEDER-33095), cofinanced by the European Regional Development Fund (FEDER) through the Operational Program for Competitiveness and Internationalization (POCI) under the “Portugal 2020” framework; to the Portuguese Foundation for Science and Technology (FCT) through the National Funds References UIDB/05256/2020 and UIDP/05256/2020 provided to IPC

Order-Sorted Equality Enrichments Modulo Axioms

Built-in equality and inequality predicates based on comparison of canonical forms in algebraic specifications are frequently used because they are handy and efficient. However, their use places algebraic specifications with initial algebra semantics beyond the pale of theorem proving tools based, for example, on explicit or inductionless induction techniques, and of other formal tools for checking key properties such as confluence, termination, and sufficient completeness. Such specifications would instead be amenable to formal analysis if an equationally-defined equality predicate enriching the algebraic data types were to be added to them. Furthermore, having an equationally-defined equality predicate is very useful in its own right, particularly in inductive theorem proving. Is it possible to effectively define a theory transformation epsilon bar right arrow epsilon(similar to) that extends an algebraic specification epsilon to a specification epsilon(similar to) having an equationally-defined equality predicate? This paper answers this question in the affirmative for a broad class of order-sorted conditional specifications epsilon that are sort-decreasing, ground confluent, and operationally terminating modulo axioms B and have a subsignature of constructors. The axioms B can consist of associativity, or commutativity, or associativity-commutativity axioms, so that the constructors are free modulo B. We prove that the transformation epsilon bar right arrow epsilon(similar to) preserves all the just-mentioned properties of epsilon. The transformation has been automated in Maude using reflection and is used as a component in many Maude formal tools. (C) 2014 Elsevier B.V. All rights reserved.This work has been supported in part by NSF Grants CCF 09-05584 and CNS 13-19109, the EU (FEDER) and the Spanish MINECO under Grants TIN 2010-21062-C02 and TIN 2013-45732-C4-1-P, and by the Generalitat Valenciana, ref. PROMETEO/2011/052. Raul Gutierrez is also partially supported by a Juan de la Cierva Fellowship from the Spanish MINECO, ref. JCI-2012-13528.Gutiérrez Gil, R.; Meseguer, J.; Rocha, C. (2015). Order-Sorted Equality Enrichments Modulo Axioms. Science of Computer Programming. 99:235-261. https://doi.org/10.1016/j.scico.2014.07.003S2352619

Rotura Esplénica Espontânea – Uma Complicação Da Cirrose Com Hipertensão Portal

 Introduction: Splenic rupture is a potentially life-threatening condition, often associated with trauma. Spontaneous rupture is very rare and is usually reported as being secondary to underlying pathological conditions. Case Report: An 89-year-old female patient presented to the emergency department with a sudden-onset abdominal pain in the left hypochondrium following a coughing episode. Investigation revealed that the patient had a spleen with signs of laceration with evidence of acute hemorrhage. The patient’s condition deteriorated clinically with hemodynamic instability and an exploratory laparotomy was proposed. During laparotomy a splenic rupture was identified and the decision was made to proceed to a splenectomy. Discussion: Non-traumatic splenic rupture, is a rare but life-threatening complication. Clinical manifestations consist of sudden-onset left upper quadrant pain, abdominal rigidity and hemodynamic instability. Chronic liver cirrhosis is associated with multiple complications and portal hypertension causes increased congestion in the portal system, leading to splenomegaly. Even a minor physical event, such as coughing, vomiting, or sneezing might cause rupture of a pathologically fragile, enlarged spleen. Total splenectomy is the mainstay of treatment and allows diagnosis of the underlying problem. Introdução: A rotura esplénica é uma condição potencialmente fatal, frequentemente associada a trauma. A rotura espontânea é muito rara e geralmente relatada como sendo secundária a condições patológicas subjacentes. Relato do Caso: Uma doente de 89 anos apresentou-se no serviço de urgência com dor abdominal de início súbito no hipocôndrio esquerdo após um episódio de tosse. A investigação revelou que a doente tinha um baço com sinais de laceração e evidências de hemorragia aguda. A condição da doente deteriorou-se clinicamente com instabilidade hemodinâmica, e foi proposta uma laparotomia exploratória. Durante a laparotomia, foi identificada uma rotura esplénica e decidiu-se proceder a uma esplenectomia. Discussão: A rotura esplénica não traumática é uma complicação rara, mas potencialmente fatal. As manifestações clínicas consistem em dor súbita no quadrante superior esquerdo, rigidez abdominal e instabilidade hemodinâmica. A cirrose hepática crónica está associada a múltiplas complicações, e a hipertensão portal causa aumento da congestão no sistema portal, levando à esplenomegalia. Mesmo um evento físico menor, como tosse, vómitos ou espirros, pode causar a rotura de um baço patologicamente frágil e aumentado. A esplenectomia total é o principal tratamento e permite o diagnóstico do problema subjacente

Valor público y transporte público: el caso de Bogotá Transmilenio y el SITP

Análisis de la estrategia de Valor Público a partir de los casos de Transmilenio y el Sistema Integrado de Transporte Público para identificar los aspectos que realmente inciden en una exitosa implementación de los sistemas de transporte. Inicialmente, se realiza un recorrido conceptual de los temas mencionados. Seguido a esto, se describe el proceso de planeación y los principales problemas de los sistemas de transporte en Bogotá, para que en la parte final se diseñe la estrategia de valor público, basada en los aportes teóricos de Geoff Mulgan, Mark Moore y John Benington. De esta manera, las conclusiones del trabajo de grado incluyen una serie de recomendaciones para la eficiente planeación de los sistemas de transporte público.Analysis of the strategy of Public Value of Transmilenio and the Integrated Public Transport Service in order to identify those issues that really affect transport systems and their successful implementation. First, it defines the concepts of public value and public transport. Following this, is described the planning process and the main problems of transport systems in Bogotá. Third chapter applies the strategy of public value in the public transportation systems, based on the theoretical contributions of Geoff Mulgan, Mark Moore and John Benington. Thus, the conclusion of the thesis includes a series of recommendations for the efficient planning of public transport systems.Politólogo (a)Pregrad

Inconsistency Detection in Job Postings

The use of AI in recruitment is growing and there is AI software that reads jobs\u27 descriptions in order to select the best candidates for these jobs. However, it is not uncommon for these descriptions to contain inconsistencies such as contradictions and ambiguities, which confuses job candidates and fools the AI algorithm. In this paper, we present a model based on natural language processing (NLP), machine learning (ML), and rules to detect these inconsistencies in the description of language requirements and to alert the recruiter to them, before the job posting is published. We show that the use of an hybrid model based on ML techniques and a set of domain-specific rules to extract the language details from sentences achieves high performance in the detection of inconsistencies

The zoogeographic regionalization for cephalopoda linked to the canary current upwelling system

Quantitative data on cephalopods collected in ten multidisciplinary surveys (20–2000 m) between 2004 and 2012, together with original oceanographic and satellite data, were analyzed using multivariate techniques. Statistical analyses were based on presence–absence matrices by species and hydrological variable indices. The results show that cephalopods are distributed in two main zoogeographical groups separated by latitude: “Temperate water” and “Tropical water” clusters. They extended by temperate and tropical regions, separated by a geographical boundary, Cape Blanc, particularly strong in the case of coastal species between these groups. For the total fauna, we have identified a third particular cephalopods’ cluster, the “Upwelling” cluster (22°–17°N), characterized by a higher diversity and dominance of oceanic cephalopods. This is proposed as a new zoogeographical region that would coincide with the area of greatest productivity, intensity and permanence throughout the year of the canary current upwelling, confined between the north of Cape Blanc and the south of Mauritania. The results confirm the strong relationship between the three zoogeographical regions (temperate, tropical, and upwelling) and certain water bodies that characterize the regional hydrology. This paper deepens into the zoogeography of the cephalopods from Northwest Africa (Central-Eastern Atlantic), providing a new, more detailed insight into the region and its boundaries in relation to the oceanographyUniversidade de Vigo/CISU

Team Fernando-Pessa at SemEval-2019 Task 4: back to basics in Hyperpartisan News Detection

This paper describes our submission1 to the SemEval 2019 Hyperpartisan News Detection task. Our system aims for a linguistics-based document classification from a minimal set of interpretable features, while maintaining good performance. To this goal, we follow a feature-based approach and perform several experiments with different machine learning classifiers. On the main task, our model achieved an accuracy of 71.7%, which was improved after the task's end to 72.9%. We also participate in the meta-learning sub-task, for classifying documents with the binary classifications of all submitted systems as input, achieving an accuracy of 89.9%