Programação paralela estruturada aplicada a um problema de reconstrução de imagem

A Digital Breast Tomosynthesis (DBT) é uma técnica que permite obter imagens mamárias 3D de alta qualidade, que só podem ser obtidas através de métodos de re-construção. Os métodos de reconstrução mais rápidos são os iterativos, sendo no en-tanto computacionalmente exigentes, necessitando de sofrer muitas optimizações. Exis-tem optimizações que usam computação paralela através da implementação em GPUs usando CUDA. Como é sabido, o desenvolvimento de programas eficientes que usam GPUs é ainda uma tarefa demorada, dado que os modelos de programação disponíveis são de baixo nível, e a portabilidade do código para outras arquitecturas não é imedia-ta. É uma mais valia poder criar programas paralelos de forma rápida, com possibili-dade de serem usados em diferentes arquitecturas, sem exigir muitos conhecimentos sobre a arquitectura subjacente e sobre os modelos de programação de baixo nível. Para resolver este problema, propomos a utilização de soluções existentes que reduzam o esforço de paralelização, permitindo a sua portabilidade, garantindo ao mesmo tempo um desempenho aceitável. Para tal, vamos utilizar um framework (FastFlow) com suporte para Algorithmic Skeletons, que tiram partido da programação paralela estruturada, capturando esquemas/padrões recorrentes que são comuns na programação paralela. O trabalho realizado centrou-se na paralelização de uma das fases de reconstru-ção da imagem 3D – geração da matriz de sistema – que é uma das mais demoradas do processo de reconstrução; esse trabalho incluiu um método de ordenação modificado em relação ao existente. Foram realizadas diferentes implementações em CPU e GPU (usando OpenMP, CUDA e FastFlow) o que permitiu comparar estes ambientes de programação em termos de facilidade de desenvolvimento e eficiência da solução. A comparação feita permite concluir que o desempenho das soluções baseadas no FastFlow não é muito diferente das tradicionais o que sugere que ferramentas deste tipo podem simplificar e agilizar a implementação de um algoritmos na área de recons-trução de imagens 3D, mantendo um bom desempenho.

A conspiracy theory for clefts : the syntax and interpretation of cleft constructions

O objetivo final deste estudo é contribuir para a discussão sobre qual a medida em que conceitos semânticos e discursivos estão sintaticamente codificados. Mais especificamente, investiga-se se existe alguma correlação consistente entre alguns aspetos interpretativos e sintáticos de quatro construções clivadas do Português Europeu, e como se deve dar conta teoricamente destas potenciais correlações. As clivadas consideradas são as clivadas canónicas, as pseudoclivadas, as clivadas de é que e as clivadas de SER. Sintaticamente podemos distinguir dois tipos: clivadas bioracionais (canónicas e pseudoclivadas) e clivadas mono-oracionais (clivadas de é que e de SER). Todas as estruturas têm um constituinte clivado focalizado que pode constituir tanto um foco informacional como um foco contrastivo, e uma oração clivada que introduz uma pressuposição existencial. Adicionalmente, o constituinte clivado identifica exaustivamente uma posição vazia na oração clivada. Adota-se a semântica alternativa para o foco (Rooth 1985), segundo a qual o foco entoacional contribui uniformemente um conjunto de alternativas na Forma Lógica. Regras pragmáticas operando neste conjunto dão origem a duas implicaturas que podem ser suspensas: pressuposição existencial e exaustividade. Dado que as clivadas de é que e as de SER têm a mesma interpretação que orações não-clivadas, conclui-se que a sua estrutura sintática particular não contribui para estas propriedades interpretativas. Em contrapartida, as clivadas bioracionais, que são orações copulativas especificacionais, têm uma presuposição existencial e uma interpretação exaustiva que não pode ser suspensa, tal como as orações especificacionais não-clivadas. Argumenta-se que isto se deve ao facto de o constituinte clivado identificar uma variável introduzida por uma descrição definida. Demonstra-se que a oração clivada, uma relativa em posição de complemento de um determinador definido nas clivadas canónicas e uma relativa livre nas pseudoclivadas, tem a mesma denotação que um DP definido, e portanto tem uma pressuposição existencial inerente. A interpretação exaustiva deve-se à relação identificacional entre o constituinte clivado e a descrição definida. Além disso, defende-se que em Português Europeu um traço de foco não desencadeia movimento-A’ para um FocP especializado. Os constituintes focalizados movem-se antes por razões independentes do foco. Isto é confirmado pelo facto de apenas o constituinte clivado das clivadas de é que ter propriedades de movimento A’, os outros parecem estar in situ. Propõe-se que o constituinte clivado das clivadas de é que é um tópico com um traço de foco que se move para um TopP. Esta análise dá conta da existência de restrições discursivas semelhantes para tópicos não focalizados e para o constituinte clivado das clivadas de é que. O traço quantificacional de foco arrastado pela topicalização dá origem a efeitos de intervenção, causando a não-recursividade do foco na periferia esquerda e a sua incompatibilidade com movimento de outros constituintes com traços quantificacionais. A análise prediz as restrições de encaixe observadas para as clivadas de é que. Finalmente, desenvolve-se uma análise sintática das clivadas de SER que aproxima estas estruturas das estruturas com partículas de foco. Propõe-se que a cópula é um operador sensível ao foco que é merged juntamente com o constituinte clivado. As restrições distribucionais da cópula devem-se a requisitos selecionais de núcleos.

Aulas interativas com recurso à exposição: uma metodologia para o ensino da linguagem de programação Python

Relatório de estágio de mestrado em Ensino de Informática

Modelação de processos de negócio: análise comparativa de linguagens

Subjacente a qualquer projeto de Business Process Management (BPM) está a necessidade de representar processos de negócio, recorrendo a linguagens adequadas para o efeito. Neste artigo, partindo de uma revisão aprofundada da literatura mais relevante, faz-se uma análise comparativa de cinco das linguagens de modelação de processos de negócio atualmente mais utilizadas no âmbito dos projetos BPM. O objetivo principal é conhecer os pontos fortes e as maiores limitações de cada uma, de modo a poder traçar uma perspetiva comparativa entre elas. Para esse efeito, descrevem-se sucintamente as respetivas notações fazendo-se uma breve análise aos elementos utilizados por cada técnica de modelação. Depois de devidamente analisadas estabelece-se um framework comparativo de cada uma das notações relativamente a um conjunto de critérios relevantes para a sua comparação, assinalando os trabalhos mais relevantes.

Mais além de quem escreve: “Eu também posso ser Ilustrador”: desenvolvendo múltiplas linguagens num projeto curricular integrado

Relatório de estágio de mestrado em Educação Pré-Escolar

Um modelo de programação inteira para a otimização da distribuição do serviço docente

Dissertação de mestrado em Engenharia Industrial

Kids Media Lab: Tecnologias e a aprendizagem da programação em idade Pré-escolar

Sabedores da realidade tecnológica que envolve as crianças, sentimos necessidade de conhecer aprofundadamente como é que as crianças aprendem, ou seja, como estruturam e desenvolvem o seu pensamento, nesta relação com as tecnologias e através da programação. A presente investigação revela-se inovadora, quer no contexto em que vai ser implementado, quer nos objetivos da própria investigação. Pretendemos consolidar conhecimento sobre as teorias de aprendizagem, através da introdução da programação de forma lúdica e criativa nas atividades no jardim de infância. Compreender como as crianças reagem na utilização das tecnologias e da programação revela-se importante para conhecer o seu comportamento, o seu estilo de aprendizagem e permitir aos profissionais de educação antecipar ou não esta integração, nos seus contextos educativos. Conhecer como todo este processo de aprendizagem é vivenciado pelas crianças irá permitir avaliar quais os benefícios e riscos da utilização das tecnologias e da aprendizagem da programação em idade pré-escolar.

Modelação de processos de negócio: análise comparativa de linguagens

Dissertação de mestrado integrado em Engenharia e Gestão de Sistemas de Informação

Marijuana Craving Questionnaire (MCQ-SF/Versão Brasil): validação semântica

OBJETIVO: O objetivo deste estudo foi realizar tradução e adaptação transcultural do Marijuana Craving Questionnaire (MCQ-SF)10, que avalia o craving por maconha em uma amostra brasileira. MÉTODO: O MCQ-SF foi traduzido do inglês para o português, aplicado em 10 sujeitos, submetido ao brainstorming num grupo de três indivíduos para reprodução individual e verbal, item a item. Realizou-se o back-translation, uma versão para o idioma de origem, a partir da primeira tradução e do brainstorming. Logo após, traduziu-se novamente para o português. Um comitê de juízes especialistas analisou todas as traduções. RESULTADOS: Após as considerações do comitê e um estudo-piloto com 30 sujeitos, a versão final do MCQ-SF/Versão Brasil foi construída. CONCLUSÃO: Os resultados demonstraram uma equivalência semântica satisfatória entre as versões. O MCQ-SF/Versão Brasil pode ser útil para avaliar o craving pela maconha nos dependentes dessa substância.

Tradução e adaptação semântica da Compulsive Buying Scale para o português brasileiro

OBJETIVO: A Compulsive Buying Scale (Escala de Compras Compulsivas), instrumento breve e de fácil aplicação, apresenta como vantagem abarcar as principais dimensões do transtorno, sendo elas a compulsão pelas compras e o comportamento impulsivo. O presente estudo tem como objetivo a adaptação transcultural para o português do Brasil da Escala de Compras Compulsivas. MÉTODOS: Para a etapa de adaptação semântica, dois psicólogos bilíngues e um tradutor fluente em português e inglês traduziram a escala de seu idioma de origem, o inglês, para o português. Em um segundo momento, foi realizada a retrotradução da escala por dois tradutores e um psicólogo. Finalmente, a escala foi aplicada em 20 participantes, de modo que pudessem ser feitos ajustes semânticos no instrumento em questão. RESULTADOS: A colaboração entre profissionais especialistas em tradução bilíngue fluentes nos idiomas inglês e português brasileiro, e psicólogos clínicos capacitados à avaliação sobre o constructo a ser mensurado, possibilitou o ajuste dos termos utilizados na versão final da escala para o idioma português, assegurando adequação semântica do instrumento. Assim, todos os itens obtiveram aprovação superior a 90% em sua aplicação experimental. CONCLUSÃO: A versão da escala de compras compulsivas adaptada para o idioma português foi elaborada com êxito.

Logificação da Psicologia o itinerário intelectual de Edmundo Curvelo sobre a Mente, a Lógica e a Filosofia

Tese de Doutoramento em Filosofia - Especialidade de Filosofia da Mente

A semântica cognitiva e suas conexões com as ciências da linguagem e com aspectos socioculturais - Entrevista com José de Sousa Teixeira (Universidade do Minho)

Número temático: A semântica cognitiva em foco

SIC Notícias: o lugar da política: estudo da programação semanal da SIC Notícias no período das 21 às 24 horas

Dissertação de mestrado em Ciências da Comunicação (área de especialização em Informação e Jornalismo)

Revisando los contenidos en lengua : hacia una semántica integradora. Transferencia y capacitación

En el trabajo se sistematiza la información semántica a fin de que ella sea la articuladora y eje de otros contenidos abordados en la enseñanza de la lengua materna. Así, en primer lugar se sistematizarán conceptos y perspectivas semánticas, para luego establecer relaciones con otros niveles lingüísticos, como lo son la Morfología y la Sintaxis, sin descuidar los aportes de la semántica a los procesos de producción y comprensión textuales. Realizaremos estudios para sistematizar y asignar al contenido un lugar dominante e integrador en el proceso de enseñanza-aprendizaje de la lengua materna, sin pretender desdibujar otras temáticas. Planteamos tareas cuyo punto culminante es la capacitación de docentes y experimentación de las propuestas didácticas en tres cursos de lengua en una institución educativa de la ciudad de Córdoba, cuyo examen, de ser positivo, permitirá la replicación y transferencia de esas prácticas a otras instituciones. Como objetivos generales, destacamos colaborar con la integración de los contenidos que se dictan en Lengua Materna, tomando como eje la naturaleza semántica del lenguaje; contribuir con la formación de los estudiantes en las dimensiones de la comprensión y producción textuales; promover la reflexión y el incremento del caudal léxico –y del lenguaje en general-, por parte de los estudiantes; contribuir con la capacitación y formación de los docentes en las temáticas abordadas, a través de acciones concretas; corroborar que la formación de los alumnos podrá tornarse más significativa en la medida en que se trabajen ‘formas’ lingüísticas atravesadas por contenidos. El marco teórico está constituido por los aportes de diferentes líneas, los que, compatibilizados, permitirán acceder a un abordaje integral del ‘contenido’ lingüístico. Más precisamente, consideramos las conceptualizaciones de autores tales como Coseriu (1986) para la delimitación semántica, sus conceptos y operaciones, al que completamos con la perspectiva de Lyons (1986, 1997); para las relaciones entre Morfología, seguimos a Ramírez Sáinz (2008) ; el vínculo sintaxis- semántica será abordado desde la perspectiva de la Gramática Generativa (Demonte,V. 1991; D’Introno, 2001; Fernández Lagunilla, M y Anula Rebollo,A, 1995; los aportes de la comprensión serán considerados desde De Beaugrande-Dresller (1997). Otros autores de referencia son Lakoff y Jhonsson (1998).