Filtrer vos résultats
- 77
- 21
- 47
- 23
- 12
- 9
- 4
- 2
- 1
- 4
- 95
- 21
- 2
- 1
- 1
- 4
- 4
- 3
- 2
- 6
- 4
- 6
- 8
- 6
- 7
- 8
- 7
- 5
- 4
- 6
- 4
- 8
- 6
- 82
- 16
- 98
- 19
- 16
- 14
- 13
- 9
- 8
- 8
- 8
- 7
- 4
- 4
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 98
- 21
- 21
- 15
- 13
- 9
- 7
- 7
- 5
- 4
- 4
- 4
- 4
- 4
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
98 résultats
|
|
Q-adic Transform revisitedISSAC '08 - 21st International Symposium on Symbolic and Algebraic Computation 2008, Jul 2008, Hagenberg, Austria. pp.63-70, ⟨10.1145/1390768.1390780⟩
Communication dans un congrès
hal-00173894v6
|
||
Arithmétique compressée pour des petits corps finisRencontres Arithmétique de l'Informatique Mathématique, Jun 2008, Lille, France
Communication dans un congrès
hal-00770318v1
|
|||
|
|
Proof-of-work certificates that can be efficiently computed in the cloudThe 20th International Workshop on Computer Algebra in Scientific Computing, Sep 2018, Lille, France. pp.1-17, ⟨10.1007/978-3-319-99639-4_1⟩
Communication dans un congrès
hal-01825779v2
|
||
|
|
Contributions au calcul exact intensifCalcul formel [cs.SC]. Université de Grenoble, 2010
HDR
tel-00514925v1
|
||
Compromis temps/mémoire en algèbre linéaire dense sur des corps finisJournée nationale du GDR Informatique Mathématique, Jan 2008, Paris, France
Communication dans un congrès
hal-00770315v1
|
|||
|
|
Caractérisation des Quenines et leur représentation spiraleMathématiques et Sciences Humaines, 2008, 184 (4), pp.9-23
Article dans une revue
hal-00188240v7
|
||
Outils pour un intergiciel générique en calcul formelJCNF 2007 - Journées Nationales de Calcul Formel, Jan 2007, Marseille, France
Communication dans un congrès
hal-00770312v1
|
|||
|
|
On Newton-Raphson iteration for multiplicative inverses modulo prime powersIEEE Transactions on Computers, 2014, 63 (8), pp.2106-2109. ⟨10.1109/TC.2013.94⟩
Article dans une revue
hal-00736701v5
|
||
|
|
Bounds on the coefficients of the characteristic and minimal polynomialsJournal of Inequalities in Pure and Applied Mathematics, 2007, 8 (2), art. 31, 6pp
Article dans une revue
hal-00086820v7
|
||
|
|
Les rayons des permutations spiralesMathématiques et Sciences Humaines, 2010, 192 (4), pp.5-26
Article dans une revue
hal-00447415v5
|
||
Simultaneous Modular Reduction and Kronecker Substitution for Small Finite FieldsSage Days 10, Oct 2008, Nancy, France
Communication dans un congrès
hal-00770321v1
|
|||
|
|
Generating S-Boxes from Semi-fields Pseudo-extensions[Research Report] Université Grenoble Alpes (UGA). 2014
Rapport
hal-01075148v1
|
||
|
|
Computational linear algebra over finite fieldsGary L. Mullen and Daniel Panario. Handbook of Finite Fields, Chapman & Hall / CRC, pp.514-528, 2013, Discrete Mathematics and Its Applications, 9781439873786
Chapitre d'ouvrage
hal-00688254v1
|
||
|
|
In-place fast polynomial modular remainderUniv. Grenoble Alpes. 2024
Rapport
hal-03979016v6
|
||
|
|
In-place accumulation of fast multiplication formulaeUniv. Grenoble Alpes. 2024
Rapport
hal-04167499v3
|
||
|
|
Essentially optimal interactive certificates in linear algebraACM International Symposium on Symbolic and Algebraic Computation (ISSAC 2014), Jul 2014, Kobe, Japan. pp.146-153, ⟨10.1145/2608628.2608644⟩
Communication dans un congrès
hal-00932846v4
|
||
|
|
An hybrid system approach to nonlinear optimal control problems[Research Report] Université Grenoble Alpes (UGA). 2008
Rapport
hal-00004191v4
|
||
|
|
Matrix powers algorithms for trust evaluation in PKI architecturesSTM 2012 - 8th International Workshop on Security and Trust Management (co-ESORICS 2012), Sep 2012, Pise, Italy. pp16
Communication dans un congrès
hal-00607478v4
|
||
|
|
Prover efficient public verification of dense or sparse/structured matrix-vector multiplicationACISP 2017 - 22nd Australasian Conference on Information Security and Privacy, Jul 2017, Auckland, New Zealand. pp.115-134, ⟨10.1007/978-3-319-59870-3_7⟩
Communication dans un congrès
hal-01503870v1
|
||
|
|
Sequential products in effect categories[Research Report] Université Grenoble Alpes (UGA). 2007
Rapport
hal-00161303v1
|
||
Sequential products for effectsACCAT'09 - Applied and Computational Category Theory, Mar 2009, York, United Kingdom
Communication dans un congrès
hal-00388686v1
|
|||
|
|
Patterns for computational effects arising from a monad or a comonad[Research Report] LJK. 2013
Rapport
hal-00868831v2
|
||
|
|
Sparse approaches for the exact distribution of patterns in long state sequences generated by a Markov sourceTheoretical Computer Science, 2013, 479, pp.22-42. ⟨10.1016/j.tcs.2012.10.019⟩
Article dans une revue
hal-00492738v4
|
||
|
|
Matrix multiplication over word-size modular rings using approximate formulaeACM Transactions on Mathematical Software, 2016, 42 (3-20), ⟨10.1145/2829947⟩
Article dans une revue
hal-00987812v1
|
||
|
|
Bitcoin : une monnaie dématérialiséeLes Big Data à découvert, CNRS Editions, 2017
Chapitre d'ouvrage
hal-02291296v1
|
||
La sécurité de bitcoin et des blockchainsGildas Avoine; Marc-Olivier Killijian. Treize défis de la cybersécurité, CNRS Éditions, pp.213-232, 2020, 2271130611
Chapitre d'ouvrage
hal-02639358v1
|
|||
|
|
Les crypto-monnaies, une réalité virtuelle ?Les Big Data à l’échelle de la société, CNRS EDITIONS, 2020, 978-2271130617
Chapitre d'ouvrage
hal-04449159v1
|
||
|
|
Symmetric indefinite triangular factorization revealing the rank profile matrixISSAC'18, Jul 2018, New York, United States. pp.151-158, ⟨10.1145/3208976.3209019⟩
Communication dans un congrès
hal-01704793v1
|
||
Sequential products in effect categoriesJournées ARROWS, Jun 2007, Nancy, France
Communication dans un congrès
hal-00770341v1
|
|||
|
|
Breaking a monad-comonad symmetry between computational effects[Research Report] arXiV. 2014
Rapport
hal-00941653v1
|