Uma formação útil para a literacia no novo contexto de Bolonha

A Declaração de Bolonha (1999) obrigou a mudanças várias, reconfigurando os modelos formativos no espaço europeu do ensino superior, até 2010. A partir de 2006, em Portugal, com a criação e adequação dos cursos superiores existentes ao modelo de Bolonha, verificou-se uma generalizada redução da duração média dos diferentes ciclos de estudo e a definição de competências gerais e específicas para os cursos e estudantes. Reflecte-se sobre a importância da literacia da informação, conceito evolutivo e abrangente, que se pode traduzir, sumariamente, em saber quando e porquê se tem uma necessidade informacional, onde encontrar a informação, como avaliá-la, usá-la e comunicá-la de forma ética, incluindo as competências tecnológicas, definição que se inscreve na interdisciplinar Ciência da Informação e no comportamento informacional. Destaca-se a vantagem de uma formação para a literacia da informação no ensino superior, a qual contribuirá, certamente, para dotar os estudantes das referidas competências e melhorá-las. Defende-se a necessidade de uma desejável inter-acção entre múltiplos agentes educativos, com destaque para a trilogia estudantes, bibliotecários e professores, sendo os primeiros encarados como protagonistas activos das suas aprendizagens e devendo ser dotados de competências de literacia da informação, factor determinante para o seu sucesso. Quanto ao Bibliotecário, dotado de novas competências, entre as quais as tecnológicas, deve ser um facilitador do processo de formação para a literacia - preferencialmente integrada num projecto pedagógico e no currículo - articulando a sua acção educativa com estudantes e docentes. Corroborando a extensão educativa das Bibliotecas e aliando-a ao uso inevitável das novas tecnologias da informação e comunicação, sublinha-se o papel das Bibliotecas Digitais, que podem corresponder eficientemente aos anseios dos utilizadores no acesso a uma informação de qualidade, de forma cómoda, rápida, a baixo custo, com personalização dos serviços online, com inter-acção e socialização, através de ferramentas de edição colaborativa, típicas da Web 2.0.

Deciding Kleene Algebra Terms Equivalence in Coq

This paper presents a mechanically verified implementation of an algorithm for deciding the equivalence of Kleene algebra terms within the Coq proof assistant. The algorithm decides equivalence of two given regular expressions through an iterated process of testing the equivalence of their partial derivatives and does not require the construction of the corresponding automata. Recent theoretical and experimental research provides evidence that this method is, on average, more efficient than the classical methods based on automata. We present some performance tests, comparisons with similar approaches, and also introduce a generalization of the algorithm to decide the equivalence of terms of Kleene algebra with tests. The motivation for the work presented in this paper is that of using the libraries developed as trusted frameworks for carrying out certified program verification.

Viva@Matemática project: a different way to see math

Viva@Mat is a project developed by four Math teachers from the School of Industrial Studies and Management (ESEIG) that was born with the fundamental objective of engaging ESEIG students with different math backgrounds in Math challenging activities. Some of these activities were transformed into real palpable materials and others into small interactive ones, being the great majority of them proposed by ESEIG’ students themselves. This small project rapidly grew into something we didn’t expect – it did flow over the walls of our institution to the general involving community – specifically to pre-university schools through the Viva@Math Exhibits – Orange, Blue and Green (the fourth, the Purple one is still in development). Nowadays, Viva@Math Exhibits – the public face of the Project – are itinerant and have been travelling between several, and different institutions (pre-university schools, preparatory schools, libraries, among others), around ESEIG and IPP area of influence and having registered visitors/participants of all ages. In this article we will describe the Viva@Math Project, its different activities that are categorized in some “great groups” like Numerical Trivia, Logic Activities and Mental Calculation, Puzzles, Geometric Curiosities, Magic Tricks, among others, designed to challenge students to use the underlying logical-mathematical reasoning to any ordinary and everyday activity. We will give specific and concrete examples of some of the activities developed and, also, reproduce of the general stimulating feedback the Project receives from the enrolled “actors” (teachers, students and their relatives, institutions, among others). We feel that this Project has become a small “bridge” between the pre-university schools and Higher Education Institutions (HEI), in trying to shorten the “gap” between the institutions of different levels of education and bring them to work together.

Avaliação dos mecanismos de concorrência na API do Java 8

As plataformas com múltiplos núcleos tornaram a programação paralela/concorrente num tópico de interesse geral. Diversos modelos de programação têm vindo a ser propostos, facilitando aos programadores a identificação de regiões de código potencialmente paralelizáveis, deixando ao sistema operativo a tarefa de as escalonar dinamicamente em tempo de execução, explorando o maior grau possível de paralelismo. O Java não foge a esta tendência, disponibilizando ao programador um número crescente de bibliotecas de mecanismos de sincronização e paralelização de código. Neste contexto, esta tese apresenta e discute um conjunto de resultados obtidos através de testes intensivos à eficiência de algoritmos de ordenação implementados com recurso aos mecanismos de concorrência da API do Java 8 (Threads, Threadpools, ExecutorService, CountdownLach, ExecutorCompletionService e ForkJoinPools) em sistemas com um número de núcleos variável. Para cada um dos mecanismos, são apresentadas conclusões sobre o seu funcionamento e discutidos os cenários em que o seu uso pode ser rentabilizado de modo a serem obtidos melhores tempos de execução.

Algorithmic skeleton framework for the orchestration of GPU computations

Dissertação para obtenção do Grau de Mestre em Engenharia Informática

Frameworks e Bibliotecas Javascript

This report describes a study based on a research and evaluation of platforms (JavaScript frameworks and libraries carried out under the discipline of Tese/Dissertação/Estágio in the Master Degree Computer Science - area of expertise in Arquitecturas Sistemas e Redes, in Instituto Superior de Engenharia do Porto (ISEP). The JavaScript language is increasingly present in the development of software and particularly software for the web environment. For this reason there is a need to investigate the issue, as the platforms that are emerging in the market have a very low level of maturity compared to existing, it is crucial to identify the main differences so that we can save time, labor and other costs in research and experimentation developers. This project aims to inform a range of platforms and existing JavaScript libraries on the market. For further investigation, a study of use cases used at this point in the market was held. To assist the work were used qualitative research methods through the existing content of research related to the area, and quantitative research methods. It was thus conducted a survey sent via email to fifty regular users of the language, platforms, and JavaScript libraries, linking the functional and non-functional characteristics of the platforms and existing use cases in the market, in order to realize what is the use of these tools in his professional life. This study allowed developers to access information that will be compared and evaluated in order to achieve a more precise evaluation of the various analyzed platforms. It was also made an evaluation of adaptation of the various platforms to the various use cases.

People and object tracking for video annotation

Dissertação para obtenção do Grau de Mestre em Engenharia Informática

Validation of NASA rotor 67 with openFOAM's transonic density-based solver

Dissertação para obtenção do Grau de Mestre em Engenharia Mecânica

The strength of the waterbed effect depends on tariff type

We show that the waterbed effect, i.e. the pass-through of a change in one price of a firm to its other prices, is much stronger if the latter include subscription rather than only usage fees. In particular, in mobile network competition with a fixed number of customers, the waterbed effect is full under two-part tariffs, while it is only partial under linear tariffs.

Altmetrics in Institutional Repositories: New Perspectives for Assessing Research Impact

Poster (and extended abstract) presented at the 13th International Conference "Libraries in the Digital Age (LIDA 2014)" held on 16-20th June, University of Zadar, Zadar, Croatia

Characterization and surface reconstruction of objects in tomographic images of composite materials

Dissertação para obtenção do Grau de Mestre em Engenharia Informática

Phage display as a tool for development of novel therapeutics for breast cancer

Phage display technology is a powerful platform for the generation of highly specific human monoclonal antibodies (Abs) with potential use in clinical applications. Moreover, this technique has also proven to be a reliable approach in identifying and validating new cancer-related targets. For scientific or medical applications, different types of Ab libraries can be constructed. The use of Fab Immune libraries allows the production of high quality and affinity antigen-specific Abs. In this work, two immune human phage display IgG Fab libraries were generated from the Ab repertoire of 16 breast cancer patients, in order to obtain a tool for the development of new therapeutic Abs for breast cancer, a condition that has great impact worldwide. The generated libraries are estimated to contain more than 108 independent clones and a diversity over 90%. Libraries validation was pursued by selection against BSA, a foreign and highly immunogenic protein, and HER2, a well established cancer target. Preliminary results suggested that phage pools with affinity for these antigens were selected and enriched. Individual clones were isolated, however, it was not possible to obtain enough data to further characterize them. Selection against the DLL1 protein was also performed, once it is a known ligand of the Notch pathway, whose deregulation is associated to breast cancer, making it an interesting target for the generation of function-blocking Abs. Selection resulted in the isolation of a clone with low affinity and Fab expression levels. The validation process was not completed and further effort will have to be put in this task in the future. Although immune libraries concept implies limited applicability, the library reported here has a wide range of use possibilities, since it was not restrained to a single antigen but instead thought to be used against any breast cancer associated target, thus being a valuable tool.

Biblioteca de Arte Inclusiva: Informação e Conhecimento Acessíveis aos Leitores com Deficiência Visual

O presente relatório descreve a atividade realizada na Biblioteca de Arte da Fundação Calouste Gulbenkian, no âmbito do Mestrado em Ciências da Informação e da Documentação, tendo por tema o acesso à informação pelos leitores com deficiência visual. Nele procura-se abordar que medidas têm sido tomadas para assegurar a integração destes leitores, tendo em vista alcançar a sua autonomia a nível de utilização dos serviços disponíveis. Nesse sentido, explicitam-se os conceitos inerentes a esta temática (biblioteca inclusiva e acessibilidade), destaca-se a importância da interação com outros utilizadores como forma de integração, refere-se a importância da cooperação interinstitucional, salienta-se o papel do bibliotecário e das tecnologias de informação e da comunicação, como meio de permitir ao deficiente visual aceder a um conjunto diversificado de serviços, através da utilização de equipamentos e software específicos. Através da aplicação de uma metodologia de pesquisa bibliográfica, observação direta e entrevista, efetua-se um estudo de caso com uma análise detalhada ao nível da acessibilidade física e dos recursos materiais assim como da atitude e preparação dos profissionais para lidar com a deficiência. Conclui-se que a Biblioteca de Arte deve continuar a investir na exploração de novos recursos e potencialidades, de modo a disponibilizar todo o tipo de meios humanos e tecnológicos para apoiar os leitores com deficiência visual, promovendo a sua inclusão e participação na sociedade da informação e do conhecimento.

Produtos e serviços de informação nos websites das bibliotecas da Universidade de Lisboa: um contributo para a sua avaliação

A presente investigação visa verificar a oferta de produtos e serviços de informação nos websites das bibliotecas da Universidade de Lisboa (UL) e avaliar o impacto que as plataformas sociais, e as ferramentas disponíveis na Web, têm na sua gestão. Para tal adotouse uma metodologia de pesquisa bibliográfica e de estudo de caso, através de um questionário, com perguntas abertas, e da técnica de observação direta dos websites. Assim, para além da revisão da literatura, para o processo de recolha de dados foi enviado um questionário por e-mail aos bibliotecários responsáveis e efetuada a observação dos websites através da adaptação de uma grelha de análise construída a partir do Guia de Boas Práticas de websites da Administração Direta e Indireta do Estado versão 3.0 de fevereiro de 2003. A utilização destes diferentes instrumentos visou obter dados de diferentes tipos, os quais proporcionaram a possibilidade de cruzamento de informação. Através da revisão da literatura e da observação e análise de conteúdos dos websites pretendeu-se: 1) demonstrar que as bibliotecas universitárias da UL podem ampliar as suas fronteiras e visualizar as possibilidades de inovar as suas atividades a partir da utilização e exploração das tecnologias de informação e comunicação, de um modo geral, e da Web 2.0 em particular, através de estratégias inovadores ao nível do marketing, com recurso às redes socias; 2) salientar o papel dos websites como elo de ligação entre a biblioteca e o utilizador; 3) verificar a utilização da Web 2.0 como forma de mudança na maneira como as bibliotecas oferecem e disponibilizam os seus serviços. Para esse efeito, identificamos e observamos as principais práticas e estratégias de marketing aplicadas pelas bibliotecas nomeadamente: weblogs, folksonomias, wikis, canais RSS e serviços Web de criação, edição e partilha e identificamos a cultura organizacional e de participação dos portais. Finalmente, apontamos alguns casos de boas práticas e algumas ferramentas e manuais da Web 2.0, que visam tornar a presença das bibliotecas universitárias na Internet, mais colaborativa antevendo uma oportunidade de desenvolvimento e melhoria de forma a ampliar a sua participação ativa na Sociedade da Informação.

Fungal communities in archives: assessment strategies and impact on paper conservation and human health

The main results presented in this PhD Dissertation have been published in interna-tional journals included in the Science Citation Index (SCI)