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.

Verbal learning in mild cognitive impairment and alzheimer's disease : behavioural and neural approaches

The main focus of the present thesis was at verbal episodic memory processes that are particularly vulnerable to preclinical and clinical Alzheimer’s disease (AD). Here these processes were studied by a word learning paradigm, cutting across the domains of memory and language learning studies. Moreover, the differentiation between normal aging, mild cognitive impairment (MCI) and AD was studied by the cognitive screening test CERAD. In study I, the aim was to examine how patients with amnestic MCI differ from healthy controls in the different CERAD subtests. Also, the sensitivity and specificity of the CERAD screening test to MCI and AD was examined, as previous studies on the sensitivity and specificity of the CERAD have not included MCI patients. The results indicated that MCI is characterized by an encoding deficit, as shown by the overall worse performance on the CERAD Wordlist learning test compared with controls. As a screening test, CERAD was not very sensitive to MCI. In study II, verbal learning and forgetting in amnestic MCI, AD and healthy elderly controls was investigated with an experimental word learning paradigm, where names of 40 unfamiliar objects (mainly archaic tools) were trained with or without semantic support. The object names were trained during a 4-day long period and a follow-up was conducted one week, 4 weeks and 8 weeks after the training period. Manipulation of semantic support was included in the paradigm because it was hypothesized that semantic support might have some beneficial effects in the present learning task especially for the MCI group, as semantic memory is quite well preserved in MCI in contrast to episodic memory. We found that word learning was significantly impaired in MCI and AD patients, whereas forgetting patterns were similar across groups. Semantic support showed a beneficial effect on object name retrieval in the MCI group 8 weeks after training, indicating that the MCI patients’ preserved semantic memory abilities compensated for their impaired episodic memory. The MCI group performed equally well as the controls in the tasks tapping incidental learning and recognition memory, whereas the AD group showed impairment. Both the MCI and the AD group benefited less from phonological cueing than the controls. Our findings indicate that acquisition is compromised in both MCI and AD, whereas long13 term retention is not affected to the same extent. Incidental learning and recognition memory seem to be well preserved in MCI. In studies III and IV, the neural correlates of naming newly learned objects were examined in healthy elderly subjects and in amnestic MCI patients by means of positron emission tomography (PET) right after the training period. The naming of newly learned objects by healthy elderly subjects recruited a left-lateralized network, including frontotemporal regions and the cerebellum, which was more extensive than the one related to the naming of familiar objects (study III). Semantic support showed no effects on the PET results for the healthy subjects. The observed activation increases may reflect lexicalsemantic and lexical-phonological retrieval, as well as more general associative memory mechanisms. In study IV, compared to the controls, the MCI patients showed increased anterior cingulate activation when naming newly learned objects that had been learned without semantic support. This suggests a recruitment of additional executive and attentional resources in the MCI group.

Dynamical and structural properties of dendrimer macromolecules

This work is devoted to the study of the dynamical and structural properties of dendrimers. Different approaches were used: analytical theory, computer simulation results and experimental NMR studies. The theory of the relaxation spectrum of dendrimer macromolecules was developed. Relaxation processes which are manifest in the local orientational mobility of dendrimer macromolecules were established and studied in detail. Theoretical results and conclusions were used for experimental studies of carbosilane dendimers.

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.

Mild Cognitive Impairment and Early Detection of Alzheimer`s Disease. A Positron Emission Tomography Study

Alzheimer`s disease (AD) is characterised neuropathologically by the presence of extracellular amyloid plaques, intraneuronal neurofibrillary tangles, and cerebral neuronal loss. The pathological changes in AD are believed to start even decades before clinical symptoms are detectable. AD gradually affects episodic memory, cognition, behaviour and the ability to perform everyday activities. Mild cognitive impairment (MCI) represents a transitional state between normal aging and dementia disorders, especially AD. The predictive accuracy of the current and commonly used MCI criteria devide this disorder into amnestic (aMCI) and non-amnestic (naMCI) MCI. It seems that many individuals with aMCI tend to convert to AD. However many MCI individuals will remain stable and some may even recover. At present, the principal drugs for the treatment of AD provide only symptomatic and palliative benefits. Safe and effective mechanism-based therapies are needed for this devastating neurodegenerative disease of later life. In conjunction with the development of new therapeutic drugs, tools for early detection of AD would be important. In future one of the challenges will be to detect at an early stage these MCI individuals who will convert to AD. Methods which can predict which MCI subjects will convert to AD will be much more important if the new drug candidates prove to have disease-arresting or even disease–slowing effects. These types of drugs are likely to have the best efficacy if administered in the early or even in the presymptomatic phase of the disease when the synaptic and neuronal loss has not become too widespread. There is no clinical method to determine with certainly which MCI individuals will progress to AD. However there are several methods which have been suggested as predictors of conversion to AD, e.g. increased [11C] PIB uptake, hippocampal atrophy in MRI, low CSF A beta 42 level, high CSF tau-protein level, apolipoprotein E (APOE) ε4 allele and impairment in episodic memory and executive functions. In the present study subjects with MCI appear to have significantly higher [¹¹C] PIB uptake vs healthy elderly in several brain areas including frontal cortex, the posterior cingulate, the parietal and lateral temporal cortices, putamen and caudate. Also results from this PET study indicate that over time, MCI subjects who display increased [¹¹C] PIB uptake appear to be significantly more likely to convert to AD than MCI subjects with negative [¹¹C] PIB retention. Also hippocampal atrophy seems to increase in MCI individuals clearly during the conversion to AD. In this study [¹¹C] PIB uptake increases early and changes relatively little during the AD process whereas there is progressive hippocampal atrophy during the disease. In addition to increased [¹¹C] PIB retention and hippocampal atrophy, the status of APOE ε4 allele might contribute to the conversion from MCI to AD.

PET and MR imaging in Parkinson’s disease patients with cognitive impairment. A study of dopaminergic dysfunction, amyloid deposition, cortical hypometabolism and brain atrophy

Parkinson’s disease (PD) is the second most common neurodegenerative disorder. It is characterized by a severe loss of substantia nigra dopaminergic neurons leading to dopamine depletion in the striatum. PD affects movement, producing motor symptoms such as rigidity, tremor and bradykinesia. Non-motor symptoms include autonomic dysfunction, neurobehavioral problems and cognitive impairment, which may lead to dementia. The pathophysiological basis of cognitive impairment and dementia in PD is unclear. The aim of this thesis was to study the pathophysiological basis of cognitive impairment and dementia in PD. We evaluated the relation between frontostriatal dopaminergic dysfunction and the cognitive symptoms in PD patients with [18F]Fdopa PET. We also combined [C]PIB and [¹⁸F]FDG PET and magnetic resonance imaging in PD patients with and without dementia. In addition, we analysed subregional striatal [¹⁸F]Fdopa PET data to find out whether a simple ratio approach would reliably separate PD patients from healthy controls. The impaired dopaminergic function of the frontostriatal regions was related to the impairment in cognitive functions, such as memory and cognitive processing in PD patients. PD patients with dementia showed an impaired glucose metabolism but not amyloid deposition in the cortical brain regions, and the hypometabolism was associated with the degree of cognitive impairment. PD patients had atrophy, both in the prefrontal cortex and in the hippocampus, and the hippocampal atrophy was related to impaired memory. A single 15-min scan 75 min after a tracer injection seemed to be sufficient for separating patients with PD from healthy controls in a clinical research environment. In conclusion, the occurrence of cognitive impairment and dementia in PD seems to be multifactorial and relates to changes, such as reduced dopaminergic activity, hypometabolism, brain atrophy and rarely to amyloid accumulation.

Formal development and quantitative verification of dependable systems

-

Sustainable Computer Science Education

As the world becomes more technologically advanced and economies become globalized, computer science evolution has become faster than ever before. With this evolution and globalization come the need for sustainable university curricula that adequately prepare graduates for life in the industry. Additionally, behavioural skills or “soft” skills have become just as important as technical abilities and knowledge or “hard” skills. The objective of this study was to investigate the current skill gap that exists between computer science university graduates and actual industry needs as well as the sustainability of current computer science university curricula by conducting a systematic literature review of existing publications on the subject as well as a survey of recently graduated computer science students and their work supervisors. A quantitative study was carried out with respondents from six countries, mainly Finland, 31 of the responses came from recently graduated computer science professionals and 18 from their employers. The observed trends suggest that a skill gap really does exist particularly with “soft” skills and that many companies are forced to provide additional training to newly graduated employees if they are to be successful at their jobs.

Measuring Effectiveness of Marketing Message: The Role of Verbal, Visual and Brand Elements

The aim of this paper is to study the role of verbal, visual and brand elements while meas-uring effectiveness of marketing message. The thesis is written in the context of mobile gaming industry. The object of the study is marketing message. To achieve the aim, the main research question was formulated: How do the elements of marketing message, such as verbal, visual and brand, affect the consumer’s attitude toward the ad, emotional response and attention capture? The theory development chapter lays on three corner stones – analysis of previous litera-ture on marketing message and its elements, namely verbal, visual and brand; overview of literature on attitude formation and particularly attitude toward the ad. In addition, investiga-tion of key points of emotional response and attention capture literature finalizes the chap-ter. The empirical part consists of experiment, conducted with 27 participants. Experiment includes the self-report semantically anchored scale, measuring the attitude toward the ad, as well as autonomic measures – eye tracking (attention capture) and facial expressions (emotional response). The results of the experiment showed that the size of the brand element – the logo – has an effect on the attention capture and the overall attitude toward the ad. The bigger the logo, the more time people spend viewing it, and they realise the message is more educa-tional and factual. The measure related to the visual element – the visual complexity – in-creases the intensity of participant’s facial expression. While the measure of verbal ele-ment – the contrast between text and background colours – leads to a better attitude to-ward the ad. The higher the contrast between text and background, the more known the message appears to the viewer.

Development and characterization of thin printed films for gas sensing applications

The monitoring and control of hydrogen sulfide (H2S) level is of great interest for a wide range of application areas including food quality control, defense and antiterrorist applications and air quality monitoring e.g. in mines. H2S is a very poisonous and flammable gas. Exposure to low concentrations of H2S can result in eye irritation, a sore throat and cough, shortness of breath, and fluid retention in the lungs. These symptoms usually disappear in a few weeks. Long-term, low-level exposure may result in fatigue, loss of appetite, headache, irritability, poor memory, and dizziness. Higher concentrations of 700 - 800 ppm tend to be fatal. H2S has a characteristic smell of rotten egg. However, because of temporary paralysis of olfactory nerves, the smelling capability at concentrations higher than 100 ppm is severely compromised. In addition, volatile H2S is one of the main products during the spoilage of poultry meat in anaerobic conditions. Currently, no commercial H2S sensor is available which can operate under anaerobic conditions and can be easily integrated in the food packaging. This thesis presents a step-wise progress in the development of printed H2S gas sensors. Efforts were made in the formulation, characterization and optimization of functional printable inks and coating pastes based on composites of a polymer and a metal salt as well as a composite of a metal salt and an organic acid. Different processing techniques including inkjet printing, flexographic printing, screen printing and spray coating were utilized in the fabrication of H2S sensors. The dispersions were characterized by measuring turbidity, surface tension, viscosity and particle size. The sensing films were characterized using X-ray photoelectron spectroscopy, X-ray diffraction, atomic force microscopy and an electrical multimeter. Thin and thick printed or coated films were developed for gas sensing applications with the aim of monitoring the H2S concentrations in real life applications. Initially, a H2S gas sensor based on a composite of polyaniline and metal salt was developed. Both aqueous and solvent-based dispersions were developed and characterized. These dispersions were then utilized in the fabrication of roll-to-roll printed H2S gas sensors. However, the humidity background, long term instability and comparatively lower detection limit made these sensors less favourable for real practical applications. To overcome these problems, copper acetate based sensors were developed for H2S gas sensing. Stable inks with excellent printability were developed by tuning the surface tension, viscosity and particle size. This enabled the formation of inkjet-printed high quality copper acetate films with excellent sensitivity towards H2S. Furthermore, these sensors showed negligible humidity effects and improved selectivity, response time, lower limit of detection and coefficient of variation. The lower limit of detection of copper acetate based sensors was further improved to sub-ppm level by incorporation of catalytic gold nano-particles and subsequent plasma treatment of the sensing film. These sensors were further integrated in an inexpensive wirelessly readable RLC-circuit (where R is resistor, L is inductor and C is capacitor). The performance of these sensors towards biogenic H2S produced during the spoilage of poultry meat in the modified atmosphere package was also demonstrated in this thesis. This serves as a proof of concept that these sensors can be utilized in real life applications.

Organizational creativity – Hegemonic and alternative discourses

SUMMARY Organizational creativity – hegemonic and alternative discourses Over the course of recent developments in the societal and business environment, the concept of creativity has been brought into new arenas. The rise of ‘creative industries’ and the idea of creativity as a form of capital have attracted the interests of business and management professionals – as well as academics. As the notion of creativity has been adopted in the organization studies literature, the concept of organizational creativity has been introduced to refer to creativity that takes place in an organizational context. This doctoral thesis focuses on organizational creativity, and its purpose is to explore and problematize the hegemonic organizational creativity discourse and to provide alternative viewpoints for theorizing about creativity in organizations. Taking a discourse theory approach, this thesis, first, provides an outline of the currently predominant, i.e. hegemonic, discourse on organizational creativity, which is explored regarding themes, perspectives, methods and paradigms. Second, this thesis consists of five studies that act as illustrations of certain alternative viewpoints. Through these exemplary studies, this thesis sheds light on the limitations and taken-for-granted aspects of the hegemonic discourse and discusses what these alternative viewpoints could offer for the understanding of and theorizing for organizational creativity. This study leans on an assumption that the development of organizational creativity knowledge and the related discourse is not inevitable or progressive but rather contingent. The organizational creativity discourse has developed in a certain direction, meaning that some themes, perspectives, and methods, as well as assumptions, values, and objectives, have gained a hegemonic position over others, and are therefore often taken for granted and considered valid and relevant. The hegemonization of certain aspects, however, contributes to the marginalization of others. The thesis concludes that the hegemonic discourse on organizational creativity is based on an extensive coverage of certain themes and perspectives, such as those focusing on individual cognitive processes, motivation, or organizational climate and their relation to creativity, to name a few. The limited focus on some themes and the confinement to certain prevalent perspectives, however, results in the marginalization of other themes and perspectives. The negative, often unintended, consequences, implications, and side effects of creativity, the factors that might hinder or prevent creativity, and a deeper inquiry into the ontology and epistemology of creativity have attracted relatively marginal interest. The material embeddedness of organizational creativity, in other words, the physical organizational environment as well as the human body and its non-cognitive resources, has largely been overlooked in the hegemonic discourse, although thereare studies in this area that give reason to believe that they might prove relevant for the understanding of creativity. The hegemonic discourse is based on an individual-centered understanding of creativity which overattributes creativity to an individual and his/her cognitive capabilities, while simultaneously neglecting how, for instance, the physical environment, artifacts, social dynamics and interactions condition organizational creativity. Due to historical reasons, quantitative as well as qualitative yet functionally- oriented studies have predominated the organizational creativity discourse, although studies falling into the interpretationist paradigm have gradually become more popular. The two radical paradigms, as well as methodological and analytical approaches typical of radical research, can be considered to hold a marginal position in the field of organizational creativity. The hegemonic organizational creativity discourse has provided extensive findings related to many aspects of organizational creativity, although the con- ceptualizations and understandings of organizational creativity in the hegemonic discourse are also in many respects limited and one-sided. The hegemonic discourse is based on an assumption that creativity is desirable, good, necessary, or even obligatory, and should be encouraged and nourished. The conceptualiza- tions of creativity favor the kind of creativity which is useful, valuable and can be harnessed for productivity. The current conceptualization is limited to the type of creativity that is acceptable and fits the managerial ideology, and washes out any risky, seemingly useless, or negative aspects of creativity. It also limits the possible meanings and representations that ‘creativity’ has in the respective discourse, excluding many meanings of creativity encountered in other discourses. The excessive focus on creativity that is good, positive, productive and fits the managerial agenda while ignoring other forms and aspects of creativity, however, contributes to the dilution of the notion. Practices aimed at encouraging the kind of creativity may actually entail a risk of fostering moderate alterations rather than more radical novelty, as well as management and organizational practices which limit creative endeavors, rather than increase their likelihood. The thesis concludes that although not often given the space and attention they deserve, there are alternative conceptualizations and understandings of organizational creativity which embrace a broader notion of creativity. The inability to accommodate the ‘other’ understandings and viewpoints within the organizational creativity discourse runs a risk of misrepresenting the complex and many-sided phenomenon of creativity in organizational context. Keywords: Organizational creativity, creativity, organization studies, discourse theory, hegemony

Hierarchy and Expansiveness in Two-Dimensional Subshifts of Finite Type

Subshifts are sets of configurations over an infinite grid defined by a set of forbidden patterns. In this thesis, we study two-dimensional subshifts offinite type (2D SFTs), where the underlying grid is Z2 and the set of for-bidden patterns is finite. We are mainly interested in the interplay between the computational power of 2D SFTs and their geometry, examined through the concept of expansive subdynamics. 2D SFTs with expansive directions form an interesting and natural class of subshifts that lie between dimensions 1 and 2. An SFT that has only one non-expansive direction is called extremely expansive. We prove that in many aspects, extremely expansive 2D SFTs display the totality of behaviours of general 2D SFTs. For example, we construct an aperiodic extremely expansive 2D SFT and we prove that the emptiness problem is undecidable even when restricted to the class of extremely expansive 2D SFTs. We also prove that every Medvedev class contains an extremely expansive 2D SFT and we provide a characterization of the sets of directions that can be the set of non-expansive directions of a 2D SFT. Finally, we prove that for every computable sequence of 2D SFTs with an expansive direction, there exists a universal object that simulates all of the elements of the sequence. We use the so called hierarchical, self-simulating or fixed-point method for constructing 2D SFTs which has been previously used by Ga´cs, Durand, Romashchenko and Shen.