Teaching fundamentals of computing theory: a constructivist approach

A Fundamentals of Computing Theory course involves different topics that are core to the Computer Science curricula and whose level of abstraction makes them difficult both to teach and to learn. Such difficulty stems from the complexity of the abstract notions involved and the required mathematical background. Surveys conducted among our students showed that many of them were applying some theoretical concepts mechanically rather than developing significant learning. This paper shows a number of didactic strategies that we introduced in the Fundamentals of Computing Theory curricula to cope with the above problem. The proposed strategies were based on a stronger use of technology and a constructivist approach. The final goal was to promote more significant learning of the course topics.

Lipid anchoring of Arabidopsis phototropin 1 to assess the functional significance of receptor internalization: should I stay or should I go?

The phototropin 1 (phot1) blue light receptor mediates a number of adaptive responses, including phototropism, that generally serve to optimize photosynthetic capacity. Phot1 is a plasma membrane-associated protein, but upon irradiation, a fraction is internalized into the cytoplasm. Although this phenomenon has been reported for more than a decade, its biological significance remains elusive. Here, we use a genetic approach to revisit the prevalent hypotheses regarding the functional importance of receptor internalization. Transgenic plants expressing lipidated versions of phot1 that are permanently anchored to the plasma membrane were used to analyse the effect of internalization on receptor turnover, phototropism and other phot1-mediated responses. Myristoylation and farnesylation effectively prevented phot1 internalization. Both modified photoreceptors were found to be fully functional in Arabidopsis, rescuing phototropism and all other phot1-mediated responses tested. Light-mediated phot1 turnover occurred as in the native receptor. Furthermore, our work does not provide any evidence of a role of phot1 internalization in the attenuation of receptor signalling during phototropism. Our results demonstrate that phot1 signalling is initiated at the plasma membrane. They furthermore indicate that release of phot1 into the cytosol is not linked to receptor turnover or desensitization.

Prevalence and clinical significance of isotype specific antinuclear antibodies in primary biliary cirrhosis.

with specific ANA, in particular of the IgG3 isotype, had significantly more severe biochemical and histological disease compared with those who were seronegative. None of the controls was positive.Conclusions: Disease specific ANA are present in the majority of patients with PBC when investigated at the level of immunoglobulin isotype. PBC specific ANA, in particular of the IgG3 isotype, are associated with a more severe disease course, possibly reflecting the peculiar ability of this isotype to engage mediators of damage.

Spontaneous Emergence of Chirality in the Limited Enantioselectivity Model: Autocatalytic Cycle Driven by an External Reagent

The emergence of chirality in enantioselective autocatalysis for compounds unable to transform according to the Frank-like reaction network is discussed with respect to the controversial limited enantioselectivity (LES) model composed of coupled enantioselective and non-enantioselective autocatalyses. The LES model cannot lead to spontaneous mirror symmetry breaking (SMSB) either in closed systems with a homogeneous temperature distribution or in closed systems with a stationary non-uniform temperature distribution. However, simulations of chemical kinetics in a two-compartment model demonstrate that SMSB may occur if both autocatalytic reactions are spatially separated at different temperatures in different compartments but coupled under the action of a continuous internal flow. In such conditions, the system can evolve, for certain reaction and system parameters, toward a chiral stationary state; that is, the system is able to reach a bifurcation point leading to SMSB. Numerical simulations in which reasonable chemical parameters have been used suggest that an adequate scenario for such a SMSB would be that of abyssal hydrothermal vents, by virtue of the typical temperature gradients found there and the role of inorganic solids mediating chemical reactions in an enzyme-like role.

Assessment of critical competences required in managing end-user driven businesses in a global forest products compa

Työn pääasiallisena tavoitteena on selvittää ydinosaamista, jota tarvitaan kansainvälisen metsäteollisuusyrityksen loppukäyttäjävetoisessa liiketoiminnassa. Lisäksi tavoitteena on laatia kompetenssimalli, jota voidaan käyttää mm. rekrytoinnissa, koulutuksen ja työnkierron suunnittelussa. Tarkoituksena on tarkastella sekä tällä hetkellä että tulevaisuudessa tarvittavia ydinosaamisia. Työ keskittyy myyntihenkilöiden kompetenssien kuvaamiseen. Kirjallisuuden ja asiantuntijoiden haastattelujen avulla on selvitetty. kompetensseihin liittyviä asioita ja käsitteitä, kuten organisaation oppiminen, innovaatiot sekä asiakaslähtöisyys. Tämän jälkeen on kartoitettu case-yrityksen kartonkiyksikön myyntihenkilökunnan kompetensseja. Kompetenssikartoitus on tehty teemahaastattelujen avulla sekä lisäksi on käytetty työn aikana laadittua kompetenssimatriisia. Saatuja tuloksia on verrattu yhden asiakkaan näkemyksiin. Tulosten mukaan kolme tärkeintä tämän hetken kompetenssia ovat: holistinen näkemys asioista, suhteiden rakentaminen ja kielitaito. Tulevaisuuden tärkeimpiä kompetensseja puolestaan ovat: asiakaslähtöisyys, sähköinen kaupankäynti ja suhteiden rakentaminen. Lopuksi on käsitelty yleisiä metsäteollisuuden tulevaisuuden haasteita sekä annettu joitain kehitysideoita kompetenssien kehittämistä varten.

Loanword Phonology, Lexical Exceptions, Morphologically Driven Underapplication, and the Nature of Positionally Biased Constraints

In this paper we provide a formal account for underapplication of vowel reduction to schwa in Majorcan Catalan loanwords and learned words. On the basis of the comparison of these data with those concerning productive derivation and verbal inflection, which show analogous patterns, in this paper we also explore the existing and not yet acknowledged correlation between those processes that exhibit a particular behaviour in the loanword phonology with respect to the native phonology of the language, those processes that show lexical exceptions and those processes that underapply due to morphological reasons. In light of the analysis of the very same data and taking into account the aforementioned correlation, we show how there might exist a natural diachronic relation between two kinds of Optimality Theory constraints which are commonly used but, in principle, mutually exclusive: positional faithfulness and contextual markedness constraints. Overall, phonological productivity is proven to be crucial in three respects: first, as a context of the grammar, given that «underapplication» is systematically found in what we call the productive phonology of the dialect (including loanwords, learned words, productive derivation and verbal inflection); second, as a trigger or blocker of processes, in that the productivity or the lack of productivity of a specific process or constraint in the language is what explains whether it is challenged or not in any of the depicted situations, and, third, as a guiding principle which can explain the transition from the historical to the synchronic phonology of a linguistic variety.

Incidence, prevalence and clinical significance of abnormal hematological indices in compensated cirrhosis.

Background & Aims: Patients with cirrhosis develop abnormal hematologic indices (HI) from multiple factors, including hypersplenism. We aimed to analyze the sequence of events and determine whether abnormal HI has prog-nostic significance. Methods: We analyzed a database of 213 subjects with compensated cirrhosis without esopha-geal varices. Subjects were followed for approximately 9 years until the development of varices or variceal bleeding or completion of the study; 84 subjects developed varices. Abnormal HI was defined as anemia at baseline (hemoglo-bin,<13.5 g/dL for men and 11.5 g/dL for women), leuko-penia (white blood cell counts,<4000/mm 3 ), or thrombo-cytopenia (platelet counts, < 150,000/mm 3 ). The primary end points were death or transplant surgery. Results: Most subjects had thrombocytopenia at baseline. Kaplan-Meier analysis showed that leukopenia occurred by 30 months (95% confidence interval, 18.5-53.6), and anemia occurred by 39.6 months (95% confidence interval, 24.1-49.9). Baseline thrombocytopenia (P .0191) and leukope-nia (P.0383) were predictors of death or transplant, after adjusting for baseline hepatic venous pressure gradient (HVPG), and Child-Pugh scores. After a median of 5 years,a significant difference in death or transplant, mortality,and clinical decompensation was observed in patients who had leukopenia combined with thrombocytopenia at base- line compared with patients with normal HI (P < .0001). HVPG correlated with hemoglobin and white blood cell count (hemoglobin, r 0.35, P < .0001; white blood cell count, r 0.31, P < .0001). Conclusions: Thrombocy-topenia is the most common and first abnormal HI to occurin patients with cirrhosis, followed by leukopenia and anemia. A combination of leukopenia and thrombocytopenia at baselin predicted increased morbidity and mortality.

Internal material logistics development in customer-driven production

Työn tavoitteena oli synkronoida yleinen materiaalivirta tuotannon kanssa. Pyrkimyksenä oli virtaviivaistaa materiaalivirta, jotta materiaalin määrä, sekä turhat työvaiheet tuotantoalueella vähenisivät. Päämääränä oli vähentää materiaalilavojen määrää lattialla, sekä parantaa materiaalitoimitusten OTD (On-Time-Delivery) prosenttia.Teoreettinen osa käsittelee nykypäivän toimitusketjun tärkeimpiä elementtejä. Keskeisenä asiana perehdytään materiaalivirtaan ja sen tehokkaaseen hallintaan. Työ esittelee myös synkronisen johtamismallin periaatteet, sekä materiaalivirran synkronoimisen tuotannon kanssa.Empiirinen osuus kuvaa yrityksen materiaalihallinnan nykypäivän tilanteen, sen keskeiset ongelmat, sekä uuden toimintamalliehdotuksen. Työ esittelee kaksi pilottia, joiden tulokset varmistivat uuden virtaviivaistetun materiaalivirran ja täydennysmallin toimivuuden.Työn tulokset osoittavat, miten uusi materiaalin täydennysmalli vähentää materiaalilavojen, sekä jalostamattoman työn määrää tuotantoalueella.

Soft Computing Methods in Metallurgy

In metallurgic plants a high quality metal production is always required. Nowadays soft computing applications are more often used for automation of manufacturing process and quality control instead of mechanical techniques. In this thesis an overview of soft computing methods presents. As an example of soft computing application, an effective model of fuzzy expert system for the automotive quality control of steel degassing process was developed. The purpose of this work is to describe the fuzzy relations as quality hypersurfaces by varying number of linguistic variables and fuzzy sets.

Evolutionary computing in search-based software engineering

This master’s thesis aims to study and represent from literature how evolutionary algorithms are used to solve different search and optimisation problems in the area of software engineering. Evolutionary algorithms are methods, which imitate the natural evolution process. An artificial evolution process evaluates fitness of each individual, which are solution candidates. The next population of candidate solutions is formed by using the good properties of the current population by applying different mutation and crossover operations. Different kinds of evolutionary algorithm applications related to software engineering were searched in the literature. Applications were classified and represented. Also the necessary basics about evolutionary algorithms were presented. It was concluded, that majority of evolutionary algorithm applications related to software engineering were about software design or testing. For example, there were applications about classifying software production data, project scheduling, static task scheduling related to parallel computing, allocating modules to subsystems, N-version programming, test data generation and generating an integration test order. Many applications were experimental testing rather than ready for real production use. There were also some Computer Aided Software Engineering tools based on evolutionary algorithms.

Anticipating linear stochastic differential equations driven by a Lévy process

In this paper we study the existence of a unique solution for linear stochastic differential equations driven by a Lévy process, where the initial condition and the coefficients are random and not necessarily adapted to the underlying filtration. Towards this end, we extend the method based on Girsanov transformations on Wiener space and developped by Buckdahn [7] to the canonical Lévy space, which is introduced in [25].

Use of scenario analysis in studying emerging technology – Case Grid computing

Tutkimuksen selvitettiin miten skenaarioanalyysia voidaan käyttää uuden teknologian tutkimisessa. Työssä havaittiin, että skenaarioanalyysin soveltuvuuteen vaikuttaa eniten teknologisen muutoksen taso ja saatavilla olevan tiedon luonne. Skenaariomenetelmä soveltuu hyvin uusien teknologioiden tutkimukseen erityisesti radikaalien innovaatioiden kohdalla. Syynä tähän on niihin liittyvä suuri epävarmuus, kompleksisuus ja vallitsevan paradigman muuttuminen, joiden takia useat muut tulevaisuuden tutkimuksen menetelmät eivät ole tilanteessa käyttökelpoisia. Työn empiirisessä osiossa tutkittiin hilaverkkoteknologian tulevaisuutta skenaarioanalyysin avulla. Hilaverkot nähtiin mahdollisena disruptiivisena teknologiana, joka radikaalina innovaationa saattaa muuttaa tietokonelaskennan nykyisestä tuotepohjaisesta laskentakapasiteetin ostamisesta palvelupohjaiseksi. Tällä olisi suuri vaikutus koko nykyiseen ICT-toimialaan erityisesti tarvelaskennan hyödyntämisen ansiosta. Tutkimus tarkasteli kehitystä vuoteen 2010 asti. Teorian ja olemassa olevan tiedon perusteella muodostettiin vahvaan asiantuntijatietouteen nojautuen neljä mahdollista ympäristöskenaariota hilaverkoille. Skenaarioista huomattiin, että teknologian kaupallinen menestys on vielä monen haasteen takana. Erityisesti luottamus ja lisäarvon synnyttäminen nousivat tärkeimmiksi hilaverkkojen tulevaisuutta ohjaaviksi tekijöiksi.