Comprehensive Path-sensitive Data-flow Analysis

Data-flow analysis is an integral part of any aggressive optimizing compiler. We propose a framework for improving the precision of data-flow analysis in the presence of complex control-flow. W initially perform data-flow analysis to determine those control-flow merges which cause the loss in data-flow analysis precision. The control-flow graph of the program is then restructured such that performing data-flow analysis on the resulting restructured graph gives more precise results. The proposed framework is both simple, involving the familiar notion of product automata, and also general, since it is applicable to any forward data-flow analysis. Apart from proving that our restructuring process is correct, we also show that restructuring is effective in that it necessarily leads to more optimization opportunities. Furthermore, the framework handles the trade-off between the increase in data-flow precision and the code size increase inherent in the restructuring. We show that determining an optimal restructuring is NP-hard, and propose and evaluate a greedy strategy. The framework has been implemented in the Scale research compiler, and instantiated for the specific problem of Constant Propagation. On the SPECINT 2000 benchmark suite we observe an average speedup of 4% in the running times over Wegman-Zadeck conditional constant propagation algorithm and 2% over a purely path profile guided approach.

Teacher Education, School Effectiveness and Improvement : A Study of Academic and Professional Qualification on Teachers' Job Effectiveness in Nigerian Secondary Schools

This academic work begins with a compact presentation of the general background to the study, which also includes an autobiography for the interest in this research. The presentation provides readers who know little of the topic of this research and of the structure of the educational system as well as of the value given to education in Nigeria. It further concentrates on the dynamic interplay of the effect of academic and professional qualification and teachers' job effectiveness in secondary schools in Nigeria in particular, and in Africa in general. The aim of this study is to produce a systematic analysis and rich theoretical and empirical description of teachers' teaching competencies. The theoretical part comprises a comprehensive literature review that focuses on research conducted in the areas of academic and professional qualification and teachers' job effectiveness, teaching competencies, and the role of teacher education with particular emphasis on school effectiveness and improvement. This research benefits greatly from the functionalist conception of education, which is built upon two emphases: the application of the scientific method to the objective social world, and the use of an analogy between the individual 'organism' and 'society'. To this end, it offers us an opportunity to define terms systematically and to view problems as always being interrelated with other components of society. The empirical part involves describing and interpreting what educational objectives can be achieved with the help of teachers' teaching competencies in close connection to educational planning, teacher training and development, and achieving them without waste. The data used in this study were collected between 2002 and 2003 from teachers, principals, supervisors of education from the Ministry of Education and Post Primary Schools Board in the Rivers State of Nigeria (N=300). The data were collected from interviews, documents, observation, and questionnaires and were analyzed using both qualitative and quantitative methods to strengthen the validity of the findings. The data collected were analyzed to answer the specific research questions and hypotheses posited in this study. The data analysis involved the use of multiple statistical procedures: Percentages Mean Point Value, T-test of Significance, One-Way Analysis of Variance (ANOVA), and Cross Tabulation. The results obtained from the data analysis show that teachers require professional knowledge and professional teaching skills, as well as a broad base of general knowledge (e.g., morality, service, cultural capital, institutional survey). Above all, in order to carry out instructional processes effectively, teachers should be both academically and professionally trained. This study revealed that teachers are not however expected to have an extraordinary memory, but rather looked upon as persons capable of thinking in the right direction. This study may provide a solution to the problem of teacher education and school effectiveness in Nigeria. For this reason, I offer this treatise to anyone seriously committed in improving schools in developing countries in general and in Nigeria in particular to improve the lives of all its citizens. In particular, I write this to encourage educational planners, education policy makers, curriculum developers, principals, teachers, and students of education interested in empirical information and methods to conceptualize the issue this study has raised and to provide them with useful suggestions to help them improve secondary schooling in Nigeria. Though, multiple audiences exist for any text. For this reason, I trust that the academic community will find this piece of work a useful addition to the existing literature on school effectiveness and school improvement. Through integrating concepts from a number of disciplines, I aim to describe as holistic a representation as space could allow of the components of school effectiveness and quality improvement. A new perspective on teachers' professional competencies, which not only take into consideration the unique characteristics of the variables used in this study, but also recommend their environmental and cultural derivation. In addition, researchers should focus their attention on the ways in which both professional and non-professional teachers construct and apply their methodological competencies, such as their grouping procedures and behaviors to the schooling of students. Keywords: Professional Training, Academic Training, Professionally Qualified, Academically Qualified, Professional Qualification, Academic Qualification, Job Effectiveness, Job Efficiency, Educational Planning, Teacher Training and Development, Nigeria.

Building resilience in teacher education: An evidenced informed framework

This paper proposes a framework for building resilience in teacher education. The framework is informed by a focused review of relevant literature to determine factors that may be addressed in teacher education to support teacher resilience and ways in which this may occur. Findings show that personal and contextual resources along with use of particular strategies all contribute to resilience outcomes and that many of these can be developed in teacher education. Using these findings, a comprehensive resilience framework is proposed with five overarching themes - understanding resilience, relationships, wellbeing, motivation and emotions. Implementation possibilities are discussed.

A Historical Approach to Children s Physics Education : Modelling of DC-circuit Phenomena in a Small Group

This three-phase design research describes the modelling processes for DC-circuit phenomena. The first phase presents an analysis of the development of the DC-circuit historical models in the context of constructing Volta s pile at the turn of the 18th century. The second phase involves the designing of a teaching experiment for comprehensive school third graders. Among other considerations, the design work utilises the results of the first phase and research literature of pupils mental models for DC-circuit phenomena. The third phase of the research was concerned with the realisation of the planned teaching experiment. The aim of this phase was to study the development of the external representations of DC-circuit phenomena in a small group of third graders. The aim of the study has been to search for new ways to guide pupils to learn DC-circuit phenomena while emphasing understanding at the qualitative level. Thus, electricity, which has been perceived as a difficult and abstract subject, could be learnt more comprehensively. Especially, the research of younger pupils learning of electricity concepts has not been of great interest at the international level, although DC-circuit phenomena are also taught in the lower classes of comprehensive schools. The results of this study are important, because there has tended to be more teaching of natural sciences in the lower classes of comprehensive schools, and attempts are being made to develop this trend in Finland. In the theoretical part of the research an Experimental-centred representation approach, which emphasises the role of experimentalism in the development of pupil s representations, is created. According to this approach learning at the qualitative level consists of empirical operations like experimenting, observations, perception, and prequantification of nature phenomena, and modelling operations like explaining and reasoning. Besides planning teaching, the new approach can be used as an analysis tool in describing both historical modelling and the development of pupils representations. In the first phase of the study, the research question was: How did the historical models of DC-circuit phenomena develop in Volta s time? The analysis uncovered three qualitative historical models associated with the historical concept formation process. The models include conceptions of the electric circuit as a scene in the DC-circuit phenomena, the comparative electric-current phenomenon as a cause of different observable effect phenomena, and the strength of the battery as a cause of the electric-current phenomenon. These models describe the concept formation process and its phases in Volta s time. The models are portrayed in the analysis using fragments of the models, where observation-based fragments and theoretical fragements are distinguished from each other. The results emphasise the significance of the qualitative concept formation and the meaning of language in the historical modelling of DC-circuit phenomena. For this reason these viewpoints are stressed in planning the teaching experiment in the second phase of the research. In addition, the design process utilised the experimentation behind the historical models of DC-circuit phenomena In the third phase of the study the research question is as follows: How will the small group s external representations of DC-circuit phenomena develop during the teaching experiment? The main question is divided into the following two sub questions: What kind of talk exists in the small group s learning? What kinds of external representations for DC-circuit phenomena exist in the small group discourse during the teaching experiment? The analysis revealed that the teaching experiment of the small group succeeded in its aim to activate talk in the small group. The designed connection cards proved especially successful in activating talk. The connection cards are cards that represent the components of the electric circuit. In the teaching experiment the pupils constructed different connections with the connection cards and discussed, what kinds of DC-circuit phenomena would take place in the corresponding real connections. The talk of the small group was analysed by comparing two situations, firstly, when the small group discussed using connections made with the connection cards and secondly with the same connections using real components. According to the results the talk of the small group included more higher-order thinking when using the connection cards than with similar real components. In order to answer the second sub question concerning the small group s external representations that appeared in the talk during the teaching experiment; student talk was visualised by the fragment maps which incorporate the electric circuit, the electric current and the source voltage. The fragment maps represent the gradual development of the external representations of DC-circuit phenomena in the small group during the teaching experiment. The results of the study challenge the results of previous research into the abstractness and difficulty of electricity concepts. According to this research, the external representations of DC-circuit phenomena clearly developed in the small group of third graders. Furthermore, the fragment maps uncover that although the theoretical explanations of DC-circuit phenomena, which have been obtained as results of typical mental model studies, remain undeveloped, learning at the qualitative level of understanding does take place.

Whose ETSIP? National and local ownership of Namibia's education and training sector improvement programme

Tämä työ tarkastelee kansallista ja paikallista omistajuutta Namibian opetussektorin kehittämisohjelmassa. Opetussektorin kehittämisohjelma ETSIP on 15-vuotinen sektoriohjelma vuosille 2005-2015 ja sen tavoitteena on edesauttaa Namibian kehittymistä tietoyhteiskunnaksi. Tutkimuksen tarkoituksena on selvittää miten kansallinen ja paikallinen omistajuus on toteutunut ETSIP prosessin aikana. Erityisesti pyritään selvittämään paikallistason opetussektorin virkamiesten näkemyksiä ETSIP prosessista, heidän roolistaan siinä ja siitä millaisia vaikuttamisen ja hallinnan mahdollisuuksia heillä on ollut prosessin aikana. Tutkimuksen lähtökohta on laadullinen ja lähestymistapa konstruktionistinen: tutkimus tarkastelee todellisuutta ihmisten kokemusten, näkemysten ja toiminnan kautta. Tutkimusaineisto koostuu haastatteluista, epävirallisista keskusteluista, lehtiartikkeleista ja ETSIP dokumenteista. Tutkimus osoittaa että kansallinen omistajuus on epämääräinen käsite sillä kansallisia toimijoita ja näkemyksiä on useita. Tutkimus vahvistaa Castel-Brancon huomion siitä, että omistajuutta on tarkasteltava kontekstissaan: muuttuvana ja kilpailtuna. ETSIPin rinnalle ollaan valmistelemassa uutta strategista ohjelmaa opetusministeriölle mikä saattaa muuttaa omistajuutta ETSIPiin. ETSIP dokumenttien omistajuusretoriikka myötäilee kansainvälisiä sitoumuksia avun vaikuttavuuden parantamiseksi mutta niistä puuttuu syvällisempi analyysi siitä, miten kansallinen ja paikallinen omistajuus toteutuisi käytännössä. Avunantajien näkemys omistajuudesta on suppea: omistajuus nähdään lähinnä sitoutumisena ennalta määrättyyn politiikkaohjelmaan. Haastatteluaineistosta nousee esiin Whitfieldin ja Frazerin jaottelu suppeista ja laajoista omistajuuskäsityksistä. Sitoutumista ETSIP ohjelmaan pidetään tärkeänä mutta riittämättömänä määritteenä omistajuudelle. Paikallisella tasolla sitoutuminen ETSIP ohjelman periaatteisiin ja tavoitteisiin on toteutunut melko hyvin mutta jos omistajuutta tarkastellaan laajemmin vaikutusvallan ja hallinnan käsitteiden kautta voidaan todeta että omistajuus on ollut heikkoa. Paikallisella tasolla ei ole ollut juurikaan vaikutusvaltaa ETSIP ohjelman sisältöön eikä mahdollisuutta hallita ohjelman toteutusta ja päättää siitä mitä hankkeita ohjelman kautta rahoitetaan. Tujanin demokraattisen omistajuuden käsite kuvaa tarvetta muuttaa ja laajentaa omistajuusajattelua huomioiden paikallisen tason paremmin. Tämä tutkimus viittaa siihen että omistajuuden toteutuminen paikallisella tasolla edellyttäisi institutionaalisen kulttuurin muutosta ja institutionaalisen legitimiteetin vahvistamista. Omistajuuden mahdollistamiseksi paikallisella tasolla tarvittaisiin poliittista johtajuutta, luottamusta, vastuullisuuden kulttuurin kehittämistä, tehokkaampaa tiedonjakoa, laajaa osallistumista, vuoropuhelua ja yhteistyötä. Ennen kaikkea tarvittaisiin paikallisen tason vaikutusvaltaa päätöksenteossa ja kontrollia resurssien käytöstä. Tälle muutokselle on selvä tarve ja tilaus.

Learning to Teach and its Implications for the Continuum of Teacher Education: A Nine Country Cross-national Study.

The purpose of this Report is to inform discussions, policy formulation, and strategic planning on teacher education in Ireland. The research gives priority to initial teacher education (ITE) and induction, their interface, and implications for the continuum of teacher education, including continuing professional development (CPD). The study involved a two-pronged approach: a narrative review of recent and relevant literature and a cross-national review of teacher education policies in nine countries, namely, Ireland, Northern Ireland, Scotland, England, Finland, USA, Poland, Singapore and New Zealand. Adopting a broad, balanced and comprehensive understanding of the role of the contemporary teacher, it provides a framework for developing quality teacher education in Ireland. The Report incorporates exemplars of good practice and notes their implementation challenges for the Irish context.  Chapter One provides a framework for conceptualising quality teacher education and the continuum. Key features that emerge from the literature are discussed: teachers¿ practice, quality teaching, the professional life-cycle, teacher learning and relationships. With more specific reference to the continuum, Chapter Two overviews initial teacher education, induction, learning outcomes and accreditation in the selected countries, including Ireland. Key features of policy in the various countries are summarised. Individual country profiles, incorporating descriptions of socio-political, teaching and teacher education contexts, are further detailed in Appendix A. Chapter Three analyses relevant literature on initial teacher education, induction, learning outcomes/professional standards and accreditation. Along with previous chapters it provides the basis for recommendations for teacher education that are presented in Chapter Four. Chapter Four draws together the findings emerging from the cross-national review in terms of the contemporary context of teacher education in Ireland and identifies key challenges and possible lines of policy development as well as recommendations for the Teaching Council and other teacher education stakeholders. Each generation has an opportunity to provide the vision and resources for renewing teacher education in light of ambitious social, economic and educational aspirations to meet perceived societal and education challenges (as occurred in the 1970s). Despite the publication of two key reviews of initial teacher education a number of years ago, there is considerable scope for further reform of teacher education. However, significant changes have occurred to teacher education course provision and content over the last 100 years. In this report, we have stressed the need for, and called for investment in, greater system and programme coherence, mentoring to support assisted practice, knowledge integration, critical reflective practice, inquiry and the development of vibrant partnerships between higher education institutions and schools as the basis for teacher education reform across the continuum. This Executive Summary presents the Report¿s context, key findings and recommendations emerging from the analysis.  

Form-focused instruction in Irish-medium immersion education: a critical examination of teachers' perspectives and practices. A small-scale qualitative case study

It has been suggested that the less than optimal levels of students’ immersion language “persist in part because immersion teachers lack systematic approaches for integrating language into their content instruction” (Tedick, Christian and Fortune, 2011, p.7). I argue that our current lack of knowledge regarding what immersion teachers think, know and believe and what immersion teachers’ actual ‘lived’ experiences are in relation to form-focused instruction (FFI) prevents us from fully understanding the key issues at the core of experiential immersion pedagogy and form-focused integration. FFI refers to “any planned or incidental instructional activity that is intended to induce language learners to pay attention to linguistic form” (Ellis, 2001b, p.1). The central aim of this research study is to critically examine the perspectives and practices of Irish-medium immersion (IMI) teachers in relation to FFI. The study ‘taps’ into the lived experiences of three IMI teachers in three different IMI school contexts and explores FFI from a classroom-based, teacher-informed perspective. Philosophical underpinnings of the interpretive paradigm and critical hermeneutical principles inform and guide the study. A multi-case study approach was adopted and data was gathered through classroom observation, video-stimulated recall and semistructured interviews. Findings revealed that the journey of ‘becoming’ an IMI teacher is shaped by a vast array of intricate variables. IMI teacher identity, implicit theories, stated beliefs, educational biographies and experiences, IMI school cultures and contexts as well as teacher knowledge and competence impacted on IMI teachers’ FFI perspectives and practices. An IMI content teacher identity reflected the teachers’ priorities as shaped by pedagogical challenges and their educational backgrounds. While research participants had clearly defined instructional beliefs and goals, their roadmap of how to actually accomplish these goals was far from clear. IMI teachers described the multitude of choices and pedagogical dilemmas they faced in integrating FFI into experiential pedagogy. Significant gaps in IMI teachers’ declarative knowledge about and competence in the immersion language were also reported. This research study increases our understanding of the complexity of the processes underlying and shaping FFI pedagogy in IMI education. Innovative FFI opportunities for professional development across the continuum of teacher education are outlined, a comprehensive evaluation of IMI is called for and areas for further research are delineated.

Teaching and learning technologies in Higher Education: Applied behaviour analysis and autism.

Professionals on both international and national levels who work with children with autism are expressing the need for graduate-level training in applied behaviour analysis. The implementation of effective instruction in higher education for professionals working with children with autism and their families is a complex undertaking: the learner needs to acquire an understanding of the principles and procedures of applied behaviour analysis and also adapt this knowledge to the learning prerequisites of individuals with autism. In this paper we outline some current thinking about adult education and blended learning technologies and then describe and illustrate with examples emerging possibilities of multimedia technology in the development of teaching materials. We conclude that synergies between graduate-level curriculum requirements, knowledge of adult learning, and communication technology are necessary to establish comprehensive learning environments for professionals who specialize in autism intervention.

‘Playing it by the rules': the politics of research in ‘race' and education

This article offers an examination of the interplay between politics, ethics, theory and methodology as they impact upon social research, through a critical analysis of the ethnographic study conducted by Peter Foster. It will be argued that his highly contentious claim to have found no manifestations of racism (either direct or indirect) throughout his study of an inner-city, multi-ethnic comprehensive school was, in the last analysis, both misleading and inaccurate. It will be contended that such claims were based upon a research design and methodology which were ultimately determined by his own political orientation and the ethical and theoretical positions which he developed as a consequence.

Neural pathways mediating cross education of motor function

Cross education is the process whereby training of one limb gives rise to enhancements in the performance of the opposite, untrained limb. Despite interest in this phenomenon having been sustained for more than a century, a comprehensive explanation of the mediating neural mechanisms remains elusive. With new evidence emerging that cross education may have therapeutic utility, the need to provide a principled evidential basis upon which to design interventions becomes ever more pressing. Generally, mechanistic accounts of cross education align with one of two explanatory frameworks. Models of the 'cross activation' variety encapsulate the observation that unilateral execution of a movement task gives rise to bilateral increases in corticospinal excitability. The related conjecture is that such distributed activity, when present during unilateral practice, leads to simultaneous adaptations in neural circuits that project to the muscles of the untrained limb, thus facilitating subsequent performance of the task. Alternatively, 'bilateral access' models entail that motor engrams formed during unilateral practise, may subsequently be utilised bilaterally - that is, by the neural circuitry that constitutes the control centres for movements of both limbs. At present there is a paucity of direct evidence that allows the corresponding neural processes to be delineated, or their relative contributions in different task contexts to be ascertained. In the current review we seek to synthesise and assimilate the fragmentary information that is available, including consideration of knowledge that has emerged as a result of technological advances in structural and functional brain imaging. An emphasis upon task dependency is maintained throughout, the conviction being that the neural mechanisms that mediate cross education may only be understood in this context. © 2013 Ruddy and Carson.

Environmental Education and Education for Sustainable Development

This article attempts a broad characterization of environmental education (EE) and education for sustainable development (ESD), and includes a short overview of the history of the field, key debates, the main approaches to ESD and EE, and a look toward the future. However, such a brief account should not be considered to be fully comprehensive, and can only be considered to provide a broad overview of the field from the authors’ perspectives

Educational interventions in neurology:A comprehensive systematic review

A fear of neurology and neural sciences (neurophobia) may have clinical consequences. There is therefore a need to formulate an evidence-based approach to neurology education. A comprehensive systematic review of educational interventions in neurology was performed. BEI, Cochrane Library, Dialog Datastar, EBSCO Biomedical, EBSCO Psychology & Behavioral Sciences, EMBASE, ERIC, First Search, MDConsult, Medline, Proquest Medical Library and Web of Knowledge databases were searched for all published studies assessing interventions in neurology education among undergraduate students, junior medical doctors and residents up to and including July 2012. Two independent literature searches were performed for relevant studies, which were then classified for level of evidence using the Centre of Evidence-based Medicine criteria and four levels of Kirkpatrick educational outcomes. One systematic review, 16 randomized controlled trials (RCTs), nine non-randomized cohort/follow-up studies, 33 case series or historically controlled studies and three mechanism-based reasoning studies were identified. Educational interventions showed favourable evaluation or assessment outcomes in 15 of 16 (94%) RCTs. Very few studies measured subsequent clinical behaviour (two studies) and patient outcomes (one study). There is very little high quality evidence of demonstrably effective neurology education. However, RCTs are emerging, albeit without meeting comprehensive educational criteria. An improving evidence base in the quality of neurology education will be important to reduce neurophobia. © 2013 EFNS.

The Value and Contribution of Qualitative Research to Inform Nurse Education and Policy in Response to the Child’s Experience of Hospital

The aim of this article is to consider the value of qualitative research to inform nurse education and policy for the hospitalized child and young person (CYP). The theoretical issues and tensions inherent in qualitative research with children and young people’s nursing are presented in conjunction with a discussion and analysis of how the epistemological and ontological concepts underpin and guide research. It is then followed by an exploration of their influence on enabling nurses to understand the CYP’s perspective, before finally leading to an analysis of the impact on the development of policy and research.

Informing pre-registration nurse education: a proposal outline on the value, methods and ethical considerations of involving children in doctoral research

As pre-registration nurse education programmes evolve within the United Kingdom, it is imperative to involve patient/client groups within the research process, as the outcome may invoke a change in the care delivery of the registered nurse (RN). This paper focuses upon children and how children might hypothetically contribute to informing a generic nursing programme in their capacity as a rights holder and expert in their own lives. Even though their contribution and value has been debated around their capacity as research advisor, research participant and co researcher, this paper explores how the child's view of their experience of hospital and of the good nurse could be best captured. Research is a powerful vehicle that can enable their voice to equally inform UK nurse educators and policy makers so that the child's health care needs are effectively met in hospital by RN's who complete a generic programme.

Engaging the Senses: Object-based learning in higher education

The use of museum collections as a path to learning for university students is fast becoming a new pedagogy for higher education. Despite a strong tradition of using lectures as a way of delivering the curriculum, the positive benefits of ‘active’ and ‘experiential learning’ are being recognised in universities at both a strategic level and in daily teaching practice. As museum artefacts, specimens and art works are used to evoke, provoke, and challenge students’ engagement with their subject, so transformational learning can take place. This unique book presents the first comprehensive exploration of ‘object-based learning’ as a pedagogy for higher education in a broad context. An international group of authors offer a spectrum of approaches at work in higher education today. They explore contemporary principles and practice of object-based learning in higher education, demonstrating the value of using collections in this context and considering the relationship between academic discipline and object-based learning as a teaching strategy.