Results 31 to 40 of about 9,061,188 (344)
Approximating the domains of functional and imperative programs
Science of Computer Programming, 1999 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Jürgen Brauburger, Jürgen Giesl
openaire +2 more sources
Finding largest small polygons with GloptiPoly [PDF]
, 2010 A small polygon is a convex polygon of unit diameter. We are interested in small polygons which have the largest area for a given number of vertices $n$. Many instances are already solved in the literature, namely for all odd $n$, and for $n=4, 6$ and 8.
C. Audet +17 more
core +6 more sources
Cross-Domain Reuse of Extracted Knowledge in Genetic Programming for Image Classification
IEEE Transactions on Evolutionary Computation, 2017 Genetic programming (GP) is a well-known evolutionary computation technique, which has been successfully used to solve various problems, such as optimization, image analysis, and classification.
Muhammad Iqbal +3 more
semanticscholar +1 more source
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
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
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
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