Python as a programming language for the introductory programming courses

Tämä kandidaatintyö tutkii tietotekniikan perusopetuksessa keskeisen aiheen,ohjelmoinnin, alkeisopetusta ja siihen liittyviä ongelmia. Työssä perehdytään ohjelmoinnin perusopetusmenetelmiin ja opetuksen lähestymistapoihin, sekä ratkaisuihin, joilla opetusta voidaan tehostaa. Näitä ratkaisuja työssä ovat mm. ohjelmointikielen valinta, käytettävän kehitysympäristön löytäminen sekä kurssia tukevien opetusapuvälineiden etsiminen. Lisäksi kurssin läpivientiin liittyvien toimintojen, kuten harjoitusten ja mahdollisten viikkotehtävien valinta kuuluu osaksitätä työtä. Työ itsessään lähestyy aihetta tutkimalla Pythonin soveltuvuutta ohjelmoinnin alkeisopetukseen mm. vertailemalla sitä muihin olemassa oleviin yleisiin opetuskieliin, kuten C, C++ tai Java. Se tarkastelee kielen hyviä ja huonoja puolia, sekä tutkii, voidaanko Pythonia hyödyntää luontevasti pääasiallisena opetuskielenä. Lisäksi työ perehtyy siihen, mitä kaikkea kurssilla tulisi opettaa, sekä siihen, kuinka kurssin läpivienti olisi tehokkainta toteuttaa ja minkälaiset tekniset puitteet kurssin toteuttamista varten olisi järkevää valita.

A Sequential Allocation Problem: The Asymptotic Distribution of Resources

In this paper we consider a sequential allocation problem with n individuals. The first individual can consume any amount of some endowment leaving the remaining for the second individual, and so on. Motivated by the limitations associated with the cooperative or non-cooperative solutions we propose a new approach. We establish some axioms that should be satisfied, representativeness, impartiality, etc. The result is a unique asymptotic allocation rule. It is shown for n = 2; 3; 4; and a claim is made for general n. We show that it satisfies a set of desirable properties. Key words: Sequential allocation rule, River sharing problem, Cooperative and non-cooperative games, Dictator and ultimatum games. JEL classification: C79, D63, D74.

Formalizing argumentative reasoning in a possibilistic logic programming setting with fuzzy unification

Possibilistic Defeasible Logic Programming (P-DeLP) is a logic programming language which combines features from argumentation theory and logic programming, incorporating the treatment of possibilistic uncertainty at the object-language level. In spite of its expressive power, an important limitation in P-DeLP is that imprecise, fuzzy information cannot be expressed in the object language. One interesting alternative for solving this limitation is the use of PGL+, a possibilistic logic over Gödel logic extended with fuzzy constants. Fuzzy constants in PGL+ allow expressing disjunctive information about the unknown value of a variable, in the sense of a magnitude, modelled as a (unary) predicate. The aim of this article is twofold: firstly, we formalize DePGL+, a possibilistic defeasible logic programming language that extends P-DeLP through the use of PGL+ in order to incorporate fuzzy constants and a fuzzy unification mechanism for them. Secondly, we propose a way to handle conflicting arguments in the context of the extended framework.

A logic programming framework for possibilistic argumentation: formalization and logical properties

In the last decade defeasible argumentation frameworks have evolved to become a sound setting to formalize commonsense, qualitative reasoning. The logic programming paradigm has shown to be particularly useful for developing different argument-based frameworks on the basis of different variants of logic programming which incorporate defeasible rules. Most of such frameworks, however, are unable to deal with explicit uncertainty, nor with vague knowledge, as defeasibility is directly encoded in the object language. This paper presents Possibilistic Logic Programming (P-DeLP), a new logic programming language which combines features from argumentation theory and logic programming, incorporating as well the treatment of possibilistic uncertainty. Such features are formalized on the basis of PGL, a possibilistic logic based on G¨odel fuzzy logic. One of the applications of P-DeLP is providing an intelligent agent with non-monotonic, argumentative inference capabilities. In this paper we also provide a better understanding of such capabilities by defining two non-monotonic operators which model the expansion of a given program P by adding new weighed facts associated with argument conclusions and warranted literals, respectively. Different logical properties for the proposed operators are studied

Simulation Supported Robot Programming using XML

The main objective of this master's thesis is to study robot programming using simulation software, and also how to embed the simulation software into company's own robot controlling software. The further goal is to study a new communication interface to the assembly line's components -more precisely how to connect the robot cell into this new communication system. Conveyor lines are already available where the conveyors use the new communication standard. The robot cell is not yet capable of communicating with to other devices using the new communication protocols. The main problem among robot manufacturers is that they all have their own communication systems and programming languages. There has not been any common programming language to program all the different robot manufacturers robots, until the RRS (Realistic Robot Simulation) standards were developed. The RRS - II makes it possible to create the robot programs in the simulation software and it gives a common user interface for different robot manufacturers robots. This thesis will present the RRS - II standard and the robot manufacturers situation for the RRS - II support. Thesis presents how the simulation software can be embedded into company's own robot controlling software and also how the robot cell can be connected to the CAMX (Computer Aided Manufacturing using XML) communication system.

More than 10 years of experience with immediate sequential bilateral cataract extraction (ISBCE) - a retrospective study

Background: To evaluate the safety of immediate sequential bilateral cataract extraction (ISBCE) with respect to indications, visual outcomes, complications, benefits and disadvantages. Methods: This is a retrospective review of all ISBCEs performed at Kantonsspital Winterthur, Switzerland, between April 2000 and September 2013. The case notes of 500 eyes of 250 patients were reviewed. Of these 500 eyes, 472 (94.4%) had a straight forward phacoemulsification with posterior chamber intraocular lens implantation; 21 (4.2%) had a planned extracapsular cataract extraction; 4 (0.8%) had an intracapsular cataract extraction and 3 (0.6%) had a combined phacoemulsification with trabeculectomy. Results: Over 66% of eyes achieved improved visual acuity (at least 3 Snellen lines) following ISBCE. Median preoperative best corrected visual acuity (BCVA) was 0.5 LogMAR; the interquartile range was [0.4, 1] LogMAR. At one week control the median BCVA was 0.3 LogMAR, IQR [0.1, 0.5] LogMAR. At one month the median BCVA was 0.15 LogMAR, IQR [0.05, 0.3] (p < 0.01). There were no sight-threatening intraoperative or postoperative complications observed. Conclusions: ISBCE is an effective and safe option with high degree of patient satisfaction. The relative benefits of ISBCE should be balanced against the theoretically enhanced risks.

Predictability of refraction following immediate sequential bilateral cataract surgery (ISBCS) performed under general anesthesia

Abstract Background: To evaluate the predictability of refraction following immediate sequential bilateral cataract surgery (ISBCS) performed under general anaesthesia. Methods: This is a retrospective review of all ISBCS performed at Kantonsspital Winterthur, Switzerland, between April 2000 and September 2013. The case notes of 250 patients were reviewed. Patients having full refraction reported (110 patients/220 eyes) were included. 210 (95 %) eyes had a straight forward phacoemulsification with posterior chamber intraocular lens implantation, seven eyes had a planned extracapsular cataract extraction (ECCE); three eyes had an intracapsular cataract extraction. Results: Both eyes of 110 patients (64 women, 46 men) with a mean age of 79.0 years, standard deviation (SD) ±11.4 (range 26 to 97 years) were included. Median preoperative best corrected visual acuity (BCVA) was 0.5 LogMAR in the first eye, the interquartile range (IQR) was [0.4, 1.2]; 0.7 LogMAR in the second eye with IQR [0.4, 1.8]. At one month, the median BCVA was 0.2 LogMAR, IQR [0.1, 0.3] in the first eye, median BCVA was 0.1 LogMAR and IQR [0.0, 0.5] in the second eye. There were 3 eyes (3 %) that lost 3 lines or more in BCVA at one month (control vs. pre-operatively). In all three cases, poor visual acuity had been recorded pre-operatively (>1 LogMAR). Achieved refraction was within ±1.0 D of the target in 83 % of eyes. There were only 5 % (n = 6) of cases where if delayed sequential bilateral extraction had been performed could potentially intraocular lens (IOL) choice have been adjusted, in four of these cases, target refraction was within ±1.0 D in the second eye. Conclusions: ISBCS performed under general anaesthesia achieves target refraction in 83 % of eyes after consideration of complications, ocular co-morbidities and systemic restrictions. In the majority of cases where IOL power calculation could be considered, the achieved refraction of the second surgical eye was within ±1.0 D of intended refraction. This undermines the utility of IOL power adjustments in the second surgical eye. Keywords: Cataract, Cataract surgery, Immediate sequential bilateral cataract surgery

Trust region versus line search for computing the optical flow

We consider the numerical treatment of the optical flow problem by evaluating the performance of the trust region method versus the line search method. To the best of our knowledge, the trust region method is studied here for the first time for variational optical flow computation. Four different optical flow models are used to test the performance of the proposed algorithm combining linear and nonlinear data terms with quadratic and TV regularization. We show that trust region often performs better than line search; especially in the presence of non-linearity and non-convexity in the model.

Sierpinski curve Julia sets for quadratic rational maps

We investigate under which dynamical conditions the Julia set of a quadratic rational map is a Sierpiński curve.

Programming Hippocampal Neural Stem/Progenitor Cells into Oligodendrocytes Enhances Remyelination in the Adult Brain after Injury.

Demyelinating diseases are characterized by a loss of oligodendrocytes leading to axonal degeneration and impaired brain function. Current strategies used for the treatment of demyelinating disease such as multiple sclerosis largely rely on modulation of the immune system. Only limited treatment options are available for treating the later stages of the disease, and these treatments require regenerative therapies to ameliorate the consequences of oligodendrocyte loss and axonal impairment. Directed differentiation of adult hippocampal neural stem/progenitor cells (NSPCs) into oligodendrocytes may represent an endogenous source of glial cells for cell-replacement strategies aiming to treat demyelinating disease. Here, we show that Ascl1-mediated conversion of hippocampal NSPCs into mature oligodendrocytes enhances remyelination in a diphtheria-toxin (DT)-inducible, genetic model for demyelination. These findings highlight the potential of targeting hippocampal NSPCs for the treatment of demyelinated lesions in the adult brain.

Fetal programming and epigenetic mechanisms in arterial hypertension.

PURPOSE OF REVIEW: To provide an overview of available evidence of the potential role of epigenetics in the pathogenesis of hypertension and vascular dysfunction. RECENT FINDINGS: Arterial hypertension is a highly heritable condition. Surprisingly, however, genetic variants only explain a tiny fraction of the phenotypic variation and the term 'missing heritability' has been coined to describe this phenomenon. Recent evidence suggests that phenotypic alteration that is unrelated to changes in DNA sequence (thereby escaping detection by classic genetic methodology) offers a potential explanation. Here, we present some basic information on epigenetics and review recent work consistent with the hypothesis of epigenetically induced arterial hypertension. SUMMARY: New technologies that enable the rigorous assessment of epigenetic changes and their phenotypic consequences may provide the basis for explaining the missing heritability of arterial hypertension and offer new possibilities for treatment and/or prevention.

Treatment of micropollutants in municipal wastewater: study of a sequential batch biofilter

All the experimental part of this final project was done at Laboratoire de Biotechnologie Environnementale (LBE) from the École Polytechnique Fédérale de Lausanne (EPFL), Switzerland, during 6 months (November 2013- May 2014). A fungal biofilter composed of woodchips was designed in order to remove micropollutants from the effluents of waste water treatment plants. Two fungi were tested: Pleurotus ostreatus and Trametes versicolor in order to evaluate their efficiency for the removal of two micropollutants: the anti-inflammatory drug naproxen and the antibiotic sulfamethoxazole,. Although Trametes versicolor was able to degrade quickly naproxen, this fungus was not any more active after one week of operation in the filter. Pleurotus ostreatus was, on contrary, able to survive more than 3 months in the filter, showing good removal efficiencies of naproxen and sulfamethoxazole during all this period, in tap water but also in real treated municipal wastewater. Several other experiments have provided insight on the removal mechanisms of these micropollutants in the fungal biofilter (degradation and adsorption) and also allowed to model the removal trend. Fungal treatment with Pleurotus ostreatus grown on wood substrates appeared to be a promising solution to improve micropollutants removal in wastewater.