Harvesting strategy and N fertilization influence ¹³⁴Cs uptake by forage plants

Selostus: Korjuuaika ja typpilannoitus vaikuttavat rehukasvien radiocesiumpitoisuuteen

CS discourses of co-operatives structuring the food industry

Tämä tutkimus osallistuu tuottaja-osuuskuntiin liittyviin kestävän kehityksen keskusteluihin ja tarjoaa esimerkin pohjoismaisesta ruoantuotannon toimialasta. Tämä tutkimus seuraa kvalitatiivisen tutkimuksen suuntaviivoja ja Fairclough’n kriittinen diskurssianalyysi tarjoaa metodin yritystekstien analyysille. Kieli ymmärretään poststrukturalistisesta näkökulmasta, joka luo kielellisiä identiteettejä ja rakentaa vastuullisuuskeskustelua. Tutkimuksen tavoitteena on kuvata diskurssit, jotka rakentavat vastuullisuuskeskustelua kontekstissaan. Lisäksi tavoitteena on kuvata ja ymmärtää kuinka nämä diskurssit rakentavat rooleja ja identiteettejä ympärilleen sekä kuinka yritystekstit institutionalisoituvat ja vaikuttavat kontekstiinsa. Analyysi määrittää kolme vastuullisuusdiskurssia, jotka kuvaavat yrityskansalaisuutta, liiketoimintalähtöisyyttä ja integriteettiä. Diskurssien tavoitteiden, roolien, ja identiteettien ymmärrys ja vaikutus ympäristöön auttaa laajentamaan tietämystä kestävän kehityksen moniulotteisesta luonteesta. Lisäksi tutkimus muodostaa itsessään äänen osuuskuntatutkimukselle ja kestävän kehityksen ymmärryksen laajentamiselle.

The effect of ammonium ferric hexacyanoferrate on reducing radiocaesium transfer from grass silage to sheep

Selostus: [sup 134]Cs-aktiivisuuspitoisuuden vähentäminen ferriheksasyanoferraatin avulla

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.

György von Lukácsin varjo

Kirjallisuusarvostelu

Competence in intensive and critical care nursing - development of a basic assessment scale for graduating nursing students

Intensive and critical care nursing is a speciality in its own right and with its own nature within the nursing profession. This speciality poses its own demands for nursing competencies. Intensive and critical care nursing is focused on severely ill patients and their significant others. The patients are comprehensively cared for, constantly monitored and their vital functions are sustained artificially. The main goal is to win time to cure the cause of the patient’s situation or illness. The purpose of this empirical study was i) to describe and define competence and competence requirements in intensive and critical care nursing, ii) to develop a basic measurement scale for competence assessment in intensive and critical care nursing for graduating nursing students, and iii) to describe and evaluate graduating nursing students’ basic competence in intensive and critical care nursing by seeking the reference basis of self-evaluated basic competence in intensive and critical care nursing from ICU nurses. However, the main focus of this study was on the outcomes of nursing education in this nursing speciality. The study was carried out in different phases: basic exploration of competence (phase 1 and 2), instrumentation of competence (phase 3) and evaluation of competence (phase 4). Phase 1 (n=130) evaluated graduating nursing students’ basic biological and physiological knowledge and skills for working in intensive and critical care with Basic Knowledge Assessment Tool version 5 (BKAT-5, Toth 2012). Phase 2 focused on defining competence in intensive and critical care nursing with the help of literature review (n=45 empirical studies) as well as competence requirements in intensive and critical care nursing with the help of experts (n=45 experts) in a Delphi study. In phase 3 the scale Intensive and Critical Care Nursing Competence Scale (ICCN-CS) was developed and tested twice (pilot test 1: n=18 students and n=12 nurses; pilot test 2: n=56 students and n=54 nurses). Finally, in phase 4, graduating nursing students’ competence was evaluated with ICCN-CS and BKAT version 7 (Toth 2012). In order to develop a valid assessment scale of competence for graduating nursing students and to evaluate and establish the competence of graduating nursing students, empirical data were retrieved at the same time from both graduating nursing students (n=139) and ICU nurses (n=431). Competence can be divided into clinical and general professional competence. It can be defined as a specific knowledge base, skill base, attitude and value base and experience base of nursing and the personal base of an intensive and critical care nurse. Personal base was excluded in this self-evaluation based scale. The ICCN-CS-1 consists of 144 items (6 sum variables). Finally, it became evident that the experience base of competence is not a suitable sum variable in holistic intensive and critical care competence scale for graduating nursing students because of their minor experience in this special nursing area. ICCN-CS-1 is a reliable and tolerably valid scale for use among graduating nursing students and ICU nurses Among students, basic competence of intensive and critical care nursing was self-rated as good by 69%, as excellent by 25% and as moderate by 6%. However, graduating nursing students’ basic biological and physiological knowledge and skills for working in intensive and critical care were poor. The students rated their clinical and professional competence as good, and their knowledge base and skill base as moderate. They gave slightly higher ratings for their knowledge base than skill base. Differences in basic competence emerged between graduating nursing students and ICU nurses. The students’ self-ratings of both their basic competence and clinical and professional competence were significantly lower than the nurses’ ratings. The students’ self-ratings of their knowledge and skill base were also statistically significantly lower than nurses’ ratings. However, both groups reported the same attitude and value base, which was excellent. The strongest factor explaining students’ conception of their competence was their experience of autonomy in nursing. Conclusions: Competence in intensive and critical care nursing is a multidimensional concept. Basic competence in intensive and critical care nursing can be measured with self-evaluation based scale but alongside should be used an objective evaluation method. Graduating nursing students’ basic competence in intensive and critical care nursing is good but their knowledge and skill base are moderate. Especially the biological and physiological knowledge base is poor. Therefore in future in intensive and critical care nursing education should be focused on both strengthening students’ biological and physiological knowledge base and on strengthening their overall skill base. Practical implications are presented for nursing education, practice and administration. In future, research should focus on education methods and contents, mentoring of clinical practice and orientation programmes as well as further development of the scale.

Taiteen institutionalisoituva maailma

Kirjallisuusarvostelu

Element speciation and behaviour in metal-rich Boreal river and estuarine systems using ultrafiltration and chemical modelling

The bioavailability of metals and their potential for environmental pollution depends not simply on total concentrations, but is to a great extent determined by their chemical form. Consequently, knowledge of aqueous metal species is essential in investigating potential metal toxicity and mobility. The overall aim of this thesis is, thus, to determine the species of major and trace elements and the size distribution among the different forms (e.g. ions, molecules and mineral particles) in selected metal-enriched Boreal river and estuarine systems by utilising filtration techniques and geochemical modelling. On the basis of the spatial physicochemical patterns found, the fractionation and complexation processes of elements (mainly related to input of humic matter and pH-change) were examined. Dissolved (<1 kDa), colloidal (1 kDa-0.45 μm) and particulate (>0.45 μm) size fractions of sulfate, organic carbon (OC) and 44 metals/metalloids were investigated in the extremely acidic Vörå River system and its estuary in W Finland, and in four river systems in SW Finland (Sirppujoki, Laajoki, Mynäjoki and Paimionjoki), largely affected by soil erosion and acid sulfate (AS) soils. In addition, geochemical modelling was used to predict the formation of free ions and complexes in these investigated waters. One of the most important findings of this study is that the very large amounts of metals known to be released from AS soils (including Al, Ca, Cd, Co, Cu, Mg, Mn, Na, Ni, Si, U and the lanthanoids) occur and can prevail mainly in toxic forms throughout acidic river systems; as free ions and/or sulfate-complexes. This has serious effects on the biota and especially dissolved Al is expected to have acute effects on fish and other organisms, but also other potentially toxic dissolved elements (e.g. Cd, Cu, Mn and Ni) can have fatal effects on the biota in these environments. In upstream areas that are generally relatively forested (higher pH and contents of OC) fewer bioavailable elements (including Al, Cu, Ni and U) may be found due to complexation with the more abundantly occurring colloidal OC. In the rivers in SW Finland total metal concentrations were relatively high, but most of the elements occurred largely in a colloidal or particulate form and even elements expected to be very soluble (Ca, K, Mg, Na and Sr) occurred to a large extent in colloidal form. According to geochemical modelling, these patterns may only to a limited extent be explained by in-stream metal complexation/adsorption. Instead there were strong indications that the high metal concentrations and dominant solid fractions were largely caused by erosion of metal bearing phyllosilicates. A strong influence of AS soils, known to exist in the catchment, could be clearly distinguished in the Sirppujoki River as it had very high concentrations of a metal sequence typical of AS soils in a dissolved form (Ba, Br, Ca, Cd, Co, K, Mg, Mn, Na, Ni, Rb and Sr). In the Paimionjoki River, metal concentrations (including Ba, Cs, Fe, Hf, Pb, Rb, Si, Th, Ti, Tl and V; not typical of AS soils in the area) were high, but it was found that the main cause of this was erosion of metal bearing phyllosilicates and thus these metals occurred dominantly in less toxic colloidal and particulate fractions. In the two nearby rivers (Laajoki and Mynäjoki) there was influence of AS soils, but it was largely masked by eroded phyllosilicates. Consequently, rivers draining clay plains sensitive to erosion, like those in SW Finland, have generally high background metal concentrations due to erosion. Thus, relying on only semi-dissolved (<0.45 μm) concentrations obtained in routine monitoring, or geochemical modelling based on such data, can lead to a great overestimation of the water toxicity in this environment. The potentially toxic elements that are of concern in AS soil areas will ultimately be precipitated in the recipient estuary or sea, where the acidic metalrich river water will gradually be diluted/neutralised with brackish seawater. Along such a rising pH gradient Al, Cu and U will precipitate first together with organic matter closest to the river mouth. Manganese is relatively persistent in solution and, thus, precipitates further down the estuary as Mn oxides together with elements such as Ba, Cd, Co, Cu and Ni. Iron oxides, on the contrary, are not important scavengers of metals in the estuary, they are predicted to be associated only with As and PO4.

Cesarean section - short term maternal complications related to the mode of delivery

Cesarean section (CS) is the most common major surgery performed on women worldwide. CS can save the life of the mother or the fetus, but is associated with the typical complications of any major surgery: hemorrhage, infection, venous thromboembolism and complications of anesthesia, sometimes leading to maternal death. Recently there have been several reports from well resourced countries on increased severe maternal morbidity and even mortality. Increased rates of CS, obesity and older mothers may explain this rise. The aim of this thesis is to study the rates and risk factors of short term maternal complications associated with CS. Also, we compared maternal morbidity by mode of delivery and over time. The complication rates were assessed in a prospective study involving 2496 CS performed in the 12 largest delivery units in Finland in 2005. The rates of severe complications were studied by mode of delivery in a register-based study comparing national cohorts in 1997 and 2002. The impact of several risk factors on severe maternal morbidity by mode of delivery was studied in a register-based study of all singleton deliveries in 2007-2011. In the prospective study, 27% of the women who underwent CS had one or more intraoperative or postoperative complications during their hospital stay, and 10% had a severe complication. In the register-based study the incidence of life-threatening maternal complications was 7.6 in 1000 deliveries. The incidence was lowest for vaginal delivery (VD), followed by instrumental VD and elective CS, and highest in emergency CS. An attempt of VD, including the risks associated with emergency CS, seems to be the safest mode of delivery, even for most high-risk women.

Open Access Button Workshop

Workshop at Open Repositories 2014, Helsinki, Finland, June 9-13, 2014

ICEIRD 2014 : Developing University : SME Collaboration

Konferenssin nimi: ICEIRD 2014 : The 7th International Conference for Entrepreneurship, Innovation and Regional Development. 5–6 June 2014, Nicosia, Cyprus. Julkaisumaa: 196 CY CYP Kypros