Publications associées à Arithmétique modulaire

Chattez avec Graph Search

Posez n’importe quelle question sur les cours, conférences, exercices, recherches, actualités, etc. de l’EPFL ou essayez les exemples de questions ci-dessous.

AVERTISSEMENT : Le chatbot Graph n'est pas programmé pour fournir des réponses explicites ou catégoriques à vos questions. Il transforme plutôt vos questions en demandes API qui sont distribuées aux différents services informatiques officiellement administrés par l'EPFL. Son but est uniquement de collecter et de recommander des références pertinentes à des contenus que vous pouvez explorer pour vous aider à répondre à vos 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

Arithmétique modulaire

Graph Chatbot

Chattez avec 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

Colloidal Nanocrystal Frameworks

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

Equivalences between blocks of cohomological Mackey algebras

Equivalences between blocks of p-local Mackey algebras

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

Interpolation for Synthesis on Unbounded Domains

Tree Interpolation in Vampire

Generalised Mersenne Numbers Revisited

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

Generation Process and Analysis of Innovative Timberfabric Vaults