Making home rules for mother tongues : the legal implications of linguistic diversity in the design of autonomy regimes

Principen om nationalismen där det politiska och det nationella är samspelt kan vara av markant betydelse för uppbyggande av autonomiska regimer. Likaså tillåter decentralicering och delegering av befogenheter för språk och utbildning (officiellt erkännande av språk, standardisering av språk, undervisningsspråk och relaterade läroplaner) formning av identiteter inom dessa autonomiska regimer. Resultatet är en ofullkomlig cirkulär relation där språk, samfund och politiska institutioner ömsesidigt och kontinuerligt formar varandra: lingvistiskt mångfald prägar och formger autonomiska ordningar och vice-versa. De juridiska implikationerna av territoriella och icke-territoriella former av autonomi är dock av en annan art. Emedan territoriell autonomi bygger på idéen om ett eventuellt inkluderande hemland för lingvistiska grupper, vars vistelseort är avgörande, förstärker den icke-territoriella autonomin idéen om ett exclusivt samfund bestående av själv-identifierade medlemmar som är kapabla till självstyre oavsett territoriella gränser. Denna avhandling utgör an analys av sådana juridiska implikationer genom komparativa och institutionella analyser. Avhandlingen föreslår som resultat en serie av normativa och pragmatiska rekommendationer inriktade på att främja demokratiseringsprocesser i linje med principer om multikulturalism.

Sphingosine-1-phosphate-evoked invasion of follicular thyroid cancer cells : evidence for the involvement of HIF-Iα, MMP2 and MMP9

Sphingolipids are widely expressed molecules, which traditionally were considered to have majorly structural properties. Nowadays, however, they are implicated in a wide range of different biological processes. The bioactive lipid sphingosine 1-phosphate (S1P) has emerged during the past decade as one of the most studied molecules due to its proliferative and pro-migratory abilities both during normal physiology and in the pathology of a subset of different diseases. Migration and invasion of cancer cells require changes in cell behavior and modulation of the tissue microenvironment. Tumor aggressiveness is markedly enhanced by hypoxia, in which hypoxia inducible transcription factors 1-2α (HIF-1-2α) are activated to promote metabolism, proliferation and migration. Invasion requires degradation of the extracellular matrix (ECM) achieved by several degrading and remodeling enzymes. Matrix metalloproteinases (MMPs) are broadly expressed and well accepted as proteolytic enzymes with essential roles both in normal physiology and in pathology. Previously, S1P was shown to strongly evoke migration of follicular ML-1 thyroid cancer cells. The objective of this study was to further investigate and understand the mechanisms behind this regulation. In the first project it was demonstrated that S1P enhances the expression and activity of HIF-1α. S1P enhanced the expression of HIF-1α by increasing its synthesis and stability. The S1P-increased HIF-1α was mediated via S1P3, Gi/0, PI3K, PKCβI, ERK1/2, mTOR and translation factors p70S6K and eIF4E. Finally, it was shown that HIF-1α mediated S1P-induced migration. The ECM is constituted of a complex and coordinated assembly of many types of proteins. In order to be able to invade, cells need to break down the ECM, therefore several key players in this event were investigated in the second project. S1P increased the secretion and activity of MMP2 and MMP9 via S1P-receptor 1 and 3 and that these MMPs participated in the S1P-facilitated invasion of ML-1 cells. In this interplay, calpains and Rac1 were involved, both of which are crucial players in migration and invasion. The prognosis for some types of thyroid cancer is relatively good. However, there are forms of thyroid cancers, for which there are no treatments or the current available treatments are inefficient. Thus, new medical interventions are urgently needed. In the third project the significance of the S1P-receptor modulating drug FTY720, which is currently used for the treatment of multiple sclerosis (MS), was studied. The effect of FTY720 was tested on several thyroid cancer cell lines, and it inhibited the proliferation and invasion of all cancer cell lines tested. In ML-1 cells, FTY720 attenuated invasion by blocking signaling intermediates important for migration and invasion of the cells. Moreover, FTY720 inhibited the proliferation of ML-1 cells by increasing the expression of p21 and p27, hence, inducing cell arrest in G1 phase of the cell cycle. Thus, it can be suggested that FTY720 could be used in the treatment of thyroid cancer.

Why to invest more in women's football for your brand and your business?

The aim of this master’s thesis is to study the role of sponsorship in the business value of companies and clubs. In order to achieve this goal, the French women’s football context is studied. The main research question is formulated as follows: What is the business value in sport sponsorship? The literature and theory part consists of three chapters that clearly follow the theoretical framework: from the sport sponsorship to the sponsor brand, from the sponsor brand to the brand equity, from the brand equity to the business value. The empirical part of the master’s thesis is based on qualitative research method. Face-to-face interviews were conducted with 4 participants who are Sponsorship Manager or General Manager of French women’s football clubs or sponsors and thus considered as specialists of the study context. The results of the study show that the planning process, the objectives, the sponsor brand, the brand equity components such as the customer behaviour, the economic, financial and immaterial values have positive impacts on the business value in sport sponsorship in the French women’s football context.

Standing before a sentence : Moore’s paradox and a perspective from within language

Med avstamp i ett satsbegrepp som inspirerats av Ludwig Wittgenstein, där sats och kontext betraktas som internt förbundna och där den verkliga användningen av en sats är central för dess mening, visar avhandlingen hur filosofers olika uppfattning om den filosofiska terminologins roll och möjligheter har följder för deras sätt att uppfatta och behandla filosofiska frågeställningar. Moores paradox fungerar som testfall. Denna kända filosofiska frågeställning har diskuterats sedan 1940-talet och kretsar kring hävdandet av satsen ”Jag tror att det regnar och det regnar inte”. Problemet är att det vore märkligt för en talare att hävda satsen om sig själv: det verkar finnas ett logiskt hinder för att hävda en sats även om den är välformad, kunde vara sann och inte på ett entydigt sätt innehåller en kontradiktion. Moores paradox behandlas genom att granska några lösningsförslag (framförda av bl.a. G.E. Moore, J. L. Austin, J. Searle) och de uppfattningar om språket som de förutsätter. Genom att kontrastera dessa med ett användarperspektiv där språkets användning i meningsfulla sammanhang förväntas spela en central roll i behandlingen av paradoxen visar författaren hur också den intellektuella kontext inom vilken en filosof betraktar paradoxen spelar en avgörande roll för vilka mått som krävs för att upplösa den. Istället för att föreslå en egen lösning presenteras en behandling av paradoxen genom en diskussion och utredning av de grundvillkor som leder till att den uppstår. Här intar satsbegreppet en central plats. Avhandlingen är författad inom traditionen efter den senare Wittgenstein (närmare bestämt den gren som ansluter sig till en s.k. terapeutisk filosofisyn) men går i dialog med filosofiskt arbete som ligger utanför traditionen. Författaren strävar både till att medla mellan, sammanföra och särskilja olika temata som behandlats på ett sätt inom traditionen och på andra sätt utanför den och använder sig här av metaforen att filosofera inifrån i kontrast till utanför språket. Avhandlingens huvudsakliga bidrag är till metafilosofin genom dess fokus på filosofins metod. ------------------------------------------------------------ Mooren paradoksi on tunnettu filosofinen ongelma, josta on keskusteltu 1940-luvulta alkaen. Paradoksin keskeisenä osana esiintyy väitelause ”Uskon, että ulkona sataa, mutta ulkona ei sada”. Ongelman lähtökohta on, että olisi merkillistä jos puhuja esittäisi lauseen itseään koskevana väitteenä: väite näyttää olevan loogisesti mahdoton esittää, vaikka se on hyvinmuodostettu, mahdollisesti tosi, eikä yksiselitteisellä tavalla sisällä kontradiktiota. Tässä väitöskirjassa Mooren paradoksi esiintyy esimerkkinä filosofisesta ongelmasta, jossa mm. lausekäsitteellä on keskeinen rooli ja jonka avulla voidaan muodostella ns. kielensisäinen filosofinen näkökulma. Mooren paradoksia käsitellään tarkastelemalla muutamia ratkaisuehdotuksia (mm. G.E. Mooren, J.L. Austinin, J. Searlen esittämät) ja niitä kielikäsityksiä joita nämä ratkaisuehdotukset edellyttävät. Asettamalla vastakkain ratkaisuehdotukset ja käyttäjänäkymä, jossa kielenkäyttö mielekkäissä konteksteissa asetetaan keskeiseen asemaan paradoksin käsittelyssä, kirjoittaja osoittaa miten myös paradoksin filosofisen tarkastelun intellektuaalinen konteksti on hyväksyttävien toimenpiteiden löytämisen kannalta ratkaisevaa. Uuden ratkaisun sijaan kirjoittaja ehdottaa paradoksin terapeuttista käsittelyä: keskustelua ja selontekoa niistä perusehdoista, jotka johtavat sen syntyyn. Tässä käsittelyssä lausekäsite on keskipisteenä – erityisesti Ludwig Wittgensteinin inspiroima lausekäsitys, jossa lauseen mielekkyyden kannalta sen todellinen käyttö mielekkäässä kontekstissa on ratkaiseva tekijä. Väitöskirja liittyy myöhäisiwittgensteinilaiseen perinteeseen, johon kuuluu ns. terapeuttinen filosofiankäsitys, mutta teos keskustelee myös tradition ulkopuolisten ajattelijoiden kanssa yrittäen yhdistää, sovitella ja myös eritellä teemoja, joita käsitellään yhdellä tavalla tradition sisällä ja toisella tavalla sen ulkopuolella. Väitöskirjan pääasiallinen panos sijoittuu metafilosofiaan, koska sen mielenkiinnon kohteena ovat erityisesti filosofian menetelmät.

Paper- and membrane-based ion-modulated electronics

Avhandlingen handlar om pappers- och membranbaserad jonmodulerad elektronik. Målet med forskningen har varit att utveckla billig, miljövänlig och brännbar elektronik, som kan användas i vardagliga engångsprodukter. Baskomponenterna som utvecklas och presenteras i avhandlingen är transistorer och kondensatorer. Mer komplicerad logisk kretselektronik demonstreras också med hjälp av dessa komponenter. Substraten som utnyttjas vid framställningen av dessa elektroniska komponenter är papper och membran. Dessa substrat är flexibla, hållbara, billiga, miljövänliga, etc. och därför väl anpassade för befintliga tryckteknologier. Själva baskomponenterna framställs sedan på dessa substrat genom att trycka flera skikt på varandra, där varje enskilt skikt är ett individuellt material. Detta är möjligt eftersom de organiska materialen som används i dessa komponenter är upplösta i ett lösningsmedel och kan därmed tryckas på samma sätt som ett vanligt bläck. Ett tredimensionellt objekt kan på detta sätt framställas. I avhandlingen presenteras flera olika typer av transistorer, men den gemensamma nämnaren bland dessa är att isolatorn är en jonledare. Denna, ganska ovanliga, transistormodellen har den stora fördelen att lågspänningskomponenter kan relativt enkelt framställas. Det som är speciellt med våra transistorer är att vi har använt miljövänliga jonledare. Detta, bl.a., leder till att våra komponenter visar både god prestanda, tillika som de är miljövänliga. I avhandlingen demonstrerar vi även tryckta superkondensatorer, en motsvarighet till laddningsbara batterier, konstruerade på papper med aktiverat kol och miljövänliga jonledare. De mest komplicerade logiska kretsar som demonstreras i denna avhandling är ring-oscillatorer och 1-bits-minnen konstruerade på papper. --------------------------------------------- Väitöskirja käsittelee paperille ja polymeerikalvolle tulostettua ionimoduloitua elektroniikkaa. Tutkimuksen tavoitteena oli kehittää edullista, ympäristöystävällistä ja polttokelpoista elektroniikkaa, jota voidaan käyttää esim. tavanomaisissa kertakäyttötuotteissa. Väitöskirjassa esitellään erilaisia transistoreita ja kondensaattoreita. Näitä elektronisia peruskomponentteja käyttäen demonstroidaan myös monimutkaisempia loogisia piirejä. Komponenttien valmistuksessa alustana käytettiin paperia ja polymeerikalvoa. Valitut alustat ovat joustavia ja kestäviä, ja ovat siksi hyvin yhteensopivia olemassa olevien tulostusmenetelmien kanssa. Peruskomponentit valmistettiin tulostamalla eri materiaaleja päällekkäin. Komponenteissa käytettävät orgaaniset aineet ovat liuenneessa muodossa musteessa, joka voidaan tulostaa samalla periaatteella kuin mikä tahansa normaali muste. Tällä menetelmällä voidaan valmistaa myös kolmiulotteisia tuotteita. Väitöskirjassa esitellään useita erityyppisiä transistoreita, joissa yhdistävänä tekijänä on ionisesti johtava eriste. Tällaista suhteellisen harvinaista transistorityyppiä käyttämällä voidaan mahdollistaa matala-jännitteisten komponenttien yksinkertainen valmistus. Valmistettujen transistoreiden etu on ionisten nesteiden ympäristöystävällisyys. Elektroniset komponentit ovat täten hyviä suorituskyvyltään, mutteivät haitallisia ympäristölle. Väitöskirjassa demonstroidaan myös tulostettujen superkondensaattoreiden, eli ladattavien paristojen vastineiden, valmistus paperille aktiivihiiltä ja ionisia nesteitä käyttäen. Kaikkein monimutkaisimmat loogiset piirit, jotka tässä väitöskirjassa esitellään, ovat rengasoskillaattorit sekä 1-bittinen paperille valmistettu muisti.

Jöns Budde och hans skrifter – yngre fornsvenskt textmaterial och mannen bakom det

Tutkielman aiheena on kieli ja tyyli Jöns Budden latinasta muinaisruotsiksi kääntämissä teksteissä. Tarkoituksena on tutkia, millaisia tekstejä Budde käänsi ja missä tarkoituksessa. Lisäksi tutkin kielikontakteja latinaan ja saksaan sekä Buddea henkilönä hänen tuotantonsa valossa. Arvioin myös aiempien Buddeen liittyvien hypoteesien paikkansapitävyyttä. Materiaali käsittää kaikki tekstit, joiden yleisesti oletetaan olevan Budden kääntämiä. Osa on anonyymejä, mutta niiden yhteys Buddeen on erittäin todennäköinen. Aineisto käsittää noin 1350 sivua painetuissa editioissa. Tutkimus on materiaalilähtöistä: tarkan tekstinluvun ja teksti-interpretaation kautta olen kiinnittänyt huomioni erilaisiin etupäässä tyylillisiin seikkoihin, joita kommentoin ottaen huomioon kulttuurihistoriallisen kontekstin. Tutkimus kohdistuu kielenkäyttöön tietyssä konkreettisessa materiaalissa eli tarkastelun kohteina ovat parole ja synkronia ensisijaisemmin kuin diakronia ja langue eli kieli systeeminä ja resurssina. Metodina on siten filologinen teksti-interpretaatio, ja tutkimus on kommentaari Budden teksteihin. Keskeinen tulos on, että Budde on tietoinen stilisti, joka käyttää kieliopin ja stilistiikan keinoja sisällöllisten asioiden painottamiseen ja dramatisointiin. Budden tyyli-ihanteilla on suureksi osaksi esikuvia latinassa, mutta Budde ei noudata niitä orjallisen sokeasti, vaan on itsenäinen alkuteksteihin nähden. Toinen merkittävä tulos liittyy Budden kääntämien Raamatun kirjojen tarkoitukseen. Käsitykseni mukaan niitä ei ole tarkoitettu luettaviksi sellaisenaan, vaan apuvälineiksi luettaessa varsinaista pyhää kirjaa eli Vulgataa latinaksi. Tekstien tekijyyteen liittyvät aiemmat hypoteesit saavat tukea tutkimuksestani, kun taas Budden aristokraattisiin yhteyksiin ja hänen mahdollisiin opintoihinsa Saksassa liittyvät hypoteesit osoittautuvat liian rohkeiksi ottaen huomioon säilyneiden lähteiden niukkuuden.

Formal development of resilient distributed systems

Resilience is the property of a system to remain trustworthy despite changes. Changes of a different nature, whether due to failures of system components or varying operational conditions, significantly increase the complexity of system development. Therefore, advanced development technologies are required to build robust and flexible system architectures capable of adapting to such changes. Moreover, powerful quantitative techniques are needed to assess the impact of these changes on various system characteristics. Architectural flexibility is achieved by embedding into the system design the mechanisms for identifying changes and reacting on them. Hence a resilient system should have both advanced monitoring and error detection capabilities to recognise changes as well as sophisticated reconfiguration mechanisms to adapt to them. The aim of such reconfiguration is to ensure that the system stays operational, i.e., remains capable of achieving its goals. Design, verification and assessment of the system reconfiguration mechanisms is a challenging and error prone engineering task. In this thesis, we propose and validate a formal framework for development and assessment of resilient systems. Such a framework provides us with the means to specify and verify complex component interactions, model their cooperative behaviour in achieving system goals, and analyse the chosen reconfiguration strategies. Due to the variety of properties to be analysed, such a framework should have an integrated nature. To ensure the system functional correctness, it should rely on formal modelling and verification, while, to assess the impact of changes on such properties as performance and reliability, it should be combined with quantitative analysis. To ensure scalability of the proposed framework, we choose Event-B as the basis for reasoning about functional correctness. Event-B is a statebased formal approach that promotes the correct-by-construction development paradigm and formal verification by theorem proving. Event-B has a mature industrial-strength tool support { the Rodin platform. Proof-based verification as well as the reliance on abstraction and decomposition adopted in Event-B provides the designers with a powerful support for the development of complex systems. Moreover, the top-down system development by refinement allows the developers to explicitly express and verify critical system-level properties. Besides ensuring functional correctness, to achieve resilience we also need to analyse a number of non-functional characteristics, such as reliability and performance. Therefore, in this thesis we also demonstrate how formal development in Event-B can be combined with quantitative analysis. Namely, we experiment with integration of such techniques as probabilistic model checking in PRISM and discrete-event simulation in SimPy with formal development in Event-B. Such an integration allows us to assess how changes and di erent recon guration strategies a ect the overall system resilience. The approach proposed in this thesis is validated by a number of case studies from such areas as robotics, space, healthcare and cloud domain.

Bio and chemocatalysis for stereo and regioselective one-pot reaction applications

The development of cost efficient, selective and sustainable chemical processes for production of chiral building blocks is of great importance in synthetic and industrial organic chemistry. One way to reach these objectives is to carry out several reactions steps in one vessel at one time. Furthermore, when this kind of one-pot multi step reactions are catalyzed by heterogeneous chemo- and bio-catalysts, which can be separated from the reaction products by filtration, practical access to chiral small molecules for further utilization can be obtained. The initial reactions studied in this thesis are the two step dynamic kinetic resolution of rac-2-hydroxy-1-indanone and the regioselective hydrogenation of 1,2-indanedione. These reactions are then combined in a new heterogeneously catalyzed one-pot reaction sequence enabling simple recovery of the catalysts by filtration, facilitating simple reaction product isolation. Conclusively, the readily available 1,2-indanedione is by the presented one-pot sequence, utilizing heterogeneous enzyme and transition metal based catalysts, transferred with high regio- and stereoselectivity to a useful chiral vicinal hydroxyl ketone structure. Additional and complementary investigation of homogeneous half-sandwich ruthenium complexes for catalyzing the epimerization of chiral secondary alcohols of five natural products containing additional non-functionalized stereocenters was conducted. In principle, this kind of epimerization reactions of single stereocenters could be utilized for converting inexpensive starting materials, containing other stereogenic centers, into diastereomeric mixtures from which more valuable compounds can be isolated by traditional isolation techniques.

Networking Notch : regulation of Notch traffic and signaling crosstalk

Utvecklingen av flercelliga organismer är en mångfacetterad process som kräver kommunikation celler emellan. Under utvecklingen av en organism måste cellerna göra vissa val, vilket bestämmer riktningen för deras fortsatta utveckling. Utgående från dessa val erhåller cellerna egenskaper som är karaktäristiska för olika celltyper. Notch-signalräckan är en viktig reglerare av valet mellan olika cellöden. Notch-signalräckan aktiveras när Notch-receptorer som uttrycks på ytan av en cell binder till Notch-ligander som uttrycks på ytan av en annan närliggande cell. Denna avhandling belyser mekanismerna som reglerar omsättningen av såväl Notch-receptorer som -ligander till och från cellmembranen, samt ökar förståelsen för hur dessa mekanismer påverkar Notch-medierade cellöden i stamceller. Internalisering av Notch receptorer anses nödvändigt för fullständig aktivering av Notch-signalvägen. De bakomliggande molekylära mekanismerna är dock fortfarande oklara. Vi har upptäckt att atypiskt protein kinas Cζ (aPKCζ) reglerar internaliseringen av Notch-receptorer. aPKCζ fosforylerar Notch, vilket leder till receptorns internalisering, men effekten är beroende av receptorns signaleringsstatus. Vi visar att aPKCζ reglerar Notch-signaleringen och styr både neuroners och muskelcellers differentiering. Ytterligare har vi analyserat samspelet mellan cellskelettet och Notch-signalvägen. Våra resultat visar att intermediärfilamenten, en del av cellskelettet, är viktiga reglerare av Notch-signaleringen både under neuronal och vaskulär utveckling. Intermediärfilamenten vimentin och GFAP reglerar uttrycket av Notch-ligander vid cellmembranen i hjärnans stödceller, astrocyterna, och påverkar därmed neuronala stamcellers cellödesbeslut. Vimentin är även viktigt reglerare av Notch-signalräckan vid angiogenesen. Celler som saknar vimentin uppvisar avvikande Notch-signalering emedan möss som saknar vimentin påvisar en fördröjd utveckling av vaskulaturen under embryonalstadiet. ------------------------------------------------- Monisoluisten organismien kehittyminen on monimutkainen prosessi, joka vaatii viestintää solujen välillä. Kehittymisen aikana solut joutuvat tiettyjen valintojen eteen, mitkä tulevat määrittämään niiden erilaistumisen suunnan. Solut omaksuvat solutyypille ominaisia ominaisuuksia näihin valintoihin perustuen Notch-signalointireitti säätelee solujen erilaistumista eri suuntiin. Notch-signalointireitti aktivoituu, kun Notch-reseptori yhden solun pinnalla sitoo Notch-ligandin toisen, viereisen solun solukalvolla. Tutkimukseni lisää tuntemusta Notch-reseptoreiden ja ligandien solun sisäisestä liikennöinnistä ja sitä säätelevistä mekanismeista, sekä tämän säätelyn vaikutuksista kantasulojen erilaistumiseen. Notch-signalointireitin aktivoituminen vaatii reseptoreiden ja ligandien sisäistämisen solukalvolta, mutta taustalla olevat ja sisäistymistä säätelevät mekanismit ovat vielä epäselviä. Tutkimukseni osoittaa, että atyyppinen proteiinikinaasi Cζ (aPKCζ) säätelee Notch-reseptoreiden endosytoosia. Endosytoosin lopputulos riippuu siitä onko reseptori aktivoitunut ligandin välityksellä vai ei. Tuloksemme osoittavat aPKCζ säätelevän Notch-signalointia ja kontrolloivan sekä hermosolujen, että lihassolujen erilaistumista. Analysoimme myös Notch-signaloinnin ja solun tukirangan vuorovaikutuksia. Välikokoiset filamentit, jotka ovat osa tukirankaa, säätelevät Notch-signalointia neuronaalisen erilaistumisen sekä verisuonten uudismuodostumisen aikana. Vimentiini ja GFAP ovat välikokoisia säikeitä, jotka säätelevät Notch-ligandien ekspressiota astrosyyttien, eli aivojen hermotukisolujen solukalvolla. Vimentiini säätelee myös Notch-signalointireittiä angiogeneesin aikana. Vimentiiniä vailla olevilla soluilla ilmenee heikentynyttä Notch-signalointia, joka voidaan liittää hiirillä ilmenevään vimenttiinin puutteesta johtuvaan viivästyneeseen verisuonien kehitykseen.

The role of metal ions in selective and sustainable processes

Sustainability and recycling are core values in today’s industrial operations. New materials, products and processes need to be designed in such a way as to consume fewer of the diminishing resources we have available and to put as little strain on the environment as possible. An integral part of this is cleaning and recycling. New processes are to be designed to improve the efficiency in this aspect. Wastewater, including municipal wastewaters, is treated in several steps including chemical and mechanical cleaning of waters. Well-cleaned water can be recycled and reused. Clean water for everyone is one of the greatest challenges we are facing today. Ferric sulphate, made by oxidation from ferrous sulphate, is used in water purification. The oxidation of ferrous sulphate, FeSO4, to ferric sulphate in acidic aqueous solutions of H2SO4 over finely dispersed active carbon particles was studied in a vigorously stirred batch reactor. Molecular oxygen was used as the oxidation agent and several catalysts were screened: active carbon, active carbon impregnated with Pt, Rh, Pd and Ru. Both active carbon and noble metal-active carbon catalysts enhanced the oxidation rate considerably. The order of the noble metals according to the effect was: Pt >> Rh > Pd, Ru. By the use of catalysts, the production capacities of existing oxidation units can be considerably increased. Good coagulants have a high charge on a long polymer chain effectively capturing dirty particles of the opposite charge. Analysis of the reaction product indicated that it is possible to obtain polymeric iron-based products with good coagulation properties. Systematic kinetic experiments were carried out at the temperature and pressure ranges of 60B100°C and 4B10 bar, respectively. The results revealed that both non-catalytic and catalytic oxidation of Fe2+ to Fe3+ take place simultaneously. The experimental data were fitted to rate equations, which were based on a plausible reaction mechanism: adsorption of dissolved oxygen on active carbon, electron transfer from Fe2+ ions to adsorbed oxygen and formation of surface hydroxyls. A comparison of the Fe2+ concentrations predicted by the kinetic model with the experimentally observed concentrations indicated that the mechanistic rate equations were able to describe the intrinsic oxidation kinetics of Fe2+ over active carbon and active carbon-noble metal catalysts. Engineering aspects were closely considered and effort was directed to utilizing existing equipment in the production of the new coagulant. Ferrous sulphate can be catalytically oxidized to produce a novel long-chained polymeric iron-based flocculent in an easy and affordable way in existing facilities. The results can be used for modelling the reactors and for scale-up. Ferric iron (Fe3+) was successfully applied for the dissolution of sphalerite. Sphalerite contains indium, gallium and germanium, among others, and the application can promote their recovery. The understanding of the reduction process of ferric to ferrous iron can be used to develop further the understanding of the dissolution mechanisms and oxidation of ferrous sulphate. Indium, gallium and germanium face an ever-increasing demand in the electronics industry, among others. The supply is, however, very limited. The fact that most part of the material is obtained through secondary production means that real production quota depends on the primary material production. This also sets the pricing. The primary production material is in most cases zinc and aluminium. Recycling of scrap material and the utilization of industrial waste, containing indium, gallium and geranium, is a necessity without real options. As a part of this study plausible methods for the recovery of indium, gallium and germanium have been studied. The results were encouraging and provided information about the precipitation of these valuables from highly acidic solutions. Indium and gallium were separated from acidic sulphuric acid solutions by precipitation with basic sulphates such as alunite or they were precipitated as basic sulphates of their own as galliunite and indiunite. Germanium may precipitate as a basic sulphate of a mixed composition. The precipitation is rapid and the selectivity is good. When the solutions contain both indium and gallium then the results show that gallium should be separated before indium to achieve a better selectivity. Germanium was separated from highly acidic sulphuric acid solutions containing other metals as well by precipitating with tannic acid. This is a highly selective method. According to the study other commonly found metals in the solution do not affect germanium precipitation. The reduction of ferric iron to ferrous, the precipitation of indium, gallium and germanium, and the dissolution of the raw materials are strongly depending on temperature and pH. The temperature and pH effect were studied and which contributed to the understanding and design of the different process steps. Increased temperature and reduced pH improve the reduction rate. Finally, the gained understanding in the studied areas can be employed to develop better industrial processes not only on a large scale but also increasingly on a smaller scale. The small amounts of indium, gallium and germanium may favour smaller and more locally bound recovery.

Functionalisation of spruce O-acetyl-galactoglucomannans for barrier and composite applications

The increasing use of energy, food, and materials by the growing population in the world is leading to the situation where alternative solutions from renewable carbon resources are sought after. The growing use of plastics depends on the raw-oil production while oil refining are politically governed and required for the polymer manufacturing is not sustainable in terms of carbon footprint. The amount of packaging is also increasing. Packaging is not only utilising cardboard and paper, but also plastics. The synthetic petroleum-derived plastics and inner-coatings in food packaging can be substituted with polymeric material from the renewable resources. The trees in Finnish forests constitute a huge resource, which ought to be utilised more effectively than it is today. One underutilised component of the forests is the wood-derived hemicelluloses, although Spruce Oacetyl-galactoglucomannans (GGMs) have previously shown high potential for material applications and can be recovered in large scale. Hemicelluloses are hydrophilic in their native state, which restrains the use of them for food packaging as non-dry item. To cope with this challenge, we intended to make GGMs more hydrophobic or amphiphilic by chemical grafting and consequently with the focus of using them for barrier applications. Methods of esterification with anhydrides and cationic etherification with a trimethyl ammonium moiety were established. A method of controlled synthesis to obtain the desired properties by the means of altering temperature, reaction time, the quantity of the reagent, and even the solvent for purification of the products was developed. Numerous analytical tools, such as NMR, FTIR, SEC-MALLS/RI, MALDI-TOF-MS, RP-HPLC and polyelectrolyte titration were used to evaluate the products from different perspectives and to acquire parallel proofs of their chemical structure. Modified GGMs with different degree of substitution and the correlating level of hydrophobicity was applied as coatings on cartonboard and on nanofibrillated cellulose-GGM films to exhibit barrier functionality. The water dispersibility in processing was maintained with GGM esters with low DS. The use of chemically functionalised GGM was evaluated for the use as barriers against water, oxygen and grease for the food packaging purposes. The results show undoubtedly that GGM derivatives exhibit high potential to function as a barrier material in food packaging.

Effects of algal turbidity on foraging and antipredator behaviour of the three-spined stickleback (Gasterosteus aculeatus)

The aim of this thesis was to examine how aquatic organisms, such as fish, behave in an altered environmental condition. Many species of fish use vision as their primary tool to gain information about their surrounding environment. The visual conditions of aquatic habitats are often altered as a result of anthropogenic disturbance, such as eutrophication that initiates algal turbidity. In general, turbidity reduces the visibility and can be hypothesized to have an influence on the behaviour of fish. I used the three-spined stickleback (Gasterosteus aculeatus) as a model species and conducted four studies in the laboratory to test how algal turbidity affects its behaviour. In this thesis, two major behavioural aspects are discussed. The first is antipredator behaviour. In study I, the combined effects of turbidity and shoot density on habitat choice (shelter vs open) behaviour was tested on a group of sticklebacks (20 fish) in the presence and absence of piscivorous perch (Perca fluviatilis). In study II, I examined the behavioural responses of feeding sticklebacks when they were exposed to the sudden appearance of an avian predator (the silhouette of a common tern, Sterna hirundo). The study was done in turbid and clear water using three different groups sizes (1, 3 and 6 fish). The second aspect is foraging behaviour. Study III & IV focused on the effects of algal turbidity on the foraging performance of sticklebacks. In study III, I conducted two separate experiments to examine the effects of turbidity on prey consumption and prey choice of sticklebacks. In this experiment turbidity levels and the proportion of large and small prey (Daphnia spp.) were manipulated. In study IV, I studied whether a group of six sticklebacks can distribute themselves according to food input at two feeding stations in a way that provided each fish with the same amount of food in clear and turbid water. I also observed whether the fish can follow changes in resource distribution between the foraging patches. My results indicate an overall influence of algal turbidity on the antipredator and foraging behaviour of sticklebacks. In the presence of a potential predator, the use of the sheltered habitat was more pronounced at higher turbidity. Besides this, sticklebacks reduced their activity levels with predator presence at higher turbidity and shoot density levels, suggesting a possible antipredator adaptation to avoid a predator. When exposed to a sudden appearance of an avian predator, sticklebacks showed a weaker antipredator response in turbid water, which suggests that turbidity degrades the risk assessment capabilities of sticklebacks. I found an effect of group size but not turbidity in the proportion of sticklebacks that fled to the shelter area, which indicates that sticklebacks are able to communicate among group members at the experimental turbidity levels. I found an overall negative effect of turbidity on food intake. Both turbidity and changes in the proportion of prey sizes played a significant role in a stickleback’s prey selection. At lower turbidity levels (clear <1 and 5 NTU) sticklebacks showed preferences for large prey, whereas in more turbid conditions and when the proportion of large to small prey increased sticklebacks became increasingly random in their prey selection. Finally, my results showed that groups of sticklebacks disperse themselves between feeding stations according to the reward ratios following the predictions of the ideal free distribution theory. However, they took a significantly longer time to reach the equilibrium distribution in turbid water than in clear water. In addition, they showed a slower response to changes in resource distribution in a turbid environment. These findings suggest that turbidity interferes with the information transfer among group foragers. It is important to understand that aquatic animals are often exposed to a degraded environment. The findings of this thesis suggest that algal turbidity negatively affects their behavioural performance. The results also shed light on the underlying behavioural strategies of sticklebacks in turbid conditions that might help them adapt to an altered environmental situation and increase their survival. In conclusion, I hold that although algal turbidity has detrimental effects on the antipredator and foraging behaviour of sticklebacks, their behavioural adjustment might help them adapt to a changing environment.

Computational models for and from biology : simple gene assembly and reaction systems

The advancement of science and technology makes it clear that no single perspective is any longer sufficient to describe the true nature of any phenomenon. That is why the interdisciplinary research is gaining more attention overtime. An excellent example of this type of research is natural computing which stands on the borderline between biology and computer science. The contribution of research done in natural computing is twofold: on one hand, it sheds light into how nature works and how it processes information and, on the other hand, it provides some guidelines on how to design bio-inspired technologies. The first direction in this thesis focuses on a nature-inspired process called gene assembly in ciliates. The second one studies reaction systems, as a modeling framework with its rationale built upon the biochemical interactions happening within a cell. The process of gene assembly in ciliates has attracted a lot of attention as a research topic in the past 15 years. Two main modelling frameworks have been initially proposed in the end of 1990s to capture ciliates’ gene assembly process, namely the intermolecular model and the intramolecular model. They were followed by other model proposals such as templatebased assembly and DNA rearrangement pathways recombination models. In this thesis we are interested in a variation of the intramolecular model called simple gene assembly model, which focuses on the simplest possible folds in the assembly process. We propose a new framework called directed overlap-inclusion (DOI) graphs to overcome the limitations that previously introduced models faced in capturing all the combinatorial details of the simple gene assembly process. We investigate a number of combinatorial properties of these graphs, including a necessary property in terms of forbidden induced subgraphs. We also introduce DOI graph-based rewriting rules that capture all the operations of the simple gene assembly model and prove that they are equivalent to the string-based formalization of the model. Reaction systems (RS) is another nature-inspired modeling framework that is studied in this thesis. Reaction systems’ rationale is based upon two main regulation mechanisms, facilitation and inhibition, which control the interactions between biochemical reactions. Reaction systems is a complementary modeling framework to traditional quantitative frameworks, focusing on explicit cause-effect relationships between reactions. The explicit formulation of facilitation and inhibition mechanisms behind reactions, as well as the focus on interactions between reactions (rather than dynamics of concentrations) makes their applicability potentially wide and useful beyond biological case studies. In this thesis, we construct a reaction system model corresponding to the heat shock response mechanism based on a novel concept of dominance graph that captures the competition on resources in the ODE model. We also introduce for RS various concepts inspired by biology, e.g., mass conservation, steady state, periodicity, etc., to do model checking of the reaction systems based models. We prove that the complexity of the decision problems related to these properties varies from P to NP- and coNP-complete to PSPACE-complete. We further focus on the mass conservation relation in an RS and introduce the conservation dependency graph to capture the relation between the species and also propose an algorithm to list the conserved sets of a given reaction system.

Formal modelling for digital media distribution

Human beings have always strived to preserve their memories and spread their ideas. In the beginning this was always done through human interpretations, such as telling stories and creating sculptures. Later, technological progress made it possible to create a recording of a phenomenon; first as an analogue recording onto a physical object, and later digitally, as a sequence of bits to be interpreted by a computer. By the end of the 20th century technological advances had made it feasible to distribute media content over a computer network instead of on physical objects, thus enabling the concept of digital media distribution. Many digital media distribution systems already exist, and their continued, and in many cases increasing, usage is an indicator for the high interest in their future enhancements and enriching. By looking at these digital media distribution systems, we have identified three main areas of possible improvement: network structure and coordination, transport of content over the network, and the encoding used for the content. In this thesis, our aim is to show that improvements in performance, efficiency and availability can be done in conjunction with improvements in software quality and reliability through the use of formal methods: mathematical approaches to reasoning about software so that we can prove its correctness, together with the desirable properties. We envision a complete media distribution system based on a distributed architecture, such as peer-to-peer networking, in which different parts of the system have been formally modelled and verified. Starting with the network itself, we show how it can be formally constructed and modularised in the Event-B formalism, such that we can separate the modelling of one node from the modelling of the network itself. We also show how the piece selection algorithm in the BitTorrent peer-to-peer transfer protocol can be adapted for on-demand media streaming, and how this can be modelled in Event-B. Furthermore, we show how modelling one peer in Event-B can give results similar to simulating an entire network of peers. Going further, we introduce a formal specification language for content transfer algorithms, and show that having such a language can make these algorithms easier to understand. We also show how generating Event-B code from this language can result in less complexity compared to creating the models from written specifications. We also consider the decoding part of a media distribution system by showing how video decoding can be done in parallel. This is based on formally defined dependencies between frames and blocks in a video sequence; we have shown that also this step can be performed in a way that is mathematically proven correct. Our modelling and proving in this thesis is, in its majority, tool-based. This provides a demonstration of the advance of formal methods as well as their increased reliability, and thus, advocates for their more wide-spread usage in the future.