Local Computation in Credal Networks

The goal of this contribution is to discuss local computation in credal networks — graphical models that can represent imprecise and indeterminate probability values. We analyze the inference problem in credal networks, discuss how inference algorithms can benefit from local computation, and suggest that local computation can be particularly important in approximate inference algorithms.

A componente de apoio à família na educação pré-escolar: contextos locais e lógicas de ação

A Componente de Apoio à Família surge como resposta à necessidade daquelas famílias cujo horário de trabalho não é compatível com o tempo letivo diário disponibilizado pelos jardins-de-infância públicos aos seus filhos. O Jardim-de-infância situa-se num contexto organizacional diversificado, uma vez que estabelece relações com o agrupamento de escolas a que pertence, com a autarquia, com os pais, com as associações de pais, com as instituições particulares de solidariedade social, com a comunidade e com outros parceiros educativos. Este estudo visa analisar a participação de diferentes prestadores de serviços: autarquias, associações de pais e instituições particulares de solidariedade social na organização, funcionamento e gestão da Componente de Apoio à Família. Neste contexto, pretendemos identificar os princípios e as estratégias que sustentam os diferentes prestadores de serviços e o modo como lidam com as questões da Componente de Apoio à Família, isto é, as lógicas de ação inerentes a cada prestador de serviços. Partindo de uma matriz metodológica qualitativa, recorremos ao estudo de caso, desenvolvendo o trabalho empírico em três concelhos da zona centro denominados Concelhos do Mar, da Ria e da Praia. Privilegia-se a realização de entrevistas, nomeadamente a educadores de infância, representantes dos agrupamentos de escolas, presidentes de associações de pais, diretoras/coordenadoras das instituições particulares de solidariedade social, animadores da componente de apoio à família e representantes das autarquias, num total de 56 entrevistas. Como principais resultados, verificamos que nos concelhos em estudo a resposta da Componente de Apoio à Família prestada por diferentes organizações apresentam lógicas de ação distintas: no Concelho do Mar a predominância vai para as lógicas de ação de poder local e de associativismo; no Concelho da Ria predominam lógicas de ação de natureza empresarial/mercado e de poder local; no Concelho da Praia salientamos as lógicas de ação burocrática e de poder local.

Curso EFA de Técnico de Contabilidade : a relevância da aprendizagem inserida numa vida laboral activa : Unidade Didáctica : UFCD, Unidade 23, 6218 Gastos de produção

Relatório da Prática de Ensino Supervisionada, Mestrado em Ensino de Economia e Contabilidade, Universidade de Lisboa, 2011

Processo RVCC para o público invisual

Relatório de estágio de mestrado, Ciências da Educação (Formação de Adultos), Universidade de Lisboa, Instituto de Educação, 2011

As lógicas de ação e o trabalho do diretor escolar : a construção de um agrupamento de escolas de sucesso

Trabalho de Projecto de mestrado, Ciências da Educação (Administração Educacional), Universidade de Lisboa, Instituto de Educação, 2012

"Educar é transformar o Mundo..." : lógicas de ação num colégio privado

Relatório de estágio de mestrado, Ciências da Educação (Administração Educacional), Universidade de Lisboa, Instituto de Educação, 2012

El director de agrupamiento escolar:regulado e regulador de las políticas educativas : estudio de un sistema de acción concreto construido en un agrupamiento escolar

Tese de doutoramento, Educação (Administração e Política Educacional), Universidade de Lisboa, Instituto de Educação, 2014

Conciliação família-trabalho em famílias monoparentais:uma abordagem comparativa de género

Tese de doutoramento, Ciências Sociais (Sociologia Geral), Universidade de Lisboa, Instituto de Ciências Sociais, 2013

Esferas de influência na avaliação de professores : das políticas avaliativas às conceções e práticas de avaliação numa escola básica e secundária

Tese de doutoramento, Educação (Supervisão e Orientação da Prática Profissional), Universidade de Lisboa, Instituto de Educação, 2014

Essa terra que tomo de conta : parentesco e territorialidade na Zona da Mata de Pernambuco

Tese de doutoramento, Antropologia (Antropologia do Parentesco e do Género), Universidade de Lisboa, Instituto de Ciências Sociais, 2014

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.

Small farmers and sustainability: institutional barriers to investment and innovation in the Malaysian palm oil industry in Sabah

The Malaysian palm oil industry is well known for the social, environmental and sustainability challenges associated with its rapid growth over the past ten years. Technologies exist to reduce the conflict between national development aims of economic uplift for the rural poor, on the one hand, and ecological conservation, on the other hand, by raising yields and incomes from areas already under cultivation. But the uptake of these technologies has been slow, particularly in the smallholder sector. In this paper we explore the societal and institutional challenges that influence the investment and innovation decisions of micro and small enterprise (MSE) palm oil smallholders in Sabah, Malaysia. Based on interviews with 38 smallholders, we identify a number of factors that reduce the smallholders' propensity to invest in more sustainable practices. We discuss why more effective practices and innovations are not being adopted using the concepts of, firstly, institutional logics to explore the internal dynamics of smallholder production systems, including attitudes to sustainability and innovation; and, secondly, institutional context to explore the pressures the smallholders face, including problems of access to land, labour, capital, knowledge and technical resources. These factors include limited access to global market information, corruption and uncertainties of legal title, weak economic status and social exclusion. In discussing these factors we seek to contribute to wider theoretical debates about the factors that block innovation and investment in business improvements in marginal regions and in marginalised groups.

A educação de adultos: um novo desafio organizacional na escola pública

Dissertação apresentada à Escola Superior de Educação de Lisboa para obtenção de grau de mestre em Ciências da Educação Especialização em Administração Escolar

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

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.