Results 21 to 30 of about 30,367 (158)
An Informal Arithmetical Approach to Computability and Computation, III [PDF]
Canadian Mathematical Bulletin, 1961 It is assumed that the reader is acquainted with the first two parts of the present paper, [1] and [2], in which there was developed informally the theory of a certain class of hypothetical computing devices, the Q-machines. In the present part of the paper we develop a way of describing Q-programs and Q-computations; then, following the theorem in [2],
openaire +3 more sources
Dance Video Motion Recognition Based on Computer Vision and Image Processing
Applied Artificial Intelligence, 2023 In recent years, motion recognition has become a hot research topic in the field of computer vision and has great research worth. Scholars and research institutions at home and abroad have made a lot of research and achieved good results.
Yawen Pang, Yi Niu
doaj +1 more source
Computational Flows in Arithmetic
CoRR, 2017 A computational flow is a pair consisting of a sequence of computational problems of a certain sort and a sequence of computational reductions among them. In this paper we will develop a theory for these computational flows and we will use it to make a sound and complete interpretation for bounded theories of arithmetic.
openaire +2 more sources
International Journal for Research in Vocational Education and Training, 2023 Context: Students with special educational needs in the area of learning (SEN-L) attend vocational trainings to be provided with qualifications for the labor market.
Stephanie Lutz +2 more
doaj +1 more source
A Multifunctional Unit for Designing Efficient RNS-Based Datapaths
IEEE Access, 2017 Inter-modulo operations are the most time consuming and costly operations of the residue number system (RNS), and one of the main obstacles to applying RNS in practice to the design of computing devices, namely for signed integer arithmetic.
Amir Sabbagh Molahosseini +3 more
doaj +1 more source
Multimodal Technologies and Interaction, 2023 This study attempted to model the stag and hare hunting behaviors of students using their interaction data in a mobile computer-supported collaborative learning application for Grade 5 mathematics.
Rex P. Bringula +3 more
doaj +1 more source
Modular Arithmetic Based on Boolean Functions: A Divide and Conquer Approach
IEEE AccessThis paper introduces a new method for designing modular arithmetic units, for reduction ( $X (mod\ P)$ ), multiplication ( $(A\cdot B) (mod\ P)$ ), and multiplication by a constant ( $(constant\cdot A)(mod \ P)$ ).
Danila Gorodecky, Leonel Sousa
doaj +1 more source
Is Church’s Thesis Still Relevant?
Studies in Logic, Grammar and Rhetoric, 2020 The article analyses the role of Church’s Thesis (hereinafter CT) in the context of the development of hypercomputation research. The text begins by presenting various views on the essence of computer science and the limitations of its methods.
Mycka Jerzy, Olszewski Adam
doaj +1 more source
Exact arithmetic as a tool for convergence assessment of the IRM-CG method
Heliyon, 2020 Using exact computer arithmetic, it is possible to determine the (exact) solution of a numerical model without any rounding error. For such purposes, a corresponding system of equations should be exactly defined, either directly or by rationalising the ...
Josip Dvornik +3 more
doaj +1 more source
Algorithms for estimating modular numbers in floating-point arithmetic
Наука. Инновации. Технологии, 2022 In the residue number system (RNS), the operations of addition, subtraction, and multiplication are executed in parallel for different digits (residues) of the modular numbers.
Konstantin Sergeevich Isupov
doaj