Search - Archive ouverte HAL Access content directly

Filter your results

476 Results
Structure: Internal structure identifier : 366875
Image document

SOME EXTENSIONS OF THE MODULAR METHOD AND FERMAT EQUATIONS OF SIGNATURE (13, 13, n)

Nicolas Billerey , Imin Chen , Lassina Dembélé , Luis Dieulefait , Nuno Freitas et al.
Publicacions Matemàtiques, In press
Journal articles hal-03600605v1
Image document

Science and Technology Studies Approaches to Web History

Francesca Musiani , Valérie Schafer
Niels Brügger; Ian Milligan. The SAGE Handbook of Web History, SAGE, pp.73-85, 2019
Book sections halshs-02320717v1
Image document

Aggregation functions: Means

Michel Grabisch , Jean-Luc Marichal , Radko Mesiar , Endre Pap
Information Sciences, 2011, 181 (1), pp.1-22. ⟨10.1016/j.ins.2010.08.043⟩
Journal articles hal-00539028v1

Adaptive Isogeometric analysis for transient dynamics: Space–time refinement based on hierarchical a-posteriori error estimations

Peng Yu , Stéphane Bordas , Pierre Kerfriden
Computer Methods in Applied Mechanics and Engineering, 2022, 394, pp.114774. ⟨10.1016/j.cma.2022.114774⟩
Journal articles hal-03642879v1
Image document

Taphonomical Security: (DNA) Information with a Foreseeable Lifespan

Fatima-Ezzahra El Orche , Marcel Hollenstein , Sarah Houdaigoui , David Naccache , Daria Pchelina et al.
2022
Preprints, Working Papers, ... hal-03864381v1
Image document

Invariant connections and PBW theorem for Lie groupoid pairs

Camille Laurent-Gengoux , Yannick Voglaire
2015
Preprints, Working Papers, ... hal-01285656v1
Image document

Dynamic context logic and its application to norm change

Guillaume Aucher , Davide Grossi , Andreas Herzig , Emiliano Lorini
Dagstuhl Seminar on Normative Multi-Agent Systems (NorMAS 2009), Mar 2009, Dagstuhl, Germany. pp.259-271
Conference papers hal-03526732v1

Tableaux for Acceptance Logic

Mathijs de Boer , Andreas Herzig , Tiago De Lima , Emiliano Lorini
7th International Workshop on Declarative Agent Languages and Technologies (DALT 2009), May 2009, Budapest, Hungary. pp.85-100, ⟨10.1007/978-3-642-11355-0_6⟩
Conference papers hal-03470302v1

On the Implementation of a Fast Prime Generation Algorithm

Christophe Clavier , Jean-Sébastien Coron
CHES 2007, Sep 2007, Vienna, Austria. pp.443-449, ⟨10.1007/978-3-540-74735-2_30⟩
Conference papers hal-02487006v1
Image document

Energy-aware scheduling of malleable HPC applications using a Particle Swarm optimised greedy algorithm

Nesryne Mejri , Briag Dupont , Georges da Costa
Sustainable Computing : Informatics and Systems, 2020, 28, pp.100447. ⟨10.1016/j.suscom.2020.100447⟩
Journal articles hal-02964970v1

Public Key Compression and Modulus Switching for Fully Homomorphic Encryption over the Integers

Jean-Sébastien Coron , David Naccache , Mehdi Tibouchi
EUROCRYPT 2012 - 31st Annual International Conference on the Theory and Applications of Cryptographic Techniques, Apr 2012, Cambridge, UK, United Kingdom. pp.446-464, ⟨10.1007/978-3-642-29011-4_27⟩
Conference papers hal-01111541v1

PRIMA 2017: Principles and Practice of Multi-Agent Systems - 20th International Conference, Nice, France, October 30 - November 3, 2017, Proceedings

Bo An , Ana L. C. Bazzan , João Leite , Serena Villata , Leendert van Der Torre et al.
Springer, 10621, pp.544, 2017, Lecture Notes in Computer Science, 978-3319691305
Books hal-01643705v1

Argumentation Theoretic Foundations for Abstract Dependence Networks

Patrice Caire , Leendert van Der Torre , Serena Villata
AT - Second International Conference on Agreement Technologies, Aug 2013, Beijing, China
Conference papers hal-00907871v1

Computational Logic in Multi-Agent Systems - 15th International Workshop, CLIMA XV, Prague, Czech Republic, August 18-19, 2014. Proceedings

Nils Bulling , Leendert van Der Torre , Serena Villata , Wojtek Jamroga , Wamberto Vasconcelos et al.
Nils Bulling; Leendert van der Torre; Serena Villata; Wojtek Jamroga; Wamberto Vasconcelos. 15th International Workshop, CLIMA XV, Aug 2014, Prague, Czech Republic. 8624, Springer, 2014, LNCS - Lecture Notes in Computer Science, 978-3-319-09763-3. ⟨10.1007/978-3-319-09764-0⟩
Proceedings hal-01076565v1
Image document

Beyond L1: Faster and Better Sparse Models with skglm

Quentin Bertrand , Quentin Klopfenstein , Pierre-Antoine Bannier , Gauthier Gidel , Mathurin Massias et al.
NeurIPS, Nov 2022, New Orleans, United States
Conference papers hal-03819082v1

Evolutionary Algorithms for Mobile Ad Hoc Networks

Bernabé Dorronsoro , Patricia Ruiz , Gregoire Danoy , Yoann Pigné , Pascal Bouvry et al.
John Wiley & Sons, Inc., 2014
Books hal-01955185v1

Optimal switching from competition to cooperation: a preliminary exploration

Raouf Boucekkine , Carmen Camacho , Benteng Zou
V. Veliov; J. Haunschmied; R. Kovacevic; W. Semmler. Dynamic Economic Problems with Regime Switches, Springer International Publishing, pp.209-225, 2021, Dynamic Modeling and Econometrics in Economics and Finance, 978-3-030-54575-8. ⟨10.1007/978-3-030-54576-5_9⟩
Book sections hal-02950698v1
Image document

Photoswitchable Dissipative Two-Dimensional Colloidal Crystals

Jacopo Vialetto , Manos Anyfantakis , Sergii Rudiuk , Mathieu Morel , Damien Baigl et al.
Angewandte Chemie International Edition, 2019, 58 (27), pp.9145-9149. ⟨10.1002/anie.201904093⟩
Journal articles hal-02363436v1
Image document

Algorithms for the Sequential Reprogramming of Boolean Networks

Hugues Mandon , Cui Su , Jun Pang , Soumya Paul , Stefan Haar et al.
IEEE/ACM Transactions on Computational Biology and Bioinformatics, 2019, 16 (5), pp.1610-1619. ⟨10.1109/TCBB.2019.2914383⟩
Journal articles hal-02113864v1
Image document

Flipping Geometric Triangulations on Hyperbolic Surfaces

Vincent Despré , Jean-Marc Schlenker , Monique Teillaud
SoCG 2020 - 36th International Symposium on Computational Geometry, Jun 2020, Zurich, Switzerland. ⟨10.4230/LIPIcs.SoCG.2020.35⟩
Conference papers hal-02886493v1
Image document

Flipping Geometric Triangulations on Hyperbolic Surfaces

Vincent Despré , Jean-Marc Schlenker , Monique Teillaud
[Research Report] INRIA. 2019
Reports hal-02400219v1

Le discours des experts psychiatres dans des affaires de viol : une arme à double tranchant

S. Saetta
Christine Dourlens; Gwenola Le Naour; Thomas Bujon. Aux frontières de la médecine, Archives Contemporaines, 2014, 9782813001146
Book sections hal-02970349v1
Image document

Ultrafast acousto-optic mode conversion in optically birefringent ferroelectrics

Mariusz F Lejman , Gwenäelle G. Vaudel , Ingrid F Infante , Ievgeniia F Chaban , Thomas Pezeril et al.
Nature Communications, 2016, 7 (1), ⟨10.1038/ncomms12345⟩
Journal articles hal-02536739v1
Image document

Spectrum of semisimple locally symmetric spaces and admissibility of spherical representations

Salah Mehdi , M Olbrich
Lie Groups, Number Theory and Vertex Algebras : Conference on Representation Theory XVI, Dražen Adamović, Andrej Dujella, Antun Milas, Pavle Pandžić, Jun 2019, Dubrovnik, Croatia. pp.55-64
Conference papers hal-03336291v1

Towards Conditional Inference under Disjunctive Rationality

Richard Booth , Ivan Varzinczak
18th International Workshop on Nonmonotonic Reasoning (NMR 2020), 2020, n/a, Unknown Region
Conference papers hal-03674206v1
Image document

Correlates of Social Exclusion in Social Anxiety Disorder: An fMRI study

Alexandre Heeren , Laurence Dricot , Joël Billieux , Pierre Philippot , Delphine Grynberg et al.
Scientific Reports, 2017, 7, pp.260. ⟨10.1038/s41598-017-00310-9⟩
Journal articles hal-02406194v1
Image document

Working from Home. 2 Months 8 Months and Still Continuing…

Andrew Bruce , Katarzyna Grabowska , Dmitry Millionshchikov , Vladimir Salnikov , Alexey Tuzhilin et al.
EMS Newsletter, 2020, ⟨10.4171/news/118/15⟩
Journal articles hal-03033306v1

First draft genome sequence of a strain belonging to the Zoogloea genus and its gene expression in situ

Emilie Muller , Shaman Narayanasamy , Myriam Zeimes , Cédric Laczny , Laura Lebrun et al.
Standards in Genomic Sciences, 2017, 12 (1), ⟨10.1186/s40793-017-0274-y⟩
Journal articles hal-02328233v1

A Materials Perspective on Casimir and van der Waals Interactions

L. M. Woods , D. A. R. Dalvit , A. Tkatchenko , P. Rodriguez-Lopez , A. W. Rodriguez et al.
Reviews of Modern Physics, 2016, 88, pp.045003
Journal articles hal-01401326v1

A New Class of Classical Logic Instantiations of Dung's Abstract Argumentation Theory

Leendert van Der Torre , Srdjan Vesic
[Technical Report] Centre de Recherche en Informatique de Lens. 2012
Reports hal-03301297v1