Äitiys kulttuurisina odotuksina

Tutkimuksen kohteena ovat äitiydelle tuotetut kulttuuriset odotukset, joita tarkastellaan kahdella yhteiskunnallisella keskustelufoorumilla. Tutkimuksessa tarkastellaan yhtäältä lastensuojelun perhetyössä toimivien ammattilaisten ja toisaalta median puhetta äitiydestä. Tutkimuksen tavoitteena on tehdä näkyväksi vaihtoehtoisia tapoja konstruoida äitiyttä hyvänä tai riittämättömänä sekä haastaa pohtimaan erilaisten tulkintojen perusteita ja seurauksia lastensuojelutyössä. Kulttuuriset, äitiyttä koskevat odotukset vaikuttavat myös siihen, miten äitiys henkilökohtaisella tasolla koetaan. Äitiyden kulttuurista määrittelyä analysoidaan kahdesta tekstiaineistosta. Yhtenä aineistona ovat Stakesissa vuonna 1999 toteutetun Perhetyöprojektin yhteydessä kerätyt, lastensuojelussa toimivien perhetyöammattilaisten ryhmäkeskustelut. Toisena aineistona on projektin ajankohtana ilmestyneistä suomalaisista naisten- ja perhelehdistä (Kotiliesi, Anna, Kaksplus) kerätyt äitien haastattelut. Tutkimuksessa kysytään 1) Mihin ammattilaisten äitejä koskeva huolipuhe kiinnittyy ja millaisia kulttuurisia äitiyden odotuksia se konstruoi? 2) Millaisia äitiyden odotuksia median äitihaastattelut konstruoivat? 3) Millaisen äitiyden odotushorisontin nämä puhekäytännöt yhdessä tuottavat? Analyysin teoreettis-metodologisina kulmakivinä ovat sosiaalinen konstruktionismi ja feministinen tietokäsitys. Analyysimenetelmänä on laadullinen, aineistojen ehdoilla etenevä, feministisesti ja kriittisesti sävyttynyt lukutapa, joka hyödyntää teemoittelun, diskurssianalyysin ja feministisen metodologian ideoita ja käsitteitä. Analysoitavana olevissa keskusteluissa äitiyttä konstruoidaan lapsen tarpeiden (ammattilaiset) ja naisen tarpeiden (media) näkökulmista. Ammattilaiset puhuvat tilanteista, joissa äitien toiminta rikkoo kulttuurista hyvän äidin kuvaa, vaarantaa lapsen hyvinvointia ja äitiyteen joudutaan puuttumaan ammatillisesti. Ammattilaisten tulkinnat kuvaavat taitavaa lapsen edun näkökulmasta tehtyä arviointia, jonka kiintopisteenä ovat äidit yksilöllisine ominaisuuksineen ja piirteineen. Ammatillisen huolipuheen keskiössä ovat äidin vuorovaikutussuhteet sekä äidin tunteet, käyttäytyminen ja asenteet. Riittävää äitiyttä konstruoi kodin luominen, kiintymyssuhteen rakentaminen ja lapsen ensisijaiseksi asettaminen. Sen sijaan vaikuttaa siltä, ettei äitiyden arviointia juurikaan tehdä suhteessa äidin muihin identiteetteihin tai äitiyden toteuttamisen kontekstiin. Paikoin ammattilaisten tulkinnat heijastavat myös stereotyyppisiä ja idealistisia odotuksia, joita vasten äitiyttä arvioidaan. Tällaiset piirteet voivat kertoa siitä, että äitien avuntarpeet jäävät lastensuojelutyössä kohtaamatta ja ymmärtämättä. Mediapuhe äitiydestä käydään naiseuden ja äitiyden mallien antamisen kontekstissa. Puheen keskiössä ovat mediajulkisuuteen päässeiden naisten äidiksi tuloon ja äitiyden toteuttamiseen liittyvät valinnat ja käyttäytyminen. Mediapuhe on puhetta kulttuuristen ja ammatillisten äitiyden odotusten rikkomisesta, uudelleen tulkinnasta ja niiden muovaamisesta itselle sopiviksi. Mediapuheessa hyvää äitiyttä konstruoi äidin itsenäisyys ja oma aika, sosiaalisen elämän rikkaus, ammatillinen identiteetti ja persoonalliset valinnat. Aineistojen kautta rakentuu moninaisten ja ristiriitaisten, äitejä eri suuntaan vetävien kulttuuristen odotusten kirjo. Odotukset jäsentyvät neljälle ulottuvuudelle: 1) lapselle omistautuva – itseään toteuttava, 2) emotionaalinen side – rationaalinen tehtävä, 3) odotuksia toteuttava – omaehtoinen, 4) itsenäinen - äitiyttä jakava. Äitiyden toteuttaminen kulttuurisesti ”oikein” on näiden odotusten välissä tasapainoilua. Ulottuvuuksien kautta esille tulevat kaksoisviestit voivat heikentää äitien itsetuntoa, tuottaa riittämättömyyden tunteita tai yllyttää suorittamaan äitiyttä. Myös äitiyden ammatillinen tukeminen edellyttää tasapainoilua, jottei äitejä idealisoida tai syyllistetä kulttuurisia odotuksia vasten.

Developing the environmental marketing of an industrial company

The objective of this study was to examine how the customers of Larox Flowsys value environmental issues and how environmental issues affect their purchasing behaviour. A comparison between Larox peristaltic pumps and competing pump brands and types was also made in order to find out whether LPP pumps possess some more environmentally beneficial features that other pumps do not have. Finally, if the answers to the first two research questions show that a need for a new marketing message does exist, then the final stage is to select the most appropriate environmental arguments for Larox Flowsys. The empirical data in the study was collected from several different sources, but the main sources were the customer interviews and the outsourced market research. The data was analysed mainly by using content analysis, but theme formation and quantification were also utilized. The results showed that the customers do not consider environmental issues as a main purchasing criterion, but they may well be the criterion that differentiates the product from competing ones. The comparison proved that LPP pumps do possess some significant environmental benefits over competing pumps and therefore, the prerequisite for the use of environmental arguments exists. The final stage in the study was to select the proper environmental arguments for Larox Flowsys.

VAP-1 in Leukocyte Trafficking

The extravasation of leukocytes from the blood stream into the tissues is a prerequisite for adequate immune surveillance and immune reaction. The leukocyte movement from the bloodstream into the tissues is mediated by molecular bonds. The bonds are formed between adhesion molecules on endothelial cells and their counterparts expressed on leukocytes. Vascular adhesion protein-1 (VAP-1) is an endothelial adhesion molecule mediating leukocyte interactions with endothelium. It is also an enzyme having semicarbazide sensitive amine oxidase (SSAO) activity. The SSAOactivity catalyses deamination of primary amines into corresponding aldehyde and during the enzymatic reaction hydrogen peroxide and ammonia are produced. The aim of this study was to investigate the relationship between the adhesive and enzymatic activities of VAP-1. The role of VAP-1 in leukocyte traffic was studied in vivo under normal and pathological conditions in VAP-1 deficient mice. The results from in vitro flow-based assays indicated that VAP-1 uses both SSAOactivity and its adhesive epitope to bind leukocytes, and both are perquisites for VAP-1 mediated adhesion. Furthermore, in vivo results demonstrated that leukocyte trafficking was impaired in vivo by deleting VAP-1 or inhibiting SSAO-activity. There was impairment in lymphocyte recirculation as well as leukocyte accumulation into the inflamed area. Moreover, the VAP-1 deficient mice did not show generalized defects in antimicrobial responses, whereas significant reduction in tumor progression and neovascularization was observed. These results indicate that VAP-1 could be used as a target in anti-adhesive therapies either by blocking its adhesive epitope with antibodies or by inhibiting its SSAO-activity using inhibitors. Moreover, targeting of VAP-1 may provide a new way of inhibiting neovascularization in tumors.

Luottamuksen rooli ja rakentuminen organisaation sisäisten yksiköiden välisessä yhteistyössä

Tämä tutkielma tarkastelee luottamuksen roolia organisaation sisäisessä yhteistyössä. Tavoitteena on tutkia niitä mekanismeja, joiden avulla luottamuksen ilmenemistä sisäisessä yhteistyössä voidaan vahvistaa. Toiseksi työ tarkastelee sitä, onko luottamus yhteystyössä henkilöityvää vai ei-henkilöityvää. Koska luottamusta on pääsääntöisesti tutkittu yrityskontekstissa, työn kolmantena tavoitteena on tarkastella sitä, vaikuttavatko kuntaorganisaation erityispiirteet luottamuksen ilmenemiseen yksiköiden välisessä yhteistyössä. Tämän laadullisen tutkimuksen teoreettinen osuus toteutettiin kirjallisuuskatsauksena. Tutkimuksen empiirisenä aineistona käytettiin narratiiveja, jotka olivat kuntaorganisaation keskijohdolta kerättyjä tarinoita. Aineiston analysointiin käytettiin sisällönanalyysin menetelmiä. Tutkimuksen tuloksena voidaan todeta, että luottamus on perusedellytys toimivalle yhteistyösuhteelle ja se rakentuu hyvin pitkälle käyttäytymisen ja kommunikoinnin kautta. Luottamus yhteistyössä ilmenee hyvin usein ei-henkilöityvänä luottamuksena, jolloin se kohdistuu siihen yksikköön, minkä kanssa yhteystyötä tehdään. Kuntaorganisaation erityispiirteillä ei ole merkittävää roolia luottamuksen ilmenemisessä yhteistyössä, vaikka virkamiehen virkavastuu onkin tarinoista nähtävissä.

Quantificação de TBHQ (terc butil hidroquinona) e avaliação da estabilidade oxidativa em óleos de girassol comerciais

Sunflower oil is one of the vegetable oils most susceptible to oxidative reaction. Therefore the presence of natural (tocopherol) and/or synthetic (TBHQ) antioxidants is a prerequisite to secure the stability of this oil during its shelf life, especially with the increased use of PET packaging. On determining the total tocopherol content in 10 samples of deodorized sunflower oils, high losses in total tocopherol during deodorization were identified. In order to facilitate researche involving oxidative stability of vegetable oils, a method for isolated quantification of TBHQ using the isocratic elution system was developed.

Luottamus esimies-alaissuhteessa

Tutkimuksen tavoitteena on tutkia mikä on luottamuksen rooli ja vaikutus esimies-alaissuhteessa. Toiseksi työ tarkastelee sitä mitkä tekijät saavat luottamuksen horjumaan ja mihin horjuminen vaikuttaa, sekä vastaa kysymykseen mikä on luottamuksen dynamiikka konfliktitilanteissa. Kolmanneksi työ tarkastelee sitä miten menetettyä luottamusta voidaan korjata ja mitkä keinot ovat tehokkaimpia. Tämän laadullisen tutkimuksen teoreettinen osuus toteutettiin kirjallisuuskatsauksena. Tutkimuksen empiirisenä aineistona käytettiin narratiiveja, jotka olivat Lappeenrannan teknillisen ykiopiston Digi-opiskelijoilta koottuja luottamustarinoita. Toisena aineistona käytetiin opiskelijoiden fokus-ryhmäkeskusteluja. Tutkimuksen tuloksena voidaan todeta, että luottamus on perusedellytys toimivalle esimies-alaissuhteelle ja se rakentuu hyvin pitkälle vuorovaikutuksen kautta. Tärkeimmät luottamusta horjuttavat tekijät ovat huono tiedonkulku ja tiedottaminen, ja tärkeimmät keinot menetetyn luottamuksen korjaamiseen ovat keskustelu, kommunikaatio ja avoin vuorovaikutus.

Inovação & propriedade industrial & indústria química

ABSTRACT The main aim of this paper was to contribute to reflections in Brazil on the need to transfer knowledge held at universities and R&D institutions over to companies, i.e. to transfer scientific knowledge of chemistry to technology. It discusses how the competitiveness of countries is increasingly dependent on their technological capacity. The chemicals industry is a fundamental driver of social, environmental, economic and industrial indicators of sustainable development. In Brazil, the chemicals industry's deficit has grown over the last three decades. Patents are important sources of information because patent documents contain 75% of all technological information available. The National Institute of Industrial Property in Brazil has created a Technology Observatory with the purpose of identifying and analyzing technological information contained in patent documents within the ambit of partnerships with government entities or business associations, in order to support their technology-related decision-making processes. The paper gives examples of ethanol and biotechnology patent documents, including pharmaceuticals, of which there are very few in Brazil. However, a few of the patent applications identified are filed in Brazil, giving the country the opportunity to transform this scientific knowledge into technology by means of partnership agreements with companies. Finally, the paper presents information on the patent applications filed by the world's leading chemicals companies as measured by their revenues, and the respective numbers of patent applications in the last five years in organic chemistry and polymers, sectors in which Brazil is currently dependent on imports for over 50% of its needs. The patent assignees in these sectors in Brazil are also identified, and the paper concludes that Brazil needs to invest in the development of professionals, providing clearly-defined career paths in technology innovation teams at R&D institutions, and to foster more initiatives such as the creation of a new research and innovation entity, EMBRAPII, since investing in science and technology is a prerequisite for knowledge production, industrial property, economic development and, consequently, the competitiveness of the country.

Innovatiivisuus ja yhteistoiminnallinen oppiminen liike-elämässä ja opetuksessa

Innovativity and cooperative learning in business life and teaching The study comprises four articles and a summary, which analyse the concepts of innovation and innovativity and the cooperative learning connected to the innovation processes of companies. Th e study comments on what is innovativity. Another point of inspection is how the cooperative learning theory constructed on the basis of educational science lends it self to inspecting business innovations. At the end, we ponder upon how the concepts of innovativity can be used to inspect teachers’ activities. The studied business innovations were chosen on after considering expert statements. The key personnel in the innovation process were interviewed. The concept of innovation is inspected especially with the aid of concept analysis. The pedagogical innovativity study based on the view of education specialists in quantitative and the data was collected with a questionnaire created on the basis of previous research and literature. Different research methods were used in the studies, thus mixed methods were used for the whole of the doctoral thesis. The starting point for the whole, grounded theory, has to be understood here as a research strategy as well as a research method and data analysis method. The results show that innovativity is creativity that demands versatile learning and has positive eff ects on the process or event in practice. The results also show that in successful innovation businesses cooperative learning is something that has been found instead of searched. Cooperative learning can be seen as characteristic for innovation businesses. The five stage division of cooperative learning creates a useful method of analysing learning in innovation businesses. Innovativity connected to cooperative learning seems to make the creation of innovations possible. In addition to this, the results also show that a teacher’s innovativity is connected to reforms and an attitude that embraces them. Versatile learning in the individual and community is a prerequisite for innovativity. It is important that the teacher has a continuous will to renew teaching methods and combine work and teaching methods. The basic requirements are pedagogical vocational profi ciency and resourcefulness in everyday work.

The molecular mechanisms and evolutionary significance of plumage colour variation in pied flycatchers (Ficedula hypoleuca)

A common feature of natural populations is that individuals differ in morphology, physiologyand behavior (i.e .phenotype). A thorough understanding of the molecular mechanisms and evolutionary forces behind this phenotypic variation is a prerequisite for understanding evolution.This thesis examines the molecular mechanism and the roles of the different evolutionary forces in plumage colour variation in pied flycatchers (Ficedulahypoleuca). Malepied flycatchers exhibit marked variation in both pigmentary and structural plumage colourand the trait has repeatedly been suggested to be of adaptive significance. An examination of plumage colour variation on reproductive output trevealed that structural colouration, and more specifically the degree of ultraviolet (UV) reflectance had an effect on number of young sired. Paternity analyses of breeding males revealed that males that had been cuckolded by their social mate tended to be less UV reflectant than males that had not been cuckolded.Neither pigment-based norstructural colouration was found to affect the probability of siring young in other nests. Phenotypic differentiation was found to be markedly greater than differentiation at neutralgenetic markers across the pied flycatcher breeding range. Furthermore patterns of differentiationin phenotypes and selectively neutral genes were not uniform. Outlier tests searching for genomic footprints of selection revealed elevated levels of genetic divergence in a gene associated with feather development (and thus potentially structural colouration) and ultraviolet vision. Th eobserved differentiation in allelic frequencies was particularly pronounced in the Spanish piedflycatcher populations. Examining gene expression during feather development indicated that the TYRP1 gene (known to be involved in the production of black pigment) may be relevant in generating phenotypic variation in pied flycatcher plumage. Also, energy homeostasis related genesfeatured prominently among the genes found to be expressed in one extreme phenotype but not the other. This is of particular interest in light of what is known about the pleiotropy ofthe melanocortin system which underlies brown-black pigment production. The melanocortinsystem is also associated with energy homeostasis (among a number of other physiological functions) and thus the results could be pointing to the signalling function of brown-blackplumage. Plumage colour variation in pied flycatchers, both structural and pigmentary, can thus beconcluded to be exhibiting signals of non-neutral evolution. Structural colouration was found to play a role in sexual selection and putative signals of selection were further detected in acandidate gene for this trait. Evidence for non-neutral evolution of pigmentary colouration was also detected. These findings, together with the fact that preliminary evidence for an energy balance associated signalling function for plumage was found, present good starting points for further investigations into the meaning and mechanisms of plumage colour variation in piedflycatchers.

Interactions between Polyunsaturated Fatty Acids and Probiotics

The prevalence of inflammatory based diseases has increased in industrialized countries over the last decades. For allergic diseases, two primary hypotheses have been proposed to explain this phenomenon, namely the hygiene and dietary evolution based hypothesis. Particularly, the reduced early exposure to microbes and an increase in the amount of polyunsaturated fatty acids (especially n-6 PUFA) in the diet have been discussed. Often, these two factors have been studied independently, even though both factors have been shown to possess potential health benefits and their mode of action to share similar mechanisms. The hypothesis of the present study was that demonstrate that PUFA and probiotics are not separate entities as such but do interact with each other. In the present study, we investigated whether maternal diet and atopic status influence the PUFA composition of breast milk and serum fatty acids of infants, and whether the fatty acid absorption and utilization of infant formula fatty acids is affected by supplementation of infant formula with probiotic bacteria (Lactobacillus GG and Bifidobacterium lactis Bb-12). Moreover, we investigated the mechanisms by which different PUFA influence the physicochemical and functional properties of probiotics as well as functionality of epithelial cells in vitro. We demonstrated a carry-over effect of dietary fatty acids from maternal diet via breast milk into infants’ serum lipid fatty acids. Our data confirmed the previously shown allergy –related PUFA level imbalances, though it did not fully support the impaired desaturation and elongation capacity hypothesis. We also showed that PUFA incorporation into phospholipids of infants was influenced by probiotics in infant formula in a strain dependent manner. Especially,Bifidobacterium lactis Bb-12 in infant formula promoted the utilization of n-3 PUFA. Mechanistically, we demonstrated that probiotics (Lactobacillus GG, Lactobacillus casei Shirota and Lactobacillus bulgaricus) did incorporate and interconvert exogenous free PUFA in the growth medium into bacterial fatty acids strain and PUFA dependently. In general, high concentrations of free PUFA inhibited the growth and mucus adhesion of probiotics, whereas low concentrations of specific long chain PUFA were found to promote the growth and mucus adhesion of Lactobacillus casei Shirota. These effects were paralleled with only minor alterations in hydrophobicity and electron donor – electron acceptor properties of lactobacilli. Furthermore, free PUFA were also demonstrated to alter the adhesion capacity of the intestinal epithelial cells; n-6 PUFA tended to inhibit the Caco-2 adhesion of probiotics, whereas n-3 PUFA had either no or minor effects or even promote the bacterial adhesion (especially Lactobacillus casei Shirota) to PUFA treated Caco-2 cells. The results of this study demonstrate the close and bilateral interactions between dietary PUFA and probiotics. Probiotics were shown to influence the absorption and utilization of dietary PUFA, whereas PUFA were shown to alter the functional properties of both probiotics and mucosal epithelia. These findings suggest that a more thorough understanding of interactions between PUFA and intestinal microbiota is a prerequisite, when the beneficial effects of new functional foods containing probiotics are designed and planned for human intervention studies.

Modulaarinen kiinnitintekniikka alumiiniveneiden robottihitsauksessa

Tällä hetkellä hitsauksen automatisointiaste on hyvin pieni alumiinivenevalmistuksessa. Automatisointiasteen kasvattaminen on ensiarvoisen tärkeää kilpailukyvyn säilyttämiseksi, sekä edelleen nostamiseksi. Automatisointiasteen kasvattamisen esteenä ei ole teknologian puute, vaan suunnitellut tuotteet soveltuvat huonosti robotisoituun hitsaukseen. Lisäksi liitettävien osien tarkkuus on monissa tapauksissa puutteellinen, joten robottihitsaus on monessa tapauksessa mahdotonta. Robottihitsauksessa vaaditaan osien hyvää paikoittamista ja siihen tarvitaan kiinnittimiä. Kuitenkin alumiinivenevalmistuksessa valmistusmäärät ovat sen verran pieniä, että tuotekohtaisia kiinnittimiä ei kannata hankkia tai valmistaa. Siksi kiinnittimiltä vaaditaan joustavuutta ja modulaarisuutta, jotta samalla kiinnittimellä voi hitsata useita vastaavia piirteitä omaavia tuotteita. Tässä työssä tutkittiin modulaarisia kiinnittimiä, edistyneitä kiinnitinsuunnitteluprosesseja, osavalmistustarkkuuksia, tuotemoduloinnin hyödyntämistä ja alumiinin robottihitsauksen erityispiirteitä. Työssä suunniteltiin ja simuloitiin modulaarinen hitsauskiinnitin, jota käytetään tietyn alumiinivenemallin erillisenä osakokoonpanona valmistettavan jäykisterakennekonseptin hitsaamiseen. Suunnittelu ja simulointi tehtiin Delmia V5R20 -ohjelmistolla. Jäykisterakenne on modulaarinen tuoterakenne, jossa käytetään itsepaikoittavia liitoksia helpottamaan osien asettelua ja yksinkertaistamaan kiinnitintä. Kiinnitin soveltuu joustavasti erikokoisten jäykisterakenneosakokoonpanojen valmistukseen. Lisäksi suunniteltua kiinnitintä verrattiin kaupalliseen modulaariseen Demmeler -kiinnitinjärjestelmään. Jäykisterakenteen osakokoonpanon hitsaaminen robotilla lyhentää valmistusaikaa verrattuna nykytilaan, kun osat voidaan asettaa kiinnittimeen nopeasti ja luotettavasti. Samalla jäykisterakenteen tekeminen erillisenä osakokoonpanona lyhentää veneen rungon loppukokoonpanoaikaa ja mahdollistaa hitsausrobotin käytön myös veneen muiden hitsien hitsaamisessa. Modulaarisilla hitsauskiinnittimillä saavutetaan alumiiniveneiden nykyisillä valmistusmäärillä skaalaetuja, joita tuotekohtaisella kiinnittimellä ei voi saavuttaa.

The Use of Radiostereometric Analysis in Fractures of the Distal Radius: From Phantom Models to Clinical Application

Radiostereometric analysis (RSA) is a highly accurate method for the measurement of in vivo micromotion of orthopaedic implants. Validation of the RSA method is a prerequisite for performing clinical RSA studies. Only a limited number of studies have utilised the RSA method in the evaluation of migration and inducible micromotion during fracture healing. Volar plate fixation of distal radial fractures has increased in popularity. There is still very little prospective randomised evidence supporting the use of these implants over other treatments. The aim of this study was to investigate the precision, accuracy, and feasibility of using RSA in the evaluation of healing in distal radius fractures treated with a volar fixed-angle plate. A physical phantom model was used to validate the RSA method for simple distal radius fractures. A computer simulation model was then used to validate the RSA method for more complex interfragmentary motion in intra-articular fractures. A separate pre-clinical investigation was performed in order to evaluate the possibility of using novel resorbable markers for RSA. Based on the validation studies, a prospective RSA cohort study of fifteen patients with plated AO type-C distal radius fractures with a 1-year follow-up was performed. RSA was shown to be highly accurate and precise in the measurement of fracture micromotion using both physical and computer simulated models of distal radius fractures. Resorbable RSA markers demonstrated potential for use in RSA. The RSA method was found to have a high clinical precision. The fractures underwent significant translational and rotational migration during the first two weeks after surgery, but not thereafter. Maximal grip caused significant translational and rotational interfragmentary micromotion. This inducible micromotion was detectable up to eighteen weeks, even after the achievement of radiographic union. The application of RSA in the measurement of fracture fragment migration and inducible interfragmentary micromotion in AO type-C distal radius fractures is feasible but technically demanding. RSA may be a unique tool in defining the progress of fracture union.

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.

Generic and professional caring in a Chinese setting: an ethnopraphic study

The objective of the present study is to describe the cultural care practices, meanings, values and beliefs which form the basis of caring in a Chinese context. The research has its starting point in a caring science perspective and a qualitative research approach with interpretative ethnography as methodological guideline. The theoretical perspective is formed by elements of the theory of caritative caring, developed by Eriksson, and the theory of Culture Care Diversity and Universality, developed by Leininger. Previous research of suffering, culture and caring is described and also a presentation of actual transcultural nursing research as well as a presentation of the social structure dimensions of Chinese culture is included in the theoretical background. The empirical part includes patients and relatives, nurses and Hu Gongs as informants. The data collected are analysed based on Geertz’s idea of forming “thick descriptions” through examining the “what, how and why” of people’s actions. The findings show that the family has a prominent position in Chinese caring practices. The patient plays an unobtrusive role and a mutual dependence between the patient and the family members is evident. The professional nursing care is an extended act which includes the family in the caring relationship. The care practices of the Chinese nurse are characterized by great professional nursing skills. Suffering is described by the informants as being caused by disease, pain and social circumstances. “Social suffering” is described as worse than physical or mental suffering. Culturally competent and congruent care is a prerequisite for avoiding cultural pain, imposition and blindness when caring for the suffering human being. The findings of the present study necessitate a broadening in caring theory to include the family in the caring relationship. A further conclusion is that a broadening in our perception and understanding of culture would promote the delivery of culturally competent and congruent care. Suffering need to be seen as enclosed in cultural patterns of how it is expressed, interpreted, understood and relieved. Care and caring need to be seen as embedded in culture and the care practices values and beliefs have to be congruent with the cultural patterns where the care is provided.

Fibroblast Growth Factor 8 and its Receptors in The Growth and Angiogenesis of Experimental Breast Cancer . With Special Reference to Thrombospondin-1 as a Novel Target Gene for FGF-8

The growth of breast cancer is regulated by hormones and growth factors. Recently, aberrant fibroblast growth factor (FGF) signalling has been strongly implicated in promoting the progression of breast cancer and is thought to have a role in the development of endocrine resistant disease. FGFs mediate their auto- and paracrine signals through binding to FGF receptors 1-4 (FGFR1-4) and their isoforms. Specific targets of FGFs in breast cancer cells and the differential role of FGFRs, however, are poorly described. FGF-8 is expressed at elevated levels in breast cancer, and it has been shown to act as an angiogenic, growth promoting factor in experimental models of breast cancer. Furthermore, it plays an important role in mediating androgen effects in prostate cancer and in some breast cancer cell lines. We aimed to study testosterone (Te) and FGF-8 regulated genes in Shionogi 115 (S115) breast cancer cells, characterise FGF-8 activated intracellular signalling pathways and clarify the role of FGFR1, -2 and -3 in these cells. Thrombospondin-1 (TSP-1), an endogenous inhibitor of angiogenesis, was recognised as a Te and FGF-8 regulated gene. Te repression of TSP-1 was androgen receptor (AR)-dependent. It required de novo protein synthesis, but it was independent of FGF-8 expression. FGF-8, in turn, downregulated TSP-1 transcription by activating the ERK and PI3K pathways, and the effect could be reversed by specific kinase inhibitors. Differential FGFR1-3 action was studied by silencing each receptor by shRNA expression in S115 cells. FGFR1 expression was a prerequisite for the growth of S115 tumours, whereas FGFR2 expression alone was not able to promote tumour growth. High FGFR1 expression led to a growth advantage that was associated with strong ERK activation, increased angiogenesis and reduced apoptosis, and all of these effects could be reversed by an FGFR inhibitor. Taken together, the results of this thesis show that FGF-8 and FGFRs contribute strongly to the regulation of the growth and angiogenesis of experimental breast cancer and support the evidence for FGF-FGFR signalling as one of the major players in breast cancers.