2 resultados para propositional linear-time temporal logic

em CORA - Cork Open Research Archive - University College Cork - Ireland


Relevância:

100.00% 100.00%

Publicador:

Resumo:

A substantial amount of information on the Internet is present in the form of text. The value of this semi-structured and unstructured data has been widely acknowledged, with consequent scientific and commercial exploitation. The ever-increasing data production, however, pushes data analytic platforms to their limit. This thesis proposes techniques for more efficient textual big data analysis suitable for the Hadoop analytic platform. This research explores the direct processing of compressed textual data. The focus is on developing novel compression methods with a number of desirable properties to support text-based big data analysis in distributed environments. The novel contributions of this work include the following. Firstly, a Content-aware Partial Compression (CaPC) scheme is developed. CaPC makes a distinction between informational and functional content in which only the informational content is compressed. Thus, the compressed data is made transparent to existing software libraries which often rely on functional content to work. Secondly, a context-free bit-oriented compression scheme (Approximated Huffman Compression) based on the Huffman algorithm is developed. This uses a hybrid data structure that allows pattern searching in compressed data in linear time. Thirdly, several modern compression schemes have been extended so that the compressed data can be safely split with respect to logical data records in distributed file systems. Furthermore, an innovative two layer compression architecture is used, in which each compression layer is appropriate for the corresponding stage of data processing. Peripheral libraries are developed that seamlessly link the proposed compression schemes to existing analytic platforms and computational frameworks, and also make the use of the compressed data transparent to developers. The compression schemes have been evaluated for a number of standard MapReduce analysis tasks using a collection of real-world datasets. In comparison with existing solutions, they have shown substantial improvement in performance and significant reduction in system resource requirements.

Relevância:

40.00% 40.00%

Publicador:

Resumo:

This study examines children’s temporal ways of knowing and it highlights the centrality of temporal cognition in the development of children’s historical understanding. It explores how young children conceptualise time and it examines the provision for temporal cognition at the levels of the intended, enacted and received history curriculum in the Irish primary school context. Positioning temporality as a prerequisite second-order concept, the study recognises the essential role of both first-order and additional second-order concepts in historical understanding. While the former can be defined as the basic, substantive content to be taught, the latter refers to a number of additional key concepts that are deemed fundamental to children's capacity to make meaningful sense of history. The study argues for due recognition to be given to temporality, in the belief that both sets of knowledge, the content and skills, are required to develop historical thinking (Lévesque, 2011). The study addresses a number of key research questions, using a mixed methods research design, comprising an analysis of history textbooks, a survey among final year student teachers about their teaching of history, and school-based interviews with primary school children: What opportunities are available for children to develop temporal ways of knowing? How do student teachers experience being apprenticed into the available culture for teaching history and understanding temporality at primary level? What insights do the cognitive-developmental and sociocultural perspectives on learning provide for understanding the dynamics of children’s temporal ways of knowing? The study argues that the skill of developing a deeper understanding of time is a key prerequisite in connecting with, and constructing, understandings and frameworks of the past. The study advances a view of temporality as complex, multi-faceted and developmental. The findings have a potential contribution to make in influencing policy and pedagogy in establishing an elaborated and well-defined curriculum framework for developing temporal cognition at both national and international levels.