Teaching mathematics and programming : new approaches with empirical evaluation

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

Muuttuvat tilat lasten- ja nuortenkirjallisuuden tutkijoiden pohdittavana : : metamorphic spaces in children's literature and culture 17.-19.1.2008 Jyväskylä

Ajankohtaista

Travelling in a Palimpsest : Finnish nineteenth-century painters' encounters with Spanish art and culture

Utgångspunkten för avhandlingen är finländska konstnärsresor till Spanien under 1800-talet, och kontakterna med spansk konst och kultur. Endast ett fåtal finländare reste till Spanien, och inledningsvis utrycktes intresset för spansk konst i form av kopior efter gamla mästare, utförda både efter original utanför Spanien, och reproduktioner. Denna föga imponerande start efterföljdes av ett litet antal målare som verkligen reste till Spanien under 1800-talets senare hälft: Adolf von Becker (1831–1909), Albert Edelfelt (1854–1905) och Venny Soldan (1863–1945). Jag undersöker hur deras syn på landet manifesterades i deras resebilder i förhållande till den växande turistindustrin. Syftet med avhandlingen är att visa hur den resande målaren, likt en turist, föreställde sig, upplevde och tolkade den främmande kulturen, och hur detta avbildades och uttrycktes i deras resebilder. Vid sidan av ikonografisk analys och stilkritik utnyttjas forskningsmetoder från turismteorin. Resultatet av undersökningen visar att de flesta konstnärerna dyrkade konsten på Prado-museet, beundrade flamenco, Andalusiens vackra kvinnor, tjurfäktningar och zigenarna. De längtade efter en förgången och exotisk tid, samtidigt som de följde de vältrampade turiststigarna och hänfördes av de sedvanliga sevärdheterna; de reste i ett delvis mytiskt och delvis verkligt land. Likt turister (i allmänhet), såg de det de ville se, och sökte sig till på förhand inpräntade mentala (före)bilder. Resebilderna kan med fog tolkas som medvetet konstruerade minnen från resan, souvenirs d’Espagne. Samtidigt förstärkte och upprätthöll valen av motiv uppfattningen att Spaniens äldre konst och samtida kultur var mer ”äkta” (autentiska) än den kultur man själv tillhörde. Spanien uppfattades som en kvarleva från en förgången tid som hölls levande i nuet

Two Cultures of Arts Education, Finland and Canada? An integrated View

Taidekasvatuksen kaksi kulttuuria, Suomi ja Kanada? Integroitu näkemys Tutkimuksessa kuvataan kanadalaisen Learning Through The Arts –pedagogiikan mukainen suomalainen kokeiluhanke, jonka aikana taiteilija–opettaja-parit opettivat yhdessä eri oppiaineita koululuokille: esim. matematiikkaa tanssien, biologiaa maalaten tai yhdistäen eri taiteenlajeja projektimuotoiseen oppimiseen. Hanketta arvioitaessa nousee esille, ei niinkään yksittäisten taiteilijoiden ja opettajien toiminta, vaan pikemminkin Kanadan ja Suomen rakenteelliset sekä kulttuuriset eroavuudet. Tutkimus sivuaa myös Suomessa käytävää keskustelua taiteen hyödyllisyydestä ja pohtii samalla taito- ja taideaineiden asemaa koulussa. Työn teoreettisessa osassa integroidaan opetussuunnitelmateoriaa, kasvatuksen historiaa ja filosofiaa, tähdentäen taidekasvatuksen merkitystä osana koko ihmisen kasvatusta. Opetussuunnitelmateorian osalta tarkastellaan romanttista ja klassista opetussuunnitelmaa, jotka eroavat toisistaan menetelmiensä, sisältöjensä, tavoitteidensa sekä arvioinnin osalta. Ns. kovat ja pehmeät aineet tai matemaattis-luonnontieteelliset aineet vastakohtanaan humanismi, voidaan ymmärtää sekä historiallisia että epistemologisia taustojaan vasten. Pepperin maailmanhypoteesien mukaisesti on kasvatuksen ongelmien ratkaisemiseksi hahmotettavissa neljä selvästi toisistaan eroavaa lähestymistapaa: formismi; organisismi; mekanisismi; sekä kontekstualismi. Kantin filosofiaan viitaten tutkimus puolustaa käsitystä taiteesta rationaalisena ja propositionaalisena kokonaisuutena, joka ei ole vain kommunikaation väline, vaan yksi todellisuuden kohtaamisen lajeista, tiedon ja etiikan rinnalla. Näin ajateltuna taito- ja taidekasvatuksen tulisi olla luonteeltaan aina myös kulttuurikasvatusta. Tutkimuksen tulosten perusteella voidaan väittää, että moniammatillinen yhteistyö monipuolistaa koulun opetusta. Mikäli huolehditaan siitä, että taiteilijat saavat riittävästi koulutusta opettamiseen liittyvissä asioissa, on mahdollista käyttää taiteilijoita opettajien rinnalla koulutyössä.

Description and implementation of cut calculation-method in a sawmill

Työn tavoitteena oli kuvata ja ottaa käyttöön sahauseräkohtaisen kannattavuuden laskentamenetelmä sahalle, sekä tehdä laskentamalli menetelmän tueksi. Sahauksen peruskäsitteiden jälkeen työssä on esitelty sahan tuotantoprosessi. Tuotantoprosessi on kuvattu kirjallisuuden ja asiantuntijoiden haastattelujen perusteella. Seuraavaksi kartoitettiin hyötyjä ja vaikutuksia, mitä laskentamenetelmältä odotetaan.. Kustannuslaskennan teoriaa selvitettiin kirjallisuuslähteitä käyttäen silmälläpitäen juuri tätä kehitettävää laskentamenetelmää. Lisäksi esiteltiin Uimaharjun sahalla käytettävät ja laskentaan liittyvät laskenta- ja tietojärjestelmät.Nykyisin sahalla ei ole minkäänlaista menetelmää sahauseräkohtaisen tuloksen laskemiseksi. Pienillä muutoksilla sahan tietojärjestelmään ja prosessikoneisiin voidaan sahauserä kuljettaa prosessin läpi niin, että jokaisessa prosessin vaiheessa sille saadaan kohdistettua tuotantotietoa. Eri vaiheista saatua tietoa käyttämällä saadaan tarkasti määritettyä tuotteet, joita sahauserä tuotti ja paljonko tuotantoresursseja tuottamiseen kului. Laskentamalliin syötetään tuotantotietoja ja kustannustietoa ja saadaan vastaukseksi sahauserän taloudellinen tulos.Toimenpide ehdotuksena esitetään lisätutkimusta tuotantotietojen automaattisesta keräämisestä manuaalisen työn ja virheiden poistamiseksi. Suhteellisen pienillä panoksilla voidaan jokaiselle sahauserälle kerätä tuotantotiedot täysin automaattisesti. Lisäksi kehittämäni laskentamallin tilalle tulisi hankkia sovellus, joka käyttäisi paremmin hyväksi nykyisiä tietojärjestelmiä ja poistaisi manuaalisen työvaiheen laskennassa.

Foodstuffs and medicines as legal categories in the EU and China. Functional foods as a borderline case

The thesis discusses the regulation of foodstuffs and medicines, and particularly the regulation of functional foods. Legal systems investigated are the EU and China. Both are members of the WTO and Codex Alimentarius, which binds European and Chinese rules together. The study uses three Chinese berries as case examples of how product development faces regulation in practice. The berries have traditional uses as herbal medicines. Europe and China have similar nutrition problems to be resolved, such as obesity, cardiovascular disease, and diabetes. The three berries might be suitable raw materials for functional foods. Consumer products with health-enhancing functions, such as lowering blood pressure, might legally be classifi ed either as foodstuffs or medicines. The classifi cation will depend on functions and presentation of the product. In our opinion, food and medicine regulation should come closer together so the classifi cation issue would no longer be an issue. Safety of both foodstuffs and medicines is strictly regulated. With medicines, safety is a more relative concept, where benefi ts of the product are compared to side-effects in thorough scientifi c tests and trials. Foods, on the other hand, are not allowed to have side-effects. Hygiene rules and rules on the use of chemicals apply. In China, food safety is currently at focus as China has had several severe food scandals. Newly developed foods are called novel foods, and are specifi cally regulated. The current European novel food regulation from 1997 treats traditional third country products as novel. The Chinese regulation of 2007 also defi nes novel foods as something unfamiliar to a Chinese consumer. The concepts of novel food thus serve a protectionist purpose. As regards marketing, foods are allowed to bear health claims, whereas medicines bear medicinal claims. The separation is legally strict: foods are not to be presented as having medicinal functions. European nutrition and health claim regulation exists since 2006. China also has its regulation on health foods, listing the permitted claims and how to substantiate them. Health claims are allowed only on health foods. The European rules on medicines include separate categories for herbal medicines, traditional herbal medicines, and homeopathic medicines, where there are differing requirements for scientifi c substantiation. The scientifi c and political grounds for the separate categories provoke criticism. At surface, the Chinese legal system seems similar to the European one. To facilitate trade, China has enacted modern laws. Laws are needed as the country moves from planned economy to market economy: ‘rule of law’ needs to replace ‘rule of man’. Instead of being citizens, Chinese people long were subordinates to the Emperor. Confucius himself advised to avoid confl ict. Still, Chinese people do not and cannot always trust the legal system, as laws are enforced in an inconsistent manner, and courts are weak. In China, there have been problems with confl icting national and local laws. In Europe, the competence of the EU vs. the competence of the Member States is still not resolved, even though the European Commission often states that free trade requires harmonisation. Food and medicine regulation is created by international organisations, food and medicine control agencies, standards agencies, companies and their organisations. Regulation can be divided in ‘hard law’ and ‘soft law’. One might claim that hard law is in crisis, as soft law is gaining importance. If law is out of fashion, regulation certainly isn’t. In the future, ‘law’ might mean a process where rules and incentives are created by states, NGOs, companies, consumers, and other stakeholders. ‘Law’ might thus refer to a constant negotiation between public and private actors. Legal principles such as transparency, equal treatment, and the right to be heard would still be important.

The effectiveness of short-term literacy skills intervention on children at risk of reading and writing difficulties in Tanzania : a study of grade one children with dynamic assessment approach

The aim of the study was to create and evaluate an intervention programme for Tanzanian children from a low-income area who are at risk of reading and writing difficulties. The learning difficulties, including reading and writing difficulties, are likely to be behind many of the common school problems in Tanzania, but they are not well understood, and research is needed. The design of the study included an identification and intervention phase with follow-up. A group based dynamic assessment approach was used in identifying children at risk of difficulties in reading and writing. The same approach was used in the intervention. The study was a randomized experiment with one experimental and two control groups. For the experimental and the control groups, a total of 96 (46 girls and 50 boys) children from grade one were screened out of 301 children from two schools in a low income urban area of Dar-es-Salaam. One third of the children, the experimental group, participated in an intensive training programme in literacy skills for five weeks, six hours per week, aimed at promoting reading and writing ability, while the children in the control groups had a mathematics and art programme. Follow-up was performed five months after the intervention. The intervention programme and the tests were based on the Zambian BASAT (Basic Skill Assessment Tool, Ketonen & Mulenga, 2003), but the content was drawn from the Kiswahili school curriculum in Tanzania. The main components of the training and testing programme were the same, only differing in content. The training process was different from traditional training in Tanzanian schools in that principles of teaching and training in dynamic assessment were followed. Feedback was the cornerstone of the training and the focus was on supporting the children in exploring knowledge and strategies in performing the tasks. The experimental group improved significantly more (p = .000) than the control groups during the intervention from pre-test to follow-up (repeated measures ANOVA). No differences between the control groups were noticed. The effect was significant on all the measures: phonological awareness, reading skills, writing skills and overall literacy skills. A transfer effect on school marks in Kiswahili and English was found. Following a discussion of the results, suggestions for further research and adaptation of the programme are presented.

Communicative and Anticipatory Decision-Making Supported by Bayesian Networks

The purpose of this research is to draw up a clear construction of an anticipatory communicative decision-making process and a successful implementation of a Bayesian application that can be used as an anticipatory communicative decision-making support system. This study is a decision-oriented and constructive research project, and it includes examples of simulated situations. As a basis for further methodological discussion about different approaches to management research, in this research, a decision-oriented approach is used, which is based on mathematics and logic, and it is intended to develop problem solving methods. The approach is theoretical and characteristic of normative management science research. Also, the approach of this study is constructive. An essential part of the constructive approach is to tie the problem to its solution with theoretical knowledge. Firstly, the basic definitions and behaviours of an anticipatory management and managerial communication are provided. These descriptions include discussions of the research environment and formed management processes. These issues define and explain the background to further research. Secondly, it is processed to managerial communication and anticipatory decision-making based on preparation, problem solution, and solution search, which are also related to risk management analysis. After that, a solution to the decision-making support application is formed, using four different Bayesian methods, as follows: the Bayesian network, the influence diagram, the qualitative probabilistic network, and the time critical dynamic network. The purpose of the discussion is not to discuss different theories but to explain the theories which are being implemented. Finally, an application of Bayesian networks to the research problem is presented. The usefulness of the prepared model in examining a problem and the represented results of research is shown. The theoretical contribution includes definitions and a model of anticipatory decision-making. The main theoretical contribution of this study has been to develop a process for anticipatory decision-making that includes management with communication, problem-solving, and the improvement of knowledge. The practical contribution includes a Bayesian Decision Support Model, which is based on Bayesian influenced diagrams. The main contributions of this research are two developed processes, one for anticipatory decision-making, and the other to produce a model of a Bayesian network for anticipatory decision-making. In summary, this research contributes to decision-making support by being one of the few publicly available academic descriptions of the anticipatory decision support system, by representing a Bayesian model that is grounded on firm theoretical discussion, by publishing algorithms suitable for decision-making support, and by defining the idea of anticipatory decision-making for a parallel version. Finally, according to the results of research, an analysis of anticipatory management for planned decision-making is presented, which is based on observation of environment, analysis of weak signals, and alternatives to creative problem solving and communication.

Effects of physical activity and fitness on the psychological wellbeing of young men and working adults: associations with stress, mental resources, overweight and workability

Background: A positive association has been suggested to exist between physical activity and psychological wellbeing. However, the association between physical fitness, especially muscle fitness and psychological wellbeing, has not yet been fully elucidated. Aims: The objective of the present thesis was to assess the relationship between physical activity and physical fitness with stress symptoms, mental resources and workability among young men and working adults. Subjects and methods: Volunteers of young men (n=831, mean age 25-y (±4.0)), underwent a cardiorespiratory (CRF) and muscle fitness (MFI) test and completed leisure time physical activity (LTPA) and Occupational Stress Questionnaires (OSQ). The participants were divided into tertiles according to LTPA, CRF and MFI. A 12-month exercise intervention evaluated 371 working adults (exercise group, n=338, mean age 45-y (±8.8)); control group, n=33, mean age 41-y (±6.9)).The exercise group underwent a 12-month exercise program followed by a 12-month follow-up. The OSQ, Workability Index (WAI) and CRF were evaluated at baseline and at 4, 8, 12 and 24 months. Results: Physically inactive subjects reported more stress and less available mental resources than the subjects who reported high physical activity levels. Improved physical fitness was associated with less stress and more mental resources among normal weight men, but not in overweight men. After a 12-month exercise intervention, employees in the exercise group increased their physical activity, improved workability, decreased stress symptoms and improved their physical fitness and mental resources. After the follow-up year, workability and stress were improved compared to baseline. Conclusions: In this thesis, good physical fitness was associated with improved psychological wellbeing among young men and working adults.

Data analysis tools and methods for DNA microarray and high-throughput sequencing data

The recent rapid development of biotechnological approaches has enabled the production of large whole genome level biological data sets. In order to handle thesedata sets, reliable and efficient automated tools and methods for data processingand result interpretation are required. Bioinformatics, as the field of studying andprocessing biological data, tries to answer this need by combining methods and approaches across computer science, statistics, mathematics and engineering to studyand process biological data. The need is also increasing for tools that can be used by the biological researchers themselves who may not have a strong statistical or computational background, which requires creating tools and pipelines with intuitive user interfaces, robust analysis workflows and strong emphasis on result reportingand visualization. Within this thesis, several data analysis tools and methods have been developed for analyzing high-throughput biological data sets. These approaches, coveringseveral aspects of high-throughput data analysis, are specifically aimed for gene expression and genotyping data although in principle they are suitable for analyzing other data types as well. Coherent handling of the data across the various data analysis steps is highly important in order to ensure robust and reliable results. Thus,robust data analysis workflows are also described, putting the developed tools andmethods into a wider context. The choice of the correct analysis method may also depend on the properties of the specific data setandthereforeguidelinesforchoosing an optimal method are given. The data analysis tools, methods and workflows developed within this thesis have been applied to several research studies, of which two representative examplesare included in the thesis. The first study focuses on spermatogenesis in murinetestis and the second one examines cell lineage specification in mouse embryonicstem cells.