Interfacing ASM with the MDG tool

In this paper we describe an approach to interface Abstract State Machines (ASM) with Multiway Decision Graphs (MDG) to enable tool support for the formal verification of ASM descriptions. ASM is a specification method for software and hardware providing a powerful means of modeling various kinds of systems. MDGs are decision diagrams based on abstract representation of data and axe used primarily for modeling hardware systems. The notions of ASM and MDG axe hence closely related to each other, making it appealing to link these two concepts. The proposed interface between ASM and MDG uses two steps: first, the ASM model is transformed into a flat, simple transition system as an intermediate model. Second, this intermediate model is transformed into the syntax of the input language of the MDG tool, MDG-HDL. We have successfully applied this transformation scheme on a case study, the Island Tunnel Controller, where we automatically generated the corresponding MDG-HDL models from ASM specifications.

Community environmental preservation initiatives in Borgne, Haiti

The purpose of this thesis was to complete an analysis of the work and practices of the community organizations of Borgne, Haiti. While the work of several community organizations were examined, research specifically focused on the community’s tree-planting project. Given the current state of Haiti’s environment and the historic record of development efforts in Haiti, this project represents a unique model that may have larger implications on the way in trees are planted throughout Haiti. Field research was completed on site in Borgne in the summer months of 2010. The primary methods employed in data collection were Participatory Action Research and semi-structured interviewing.

A youth vision of the city: The socio-spatial lives and exclusion of street girls in Bogota, Colombia

This dissertation documents the everyday lives and spaces of a population of youth typically constructed as out of place, and the broader urban context in which they are rendered as such. Thirty-three female and transgender street youth participated in the development of this youth-based participatory action research (YPAR) project utilizing geo-ethnographic methods, auto-photography, and archival research throughout a six-phase, eighteen-month research process in Bogotá, Colombia. ^ This dissertation details the participatory writing process that enabled the YPAR research team to destabilize dominant representations of both street girls and urban space and the participatory mapping process that enabled the development of a youth vision of the city through cartographic images. The maps display individual and aggregate spatial data indicating trends within and making comparisons between three subgroups of the research population according to nine spatial variables. These spatial data, coupled with photographic and ethnographic data, substantiate that street girls’ mobilities and activity spaces intersect with and are altered by state-sponsored urban renewal projects and paramilitary-led social cleansing killings, both efforts to clean up Bogotá by purging the city center of deviant populations and places. ^ Advancing an ethical approach to conducting research with excluded populations, this dissertation argues for the enactment of critical field praxis and care ethics within a YPAR framework to incorporate young people as principal research actors rather than merely voices represented in adultist academic discourse. Interjection of considerations of space, gender, and participation into the study of street youth produce new ways of envisioning the city and the role of young people in research. Instead of seeing the city from a panoptic view, Bogotá is revealed through the eyes of street youth who participated in the construction and feminist visualization of a new cartography and counter-map of the city grounded in embodied, situated praxis. This dissertation presents a socially responsible approach to conducting action-research with high-risk youth by documenting how street girls reclaim their right to the city on paper and in practice; through maps of their everyday exclusion in Bogotá followed by activism to fight against it.^

Investigating the Effects of Cognitive Apprenticeship-Based Instructional Coaching on Science Teaching Efficacy Beliefs

The overall purpose of this collected papers dissertation was to examine the utility of a cognitive apprenticeship-based instructional coaching (CAIC) model for improving the science teaching efficacy beliefs (STEB) of preservice and inservice elementary teachers. Many of these teachers perceive science as a difficult subject and feel inadequately prepared to teach it. However, teacher efficacy beliefs have been noted as the strongest indicator of teacher quality, the variable most highly correlated with student achievement outcomes. The literature is scarce on strong, evidence-based theoretical models for improving STEB. This dissertation is comprised of two studies. STUDY #1 was a sequential explanatory mixed-methods study investigating the impact of a reformed CAIC elementary science methods course on the STEB of 26 preservice teachers. Data were collected using the Science Teaching Efficacy Belief Instrument (STEBI-B) and from six post-course interviews. A statistically significant increase in STEB was observed in the quantitative strand. The qualitative data suggested that the preservice teachers perceived all of the CAIC methods as influential, but the significance of each method depended on their unique needs and abilities. STUDY #2 was a participatory action research case study exploring the utility of a CAIC professional development program for improving the STEB of five Bahamian inservice teachers and their competency in implementing an inquiry-based curriculum. Data were collected from pre- and post-interviews and two focus group interviews. Overall, the inservice teachers perceived the intervention as highly effective. The scaffolding and coaching were the CAIC methods portrayed as most influential in developing their STEB, highlighting the importance of interpersonal relationship aspects in successful instructional coaching programs. The teachers also described the CAIC approach as integral in supporting their learning to implement the new inquiry-based curriculum. The overall findings hold important implications for science education reform, including its potential to influence how preservice teacher training and inservice teacher professional development in science are perceived and implemented. Additionally, given the noteworthy results obtained over the relatively short durations, CAIC interventions may also provide an effective means of achieving improvements in preservice and inservice teachers’ STEB more expeditiously than traditional approaches.

O turismo de base comunitária como vetor de etnodesenvolvimento: a comunidade Mebêngôkre-Kayapó na Terra Indígena Las Casas - PA

This study aims to analyze the contribution that the future implementation of community-based tourism can provide to Mebengokre-Kayapo, people of the village Tekrejarôti, they re-inhabiting the indigenous land Las Casas, located in southern of Pará, taking into consideration that tourism is as vector of ethnodevelopment, and it can also contribute to the conservation of Sociobiodiversity and local culture through experiences that will enable the realization of acquaintanceship, where there will be sharing of the daily activities of the customs of the local people, and cultural changes, which is the aim between visitors and the community, where these ones can promote the knowledge of non-indigenous people, and to consolidate the ethnic and cultural identity thereof too. Thus, this study guided by the participatory action research, it was used data obtained in 2012, that were results from the application of interviews with the community to make the diagnosis of tourism potential. It is an exploratory and descriptive research about the topic. The field research combined with participant observation, workshops and interviews contributed to it was possible to conduct a depth analysis about the environment studied. This research has the intention to obtain concrete results in the implementation and/or promotion of a cultural practice and environmentally sustainable ruled in organizational processes that permeates the guidelines of community-based tourism, however this depends on the conditions of human and forest resources, and infrastructure conditions in the community, providing in the short and medium terms, social activities and culturally positive for the culture of this people, and providing to long term, environmental and economic landmarks. As result, it was possible to identify that the community with its cultural events, parties and ceremonies being allied to their way of life and taken from their criteria, it is able to work with the tourism within their land and it can makes the tourism, a cultural affirmation opportunity and income generation. But, it concludes that for tourism to become ,in fact, there are required to be carried out some measures, that meets the new Regulatory Instruction IN 3/2015, this IN states that for the community to work with tourism in their land, it is necessary to be prepared a visitation plan that fits the established requirements. This research is constituted as an important tool in building this visitation plan, given that it was done from the community demand and it was conducted in a participatory manner, valuing the horizontal dialogue and the autonomy of this people.

O turismo de base comunitária como vetor de etnodesenvolvimento: a comunidade Mebêngôkre-Kayapó na Terra Indígena Las Casas - PA

This study aims to analyze the contribution that the future implementation of community-based tourism can provide to Mebengokre-Kayapo, people of the village Tekrejarôti, they re-inhabiting the indigenous land Las Casas, located in southern of Pará, taking into consideration that tourism is as vector of ethnodevelopment, and it can also contribute to the conservation of Sociobiodiversity and local culture through experiences that will enable the realization of acquaintanceship, where there will be sharing of the daily activities of the customs of the local people, and cultural changes, which is the aim between visitors and the community, where these ones can promote the knowledge of non-indigenous people, and to consolidate the ethnic and cultural identity thereof too. Thus, this study guided by the participatory action research, it was used data obtained in 2012, that were results from the application of interviews with the community to make the diagnosis of tourism potential. It is an exploratory and descriptive research about the topic. The field research combined with participant observation, workshops and interviews contributed to it was possible to conduct a depth analysis about the environment studied. This research has the intention to obtain concrete results in the implementation and/or promotion of a cultural practice and environmentally sustainable ruled in organizational processes that permeates the guidelines of community-based tourism, however this depends on the conditions of human and forest resources, and infrastructure conditions in the community, providing in the short and medium terms, social activities and culturally positive for the culture of this people, and providing to long term, environmental and economic landmarks. As result, it was possible to identify that the community with its cultural events, parties and ceremonies being allied to their way of life and taken from their criteria, it is able to work with the tourism within their land and it can makes the tourism, a cultural affirmation opportunity and income generation. But, it concludes that for tourism to become ,in fact, there are required to be carried out some measures, that meets the new Regulatory Instruction IN 3/2015, this IN states that for the community to work with tourism in their land, it is necessary to be prepared a visitation plan that fits the established requirements. This research is constituted as an important tool in building this visitation plan, given that it was done from the community demand and it was conducted in a participatory manner, valuing the horizontal dialogue and the autonomy of this people.

'Lines of flight': digital musical instruments, inclusive music bands, meaningful engagement in music-making and learning

In this study I examine the development of three inclusive music bands in Cork city. Derived from Jellison’s research on inclusive music education, inclusive music bands involve students with disabilities coming together with typically developing peers to make and learn music that is meaningful (Jellison, 2012). As part of this study, I established three inclusive music bands to address the lack of inclusive music making and learning experiences in Cork city. Each of these bands evolved and adapted in order to be socio-culturally relevant within formal and informal settings: Circles (community education band), Till 4 (secondary school band) and Mish Mash (third level and community band). I integrated Digital Musical Instruments into the three bands, in order to ensure access to music making and learning for band members with profound physical disabilities. Digital Musical Instruments are electronic music devices that facilitate active music making with minimal movement. This is the first study in Ireland to examine the experiences of inclusive music making and learning using Digital Musical Instruments. I propose that the integration of Digital Musical Instruments into inclusive music bands has the potential to further the equality and social justice agenda in music education in Ireland. In this study, I employed qualitative research methodology, incorporating participatory action research methodology and case study design. In this thesis I reveal the experiences of being involved in an inclusive music band in Cork city. I particularly focus on examining whether the use of this technology enhances meaningful music making and learning experiences for members with disabilities within inclusive environments. To both inform and understand the person centered and adaptable nature of these inclusive bands, I draw theoretical insights from Sen’s Capabilities Approach and Deleuze and Guatarri’s Rhizome Theory. Supported by descriptive narrative from research participants and an indepth examination of literature, I discover the optimum conditions and associated challenges of inclusive music practice in Cork city.

"On our way": identities and representations of African women seeking asylum in Ireland

This thesis provides the first explicit Postcolonial study of asylum in the Irish context that integrates Black Feminist analyses of intersectional identity with Postcolonial Feminist theories of representation. African women seeking asylum in the Republic of Ireland were key political instruments used by the state to re-draw racial lines. The study examines how, for a group of African women “On their Way” through asylum, identity and representation work hand in hand to force identities, subaltern spaces and bodies to occupy them. Rich biographical data is gathered through mixed art and drama methods over two intensive participatory research projects conducted in a small Irish city. Data analysis critically examines the poetics (practices that signify) and politics (the powers that govern these practices) and affective economies of global and local NGO visual representations, exposing how they consume, fragment, and appropriate African women’s identities and bodies. Though hypervisible, the women themselves “cannot speak”. The women in the study reported feeling “tired” and “used”. Asking “What work are they doing as they do asylum?” the study finds that black female identities and bodies are forced to perform political, cultural, emotional and material labour on their way through this context of Irish asylum. The author argues that Postcolonial Asylum is a performative encounter that re-scripts colonial race/class/gender discourse through a humanitarian alibi to naturalize European/white supremacy, reinscribe patriarchal power and justify racialised incarceration of bodies seeking asylum in the North. This study takes an interdisciplinary approach that centralizes Black and Postcolonial Feminist theory and innovates Participatory Art-Based Action methodology. Black and Postcolonial feminisms can recognize, theorize and replenish black female political and intellectual agency. Participatory Action research, if grounded in Black feminist epistemology and ethics, can allow participants to “speak back” to what is already said about them in spaces of convivial self-representation.

An overview of top-down vs. bottom-up models for informal settlement upgrading in South Africa

The paper explores informal settlement upgrading approaches in South Africa and presents a review of top-down vs. bottom-up models, using experience and lessons learned from the Durban metropolitan area. Reflections on past upgrading efforts suggest that top-down policies in South Africa have not been successful to date. By contrast, participatory techniques, such as planning activism, can be used to enhance community empowerment and a sense of local ownership. This paper reveals that although the notion of ‘bottom-up’, participatory methods for community improvement is often discussed in international development discourses, the tools, processes and new knowledge needed to ensure a successful upgrade are under-utilised. Participation and collaboration can mean various things for informal housing upgrading and often the involvement of local communities is limited to providing feedback in already agreed development decisions from local authorities and construction companies. The paper concludes by suggesting directions for ‘co-producing’ knowledge with communities through participatory, action-research methods and integrating these insights into upgrading mechanisms and policies for housing and infrastructure provision. The cumulative impacts emerging from these approaches could aggregate into local, regional, and national environmental, social and economic benefits able to successfully transform urban areas and ensure self-reliance for local populations.

A First Step Towards Synthesising Rubrics and Video for the Formative Assessment of Complex Skills

Abstract. The performance objectives used for the formative assessment of com- plex skills are generally set through text-based analytic rubrics[1]. Moreover, video modeling examples are a widely applied method of observational learning, providing students with context-rich modeling examples of complex skills that act as an analogy for problem solving [1]. The purpose of this theoretical paper is to synthesize the components of video modeling and rubrics to support the formative assessment of complex skills. Based on theory, we argue that application of the developed Video Enhanced Rubrics (VER) fosters learners’ development of mental models, quality of provided feedback by various actors and finally, the learners mastery of complex skills.

Viewbrics: Formative Assessment of Complex Skills with Video-Enhanced Rubrics (VER) in Dutch Secondary Education

To learn complex skills, like collaboration, learners need to acquire a concrete and consistent mental model of what it means to master this skill. If learners know their current mastery level and know their targeted mastery level, they can better determine their subsequent learning activities. Rubrics support learners in judging their skill performance as they provide textual descriptions of skills’ mastery levels with performance indicators for all constituent subskills. However, text-based rubrics have a limited capacity to support the formation of mental models with contextualized, time-related and observable behavioral aspects of a complex skill. This paper outlines the design of a study that intends to investigate the effect of rubrics with video modelling examples compared to text-based rubrics on skills acquisition and feedback provisioning. The hypothesis is that video-enhanced rubrics, compared to text based rubrics, will improve mental model formation of a complex skill and improve the feedback quality a learner receives (from e.g. teachers, peers) while practicing a skill, hence positively effecting final mastery of a skill.

A First Step Towards Video Enhanced Rubrics for the Formative Assessment of Complex Skills : A literature review and a plea

Paper presentation at the TEA2016 conference, Tallinn, Estonia.