INTERACTIONS: DESIGN, IMPLEMENTATION AND EVALUATION OF A COMPUTATIONAL TOOL FOR TEACHING INTERMOLECULAR FORCES IN HIGHER EDUCATION

Intermolecular forces are a useful concept that can explain the attraction between particulate matter as well as numerous phenomena in our lives such as viscosity, solubility, drug interactions, and dyeing of fibers. However, studies show that students have difficulty understanding this important concept, which has led us to develop a free educational software in English and Portuguese. The software can be used interactively by teachers and students, thus facilitating better understanding. Professors and students, both graduate and undergraduate, were questioned about the software quality and its intuitiveness of use, facility of navigation, and pedagogical application using a Likert scale. The results led to the conclusion that the developed computer application can be characterized as an auxiliary tool to assist teachers in their lectures and students in their learning process of intermolecular forces.

Computational Evaluation of Print Unevenness According to Human Vision

Print quality and the printability of paper are very important attributes when modern printing applications are considered. In prints containing images, high print quality is a basic requirement. Tone unevenness and non uniform glossiness of printed products are the most disturbing factors influencing overall print quality. These defects are caused by non ideal interactions of paper, ink and printing devices in high speed printing processes. Since print quality is a perceptive characteristic, the measurement of unevenness according to human vision is a significant problem. In this thesis, the mottling phenomenon is studied. Mottling is a printing defect characterized by a spotty, non uniform appearance in solid printed areas. Print mottle is usually the result of uneven ink lay down or non uniform ink absorption across the paper surface, especially visible in mid tone imagery or areas of uniform color, such as solids and continuous tone screen builds. By using existing knowledge on visual perception and known methods to quantify print tone variation, a new method for print unevenness evaluation is introduced. The method is compared to previous results in the field and is supported by psychometric experiments. Pilot studies are made to estimate the effect of optical paper characteristics prior to printing, on the unevenness of the printed area after printing. Instrumental methods for print unevenness evaluation have been compared and the results of the comparison indicate that the proposed method produces better results in terms of visual evaluation correspondence. The method has been successfully implemented as ail industrial application and is proved to be a reliable substitute to visual expertise.

Conference Proceedings. Assessing Language and (Inter) cultural Competences in Higher Education. Evaluation des compétences langagières et (inter) culturelles dans l’enseignement supérieur

This epublication contains papers that were presented at the conference “Assessing Language and (Inter) cultural Competences in Higher Education” which took place at the University of Turku (Finland) on 30.8.1.9.2007. The online proceedings may be downloaded and used provided the source is acknowledged.

Studies on 68Ga-Based Agents for PET Imaging of Cancer and Inflammation

Studies on ⁶⁸Ga-Based Agents for PET Imaging of Cancer and Inflammation Positron emission tomography (PET) is based on the use of radiolabeled agents and facilitates in vivo imaging of biological processes, such as cancer. Because the detection of cancer is demanding and is often obscured by inflammation, there is a demand for better PET imaging agents. The aim was to preliminarily evaluate new PET agents for imaging cancer and inflammation using experimental models. ⁶⁸Ga-chloride and peptides, ⁶⁸Ga-labeled through 1,4,7,10-tetraazacyclododecane-1,4,7,10-tetraacetic acid (DOTA), targeting matrix metalloproteinase-9 (MMP-9) were tested for tumor imaging. In addition, a ⁶⁸Ga-DOTA-conjugated peptide targeting vascular adhesion protein-1 (VAP-1), was tested for inflammation imaging. The ⁶⁸Ga-based imaging agents described here showed potential features by passing the essential in vitro tests, proceeding further to preclinical in vivo evaluation and being able to visualize the target. The target uptake and target-to-background ratios of ⁶⁸Ga-based agents were, however, not optimal. ⁶⁸Ga-chloride showed slow clearance caused by its binding to blood transferrin. In the case of ⁶⁸Ga-DOTA-peptides low in vivo stability and/or low lipophilicity led to too rapid blood clearance and urinary excretion. The properties of ⁶⁸Ga-labeled peptides are modifiable, as shown with matrix metalloproteinase-9 targeting ligands. In the conclusion of this PhD thesis, ⁶⁸Ga-based agents for PET imaging of cancer and inflammation could be applied in the development of drugs, earlier diagnostics and following-up of the efficacy of therapies.

Tool-supported invariant-based programming

The development of correct programs is a core problem in computer science. Although formal verification methods for establishing correctness with mathematical rigor are available, programmers often find these difficult to put into practice. One hurdle is deriving the loop invariants and proving that the code maintains them. So called correct-by-construction methods aim to alleviate this issue by integrating verification into the programming workflow. Invariant-based programming is a practical correct-by-construction method in which the programmer first establishes the invariant structure, and then incrementally extends the program in steps of adding code and proving after each addition that the code is consistent with the invariants. In this way, the program is kept internally consistent throughout its development, and the construction of the correctness arguments (proofs) becomes an integral part of the programming workflow. A characteristic of the approach is that programs are described as invariant diagrams, a graphical notation similar to the state charts familiar to programmers. Invariant-based programming is a new method that has not been evaluated in large scale studies yet. The most important prerequisite for feasibility on a larger scale is a high degree of automation. The goal of the Socos project has been to build tools to assist the construction and verification of programs using the method. This thesis describes the implementation and evaluation of a prototype tool in the context of the Socos project. The tool supports the drawing of the diagrams, automatic derivation and discharging of verification conditions, and interactive proofs. It is used to develop programs that are correct by construction. The tool consists of a diagrammatic environment connected to a verification condition generator and an existing state-of-the-art theorem prover. Its core is a semantics for translating diagrams into verification conditions, which are sent to the underlying theorem prover. We describe a concrete method for 1) deriving sufficient conditions for total correctness of an invariant diagram; 2) sending the conditions to the theorem prover for simplification; and 3) reporting the results of the simplification to the programmer in a way that is consistent with the invariantbased programming workflow and that allows errors in the program specification to be efficiently detected. The tool uses an efficient automatic proof strategy to prove as many conditions as possible automatically and lets the remaining conditions be proved interactively. The tool is based on the verification system PVS and i uses the SMT (Satisfiability Modulo Theories) solver Yices as a catch-all decision procedure. Conditions that were not discharged automatically may be proved interactively using the PVS proof assistant. The programming workflow is very similar to the process by which a mathematical theory is developed inside a computer supported theorem prover environment such as PVS. The programmer reduces a large verification problem with the aid of the tool into a set of smaller problems (lemmas), and he can substantially improve the degree of proof automation by developing specialized background theories and proof strategies to support the specification and verification of a specific class of programs. We demonstrate this workflow by describing in detail the construction of a verified sorting algorithm. Tool-supported verification often has little to no presence in computer science (CS) curricula. Furthermore, program verification is frequently introduced as an advanced and purely theoretical topic that is not connected to the workflow taught in the early and practically oriented programming courses. Our hypothesis is that verification could be introduced early in the CS education, and that verification tools could be used in the classroom to support the teaching of formal methods. A prototype of Socos has been used in a course at Åbo Akademi University targeted at first and second year undergraduate students. We evaluate the use of Socos in the course as part of a case study carried out in 2007.

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.

Evaluation of energy efficiency and best available techniques in pumping processes

The potential for enhancing the energy efficiency of industrial pumping processes is estimated to be in some cases up to 50 %. One way to define further this potential is to implement techniques in accordance to definition of best available techniques in pumping applications. These techniques are divided into three main categories: Design, control method & maintenance and distribution system. In the theory part of this thesis first the definition of best available techniques (BAT) and its applicability on pumping processes is issued. Next, the theory around pumping with different pump types is handled, the main stress being in centrifugal pumps. Other components needed in a pumping process are dealt by presenting different control methods, use of an electric motor, variable speed drive and the distribution system. Last part of the theory is about industrial pumping processes from water distribution, sewage water and power plant applications, some of which are used further on in the empirical part as example cases. For the empirical part of this study four case studies on typical pumping processes from older Master’s these were selected. Firstly the original results were analyzed by studying the distribution of energy consumption between different system components and using the definition of BAT in pumping, possible ways to improve energy efficiency were evaluated. The goal in this study was that by the achieved results it would be possible to identify the characteristic energy consumption of these and similar pumping processes. Through this data it would then be easier to focus energy efficiency actions where they might be the most applicable, both technically and economically.

Vaccination Competence - The Concept and Evaluation

The purpose of this two-phase study was to define the concept of vaccination competence and assess the vaccination competence of graduating public health nurse students (PHN students) and public health nurses (PHNs) in Finland, with the goal of promoting and maintaining vaccination competence and developing vaccination education. The first phase of the study included semi-structured interviews with vaccination professionals, graduating PHN students and clients (a total of n=40), asking them to describe vaccination competence as well as the factors strengthening and weakening it. The data were analyzed through content analysis. In the second phase of the study, structured instruments were developed, and vaccination competence of PHN students (n=129) in Finland and PHNs (n=405) was assessed using a self-assessment scale (VAS) and taking a knowledge test. PHNs were used as a reference group, enabling us to determine whether a satisfactory level of vaccination competence was achieved by the end of studies, or whether it was gained through work experience vaccinating clients. The data were collected from five polytechnic institutions and seven health centers located in various parts of the country. The data were collected using instruments developed for this study, and were analyzed statistically. In the first phase, based on the results of the interviews, vaccination competence was defined as a large multi-faceted entity, including the concepts of competent vaccinator, competent implementation of the vaccination, and the outcome of the implementation. Semi-structured interviews revealed that factors strengthening and weakening vaccination competence were connected to the vaccinator, the client being vaccinated, the vaccination environment and vaccinator education. On the whole, factors strengthening and weakening vaccination were the opposite of each other. In the second phase, on the self-assessment of vaccination competence, students rated themselves as significantly lower than working professionals. On the knowledge test, the percentage of correct answers was lower for students than PHNs. When all background variables were taken into account in multivariate analysis, there was no longer a significant difference between the students and PHNs on the self-assessment. However, in multivariate analysis, the PHNs still performed better than students on the knowledge test. For this study, a satisfactory level of vaccination competence was defined as a mean of 8.0 on the self-assessment and 80% correct answers on the knowledge test. Based on these criteria, students almost reached the level of satisfactory in their overall self-assessment, and PHNs did. Both groups, however, did rank themselves as satisfactory in some sum variables. On the knowledge test the students did not achieve a level of satisfactory (80%) in their total score, though PHNs did. As before, both groups did achieve a level of satisfactory in several sum variables. Further research and development should focus on vaccination education, the testing of vaccination competence and vaccination practices in clinical practice, as well as on developing the measurement tools.

In vitro EVALUATION OF EUCALYPTUS ECTOMYCORRHIZAE ON SUBSTRATE WITH PHOSPHORUS DOSES FOR FUNGAL PRE-SELECTION

The benefit promoted by ectomycorrhizal depends on the interaction between symbionts and phosphorus (P) contents. Phosphorus effect on ectomycorrhizal formation and the effectiveness of these in promoting plant growth for fungal pre-selection were assessed under in vitro conditions. For P effect evaluation, Eucalyptus urophylla seedlings inoculated with four Pisolithus sp. isolates and others non-inoculated were grown on substrate containing 0.87, 1.16 and 1.72 mg P per plant. For evaluation of effectiveness and fungal pre-selection, other 30 isolates of Pisolithus sp., Pisolithus microcarpus ITA06 isolate, Amanita muscaria AM16 isolate, Scleroderma areolatum SC129 isolate were studied. D26 isolate promoted the highest plant heights for the three P doses, D51 at the lower dose and D72 at the intermediate dose. P doses did not influenced shoot fresh weight and fungal colonization. In the pre-selection of fungi, 14 isolates of Pisolithus sp., P. microcarpus ITA06 isolate and S. areolatum SC129isolate increased plant height and fresh weight. D82 isolate of Pisolithus sp. had effect singly on plant height while D17 and D58 on fresh weight. Of these, only D15, D17, D58 and ITA06 had typical ectomycorrhizae. The cultivation in vitro has shown adequate for pre-selection of ectomycorrhizal fungi. Colonization and benefits depend on species and isolate. D15, D17 and D58 of Pisolithus sp. and P. microcarpus isolate ITA06 are the most promising for nursery studies.

18F-Labeled Presynaptic Dopaminergic Tracers. Synthesis, Radiochemical Analyses, and Preclinical Evaluation of [18F]FDOPA and [18F]CFT

Dysfunction of the dopaminergic system in brain is involved in several pathological conditions such as Parkinson’s disease and depression. 2β-Carbomethoxy-3β-(4-[18F] fluorophenyl)tropane ([18F]CFT) and 6-[18F]fluoro-L-dopa ([18F]FDOPA) are tracers for imaging the dopaminergic function with positron emission tomography (PET). Peripheral uptake of [18F]FDOPA is also used in the localization and diagnosis of neuroendocrine tumors. [18F]FDOPA and [18F]CFT can be synthesized by electrophilic fluorodestannylation. However, the specific radioactivity (SA) in the electrophilic fluorination is low with traditional synthetic methods. In this study, [18F]FDOPA and [18F]CFT were synthesized using post-target-produced [18F]F2 as an electrophilic fluorination agent. With this method, tracers are produced with sufficient SA for neuroreceptor studies. Specific aims in this study were to replace Freon-11 in the production of [18F]FDOPA due to the ozone depleting properties of this solvent, to determine pharmacological specificity and selectivity of [18F]CFT with respect to monoamine transporters, and to compare the ability of these tracers to reflect the degree of nigral neuronal loss in rats in which the dopaminergic system in the brain had been unilaterally destroyed by 6- OHDA. Post-target-produced [18F]F2 was successfully used in the production of [18F]FDOPA and [18F]CFT. The SA achieved was substantially higher than in previous synthetic methods. Deuterated compounds, CD2Cl2, CDCl3 and C3D6O, were found to be suitable solvents for replacing Freon-11. Both [18F]FDOPA and [18F]CFT demonstrated nigrostriatal dopaminergic hypofunction and correlated with the number of nigral dopaminergic neurons in the 6-OHDA lesioned rat. However, the dopamine transporter (DAT) tracer [18F]CFT was more sensitive than the dopamine synthesis tracer [18F]FDOPA in detecting these defects because of the higher non-specific uptake of [18F]FDOPA. [18F]CFT can also be used for imaging the norepinephrine transporter (NET) because of the specific uptake into the locus coeruleus. The observation that [18F]CFT exhibits specific uptake in the pancreas warrants further studies in humans with respect to potential utility in pancreatic imaging

Evaluation of cotton stalks destroyers

The destruction of the cotton crop residues (cotton stalks) is a mandatory procedure in Brazil for prophylactic issues, but is a subject unexplored by the research and there are few studies that deal with this issue. However, this is not encouraged in recent decades, studies aimed at developing and evaluating equipment for this purpose. The present study had the objective to evaluate six methods for mechanical destruction of cotton crop residues. Each method was defined based on the principle of operation of the active parts of the equipment, which were tested in medium texture soil and in a clayey one. The variables used to evaluate the efficiency of the equipment were the regrowth rate, the theoretical field capacity and energy demand. The equipment with convergent concave disks (DCC) and flat cutters discs from manufacturer A (CPS-a) showed the best results in cotton stalks destruction in both soil types. The harrow disc (GPD) was efficient only in clay soil. It was concluded that the equipment with convergent concave disks, among those tested, was the most efficient to destroy cotton stalks, regardless of soil type, and that the harrow disc was not included among the best performers.

Mitochondrial disease in Southwestern Finland. Population-based molecular genetic and clinical studies

Mitochondria are present in all eukaryotic cells. They enable these cells utilize oxygen in the production of adenosine triphosphate in the oxidative phosphorylation system, the mitochondrial respiratory chain. The concept ‘mitochondrial disease’ conventionally refers to disorders of the respiratory chain that lead to oxidative phosphorylation defect. Mitochondrial disease in humans can present at any age, and practically in any organ system. Mitochondrial disease can be inherited in maternal, autosomal dominant, autosomal recessive, or X-chromosomal fashion. One of the most common molecular etiologies of mitochondrial disease in population is the m.3243A>G mutation in the MT-TL1 gene, encoding mitochondrial tRNALeu(UUR). Clinical evaluation of patients with m.3243A>G has revealed various typical clinical features, such as stroke-like episodes, diabetes mellitus and sensorineural hearing loss. The prevalence and clinical characteristics of mitochondrial disease in population are not well known. This thesis consists of a series of studies, in which the prevalence and characteristics of mitochondrial disease in the adult population of Southwestern Finland were assessed. Mitochondrial haplogroup Uk was associated with increased risk of occipital ischemic stroke among young women. Large-scale mitochondrial DNA deletions and mutations of the POLG1 gene were the most common molecular etiologies of progressive external ophthalmoplegia. Around 1% of diabetes mellitus emerging between the ages 18 – 45 years was associated with the m.3243A>G mutation. Moreover, among these young diabetic patients, mitochondrial haplogroup U was associated with maternal family history of diabetes. These studies demonstrate the usefulness of carefully planned molecular epidemiological investigations in the study of mitochondrial disorders.

Novas técnicas ambulatoriais para avaliação da motilidade esofágica e sua aplicação no estudo do megaesôfago

Brazilian surgeons deal routinely with esophageal motility disorders, because achalasia is highly prevalent in Brazil due to Chagas' disease. In the last years new technologies for the evaluation of esophageal motility became available. High resolution manometry and the combination of barometric parameters and intraluminal impedance are the new frontiers on this topic. The authors reviewed current, national and international, literature about achalasia with multichannel intraluminal impedance and high resolution manometry studies. The new technologies described are promising, however few studies have been published and further studies are still expected for achalasia patients.

Detection of the Vulnerable Atherosclerotic Plaque. Pre-Clinical Evaluation of Novel PET Imaging Probes With Experimental Models

Atherosclerosis is a life-long vascular inflammatory disease and the leading cause of death in Finland and in other western societies. The development of atherosclerotic plaques is progressive and they form when lipids begin to accumulate in the vessel wall. This accumulation triggers the migration of inflammatory cells that is a hallmark of vascular inflammation. Often, this plaque will become unstable and form vulnerable plaque which may rupture causing thrombosis and in the worst case, causing myocardial infarction or stroke. Identification of these vulnerable plaques before they rupture could save lives. At present, in the clinic, there exists no appropriated, non-invasive method for their identification. The aim of this thesis was to evaluate novel positron emission tomography (PET) probes for the detection of vulnerable atherosclerotic plaques and to characterize, two mouse models of atherosclerosis. These studies were performed by using ex vivo and in vivo imaging modalities. The vulnerability of atherosclerotic plaques was evaluated as expression of active inflammatory cells, namely macrophages. Age and the duration of high-fat diet had a drastic impact on the development of atherosclerotic plaques in mice. In imaging of atherosclerosis, 6-month-old mice, kept on high-fat diet for 4 months, showed matured, metabolically active, atherosclerotic plaques. [18F]FDG and 68Ga were accumulated in the areas representative of vulnerable plaques. However, the slow clearance of 68Ga limits its use for the plaque imaging. The novel synthesized [68Ga]DOTA-RGD and [18F]EF5 tracers demonstrated efficient uptake in plaques as compared to the healthy vessel wall, but the pharmacokinetic properties of these tracers were not optimal in used models. In conclusion, these studies resulted in the identification of new strategies for the assessment of plaque stability and mouse models of atherosclerosis which could be used for plaque imaging. In the used probe panel, [18F]FDG was the best tracer for plaque imaging. However, further studies are warranted to clarify the applicability of [18F]EF5 and [68Ga]DOTA-RGD for imaging of atherosclerosis with other experimental models.