50 resultados para Relational Reasoning
Resumo:
Tese de Doutoramento em Geografia Humana.
Resumo:
Tese de Doutoramento em Sociologia
Resumo:
Inspired by the relational algebra of data processing, this paper addresses the foundations of data analytical processing from a linear algebra perspective. The paper investigates, in particular, how aggregation operations such as cross tabulations and data cubes essential to quantitative analysis of data can be expressed solely in terms of matrix multiplication, transposition and the Khatri–Rao variant of the Kronecker product. The approach offers a basis for deriving an algebraic theory of data consolidation, handling the quantitative as well as qualitative sides of data science in a natural, elegant and typed way. It also shows potential for parallel analytical processing, as the parallelization theory of such matrix operations is well acknowledged.
Resumo:
In the trend towards tolerating hardware unreliability, accuracy is exchanged for cost savings. Running on less reliable machines, functionally correct code becomes risky and one needs to know how risk propagates so as to mitigate it. Risk estimation, however, seems to live outside the average programmer’s technical competence and core practice. In this paper we propose that program design by source-to-source transformation be risk-aware in the sense of making probabilistic faults visible and supporting equational reasoning on the probabilistic behaviour of programs caused by faults. This reasoning is carried out in a linear algebra extension to the standard, `a la Bird-Moor algebra of programming. This paper studies, in particular, the propagation of faults across standard program transformation techniques known as tupling and fusion, enabling the fault of the whole to be expressed in terms of the faults of its parts.
Resumo:
Model finders are very popular for exploring scenarios, helping users validate specifications by navigating through conforming model instances. To be practical, the semantics of such scenario exploration operations should be formally defined and, ideally, controlled by the users, so that they are able to quickly reach interesting scenarios. This paper explores the landscape of scenario exploration operations, by formalizing them with a relational model finder. Several scenario exploration operations provided by existing tools are formalized, and new ones are proposed, namely to allow the user to easily explore very similar (or different) scenarios, by attaching preferences to model elements. As a proof-of-concept, such operations were implemented in the popular Alloy Analyzer, further increasing its usefulness for (user-guided) scenario exploration.
Resumo:
This paper introduces the metaphorism pattern of relational specification and addresses how specification following this pattern can be refined into recursive programs. Metaphorisms express input-output relationships which preserve relevant information while at the same time some intended optimization takes place. Text processing, sorting, representation changers, etc., are examples of metaphorisms. The kind of metaphorism refinement proposed in this paper is a strategy known as change of virtual data structure. It gives sufficient conditions for such implementations to be calculated using relation algebra and illustrates the strategy with the derivation of quicksort as example.
Resumo:
As 2008 came to a close the avalanche of discourse on the demise of newspapers (and traditional media in general) grew to such an extent that consideration of any alternative scenario became almost difficult to utter. Academic articles, conferences, newspaper and magazine features were abundantly produced on thematic variations which went from ‘The End of Newspapers’ to ‘The End of Journalism’ (testing these expressions in a popular search engine we can easily get in excess of 23 thousand references for the first one and over 290 thousand references for the second one and there is even a dedicated ‘Newspaper Death Watch’ site with constant updates). The broad assumption of this production – particularly the one that identifies one possibility with the other – revolves around notions like the collapse of rigid business models, the breakdown of producer/user fidelity/trust, and the failings of a self-centred and entrenched professional (the journalist). The present seems to be enunciated as a ‘the end of days’ period, with images of irrevocable perdition funnelling our reasoning towards one single possible outcome – the imperious necessity of complete reinvention, not necessarily with the same agents.
Resumo:
Dissertação de mestrado em Direito dos Contratos e da Empresa
Resumo:
Dissertação de mestrado em Contabilidade
Resumo:
Dissertação de mestrado em Psicologia Aplicada
Resumo:
Tese de Mestrado Ciclo de Estudos Integrados Conducentes ao Grau de Mestre em Arquitectura Área de Especialização: Construção e Tecnologia
Resumo:
Relatório de estágio de mestrado em Ciências da Comunicação (área de especialização em Informação e Jornalismo)
Resumo:
Dissertação de mestrado em Educação Especial (área de especialização em Dificuldades de Aprendizagem Específicas)
Resumo:
Relatório de estágio de mestrado em Ensino de Matemática no 3.º ciclo do Ensino Básico e no Ensino Secundário
Resumo:
Dissertação de mestrado em Educação Especial (área de especialização em Intervenção Precoce)