Search results for " Computer Science"
showing 10 items of 3983 documents
Children's engagement during digital game-based learning of reading: The effects of time, rewards, and challenge
2014
This study investigated the effects of two game features (the level of challenge and the reward system) on first and second graders' engagement during digital game-based learning of reading. We were particularly interested in determining how well these features managed to maintain children's engagement over the 8-week training period. The children (N = 138) used GraphoGame, a web-based game training letter-sound connections, at home under the supervision of parents. Data regarding the children's gaming and engagement were stored on the GraphoGame online server. A 2 x 2 factorial design was used to investigate the effects of the level of challenge (high challenge vs. high success) and the pr…
Shall we follow? Impact of reputation concern on information security managers’ investment decisions
2020
Information security (infosec) is important for organizations. While budgeting for infosec is a crucial resource allocation decision, infosec managers may choose to follow other fellow experts’ recommendations or baseline practices. The present paper uses reputational herding theory to explain the decision made by infosec managers to use a “let's follow others” strategy in this context. Based on a sample of 106 organizations in Finland, we find that infosec managers’ ability to accurately predict the benefit of infosec investment, as well as their reputations, have significant effects on motivating them to discount their own information. Infosec managers’ discounting of their own informatio…
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…
Interactivized : Visual Interaction for Better Decisions with Interactive Multiobjective Optimization
2022
In today’s data-driven world, decision makers are facing many conflicting objectives. Since there is usually no solution that optimizes all objectives simultaneously, the aim is to identify a solution with acceptable trade-offs. Interactive multiobjective optimization methods are iterative processes in which a human decision maker repeatedly provides one’s preferences to request computing new solutions and compares them. With these methods, the decision maker can learn about the problem and its limitations. However, advanced optimization software usually offer simple visualization tools that can be significantly improved. On the other hand, current approaches for multiobjective optimization…
Minimal forbidden patterns of multi-dimensional shifts
2005
We study whether the entropy (or growth rate) of minimal forbidden patterns of symbolic dynamical shifts of dimension 2 or more, is a conjugacy invariant. We prove that the entropy of minimal forbidden patterns is a conjugacy invariant for uniformly semi-strongly irreducible shifts. We prove a weaker invariant in the general case.
Some Improvements on Relativistic Positioning Systems
2018
[EN] We make some considerations about Relativistic Positioning Systems (RPS). Four satellites are needed to position a user. First of all we define the main concepts. Errors should be taken into account. Errors depend on the Jacobian transformation matrix. Its Jacobian is proportional to the tetrahedron volume whose vertexes are the four tips of the receiver-satellite unit vectors. If the four satellites are seen by the user on a circumference in the sky, then, the Jacobian and the tetrahedron volume vanish. The users we consider are spacecraft. Spacecraft to be positioned cannot be close to a null Jacobian satellites-user configuration. These regions have to be avoided choosing an appropr…
Finiteness in a Minimalist Foundation
2008
We analyze the concepts of finite set and finite subset from the perspective of a minimalist foundational theory which has recently been introduced by Maria Emilia Maietti and the second author. The main feature of that theory and, as a consequence, of our approach is compatibility with other foundational theories such as Zermelo-Fraenkel set theory, Martin-Lof's intuitionistic Type Theory, topos theory, Aczel's CZF, Coquand's Calculus of Constructions. This compatibility forces our arguments to be constructive in a strong sense: no use is made of powerful principles such as the axiom of choice, the power-set axiom, the law of the excluded middle.
Nonlocal discrete ∞-Poisson and Hamilton Jacobi equations
2015
In this paper we propose an adaptation of the ∞-Poisson equation on weighted graphs, and propose a finer expression of the ∞-Laplace operator with gradient terms on weighted graphs, by making the link with the biased version of the tug-of-war game. By using this formulation, we propose a hybrid ∞-Poisson Hamilton-Jacobi equation, and we show the link between this version of the ∞-Poisson equation and the adaptation of the eikonal equation on weighted graphs. Our motivation is to use this extension to compute distances on any discrete data that can be represented as a weighted graph. Through experiments and illustrations, we show that this formulation can be used in the resolution of many ap…
A novel methodology for large-scale phylogeny partition
2011
Understanding the determinants of virus transmission is a fundamental step for effective design of screening and intervention strategies to control viral epidemics. Phylogenetic analysis can be a valid approach for the identification of transmission chains, and very-large data sets can be analysed through parallel computation. Here we propose and validate a new methodology for the partition of large-scale phylogenies and the inference of transmission clusters. This approach, on the basis of a depth-first search algorithm, conjugates the evaluation of node reliability, tree topology and patristic distance analysis. The method has been applied to identify transmission clusters of a phylogeny …
Impact of Insertion Sequences and RNAs on Genomic Inversions in Pseudomonas aeruginosa
2022
Abstract In this article, a bioinformatics pipeline is proposed that focuses on two types of elements, namely the mobile genetic elements (MGE) and Ribonucleic acids (RNAs). The MGEs are called insertion sequences (ISs) in the prokaryotic domain. The objective of this research work is to study the behaviour of RNAs and MGEs genes, and the effects of their presence around inversions in genome sequences. The proposed pipeline finds the relation between the transposase gene types (e.g., DDE and DEDD) located within insertion sequences according to their IS family and sub-family, and RNAs (tRNA and rRNA) on the one hand, and genomic inversion on the other hand. More precisely, we wonder whether…