Results 11 to 20 of about 2,695,757 (280)
Fast Reliable Ray-tracing of Procedurally Defined Implicit Surfaces Using Revised Affine Arithmetic [PDF]
, 2009 Fast and reliable rendering of implicit surfaces is an important area in the field of implicit modelling. Direct rendering, namely ray-tracing, is shown to be a suitable technique for obtaining good-quality visualisations of implicit surfaces. We present
Fryazinov, Oleg +2 more
core +9 more sources
Learning, realizability and games in classical arithmetic [PDF]
, 2011 PhDAbstract. In this dissertation we provide mathematical evidence that the concept of learning can be used to give a new and intuitive computational semantics of classical proofs in various fragments of Predicative Arithmetic.
Aschieri, Federico
core +4 more sources
A hierarchy of ramified theories below primitive recursive arithmetic [PDF]
, 2010 The arithmetical theory EA(I;O) developed by Çagman, Ostrin and Wainer ([18] and [48]) provides a formal setting for the variable separation of Bellantoni-Cook predicative recursion [6].
Spoors, Elliott John
core +6 more sources
Optimised squaring of long integers using precomputed partial products [PDF]
, 2001 ©2001 IEEE. Personal use of this material is permitted. However, permission to reprint/republish this material for advertising or promotional purposes or for creating new collective works for resale or redistribution to servers or lists, or to reuse any ...
Phillips, B.
core +1 more source
First steps towards more numerical reproducibility*
ESAIM: Proceedings and Surveys, 2014 Questions whether numerical simulation is reproducible or not have been reported in several sensitive applications. Numerical reproducibility failure mainly comes from the finite precision of computer arithmetic.
Jézéquel Fabienne +2 more
doaj +1 more source
From static ternary adders to high-performance race-free dynamic ones
The Journal of Engineering, 2015 This study explores the suitability of dynamic logic style in ternary logic. It presents high-performance dynamic ternary half and full adders, which are essential components in computer arithmetic.
Shirin Rezaie +4 more
doaj +1 more source
Some Remarks about Entropy of Digital Filtered Signals
Entropy, 2020 The finite numerical resolution of digital number representation has an impact on the properties of filters. Much effort has been done to develop efficient digital filters investigating the effects in the frequency response.
Vinícius S. Borges +3 more
doaj +1 more source
Моделирование и анализ информационных систем, 2018 The project “Platform-independent approach to formal specification and verification of standard mathematical functions” is aimed onto the development of incremental combined approach to specification and verification of standard Mathematical functions ...
Nikolay V. Shilov +4 more
doaj +1 more source
Arithmetic coding revisited [PDF]
, 1998 Over the last decade, arithmetic coding has emerged as an important compression tool. It is now the method of choice for adaptive coding on multisymbol alphabets because of its speed, low storage requirements, and effectiveness of compression.
Neal, Radford M. +5 more
core +1 more source
About finding of prime numbers that follow after given prime number without using computer
Дифференциальная геометрия многообразий фигур, 2020 It is shown how to define one or several prime numbers following after given prime number without using computer only by calculating several arithmetic progressions. Five examples of finding such prime numbers are given.
V.S. Malakhovsky
doaj +1 more source