Search - Archive ouverte HAL Access content directly

Filter your results

410 Results
Domains : math

Mode Sequences as Symbolic States in Abstractions of Incrementally Stable Switched Systems

Euriell Le Corronc , Antoine Girard , Gregor Gössler
CDC 2013 - 52nd Conference on Decision and Control, Dec 2013, Florence, Italy. pp.3225-3230, ⟨10.1109/CDC.2013.6760375⟩
Conference papers hal-00924815v1
Image document

Reversible Barbed Congruence on Configuration Structures

Clément Aubert , Ioana Cristescu
8th Interaction and Concurrency Experience (ICE 2015) Satellite workshop of DisCoTec 2015, Jun 2015, Grenoble, France. pp.68-85, ⟨10.4204/EPTCS.189.7⟩
Conference papers hal-01157974v2
Image document

Analyse faciale avec dérivées Gaussiennes

John Alexander Ruiz Hernandez
Mathématiques générales [math.GM]. Université de Grenoble, 2011. Français. ⟨NNT : 2011GRENM039⟩
Theses tel-00646718v1
Image document

Cryptographie Quantique : Protocoles et Graphes

Jérôme Javelle
Algèbres quantiques [math.QA]. Université de Grenoble, 2014. Français. ⟨NNT : 2014GRENM093⟩
Theses tel-01215912v1

Large-scale asynchronous distributed learning based on parameter exchanges

Bikash Joshi , Franck Iutzeler , Massih-Reza Amini
International Journal of Data Science and Analytics, 2018, 5 (4), pp.223-232. ⟨10.1007/s41060-018-0110-5⟩
Journal articles hal-01727638v1
Image document

Conception d'un système d'information distribué pour la conduite des flexibilités dans un réseau de distribution électrique: modélisation, simulation et implémentation

Benoît Vinot
Optimisation et contrôle [math.OC]. UGA - Université Grenoble Alpes; MSTII, 2018. Français. ⟨NNT : ⟩
Theses tel-01875320v1

Foundations of Coding: Compression, Encryption, Error-Correction

Jean-Guillaume Dumas , Jean-Louis Roch , Eric Tannier , Sébastien Varrette
Wiley, pp.376, 2015, 978-1-118-88144-6
Books hal-00765802v1
Image document

L'argumentation mathématique, précurseur problématique de la démonstration

Nicolas Balacheff
XXVIe Colloque CORFEM, Jun 2019, Strasbourg, France
Conference papers hal-02981131v1
Image document

Hoare-like verification of graph transformation

Jon Haël Brenas
Information Theory [cs.IT]. Université Grenoble Alpes, 2016. English. ⟨NNT : 2016GREAM066⟩
Theses tel-01680448v2
Image document

Conception de machines probabilistes dédiées aux inférences bayésiennes

Marvin Faix
Probabilités [math.PR]. Université Grenoble Alpes, 2016. Français. ⟨NNT : 2016GREAM079⟩
Theses tel-01451857v2
Image document

Emotion Modeling in Social Simulation: A Survey

Mathieu Bourgais , Patrick Taillandier , Laurent Vercouter , Carole Adam
Journal of Artificial Societies and Social Simulation, 2018, 21 (2), ⟨10.18564/jasss.3681⟩
Journal articles hal-02622157v1

Les mots de la recherche sur les EIAH, enjeux et questions

Nicolas Balacheff
STICEF (Sciences et Technologies de l'Information et de la Communication pour l'Éducation et la Formation), 2018, 25 (2)
Journal articles hal-02059515v1

The transposition of counting situations in a virtual environment

Marina de Simone , Hamid Chaachoua
13th International Conference on Technology in Mathematics Teaching, ICTMT 13, 2017, Lyon, France. pp.314-322
Conference papers hal-02057162v1

Optimal accessing and non-accessing structures for graph protocols

Sylvain Gravier , Jérôme Javelle , Mehdi Mhalla , Simon Perdrix
2011
Preprints, Working Papers, ... hal-00944430v1

AGREE - Algebraic Graph Rewriting with Controlled Embedding

Andrea Corradini , Dominique Duval , Rachid Echahed , Frederic Prost , Leila Ribeiro et al.
ICGT 2015 - 8th International Conference on Graph Transformation, Jul 2015, L'Aquila, Italy. pp.35-51, ⟨10.1007/978-3-319-21145-9_3⟩
Conference papers hal-01403189v1

Energy-efficient power allocation in dynamic multi-carrier systems

E. Veronica Belmega , Panayotis Mertikopoulos
VTC Spring 2015: Proceedings of the 2015 IEEE Vehicular Technology Conference, 2015, Glasgow, Scotland, Unknown Region
Conference papers hal-01382293v1

The Emergence of Rational Behavior in the Presence of Stochastic Perturbations

Panayotis Mertikopoulos , Aris L. Moustakas
Annals of Applied Probability, 2010, 20 (4), pp.1359-1388. ⟨10.1214/09-AAP651⟩
Journal articles hal-01382306v1

The complexity of the epistemological genesis of mathematical proof

Nicolas Balacheff
Joetsu seminar of research in mathematics education., Sep 2018, Singapour & Tokyo, Japan
Conference papers hal-02059601v1
Image document

A model simulation for trip planning recommendation system in Tourism

Uyanga Sukhbaatar
Mobile Computing. Université Grenoble Alpes, 2016. English. ⟨NNT : 2016GREAM040⟩
Theses tel-01680284v2
Image document

Decision tree for uncertainty measures

Myriam Tami , M Clausel , E Devijver , E Gaussier , J-M Aubert et al.
JDS 2018 : 50èmes Journées de statistique, May 2018, Paris-Saclay, France
Conference papers hal-01815637v1
Image document

UTOPIC: Under-Approximation Through Optimal Control

Josu Doncel , Nicolas Gast , Mirco Tribastone , Max Tschaikowski , Andrea Vandin et al.
QEST 2019 - 16th International Conference on Quantitative Evaluation of SysTems, Sep 2019, Glasgow, United Kingdom. pp.277-291, ⟨10.1007/978-3-030-30281-8_16⟩
Conference papers hal-02283189v1

Power Optimization in Random Wireless Networks

Aris L. Moustakas , Panayotis Mertikopoulos , Nicholas Bambos
IEEE Transactions on Information Theory, 2016, 62 (9), pp.5030-5058
Journal articles hal-01382277v1
Image document

Cycles in adversarial regularized learning

Panayotis Mertikopoulos , Christos Harilaos Papadimitriou , Georgios Piliouras
SODA '18 - Twenty-Ninth Annual ACM-SIAM Symposium on Discrete Algorithms, Jan 2018, New Orleans, United States. pp.2703-2717
Conference papers hal-01643338v1
Image document

Distributed stochastic optimization via matrix exponential learning

Panayotis Mertikopoulos , Elena Veronica Belmega , Romain Negrel , Luca Sanguinetti
IEEE Transactions on Signal Processing, 2017, 65 (9), pp.2277-2290. ⟨10.1109/tsp.2017.2656847⟩
Journal articles hal-01382285v1

Semi-cognitive radio networks: A novel dynamic spectrum sharing mechanism

Alireza Shams Shafigh , Panayotis Mertikopoulos , Savo Glisic , Yuguang Michael Fang
IEEE Transactions on Cognitive Communications and Networking, 2017, 3 (1), pp.97-111. ⟨10.1109/TCCN.2017.2681081⟩
Journal articles hal-01643344v1

Concurrent Realizability on Conjunctive Structures

Emmanuel Beffara , Félix Castro , Mauricio Guillermo
2022
Preprints, Working Papers, ... hal-03710542v1

The Analysis of Dominant Praxeological Models with a Reference Praxeological Model: A Case Study on Quadratic Equations

Hamid Chaachoua , Julia Pilet , Annie Bessot
Advances in the Anthropological Theory of the Didactic, Springer International Publishing, pp.229-238, 2022, ⟨10.1007/978-3-030-76791-4_17⟩
Book sections hal-04025269v1
Image document

Jean Kuntzmann ou les voyages extraordinaires au pays des mathématiques inconnues

Nicolas Balacheff , Claude Benzaken , Colette Laborde
Le Bulletin Vert, 1993, 387, pp.11-14
Journal articles hal-01139412v1
Image document

Push-Pull with Device Sampling

Yu-Guan Hsieh , Yassine Laguel , Franck Iutzeler , Jérôme Malick
2022
Preprints, Working Papers, ... hal-03691122v1
Image document

On the rate of convergence of Bregman proximal methods in constrained variational inequalities

Waïss Azizian , Franck Iutzeler , Jérôme Malick , Panayotis Mertikopoulos
2022
Preprints, Working Papers, ... hal-03873992v1