Search - Archive ouverte HAL Access content directly

Filter your results

2 924 Results
Structure: Internal structure identifier : 541703
Image document

Détection d'anomalies dans les flots de liens : combiner les caractéristiques structurelles et temporelles

Audrey Wilmet
Réseaux et télécommunications [cs.NI]. Sorbonne Université, 2019. Français. ⟨NNT : 2019SORUS402⟩
Theses tel-03987763v1

Recent Advances in Immersive Multimedia

Maha Abdallah , Prabhakaran Balakrishnan , Cheng-Hsin Hsu , Wei Cai
IEEE MultiMedia, 2023
Special issue hal-03999848v1
Image document

Synthesis for parameterized systems

Mathieu Lehaut
Théorie et langage formel [cs.FL]. Sorbonne Université, 2020. Français. ⟨NNT : 2020SORUS341⟩
Theses tel-03987575v1

Emerging Theories and Technologies for Blockchain-Driven Metaverse

Wei Cai , Yonggang Wen , Mark Claypool , Maha Abdallah , Yufeng Zhu
ACM Transactions on Multimedia Computing, Communications and Applications, 2023
Special issue hal-03999896v1
Image document

A deep learning method trained on synthetic data for digital breast tomosynthesis reconstruction

Arnaud Quillent , Vincent Bismuth , Isabelle Bloch , Christophe Kervazo , Saïd Ladjal
Medical Imaging with Deep Learning 2023 (MIDL 2023 ), MIDL Foundation, Jul 2023, Nashville, TN, United States
Conference papers hal-04178641v1

Evolution of the energy efficiency of LHCb’s real-time processing

Roel Aaij , Daniel Hugo Cámpora Pérez , Tommaso Colombo , Conor Fitzpatrick , Vladimir Vava Gligorov , et al.
25th International Conference on Computing in High-Energy and Nuclear Physics, May 2021, Online, France. pp.04009, ⟨10.1051/epjconf/202125104009⟩
Conference papers hal-03270156v1
Image document

Diffusion dans les réseaux sans fil en utilisant des filtres à mémoire constante

Gewu Bu , Maria Potop-Butucaru , Mikaël Rabie
ALGOTEL 2020 – 22èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, Sep 2020, Lyon, France
Conference papers hal-02867634v1
Image document

Big data-driven optimization in transportation and communication networks

Longbiao Chen
Ubiquitous Computing. Sorbonne Université; Zhejiang University (Hangzhou, Chine), 2018. English. ⟨NNT : 2018SORUS393⟩
Theses tel-02611837v1
Image document

Improving Latent Representations of ConvNets for Visual Understanding

Thomas Robert
Artificial Intelligence [cs.AI]. Sorbonne Université, 2019. English. ⟨NNT : 2019SORUS343⟩
Theses tel-02309812v2
Image document

Prédiction de phénomènes géologiques pour l'aide à la décision lors de la prise de permis d'exploitation

François Meunier
Intelligence artificielle [cs.AI]. Sorbonne Université, 2018. Français. ⟨NNT : 2018SORUS351⟩
Theses tel-02865430v1

Le Microprocesseur 2 : communication dans un système numérique

Philippe Darche
ISTE Ltd, 2021, 978-1-78405-770-1, 978-1-78406-770-0
Books hal-03260885v1
Image document

Formal Model-Based Approaches for the Development of Composite Systems

Pascal Poizat
Software Engineering [cs.SE]. Université Paris Sud (Paris 11), 2011
Habilitation à diriger des recherches tel-02963225v1
Image document

A Modern Compiler for the French Tax Code

Denis Merigoux , Raphaël Monat , Jonathan Protzenko
CC '21: 30th ACM SIGPLAN International Conference on Compiler Construction, Mar 2021, Virtual, South Korea. pp.71-82, ⟨10.1145/3446804.3446850⟩
Conference papers hal-03002266v3

Microprocessor 3. Core Concepts: Hardware Aspects

Philippe Darche
ISTE Ltd and John Wiley & Sons, Inc., 2020, 978-1-119-78800-3
Books hal-03120707v1

Microprocessor 4. Core Concepts: Software Aspects

Philippe Darche
ISTE Ltd and John Wiley & Sons, Inc., 2021, 978-1-786-30566-4
Books hal-03120713v1

Microprocessor 5. Software and Hardware Aspects of Development, Debugging and Testing – The Microcomputer

Philippe Darche
ISTE Ltd and John Wiley & Sons, Inc., 2021, 978-1-786-30651-7
Books hal-03120718v1
Image document

R-SWAP: Relay based atomic cross-chain swap protocol

Léonard Lys , Arthur Micoulet , Maria Potop-Butucaru
[Research Report] Sorbonne Université. 2021
Reports hal-03212152v2
Image document

A spectral independence view on hard spheres via block dynamics

Tobias Friedrich , Andreas Göbel , Martin S Krejca , Marcus Pappik
International Colloquium on Automata, Languages and Programming 2021, Jul 2021, Glasgow, United Kingdom. pp.66:1--66:15, ⟨10.4230/LIPIcs.ICALP.2021.66⟩
Conference papers hal-03223196v1
Image document

Exact algorithms for semidefinite programs with degenerate feasible set

Didier Henrion , Simone Naldi , Mohab Safey El Din
Journal of Symbolic Computation, 2021, 104, pp.942 - 959. ⟨10.1016/j.jsc.2020.11.001⟩
Journal articles hal-03121215v1

Concepts et sémantique des langages de programmation 2 : constructions modulaires et objet avec OCaml, Python, C++, Ada et Java

Thérèse Hardin , Mathieu Jaume , François Pessaux , Veronique Viguie Donzeau-Gouge
ISTE Editions, 2021, 9781784057022
Books hal-03030511v1

WPMVP 2019: Proceedings of the 2019 5th Workshop on Programming Models for SIMD/Vector Processing

Jan Eitzinger , Sylvain Jubertie , Lionel Lacassagne , Bertrand Le Gal
Proceedings hal-03126855v1
Image document

Towards more efficient parallel SAT solving

Ludovic Le Frioux
Distributed, Parallel, and Cluster Computing [cs.DC]. Sorbonne Université, 2019. English. ⟨NNT : 2019SORUS209⟩
Theses tel-03030122v1

Secure delivery of program properties through optimizing compilation

Son Tuan Vu , Karine Heydemann , Arnaud de Grandmaison , Albert Cohen
CC '20: 29th International Conference on Compiler Construction, Feb 2020, San Diego, CA, United States. pp.14-26, ⟨10.1145/3377555.3377897⟩
Conference papers hal-02931645v1
Image document

Employing a MEMS plasma switch for conditioning high-voltage kinetic energy harvesters

Hemin Zhang , Frédéric Marty , Xin Xia , Yunlong Zi , Tarik Bourouina , et al.
Nature Communications, 2020, 11 (1), pp.3221. ⟨10.1038/s41467-020-17019-5⟩
Journal articles hal-03090276v1
Image document

A Tool for JSON Schema Witness Generation

Lyes Attouche , Mohamed-Amine Baazizi , Dario Colazzo , Francesco Falleni , Giorgio Ghelli , et al.
24th International Conference on Extending Database Technology, Mar 2021, Nicosia (on line), Cyprus. pp.694-697, ⟨10.5441/002/edbt.2021.86⟩
Conference papers hal-03281445v1
Image document

aGrUM/pyAgrum : a toolbox to build models and algorithms for Probabilistic Graphical Models in Python

Gaspard Ducamp , Christophe Gonzales , Pierre-Henri Wuillemin
10th International Conference on Probabilistic Graphical Models, Sep 2020, Skørping, Denmark. pp.609-612
Conference papers hal-03135721v1

Maximum Power Point Tracking MPPT Algorithm for Kinetic Energy Harvesters

Abdelkrim Bessaad , Amine Rhouni , Dimitri Galayko
2021 IEEE International Symposium on Circuits and Systems (ISCAS), May 2021, Daegu, South Korea. pp.1-5, ⟨10.1109/ISCAS51556.2021.9401343⟩
Conference papers hal-03280991v1

A 220GOPS 96-Core Processor with 6 Chiplets 3D-Stacked on an Active Interposer Offering 0.6ns/mm Latency, 3Tb/s/mm 2 Inter-Chiplet Interconnects and 156mW/mm 2 @ 82%-Peak-Efficiency DC-DC Converters

Pascal Vivet , Eric Guthmuller , Yvain Thonnart , Gaël Pillonnet , Guillaume Moritz , et al.
2020 IEEE International Solid- State Circuits Conference - (ISSCC), Feb 2020, San Francisco, United States. pp.46-48, ⟨10.1109/ISSCC19947.2020.9062927⟩
Conference papers hal-02985945v1
Image document

Exposing IoT Objects in the Internet Using the Resource Management Architecture

Carlos Eduardo Pantoja , Heder Dorneles Soares , Jose Viterbo , Tielle Alexandre , Arthur Casals , et al.
International Journal of Software Engineering and Knowledge Engineering, 2019, 29 (11n12), pp.1703 - 1725. ⟨10.1142/S0218194019400175⟩
Journal articles hal-02892412v1
Image document

Resource-dependent contextual planning in AmI

Arthur Casals , Amal El Fallah-Seghrouchni , Anarosa Alves Franco Brandão , Carlos Eduardo Pantoja , Jose Viterbo
Procedia Computer Science, 2019, 151, pp.485-492. ⟨10.1016/j.procs.2019.04.066⟩
Journal articles hal-02892155v1