Filter your results
- 267
- 141
- 2
- 165
- 122
- 47
- 22
- 20
- 15
- 8
- 3
- 3
- 2
- 1
- 1
- 1
- 14
- 409
- 192
- 66
- 19
- 15
- 14
- 7
- 4
- 2
- 54
- 29
- 35
- 26
- 33
- 30
- 38
- 23
- 24
- 15
- 20
- 18
- 11
- 7
- 12
- 8
- 6
- 1
- 1
- 2
- 1
- 1
- 1
- 2
- 1
- 1
- 2
- 1
- 1
- 1
- 2
- 1
- 314
- 87
- 7
- 1
- 1
- 408
- 224
- 39
- 30
- 15
- 8
- 7
- 6
- 6
- 6
- 5
- 5
- 4
- 4
- 4
- 4
- 4
- 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
- 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
- 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
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 110
- 54
- 46
- 20
- 18
- 17
- 15
- 13
- 13
- 12
- 11
- 10
- 9
- 8
- 8
- 7
- 7
- 7
- 7
- 7
- 6
- 6
- 6
- 5
- 5
- 5
- 5
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 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
Mode Sequences as Symbolic States in Abstractions of Incrementally Stable Switched SystemsCDC 2013 - 52nd Conference on Decision and Control, Dec 2013, Florence, Italy. pp.3225-3230, ⟨10.1109/CDC.2013.6760375⟩
Conference papers
hal-00924815v1
|
|||
|
Reversible Barbed Congruence on Configuration Structures8th 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
|
||
|
Analyse faciale avec dérivées GaussiennesMathématiques générales [math.GM]. Université de Grenoble, 2011. Français. ⟨NNT : 2011GRENM039⟩
Theses
tel-00646718v1
|
||
|
Cryptographie Quantique : Protocoles et GraphesAlgèbres quantiques [math.QA]. Université de Grenoble, 2014. Français. ⟨NNT : 2014GRENM093⟩
Theses
tel-01215912v1
|
||
Large-scale asynchronous distributed learning based on parameter exchangesInternational Journal of Data Science and Analytics, 2018, 5 (4), pp.223-232. ⟨10.1007/s41060-018-0110-5⟩
Journal articles
hal-01727638v1
|
|||
|
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émentationOptimisation et contrôle [math.OC]. UGA - Université Grenoble Alpes; MSTII, 2018. Français. ⟨NNT : ⟩
Theses
tel-01875320v1
|
||
Foundations of Coding: Compression, Encryption, Error-CorrectionWiley, pp.376, 2015, 978-1-118-88144-6
Books
hal-00765802v1
|
|||
|
L'argumentation mathématique, précurseur problématique de la démonstrationXXVIe Colloque CORFEM, Jun 2019, Strasbourg, France
Conference papers
hal-02981131v1
|
||
|
Hoare-like verification of graph transformationInformation Theory [cs.IT]. Université Grenoble Alpes, 2016. English. ⟨NNT : 2016GREAM066⟩
Theses
tel-01680448v2
|
||
|
Conception de machines probabilistes dédiées aux inférences bayésiennesProbabilités [math.PR]. Université Grenoble Alpes, 2016. Français. ⟨NNT : 2016GREAM079⟩
Theses
tel-01451857v2
|
||
|
Emotion Modeling in Social Simulation: A SurveyJournal 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 questionsSTICEF (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 environment13th 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 protocols2011
Preprints, Working Papers, ...
hal-00944430v1
|
||
|
AGREE - Algebraic Graph Rewriting with Controlled EmbeddingICGT 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 systemsVTC 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 PerturbationsAnnals 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 proofJoetsu seminar of research in mathematics education., Sep 2018, Singapour & Tokyo, Japan
Conference papers
hal-02059601v1
|
|||
|
A model simulation for trip planning recommendation system in TourismMobile Computing. Université Grenoble Alpes, 2016. English. ⟨NNT : 2016GREAM040⟩
Theses
tel-01680284v2
|
||
|
Decision tree for uncertainty measuresJDS 2018 : 50èmes Journées de statistique, May 2018, Paris-Saclay, France
Conference papers
hal-01815637v1
|
||
|
UTOPIC: Under-Approximation Through Optimal ControlQEST 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 NetworksIEEE Transactions on Information Theory, 2016, 62 (9), pp.5030-5058
Journal articles
hal-01382277v1
|
|||
|
Cycles in adversarial regularized learningSODA '18 - Twenty-Ninth Annual ACM-SIAM Symposium on Discrete Algorithms, Jan 2018, New Orleans, United States. pp.2703-2717
Conference papers
hal-01643338v1
|
||
|
Distributed stochastic optimization via matrix exponential learningIEEE 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 mechanismIEEE 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 Structures2022
Preprints, Working Papers, ...
hal-03710542v1
|
||
The Analysis of Dominant Praxeological Models with a Reference Praxeological Model: A Case Study on Quadratic EquationsAdvances 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
|
|||
|
Jean Kuntzmann ou les voyages extraordinaires au pays des mathématiques inconnuesLe Bulletin Vert, 1993, 387, pp.11-14
Journal articles
hal-01139412v1
|
||
|
Push-Pull with Device Sampling2022
Preprints, Working Papers, ...
hal-03691122v1
|
||
|
On the rate of convergence of Bregman proximal methods in constrained variational inequalities2022
Preprints, Working Papers, ...
hal-03873992v1
|