Open-domain web-based multiple document : question answering for list questions with support for temporal restrictors

Tese de doutoramento, Informática (Ciências da Computação), Universidade de Lisboa, Faculdade de Ciências, 2015

Crossing the Border

Thesis (Master's)--University of Washington, 2013

Da catábase e da anábase : itinerários entre mundos, da Suméria a Roma

Tese de doutoramento, História (História e Cultura das Religiões), Universidade de Lisboa, Faculdade de Letras, 2016

Natural deduction system in paraconsistent setting: proof search for PCont

This paper continues a systematic approach to build natural deduction calculi and corresponding proof procedures for non-classical logics. Our attention is now paid to the framework of paraconsistent logics. These logics are used, in particular, for reasoning about systems where paradoxes do not lead to the `deductive explosion', i.e., where formulae of the type `A follows from false', for any A, are not valid. We formulate the natural deduction system for the logic PCont, explain its main concepts, define a proof searching technique and illustrate it by examples. The presentation is accompanied by demonstrating the correctness of these developments.

Where and how to find data on safety: what do systematic reviews of complementary therapies tell us?

Background: Successfully identifying relevant data for systematic reviews with a focus on safety may require retrieving information from a wider range of sources than for ‘effectiveness’ systematic reviews. Searching for safety data continues to prove a major challenge. Objectives: To examine search methods used in systematic reviews of safety and to investigate indexing. Methods: Systematic reviews focusing on safety of complementary therapies and related interventions were retrieved from comprehensive searches of major databases. Data was extracted on search strategies, sources used and indexing in major databases. Safety related search terms were compared against index terms available on major databases. Data extraction by one researcher using a pre-prepared template was checked for accuracy by a second researcher. Results: Screening of 2563 records resulted in 88 systematic reviews being identified. Information sources used varied with the type of intervention being addressed. Comparison of search terms with available index terms revealed additional potentially relevant terms that could be used in constructing search strategies. Seventy-nine reviews were indexed on PubMed, 84 on EMBASE, 21 on CINAHL, 15 on AMED, 6 on PsycINFO, 2 on BNI and HMIC. The mean number of generic safety-related indexing terms on PubMed records was 2.6. For EMBASE the mean number was 4.8 with at least 61 unique terms being employed. Most frequently used indexing terms and subheadings were adverse effects, side effects, drug interactions and herb-drug interactions. Use of terms specifically referring to safety varied across databases. Conclusions: Investigation of search methods revealed the range of information sources used, a list of which may prove a valuable resource for those planning to conduct systematic reviews of safety. The findings also indicated that there is potential to improve safety-related search strategies. Finally, an insight is provided into indexing of and most effective terms for finding safety studies on major databases.

Accessibility Instrument Survey

This chapter presents the main results of the Accessibility Instrument Survey (AIS), collecting basic information on each of the accessibility instruments reviewed in this report (for more detail on these Instruments see Chapter 3). The aim of the survey was to enable quick, objective and comparable overviews of each of the reviewed accessibility instruments. The information collected will enable the categorization of accessibility instruments present in this research, aiming to be a reference for future categorization of accessibility instruments for planning practice. These categories will support the analysis of the coverage of accessibility instruments in this research, i.e., identify how representative this research is across different accessibility instrument types. In addition, these will be used to analyse the characteristics and concerns which most frequently underlie the development of accessibility instruments. Finally, the survey also collects developer’s perceptions on the usefulness of their accessibility instruments in planning practice, enabling the first insight into the main research question of this COST Action, although limited to the developer’s point of view. In summary, the results of the survey will be used for four purposes: Development of an accessibility instrument sheet for each accessibility instrument summarizing its main characteristics (Appendix A); Identify the coverage of accessibility instrument types present in this research (Section 4.3.1) discussing the representativeness of this Action; Provide a glimpse on the characteristics and concerns which most frequently underlie the development of accessibility instruments (Section 4.3.2); Provide a first insight into the perceived usefulness of accessibility instruments in planning practice from the point of view of the developer (Section 4.3.2 and Section 4.3.3). The next section provides an overview of the Survey describing the information collected. This section also describes the development process of this survey including data collection, dates and means. The results of the survey are analysed in the third section starting with a discussion on the coverage of accessibility instruments reviewed by this research (Section 4.3.1), identifying accessibility measure types which are represented and which are absent. This discussion is accompanied by the presentation of the main categories of accessibility instruments from the perspective of the end user. These categories try to summarize the main concerns planning practitioners are expected to have when searching for an accessibility instrument and is built upon some of the information collected by the survey. Following, the third section also presents a general analysis of the results (Section 4.3.2), focussing on the dominant characteristics of the accessibility instruments reviewed and on the developer’s perception of the usefulness their instrument will have for end users. The section ends with a brief cross analysis of results (Section 4.3.3) trying to identify relationships between accessibility instrument characteristics and perceptions of usefulness by developers. The fourth and last section presents the main conclusions of this study.

Estratégia de internacionalização das empresas competências na exportação e enquadramento no direito aduaneiro

Dissertação apresentada ao Instituto Superior de Contabilidade e Administração do Porto para a obtenção do Grau de Mestre em Empreendedorismo e Internacionalização

Efeito da combinação de antibióticos e sinvastatina sobre microrganismos de interesse endodôntico e na expressão de marcadores odontoblásticos

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)

Comportamento à fadiga de juntas soldadas de aços tipo 460M com fios fluxados

Trabalho Final de Mestrado para obtenção do grau de Mestre em Engenharia Mecânica

Práticas de inclusão com alunos com multideficiência no 1º Ciclo

Dissertação apresentada à Escola Superior de Educação de Lisboa para obtenção de grau de mestre em Ciências da Educação, especialidade Educação Especial – Problemas Cognitivos e Multideficiência

O uso de corpora na análise da representação do discurso em tradução

Este artigo apresenta uma pesquisa sobre a representação do discurso ficcional embasado na gramática sistêmico - funcional proposta por Halliday e na Lingüística de Corpus, utilizando-se o software WordSmith Tools. A análise focaliza a metafunção ideacional, realizada pelo sistema de transitividade, focalizando os processos mentais e a relação lógico - semântica da projeção. O objetivo da pesquisa foi observar como os pensamentos das personagens de um corpus ficcional são representados através dos verbos de elocução THINK e PENSAR, buscando descrever padrões textuais nos três romances que compõem o corpus.

e-Recruitment: descrição e inferência sobre oferta e procura

Trabalho de Projeto para obtenção do grau de Mestre em Engenharia Informática e de Computadores

Identificação da combinação ótima das fontes de energia renovável de origem hídrica, eólica e fotovoltaica para a integração no sistema elétrico português

Dissertação para obtenção do grau de Mestre em Engenharia Electrotécnica Ramo de Energia

Modelação do viaduto do Corgo durante o ensaio de carga estático

Trabalho Final de Mestrado elaborado no Laboratório Nacional de Engenharia Civil (LNEC) para a obtenção do grau de Mestre em Engenharia Civil pelo Instituto Superior de Engenharia de Lisboa no âmbito do protocolo de cooperação entre o ISEL e o LNEC

Palácio Nacional de Sintra: o restauro de 1996

Dissertação para obtenção do grau de Mestre em Engenharia Civil na Área de especialização de Edificações