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.

Contextualizing entrepreneurial intentions : a multiple case study on entrepreneurial cognition and perception

Avhandlingen behandlar entreprenöriella intentioner och individens uppfattningar om entreprenörskap. Om vi vill främja entreprenörskap så räcker det inte att vi förstår vilken nytta samhället kan ha av entreprenörer (arbetsplatser, mera skatteinkomster osv.). Vi måste förstå varför entreprenörskap är intressant och attraktiv ur individens synvinkel. Just den frågan har varit central inom kognitiv entreprenörskapsforskning de senaste 10 åren har vår förståelse för entreprenörer ökat betydligt tack vare den forskningen. Problemet med existerande forskning är att uppfattad genomförbarhet och uppfattad attraktivitet, dvs. de attityder som sägs leda till entreprenöriella intentioner, beskriver enbart vilken attityd individen generellt har till entreprenörskap. Enligt tidigare forskningsresultat så är det skillnad på generella attityder till en handling och attityder till att genomföra just den handlingen. Vill vi veta om individen kan tänka sig starta och driva ett företag så måste vi alltså studera individens attityd till att utföra just den specifika handlingen. Enligt avhandlingens forskningsresultat så kan vi lära oss mera om attityder till entreprenörskap genom att studera också motivation och mål. På så sätt kan vi förstå varför en del väljer att bli entreprenörer medan andra väljer att låta bli, även om de utåt sett har samma möjligheter att bli entreprenörer.

Autologous Stem Cell Transplantation In Multiple Myeloma

Background. Multiple myeloma (MM) is the second most common hematologic malignancy after lymphomas In Finland: the annual incidence of MM is approximately 200. For three decades the median survival remained at 3 to 4 years from diagnosis until high-dose melphalan treatment supported by autologous stem cell transplantation (ASCT) became the standard of care for newly diagnosed MM since the mid 1990’s and the median survival increased to 5 – 6 years. This study focuses on three important aspects of ASCT, namely 1) stem cell mobilization, 2) single vs. double ASCT as initial treatment, and 3) the role of minimal residual disease (MRD) for longterm outcome. Aim. The aim of this series of studies was to evaluate the outcomes of MM patients and the ASCT procedure at the Turku University Central Hospital, Finland. First, we tried to identify which factors predict unsuccessful mobilization of autologous stem cells. Second, we compared the use of short-acting granulocyte-colony stimulating factor (GCSF) with long-acting G-CSF as mobilization agents. Third, one and two successive ASCTs were compared in 100 patients with MM. Fourth, for patients in complete response (CR) after stem cell transplantation (SCT), patient-specific probes for quantitative allele-specific oligonucleotide polymerase-chain reaction (qASO-PCR) measurements were designed to evaluate MRD and its importance for long-term outcome. Results. The quantity of previous chemotherapy and previous interferon use were significant pre-mobilization factors that predicted mobilization failure, together with some factors related to mobilization therapy itself, such as duration and degree of cytopenias and occurrence of sepsis. Short-acting and long-acting G-CSF combined with chemotherapy were comparable as stem cells mobilizers. The progression free (PFS) and overall survival (OS) tended to be longer after double ASCT than after single ASCT with a median follow-up time of 4 years, but this difference disappeared as the follow-up time increased. qASO-PCR was a good and sensitive divider of the CR patients into two prognostic groups: MRD low/negative (≤ 0.01%) and MRD high (>0.01%) groups with a significant difference in PFS and suggestively also in OS. Conclusions. When the factors prediciting a poor outcome of stem cell mobilization prevail, it is possible to identify those patients who need specific efforts to maximize the mobilization efficacy. Long-acting pegfilgrastim is a practical and effective alternative to short-acting filgrastim for mobilization therapy. There is no need to perform double ASCT on all eligible patients. MRD assessment with qASO-PCR is a sensitive method for evaluation of the depth of the CR response and can be used to predict long-term outcome after ACST.

Enabling constructive alignment in programming instruction

In this thesis, simple methods have been sought to lower the teacher’s threshold to start to apply constructive alignment in instruction. From the phases of the instructional process, aspects that can be improved with little effort by the teacher have been identified. Teachers have been interviewed in order to find out what students actually learn in computer science courses. A quantitative analysis of the structured interviews showed that in addition to subject specific skills and knowledge, students learn many other skills that should be mentioned in the learning outcomes of the course. The students’ background, such as their prior knowledge, learning style and culture, affects how they learn in a course. A survey was conducted to map the learning styles of computer science students and to see if their cultural background affected their learning style. A statistical analysis of the data indicated that computer science students are different learners than engineering students in general and that there is a connection between the student’s culture and learning style. In this thesis, a simple self-assessment scale that is based on Bloom’s revised taxonomy has been developed. A statistical analysis of the test results indicates that in general the scale is quite reliable, but single students still slightly overestimate or under-estimate their knowledge levels. For students, being able to follow their own progress is motivating, and for a teacher, self-assessment results give information about how the class is proceeding and what the level of the students’ knowledge is.

SOCIAL MEDIA IN INTERNATIONAL BRAND COMMUNICATION OF SMES - A multiple case study of small Finnish design-intensive companies

Social media is a rather new phenomenon which has revolutionised the world of online communication. However, academic research on how companies can benefit from social media is lacking. The research objective of this thesis was to examine the use of social media in international brand communication of small Finnish design-intensive companies. Therefore, this research contributes also to the research gap in SME branding. The focus was on communication targeted at consumers. The research was carried out as a mixed methods research employing the questionnaire and multiple case study methods. The questionnaire was used to gather preliminary information on Finnish design-intensive companies and to provide an eligible list of companies for deeper examination. Then, four case companies were studied in more depth. The empirical evidence of the case companies was mainly gathered through theme interviews. The results of the questionnaire shed light on the internationalisation of small Finnish designintensive companies. On average, the companies had internationalised rather quickly after they had been founded. However, the share of exports was rather low in most of the companies. The results revealed also that social media was already used widely in the exporting companies and the use can be expected to grow in future. The findings of the multiple case study suggest that branding activities in small Finnish designintensive companies are constrained by limited resources and skills. In addition, the branding activities are strongly guided by the vision and values of the entrepreneur(s) rather than extensive marketing research. The brand structure was simple in all case companies and they aimed at having a standardised brand image across markets. However, all case companies had faced a need for some adaptation of their international brand communication. Internationally important brand communication channels were international fairs, the internet, word-of-mouth and social media. Social media offered a cost-effective brand communication channel for the case companies. It was used for various purposes, such as creating brand awareness and affecting how the brand is perceived. The entrepreneurs found the use of social media to be rather easy and the case companies had not faced any major challenges. However, the companies had recognised that communication in social media requires consistency and planning. The planning was rather informal and stayed on a general level. Overall, the utilisation of social media in the case companies was limited by a lack of resources. It seemed to affect especially the follow-up of brand communication in social media which stayed rather superficial.

Building object-oriented software with the D-Bus messaging system

Object-oriented programming is a widely adopted paradigm for desktop software development. This paradigm partitions software into separate entities, objects, which consist of data and related procedures used to modify and inspect it. The paradigm has evolved during the last few decades to emphasize decoupling between object implementations, via means such as explicit interface inheritance and event-based implicit invocation. Inter-process communication (IPC) technologies allow applications to interact with each other. This enables making software distributed across multiple processes, resulting in a modular architecture with benefits in resource sharing, robustness, code reuse and security. The support for object-oriented programming concepts varies between IPC systems. This thesis is focused on the D-Bus system, which has recently gained a lot of users, but is still scantily researched. D-Bus has support for asynchronous remote procedure calls with return values and a content-based publish/subscribe event delivery mechanism. In this thesis, several patterns for method invocation in D-Bus and similar systems are compared. The patterns that simulate synchronous local calls are shown to be dangerous. Later, we present a state-caching proxy construct, which avoids the complexity of properly asynchronous calls for object inspection. The proxy and certain supplementary constructs are presented conceptually as generic object-oriented design patterns. The e ect of these patterns on non-functional qualities of software, such as complexity, performance and power consumption, is reasoned about based on the properties of the D-Bus system. The use of the patterns reduces complexity, but maintains the other qualities at a good level. Finally, we present currently existing means of specifying D-Bus object interfaces for the purposes of code and documentation generation. The interface description language used by the Telepathy modular IM/VoIP framework is found to be an useful extension of the basic D-Bus introspection format.

A systematic literature review on agile project

In the 21st century, agile project management (APM) has emerged as a major evolutionary step in the area of software project management. APM is defined as a conceptual framework, consisting of various methods such as Scrum, quick respond to change, better customer collaboration, minimum coverage of documentation and extreme programming (XP) that facilitates to produce working software in multiple iterations with team work. Because agile project management has become more popular in the software industry in recent years, it constitutes an interesting and comprehensive research topic. This thesis presents a systematic literature review (SLR) of published research articles concerning agile project management. Based on a predefined search strategy, 273 such articles were identified, of which 44 were included in the review. The selected 44 articles were published between years 2005 and 2012. The thesis defines a review process by developing a review protocol and presenting the results of the review. The results are expected to provide researchers, software man

Magnetic Resocance Imaging Methods in the Follow-up of Multiple Sclerosis and in Farby Disease

Multiple sclerosis (MS) is a chronic immune-mediated inflammatory disorder of the central nervous system. MS is the most common disabling central nervous system (CNS) disease of young adults in the Western world. In Finland, the prevalence of MS ranges between 1/1000 and 2/1000 in different areas. Fabry disease (FD) is a rare hereditary metabolic disease due to mutation in a single gene coding α-galactosidase A (alpha-gal A) enzyme. It leads to multi-organ pathology, including cerebrovascular disease. Currently there are 44 patients with diagnosed FD in Finland. Magnetic resonance imaging (MRI) is commonly used in the diagnostics and follow-up of these diseases. The disease activity can be demonstrated by occurrence of new or Gadolinium (Gd)-enhancing lesions in routine studies. Diffusion-weighted imaging (DWI) and diffusion tensor imaging (DTI) are advanced MR sequences which can reveal pathologies in brain regions which appear normal on conventional MR images in several CNS diseases. The main focus in this study was to reveal whether whole brain apparent diffusion coefficient (ADC) analysis can be used to demonstrate MS disease activity. MS patients were investigated before and after delivery and before and after initiation of diseasemodifying treatment (DMT). In FD, DTI was used to reveal possible microstructural alterations at early timepoints when excessive signs of cerebrovascular disease are not yet visible in conventional MR sequences. Our clinical and MRI findings at 1.5T indicated that post-partum activation of the disease is an early and common phenomenon amongst mothers with MS. MRI seems to be a more sensitive method for assessing MS disease activity than the recording of relapses. However, whole brain ADC histogram analysis is of limited value in the follow-up of inflammatory conditions in a pregnancy-related setting because the pregnancy-related physiological effects on ADC overwhelm the alterations in ADC associated with MS pathology in brain tissue areas which appear normal on conventional MRI sequences. DTI reveals signs of microstructural damage in brain white matter of FD patients before excessive white matter lesion load can be observed on conventional MR scans. DTI could offer a valuable tool for monitoring the possible effects of enzyme replacement therapy in FD.

Product placement on personal blogs: a multiple case study from companies’ perspective

As traditional advertising is losing its value in corporations’ marketing, new and growing social media marketing channels are increasing their importance. The growing interest in the media and the lack of research on the subject create a clear need for this study. The objectives are to increase understanding about product placement in personal blogs and examine the benefits as well as the downsides created by this marketing channel and present the requirements for success. The study also takes a stand on what kind of things a successful product placement strategy in personal blogs includes and what points should be considered when creating a strategy. The study’s empirical part consists of seven thematic interviews with case companies’ representatives and one agent. The study’s personal blogs were delimited to consist only lifestyle and fashion blogs. The results show that product placement on personal lifestyle and fashion blogs is a strongly growing marketing channel and it is best suited to reach young women. It is also a very good channel to change and improve brand image. Via personal blogs it is possible to reach a large number of consumers with a very cost-efficient manner. Thus utilizing the channel is suitable for all companies regardless of the size of the marketing budget. Of course, companies have to consider the suitability of their product to the themes of blogs. Executing a successful campaign in this media requires good relationship management skills and understanding of this particular media as the final content is not in advertiser’s hands. As a marketing channel, personal blogs differ highly from traditional marketing channels because of their constantly changing nature and multidirectional quality where several parties are in interaction.

Applying Qt to programming courses

Työn tavoitteena on sovittaa Qt opetussuunnitelmaan. Työ sisältää Qt:n lyhyen historian sekä katsauksen sen nykytilaan. Nykytilakatsaus sisältää kolme näkökulmaa: miten ja missä Qt:ta voidaan käyttää, sekä sen käyttötarkoitukset teollisuudessa ja opetuksessa. Työn tuloksena syntyy luentodemonstraatiota varten pieni ohjelma, joka on luotu C++:n ja Qt Designerin avulla ja käyttää olennaisia käyttöliittymäkirjaston olioita. Toisena tuotteena työssä syntyy luonnos Lappeenrannan Teknillisen Yliopiston ohjelmointikursseista, joissa Qt:ta voitaisiin käyttää avustamaan opiskelijoita näkemään, miten graafinen ohjelma luodaan sekä valmentaa heitä ymmärtämään viitekehyksien ja graafisten kirjastojen tuomat edut.

Laajeneva ohjelmointiesimerkkikokoelma Ohjelmoinnin perusteet -kurssille

Lappeenrannan teknillisen yliopiston Ohjelmoinnin perusteet -kurssin osallistujilla on ollut vaikeuksia aloittelevan ohjelmoijan kannalta laajojen ohjelmien tuottamisessa ja tällaisten ohjelmien jäsentelemisessä aliohjelmiksi. Kurssin harjoitustyö on kuitenkin vaatinut tällaisen laajan ja jäsennellyn ohjelman tuottamista ja osallistujien ongelmat edellä mainittujen asioiden suhteen ovat ilmenneet palautetuista harjoitustöistä. Tässä työssä pyritään tuottamaan ratkaisu edellä kuvattuun ongelmaan konstruktiivisen tutkimuksen keinoin. Työssä tuotettava konstruktio on ohjelmointiesimerkkikokoelma ja sen avulla kurssin osallistujille voidaan esitellä kuinka laajoja ohjelmia voidaan tuottaa vaiheittain ja kuinka tällaisia ohjelmia voidaan jäsennellä aliohjelmiksi.

When Metadata Collides: Lessons on Combining Records from Multiple Repository Systems.

Presentation at Open Repositories 2014, Helsinki, Finland, June 9-13, 2014