Search results for "General Computer Science"
showing 10 items of 895 documents
Computational thinking in programming with Scratch in primary schools: A systematic review
2020
Computer programming is being introduced in educational curricula, even at the primary school level. One goal of this implementation is to teach computational thinking (CT), which is potentially applicable in various computational problem-solving situations. However, the educational objective of CT in primary schools is somewhat unclear: curricula in various countries define learning objectives for topics, such as computer science, computing, programming or digital literacy but not for CT specifically. Additionally, there has been confusion in concretely and comprehensively defining and operationalising what to teach, learn and assess about CT in primary education even with popular programm…
A Pilot Study on Offensive Success in Soccer Based on Space and Ball Control – Key Performance Indicators and Key to Understand Game Dynamics
2017
Abstract The intention of Key Performance Indicators (KPI) is to map complex system-behaviour to single values for scaling, rating and ranking systems or system components. Very often, however, this mapping only reduces important information about tactical behaviour or playing dynamics without replacing it by useful ones. The presented approach tries to bridge the gap between complex dynamics and numerical indicators in the case of offensive effectiveness in soccer in two steps. First, a model is developed which visualises offensive actions in a process-oriented way by using information units to represent offensive performance – i.e. Key Performance Indicators. Second, this model is organis…
Diary as dialogue in papermill process control
2000
Sensitivity analysis of efficiency and Malmquist productivity indices: An application to Spanish savings banks
2008
Hypothesis testing and statistical precision in the context of non-parametric efficiency and productivity measurement have been investigated since the early 1990s. Recent contributions focus on this matter through the use of resampling methods-i.e., bootstrapping techniques. However, empirical evidence is still practically non-existent. This gap is more noticeable in the case of banking efficiency studies, where the literature is immense. In this work, we explore productivity growth and productive efficiency for Spanish savings banks over the (initial) post-deregulation period 1992-1998 using Data Envelopment Analysis (DEA) and bootstrapping techniques. Results show that productivity growth…
On the dynamics of eco-efficiency performance in the European Union
2016
This paper evaluates the evolution of environmental performance in the context of the European Union (EU), over the period 1993–2010. The context is particularly relevant, due to the traditionally high concerns of the EU about these issues, which has triggered off several initiatives and regulations on environmental protection. In this setting, we conduct a two-stage analysis which develops environmental performance indicators in the first stage for each pair country-year, and evaluates its evolution in the second. More specifically, in the first stage we estimate specific efficiencies for three air-pollutants (CO2e, SO2, NOx), along with an eco-efficiency indicator, for which we use the sl…
Formations of Monoids, Congruences, and Formal Languages
2015
The main goal in this paper is to use a dual equivalence in automata theory started in [25] and developed in [3] to prove a general version of the Eilenberg-type theorem presented in [4]. Our principal results confirm the existence of a bijective correspondence between three concepts; formations of monoids, formations of languages and formations of congruences. The result does not require finiteness on monoids, nor regularity on languages nor finite index conditions on congruences. We relate our work to other results in the field and we include applications to non-r-disjunctive languages, Reiterman s equational description of pseudovarieties and varieties of monoids.
A characterization of regular circular languages generated by marked splicing systems
2009
AbstractSplicing systems are generative devices of formal languages, introduced by Head in 1987 to model biological phenomena on linear and circular DNA molecules. A splicing system is defined by giving an initial set I and a set R of rules. Some unanswered questions are related to the computational power of circular splicing systems. In particular, a still open question is to find a characterization of circular languages generated by finite circular splicing systems (i.e., circular splicing systems with both I and R finite sets). In this paper we introduce a special class of the latter systems named marked systems. We prove that a marked system S generates a regular circular language if an…
A Deep Learning Approach for Energy Efficient Computational Offloading in Mobile Edge Computing
2019
Mobile edge computing (MEC) has shown tremendous potential as a means for computationally intensive mobile applications by partially or entirely offloading computations to a nearby server to minimize the energy consumption of user equipment (UE). However, the task of selecting an optimal set of components to offload considering the amount of data transfer as well as the latency in communication is a complex problem. In this paper, we propose a novel energy-efficient deep learning based offloading scheme (EEDOS) to train a deep learning based smart decision-making algorithm that selects an optimal set of application components based on remaining energy of UEs, energy consumption by applicati…
Gray coding cubic planar maps
2016
International audience; The idea of (combinatorial) Gray codes is to list objects in question in such a way that two successive objects differ in some pre-specified small way. In this paper, we utilize beta-description trees to cyclicly Gray code three classes of cubic planar maps, namely, bicubic planar maps, 3-connected cubic planar maps, and cubic non-separable planar maps. (C) 2015 Elsevier B.V. All rights reserved.
Quantum-chemical simulations of free and bound hole polarons in corundum crystal
1997
Abstract The semi-empirical method of the so-called intermediate neglect of differential overlap (INDO) has been applied to the calculations of the hole small-radius polarons in corundum crystals. Results for optimized atomic and electronic structure using two different approaches (the molecular cluster and periodic, supercell model) are critically compared. It is shown that the main results are similar in both cases.