Innovation in a Non-Formal Adult Education Organisation – Multi-Case Study in Four Adult Education Centres

More than ever, education organisations are experiencing the need to develop new services and processes to satisfy expanding and changing customer needs and to adapt to the environmental changes and continually tightening economic situation. Innovation has been found in many studies to have a crucial role in the success of an organisation, both in the private and public sectors, in formal education and in manufacturing and services alike. However, studies concerning innovation in non-formal adult education organisations, such as adult education centres (AECs) in Finland, are still lacking. This study investigates innovation in the non-formal adult education organisation context from the perspective of organisational culture types and social networks. The objective is to determine the significant characteristics of an innovative non-formal adult education organisation. The analysis is based on data from interviews with the principals and fulltime staff of four case AECs. Before the case study, a pre-study phase is accomplished in order to obtain a preliminary understanding of innovation at AECs. The research found strong support for the need of innovation in AECs. Innovation is basically needed to accomplish the AEC system’s primary mission mentioned in the ACT on Liberal Adult Education. In addition, innovation is regarded vital to institutes and may prevent their decline. It helps the institutes to be more attractive, to enter new market, to increase customer satisfaction and to be on the cutting edge. Innovation is also seen as a solution to the shortage of resources. Innovative AECs search actively for additional resources for development work through project funding and subsidies, cooperation networks and creating a conversational and joyful atmosphere in the institute. The findings also suggest that the culture type that supports innovation at AECs is multidimensional, with an emphasis on the clan and adhocratic culture types and such values as: dynamism, future orientation, acquiring new resources, mistake tolerance, openness, flexibility, customer orientation, a risk-taking attitude, and community spirit. Active and creative internal and external cooperation also promote innovation at AECs. This study also suggests that the behaviour of a principal is crucial. The way he or she shows appreciation the staff, encouragement and support to the staff and his or her approachability and concrete participation in innovation activities have a strong effect on innovation attitudes and activities in AECs.

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.

Non-surgical transfer of 4',6'-diamidino-2-phenylindole-stained equine embryos

Selostus: Hevosen alkioiden värjääminen DAPI:lla ennen vastaanottajaan siirtoa

Non-Markovian Dynamics of the Spin-Boson Model

Avointen kvanttisysteemien teoria tutkii, miten vuorovaikutus laajan ympäristön kanssa muuttaa kvanttisysteemin dynamiikkaa. Kaikki kvanttisysteemit ovat pohjimmiltaan avoimia, joten tällaisten systeemien ymmärtäminen on välttämätöntä kvanttimaailman ymmärtämiseksi. Spin-bosoni -malli kuvaa avointa kaksitasosysteemiä, joka vuorovaikuttaa bosoneista koostuvan ympäristön kanssa. Useat fysikaaliset systeemit käyttäytyvät kaksitasosysteemin tavoin matalissa lämpötiloissa, jonka vuoksi spin-bosoni -mallilla on merkittävä rooli avointen kvanttisysteemien tutkimuksessa. Tutkielman ensimmäinen luku käsittelee yleistä avointen kvanttisysteemien teoriaa ja menetelmiä ei-Markovisen liikeyhtälön johtamiseksi. Ei-Markovinen liikeyhtälö kuvaa ympäristöstä systeemiin takaisin virtaavan informaation vaikutusta systeemin dynamiikkaan. Toisessa luvussa on johdettu spin-bosoni -mallille ei-Markovinen liikeyhtälö ja tarkasteltu spin-systeemin dynamiikkaa joissain erityistapauksissa. Kolmannessa luvussa on esitelty kvanttihyppymenetelmiä avointen systeemien dynamiikan ratkaisemiseksi ja sovellettu ei-Markovisten kvanttihyppyjen teoriaa spinbosoni -mallin tutkimiseksi. Ei-Markovisten kvanttihyppyjen teoriaa käyttämällä voidaan selittää spin-systeemin tiheysmatriisin populaatioissa ja koherensseissa havaittavien ei-Markovisten efektien alkuperä käännettyjen kvanttihyppyjen avulla. Tutkielman viimeisessä osassa esitellään muutamia spin-bosoni -mallin sovellutuksia fysiikan eri alueilta.

Of pearls and pigs : a conceptual-semantic Tiernet approach to formal representation of structure and variation of phraseological units

"Helmiä sioille", pärlor för svin, säger man på finska om någonting bra och fint som tas emot av en mottagare som inte vill eller har ingen förmåga att förstå, uppskatta eller utnyttja hela den potential som finns hos det mottagna föremålet, är ointresserad av den eller gillar den inte. För sådana relativt stabila flerordiga uttryck, som är lagrade i språkbrukarnas minnen och som demonstrerar olika slags oregelbundna drag i sin struktur använder man inom lingvistiken bl.a. termerna "idiom" eller "fraseologiska enheter". Som en oregelbundenhet kan man t.ex. beskriva det faktum att betydelsen hos uttrycket inte är densamma som man skulle komma till ifall man betraktade det som en vanlig regelbunden fras. En annan oregelbundenhet, som idiomforskare har observerat, ligger i den begränsade förmågan att varieras i form och betydelse, som många idiom har jämfört med regelbundna fraser. Därför talas det ofta om "grundform" och "grundbetydelse" hos idiom och variationen avses som avvikelse från dessa. Men när man tittar på ett stort antal förekomstexempel av idiom i språkbruk, märker man att många av dem tillåter variation, t.o.m. i sådan utsträckning att gränserna mellan en variant och en "grundform" suddas ut, och istället för ett idiom råkar vi plötsligt på en "familj" av flera besläktade uttryck. Allt detta väcker frågan om hur dessa uttryck egentligen ska vara representerade i språket. I avhandlingen utförs en kritisk granskning av olika tidigare tillvägagångssätt att beskriva fraseologiska enheter i syfte att klargöra vilka svårigheter deras struktur och variation erbjuder för den lingvistiska teorin. Samtidigt presenteras ett alternativt sätt att beskriva dessa uttryck. En systematisk och formell modell som utvecklas i denna avhandling integrerar en beskrivning av idiom på många olika språkliga nivåer och skildrar deras variation i form av ett nätverk och som ett resultat av samspel mellan idiomets struktur och kontexter där det förekommer, samt av interaktion med andra fasta uttryck. Modellen bygger på en fördjupande, språkbrukbaserad analys av det finska idiomet "X HEITTÄÄ HELMIÄ SIOILLE" (X kastar pärlor för svin).

Expectations, frames and practices of genetic counselling in different contexts of genetic testing

Genetic counselling is a process in which the counsellee receives information and support concerning a genetic disease. This study examines the genetic counselling attached to genetic testing. Since genetic information is increasing alongside new testing technologies and the situations faced at the genetic clinics will therefore be more diverse, it is essential to assess what the expectations directed at genetic counselling are. It is also important to compare how they face the current counselling practices. In this study, the expectations, frames and practices of genetic counselling in different contexts of genetic testing were examined from three different perspectives: First, international guidelines covering genetic counselling were analysed to summarise what is expected from genetic counselling and to study how genetic information is framed. Second, national experts in European countries were asked about the regulations and practices of genetic counselling in their country. Finally, ten counsellees who had visited a genetic clinic were interviewed to analyse their expectations and experiences. The counsellees’ perspective was also approached through the background review of the previous studies on counsellees’ experiences. On the basis of the study, there are basic elements that are expected to be covered in genetic counselling from all perspectives. However, the views concerning bioethics, genetic exceptionalism and psychosocial aspects vary depending on the perspective and on the individual situation. Since there are sometimes more differences than similarities between genetic tests, no universal recommendations for counselling can be applied. The practices of genetic counselling should be defined situationally, emphasising the individual needs over the genes.

THE ADAPTATION PROCESS AND CHALLENGES OF EDUCATION EXPORT

The purpose of this study is to investigate the challenges of the adaptation process of education export. The research is conducted as a single case study that concentrates on three education export projects. The case company in the research is Team Academy. The study goes through the different forms of education export, the adaptation of education export and the challenges of the education export –process by means of theory and empirical data. The research is carried out as a qualitative research and the method used is a qualitative content analysis. More specifically the research is an abductive content analysis. The research data is collected in four in-depth interviews from Team academy representatives who have been strongly involved in certain education export –project of Team Academy. The research confirms the theory in the challenge of hierarchy, funding and registration issues, and refutes it in the challenge of competition, legislation, different governmental attitudes and knowledge in productization. The main challenges of the adaptation process are related to funding, differences in values, sudden changes, the complex nature of the learning model, concept of time, teamwork as method and accreditation. It is highlighted that in the future operations, anticipating problems that arise from for example cultural differences and differences in values, communication, managing the money flows and the company form is recommended. Future research could continue with investigating the suitable company form for education exports of this kind, and how to stand out and communicate when operating under another institution. It is considered a potential risk that a brand encloses the brand that operates under it.