Filtrer vos résultats
- 59
- 30
- 1
- 49
- 21
- 6
- 6
- 3
- 2
- 2
- 1
- 5
- 67
- 31
- 6
- 5
- 4
- 3
- 2
- 15
- 14
- 18
- 6
- 10
- 8
- 4
- 3
- 4
- 3
- 2
- 1
- 84
- 5
- 1
- 90
- 41
- 27
- 11
- 9
- 8
- 7
- 5
- 4
- 4
- 4
- 3
- 3
- 3
- 3
- 3
- 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
- 39
- 18
- 11
- 11
- 9
- 8
- 7
- 6
- 5
- 5
- 4
- 4
- 4
- 4
- 4
- 3
- 3
- 3
- 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
- 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
90 résultats
|
Gaussian solitary waves and compactons in Fermi-Pasta-Ulam lattices with Hertzian potentialsProceedings of the Royal Society of London, 2014, 470 (2165), pp.0130462. ⟨10.1098/rspa.2013.0462⟩
Article dans une revue
hal-00844170v2
|
||
|
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
|
||
|
Brandt's fully private auction protocol revisitedJournal of Computer Security, 2015, Special issue on security and high performance computing systems, 23 (5), pp.587-610. ⟨10.3233/JCS-150535⟩
Article dans une revue
hal-01233555v1
|
||
Un modèle asymptotique pour les solutions de faible amplitude du berceau de NewtonCANUM 2014 - Congrès National d'Analyse Numérique, Mar 2014, Carry-le-Rouet, France
Communication dans un congrès
hal-00974878v1
|
|||
Early Termination in Parametric Linear System Solving and Rational Function Vector Recovery with Error CorrectionISSAC'17 - 2017 ACM International Symposium on Symbolic and Algebraic Computation, Jul 2017, Kaiserslautern, Germany. ⟨10.1145/3087604.3087645⟩
Communication dans un congrès
hal-01982114v1
|
|||
|
Parallelism in AGREE TransformationsGraph Transformation - 9th International Conference, ICGT 2016, Jul 2016, Vienna, Austria. pp.37-53, ⟨10.1007/978-3-319-40530-8_3⟩
Communication dans un congrès
hal-01985467v1
|
||
|
The First Collision for Full SHA-1International Cryptology Conference --- CRYPTO 2017, IACR, Aug 2017, Santa-Barbara, United States. pp.570-596, ⟨10.1007/978-3-319-63688-7_19⟩
Communication dans un congrès
hal-01982005v1
|
||
|
Certificates for triangular equivalence and rank profilesACM International Symposium on Symbolic and Algebraic Computations - ISSAC'17, Jul 2017, Kaiserslautern, Germany. pp.133-140, ⟨10.1145/3087604.3087609⟩
Communication dans un congrès
hal-01466093v2
|
||
|
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
|
||
|
Parallel computation of echelon formsEuroPar-2014 - 20th International Conference on Parallel Processing, Aug 2014, Porto, Portugal. pp.499-510, ⟨10.1007/978-3-319-09873-9_42⟩
Communication dans un congrès
hal-00947013v1
|
||
|
Hilbert-Post completeness for the state and the exception effectsSixth International Conference on Mathematical Aspects of Computer and Information Sciences, Nov 2015, Berlin, Germany. pp.596-610, ⟨10.1007/978-3-319-32859-1_51⟩
Communication dans un congrès
hal-01121924v3
|
||
|
LOCALPKI: A User-Centric Formally Proven Alternative to PKIX14th International Conference on Security and Cryptography SECRYPT, Jul 2017, Madrid, Spain. ⟨10.5220/0006461101870199⟩
Communication dans un congrès
hal-01564696v1
|
||
|
Physical Zero-Knowledge Proof for MakaroSSS 2018 - 20th International Symposium on Stabilization, Safety, and Security of Distributed Systems, Nov 2018, Tokyo, Japan. pp.111-125, ⟨10.1007/978-3-030-03232-6_8⟩
Communication dans un congrès
hal-01898048v1
|
||
|
On Quasi-Cyclic Codes as a Generalization of Cyclic CodesFinite Fields and Their Applications, 2012, 18 (5), pp.904-919. ⟨10.1016/j.ffa.2012.06.003⟩
Article dans une revue
inria-00615276v2
|
||
|
Fast Matrix Multiplication and Symbolic Computation[Research Report] Université Grenoble Alpes (UGA). 2015
Rapport
hal-01417524v1
|
||
|
Breather solutions of the discrete p-Schrödinger equationRicardo Carretero-González and Jesús Cuevas-Maraver and Dimitri Frantzeskakis and Nikos Karachalios and Panayotis Kevrekidis and Faustino Palmero-Acebedo. Localized Excitations in Nonlinear Complex Systems, Springer International Publishing, pp.77-115, 2014, Nonlinear Systems and Complexity, volume 7, 978-3-319-02056-3. ⟨10.1007/978-3-319-02057-0_4⟩
Chapitre d'ouvrage
hal-00849582v1
|
||
GPaR2018
Logiciel
hal-01985043v1
|
|||
Théorie des Codes : compression, cryptage, correctionDunod, pp.352, 2007, Sciences Sup, 9782100506927
Ouvrages
hal-00318546v1
|
|||
|
Recursive double-size fixed precision arithmeticICMS: International Congress of Mathematical Software, Jul 2016, Berlin, Germany. pp.223--231, ⟨10.1007/978-3-319-42432-3_28⟩
Communication dans un congrès
hal-00582593v2
|
||
|
Formal verification in Coq of program properties involving the global state effectJFLA 2014 - Journées Francophones des Langages Applicatifs, Jan 2014, Fréjus, France. pp.1-17
Communication dans un congrès
hal-00869230v2
|
||
|
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
|
||
|
From Newton's cradle to the discrete p-Schrödinger equationSIAM Journal on Mathematical Analysis, 2013, 45 (6), pp.3404-3430. ⟨10.1137/130924196⟩
Article dans une revue
hal-00831868v1
|
||
|
Memory efficient scheduling of Strassen-Winograd's matrix multiplication algorithmISSAC 2009 - International Symposium on Symbolic and Algebraic Computation, Jul 2009, Séoul, South Korea. pp.55-62, ⟨10.1145/1576702.1576713⟩
Communication dans un congrès
hal-00163141v5
|
||
|
Generic design of Chinese remaindering schemesPASCO '10 - 4th International Symposium on Parallel Symbolic Computation, Jul 2010, Grenoble, France. pp.26-34, ⟨10.1145/1837210.1837218⟩
Communication dans un congrès
hal-00449864v2
|
||
|
LinBox founding scope allocation, parallel building blocks, and separate compilationICMS 2010 - 3rd International Congress on Mathematical Software, Sep 2010, Kobe, Japan. pp.77-83, ⟨10.1007/978-3-642-15582-6_16⟩
Communication dans un congrès
hal-00506599v1
|
||
|
A Cryptographer's Conspiracy SantaFUN 2018 - 9th International Conference on Fun with Algorithms, Jun 2018, La Maddalena, Italy. pp.13:1--13:13, ⟨10.4230/LIPIcs.FUN.2018.13⟩
Communication dans un congrès
hal-01777997v2
|
||
|
Parallel Graph Rewriting with Overlapping RulesLPAR-21 - 21st International Conference on Logic for Programming, Artificial Intelligence and Reasoning, May 2017, Maun, Botswana. pp.300-318, ⟨10.29007/576h⟩
Communication dans un congrès
hal-02084261v1
|
||
|
On the Planar Split Thickness of GraphsAlgorithmica, 2018, 80 (3), pp.977 - 994. ⟨10.1007/s00453-017-0328-y⟩
Article dans une revue
hal-01819362v1
|
||
|
Security Architecture for Point-to-Point Splitting ProtocolsWCICSS 2017 - IEEE World Congress on Industrial Control Systems Security, Dec 2017, Cambridge, United Kingdom
Communication dans un congrès
hal-01657605v1
|
||
DEM-Systems: a new type of adaptive systemAUTOMATA 2016, Jun 2016, Zurich, Switzerland
Communication dans un congrès
hal-01326782v1
|