Results 31 to 40 of about 30,367 (158)
The Computational Content of Arithmetical Proofs
Notre Dame Journal of Formal Logic, 2012 Natural deductions in intuitionistic arithmetic have a unique normal form. This is not true for Gentzen-style sequent derivations, especially in classical arithmetic. Using a special redundancy construction from a previous work with M. Baaz, the author proves that for a wide class of arithmetical theories \(T\) the number of possible cut-free forms of ...
openaire +3 more sources
RRAM Crossbar-Based In-Memory Computation of Anisotropic Filters for Image Preprocessingloa
IEEE Access, 2020 Anisotropic-diffusion is a commonly used signal preprocessing technique that allows extracting meaningful local characteristics from a signal, such as edges in an image and can be used to support higher-level processing tasks, such as shape detection ...
Fakhreddine Zayer +3 more
doaj +1 more source
SCIENCE TRAINING SIMULATOR - ONE IMPORTANT CLASS OF NEW EDUCATION PRODUCTS
Вестник Мининского университета, 2017 Specifications of computer training simulators give possibility to use them as one of classes of new educational products. The introduction of these simulators in educational system makes this system better.
M. A. Iordanski, N. A. Mukhin
doaj +2 more sources
P-CORDIC: A Precomputation Based Rotation CORDIC Algorithm
EURASIP Journal on Advances in Signal Processing, 2002 This paper presents a CORDIC (coordinate rotation digital computer) algorithm and architecture for the rotation mode in which the directions of all micro-rotations are precomputed while maintaining a constant scale factor.
Parhi Keshab K, Kuhlmann Martin
doaj +1 more source
, 2014 Computer Arithmetic Volume III is a compilation of key papers in computer arithmetic on floating-point arithmetic and design. The intent is to show progress, evolution, and novelty in the area of floating-point arithmetic. This field has made extraordinary progress since the initial software routines on mainframe computers have evolved into hardware ...
openaire +2 more sources
Computational-Complexity of Arithmetical Sentences
Information and Computation, 1995 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +2 more sources
Computational thinking’s influence on research and education for all
Italian Journal of Educational Technology, 2017 Computer science has produced, at an astonishing and breathtaking pace, amazing technology that has transformed our lives with profound economic and societal impact.
Jeannette M. Wing
doaj +1 more source
Nearly Optimal Quantum Algorithm for Generating the Ground State of a Free Quantum Field Theory
PRX Quantum, 2022 We devise a quasilinear quantum algorithm for generating an approximation for the ground state of a quantum field theory (QFT). Our quantum algorithm delivers a superquadratic speedup over the state-of-the-art quantum algorithm for ground-state ...
Mohsen Bagherimehrab +4 more
doaj +1 more source
A Latency-Effective Pipelined Divider for Double-Precision Floating-Point Numbers
IEEE Access, 2020 In this article, we propose an effective algorithm of pipelined dividers for double-precision floating-point numbers. This reduces the latency of the previous pipelined dividers without increasing the lookup table size. The experimental results show that
Juwon Yun +4 more
doaj +1 more source
Shorter table ATA evaluation of elementary functions in single precision
Journal of Computer Science and Technology, 2003 In this paper a slightly modification is proposed to the original Wong and Gotos ATA method for the computation of elementary functions in IEEE 754 single precision.
Oscar N. Bria
doaj