Free breast and cervical exams

This sheet printed in Spanish and English shows how you may get free cervical and breast exams for cancer if you meet certain conditions.

Recomendaciones para el uso del yoduro de potasio (KI por su fórmula química) durante una situación de emergencia en una planta nuclear

This paper written in Spanish gives information about radioactive materials and safety during a nuclear power plant emergency.

Pap Test Fact Sheet

This paper, written in English and Spanish, tells what a pap test is and what the test results mean.

Las vacunas para preadolescentes y adolescentes : Qué es lo que deben saber los padres

This sheet written in Spanish answers the questions: why does my child need vaccines now?, what vaccines does my child need?, when should my child be vaccinated?, what else should I know about these vaccines?, how can I get help paying for these vaccines? and where can I learn more?

Mujeres, Higiene e Infecciones

This brochure written in Spanish gives personal hygiene tips for women.

Una mamografía le podría salvar la vida

This Spanish language sheet tells about mammograms.

Desarrollo Embrionario & Fetal

Written in Spanish, this document explains embryonic and fetal development.

A luz na pintura de representação : mito, representação e luz na prática pictórica : (1550-1650)

Tese de doutoramento, Belas-Artes (Pintura), Universidade de Lisboa, Faculdade de Belas-Artes, 2014

What is poetic attention

Tese de doutoramento, Estudos de Literatura e de Cultura (Teoria da Literatura), Universidade de Lisboa, Faculdade de Letras, 2014

The Professional Legitimacy of the Taiwan-educated versus US-educated Taiwanese English Teachers

Thesis (Ph.D.)--University of Washington, 2015

Specifying and analysing networks of processes in CSPt (or in search of associativity)

In proposing theories of how we should design and specify networks of processes it is necessary to show that the semantics of any language we use to write down the intended behaviours of a system has several qualities. First in that the meaning of what is written on the page reflects the intention of the designer; second that there are no unexpected behaviours that might arise in a specified system that are hidden from the unsuspecting specifier; and third that the intention for the design of the behaviour of a network of processes can be communicated clearly and intuitively to others. In order to achieve this we have developed a variant of CSP, called CSPt, designed to solve the problems of termination of parallel processes present in the original formulation of CSP. In CSPt we introduced three parallel operators, each with a different kind of termination semantics, which we call synchronous, asynchronous and race. These operators provide specifiers with an expressive and flexible tool kit to define the intended behaviour of a system in such a way that unexpected or unwanted behaviours are guaranteed not to take place. In this paper we extend out analysis of CSPt and introduce the notion of an alphabet diagram that illustrates the different categories of events that can arise in the parallel composition of processes. These alphabet diagrams are then used to analyse networks of three processes in parallel with the aim of identifying sufficient constraints to ensure associativity of their parallel composition. Having achieved this we then proceed to prove associativity laws for the three parallel operators of CSPt. Next, we illustrate how to design and construct a network of three processes that satisfy the associativity law, using the associativity theorem and alphabet diagrams. Finally, we outline how this could be achieved for more general networks of processes.

Successful termination in timed CSP

In proposing theories of how we should design and specify networks of processes it is necessary to show that the semantics of any language we use to write down the intended behaviours of a system has several qualities. First in that the meaning of what is written on the page reflects the intention of the designer; second that there are no unexpected behaviours that might arise in a specified system that are hidden from the unsuspecting specifier; and third that the intention for the design of the behaviour of a network of processes can be communicated clearly and intuitively to others. In order to achieve this we have developed a variant of CSP, called CSPt, designed to solve the problems of termination of parallel processes present in the original formulation of CSP. In CSPt we introduced three parallel operators, each with a different kind of termination semantics, which we call synchronous, asynchronous and race. These operators provide specifiers with an expressive and flexible tool kit to define the intended behaviour of a system in such a way that unexpected or unwanted behaviours are guaranteed not to take place. In this paper we extend out analysis of CSPt and introduce the notion of an alphabet diagram that illustrates the different categories of events that can arise in the parallel composition of processes. These alphabet diagrams are then used to analyse networks of three processes in parallel with the aim of identifying sufficient constraints to ensure associativity of their parallel composition. Having achieved this we then proceed to prove associativity laws for the three parallel operators of CSPt. Next, we illustrate how to design and construct a network of three processes that satisfy the associativity law, using the associativity theorem and alphabet diagrams. Finally, we outline how this could be achieved for more general networks of processes.

Are Deep Learning Approaches Suitable for Natural Language Processing?

In recent years, Deep Learning (DL) techniques have gained much at-tention from Artificial Intelligence (AI) and Natural Language Processing (NLP) research communities because these approaches can often learn features from data without the need for human design or engineering interventions. In addition, DL approaches have achieved some remarkable results. In this paper, we have surveyed major recent contributions that use DL techniques for NLP tasks. All these reviewed topics have been limited to show contributions to text understand-ing, such as sentence modelling, sentiment classification, semantic role labelling, question answering, etc. We provide an overview of deep learning architectures based on Artificial Neural Networks (ANNs), Convolutional Neural Networks (CNNs), Long Short-Term Memory (LSTM), and Recursive Neural Networks (RNNs).

Meios de comunicação como instrumentos de inserção da comunidade cabo-verdiana na sociedade de acolhimento: o caso da área metropolitana de Lisboa

Dissertação apresentada à Escola Superior de Comunicação Social como parte dos requisitos para obtenção de grau de mestre em Jornalismo.

Diz-me as letras e eu escrevo: a descoberta da escrita no Jardim de Infância

Relatório da Prática Profissional Supervisionada Mestrado em Educação Pré-Escolar