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.

Pencil grip : a descriptive model and four empirical studies

Previous studies on pencil grip have typically dealt with the developmental aspects in young children while handwriting research is mainly concerned with speed and legibility. Studies linking these areas are few. Evaluation of the existing pencil grip studies is hampered by methodological inconsistencies. The operational definitions of pencil grip arerational but tend to be oversimplified while detailed descriptors tend to be impractical due to their multiplicity. The present study introduces a descriptive two-dimensional model for the categorisation of pencil grip suitable for research applications in a classroom setting. The model is used in four empirical studies of children during the first six years of writing instruction. Study 1 describes the pencil grips observed in a large group of pupils in Finland (n = 504). The results indicate that in Finland the majority of grips resemble the traditional dynamic tripod grip. Significant genderrelated differences in pencil grip were observed. Study 2 is a longitudinal exploration of grip stability vs. change (n = 117). Both expected and unexpected changes were observed in about 25 per cent of the children's grips over four years. A new finding emerged using the present model for categorisation: whereas pencil grips would change, either in terms of ease of grip manipulation or grip configuration, no instances were found where a grip would have changed concurrently on both dimensions. Study 3 is a cross-cultural comparison of grips observed in Finland and the USA (n = 793). The distribution of the pencil grips observed in the American pupils was significantly different from those found in Finland. The cross-cultural disparity is most likely related to the differences in the onset of writing instruction. The differences between the boys' and girls' grips in the American group were non-significant.An implication of Studies 2 and 3 is that the initial pencil grip is of foremost importance since pencil grips are largely stable over time. Study 4 connects the pencil grips to assessment of the mechanics of writing (n = 61). It seems that certain previously not recommended pencil grips might nevertheless be includedamong those accepted since they did not appear to hamper either fluency or legibility.

SME internationalisation from a network perspective : an empirical study on a Finnish-Greek business network

The study examines the internationalisation process of a contemporary SME firm and explores the impact of its business network on this development. The objective of the study is to understand SME internationalisation and its dynamics from a network perspective. The purpose of this research project is to describe and explore the development process of a firm and its business network by identifying the changes, critical events and influence factors that form this development. It is a qualitative case study, which focuses on a Finnish focal firm and its respective business network as it expands into the Greek market. It is a longitudinal research process, which covers a period of time from 1994 to 2004. The empirical study concentrates on the paper trading and converting business. The study builds on the network theory and the framework provided by Johanson and Mattsson's (1988) model on network internationalisation. The incremental internationalisation theories and network theories form the theoretical focus. The research project is organised according to a process view. The focal firm evolves from a domestically-oriented small subsidiary into an internationally experienced company, which has activities in several market areas and numerous business networks in various market segments and product categories. The findings illustrate the importance of both the domestic and foreign business network context in a firm's internationalisation process. The results of the study suggest theoretical modifications on a firm's internationalisation process by broadening the perspective and incorporating the strategic context of a firm. The findings suggest that internationalisation process is a non-linear process, which does not have a deterministic order in its development. The findings emphasise the significance of relational networks, both managerial and entrepreneurial, for establishing position in foreign markets. It implies that a firm's evolution is significantly influenced by its business network and by critical events. Business networks gain coherence due to common goals and they use accumulated capabilities to exploit market opportunities. The business network sets constraints and provides opportunities, which makes the related decision making strategically important. The firm co-evolves with its business network. The research project provides an instrumental case study with a description of an SME internationalisation process. It contributes to existing knowledge by illustrating dynamics in an international business network and by pinpointing the importance of suppliers, customers, partners, ownerships and competition to the internationalisation process.

Value co-creation in industrial buyer-seller partnerships - creating and exploiting interdependencies : an empirical case study

In summary the main findings of the study are that there seems to be is no universal definition of value in the context of industrial relationships, but a notion that it is context-, time-, and actor dependent. Value co-creation is a suitable concept in the context of buyerseller relationships. The evolution of a relationship from a transactional to a partnership is long and eventful - a process where the outcome is impossible to estimate in advance. The process is filled with differenttypes of events and also conflicts, which as a matter of fact can be seen as constructive forces in relationship development. The perceived value of a relationship is an antecedent to pursuing a high-involvement strategy; once a partnership exists, the value co-creation potential is realizable through exploiting interdependencies. Those interdependencies are the trigger for value co-creation potential. The value cocreation potential is realized though different processes of value co-creation either to achieve efficiency in exchange or effective use of resources. The logic of buyer-seller partnerships is to create and exploit interdependencies in order to create both efficiency and effective use of resources. (Summary of main findings p. 176)

Tietojärjestelmät palvelutuotannon tukena

Tämän tutkimuksen tavoitteena oli selvittää Imatran kaupungin teknisen toimen nykyinen tietojärjestelmäarkkitehtuuri, sekä selvittää, kuinka hyvin käytettävät tietojärjestelmät tukevat teknisen toimen tuottamaa omakotirakentajan palveluprosessia. Työn teoriaosassa syvennyttiin palvelujen hallintaan, tietojärjestelmiin ja paikkatietojärjestelmiin. Työn empiirisessä osassa tutkittiin, kuinka toimiva käytössä oleva järjestelmäkokonaisuus on. Tutkimus osoitti, että käytössä olevat tietojärjestelmät ja ohjelmistot ovat tehokkaita ja tarkoituksenmukaisia. Teknologian kehittämisen lisäksi tulee kiinnittää huomiota työskentelytapojen kehittämiseen ja yhtenäistämiseen esimerkiksi sähköisen prosessin seurantalomakkeen, tietokantojen päivittämisen, sekä paperisten aineistojen digitoimisen avulla. Tietojärjestelmäarkkitehtuurin tulee olla yksinkertainen ja päällekkäisiä toimintoja kannattaa välttää. Paikkatietojärjestelmien muuttaminen selainpohjaisiksi tehostaa eri tietolähteiden hyödyntämistä. Henkilöstön riittävä tietojärjestelmäkoulutus on tärkeää.

The effect of institutional settings on accounting conservatism – Empirical evidence from the Nordic countries and the transitional economies of Europe

The purpose of the dissertation is to investigate how different institutional settings affect accounting conservatism. These aspects are of interest because prior studies show that accounting quality is influenced not only by accounting standards, but also by incentives from the financial reporting environment. Accounting quality could be defined as the usefulness of financial reporting to investors and other parties in contractual relationships with the firm. In this thesis it is measured by a single, but important attribute, accounting conservatism. Conservatism is understood as asymmetric timeliness of loss and gain recognition. The study examines the role and the users of financial statements, and how changes in both respectively affect accounting conservatism. These two questions are explored in two different research environments, the Nordic countries and the transitional economies of Europe. The results of the dissertation indicate that the degree of accounting conservatism increases the closer the financial statement comes to fulfilling the informational role of financial reporting. Secondly, it is also implied that foreign investors demand conservative accounting numbers in order to mitigate the problem of information asymmetry. Overall, the findings suggest that earnings conservatism is useful and increases the quality of financial information for the purpose of decision-making and contracting. These results are of relevance to managers, investors and other users of financial reporting information, as well as to standard setters.

Quasiconformal mappings and inequalities involving special functions

This PhD thesis in Mathematics belongs to the field of Geometric Function Theory. The thesis consists of four original papers. The topic studied deals with quasiconformal mappings and their distortion theory in Euclidean n-dimensional spaces. This theory has its roots in the pioneering papers of F. W. Gehring and J. Väisälä published in the early 1960’s and it has been studied by many mathematicians thereafter. In the first paper we refine the known bounds for the so-called Mori constant and also estimate the distortion in the hyperbolic metric. The second paper deals with radial functions which are simple examples of quasiconformal mappings. These radial functions lead us to the study of the so-called p-angular distance which has been studied recently e.g. by L. Maligranda and S. Dragomir. In the third paper we study a class of functions of a real variable studied by P. Lindqvist in an influential paper. This leads one to study parametrized analogues of classical trigonometric and hyperbolic functions which for the parameter value p = 2 coincide with the classical functions. Gaussian hypergeometric functions have an important role in the study of these special functions. Several new inequalities and identities involving p-analogues of these functions are also given. In the fourth paper we study the generalized complete elliptic integrals, modular functions and some related functions. We find the upper and lower bounds of these functions, and those bounds are given in a simple form. This theory has a long history which goes back two centuries and includes names such as A. M. Legendre, C. Jacobi, C. F. Gauss. Modular functions also occur in the study of quasiconformal mappings. Conformal invariants, such as the modulus of a curve family, are often applied in quasiconformal mapping theory. The invariants can be sometimes expressed in terms of special conformal mappings. This fact explains why special functions often occur in this theory.

The Interplay between Market Orientation and Entrepreneurial Orientation - Empirical Evidence from SMEs

The purpose of this thesis is to investigate how the dimensions of market orientation and entrepreneurial orientation are carried out in small and medium-sized enterprises (SME). In addition, the research aims to answer how these strategic orientations are apparent in SMEs, how the orientations co-vary, and how the dimensions of orientations are carried out in successful SMEs. The qualitative case study was participated by 16 SMEs. The research sample was gathered trough face-to-face interviews, consisting of Likert scale statements and open-ended questions. The main restriction of implementing market and entrepreneurial orientations in SMEs were scarce resources. Thus, the enterprises were required to make trade-offs between the different dimensios of orientations. Risk-aversive enterprises had emphasis on reactive customer orientation whereas, willing to take risks was generally related to proactiveness. Proactive enterprises utilized interfunctional coordination, and innovativeness was supported by value network coordination. The majority of the successful enterprises were growth-oriented, aiming to be technologial leaders in their industries. The successful firms placed similar emphasis on customer and product orientation.

IT Financial Management In a Large Industrial Company

IT Service Management plays a key role in many IT organizations today. First IT Service Management principles founded in the early 1980s but the real adaption emerged in the end 2000s. IT Financial Management is one of IT Service Management’s processes. The main purpose of this thesis was study how IT Financial Management approach can be improved in a case company. Budgeting, accounting and charging are IT Financial Management functions. These functions are researched in this thesis. Thesis materials consist of both qualitative and quantitative material. The theoretical part consists mostly of IT Service Management literature while interviews and the case company’s information systems are researched in the empirical part. Thesis also reviews different kind of the systems which supports and automates IT Financial Management functions. The biggest challenge is the cost allocation with the current ERP system in the case company. It is worth to take group based system for allocation in use before there is a holistic system in a market. The case company should also develop its IT service processes forward.

Researching Manufacturing Planning and Control system and Master Scheduling in a manufacturing firm.

The objective of this thesis is to research Manufacturing Planning and Control (MPC) system and Master Scheduling (MS) in a manufacturing firm. The study is conducted at Ensto Finland Corporation, which operates on a field of electrical systems and supplies. The paper consists of theoretical and empirical parts. The empirical part is based on weekly operating at Ensto and includes inter-firm material analysis, learning and meetings. Master Scheduling is an important module of an MPC system, since it is beneficial on transforming strategic production plans based on demand forecasting into operational schedules. Furthermore, capacity planning tools can remarkably contribute to production planning: by Rough-Cut Capacity Planning (RCCP) tool, a MS plan can be critically analyzed in terms of available key resources in real manufacturing environment. Currently, there are remarkable inefficiencies when it comes to Ensto’s practices: the system is not able to take into consideration seasonal demand and react on market changes on time; This can cause significant lost sales. However, these inefficiencies could be eliminated through the appropriate utilization of MS and RCCP tools. To utilize MS and RCCP tools in Ensto’s production environment, further testing in real production environment is required. Moreover, data accuracy, appropriate commitment to adapting and learning the new tools, and continuous developing of functions closely related to MS, such as sales forecasting, need to be ensured.

Seisontamaksuprosessin kehittäminen rautatielogistiikassa

Tämän diplomityön tavoitteena oli kehittää seisontamaksuprosessia löytämällä keinot tehostaa informaation kulkua prosessin eri osapuolten välillä, parantaa prosessin läpimenoaikaa, yhtenäistää toimintakäytäntöjä, sekä vähentää virheellisten seisontamaksulaskujen lähettämistä asiakkaille. Tietoa kerättiin haastatteluin, sähköpostikeskusteluja tutkimalla, sekä analysoimalla numeerista aineistoa seisontamaksuista. Työn teoriaosassa käsiteltiin prosesseja ja niiden kehittämistä yleisesti, muutoksen hallintaa, sekä prosessien kehittämisessä apuna toimivia valmiita kehittämismalleja. Työn empiirisessä osassa kuvattiin seisontamaksuprosessi ja löydettiin siitä suurimmat ongelmakohdat. Tiedonkulku prosessin eri osapuolten välillä osoittautui suurimmaksi ongelmien aiheuttajaksi. Ongelmiin kehitettiin ratkaisut, joiden pohjalta luotiin optimaalinen toimintamalli seisontamaksuprosessista. Lisäksi prosessin tulevan toiminnan seuraamiseksi ehdotettiin erilaisia mittareita. Kehitettyjen ratkaisujen katsottiin täyttäneen kaikki yrityksen asettamat tavoitteet, mutta ratkaisujen tarkemmat vaikutukset prosessin toimintaan näkyvät kuitenkin vasta niiden käyttöönoton jälkeen.

Cognitive Functions After Traumatic Brain Injury. A 30-year Follow-up Study

Many cognitive deficits after TBI (traumatic brain injury) are well known, such as memory and concentration problems, as well as reduced information-processing speed. What happens to patients and cognitive functioning after immediate recovery is poorly known. Cognitive functioning is flexible and may be influenced by genetic, psychological and environmental factors decades after TBI. The general aim of this thesis was to describe the long-term cognitive course after TBI, to find variables that may contribute to it, and how the cognitive functions after TBI are associated with specific medical factors and reduced survival. The original study group consisted of 192 patients with TBI who were originally assessed with the Mild Deterioration Battery (MDB) on average two years after the injury, during the years 1966 – 1972. During a 30-year follow-up, we studied the risks for reduced survival, and the mortality of the patients was compared with the general population using the Standardized Mortality Ratio (SMR). Sixty-one patients were re-assessed during 1998-2000. These patients were evaluated with the MDB, computerized testing, and with various other neuropsychological methods for attention and executive functions. Apolipoprotein-E (ApoE) genotyping and magnetic resonance imaging (MRI) based on volumetric analysis of the hippocampus and lateral ventricles were performed. Depressive symptoms were evaluated with the short form of the Beck depression inventory. The cognitive performance at follow-up was compared with a control group that was similar to the study group in regard to age and education. The cognitive outcome of the patients with TBI varied after three decades. The majority of the patients showed a decline in their cognitive level, the rest either improved or stayed at the same level. Male gender and higher age at injury were significant risk factors for the decline. Whereas most cognitive domains declined during the follow-up, semantic memory behaved in the opposite way, showing recovery after TBI. In the follow-up assessment, the memory decline and impairments in the set-shifting domain of executive functions were associated with MRI-volumetric measures, whereas reduction in information-processing speed was not associated with the MRI measures. The presence of local contusions was only weakly associated with cognitive functions. Only few cognitive methods for attention were capable of discriminating TBI patients with and without depressive symptoms. On the other hand, most complex attentional tests were sensitive enough to discriminate TBI patients (non-depressive) from controls. This means that complex attention functions, mediated by the frontal lobes, are relatively independent of depressive symptoms post-TBI. The presence of ApoE4 was associated with different kinds of memory processes including verbal and visual episodic memory, semantic memory and verbal working memory, depending on the length of time since TBI. Many other cognitive processes were not affected by the presence of ApoE4. Age at injury and poor vocational outcome were independent risk factors for reduced survival in the multivariate analysis. Late mortality was higher among younger subjects (age < 40 years at death) compared with the general population which should be borne in mind when assessing the need for rehabilitation services and long-term follow-up after TBI.

NADPH-Dependent Thioredoxin System In Regulation of Chloroplast Functions

Photosynthesis, the process in which carbon dioxide is converted into sugars using the energy of sunlight, is vital for heterotrophic life on Earth. In plants, photosynthesis takes place in specific organelles called chloroplasts. During chloroplast biogenesis, light is a prerequisite for the development of functional photosynthetic structures. In addition to photosynthesis, a number of other metabolic processes such as nitrogen assimilation, the biosynthesis of fatty acids, amino acids, vitamins, and hormones are localized to plant chloroplasts. The biosynthetic pathways in chloroplasts are tightly regulated, and especially the reduction/oxidation (redox) signals play important roles in controlling many developmental and metabolic processes in chloroplasts. Thioredoxins are universal regulatory proteins that mediate redox signals in chloroplasts. They are able to modify the structure and function of their target proteins by reduction of disulfide bonds. Oxidized thioredoxins are restored via the action of thioredoxin reductases. Two thioredoxin reductase systems exist in plant chloroplasts, the NADPHdependent thioredoxin reductase C (NTRC) and ferredoxin-thioredoxin reductase (FTR). The ferredoxin-thioredoxin system that is linked to photosynthetic light reactions is involved in light-activation of chloroplast proteins. NADPH can be produced via both the photosynthetic electron transfer reactions in light, and in darkness via the pentose phosphate pathway. These different pathways of NADPH production enable the regulation of diverse metabolic pathways in chloroplasts by the NADPH-dependent thioredoxin system. In this thesis, the role of NADPH-dependent thioredoxin system in the redox-control of chloroplast development and metabolism was studied by characterization of Arabidopsis thaliana T-DNA insertion lines of NTRC gene (ntrc) and by identification of chloroplast proteins regulated by NTRC. The ntrc plants showed the strongest visible phenotypes when grown under short 8-h photoperiod. This indicates that i) chloroplast NADPH-dependent thioredoxin system is non-redundant to ferredoxinthioredoxin system and that ii) NTRC particularly controls the chloroplast processes that are easily imbalanced in daily light/dark rhythms with short day and long night. I identified four processes and the redox-regulated proteins therein that are potentially regulated by NTRC; i) chloroplast development, ii) starch biosynthesis, iii) aromatic amino acid biosynthesis and iv) detoxification of H₂O₂. Such regulation can be achieved directly by modulating the redox state of intramolecular or intermolecular disulfide bridges of enzymes, or by protecting enzymes from oxidation in conjunction with 2-cysteine peroxiredoxins. This thesis work also demonstrated that the enzymatic antioxidant systems in chloroplasts, ascorbate peroxidases, superoxide dismutase and NTRC-dependent 2-cysteine peroxiredoxins are tightly linked up to prevent the detrimental accumulation of reactive oxygen species in plants.

Liiketoiminnan kehittäminen verkostoitumalla, tutkimus sähkö- ja teleasennustoimialalta

Tällä tutkimuksella annetaan työkaluja pienille mikrotason asennusyrityksille heidän tiellään tuottavampaan ja tehokkaampaan yritystoimintaan. Kehitysmenetelmäksi on valittu verkostoituminen, joka tapahtuu alueellisten toimijoiden kesken ja on lähinnä horisontaalista. Tutkimuksen kohderyhmänä on sähkö-, tele- ja antenniasennusyrittäjät tai alalle aikovat uudet yrittäjät. Luotu malli on sovelias lähes kaikille kiinteistöjen teknisen kunnossapidon alalla toimiville mikroyrityksille. Tutkimuksen teoreettisessa osassa käsitellään verkostoyrittäjyyden perusteita ja syventävästi esitetyn case-mallin mukaista verkostotoiminnan erityispiirteitä. Empiirinen osa koostuu sähköisesti toteutetusta internetpohjaisesta kysely- tutkimuksesta, jonka kohteena on pienet sähkö-, tele- ja antenniasennusyritykset. Kyselytutkimus on toteutettu yhteistyössä alan urakointiliittojen (STUL ry ja SANT ry) kanssa. Kysely noudattaa samoja aihealueita kuin professori Asko Miettisen sähköurakointialalle 1988 toteuttaman raportin SÄHKÖURAKOINTI 2000 kyselylomake pidemmän tarkastelujänteen saamiseksi. Kysely selvittää yritysten nykytilaa ja näkemyksiä alan lähitulevaisuudesta. Empiiristä osaa tuetaan voimakkaasti case- esityksin, jotka pohjautuvat kirjoittajan 40 vuoden yrittäjäkokemukseen tällä alalla, joka on ollut voimakkaastikin lähinnä vertikaalisesti verkottunut. Tutkimus osoittaa, että alan taloudellinen ja toiminnallinenkin kehitys on polkenut paikallaan viimeiset vuosikymmenet, vaikka alan teknologiakehitys on ollut tarkasteluajanjaksona varsin merkittävää. Alan yritysten heikohkojen resurssien vuoks entistä voimakkaampi alueellinen yhteistyö verkostoitumalla on mahdollisuus tuottavampaan yritystoimintaan ja arvontuottoon yritykselle sekä luo mahdollisuuden myös suuntautumisen uusille kehittyneimmille teknologian alueille.