Publications related to Modular arithmetic

Chat with Graph Search

Ask any question about EPFL courses, lectures, exercises, research, news, etc. or try the example questions below.

DISCLAIMER: The Graph Chatbot is not programmed to provide explicit or categorical answers to your questions. Rather, it transforms your questions into API requests that are distributed across the various IT services officially administered by EPFL. Its purpose is solely to collect and recommend relevant references to content that you can explore to help you answer your questions.

Method and apparatus for low complexity spectral analysis of bio-signals

David Atienza Alonso, Andreas Peter Burg, Srinivasan Murali, Georgios Karakonstantis, Aviinaash Sankaranarayanan

A method and device for reducing the computational complexity of a processing algorithm, of a discrete signal, in particular of the spectral estimation and analysis of bio-signals, with minimum or no quality loss, which comprises steps of (a) choosing a do ...

2015

Equivalences between blocks of cohomological Mackey algebras

Baptiste Thierry Pierre Rognerud

Let G be a finite group and (K, O, k) be a p-modular system “large enough”. Let R = O or k. There is a bijection between the blocks of the group algebra RG and the central primitive idempotents (the blocks) of the so-called cohomological Mackey algebra coμ ...

Springer Verlag2015

Equivalences between blocks of p-local Mackey algebras

Baptiste Thierry Pierre Rognerud

Let G be a finite group and (K, O, k) be a p-modular system. Let R = O or k. There is a bijection between the blocks of the group algebra and the blocks of the so-called p-local Mackey algebra mu(1)(R)(G). Let b be a block of RG with abelian defect group D ...

Elsevier2015

Faster ECC over $\mathbb{F}_{2^{521}-1}$

Robert Granger

In this paper we present a new multiplication algorithm for residues modulo the Mersenne prime

2^{521}−1

. Using this approach, on an Intel Haswell Core i7-4770, constant-time variable-base scalar multiplication on NIST’s (and SECG’s) curve P-521 requires ...

Springer Berlin Heidelberg2015

Gaussian distribution for the divisor function and Hecke eigenvalues in arithmetic progressions

Philippe Michel

We show that, in a restricted range, the divisor function of integers in residue classes modulo a prime follows a Gaussian distribution, and a similar result for Hecke eigenvalues of classical holomorphic cusp forms. Furthermore, we obtain the joint distri ...

European Mathematical Soc2014

Generation Process and Analysis of Innovative Timberfabric Vaults

Yves Weinand, Laurent Humbert, Markus Hudert, Etienne Albenque

Timberfabric structures, developed at IBOIS, are a new family of timber constructions based on the logic and principles of man-made fabrics. Modular elements called “Timberfabric Modules” are generated by curving and connecting two thin wooden panels. This ...

2014

Tree Interpolation in Vampire

Régis William Blanc, Laura Ildiko Kovacs, Ashutosh Gupta

We describe new extensions of the Vampire theorem prover for computing tree interpolants. These extensions generalize Craig interpolation in Vampire, and can also be used to derive sequence interpolants. We evaluated our implementation on a large number of ...

Springer Berlin Heidelberg2013

Interpolation for Synthesis on Unbounded Domains

Viktor Kuncak, Régis William Blanc

Synthesis procedures compile relational specifications into functions. In addition to bounded domains, synthesis procedures are applicable to domains such as mathematical integers, where the domain and range of relations and synthesized code is unbounded. ...

Ieee2013

Faster ECC over $\mathbb{F}_{2^{521}-1}$

Robert Granger

In this paper we present a new multiplication algorithm for residues modulo the Mersenne prime

2^{521}−1

. Using this approach, on an Intel Haswell Core i7-4770, constant-time variable-base scalar multiplication on NIST’s (and SECG’s) curve P-521 requires ...

Springer Berlin Heidelberg2015

Modular arithmetic

Graph Chatbot

Chat with Graph Search

Colloidal Nanocrystal Frameworks

Method and apparatus for low complexity spectral analysis of bio-signals

Equivalences between blocks of cohomological Mackey algebras

Equivalences between blocks of p-local Mackey algebras

Faster ECC over $\mathbb{F}_{2^{521}-1}$

Gaussian distribution for the divisor function and Hecke eigenvalues in arithmetic progressions

Generation Process and Analysis of Innovative Timberfabric Vaults

Generalised Mersenne Numbers Revisited

Tree Interpolation in Vampire

Interpolation for Synthesis on Unbounded Domains

Equivalences between blocks of cohomological Mackey algebras

Colloidal Nanocrystal Frameworks

Equivalences between blocks of p-local Mackey algebras

Faster ECC over $\mathbb{F}_{2^{521}-1}$

Method and apparatus for low complexity spectral analysis of bio-signals

Gaussian distribution for the divisor function and Hecke eigenvalues in arithmetic progressions

Generalised Mersenne Numbers Revisited

Tree Interpolation in Vampire

Interpolation for Synthesis on Unbounded Domains

Generation Process and Analysis of Innovative Timberfabric Vaults