Results 11 to 20 of about 1,379 (241)
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
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
Energies, 2018 Wind power belongs to sustainable and clean energy sources which play a vital role of reducing environment pollution and addressing energy crisis. However, wind power outputs are quite difficult to predict because they are derived from wind speeds, which
Weijie Cheng +5 more
doaj +1 more source
IEEE Access, 2020 Due to the absence of historical data and the errors of measurement instruments, there may be uncertainties in the distribution parameters of the random variables describing the uncertain fluctuations of node power including renewable energy station ...
Yuquan Xie +6 more
doaj +1 more source
Towards Verification of Uncertain Cyber-Physical Systems [PDF]
Electronic Proceedings in Theoretical Computer Science, 2017 Cyber-Physical Systems (CPS) pose new challenges to verification and validation that go beyond the proof of functional correctness based on high-level models. Particular challenges are, in particular for formal methods, its heterogeneity and scalability.
Carna Radojicic +3 more
doaj +1 more source
Project Duration Evaluated Using Affine Arithmetic
Periodica Polytechnica Civil Engineering, 2016 A civil engineering work can be performed by organizing theavailable resources (manpower, equipment and materials) inmany different ways. Each different configuration results in arealization time and a cost that a building company has to bear.To produce reliable duration forecasts and money savings, itis essential to take into account all the ...
Bosurgi G., Pellegrino O., Sollazzo G.
openaire +3 more sources