Results 21 to 30 of about 682,366 (313)
AlgoSkills: an ontology of Algorithmic Skills for exercises description and organization
Je-LKS: Journal of E-Learning and Knowledge Society, 2016 Algorithms and data structure is considered as an important course in computer science where students have to learn several fundamental principles of programming.
Taki Eddine Belhaoues +3 more
doaj +1 more source
Denotational Semantics of A User-Oriented, Domain-Specific Language [PDF]
Electronic Proceedings in Theoretical Computer Science, 2013 This paper presents the formal definition of a domain-specific language, named Pantagruel, following the methodology proposed by David Schmidt for language development.
Julien Mercadal +2 more
doaj +1 more source
First steps in synthetic guarded domain theory: step-indexing in the topos of trees [PDF]
, 2006 We present the topos S of trees as a model of guarded recursion. We study the internal dependently-typed higher-order logic of S and show that S models two modal operators, on predicates and types, which serve as guards in recursive definitions of terms,
Jan Schwinghammer +4 more
core +7 more sources
Energies, 2018 This research, a new thrust-allocation algorithm based on penalty programming is developed to minimize the fuel consumption of offshore vessels/platforms with dynamic positioning system.
Se Won Kim, Moo Hyun Kim
doaj +1 more source
Efficient Generation of RNA Secondary Structure Prediction Algorithm Under PAR Framework
Frontiers in Plant Science, 2022 Prediction of RNA secondary structure is an important part of bioinformatics genomics research. Mastering RNA secondary structure can help us to better analyze protein synthesis, cell differentiation, metabolism, and genetic processes and thus reveal the
Haihe Shi, Xiaoqian Jing
doaj +1 more source
Inspiring or confusing – a study of Finnish 1–6 teachers’ relation to teaching programming
LUMAT, 2021 There is limited research on teaching and learning of programming in primary school and even less about aspects concerning teaching programming from teachers’ viewpoint.
Ray Pörn +2 more
doaj +1 more source
Linear Programming Processivity and Structural Optimisation of Intelligent Systems
Computer Sciences & Mathematics Forum, 2023 The factor space theory of causal analysis and factor manifolds is essentially an optimisation problem in the application of intelligent systems and is closely related to linear programming. In this paper, based on the organic combination of factor space
Yang Yang +3 more
doaj +1 more source
Logic Programming as Constructivism [PDF]
, 1989 The features of logic programming that seem unconventional from the viewpoint of classical logic can be explained in terms of constructivistic logic. We motivate and propose a constructivistic proof theory of non-Horn logic programming.
Bry, François
core +1 more source
Specialising Finite Domain Programs Using Polyhedra [PDF]
, 2000 A procedure is described for tightening domain constraints of finite domain logic programs by applying a static analysis based on convex polyhedra. Individual finite domain constraints are over-approximated by polyhedra to describe the solution space over n integer variables as an n dimensional polyhedron.
Howe, Jacob M., King, Andy
openaire +1 more source
Открытое образование (Москва), 2016 This article is devoted to the ways of teaching object-oriented programming of bachelors of pedagogical education in network community. The article provides a definition of competence in the domain of objectoriented programming and describes its ...
Diana V. Moglan
doaj +1 more source