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
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
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
Model Checking Linear Logic Specifications [PDF]
, 2003 The overall goal of this paper is to investigate the theoretical foundations of algorithmic verification techniques for first order linear logic specifications.
Bozzano, M., Delzanno, G., Martelli, M.
core +1 more source
Backdoors to Normality for Disjunctive Logic Programs [PDF]
, 2013 Over the last two decades, propositional satisfiability (SAT) has become one of the most successful and widely applied techniques for the solution of NP-complete problems.
Fichte, Johannes Klaus, Szeider, Stefan
core +1 more source
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
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
Numerical simulation of electric signal in the cyber-physical immunosensor system on rectangular lattice in R package [PDF]
, 2019 Проведено чисельне моделювання електричного сигналу з перетворювача в кіберфізичній імуносенсорній системі на прямокутній решітці з використанням диференціальних рівнянь із запізненням за допомогою пакета R.
Sverstiuk, Andrii +1 more
core +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
DYNAMIC SIMULATION AND COMPOSITION CONTROL IN A 10 L MIXING TANK
Reaktor, 2012 The open loop experiment of composition dynamic in a 10 L mixing tank has been successfully done inlaboratory. A 10 L tank was designed for mixing of water (as a stream-1) and salt solution (as astream-2 with salt concentration, c2 constant). An electric
Yulius Deddy Hermawan, Gogot Haryono
doaj +1 more source