Search - Archive ouverte HAL Access content directly

Filter your results

100 Results
Document type : Book sections

Natural Strategic Abilities in Voting Protocols

Wojciech Jamroga , Damian Kurpiewski , Vadim Malvone
Socio-Technical Aspects in Security and Trust, 12812, Springer International Publishing, pp.45-62, 2021, Lecture Notes in Computer Science, ⟨10.1007/978-3-030-79318-0_3⟩
Book sections hal-03779036v1

TLS for Cooperative ITS Services

Mounira Msahli , Ahmed Serhrouchni , Houda Labiod , Arnaud Kaiser , Brigitte Lonc et al.
TLS for Cooperative ITS Services, pp.176-189, 2017, ⟨10.1007/978-3-319-72329-7_16⟩
Book sections hal-02354921v1

Keynote: A Hitchhiker's Guide to Ontology

Fabian M. Suchanek
Workshop on Knowledge Extraction from Text, ACM, 2015
Book sections hal-02287153v1

Asymptotically-Good Arithmetic Secret Sharing over Z/pℓZ with Strong Multiplication and Its Applications to Efficient MPC

Ronald Cramer , Matthieu Rambaud , Chaoping Xing
Advances in Cryptology – CRYPTO 2021, 12827, Springer International Publishing, pp.656-686, 2021, Lecture Notes in Computer Science, ⟨10.1007/978-3-030-84252-9_22⟩
Book sections hal-03800642v1

Safety and Deferred Update in Transactional Memory

Hagit Attiya , Sandeep Hans , Petr Kuznetsov , Srivatsan Ravi
Transactional Memory. Foundations, Algorithms, Tools, and Applications - COST Action Euro-TM IC1001, pp.50-71, 2015, ⟨10.1007/978-3-319-14720-8_3⟩
Book sections hal-02287873v1

Operations research and voting theory

Olivier Hudry
Operations Research and Enterprise Systems, Springer, 2018
Book sections hal-02287923v1

From Behavioural Contracts to Session Types

Alessandro Fantechi , Elie Najm , Jean-Bernard Stefani
Models, Languages, and Tools for Concurrent and Distributed Programming, pp.278-297, 2019, ⟨10.1007/978-3-030-21485-2_16⟩
Book sections hal-02448995v1

Why talk?

Jean-Louis Dessalles
The social origins of language, Oxford, pp.284-296, 2014
Book sections hal-02286791v1

An ontology for multi-paradigm modelling

Holger Giese , Dominique Blouin , Rima Al-Ali , Hana Mkaouar , Soumyadip Bandyopadhyay et al.
Multi-Paradigm Modelling Approaches for Cyber-Physical Systems, Elsevier, pp.67-122, 2021, ⟨10.1016/B978-0-12-819105-7.00009-X⟩
Book sections hal-03219279v1

An ontological foundation for multi-paradigm modelling for cyber-physical systems

Dominique Blouin , Rima Al-Ali , Mauro Iacono , Bedir Tekinerdogan , Holger Giese et al.
Multi-Paradigm Modelling Approaches for Cyber-Physical Systems, Elsevier, pp.9-43, 2021, ⟨10.1016/B978-0-12-819105-7.00007-6⟩
Book sections hal-03225338v1
Image document

Achieving Frequency Reuse 1 in WiMAX Networks with Beamforming

Masood Maqbool , Marceau Coupechoux , Philippe Godlewski , Véronique Capdevielle
WiMAX, New Developments, In-Tech, pp.1-14, 2009
Book sections hal-01547160v1

Smart energy: A collaborative demand response solution for smart neighborhood

Sawsan Al Zahr , Elias Doumith , Philippe Forestier
Smart Cities: A Data Analytics Perspective, 2021
Book sections hal-02945486v1

From conceptual spaces to predicates

Jean-Louis Dessalles
Applications of conceptual spaces, Springer, pp.17-31, 2015, ⟨10.1007/978-3-319-15021-5_2⟩
Book sections hal-02287107v1

Protocole IEEE 802.11 : qualité de service

Claude Chaudet
Techniques de l'Ingénieur, Editions Techniques de l'Ingénieur, 2012
Book sections hal-02286336v1

Asymptotics of superposition of point processes

Laurent Decreusefond , Aurélien Vasseur
Geometry of Science Information, Springer, pp.187-194, 2015
Book sections hal-02287232v1

A Cognitive Approach to Relevant Argument Generation

Jean-Louis Dessalles
Principles and Practice of Multi-Agent Systems, LNAI 9935, Springer, pp.3-15, 2016, ⟨10.1007/978-3-319-46218-9_1⟩
Book sections hal-02287575v1

Network of Experts: Learning from Evolving Data Streams Through Network-Based Ensembles

Heitor Murilo Gomes , Albert Bifet , Philippe Fournier-Viger , Jones Granatyr , Jesse Read et al.
International Conference on Neural Information Processing ICONIP 2019: Neural Information Processing, pp.704-716, 2019, ⟨10.1007/978-3-030-36708-4_58⟩
Book sections hal-02460408v1

Les services s'orchestrent

Patrick Bellot , Dragutin Brezak , Mohamed T. Hammi , François Pebay-Peyroula , Jacques Anthoine et al.
L'avenir se construit aujourd'hui, Multimédia, pp.257-268, 2016
Book sections hal-02100496v1
Image document

Partial Key Exposure Attacks on BIKE, Rainbow and NTRU

Andre Esser , Alexander May , Javier A. Verbel , Weiqiang Wen
Advances in Cryptology – CRYPTO 2022, 13509, Springer Nature Switzerland, pp.3-31, 2022, Lecture Notes in Computer Science, ⟨10.1007/978-3-031-15982-4_1⟩
Book sections hal-03876958v1

L'émergence du langage au cours de l'évolution

Jean-Louis Dessalles
La fabrique du signe - Linguistique de l'émergence, Presses Universitaires du Mirail, pp.22-33, 2010
Book sections hal-00607634v1

Coalition factor in the evolution of non-kin altruism

Jean-Louis Dessalles
Modeling Complexity in Economic and Social Systems, World Scientific, pp.323-353, 2002
Book sections hal-00616438v1

Probabilistic XML: Models and Complexity

B. Kimelfeld , Pierre Senellart
Advances in Probabilistic Databases for Uncertain Information Management, Springer-Verlag, pp.39-66, 2013
Book sections hal-00874441v1

Information Extraction for Ontology Learning

Fabian M. Suchanek
Perspectives on Ontology Learning, 2014
Book sections hal-01699888v1
Image document

An integrated ontology for multi-paradigm modelling for cyber-physical systems

Dominique Blouin , Rima Al-Ali , Holger Giese , Stefan Klikovits , Soumyadip Bandyopadhyay et al.
Bedir Tekinerdogan; Dominique Blouin; Hans Vangheluwe; Miguel Goulão; Paulo Carreira; Vasco Amaral. Multi-Paradigm Modelling Approaches for Cyber-Physical Systems, Elsevier, pp.123-145, 2021, 978-0-12-819105-7. ⟨10.1016/B978-0-12-819105-7.00010-6⟩
Book sections hal-03167819v1

Weighted Tournament Solutions

Felix Fischer , Olivier Hudry , Rolf Niedermeier
Handbook of Computational Social Choice, Cambridge University Press, pp.85-102, 2016
Book sections hal-02286702v1

L'imaginaire de la narration : une approche cognitive

Jean-Louis Dessalles
Pour innover, modéliser l'imaginaire - Regards croisés d'industriels et de chercheurs, Editions Manucius, pp.154-167, 2015
Book sections hal-02287200v1

Assessing Locator/Identifier Separation Protocol interworking performance through RIPE Atlas

Yue Li , Luigi Iannone
Computer Networks, Elsevier, 2018
Book sections hal-02287778v1

Organising Complexity: Hierarchies and Holarchies

Ada Diaconescu
Organic Computing: Technical Systems for Survival in the Real World, Christian Muller-Schloer and Sven Tomforde Edts., (Springer International Publishing), pp.89-106, 2017
Book sections hal-02287626v1

Analyse à partir du modèle

Thomas Robert , Jérôme Hugues
Modélisation et analyse de systèmes embarqués, Collection SEE - Hermes, pp.267-278, 2013
Book sections hal-02286675v1

From metonymy to syntax in the communication of events

Jean-Louis Dessalles
The emergence of protolanguage - Holophrasis vs compositionality, John Benjamins Publishing Comp., pp.51-65, 2010
Book sections hal-00616427v1