Results 11 to 20 of about 39,976 (230)
Implementation and improvements of affine arithmetic
Nonlinear Theory and Its Applications, IEICE, 2015 Affine arithmetic is a well-known tool to reduce the wrapping effect of ordinary interval arithmetic. We discuss several improvements both in theory and in terms of practical implementation. In particular details of INTLAB's affine arithmetic toolbox are presented. Computational examples demonstrate advantages and weaknesses of the approach.
Rump, Siegfried M., Kashiwagi, Masahide
openaire +4 more sources
Energy Reports, 2023 According to the energy consumption characteristics of gas stations, the district energy system (DES) based on natural gas and renewable energy is a suitable form of energy supply.
Tianjie Liu +3 more
doaj +1 more source
IET Generation, Transmission & Distribution, 2021 An interval power flow calculation (PFC) algorithm for multi‐terminal DC distribution networks is proposed to handle the uncertainties of distributed generation output powers and loads.
Qi Liu +3 more
doaj +1 more source
FDFB: Full Domain Functional Bootstrapping Towards Practical Fully Homomorphic Encryption
Transactions on Cryptographic Hardware and Embedded Systems, 2022 Computation on ciphertexts of all known fully homomorphic encryption (FHE) schemes induces some noise, which, if too large, will destroy the plaintext.
Kamil Kluczniak, Leonard Schild
doaj +1 more source
Fit the Joint Moments: How to Attack Any Masking Scheme
IEEE Access, 2022 Side-Channel Analysis (SCA) allows extracting secret keys manipulated by cryptographic primitives through leakages of their physical implementations. Supervised attacks, known to be optimal, can theoretically defeat any countermeasure, including masking,
Valence Cristiani +3 more
doaj +1 more source
IEEE Access, 2021 The rapidly growing market for electric vehicles (EVs) and chargers has a considerable influence on the operation of the distribution network. Accurate evaluation of the number of EVs penetrating the distribution network, that is, the hosting capacity ...
Tae-Han Kim, Dam Kim, Seung-Il Moon
doaj +1 more source
Semënov Arithmetic, Affine VASS, and String Constraints
, 2023 We study extensions of Semënov arithmetic, the first-order theory of the structure $(\mathbb{N}, +, 2^x)$. It is well-knonw that this theory becomes undecidable when extended with regular predicates over tuples of number strings, such as the Büchi $V_2$-predicate.
Draghici, Andrei +2 more
openaire +4 more sources
Ray casting implicit fractal surfaces with reduced affine arithmetic [PDF]
, 2007 A method is presented for ray casting implicit surfaces defined by fractal combinations of procedural noise functions. The method is robust and uses affine arithmetic to bound the variation of the implicit function along a ray.
Gamito, M.N., Maddock, S.C.
core +2 more sources
Modified Affine Arithmetic Is More Accurate than Centered Interval Arithmetic or Affine Arithmetic [PDF]
, 2003 In this paper we give mathematical proofs of two new results relevant to evaluating algebraic functions over a box-shaped region: (i) using interval arithmetic in centered form is always more accurate than standard affine arithmetic, and (ii) modified affine arithmetic is always more accurate than interval arithmetic in centered form. Test results show
Huahao Shou +3 more
openaire +1 more source
On the distribution of orbits in affine varieties [PDF]
, 2014 Given an affine variety $X$, a morphism $\phi:X\to X$, a point $\alpha\in X$, and a Zariski closed subset $V$ of $X$, we show that the forward $\phi$-orbit of $\alpha$ meets $V$ in at most finitely many infinite arithmetic progressions, and the remaining
Petsche, Clayton
core +1 more source