Exact and heuristic methods for solving Boolean games

Boolean games are a framework for reasoning about the rational behavior of agents whose goals are formalized using propositional formulas. Compared to normal form games, a well-studied and related game framework, Boolean games allow for an intuitive and more compact representation of the agents’ goals. So far, Boolean games have been mainly studied in the literature from the Knowledge Representation perspective, and less attention has been paid on the algorithmic issues underlying the computation of solution concepts. Although some suggestions for solving specific classes of Boolean games have been made in the literature, there is currently no work available on the practical performance. In this paper, we propose the first technique to solve general Boolean games that does not require an exponential translation to normal-form games. Our method is based on disjunctive answer set programming and computes solutions (equilibria) of arbitrary Boolean games. It can be applied to a wide variety of solution concepts, and can naturally deal with extensions of Boolean games such as constraints and costs. We present detailed experimental results in which we compare the proposed method against a number of existing methods for solving specific classes of Boolean games, as well as adaptations of methods that were initially designed for normal-form games. We found that the heuristic methods that do not require all payoff matrix entries performed well for smaller Boolean games, while our ASP based technique is faster when the problem instances have a higher number of agents or action variables.

Using Answer Set Programming for Solving Boolean Games

Boolean games are a framework for reasoning about the rational behaviour of agents, whose goals are formalized using propositional formulas. They offer an attractive alternative to normal-form games, because they allow for a more intuitive and more compact encoding. Unfortunately, however, there is currently no general, tailor-made method available to compute the equilibria of Boolean games. In this paper, we introduce a method for finding the pure Nash equilibria based on disjunctive answer set programming. Our method is furthermore capable of finding the core elements and the Pareto optimal equilibria, and can easily be modified to support other forms of optimality, thanks to the declarative nature of disjunctive answer set programming. Experimental results clearly demonstrate the effectiveness of the proposed method.

Genomic markers for decision making:What is preventing us from using markers?

The advent of novel genomic technologies that enable the evaluation of genomic alterations on a genome-wide scale has significantly altered the field of genomic marker research in solid tumors. Researchers have moved away from the traditional model of identifying a particular genomic alteration and evaluating the association between this finding and a clinical outcome measure to a new approach involving the identification and measurement of multiple genomic markers simultaneously within clinical studies. This in turn has presented additional challenges in considering the use of genomic markers in oncology, such as clinical study design, reproducibility and interpretation and reporting of results. This Review will explore these challenges, focusing on microarray-based gene-expression profiling, and highlights some common failings in study design that have impacted on the use of putative genomic markers in the clinic. Despite these rapid technological advances there is still a paucity of genomic markers in routine clinical use at present. A rational and focused approach to the evaluation and validation of genomic markers is needed, whereby analytically validated markers are investigated in clinical studies that are adequately powered and have pre-defined patient populations and study endpoints. Furthermore, novel adaptive clinical trial designs, incorporating putative genomic markers into prospective clinical trials, will enable the evaluation of these markers in a rigorous and timely fashion. Such approaches have the potential to facilitate the implementation of such markers into routine clinical practice and consequently enable the rational and tailored use of cancer therapies for individual patients. © 2010 Macmillan Publishers Limited. All rights reserved.

Overcoming Resistance to Targeted Therapies in Cancer

The recent discovery of oncogenic drivers and subsequent development of novel targeted strategies has significantly added to the therapeutic armamentarium of anti-cancer therapies. Targeting BCR-ABL in chronic myeloid leukemia (CML) or HER2 in breast cancer has led to practice-changing clinical benefits, while promising therapeutic responses have been achieved by precision medicine approaches in EGFR mutant lung cancer, colorectal cancer and BRAF mutant melanoma. However, although initial therapeutic responses to targeted therapies can be substantial, many patients will develop disease progression within 6-12 months. An increasing application of powerful omics-based approaches and improving preclinical models have enabled the rapid identification of secondary resistance mechanisms. Herein, we discuss how this knowledge has translated into rational, novel treatment strategies for relapsed patients in genomically selected cancer populations.

Diabetes Distress: Understanding the Hidden Struggles of Living with Diabetes and Exploring Intervention Strategies

Diabetes Distress is a rational emotional response to the threat of a life-changing illness. Distinct from depression, it is rooted in the demands of diabetes management and is a product of psychological adjustment. Diabetes distress has been found to be significantly associated with HbA1c and self-care, which demonstrates its clinical use in treatment outcomes. Interpersonal factors such as perceived support and protectiveness of partners significantly contribute to elevated distress, suggesting that these are valued areas of focus for interventions. Pioneering large-scale research, DAWN2, gives voices to the families of those with diabetes and reaffirms the need to consider psychosocial factors in routine diabetes care. Structured diabetes education programmes are the most widely used in helping individuals cope with diabetes, but they fail to consider the psychological or interpersonal aspects of diabetes management. Psycho-educational approaches are found to be effective in reducing diabetes distress while also improving HbA1c. Certain limitations in the current literature are discussed, along with future directions. Of utmost importance is the need for health practitioners, irrespective of background, to demonstrate an understanding of diabetes distress and actively engage in discussion with individuals struggling to cope with diabetes; to normalize this and integrate it into routine diabetes practice.

Kinect and Episodic Reasoning for Human Action Recognition

This paper presents a method for rational behaviour recognition that combines vision-based pose estimation with knowledge modeling and reasoning. The proposed method consists of two stages. First, RGB-D images are used in the estimation of the body postures. Then, estimated actions are evaluated to verify that they make sense. This method requires rational behaviour to be exhibited. To comply with this requirement, this work proposes a rational RGB-D dataset with two types of sequences, some for training and some for testing. Preliminary results show the addition of knowledge modeling and reasoning leads to a significant increase of recognition accuracy when compared to a system based only on computer vision.

The Creativity of Mothering: Intensity, Anxiety and Normative Accountability

This chapter focuses on the question of how to explain agency in the context of motherhood. In so doing, it seeks to go beyond the tendency to focus exclusively on the burden of coordination which institutional structures generate for mothers, in order to examine the evaluative burden which normative structures demand of this role. Drawing on interview material with 40 middle class mothers across two research sites in the UK and US, the paper develops a three-part typology of maternal role performance. This relies on the insights of contemporary action theory, with its emphasis on emotionally configured intersubjective interpretation of normative structures, and more specifically on Joas’s pragmatist theorisation of social action as a creative process. The paper argues that maternal agency takes three distinct ideal-typical forms, namely romantic expressivism, rational instrumentalism, and pragmatism. These are conceived as distinct creative responses to the evaluative demands of motherhood, as the agents go about interpreting situated norms, needs and interests.

Philosophy and Political Engagement: Reflection in the Public Sphere

Do philosophers have a responsibility to their society that is distinct from their responsibility to it as citizens? This edited volume explores both what type of contribution philosophy can make and what type of reasoning is appropriate when addressing public matters now. These questions are posed by leading international scholars working in the fields of moral and political philosophy. Each contribution also investigates the central issue of how to combine critical, rational analysis with a commitment to politically relevant public engagement. The contributions to this volume analyse issues raised in practical ethics, including abortion, embryology, and assisted suicide. They consider the role of ethical commitment in the philosophical analysis of contemporary political issues, and engage with matters of public policy such as poverty, the arts, meaningful work, as well as the evidence base for policy. They also examine the normative legitimacy of power, including the use of violence.

O ensino e a aprendizagem dos números racionais e a utilização de materiais manipuláveis

Relatório de Estágio para obtenção do grau de Mestre em Ensino do 1.º Ciclo do 2.º Ciclo do Ensino Básico. Orientador: Bento Cavadas. Coorientadora:Neusa Branco

Conto de fadas: o imaginário na aprendizagem da lectoescrita

Esta investigação, cujo estudo empírico se desenvolveu através de um projecto de investigação-acção, numa turma do 1º ano de escolaridade, da Escola dos Combatentes em Ovar, no ano lectivo de 2008/2009 e cuja professora é, simultaneamente, a investigadora, parte do pressuposto de que a descoberta e compreensão da natureza, função e funcionamento do nosso sistema de escrita faz uso de processos racionais mas não dispensa a intervenção de processos afectivos que se inscrevem na área do imaginário e tenta compreender de que forma a exploração do conto de fadas em sala de aula associada à utilização de técnicas do método global pode influenciar a aprendizagem da leitura e da escrita na referida turma. O estudo tem como objectivos reabilitar o imaginário no âmbito da Educação e enfrentar os índices de insucesso escolar no que se refere à aprendizagem da leitura e da escrita nos dois primeiros anos de escolaridade. Inicia-se esta tese com uma abordagem às questões teóricas que norteiam a investigação, nomeadamente, no que se refere ao imaginário, ao conto de fadas e à aprendizagem da leitura e da escrita. Os resultados indicam que à excepção de uma criança que apresentava problemas de natureza cognitiva, o sucesso académico das crianças desta turma foi de 100% quer no final do 1º ano quer no final do 2º ano de escolaridade. De todas as crianças da turma, 79,1% atingiram, no final do 1º ano, um nível de proficiência na leitura e na escrita semelhante ao que é expectável para o final do 2º ano de escolaridade.

Do design de interação ao design da experiência tecnologicamente (i)mediata

Partindo da ideia de ʻDesign Globalʼ e tendo como pano de fundo a emergência e consolidação de novos paradigmas de interação baseados numa relação mais direta entre o corpo e os conteúdos digitais, a presente tese aborda a questão da (re)qualificação da experiência humana tecnologicamente mediada do ponto de vista do Design, designadamente do Design de Interação e do Design da Experiência. Neste contexto, a noção de ʻexperiência tecnologicamente (i)mediadaʼ representa uma ação humana que é, simultaneamente, mediada (do ponto de vista técnico) e direta ou imediada (do ponto de vista da percepção) entre o ser e a sua ação no mundo. Dado o objecto de estudo ser a experiência real que os objetos e dispositivos técnicos convocam designadamente na vida quotidiana, o nosso estudo implica toda a dinâmica holística da relação singular – racional, emocional, estética e projetiva – do ser com o seu mundo. Desse modo, defende-se a necessidade de enquadrar a raiz do pensamento e ação em Design numa hermenêutica fenomenológica e ontológica do projeto. Esta tese visa desta forma contribuir para apuramento e consolidação de uma praxis transdisciplinar para os designers e restantes intervenientes do processo do Design, cujo desígnio é a (re)qualificação da experiência que os artefactos e dispositivos técnicos convocam, assim como na apropriação e vínculo que a pessoa estabelece com estes. O resultado deste estudo sintetiza-se nos seguintes objetivos: 1. no desenvolvimento de conceitos operativos que estruturem o pensamento de uma Filosofia da Ação em Design com base numa prática que designamos por “design centrado-no-ser”; 2. na reflexão da experiência tecnológica através do conceito do estado de fluxo de Mihaly Csikszentmihalyi, enquadrando essa tipologia de experiências no contexto de uma vida, ou seja, no projeto de um eu; 3. na problematização da (re)qualificação da experiência técnica numa perspetiva de vida mais alargada que envolve o princípio de simetria entre ação ética e ação estética no pensamento e prática em Design; 4. na definição de um quadro de ações que manifesta a aplicabilidade dos conceitos desenvolvidos no ensino, investigação e prática do Design.

Avaliação imobiliária: entre a ciência da avaliação e a arte da apreciação

Recentemente a avaliação imobiliária levou ao colapso de instituições financeiras e à crise no Subprime. A presente investigação pretende contribuir para perceber quais os factores preponderantes na avaliação imobiliária. O trabalho aborda a problemática da assimetria de informação, os diferentes métodos de avaliação imobiliária e a importância das externalidades. Empiricamente há diversos casos analisados através do uso da metodologia da Regressão Linear, Análise de Clusters e Análise de Componentes Principais da Análise Factorial. O primeiro caso analisado é direccionado à avaliação das externalidades, onde os resultados indicam que as externalidades positivas principais são as seguintes: as vistas de marina são mais valorizadas que as vistas de mar, as vistas frontais são mais valorizadas que as vistas laterais e existem diferenças de valorização ao nível do piso de acordo com o tipo de habitação (residência ou férias). O segundo estudo analisa como o método do rendimento ajuda na explicação da realidade portuguesa, no qual foram obtidos três clusters de rendas e três clusters de yields para cada uma das amostras. Os resultados demonstram que: (a) ambos os clusters, das yields e das rendas são formados por diferentes elementos (b) que o valor da oferta é explicado pelo método do rendimento, pelo cluster das yields e pela densidade populacional. No terceiro estudo foram inquiridos 427 indivíduos que procuravam apartamento para residência. A partir da Análise de Componentes Principais da Análise Factorial efectuada obtiveram-se sete factores determinantes na procura de apartamento: as externalidades negativas, as externalidades positivas, a localização de negócios no rés-do-chão do edifício de apartamentos, os interesses racionais de proximidade, as variáveis secundárias na utilização do edifício, as variáveis de rendimento e as variáveis de interesses pessoais. A principal conclusão é que como é uma área transdisciplinar, é difícil chegar a um único modelo que incorpore os métodos de avaliação e as diferentes dinâmicas da procura. O avaliador, deve analisar e fazer o seu scoring, tendo em conta o equilíbrio entre a ciência da avaliação e a arte da apreciação.

Nanocompósitos de PMMA/HA/grafeno para aplicações biomédicas

Os cimentos ósseos à base de PMMA para aplicações em artroplastia da anca apresentam como grande limitação o facto do seu constituinte principal ser um elemento bioinerte o que leva à falta de integração entre as interfaces cimento ósseo/tecido ósseo, comprometendo assim o desempenho mecânico da prótese ortopédica ao longo do tempo. Esta dissertação tem como objetivo principal a preparação de novas formulações de cimentos ósseos com a capacidade de estabelecer interações com os tecidos vivos circundantes. De modo a melhorar a bioatividade do sistema e facilitar a sua osseointegração, os cimentos ósseos comerciais foram reforçados com cargas significativas de HA. No entanto o recurso a elevadas cargas de HA (~60% m/m) no cimento ósseo promove debilidades do ponto de vista estrutural, levando a uma baixa resistência mecânica do material final. No sentido de ultrapassar esta limitação, foram inseridas nanoestruturas de carbono (GO ou CNTs) em baixas percentagens na matriz polimérica por forma a maximizar a sua performance mecânica através da perfeita integração de todos os componentes. A primeira fase deste trabalho consistiu no desenvolvimento de metodologias que permitissem a síntese de GO através da exfoliação química da grafite em solução aquosa. Os resultados obtidos demonstraram a obtenção de folhas de GO em larga escala e com número de camadas uniforme. A funcionalização orgânica superficial via ATRP do GO obtido, com cadeias de PMMA possibilitou o desenvolvimento de novos materiais nanocompósitos, no entanto alguns fatores de natureza tecnológica inviabilizaram o seu uso como agente de reforço na matriz idealizada. O desenvolvimento de novas formulações de cimentos ósseos consistiu numa matriz de PMMA/HA (1:2 (m/m)) reforçada com pequenas percentagens de GO ou CNTs (0,01, 0,1, 0,5 e 1,0% m/m). A síntese destes materiais nanocompósitos resultou da combinação de diversas técnicas: ultrassons, granulação por congelamento e liofilização. A análise estrutural dos nanocompósitos obtidos demonstrou a eficácia da metodologia desenvolvida na homogeneização de todos os elementos do sistema. Os estudos desenvolvidos após a conformação e caracterização estrutural dos novos materiais nanocompósitos permitiram verificar que as nanoestruturas de carbono apresentavam efeitos adversos na polimerização via radicalar do PMMA. A análise da fração orgânica permitiu verificar a presença de espécies oligoméricas o que reduziu significativamente o comportamento mecânico dos nanocompósitos. Através do estudo do aumento da concentração das espécies radicalares iniciais foi possível suplantar este problema e tirar o máximo rendimento dos agentes de reforço, tendo-se destacado os nanocompósitos reforçados com GO. A validação do ponto de vista mecânico das novas formulações de cimentos ósseos recaiu sobre o procedimento descrito na norma europeia ISO 5833 de 2002 – Implantes para cirurgia – cimentos acrílicos, tendo sido realizados os testes de compressão e de flexão. A avaliação biológica do comportamento dos cimentos ósseos assentou em duas abordagens complementares: estudos de mineralização em SBF e estudos de biocompatibilidade em meios celulares. Após a incubação das amostras em SBF ficou demonstrada a excelente capacidade para promoverem a integração de uma camada apatítica. Através de estudos celulares com Fibroblastos L929 e Osteoblastos Saos-2, nos quais foram avaliados a proliferação celular, viabilidade celular, espécies reativas de oxigénio, apoptose e morfologia celular, foi possível verificar bons níveis de biocompatibilidade para os materiais devolvidos.

Empregabilidade e procura do ensino superior: o caso da UA

O principal objectivo deste trabalho consistiu em avaliar as motivações preponderantes dos cursos de 1º ciclo dos alunos da Universidade de Aveiro. Em particular, tentamos perceber se o maior factor seria a taxa de empregabilidade do curso. Para o efeito foram analisados dados relativos a três fontes de informação fundamentais: os dados relativos aos concursos nacionais de acesso disponibilizados pela Direcção Geral do Ensino Superior; dados relativos aos perfil dos estudantes de 1º ciclo da UA no ano lectivo de 2011/12 e, finalmente, dados relativos ao perfil de empregabilidade dos diplomados da UA de 2009/10 a 2011/12. Dos resultados obtidos, concluiu-se que o factor empregabilidade não é o factor com maior peso na hora de um jovem escolher um curso superior da UA. Ainda assim, e apesar de termos verificado que motivos como a vocação e a realização pessoal, são de facto factores mais relevantes, não é claro que exista um factor de motivação claramente preponderante, o que aponta para que este processo de escolha seja multi-dimensional e não apenas um acto de mera racionalidade material.

Gestão LEAN aplicada ao terceiro setor

A conjuntura atual económica, financeira e social tem pressionado o uso racional dos recursos existentes, seja pelo setor privado ou pelo setor público. Contudo, nem sempre as empresas e organizações conseguem fazê-lo da melhor forma possível, seja por falta de experiência, por falta de conhecimento ou simplesmente pela aversão à mudança. É no contexto de redução de custos/ gastos que a gestão Lean tem vindo a afirmar-se como um método/filosofia eficaz e o suficientemente flexível e robusta para se adaptar a diferentes realidades organizacionais. Nesse seguimento, este relatório testemunha a introdução da gestão Lean numa organização do Terceiro Setor – Centro Social e Paroquial da Vera Cruz, e questiona o seu valor acrescentado mesmo se implementada numa lógica parcelar e numa organização ainda globalmente longe de estar organizada segundo uma lógica Lean. Os resultados obtidos no âmbito do projeto em questão parecem apontar para uma operação bem sucedida e com boas perspetivas futuras, caso a referida organização dê continuidade à sua implementação.