Results 41 to 50 of about 47,544 (165)
Education Inquiry, 2023 This review article focuses on the teaching of computer programming in primary school mathematics, as reported by 37 empirical studies. Our findings show that a variety of research methods are used, which often combine qualitative and quantitative ...
O.E. Holo +4 more
doaj +1 more source
Nonlinear Mathematical Programming in Engineering Applications [PDF]
Transactions of the VŠB-Technical University of Ostrava, Mechanical Series, 2010 This paper deals with suitable nonlinear optimization in engineering applications via mathematical programming. This tool is used for optimization and control of production of steel slabs and inverse tasks, such as determination of boundary conditions ...
Tomáš MAUDER
doaj
The mathematical construction of a program
Science of Computer Programming, 1984 The paper offers an interesting point of view on the formal theory of programming, using specific mathematical tools at different levels of abstraction, to develop an entirely formal axiomatic basis to program semantics - program construction and correctness proof-checking. The declared aims of the paper are to discuss an elementary theory of theories,
openaire +2 more sources
On constraint qualifications in mathematical programming
Доклады Белорусского государственного университета информатики и радиоэлектроники, 2019 The article is devoted to the condition of R-regularity (Error Bound Property) in problems of mathematical programming. This condition plays an important role in analyzing the convergence of numerical optimization algorithms and it is a fairly general ...
L. I. Minchenko, S. I. Sirotko
doaj
Student Teachers as Learners and Teachers: Praxeological Perspectives on Programming in Mathematics
Education SciencesThis study investigates how master’s student teachers (MSTs) conceptualize and integrate programming and computational thinking within mathematics education.
Odd Tore Kaufmann +3 more
doaj +1 more source
Semi-G-Preinvexity and Optimality in Mathematical Programming
Journal of Applied Mathematics, 2014 We mainly discuss the properties and applications of semi-G-preinvexity, which was introduced in Peng and Chang 2013. Examples are given to show the existence of semi-G-preinvex functions.
Zai Yun Peng +3 more
doaj +1 more source
Energies, 2018 The textile industry is one of the world’s major sources of industrial pollution, and related environmental issues are becoming an ever greater concern.
Wen-Hsien Tsai
doaj +1 more source
Computer programming in the lower secondary classroom: learning mathematics
Italian Journal of Educational Technology, 2017 In this paper, we study computer programming in relationship to the learning of mathematics, particularly processes such as mathematical thinking and problem solving.
Johan Lie +2 more
doaj +1 more source
BMC Bioinformatics, 2020 Background The alignment of protein-protein interaction networks was recently formulated as an integer quadratic programming problem, along with a linearization that can be solved by integer linear programming software tools.
Mercè Llabrés +3 more
doaj +1 more source
Coordination of Bus Departures by Mathematical Programming
Communications, 2013 This paper deals with coordination of bus arrivals. A quality criterion of this problem is to minimize waiting time of passengers, to make public transport more attractive. One possibility for solving is to increase the number of arrivals with associated
Lydia Gabrisova, Petr Kozel
doaj +1 more source