Neural networks learn by adjusting numeric values called weights and thresholds. A weight specifies how strong of a connection exists between two neurons. A threshold is a value,...
This paper explores the use of SAT-Modulo Theory in determination of bit-widths for finite precision implementation of numerical calculations, specifically in the context of sci...
—Computation of the undetected error probability for error correcting codes over the Z-channel is an important issue, explored only in part in previous literature. In this paper ...
Franco Chiaraluce, Marco Baldi, Susanna Spinsante,...
The multiple Barnes function, defined as a generalization of the Euler gamma function, is used in many applications of pure and applied mathematics and theoretical physics. This pa...
The present study treats the calculation of the continuous phase of a multiphase flow, i.e. the numerical solution of the equations for a turbulent incompressible flow. An exist...
Klaus Bernert, Thomas Frank, Hellfried Schneider, ...