User’s Guide to For2R: A Module of Fortran 95 Output Routines Compatible with the R Statistics Language

For2R is a collection of Fortran routines for saving complex data structures into a file that can be read in the R statistics environment with a single command.1 For2R provides both the means to transfer data structures significantly more complex than simple tables, and an archive mechanism to store data for future reference. We developed this software because we write and run computationally intensive numerical models in Fortran, C++, and AD Model Builder. We then analyse results with R. We desired to automate data transfer to speed diagnostics during working-group meetings. We thus developed the For2R interface to write an R data object (of type list) to a plain-text file. The master list can contain any number of matrices, values, dataframes, vectors or lists, all of which can be read into R with a single call to the dget function. This allows easy transfer of structured data from compiled models to R. Having the capacity to transfer model data, metadata, and results has sharply reduced the time spent on diagnostics, and at the same time, our diagnostic capabilities have improved tremendously. The simplicity of this interface and the capabilities of R have enabled us to automate graph and table creation for formal reports. Finally, the persistent storage in files makes it easier to treat model results in analyses or meta-analyses devised months—or even years—later. We offer For2R to others in the hope that they will find it useful. (PDF contains 31 pages)

An integrated firewall policy validation tool.

Security policies are increasingly being implemented by organisations. Policies are mapped to device configurations to enforce the policies. This is typically performed manually by network administrators. The development and management of these enforcement policies is a difficult and error prone task. This thesis describes the development and evaluation of an off-line firewall policy parser and validation tool. This provides the system administrator with a textual interface and the vendor specific low level languages they trust and are familiar with, but the support of an off-line compiler tool. The tool was created using the Microsoft C#.NET language, and the Microsoft Visual Studio Integrated Development Environment (IDE). This provided an object environment to create a flexible and extensible system, as well as simple Web and Windows prototyping facilities to create GUI front-end applications for testing and evaluation. A CLI was provided with the tool, for more experienced users, but it was also designed to be easily integrated into GUI based applications for non-expert users. The evaluation of the system was performed from a custom built GUI application, which can create test firewall rule sets containing synthetic rules, to supply a variety of experimental conditions, as well as record various performance metrics. The validation tool was created, based around a pragmatic outlook, with regard to the needs of the network administrator. The modularity of the design was important, due to the fast changing nature of the network device languages being processed. An object oriented approach was taken, for maximum changeability and extensibility, and a flexible tool was developed, due to the possible needs of different types users. System administrators desire, low level, CLI-based tools that they can trust, and use easily from scripting languages. Inexperienced users may prefer a more abstract, high level, GUI or Wizard that has an easier to learn process. Built around these ideas, the tool was implemented, and proved to be a usable, and complimentary addition to the many network policy-based systems currently available. The tool has a flexible design and contains comprehensive functionality. As opposed to some of the other tools which perform across multiple vendor languages, but do not implement a deep range of options for any of the languages. It compliments existing systems, such as policy compliance tools, and abstract policy analysis systems. Its validation algorithms were evaluated for both completeness, and performance. The tool was found to correctly process large firewall policies in just a few seconds. A framework for a policy-based management system, with which the tool would integrate, is also proposed. This is based around a vendor independent XML-based repository of device configurations, which could be used to bring together existing policy management and analysis systems.

Safe Compositional Network Sketches: Tool & Use Cases

NetSketch is a tool that enables the specification of network-flow applications and the certification of desirable safety properties imposed thereon. NetSketch is conceived to assist system integrators in two types of activities: modeling and design. As a modeling tool, it enables the abstraction of an existing system so as to retain sufficient enough details to enable future analysis of safety properties. As a design tool, NetSketch enables the exploration of alternative safe designs as well as the identification of minimal requirements for outsourced subsystems. NetSketch embodies a lightweight formal verification philosophy, whereby the power (but not the heavy machinery) of a rigorous formalism is made accessible to users via a friendly interface. NetSketch does so by exposing tradeoffs between exactness of analysis and scalability, and by combining traditional whole-system analysis with a more flexible compositional analysis approach based on a strongly-typed, Domain-Specific Language (DSL) to specify network configurations at various levels of sketchiness along with invariants that need to be enforced thereupon. In this paper, we overview NetSketch, highlight its salient features, and illustrate how it could be used in applications, including the management/shaping of traffic flows in a vehicular network (as a proxy for CPS applications) and in a streaming media network (as a proxy for Internet applications). In a companion paper, we define the formal system underlying the operation of NetSketch, in particular the DSL behind NetSketch's user-interface when used in "sketch mode", and prove its soundness relative to appropriately-defined notions of validity.

The Design and Implementation of an Educational Computer Game and Its Study as a Motivational Tool for Middle School ESOL Students

Gemstone Team ILL (Interactive Language Learning)

Art as an educative and social tool

Since remote times, certain sectors of society have been exposed to inequality and vulnerability, where adequate intervention processes have become conspicuous because of their absence. Nowadays, current societies have the responsibility of contributing, based on their experience and knowledge, with more efficient policies and programs that improve the life quality of the most disadvantaged. It is here where art and its different tools play a very important role, not only on a physical level, but also as an education tool that allows the development of emotional, mental and communicative skills. The aim of this paper is to make clear the potential of art as an instrument of social and educational intervention. It starts by showing worldwide-collected experience related to education and arts, and then, it acquaints the reader with two parallel intervention projects that worked with youths under social vulnerability conditions. These interventions were developed based on a qualitative research (Grounded theory), using as methodology “The Artistic Mediation” with emphasis on body language. This methodology helped researchers to get close to the participants and to know their experiences and emotions. At the same time, it was possible to evidence the positive effects of educative interventions through art. These workshops were based on an artistic methodology especially focused on body language. Data in this work is qualitative, and as such, it permits a special approach to the personal and emotional experiences of the participants; clearly showing the positive effects of the referenced practice on them.

yambo: An ab initio tool for excited state calculations

yambo is an ab initio code for calculating quasiparticle energies and optical properties of electronic systems within the framework of many-body perturbation theory and time-dependent density functional theory. Quasiparticle energies are calculated within the GW approximation for the self-energy. Optical properties are evaluated either by solving the Bethe-Salpeter equation or by using the adiabatic local density approximation. yambo is a plane-wave code that, although particularly suited for calculations of periodic bulk systems, has been applied to a large variety of physical systems. yambo relies on efficient numerical techniques devised to treat systems with reduced dimensionality, or with a large number of degrees of freedom. The code has a user-friendly command-line based interface, flexible 110 procedures and is interfaced to several publicly available density functional ground-state codes.

Autonomy in English language learning: a case study

The main goal of this study was to analyse the development of a pedagogy for autonomy tuned to the current situation in which Higher Education finds itself, namely of implementation of the Bologna Process in Europe, and in particular at the Escola Superior Agrária of the Polytechnic School at Coimbra. For this purpose new course units were created, new descriptors written, new materials developed and new methodologies tried. A case study was undertaken to observe and analyse the changes the institution was undergoing and to assess the impact of the new methodologies, particularly regarding the development of student autonomy. The target population for this study were the first year students on the Biotechnology degree in the year 2007/2008, to whom a battery of tests were applied, namely proficiency tests, belief tests, metacognitive tests, as well as methods of ethnographic research. The study relied on the European Framework of Reference for Languages and the European Language Portfolio to establish recognised levels and competences, and employed the portfolio as its main tool for measuring student autonomy. This portfolio was simultaneously biographical and descriptive and was organised by the students in their own time. Great incentive was given to this independent work. The ethnographic component of the study was of significant importance being given to students learning histories and to the collection of students’ reflections. This component aimed in particular to allow students the opportunity to express their thoughts on the experience they underwent during 20 weeks. From the analysis of the data, a significant improvement in self-confidence and motivation for lifelong learning is observable in the development of multiple tasks. Regarding the students’ progression towards proficiency, this improvement is less clear, but the final results of educational success were generally of great relevance.

Dialogue journal writing: a tool for critical reflection in the adult ESL learner

This study attempted to determine whether or not dialogue journal writing encouraged critical reflection in the adult ESL (English as a Second Language) learner. According to research in adult education and anecdotal evidence, the process ofdialogue journal writing can facilitate critical reflection in the adult learner. However, little research has been conducted to examine whether or not journal writing can facilitate critical reflection in the second language learner. As a result, ten low-intermediate level adult ESL students from Brock University's Intensive English Language Programme participated in a dialogue journal writing programme in their writing class. The participants wrote journal entries over a 10-week period, and were interviewed once throughout the process to determine their perceptions ofthe journal writing experience. They also were observed by the researcher throughout the journal writing sessions to establish whether any behaviours or intrusions might affect the participants' writing processes. After the content ofthe journals and the interviews, and the observations made by the researcher were analysed, it was confirmed that, for these participants, dialogue journal writing did not necessarily encourage critical reflection. Moreover, the participants' perceptions ofjournal writing were that it helped them to practise the syntax, vocabulary, and rhetorical patterns ofEnglish; nevertheless, it did not foster critical reflection or thinking.

Development of a Chinese version WHO Self-Assessment Tool for Evaluating Health Promotion in Hospital

[Support Institutions:] Department of Administration of Health, University of Montreal, Canada Public Health School of Fudan University, Shanghai, China

A study of the TAGS, an enduring teaching tool: teachers’ perspectives on the Teacher Assessment of Grammatical Structures teaching practices and application

This paper is studied look at the Teacher’s Assessment of Grammatical Structures (TAGS), Teacher Assessment of Spoken Language (TASL), and Cottage Acquisition Scales for Listening, Language and Speech (CASLLS) criterion-referenced language assessments as well as an inquiry into how teachers of the deaf use the TAGS currently as a teaching tool.

A pattern language for goals

Previous work has established the value of goal-oriented approaches to requirements engineering. Achieving clarity and agreement about stakeholders’ goals and assumptions is critical for building successful software systems and managing their subsequent evolution. In general, this decision-making process requires stakeholders to understand the implications of decisions outside the domains of their own expertise. Hence it is important to support goal negotiation and decision making with description languages that are both precise and expressive, yet easy to grasp. This paper presents work in progress to develop a pattern language for describing goal refinement graphs. The language has a simple graphical notation, which is supported by a prototype editor tool, and a symbolic notation based on modal logic.

The language of poverty: an exploration of the narratives of the poor

Within the development discourse, the narratives of the poor are a well utilized rhetorical tool to describe poverty and its causes. However, narratives can also reveal the beliefs and ‘world-view’ of the narrators. To explore this influence, the authors applied a discursive approach, to deconstruct the narratives of 101 slum dwellers in Kibera, Nairobi. The results revealed that poverty was largely attributed to external constraints, beyond an individual's control. Despite wanting a better life, participants held low expectations for the future. Hopes and dreams were placed on their children. While risk and uncertainty was a constant theme, large differences were found between genders as to the aspirations for the future. Copyright © 2009 John Wiley & Sons, Ltd and ERP Environment.

'Your secret language': classics in the British colonies of West Africa

What were the cultural politics of classics in British colonies? Did classical education operate as a sign of oppression, or as a tool for forging an anti-colonial politics? Why did Europeans bring the classics to West Africa, and how did they manage the developing dynamic when West Africans laid independent claim to the classical heritage? This ground-breaking study examines the ways in which European colonisers and West African nationalists clashed, or collaborated, over the uses of Latin, Greek and the classics.

An overview of mixed-effects statistical models for second language researchers

As in any field of scientific inquiry, advancements in the field of second language acquisition (SLA) rely in part on the interpretation and generalizability of study findings using quantitative data analysis and inferential statistics. While statistical techniques such as ANOVA and t-tests are widely used in second language research, this review article provides a review of a class of newer statistical models that have not yet been widely adopted in the field, but have garnered interest in other fields of language research. The class of statistical models called mixed-effects models are introduced, and the potential benefits of these models for the second language researcher are discussed. A simple example of mixed-effects data analysis using the statistical software package R (R Development Core Team, 2011) is provided as an introduction to the use of these statistical techniques, and to exemplify how such analyses can be reported in research articles. It is concluded that mixed-effects models provide the second language researcher with a powerful tool for the analysis of a variety of types of second language acquisition data.

The utility and application of mixed-effects models in second language research

Second language acquisition researchers often face particular challenges when attempting to generalize study findings to the wider learner population. For example, language learners constitute a heterogeneous group, and it is not always clear how a study’s findings may generalize to other individuals who may differ in terms of language background and proficiency, among many other factors. In this paper, we provide an overview of how mixed-effects models can be used to help overcome these and other issues in the field of second language acquisition. We provide an overview of the benefits of mixed-effects models and a practical example of how mixed-effects analyses can be conducted. Mixed-effects models provide second language researchers with a powerful statistical tool in the analysis of a variety of different types of data.