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.

Nutritional effects on neuron numbers

Undemutrition during early life is known to cause deficits and distortions of brain structure although it has remained uncertain whether or not this includes a diminution of the total numbers of neurons. Estimates of numerical density (e.g. number of cells per microscopic field, or number of cells per unit area of section, or number of cells per unit volume of tissue) are extremely difficult to interpret and do not provide estimates of total numbers of cells. However, advances in stereological techniques have made it possible to obtain unbiased estimates of total numbers of cells in well defined biological structures. These methods have been utilised in studies to determine the effects of varying periods of undernutrition during early life on the numbers of neurons in various regions of the rat brain. The regions examined so far have included the cerebellum, the dentate gyrus, the olfactory bulbs and the cerebral cortex. The only region to show, unequivocally, that a period of undernutrition during early life causes a deficit in the number of neurons was the dentate gyrus. These findings are discussed in the context of other morphological and functional deficits present in undernourished animals.

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.

Effects of heat treatment on the nutritional value of raw soybean selected for low trypsin inhibitor activity

1. Two broiler experiments and a layer experiments were conducted on Kunitz trypsin inhibitor (Kti) soybeans (SB) of low trypsin inhibitor (TI) activity to determine their nutritive value when included as mash in least-cost poultry diets. 2. Experiment 1 compared chick performance on the Kti or raw SB using a commercial full-fat SB meal (FFSBM) and a solvent extracted SB meal (SBM) as controls during a 20 d experimental period. Broiler experiment 2 compared Kti and raw SB, non-steamed, or steam-pelleted with and without DL-methionine supplementation added to every treatment containing 170 g SB/kg. For each broiler experiment the levels of each SB were 70, 120 and 170 g/kg with the control birds fed only 170 g SB/kg. 3. The layer experiment, compared steam-pelleted Kti and raw SB against a non-steamed Kti and raw SB each fed at two levels (70 and 110 g/kg) x 30 replicates from 29 weeks of age for 19 weeks in a completely randomised design. Production parameters were measured when diets were formulated to contain minimum required specifications and calculated apparent metabolisable energy (AME). At the completion of each trial, 2 broiler birds from each cage and 5 layer birds per treatment were killed, weighed, and their liver and pancreas weighed. 4. Both broiler experiments indicated that production parameters on the Kti SB treatments were significantly lower (P < 0.05) than on the two commercial control SB treatments. However, the Kti treatments were superior to the raw SB treatments. 5. Pancreas weight increased with increasing inclusion of both raw and Kti SB, suggesting that a TI was causing the depression in performance. The AME of the Kti SB was similar to that of commercial FFSB meal. After steam conditioning, the raw SB meal AME value of 9.5 MJ/kg dry matter (DM) was improved to 14.1 MJ/kg DM by reduced TI activity, but this AME improvement with TI activity reduction, plus the supplementation with DL-methionine on birds fed the raw SB had no effect (P > 0.05) on any parameter evaluated in experiment 2. 6. The layer experiment showed that hens on the Kti SB treatments had significantly greater live weight gain (LWG), egg weight and daily egg mass than birds given raw SB. A reduced food intake (FI) was observed in the Kti treatments but egg mass was generally similar to that on the FFSB control diet, indicating that Kti SB supported excellent egg production at an inclusion of 110 g/kg. The depressed performance observed for broiler chicks suggest that younger birds are more susceptible to the effects of SB TI.

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.

Spatial variability in nutritional status of arabic coffee based on dris index

The combined use of precision agriculture and the Diagnosis and Recommendation Integrated System (DRIS) allows the spatial monitoring of coffee nutrient balance to provide more balanced and cost-effective fertilizer recommendations. The objective of this work was to evaluate the spatial variability in the nutritional status of two coffee varieties using the Mean Nutritional Balance Index (NBIm) and its relationship with their respective yields. The experiment was conducted in eastern Minas Gerais in two areas, one planted with variety Catucaí and another with variety Catuaí. The NBIm of the two varieties and their yields were analyzed through geostatistics and, based on the models and parameters of the variograms, were interpolated to obtain their spatial distribution in the studied areas. Variety Catucai, with grater spatial variability, was more nutritional unbalanced than variety Catuai, and consequently produced lower yields. Excess of Fe and Mn makes these elements limiting yield factors.

Correlation between grain nutritional content and pasting properties of pre-gelatinized red rice flour

As with any variety of rice, red rice characteristics are subject to varietal differences, growing conditions, types of processing, and nutritional and rheological properties. This study determined the nutritional characteristics (centesimal composition and minerals) and paste viscosity properties of raw grains of four red rice genotypes (Tradicional MNAPB0405, MNACE0501 and MNACH0501) and the paste viscosity properties of pre-gelatinized flours obtained at different cooking times (20, 30 and 40 min). The main nutritional properties were correlated with the pasting properties of the pre-gelatinized flours. The samples showed differences in nutritional properties and paste viscosity. MNAPB0405 and MNACE0501 showed higher levels of fiber and fat and provided higher caloric energy than Tradicional and MNACH0501, which, in turn, showed higher levels of amylose. MNACH0501 showed higher peak viscosity (2402 cP), higher breakdown viscosity (696 cP) and a greater tendency to retrogradation (1510 cP), while Tradicional, MNAPB0405 and MNACE0501 had pasting profiles with peak viscosities varying between 855 and 1093 cP, breaking viscosity below 85 cP and retrogradation tendency between 376 and 1206 cP. The factors genotype and cooking time influenced the rheological behavior of pre-gelatinized flours, decreasing their pasting properties. The protein and amylose levels are correlated with the pasting properties and can be used as indicators of these properties in different genotypes of red rice, whether raw or processed into pre-gelatinized flours.

DEVELOPMENT OF A MECHATRONIC SYSTEM FOR BEDRIDDEN PEOPLE SUPPORT

This work is developed in the context of Ambient Assisted Living (AAL) and has, as main purpose, the development of a mechatronic system that allows caring of bedridden patients with ongoing medical care terminal (MCT), by a single person. This system allows higher autonomy in domiciliary care, safety, comfort and hygiene of bedridden patients. It contributes to a large increase in their quality of life as well as the ease of monitoring by providers of continuous care, which, in many cases, may be the family itself. The product includes an embedded processing interface for acquiring physiological data to support online monitoring. The development of this project was focused on improving the quality of life, autonomy, participation in social life and reducing healthcare costs in the area AAL. The developed societies currently face severe demographic changes: the world is aging at an unprecedented rate. In 2000, about 420 million people, or about 7 percent of the world population were over 65 years old. In 2050, that number will be near 1500 million people, about 16 percent of the world population. This demographic trend will be accompanied by the increase of people with physical limitations. This will impose new challenges for traditional health systems, not only for Portugal but also for all European countries. There is an urgent need to find solutions to improve the lives of people in their preferred environment by increasing their autonomy, self-confidence and mobility. Therefore, in the case of household scenarios, the provision of effective health services is of fundamental importance to the welfare and economic development of each country. This ongoing project aims to develop a mechatronic system to meet the diverse needs, namely: improving life, health care, safety, comfort, and remote monitoring of bedridden person.

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.

The impact of the digital divide on the perceived interest of an e-Marketplace to support healthcare and social care services

In a Europe increasingly aging, it is now recognized the importance and potential of the service industry for ageing well based on information and communication technologies (ICT), as exemplified by the electronic market of social services and health care, the GuiMarket, proposed by the authors. However, this new range of services requires that individuals have advanced digital skills to fully participate in society. Based on the results of a survey made on a sample of 315 individuals, this paper discusses the importance granted GuiMarket and the intended frequency of use, concluding there is a close relationship between ICT access and use that respondents anticipate making of GuiMarket and alike services.

Diagnostic leaf to evaluate the nutritional status of Jatropha

ABSTRACT The analytical determination of nutrient levels in recently mature leaves in order to diagnose nutritional status is based on the fact that leaves are metabolically active and more sensitive to variation in nutrients of the soil. In most of cases, there is a direct well known between foliar content and the development and yield of the plant. However, for a more accurate interpretation, it is essential to establish the index leaf. There are few published studies about Jatropha with contrasting results. In order to establish the index leaf, in adult plants, the macronutrient levels were evaluated in samples collected in experimental plots, in which doses of nitrogen and phosphorus were applied, in two parts of the floral branches (in the top and in the middle thirds); and in three positions of leaves of the floral branch (between the 1st and 3rd, 6th and 8th, and 13th and 15th leaves below the inflorescence). The location of the leaf on the plant significantly affects nutrient contents. Nitrogen, phosphorus, potassium and sulfur tend to have higher concentration in young tissues. Calcium and magnesium showed higher levels in the basal leaves of floral branches. Samples collected in the top third of plants (between the 6th and 15th leaves of the floral branch) are more sensitive to variations of nitrogen and phosphorus fertilization. Therefore, we indicate the 6th to 15th leaves of the top third plants as index leaves estimate nutritional status of Jatropha.

Estado nutritional e condições sócio-econômicas: o problema revisitado

A análise por estrato de renda veio evidenciar que a variável educação tem uma influência bem menor de que no modelo não estratificado e, ainda, que só nos níveis de renda intermediários as diferenças do estado nutricional podem ser explicadas por outras variáveis, entre as consideradas, além da renda. Este trabalho leva a acreditar que o tipo de análise utilizada (regressão múltipla) foi bastante oportuno, permitindo, assim, quantificar a influência de algumas variáveis sócio-econômicas sobre o estado nutritional. Adverte-se que as hipóteses utilizadas devem ser claramente mencionadas a fim de que as limitações do tratamento estejam bem presentes aos utilizadores dos resultados.