5 resultados para Partial redundancy analysis (pRDA)
em CORA - Cork Open Research Archive - University College Cork - Ireland
Resumo:
This research is an exploration of the expression of student voice in Irish post-primary schools and how its affordance could impact on students’ and teachers’ experiences in the classroom, and at whole-school level through a student council. Student voice refers to the inclusion of students in decisions that shape their experiences in classrooms and schools, and is fundamental to a rights-based perspective that facilitates students to have a voice and a say in their education. Student voice is essential to the development of democratic principles, active citizenship, and learning and pedagogy. This qualitative research, based in three post-primary case-study schools, concerns teachers in eighteen classrooms engaging in dialogic consultation with their students over one school year. Teachers considered the students’ commentary and then adjusted their practice. The operation of student councils was also examined through the voices of council members, liaison teachers and school principals. Theorised within socio-cultural (social constructivist), social constructionist and poststructural frames, the complexity of student voice emerges from its conceptualisation and enactment. Affording students a voice in their classroom presented positive findings in the context of relationships, pedagogical change and students’ engagement, participation and achievement. The power and authority of the teacher and discordant student voices, particularly relating to examinations, presented challenges affecting teachers’ practice and students’ expectations. The functional redundancy of the student council as a construct for student voice at whole-school level, and its partial redundancy as a construct to reflect prefigurative democracy and active citizenship also emerge from the research. Current policy initiatives in Irish education situate student voice in pedagogy and as dialogic consultation at classroom and whole-school level. This work endorses the necessity for and benefit of such a positioning with the author further arguing that it should not become the instrumental student voice of data source, accountability and performativity.
Resumo:
This thesis is concerned with uniformly convergent finite element methods for numerically solving singularly perturbed parabolic partial differential equations in one space variable. First, we use Petrov-Galerkin finite element methods to generate three schemes for such problems, each of these schemes uses exponentially fitted elements in space. Two of them are lumped and the other is non-lumped. On meshes which are either arbitrary or slightly restricted, we derive global energy norm and L2 norm error bounds, uniformly in the diffusion parameter. Under some reasonable global assumptions together with realistic local assumptions on the solution and its derivatives, we prove that these exponentially fitted schemes are locally uniformly convergent, with order one, in a discrete L∞norm both outside and inside the boundary layer. We next analyse a streamline diffusion scheme on a Shishkin mesh for a model singularly perturbed parabolic partial differential equation. The method with piecewise linear space-time elements is shown, under reasonable assumptions on the solution, to be convergent, independently of the diffusion parameter, with a pointwise accuracy of almost order 5/4 outside layers and almost order 3/4 inside the boundary layer. Numerical results for the above schemes are presented. Finally, we examine a cell vertex finite volume method which is applied to a model time-dependent convection-diffusion problem. Local errors away from all layers are obtained in the l2 seminorm by using techniques from finite element analysis.
Resumo:
Motivated by accurate average-case analysis, MOdular Quantitative Analysis (MOQA) is developed at the Centre for Efficiency Oriented Languages (CEOL). In essence, MOQA allows the programmer to determine the average running time of a broad class of programmes directly from the code in a (semi-)automated way. The MOQA approach has the property of randomness preservation which means that applying any operation to a random structure, results in an output isomorphic to one or more random structures, which is key to systematic timing. Based on original MOQA research, we discuss the design and implementation of a new domain specific scripting language based on randomness preserving operations and random structures. It is designed to facilitate compositional timing by systematically tracking the distributions of inputs and outputs. The notion of a labelled partial order (LPO) is the basic data type in the language. The programmer uses built-in MOQA operations together with restricted control flow statements to design MOQA programs. This MOQA language is formally specified both syntactically and semantically in this thesis. A practical language interpreter implementation is provided and discussed. By analysing new algorithms and data restructuring operations, we demonstrate the wide applicability of the MOQA approach. Also we extend MOQA theory to a number of other domains besides average-case analysis. We show the strong connection between MOQA and parallel computing, reversible computing and data entropy analysis.
Resumo:
M66 an X-ray induced mutant of winter wheat (Triticum aestivum) cv. Guardian exhibits broad-spectrum resistance to powdery mildew (Blumeria graminis f. sp. tritici), yellow rust (Puccinia striiformis f. sp. tritici), and leaf rust (Puccinia recondita f. sp. tritici), along with partial resistance to stagnonospora nodorum blotch (caused by the necrotroph Stagonosporum nodorum) and septoria tritici blotch (caused by the hemibiotroph Mycosphaerella graminicola) compared to the parent plant ‘Guardian’. Analysis revealed that M66 exhibited no symptoms of infection following artificial inoculation with Bgt in the glasshouse after adult growth stage (GS 45). Resistance in M66 was associated with widespread leaf flecking which developed during tillering. Flecking also occurred in M66 leaves without Bgt challenge; as a result grain yields were reduced by approximately 17% compared to ‘Guardian’ in the absence of disease. At the seedling stage, M66 exhibited partial resistance. M66, along with Tht mutants (Tht 12, Tht13), also exhibit increased tolerance to environmental stresses (abiotic), such as drought and heat stress at seedling and adult growth stages, However, adult M66 exhibited increased susceptibility to the aphid Schizaphis graminum compared to ‘Guardian’. Resistance to Bgt in M66 was characterized with increased and earlier H2O2 accumulation at the site of infection which resulted in increased papilla formation in epidermal cells, compared to ‘Guardian’. Papilla formation was associated with reduced pathogen ingress and haustorium formation, indicating that the primary cause of resistance in M66 was prevention of pathogen penetration. Heat treatment at 46º C prior to challenge with Bgt also induced partial disease resistance to Blumeria graminis f. sp. tritici in ‘Guardian’ and M66 seedlings. This was characterized by a delay in primary infection, due to increased production of ROS species, such as hydrogen peroxide, ROS-scavenging enzymes and Hsp70, resulting in cross-linking of cell wall components prior to inoculation. This actively prevented the fungus from penetrating the epidermal cell wall. Proteomics analysis using 2-D gel electrophoresis identified primary and secondary disease resistance effects in M66 including detection of ROS scavenging enzymes (4, 24 hai), such as ascorbate peroxidase and a superoxidase dismutase isoform (CuZnSOD) in M66 which were absent from ‘Guardian’. Chitinase (PR protein) was also upregulated (24 hai) in M66 compared to ‘Guardian’.Monosomic and ditelosomic analysis of M66 revealed that the mutation in M66 is located on the long arm of chromosome 2B (2BL). Chromosome 2BL is known to have key genes involved in resistance to pathogens such as those causing stripe rust and powdery mildew. The TaMloB1 gene, an orthologue of the barley Mlo gene, is also located on chromosome 2BL. Sanger sequencing of part of the coding sequence revealed no deletions in the TaMloB1 gene between ‘Guardian’ and M66.
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.