Search results for "tietojenkäsittely"
showing 10 items of 69 documents
Grand theories or design guidelines? : Perspectives on the role of theory in computing education research
2022
A rich body of empirically grounded results and a solid theory base have often been viewed as signs of a mature discipline. Many disciplines have frequently debated what they should accept as legitimate kinds of theories, the proper roles of theory, and appropriate reference disciplines. Computing education research (CER) in particular has seen a growing number of calls for the development of domain-specific theories for CER, an adaptation of theories from other fields, and engagement with theory-based experimental and predictive research in CER. Many of those calls share the same concerns and aims, yet they use very different vocabulary and lack a consensus over an essential concept: theor…
Errors and Complications in SQL Query Formulation
2018
SQL is taught in almost all university level database courses, yet SQL has received relatively little attention in educational research. In this study, we present a database management system independent categorization of SQL query errors that students make in an introductory database course. We base the categorization on previous literature, present a class of logical errors that has not been studied in detail, and review and complement these findings by analyzing over 33,000 SQL queries submitted by students. Our analysis verifies error findings presented in previous literature and reveals new types of errors, namely logical errors recurring in similar manners among different students. We…
Cycles in continuous and discrete dynamical systems : computations, computer-assisted proofs, and computer experiments
2009
The present work is devoted to calculation of periodic solutions and bifurcation research in quadratic systems, Lienard system, and non-unimodal one-dimensional discrete maps using modern computational capabilities and symbolic computing packages.In the first chapter the problem of Academician A.N. Kolmogorov on localization and modeling of cycles of quadratic systems is considered. For the investigation of small limit cycles (so-called local 16th Hilbert’s problem) the method of calculation of Lyapunov quantities (or Poincaré-Lyapunov constants) is used. To calculate symbolic expressions for the Lyapunov quantities the Lyapunov method to the case of non-analytical systems was generalized. …
A Detailed Account of The Inconsistent Labelling Problem of Stutter-Preserving Partial-Order Reduction
2021
One of the most popular state-space reduction techniques for model checking is partial-order reduction (POR). Of the many different POR implementations, stubborn sets are a very versatile variant and have thus seen many different applications over the past 32 years. One of the early stubborn sets works shows how the basic conditions for reduction can be augmented to preserve stutter-trace equivalence, making stubborn sets suitable for model checking of linear-time properties. In this paper, we identify a flaw in the reasoning and show with a counter-example that stutter-trace equivalence is not necessarily preserved. We propose a stronger reduction condition and provide extensive new correc…
All congruences below stability-preserving fair testing or CFFD
2020
AbstractIn process algebras, a congruence is an equivalence that remains valid when any subsystem is replaced by an equivalent one. Whether or not an equivalence is a congruence depends on the set of operators used in building systems from subsystems. Numerous congruences have been found, differing from each other in fine details, major ideas, or both, and none of them is good for all situations. The world of congruences seems thus chaotic, which is unpleasant, because the notion of congruence is at the heart of process algebras. This study continues attempts to clarify the big picture by proving that in certain sub-areas, there are no other congruences than those that are already known or …
SQL Education
2020
Structured Query Language (SQL) skills are crucial in software engineering and computer science. However, teaching SQL effectively requires both pedagogical skill and considerable knowledge of the language. Educators and scholars have proposed numerous considerations for the betterment of SQL education, yet these considerations may be too numerous and scattered among different fora for educators to find and internalize, as no systematic mappings or literature reviews regarding SQL education have been conducted. The two main goals of this mapping study are to provide an overview of educational SQL research topics, research types, and publication fora, and to collect and propagate SQL teachi…
Technology Comprehension — Combining computing, design, and societal reflection as a national subject
2019
This article considers the implementation of a new learning subject ”Technology Comprehension” into lower secondary schools in Denmark, as part of an initiative by the Danish Ministry of Education. The subject consists of learning objectives related to computing, design, and societal reflection and was first introduced as an elective course in 13 schools to investigate how it could be integrated into the Danish education system. We present four key findings based on school visits, interviews, an electronical survey, two questionnaires, and workshops including theme discussions: (1) teachers did not perceive Technology Comprehension as a distinct subject, but rather as a set of skills that c…
Sosiaalinen media ja verkko-opiskelu
2010
Koskelainen, Tiina Elina Tietojärjestelmätieteen kandidaatintutkielma / Tiina Koskelainen Jyväskylä: Jyväskylän yliopisto, 2009, 39 s. Kandidaatintutkielma Tässä tutkimuksessa kartoitetaan sosiaalisen median ominaispiirteitä sekä oppimisen ja verkko-opiskelun käsitteitä. Lisäksi tutkitaan millaisia vaikutuksia sosiaalisen median käytöllä on verkko-opiskeluun. Tutkimus on toteutettu kirjallisuuskatsauksena. Tieto- ja viestintäteknologian nopea kehitys, vuorovaikutukseen perustuvat kommunikointitavat sekä sosiaaliset sovellukset ovat lisänneet yhteisöllisyyttä ja mahdollistaneet sosiaalisen median kehittymisen. Käyttäjälähtöisyys, verkostoituminen ja uudet kommunikointitavat ovat muuttaneet …
Analysis of errors caused by incomplete knowledge of material data in mathematical models of elastic media
2011
Metabolic plasticity of mixotrophic algae is key for their persistence in browning environments
2022
The dataset consists of phenotypic and transcriptomic data of Cryptomonas sp. when submitted to different concentrations of dissolved organic carbon (DOC), fully phototrophic conditions and glucose supplemented phototrophic conditions. In addition, scripts of processing of transcriptomic data together with input and output files are given. For more detailed description, see the attached documentation.