Factors influencing learning through play in ICT settings

Using a mixed method approach of questionnaires, observations and field notes, the authors have studied a number of settings during the past two years which have focussed on the development of ICT capability through play. Some of these have involved children identified as disaffected or disadvantaged, whilst others have involved initial teacher education students. In this paper, we consider some of the results obtained from the most recent of these settings, relate these to those obtained from the other settings, and explore further a number of inter-related issues which have arisen from the analysis. We particularly focus on the effect of learners’ self-esteem and self-efficacy; the influence of gender-related characteristics; the role of interaction between learners during activity; and the value of reflection.     

Fourth International Conference on Durability of Building Materials and Components

RILEM Bulletin

Fourth International Conference on Durability of Building Materials and Components     

The Multifunctional Sactipeptide Ruminococcin C1 Displays Potent Antibacterial Activity In Vivo as Well as Other Beneficial Properties for Human Health

The world is on the verge of a major antibiotic crisis as the emergence of resistant bacteria is increasing, and very few novel molecules have been discovered since the 1960s. In this context, scientists have been exploring alternatives to conventional antibiotics, such as ribosomally synthesized and post-translationally modified peptides (RiPPs). Interestingly, the highly potent in vitro antibacterial activity and safety of ruminococcin C1, a recently discovered RiPP belonging to the sactipeptide subclass, has been demonstrated. The present results show that ruminococcin C1 is efficient at curing infection and at protecting challenged mice from Clostridium perfringens with a lower dose than the conventional antibiotic vancomycin. Moreover, antimicrobial peptide (AMP) is also effective against this pathogen in the complex microbial community of the gut environment, with a selective impact on a few bacterial genera, while maintaining a global homeostasis of the microbiome. In addition, ruminococcin C1 exhibits other biological activities that could be beneficial for human health, as well as other fields of applications. Overall, this study, by using an in vivo infection approach, confirms the antimicrobial clinical potential and highlights the multiple functional properties of ruminococcin C1, thus extending its therapeutic interest.     

Verifying anonymity in voting systems using CSP

We present formal definitions of anonymity properties for voting protocols using the process algebra CSP. We analyse a number of anonymity definitions, and give formal definitions for strong and weak anonymity, highlighting the difference between these definitions. We show that the strong anonymity definition is too strong for practical purposes; the weak anonymity definition, however, turns out to be ideal for analysing voting systems. Two case studies are presented to demonstrate the usefulness of the formal definitions: a conventional voting system, and Prêt à Voter, a paper-based, voter-verifiable scheme. In each case, we give a CSP model of the system, and analyse it against our anonymity definitions by specification checks using the Failures-Divergences Refinement (FDR2) model checker. We give a detailed discussion on the results from the analysis, emphasizing the assumptions that we made in our model as well as the challenges in modelling electronic voting systems using CSP.     

Test-data generation for control coverage by proof

Many tools can check if a test set provides control coverage; they are, however, of little or no help when coverage is not achieved and the test set needs to be completed. In this paper, we describe how a formal characterisation of a coverage criterion can be used to generate test data; we present a procedure based on traditional programming techniques like normalisation, and weakest precondition calculation. It is a basis for automation using an algebraic theorem prover. In the worst situation, if automation fails to produce a specific test, we are left with a specification of the compliant test sets. Many approaches to model-based testing rely on formal models of a system under test. Our work, on the other hand, is not concerned with the use of abstract models for testing, but with coverage based on the text of programs.     

Novel positive‐working aqueous‐base developable photosensitive polyimide precursors based on diazonaphthoquinone‐capped polyamic esters

Novel positive‐working aqueous‐base developable photosensitive polyimide (PSPI) precursors based on partially diazonaphthoquinone (DNQ)‐capped polyamic esters bearing phenolic hydroxyl groups and a DNQ photosensitive compound (PIC‐3) were developed. The partially DNQ capped polyamic esters were prepared from an esterification reaction of 1,2‐naphthoquinone diazide‐5‐sulfonyl chloride with the polyamic esters. The partially DNQ capped polyamic esters decreased the dark film loss effectively in the aqueous‐base developer and were able to make thicker film resists compared to the uncapped polyamic esters. The 25 mol % DNQ‐capped BisAPAF–PMDA polyamic ester and BisAPAF–ODPA polyamic ester containing 25 wt % PIC‐3 photosensitive compound showed a sensitivity of 176 and 185 mJ/cm², and a contrast of 1.68 and 1.02, respectively, in a 3‐μm film with 1.25 wt % tetramethylammonium hydroxide developer. A pattern with a resolution of 5 μm was obtained from both PSPI precursor compositions. © 2003 Wiley Periodicals, Inc. J Appl Polym Sci 90: 2293–2300, 2003