Tool support for testing concurrent Java components

Concurrent programs are hard to test due to the inherent nondeterminism. This paper presents a method and tool support for testing concurrent Java components. Too[ support is offered through ConAn (Concurrency Analyser), a too] for generating drivers for unit testing Java classes that are used in a multithreaded context. To obtain adequate controllability over the interactions between Java threads, the generated driver contains threads that are synchronized by a clock. The driver automatically executes the calls in the test sequence in the prescribed order and compares the outputs against the expected outputs specified in the test sequence. The method and tool are illustrated in detail on an asymmetric producer-consumer monitor. Their application to testing over 20 concurrent components, a number of which are sourced from industry and were found to contain faults, is presented and discussed.

Use of web-based formative assessment to support student learning in metabolism/nutrition unit

In 2002, an integrated basic science course was introduced into the Bachelor of Dental Sciences programme at the University of Queensland, Australia. Learning activities for the Metabolism and Nutrition unit within this integrated course included lectures, problem-based learning tutorials, computer-based self-directed learning exercises and practicals. To support student learning and assist students to develop the skills necessary to become lifelong learners, an extensive bank of formative assessment questions was set up using the commercially available package, WebCT®. Questions included short-answer, multiple-choice and extended matching questions. As significant staff time was involved in setting up the question database, the extent to which students used the formative assessment and their perceptions of its usefulness to their learning were evaluated to determine whether formative assessment should be extended to other units within the course. More than 90% of the class completed formative assessment tasks associated with learning activities scheduled in the first two weeks of the block, but this declined to less than 50% by the fourth and final week of the block. Patterns of usage of the formative assessment were also compared in students who scored in the top 10% for all assessment for the semester with those who scored in the lowest 10%. High-performing students accessed the Web-based formative assessment about twice as often as those who scored in the lowest band. However, marks for the formative assessment tests did not differ significantly between the two groups. In a questionnaire that was administered at the completion of the block, students rated the formative assessment highly, with 80% regarding it as being helpful for their learning. In conclusion, although substantial staff time was required to set up the question database, this appeared to be justified by the positive responses of the students.

Putting the group back into unions: A social psychological contribution to understanding union support

Industrial relations research that attempts to grapple with individuals' union-related sentiments and activities often draws on one of two traditions of psychological research—the individual-level factors tradition (for example, personality and attitude-behaviour relations) and the social context tradition (for example, frustration-aggression and relative deprivation). This paper provides an overview of research conducted from within these traditions to explain union-related phenomena and identifies some of the limitations that arise as a consequence of a shared tendency to treat people in an atomistic fashion. The paper argues for an understanding of the psychological processes that underpin group-based action. To this end, it elaborates a theoretical framework based on social identity theory and self-categorisation theory that would allow us to examine the dynamic interplay between the individual, their cognitions and their environment. The paper concludes with a brief discussion of a specific case of union mobilisation, to indicate how this theoretical framework might aid empirical analysis.

Believing is not enough: Predicting support for the NTEU on an Australian campus

Asurvey-based field study was conducted with 232 members and nonmembers of the National Tertiary Education Union to investigate the psychological processes underpinning union support. Drawing on value-expectancy models and social identity/self-categorisation theory, this study investigated the role that both individual and grouprelated factors play in predicting attitudinal and behavioural support for the union. Variables investigated included instrumental and ideological attitudes, perceptions of a normative climate of union-support, and perceptions of higher education being under threat. Further to support for previous findings for the role of instrumental and ideological attitudes it was found that the perceived workplace norm had the anticipated direct effect on behaviour and evaluation and also moderated the behavioural expression of ideological and instrumental attitudes. The perception of threat to employment and higher education also directly impacted on behaviour and moderated the behavioural expression of ideological beliefs. The implications of these findings for collective action research will he discussed.

O uso da ren??ncia fiscal na ??rea de museus

O objetivo desse artigo ?? investigar como a ren??ncia fiscal ?? utilizada na ??rea de museus. A fundamenta????o te??rica faz breve apresenta????o da literatura sobre implementa????o e descreve o uso da ren??ncia fiscal na ??rea de museus mediante an??lise de seis vari??veis: incentivos, autonomia, informa????o, apoio institucional, apoio social e etapas e tempo. A metodologia utilizada foi a an??lise documental e entrevistas. A an??lise foi feita com ajuda do programa NVIVO9. As principais conclus??es s??o que embora haja incentivos e autonomia em graus suficientes para permitir boa implementa????o via ren??ncia fiscal, h?? quest??es informacionais e referentes ??s etapas e tempo que dificultam sua implementa????o. Al??m disso, a ren??ncia fiscal ?? concentradora, desigual e apresenta baixa participa????o de empresas do setor privado. Esses problemas parecem diminuir a capacidade de a implementa????o de museus mediante o uso da ren??ncia fiscal alcan??ar os efeitos almejados.

Alunos com paralisia cerebral na escola : linguagem, comunicação alternativa e processos de comunicativos

O estudo assume como problema de investigação analisar as contribuições da Comunicação Alternativa e Ampliada (CAA) aos processos comunicativos de alunos sem fala articulada no contexto da escola, destacando nesses processos o papel potencializador dos interlocutores. Fundamenta-se na abordagem de linguagem e na noção de enunciado discutidas por Bakhtin e nas contribuições de Vigotski sobre a relação entre desenvolvimento e aprendizagem, postulando que a aquisição e o desenvolvimento da linguagem ocorrem no curso das aprendizagens, ao longo da vida. As análises e reflexões empreendidas evidenciam uma discussão acerca da linguagem que se desloca da dimensão orgânica para a dimensão da constituição do sujeito como humano. Sob essa visão, outros conceitos, como os de língua, fala, interação verbal, dialogia, enunciação, aprendizagem e desenvolvimento são problematizados e também considerados como elementos fundantes e presentes nas relações comunicativas entre os sujeitos sem fala articulada e seus interlocutores. Na primeira etapa, o estudo busca conhecer as formas organizativo-pedagógicas de cinco Secretarias Municipais de Educação da Região Metropolitana de Vitória e da Secretaria de Estado da Educação no que diz respeito à identificação dos alunos com Paralisia Cerebral, sem fala articulada, ao acompanhamento técnico-pedagógico e à formação de professores que atuam na Educação Especial. Na segunda etapa, objetiva conhecer a processualidade da organização do trabalho pedagógico instituída nos contextos escolares e investiga os processos comunicativos em/com dois alunos com severos comprometimentos motores e de fala em duas escolas de Ensino Fundamental, localizadas no município de Serra e de Vitória. Nesta etapa, opta pela pesquisa- ação colaborativo-crítica por contribuir, teórica e metodologicamente, para sustentar os fazeres individuais e coletivos nos lócus de investigação. Os resultados revelam que, institucionalmente, ainda não se conhece quem são e quantos são os alunos com Paralisia Cerebral sem fala articulada no contexto de suas reais necessidades. Esse desconhecimento é atribuído pelas gestoras das Secretarias Municipais de Educação investigadas ao considerarem que, via de regra, são tomadas apenas as informações do Educacenso-INEP. As identificações pontuais, quando ocorrem, são decorrentes de estratégias internas adotadas, sendo uma delas o assessoramento pedagógico das equipes às escolas. No que tange ao ensino, à aprendizagem e à avaliação, o estudo constata que são atravessados por concepções equivocadas sobre os sujeitos com Paralisia Cerebral sustentadas, sobretudo, pela baixa expectativa e pelo pouco “esforço” quanto à sua escolarização. Constata também que o uso dos recursos de CAA potencializa os processos comunicativos dos alunos investigados e, movimentados pela linguagem, possibilita-lhes enunciar e fixar posições, opiniões e decisões, assegurando-lhes mais autonomia e fluidez do processo comunicacional. As formas de mediação dos interlocutores assim como as dinâmicas dialógicas por eles utilizadas com os alunos se constituem como elementos importantes nos processos de comunicação e interação. A espera do outro, o apoio e o incentivo à reformulação daquilo que se quer expressar, as modificações e alterações no jogo dialógico são exemplos dessa mediação. Quanto às ações de reorganização do trabalho pedagógico, o estudo registra maior articulação e colaboração entre professores da classe, professora da Educação Especial e estagiária no planejamento das aulas, dos conteúdos, com a inserção no notebook para um dos alunos; o uso das pranchas de comunicação, por ambos os alunos e seus interlocutores, como ação inovadora nos contextos escolares; a realização de atividades pelos alunos, com gradativa autonomia, a partir da disponibilização de recursos de TA/CAA (pasta de conteúdos temáticos, figuras imantadas, quadro metálico, ponteira, plano inclinado, notebook); a proposição de ações intencionais de alfabetização, a partir da reorganização de espaços-tempos no cotidiano da escola. Conclui que as discussões teóricas e práticas das questões relacionadas com a linguagem, com os processos cognitivos e com o uso de recursos de TA/CAA alavancam mudanças na concepção dos profissionais das escolas pesquisadas que, ainda, sob uma visão reducionista quanto às formas de comunicação e de interação verbal, “impõem” limites à escolarização dos alunos com deficiência.

Terrorism as war by other means: national security and state support for terrorism

The conventional approach in the discipline of International Relations is to treat terrorist organizations as "non-state" actors of international relations. However, this approach is problematic due to the fact that most terrorist organizations are backed or exploited by some states. In this article, I take issue with the non-stateness of terrorist organizations and seek to answer the question of why so many states, at times, support terrorist organizations. I argue that in the face of rising threats to national security in an age of devastating wars, modern nation states tend to provide support to foreign terrorist organizations that work against their present and imminent enemies. I elaborate on my argument studying three cases of state support for terrorism: Iranian support for Hamas, Syrian support for the PKK, and American support for the MEK. The analyses suggest that, for many states, terror is nothing but war by other means.

Heterodox Autonomy Doctrine: realism and purposes, and its relevance

The Autonomy Doctrine, elaborated by Juan Carlos Puig, is a realist point of view of International Relations. It is an analysis, from the periphery, about the structure of world power, and a roadmap (from a theoretical point of view) for the longing process of autonomization-regarding hegemonic power-for a country whose ruling class would decide to overcome dependency. The elements its author took into account when analyzing its own context are explained in this text and, afterwards, are reflected over its relevance nowadays. For that purpose, it is necessary to answer certain questions, such as which are the concepts and categories that may explain its relevance, its applicability to regional integration and cooperation models and projects, and what would be the analytical method to compare reality versus ideas, among others. The methodological proposal to analyze the relevance of Puig's doctrine is to compare it to different visions of regionalism that are currently in effect in Latin America.

Towards an uncertain future? The strengthening of Japan's autonomy in Asia-Pacific

Recently, Japan has been increasing tensions with China regarding the Pinnacle Senkaku/Diaoyu islands. Due to the Chinese military development, Japan has been working on its political and military strengthening in Asia. This essay presents two possible scenarios for Japan.

Political conditions for successful inflation stabilization: comparing Brazil and Argentina

This study tries to understand how Brazil and Argentina, two countries with chronically high inflation, achieved permanent stabilization by looking at political factors necessary for stabilization. It suggests that, although state autonomy or political unity may contribute to successful price stabilization, reconciling the interests of different stakeholders and thereby building a broad political support base is more essential for stabilization to succeed. Political skills of the leaders and compensatory policies may help raise such support and they are more crucial where other political conditions are less favorable. Also, rapid improvement in the economy is important for sustained political support, and thus, for successful stabilization.

A Platform to Emulate Ambient Assisted Living Environments

According to the opinion of clinicians, emerging medical conditions can be timely detected by observing changes in the activities of daily living and/or in the physiological signals of a person. To accomplish such purpose, it is necessary to properly monitor both the person’s physiological signals as well as the home environment with sensing technology. Wireless sensor networks (WSNs) are a promising technology for this support. After receiving the data from the sensor nodes, a computer processes the data and extracts information to detect any abnormality. The computer runs algorithms that should have been previously developed and tested in real homes or in living-labs. However, these installations (and volunteers) may not be easily available. In order to get around that difficulty, this paper suggests the making of a physical model to emulate basic actions of a user at home, thus giving autonomy to researchers wanting to test the performance of their algorithms. This paper also studies some data communication issues in mobile WSNs namely how the orientation of the sensor nodes in the body affects the received signal strength, as well as retransmission aspects of a TDMA-based MAC protocol in the data recovery process.

Participatory Online Platforms and the Construction of Citizen’s Autonomy in Health Issues

The goal of the present study is mapping the nature of possible contributions of participatory online platforms in citizen actions that may contribute in the fight against cancer and its associated consequences. The research is based on the analysis of online solidarity networks, namely the ones residing on Facebook and the blogosphere, that citizens have been gradually resorting to. The research is also based on the development of newer and more efficient solutions that provide the individual (directly or indirectly affected by issues of oncology) with the means to overcome feelings of impotence and fatality. In this chapter, the authors summarize the processes of usage of these decentralized, freer participatory platforms by citizens and institutions, while attempting to unravel existing hype and stigma; the authors also provide a first survey of the importance and the role of institutions in this kind of endeavor; lastly, they present a prototype, developed in the context of the present study that is specifically dedicated to addressing oncology through social media.

A Caregiver Support Platform within the Scope of an Ambient Assisted Living Ecosystem

The Ambient Assisted Living (AAL) area is in constant evolution, providing new technologies to users and enhancing the level of security and comfort that is ensured by house platforms. The Ambient Assisted Living for All (AAL4ALL) project aims to develop a new AAL concept, supported on a unified ecosystem and certification process that enables a heterogeneous environment. The concepts of Intelligent Environments, Ambient Intelligence, and the foundations of the Ambient Assisted Living are all presented in the framework of this project. In this work, we consider a specific platform developed in the scope of AAL4ALL, called UserAccess. The architecture of the platform and its role within the overall AAL4ALL concept, the implementation of the platform, and the available interfaces are presented. In addition, its feasibility is validated through a series of tests.

Conceptual design of a mechatronic system for supporting basic quality of life of bedridden elderly people

Ambient Assisted Living is an important subject to be explored and developed, especially in developed countries, due to the increasing number of aged people. In this context the development of mechatronic support systems for bedridden elderly people (BEP) living in their homes is essential in order to support independence, autonomy and improve their quality of life. Some basic tasks as eating, taking a bath and/or hygiene cares become difficult to execute, regarding that often the main caregiver is the other element of the aged couple (husband or wife). This paper presents the conceptual design of a mechanical system especially devoted to assist the caregiver in the handling and repositioning of the BEP. Issues as reducing the number of caregivers, to only one, and reducing the system's handling complexity (because most of the time it will be used by an aged person) are considered. The expertise obtained from the visits to rehabilitation centers and hospitals, and from working meetings, are considered in the development of the proposed mechatronic system.