Search results for "tietojenkäsittely"
showing 10 items of 69 documents
IT-tiedekunnasta vuosina 1970-2016 valmistuneiden työurat
2017
Johdanto: Pelit kulttuurina ja kulttuurissa
2022
publishedVersion Peer reviewed
Mathematical Fuzzy Logic in the Emerging Fields of Engineering, Finance, and Computer Sciences
2022
With more than 50 years of literature, fuzzy logic has gradually progressed from an emerging field to a developed research domain, incorporating the sub-domain of mathematical fuzzy logic (MFL) [...]
Stubborn sets, frozen actions, and fair testing
2021
Many partial order methods use some special condition for ensuring that the analysis is not terminated prematurely. In the case of stubborn set methods for safety properties, implementation of the condition is usually based on recognizing the terminal strong components of the reduced state space and, if necessary, expanding the stubborn sets used in their roots. In an earlier study it was pointed out that if the system may execute a cycle consisting of only invisible actions and that cycle is concurrent with the rest of the system in a non-obvious way, then the method may be fooled to construct all states of the full parallel composition. This problem is solved in this study by a method tha…
Gaze position reveals impaired attentional shift during visual word recognition in dysfluent readers
2014
Effects reflecting serial within-word processing are frequently found in pseudo- and non-word recognition tasks not only among fluent, but especially among dyslexic readers. However, the time course and locus of these serial within-word processing effects in the cognitive hierarchy (i.e., orthographic, phonological, lexical) have remained elusive. We studied whether a subject’s eye movements during a lexical decision task would provide information about the temporal dynamics of serial within-word processing. We assumed that if there is serial within-word processing proceeding from left to right, items with informative beginnings would attract the gaze position and (micro-)saccadic eye movem…
Conceptual basis of cognitive mimetics for information engineering
2021
Abstract Intelligent information processing is topical in modern technology design and development. The fundamental idea was developed by Turing as he made the first conceptual models of information-processing computers. Though it has practically never been noticed, Turing’s work was a model of how to mimic human intelligent information processes and generate technologies, which can carry out intelligent tasks. The design method can be called cognitive mimetics as it imitates human information processes to design technologies and their applications. One can use cognitive mimetics even in solving techno-ethical problems. This is why we think that cognitive mimetics are vital as a method to g…
Supporting tourism with public interactive displays
2019
Interactive displays are common in public and semi-public areas, such as museums, shopping malls, train stations, and even on streets. Especially with the emergence of new ways of interaction, interactive displays could be introduced to popular tourist attractions to support tourism. The aim of this tutorial is to prepare its participants for designing such interactive public displays. The tutorial will first introduce participants to state of the art in interactive public displays. This will be followed by a city tour where a number of local attractions are visited. Finally, the participants will brainstorm and create concepts for novel interactive public displays that aim to improve the e…
Web Services -tekniikoiden hyödyntäminen Java Platform, Micro Edition -ympäristössä
2008
The Inconsistent Labelling Problem of Stutter-Preserving Partial-Order Reduction
2020
AbstractIn model checking, partial-order reduction (POR) is an effective technique to reduce the size of the state space. Stubborn sets are an established variant of POR and have seen many applications over the past 31 years. One of the early works on stubborn sets shows that a combination of several conditions on the reduction is sufficient 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 solution together with an updated correctness proof. Furthermore, we analyse in whi…
Identifying Pathways to Computer Science : The Long-Term Impact of Short-Term Game Programming Outreach Interventions
2019
Short-term outreach interventions are conducted to raise young students’ awareness of the computer science (CS) field. Typically, these interventions are targeted at K–12 students, attempting to encourage them to study CS in higher education. This study is based on a series of extra-curricular outreach events that introduced students to the discipline of computing, nurturing creative computational thinking through problem solving and game programming. To assess the long-term impact of this campaign, the participants were contacted and interviewed two to five years after they had attended an outreach event. We studied how participating in the outreach program affected the students’ perceptio…