Famílias de crianças com perturbações do espectro do autismo: contributos para a compreensão das suas necessidades

Dissertação apresentada à Escola Superior de Educação de Lisboa para a obtenção do grau de Mestre em Ciências da Educação - Especialização em Intervenção Precoce

The 27th British liquid crystal society annual meeting 2013, Cambridge

Attending the British Liquid Crystal Society’s (BLCS) Annual Meeting was a formative experience in my days as a PhD student, starting way back in the 1990s. At that time, this involved travelling to (to me) exotic parts of the United Kingdom, such as Reading, Oxford or Manchester, away from Southampton where I was based. Some postdoctoral years in a different country followed, and three BLCS Meetings were missed, until in 1997 and 1998, I was able to attend again, in Southampton and Leeds, respectively. Not much had changed from my student days, the size and the format were still about the same, many of the leading characters were still around, and the closing talk would still be given by John Lydon. Well, at some point, I got myself a proper academic job on the Continent and stopped attending BLCS Annual Meetings altogether. The fond memories of my youth started to fade. Were the Meetings still on? It seemed so, as old friends and acquaintances would occasionally recount attending them, and even winning prizes at them. But, it all seemed rather remote now. Until, that is, it came to pass that the 27th BLCS Meeting would be held in Selwyn College, Cambridge, just down (or up, depending on how you look at it) the road from the Isaac Newton Institute, where I was spending part of my sabbatical leave. The opportunity to resume attendance could not be missed. A brief e-mail exchange with the organisers, and a cheque to cover the fee, duly secured this. And thus, it was with trepidation that I approached my first BLCS Annual Meeting in more than a decade.

Towards e-learning sustainability: designing and reusing student-centered learning scenarios

SMM09 Silesian Moodle Moot Conference 2009 12 - 13 November, Ostrava Sixth annual conference

Towards e-learning sustainability: designing and reusing student-centered learning scenarios

Learnin management systems have gained an increasing role in the context of Higher Education Institutions as essential tools to support learning...

A sustainable approach to the reuse of student - centered learning scenarios

Proceedings of EULEARN09 - Intenational Conference and New Learning Technologies, Barcelona, Spain, 6-8 July

Monitorização via internet de processos industriais controlados com autómatos programáveis

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

Jornalismo político na revolução: a imprensa Trotskista em 1974-75.

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

Semantics of logic programs with explicit negation

After a historical introduction, the bulk of the thesis concerns the study of a declarative semantics for logic programs. The main original contributions are: ² WFSX (Well–Founded Semantics with eXplicit negation), a new semantics for logic programs with explicit negation (i.e. extended logic programs), which compares favourably in its properties with other extant semantics. ² A generic characterization schema that facilitates comparisons among a diversity of semantics of extended logic programs, including WFSX. ² An autoepistemic and a default logic corresponding to WFSX, which solve existing problems of the classical approaches to autoepistemic and default logics, and clarify the meaning of explicit negation in logic programs. ² A framework for defining a spectrum of semantics of extended logic programs based on the abduction of negative hypotheses. This framework allows for the characterization of different levels of scepticism/credulity, consensuality, and argumentation. One of the semantics of abduction coincides with WFSX. ² O–semantics, a semantics that uniquely adds more CWA hypotheses to WFSX. The techniques used for doing so are applicable as well to the well–founded semantics of normal logic programs. ² By introducing explicit negation into logic programs contradiction may appear. I present two approaches for dealing with contradiction, and show their equivalence. One of the approaches consists in avoiding contradiction, and is based on restrictions in the adoption of abductive hypotheses. The other approach consists in removing contradiction, and is based in a transformation of contradictory programs into noncontradictory ones, guided by the reasons for contradiction.

The capacity exchange protocol

This paper proposes a new strategy to integrate shared resources and precedence constraints among real-time tasks, assuming no precise information on critical sections and computation times is available. The concept of bandwidth inheritance is combined with a capacity sharing and stealing mechanism to efficiently exchange bandwidth among tasks to minimise the degree of deviation from the ideal system’s behaviour caused by inter-application blocking. The proposed Capacity Exchange Protocol (CXP) is simpler than other proposed solutions for sharing resources in open real-time systems since it does not attempt to return the inherited capacity in the same exact amount to blocked servers. This loss of optimality is worth the reduced complexity as the protocol’s behaviour nevertheless tends to be fair and outperforms the previous solutions in highly dynamic scenarios as demonstrated by extensive simulations. A formal analysis of CXP is presented and the conditions under which it is possible to guarantee hard real-time tasks are discussed.

Projecto de um sistema de transmissão de um veículo de competição formula student

Dissertação apresentada na Faculdade de Ciência e Tecnologia da Universidade Nova de Lisboa para obtenção do grau de Mestre em Engenharia Mecânica.

Trends in public health policies addressing violence against women

OBJECTIVE To analyze the content of policies and action plans within the public healthcare system that addresses the issue of violence against women.METHODS A descriptive and comparative study was conducted on the health policies and plans in Catalonia and Costa Rica from 2005 to 2011. It uses a qualitative methodology with documentary analysis. It is classified by topics that describe and interpret the contents. We considered dimensions, such as principles, strategies, concepts concerning violence against women, health trends, and evaluations.RESULTS Thirteen public policy documents were analyzed. In both countries’ contexts, we have provided an overview of violence against women as a problem whose roots are in gender inequality. The strategies of gender policies that address violence against women are cultural exchange and institutional action within the public healthcare system. The actions of the healthcare sector are expanded into specific plans. The priorities and specificity of actions in healthcare plans were the distinguishing features between the two countries.CONCLUSIONS The common features of the healthcare plans in both the counties include violence against women, use of protocols, detection tasks, care and recovery for women, and professional self-care. Catalonia does not consider healthcare actions with aggressors. Costa Rica has a lower specificity in conceptualization and protocol patterns, as well as a lack of updates concerning health standards in Catalonia.

Prevalence of health promotion programs in primary health care units in Brazil

OBJECTIVE Assessment of prevalence of health promotion programs in primary health care units within Brazil’s health system. METHODS We conducted a cross-sectional descriptive study based on telephone interviews with managers of primary care units. Of a total 42,486 primary health care units listed in the Brazilian Unified Health System directory, 1,600 were randomly selected. Care units from all five Brazilian macroregions were selected proportionally to the number of units in each region. We examined whether any of the following five different types of health promotion programs was available: physical activity; smoking cessation; cessation of alcohol and illicit drug use; healthy eating; and healthy environment. Information was collected on the kinds of activities offered and the status of implementation of the Family Health Strategy at the units. RESULTS Most units (62.0%) reported having in place three health promotion programs or more and only 3.0% reported having none. Healthy environment (77.0%) and healthy eating (72.0%) programs were the most widely available; smoking and alcohol use cessation were reported in 54.0% and 42.0% of the units. Physical activity programs were offered in less than 40.0% of the units and their availability varied greatly nationwide, from 51.0% in the Southeast to as low as 21.0% in the North. The Family Health Strategy was implemented in most units (61.0%); however, they did not offer more health promotion programs than others did. CONCLUSIONS Our study showed that most primary care units have in place health promotion programs. Public policies are needed to strengthen primary care services and improve training of health providers to meet the goals of the agenda for health promotion in Brazil.

Using remote labs in education: two little ducks in remote experimentation

A book about remote labs and engineering education begs to begin with the question, “Why do engineering programs include lab work?” Although this may seem like a given and not worth discussing, whenever we’re faced with innovative ideas, it’s important to “put everything on the table” in order to reassess its value to our program or goals. What is it about lab work that is of value to students? Are there elements of traditional labs that we could let go of? Are there elements that we don’t want to lose? These questions can help us to clarify how and why labs are integrated into an engineering education program.

Methods and challenges for the health impact assessment of vaccination programs in Latin America

ABSTRACT OBJECTIVE To describe methods and challenges faced in the health impact assessment of vaccination programs, focusing on the pneumococcal conjugate and rotavirus vaccines in Latin America and the Caribbean. METHODS For this narrative review, we searched for the terms "rotavirus", "pneumococcal", "conjugate vaccine", "vaccination", "program", and "impact" in the databases Medline and LILACS. The search was extended to the grey literature in Google Scholar. No limits were defined for publication year. Original articles on the health impact assessment of pneumococcal and rotavirus vaccination programs in Latin America and the Caribbean in English, Spanish or Portuguese were included. RESULTS We identified 207 articles. After removing duplicates and assessing eligibility, we reviewed 33 studies, 25 focusing on rotavirus and eight on pneumococcal vaccination programs. The most frequent studies were ecological, with time series analysis or comparing pre- and post-vaccination periods. The main data sources were: health information systems; population-, sentinel- or laboratory-based surveillance systems; statistics reports; and medical records from one or few health care services. Few studies used primary data. Hospitalization and death were the main outcomes assessed. CONCLUSIONS Over the last years, a significant number of health impact assessments of pneumococcal and rotavirus vaccination programs have been conducted in Latin America and the Caribbean. These studies were carried out few years after the programs were implemented, meet the basic methodological requirements and suggest positive health impact. Future assessments should consider methodological issues and challenges arisen in these first studies conducted in the region.

A debugging engine for parallel and distributed programs

Dissertação apresentada para a obtenção do Grau de Doutor em Informática pela Universidade Nova de Lisboa, Faculdade de Ciências e Tecnologia.