Infective Endocarditis in a Finnish Teaching Hospital. 25 Years of Experience of Adult Patients

Infektiivinen endokardiitti yliopistollisessa keskussairaalassa vuosina 1980-2004 hoidetuilla aikuispotilailla Tausta: Infektiivinen endokardiitti on edelleen vakava sairaus. Huolimatta siitä, että taudin diagnostiikka ja hoito ovat kehittyneet, siihen liittyy edelleen merkittävää sairastuvuutta ja kuolleisuutta. Endokardiitin taudinkuvassa on viime vuosina tapahtunut muutoksia monissa maissa. Tavoitteet: Tutkia endokardiitin kliinista kuvaa ja ennustetta suomalaisessa yliopistosairaalassa vuosina 1980-2004 endokardiitin vuoksi hoidetuilla aikuispotilailla. Aineisto: Osatyössä I endokardiitin todennäköisyyttä analysoitiin 222:lla vuosina 1980-1995 endokardiittiepäilyn vuoksi hoidetulla potilaalla käyttäen apuna sekä Duken että von Reyn diagnostisia kriteereitä. Osatyössä II tutkittiin endokardiittiin liittyviä neurologisia komplikaatioita 218 varmassa tai mahdollisessa endokardiittiepisodissa. Osatyössä III tutkittiin seerumin C-reaktiivisen proteiinin (CRP) käyttökelpoisuutta hoitovasteen arvioinnissa 134:ssä varmaksi luokitellussa endokardiittiepisodissa. Osatyössä IV tutkittiin yleisbakteeri-PCRmenetelmän käyttökelpoisuutta etiologisessa diagnostiikassa 56:lla endokardiittiepäilyn vuoksi leikatulla potilaalla. Osatöissä V ja VI analysoitiin kaikki vuosina 1980-2004 hoidetut 303 endokardiittipotilasta lyhytaikais- ja 1-vuotisennusteen suhteen sekä tutkittiin endokardiitin taudinkuvassa tapahtuneita muutoksia sairaalassamme. Tulokset: Duken kriteerit osoittautuivat von Reyn kriteereitä herkemmiksi endokardiitin diagnostiikassa: 243 tutkitusta episodista 114 luokiteltiin varmoiksi endokardiiteiksi Duken kriteereillä, kun vastaavasti ainoastaan 64 luoteltiin varmoiksi von Reyn kriteereillä (p<0.001). Lisäksi peräti 115 episodissa endokardiitin diagnoosi hylättiin von Reyn kriteereillä, kun diagnoosi hylättiin Duken kriteereillä ainoastaan 37 episodissa (p<0.001). Neurologinen komplikaatio ilmeni ennen mikrobilääkehoidon aloittamista 76 %:ssa episodeja ollen ensimmäinen oire 47 %:ssa. Kuolema oli merkitsevästi yhteydessä neurologisiin komplikaatioihin. Hoitovastetta seurattaessa seerumin CRP:n lasku oli merkitsevästi nopeampaa komplikaatioitta toipuvilla potilailla kuin niillä, joille kehittyi komplikaatioita tai jotka menehtyivät tautiinsa. PCR-tutkimus poistetusta läpästä antoi ainoana menetelmänä etiologisen diagnoosin neljässä tapauksessa (2 stafylokokkilajia, 1 Streptococcus bovis,1 Bartonella quintana), joissa kaikissa mikrobilääkehoito oli ollut käytössä ennen näytteiden ottamista. Koko aineistossa kahden läpän infektio tai neurologisten komplikaatioiden, perifeeristen embolioiden tai sydämen vajaatoiminnan kehittyminen ennustivat sekä sairaalakuolleisuutta että 1-vuotiskuolleisuutta, kun taas ≥65 vuoden ikä ja sydämen ultraäänitutkimuksessa todettu vegetaatio tai Duken luokittelun mukainen pääkriteeri ennustivat kuolemaa vuoden sisällä. Korkea CRP-taso sairaalaan tullessa ennusti sekä sairaalakuolleisuutta että 1-vuotiskuolleisuutta. Huumeiden käyttäjien endokardiitit lisääntyivät tutkimusaikana merkitsevästi (p<0.001). Päätelmät: Tässä työssä vahvistetaan Duken kriteerien käyttökelpoisuus endokardiitin diagnostiikassa. Lisäksi vahvistui käsitys, että nopea diagnoosi ja mikrobilääkehoidon aloittaminen ovat parhaat keinot ehkäistä neurologisia komplikaatioita ja parantaa endokardiittipotilaiden ennustetta. CRP:n normalisoituminen on endokardiittipotilailla hyvän ennusteen merkki. Suoraan läppäkudoksesta tehty PCR-tutkimus on hyödyllinen, kun taudin aiheuttaja on kasvuominaisuuksiltaan vaativa tai potilas on saanut mikrobilääkehoitoa ennen viljelynäytteiden ottamista. Muutamat aiemmissa tutkimuksissa todetut huonon ennusteen merkit ennustavat huonoa ennustetta myös tämän tutkimuksen potilailla. Uutena löydöksenä ilmeni, että korkea CRP-arvo sairaalaan tullessa merkitsee sekä huonoa lyhyt- että pitkäaikaisennustetta. Huumeiden käyttäjien endokardiittien ilmaantuminen on tärkein epidemiologinen muutos 25 vuoden tutkimusaikana.

Tool-supported invariant-based programming

The development of correct programs is a core problem in computer science. Although formal verification methods for establishing correctness with mathematical rigor are available, programmers often find these difficult to put into practice. One hurdle is deriving the loop invariants and proving that the code maintains them. So called correct-by-construction methods aim to alleviate this issue by integrating verification into the programming workflow. Invariant-based programming is a practical correct-by-construction method in which the programmer first establishes the invariant structure, and then incrementally extends the program in steps of adding code and proving after each addition that the code is consistent with the invariants. In this way, the program is kept internally consistent throughout its development, and the construction of the correctness arguments (proofs) becomes an integral part of the programming workflow. A characteristic of the approach is that programs are described as invariant diagrams, a graphical notation similar to the state charts familiar to programmers. Invariant-based programming is a new method that has not been evaluated in large scale studies yet. The most important prerequisite for feasibility on a larger scale is a high degree of automation. The goal of the Socos project has been to build tools to assist the construction and verification of programs using the method. This thesis describes the implementation and evaluation of a prototype tool in the context of the Socos project. The tool supports the drawing of the diagrams, automatic derivation and discharging of verification conditions, and interactive proofs. It is used to develop programs that are correct by construction. The tool consists of a diagrammatic environment connected to a verification condition generator and an existing state-of-the-art theorem prover. Its core is a semantics for translating diagrams into verification conditions, which are sent to the underlying theorem prover. We describe a concrete method for 1) deriving sufficient conditions for total correctness of an invariant diagram; 2) sending the conditions to the theorem prover for simplification; and 3) reporting the results of the simplification to the programmer in a way that is consistent with the invariantbased programming workflow and that allows errors in the program specification to be efficiently detected. The tool uses an efficient automatic proof strategy to prove as many conditions as possible automatically and lets the remaining conditions be proved interactively. The tool is based on the verification system PVS and i uses the SMT (Satisfiability Modulo Theories) solver Yices as a catch-all decision procedure. Conditions that were not discharged automatically may be proved interactively using the PVS proof assistant. The programming workflow is very similar to the process by which a mathematical theory is developed inside a computer supported theorem prover environment such as PVS. The programmer reduces a large verification problem with the aid of the tool into a set of smaller problems (lemmas), and he can substantially improve the degree of proof automation by developing specialized background theories and proof strategies to support the specification and verification of a specific class of programs. We demonstrate this workflow by describing in detail the construction of a verified sorting algorithm. Tool-supported verification often has little to no presence in computer science (CS) curricula. Furthermore, program verification is frequently introduced as an advanced and purely theoretical topic that is not connected to the workflow taught in the early and practically oriented programming courses. Our hypothesis is that verification could be introduced early in the CS education, and that verification tools could be used in the classroom to support the teaching of formal methods. A prototype of Socos has been used in a course at Åbo Akademi University targeted at first and second year undergraduate students. We evaluate the use of Socos in the course as part of a case study carried out in 2007.

Teaching mathematics and programming : new approaches with empirical evaluation

Programming and mathematics are core areas of computer science (CS) and consequently also important parts of CS education. Introductory instruction in these two topics is, however, not without problems. Studies show that CS students find programming difficult to learn and that teaching mathematical topics to CS novices is challenging. One reason for the latter is the disconnection between mathematics and programming found in many CS curricula, which results in students not seeing the relevance of the subject for their studies. In addition, reports indicate that students' mathematical capability and maturity levels are dropping. The challenges faced when teaching mathematics and programming at CS departments can also be traced back to gaps in students' prior education. In Finland the high school curriculum does not include CS as a subject; instead, focus is on learning to use the computer and its applications as tools. Similarly, many of the mathematics courses emphasize application of formulas, while logic, formalisms and proofs, which are important in CS, are avoided. Consequently, high school graduates are not well prepared for studies in CS. Motivated by these challenges, the goal of the present work is to describe new approaches to teaching mathematics and programming aimed at addressing these issues: Structured derivations is a logic-based approach to teaching mathematics, where formalisms and justifications are made explicit. The aim is to help students become better at communicating their reasoning using mathematical language and logical notation at the same time as they become more confident with formalisms. The Python programming language was originally designed with education in mind, and has a simple syntax compared to many other popular languages. The aim of using it in instruction is to address algorithms and their implementation in a way that allows focus to be put on learning algorithmic thinking and programming instead of on learning a complex syntax. Invariant based programming is a diagrammatic approach to developing programs that are correct by construction. The approach is based on elementary propositional and predicate logic, and makes explicit the underlying mathematical foundations of programming. The aim is also to show how mathematics in general, and logic in particular, can be used to create better programs.

In pursuit of an intercultural dimension in EFL-teaching : exploring cognitions among Finland-Swedish comprehensive school teachers

This thesis is about the educational purpose of foreign language teaching (FLT) in an increasingly internationalised world.The past 20-30 years have witnessed a fundamental rethinking of the aims of FLT, entailing a shift in emphasis from linguistic competence over communicative competence to intercultural competence. The growing emphasis on cultural issues, called for by research and international curricular documents, places new demandson language teachers. The overall aim of this study is to deepen the knowledge about the attitudes of teachers at the upper level of the Finland-Swedish comprehensive school towards the treatment of culture in English foreign language (EFL) teaching. The questions in focus are: 1) How do teachers interpret the concept"culture" in EFL-teaching?, 2) How do they specify the cultural objectives of their teaching? and 3) What do they do to attain these objectives? The thesis strives to reveal whether or not language teaching today can be describedas intercultural, in the sense that culture is taught with the aim of promotingintercultural understanding, tolerance and empathy. This abductive and largely exploratory study is placed within a constructivist and sociocultural framework,and is inspired by both phenomenography and hermeneutics. It takes its starting-point in language didactics, and can also be regarded as a contribution to teacher cognition research. The empirical data consists of verbatim transcribed interviews with 13 Finland-Swedish teachers of English at grades 7-9. The findings are presented according to three orientations and reviewed with reference to the 2004 Finnish National Framework Curriculum. Within the cognitive orientation, "culture" is perceived as factual knowledge, and the teaching of cultureis defined in terms of the transmission of knowledge, especially about Britain and the USA (Pedagogy of Information). Within the action-related orientation, "culture" is seen as skills of a social and socio-linguistic nature, andthe teaching aims at preparing the students for contacts with people from the target language areas (Pedagogy of Preparation). Within the affective orientation, which takes a more holistic approach, "culture" is seen as a bi-directional perspective. Students are encouraged to look at their own familiar culture from another perspective, and learn to empathise with and show respect for otherness in general, not just concerning representatives of English-speaking countries (Pedagogy of Encounter). Very few of the interviewed teachers represent the third approach, which is the one that can be characterised as truly intercultural. The study indicates that many teachers feel unsure about how to teach culture in an appropriate and up-to-date manner. This is attributed to, among other things, lack of teacher insights as well as lack of time and adequate material. The thesis ends with a set of recommendations as to how EFL could be developed ina more intercultural direction.

Integrating environmental education in primary school education in Tanzania : teachers’ perceptions and teaching practices

The study focuses on primary school teachers’ perceptions of environmental education, its integration into primary school education and teachers’ teaching practices in Tanzania. The thesis is based on empirical research. The theoretical underpinnings of the study are based on Palmer’s (1998) model of environmental education. According to the model, meaningful environmental education should include education about, in or through and for the environment. The study is supported by national and international literature from research done on environmental education and education for sustainable development and policy statements. The study is qualitative in nature, adopting phenomenography and phenomenology as points of departure. The empirical data was collected from four primary schools in Morogoro region in Tanzania. The study sample consisted of 31 primary school teachers. Data was collected through interviews and lesson observations. According to the results of the study, primary school teachers expressed variations in their perceptions of environmental education and education for sustainable development. Most of the teachers focused on the aspect of knowledge acquisition. According to Tanzanian education and training policy, environmental education has to be integrated into all subjects. Although there is environmental education in the primary school curriculum, it is not integrated on an equal footing in all subjects. Some subjects like science, social studies and geography have more environmental content than other subjects. Teachers claim that the approach used to integrate environmental education into the school curriculum was not favoured because many claimed that what is to be taught as environmental education in the various subjects is not shown clearly. As a result, many teachers suggested that to ensure that it is taught properly it should be included in the curriculum as an independent subject or as specific topics. The study revealed that teachers’ teaching practices in integrating environmental education varied from one subject to another. Although most of the teachers said that they used participatory methods, lesson observations showed that they limited themselves to question and answer and group discussion. However, the teachers faced a number of barriers in the teaching of environmental education, some of which include lack of teaching and learning resources, time and large class size. The role of teachers in the implementation of environmental education in developing an environmentally literate citizenry is of great significance. The responsibility of the government in developing a curriculum with clear goals and content, developing teachers’ capacity in the teaching of environmental education and provision of teaching and learning materials needs to be taken seriously by the government in educational plans and programs.

Towards the Best A++ Rating Productivity of Research and Teaching in Finnish Universities

Tämän tutkimusraportin suomenkielinen versio on osoitteessa: http://urn.fi/URN:ISBN:978-951-29-4509-2