Methodology and program for the storage and statistical analysis of the results of computer experiment [PDF]
Компьютерные исследования и моделирование, 2013 The problem of accumulation and the statistical analysis of computer experiment results are solved. The main experiment program is considered as the data source.
Aung Phyo Winn +3 more
doaj +1 more source
Minecraft: An Engaging Platform to Learn Programming [PDF]
arXiv, 2022 Teaching programming effectively is difficult. This paper explores the benefits of using Minecraft Education Edition to teach Python programming. Educators can use the game to teach various programming concepts ranging from fundamental programming concepts, object-oriented programming, event-driven programming, and parallel programming.
arxiv
MODELLING THE KINEMATICS OF A HINGED-ROD HYDRAULIC MANIPULATOR [PDF]
Volga Region Farmland, 2020 The article considers the possibility of determining the kinematic parameters of hydraulic ma-nipulators that have a hinged-rod boom as a supporting structure.
N.V. Babochenko, Antvi-Wilson Papa
doaj +1 more source
SUCCESSFUL DEVELOPMENT OF RURAL AREAS IN NORTHEASTERN BULGARIA BY CREATING AND IMPLEMENTING A SOFTWARE PRODUCT FOR MILK AND DAIRY PRODUCERS [PDF]
Trakia Journal of Sciences, 2021 A large portion of the territory of Bulgaria, more than 80%, falls within the so-called rural areas. The situation is similar with the European Union, with more than 85% of its territory falling within these specific areas, whereas rural areas in the ...
G. Slavova, S. Stoev
doaj +1 more source
A Unified Programming Model for Heterogeneous Computing with CPU and Accelerator Technologies [PDF]
arXiv, 2022 This paper consists of three parts. The first part provides a unified programming model for heterogeneous computing with CPU and accelerator (like GPU, FPGA, Google TPU, Atos QPU, and more) technologies. To some extent, this new programming model makes programming across CPUs and accelerators turn into usual programming tasks with common programming ...
arxiv
In Praise of Impredicativity: A Contribution to the Formalisation of Meta-Programming [PDF]
Theory and Practice of Logic Programming, pages 1-48, 25 February
2019, 2018 Processing programs as data is one of the successes of functional and logic programming. Higher-order functions, as program-processing programs are called in functional programming, and meta-programs, as they are called in logic programming, are widespread declarative programming techniques.
arxiv +1 more source
, 2007 SUPERFLIP is a computer program that can solve crystal structures from diffraction data using the recently developed charge-flipping algorithm. It can solve periodic structures, incommensurately modulated structures and quasicrystals from X-ray and ...
L. Palatinus, G. Chapuis
semanticscholar +1 more source
Harmful computer programs in the criminal legislation of the Russian Federation
Путеводитель предпринимателя, 2020 Various points of view on definition of the harmful program in criminal law are presented in the present article. Classification is given and features of different types of harmful programs and programs which can be used as harmful are revealed. Author’s
V. V. Vorobyov
doaj
Calculation of the effective diffusion coefficient during the drying of clay samples [PDF]
Journal of the Serbian Chemical Society, 2012 The aim of this study was to calculate the effective diffusion coefficient based on experimentally recorded drying curves for two masonry clays obtained from different localities.
Vasić Miloš +2 more
doaj +1 more source
Computer-Assisted Program Reasoning Based on a Relational Semantics of Programs [PDF]
EPTCS 79, 2012, pp. 124-142, 2012 We present an approach to program reasoning which inserts between a program and its verification conditions an additional layer, the denotation of the program expressed in a declarative form. The program is first translated into its denotation from which subsequently the verification conditions are generated. However, even before (and independently of)
arxiv +1 more source