Results 31 to 40 of about 21,194 (310)
Fast constant-time gcd computation and modular inversion
Transactions on Cryptographic Hardware and Embedded Systems, 2019 This paper introduces streamlined constant-time variants of Euclid’s algorithm, both for polynomial inputs and for integer inputs. As concrete applications, this paper saves time in (1) modular inversion for Curve25519, which was previously believed to ...
Daniel J. Bernstein, Bo-Yin Yang
doaj +1 more source
Modular Termination for Second-Order Computation Rules and Application to Algebraic Effect Handlers [PDF]
Logical Methods in Computer Science, 2022 We present a new modular proof method of termination for second-order computation, and report its implementation SOL. The proof method is useful for proving termination of higher-order foundational calculi.
Makoto Hamana
doaj +1 more source
Modularity and symmetry in computational embryogeny [PDF]
Proceedings of the 10th annual conference on Genetic and evolutionary computation, 2008 Modularity and symmetry are two properties observed in almost every engineering and biological structure. The origin of these properties in nature is still unknown. Yet, as engineers we tend to generate designs which share these properties. In this paper we will report on the origin of these properties in three dimensional evolved structures ...
Yogev, Or +2 more
openaire +2 more sources
Modular Composition of Language Features through Extensions of Semantic Language Models [PDF]
, 1999 Today, programming or specification languages are often extended in order to customize them for a particular application domain or to refine the language definition. The extension of a semantic model is often at the centre of such an extension.
Claus Pahl, Pahl, Claus
core +1 more source
Tongxin xuebao, 2022 Aiming at the high performance requirements of signature verification for specific scenarios such as blockchain, a high-speed hardware architecture of Ed25519 was proposed.To reduce the number of calculations for point addition and point double, a ...
Yiming XUE +4 more
doaj +2 more sources
Analytic properties of the Virasoro modular kernel
European Physical Journal C: Particles and Fields, 2017 On the space of generic conformal blocks the modular transformation of the underlying surface is realized as a linear integral transformation. We show that the analytic properties of conformal block implied by Zamolodchikov’s formula are shared by the ...
Nikita Nemkov
doaj +1 more source
Securely Outsource Modular Exponentiations With Single Untrusted Cloud Server
IEEE Access, 2020 Modular exponentiation is one of the most fundamental operations in lots of encryption and signature systems. Due to the heavy computation cost of modular exponentiation, many schemes have been put forward to securely outsource modular exponentiation to ...
Dezhi An, Yan Li, Shengcai Zhang, Jun Lu
doaj +1 more source
MODULAR BUNDLE ADJUSTMENT FOR PHOTOGRAMMETRIC COMPUTATIONS [PDF]
The International Archives of the Photogrammetry, Remote Sensing and Spatial Information Sciences, 2018 Abstract. In this paper we investigate how the residuals in bundle adjustment can be split into a composition of simple functions. According to the chain rule, the Jacobian (linearisation) of the residual can be formed as a product of the Jacobians of the individual steps. When implemented, this enables a modularisation of the computation of the bundle
N. Börlin +4 more
openaire +5 more sources
Modular Computational Critics for Games
Proceedings of the AAAI Conference on Artificial Intelligence and Interactive Digital Entertainment, 2013 Formal game modeling tools could support the automated analysis of game rules and rapid automated play-testing, but are not widely used. Furthermore, existing game design support tools are often limited to very specific classes of game, require significant programming expertise to use or customize, or are fully-automatic tools with limited affordances ...
Joseph Carter Osborn +2 more
openaire +2 more sources
Scalar‐valued depth two Eichler–Shimura integrals of cusp forms
Transactions of the London Mathematical Society, 2023 Given cusp forms f and g of integral weight k⩾2, the depth two holomorphic iterated Eichler–Shimura integral If,g is defined by ∫τi∞f(z)(X−z)k−2Ig(z;Y)dz, where Ig is the Eichler integral of g and X,Y are formal variables.
Tobias Magnusson, Martin Raum
doaj +1 more source