Explaining IT programming concepts using NSM explications: The case of ‘variable’ and ‘constant’
LingBaW, 2019 The paper seeks to explore a practical application of Natural Semantic Metalanguage in defining two core concepts in computer programming, i.e. the concept of a variable and the concept of a constant.
Bartłomiej Biegajło
doaj +1 more source
Exploring the mathematics of motion through construction and collaboration [PDF]
, 2006 In this paper we give a detailed account of the design principles and construction of activities designed for learning about the relationships between position, velocity and acceleration, and corresponding kinematics graphs.
Hoyles, Celia +2 more
core +5 more sources
Automated Assessment of Computer Programming Practices: The 8-Years UNED Experience
IEEE Access, 2019 The increasing popularity of distance education poses exciting new challenges. In particular, current pedagogical paradigms, such as competency-based education, require students' continuous evaluation.
Daniel Galan +4 more
doaj +1 more source
A Swiss Pocket Knife for Computability [PDF]
, 2013 This research is about operational- and complexity-oriented aspects of classical foundations of computability theory. The approach is to re-examine some classical theorems and constructions, but with new criteria for success that are natural from a ...
Jones, Neil D.
core +3 more sources
Towards the study of the efficiency using of locomotives of electrical traction on the Kokand - Andizhan section of the Kokand branch of the railway [PDF]
E3S Web of ConferencesThe subject of the study is the moving parameters of a cargo train with a constant fixed mass of the composition, organized by an electric locomotive of the Uz-EL type, and the amount of electrical energy consumed by it in conditions the energy-optimal ...
Ablyalimov Oleg +3 more
doaj +1 more source
A proof of strong normalisation using domain theory [PDF]
, 2006 Ulrich Berger presented a powerful proof of strong normalisation using domains, in particular it simplifies significantly Tait's proof of strong normalisation of Spector's bar recursion.
Arnaud Spiwack +2 more
core +12 more sources
Key Concepts, Weakness and Benchmark on Hash Table Data Structures
Algorithms, 2022 Most computer programs or applications need fast data structures. The performance of a data structure is necessarily influenced by the complexity of its common operations; thus, any data-structure that exhibits a theoretical complexity of amortized ...
Santiago Tapia-Fernández +2 more
doaj +1 more source
Minimum-weight triangulation is NP-hard [PDF]
, 2006 A triangulation of a planar point set S is a maximal plane straight-line graph with vertex set S. In the minimum-weight triangulation (MWT) problem, we are looking for a triangulation of a given point set that minimizes the sum of the edge lengths.
Bern M. W. +13 more
core +10 more sources
Computational Intelligence in Marine Control Engineering Education
Polish Maritime Research, 2021 This paper presents a new approach to the existing training of marine control engineering professionals using artificial intelligence. We use optimisation strategies, neural networks and game theory to support optimal, safe ship control by applying the ...
Lisowski Józef
doaj +1 more source
OPT-RNN-DBSVM: OPTimal Recurrent Neural Network and Density-Based Support Vector Machine
Mathematics, 2023 When implementing SVMs, two major problems are encountered: (a) the number of local minima of dual-SVM increases exponentially with the number of samples and (b) the computer storage memory required for a regular quadratic programming solver increases ...
Karim El Moutaouakil +4 more
doaj +1 more source