The Survivability of Swedish Emergency Management Related Research Centers and Academic Programs : A Preliminary Sociology of Science Analysis

The Survivability of Swedish Emergency Management Related Research Centers and Academic Programs: A Preliminary Sociology of Science Analysis Despite being a relatively safe nation, Sweden has four different universities supporting four emergency management research centers and an equal and growing number of academic programs. In this paper, I discuss how these centers and programs survive within the current organizational environment. The sociology of science or the sociology of scientific knowledge perspectives should provide a theoretical guide. Yet, scholars of these perspectives have produced no research on these related topics. Thus, the population ecology model and the notion of organizational niche provide my theoretical foundation. My data come from 26 interviews from those four institutions, the gathering of documents, and observations. I found that each institution has found its own niche with little or no competition – with one exception. Three of the universities do have an international focus. Yet, their foci have minimal overlap. Finally, I suggest that key aspects of Swedish culture, including safety, and a need aid to the poor, help explain the extensive funding these centers and programs receive to survive. 

PANA V : Evaluation of a Literacy Project

PANA V Evaluation of a Literacy ProjectSUMMARY AND CONCLUSIONSThis evaluation set out to explore the impact of the literacy work carried out through PANA V. It focussed on clarifying effects such as empowerment and poverty reduction in relation to the civil society. Two specific objectives were to evaluate the methodological approach and the didactic materials and to evaluate the sustainability of the project.Although the focus of the evaluation has been PANA V, the project has been evaluated in its context, as one in a series of five projects located in Rwanda ten years after the war and genocide. The conclusion will consider future plans in this field.The evaluator has striven to create a holistic picture of the effects of the project, although the given time for the evaluation was short. Only three weeks were spent in the field study and only ten days in the actual field. Although there were some organisational and logistic problems, as is common when carrying out a study like this in a poor country, many literacy sites were visited and quite many participators were interviewed. The overall impression from the study is overwhelmingly positive. So many people commit themselves in this task of teaching Rwandans reading, writing and numeracy. Despite harsh conditions learners strive to learn and group leaders devote themselves to the task. Many leaders on different levels try their very best to manage their difficult and demanding task. The main objective was to explore the impact of the project on poverty reduction, particularly on empowerment and strategies for everyday life. Women were to be regarded particularly. From the results it is clear that the project has a strong, positive impact both on poverty reduction and empowerment of marginalised groups. Among those who have benefited from the alphabetisation are mainly women. Unfortunately, when it comes to leaders in PANA, who may also be said to have benefited from the project, only a small minority is women. This is something that is recommended that it be reconsidered inside the organisation. As a majority of the targeted learners are women, and as the economic and social situation of women in Rwanda is generally weak, this is a question that I recommend the Pentesostal church and ADEPR to look particularly into. With many women being single breadwinners of their households, it is important that also women get access to positions that may bring benefits of different kind.It is also clear that the project has positive effects for the civil society. In the present situation in Rwanda, during the process of reconciliation and rapid progress, basic education for the poor majority is a democratic issue. In a country with a plethora of internet-cafés in the capital and a small minority that use cars and mobile-telephones to communicate nation-wide, it is of outmost importance that the majority acquires basic education, of which literacy is a central part. To strengthen the civil society in Rwanda literacy is important. One central issue is then that Rwanda develops toward becoming a country where literacy is used for the benefit of the citizens and it is a democratic issue that all citizens get an opportunity to participate. Crucial for this is that strong efforts are put into primary schools nation-wide. Literacy projects for adults, like PANA, may only complement these efforts, but they constitute important and necessary complements. Other relevant ways to promote literacy are campaigns in Radio and TV and through cultural events such as festivals, music and theatre. News papers, magazines and books are natural parts of such campaigns as well as adult education. As stated under the results not much can be said about the didactics in this evaluation. On the whole the methodology and the materials fill their function well and receive a high reputation. As people learn to read and write under very simple conditions, obviously the approach is appropriate. A few suggestions may be given from the study:•Focus groups leaders’ attention on clearness, that they show very clearly what is to be read. Good structuring is probably of great importance for many learners.•Make clear what is tested in the tests and consider the possibility to use a holistic test that would be more congruent with the methodology. The possibility to use only one grade, pass, would enable a more practical test, such as reading a short, relevant text, writing something relevant and solving practical mathematic problems. Avoid tests that demand school knowledge.•Avoid using methaphors such as “fight against illiteracy” and connections between illiteracy/literacy and darkness/light. It is not true that illiteracy causes bad things and that literacy only brings good. •Be prepared that it may be more difficult in the future to achieve the goals as it may be the case that the early learners where the ones who achieved easily. The goal of “literacy in six month” in PANA will probably hold only for some learners but also those who do not manage in six months need literacy skills.A third objective was to secure sustainability. As for sustainability of the project in itself, and of the literacy process, the main conclusion is that there is a good potential. The commitment and devotedness among many involved in PANA proves good. One weakness is individual leaders in ADEPR who do not see this as an important task for the Pentecostal church in Rwanda. Other weaknesses are the unwillingness to mention explicitly the wish, for example among group leaders, to get some kind of incentive and the fear of loosing believers by cooperation with other organisations. A higher degree of transparency in this issue would probably solve some irritations and tensions.As for the sustainability of the literacy skills much may be done to improve. The acquired skills seem to be comparably relevant. The level achieved, and the level tested, may be defined as basic literacy skills, consisting of basic reading, writing and numeracy skills. However, these skills are very restricted and there is a high risk that the skills will decline, which means that there is a high risk that people will forget how to read and write because of lack of exercising. From these conclusions a few suggestions for future development will be given.

ICT as a tool in English teaching : A literature review on the use of ICT for Swedish students with learning difficulties and their literacy learning in grades 7-9

Information and communication technology (ICT) is a subject that is being discussed as a tool that is used within education around the world. Furthermore it can be seen as a tool for teachers to individualize students´ education. Students with literacy difficulties, such as dyslexia, are in constant need of new ways to learn, and new ways to be motivated to learn. The aim of this study is to see what research says in regard to how ICT can be used as a tool to help students with literacy difficulties. Literacy difficulties can be due to a number of things, such as the student has not been taught how to read, trouble within the family which can cause distress, or a neurological disorder such as dyslexia. Furthermore, the main research questions will focus on how ICT can be compared to traditional education forms, such as books and a more teacher centered education within the classroom, and whether ICT can be preferred. The results of this literature review indicates that ICT can be seen as a way for teachers to help students with literacy difficulties gain more self-esteem – something the literature tells us students with learning difficulties lack. The results also show how ICT can lead to a more individualized education. This is due to tools that increase reading comprehension and tools that give direct response when working with ICT, which helps students work more independently.

Högstadieungdomar skriver historia på bloggen : undervisning, literacy och historiemedvetande i ett nytt medielandskap

The purpose of this thesis is to study the literacy formed when a class blog is used as a tool for students studying history and explore how this particular literacy is used to generate historical knowledge. The study was conducted during the course of a project in which ninth-grade students contributed entries to a common blog in the form of a diary written by individuals who experienced the Second World War. Its three major objectives were to study the students' perception of the blog in relation to their gender and level of historical knowledge; how they and their teacher esta-blished and used the formed literacy; and how the students related to this in the production of historical knowledge. In analyzing the results, a concept of literacy was used based on seven writing practices all linked to the new medium and history education. The study was based on a questionnaire, interviews and various student texts. In order to perform a content analysis on the study results a theoretical frame­work for historical conscious-ness was included. The results show that in using the writing practices a literacy character­ized by colla-borative authorship was formed. The study concludes that this affects both what and how the students learn. Together they show each other that history is comprised of many small stories, not necessarily strictly co­herent with the general history as told by their textbooks. Examining the students’ blog entries made a new learning process visible that enabled the enhancement of their historical consciousness.  

Fred: An approach to generating real, correct, reusable programs from proofs

In this paper we describe our system for automatically extracting "correct" programs from proofs using a development of the Curry-Howard process. Although program extraction has been developed by many authors, our system has a number of novel features designed to make it very easy to use and as close as possible to ordinary mathematical terminology and practice. These features include 1. the use of Henkin's technique to reduce higher-order logic to many-sorted (first-order) logic; 2. the free use of new rules for induction subject to certain conditions; 3. the extensive use of previously programmed (total, recursive) functions; 4. the use of templates to make the reasoning much closer to normal mathematical proofs and 5. a conceptual distinction between the computational type theory (for representing programs)and the logical type theory (for reasoning about programs). As an example of our system we give a constructive proof of the well known theorem that every graph of even parity, which is non-trivial in the sense that it does not consist of isolated vertices, has a cycle. Given such a graph as input, the extracted program produces a cycle as promised.

Protocols between programs and proofs

In this paper we describe a new protocol that we call the Curry-Howard protocol between a theory and the programs extracted from it. This protocol leads to the expansion of the theory and the production of more powerful programs. The methodology we use for automatically extracting “correct” programs from proofs is a development of the well-known Curry-Howard process. Program extraction has been developed by many authors, but our presentation is ultimately aimed at a practical, usable system and has a number of novel features. These include 1. a very simple and natural mimicking of ordinary mathematical practice and likewise the use of established computer programs when we obtain programs from formal proofs, and 2. a conceptual distinction between programs on the one hand, and proofs of theorems that yield programs on the other. An implementation of our methodology is the Fred system. As an example of our protocol we describe a constructive proof of the well-known theorem that every graph of even parity can be decomposed into a list of disjoint cycles. Given such a graph as input, the extracted program produces a list of the (non-trivial) disjoint cycles as promised.

Extraction of structured programs from specification proofs

We present a method using an extended logical system for obtaining programs from specifications written in a sublanguage of CASL. These programs are “correct” in the sense that they satisfy their specifications. The technique we use is to extract programs from proofs in formal logic by techniques due to Curry and Howard. The logical calculus, however, is novel because it adds structural rules corresponding to the standard ways of modifying specifications: translating (renaming), taking unions, and hiding signatures. Although programs extracted by the Curry-Howard process can be very cumbersome, we use a number of simplifications that ensure that the programs extracted are in a language close to a standard high-level programming language. We use this to produce an executable refinement of a given specification and we then provide a method for producing a program module that maximally respects the original structure of the specification. Throughout the paper we demonstrate the technique with a simple example.