14685 résultats  enregistrer la recherche

hal-01445668v1  Communication dans un congrès
Nirina AndrianariveloVivien PelletierPierre RétyTransforming Prefix-Constrained or Controlled Rewrite Systems
8th International Symposium on Symbolic Computation in Software Science (SCSS 2017), Apr 2017, Gammarth, Tunisia. 2017, EPiC Series
hal-01396915v1  Communication dans un congrès
Chia-Tung KuoS. S. RaviThi-Bich-Hanh DaoChristel VrainIan DavidsonA Framework for Minimal Clustering Modification via Constraint Programming
the Thirty-First AAAI Conference on Artificial Intelligence (AAAI-17), Feb 2017, San Francisco, United States
hal-01400479v1  Article dans une revue
C. GazeauE. BlondM. RiechmannP.-M. GeffroyA. Batakis et al.  Surface exchange model for ITM membrane in transient stage
Journal of Membrane Science, Elsevier, 2017, 523, pp.614 - 622. <10.1016/j.memsci.2016.09.047>
hal-01197241v1  Article dans une revue
Guy FayolleKilian RaschelSome exact asymptotics in the counting of walks in the quarter plane
Discrete Mathematics and Theoretical Computer Science, DMTCS, 2017, DMTCS Proceedings, DMTCS Proceedings vol. AQ, 23rd Intern. Meeting on Probabilistic, Combinatorial, and Asymptotic Methods for the Analysis of Algorithms (AofA'12), pp.109-124
hal-01468891v1  Communication dans un congrès
Mathias BourgoinEmmanuel ChaillouxAnastasios DoumoulakisProfiling High Level Heterogeneous Programs
Tenth International Workshop on Programmability and Architectures for Heterogeneous Multicores (MULTIPROG 2017), Jan 2017, Stockholm, Sweden
hal-01432157v1  Pré-publication, Document de travail
Nils BerglundChristian KuehnModel Spaces of Regularity Structures for Space-Fractional SPDEs
34 pages, 11 figures. 2017
hal-01441915v1  Communication dans un congrès
J. C de Aquino CarvalhoA. LaliotisP. Chaves de Souza SegundoI. MaurinD. de Sousa Meneses et al.  Direct energy transfer from thermally excited polaritons to atoms: A quantum analogue to near field heat transfer
NANOMETA2017 (6th International Topical Meeting on Nanophotonics and Metamaterials), Jan 2017, Seefeld, Austria
hal-01410734v1  Article dans une revue
Lei YuGang ZhengDriss BoutatAdaptive observer for simultaneous state and parameter estimations for an output depending normal form
Asian Journal of Control, Asian Control Association (ACA) and Chinese Automatic Control Society (CACS) 2017, 19 (1), pp.1-6
hal-01468723v1  Rapport
Mohamad Al Hajj HassanMostafa BamhaHandling limits of high degree vertices in graph processing using MapReduce and Pregel
[Research Report] Université Orléans, INSA Centre Val de Loire, LIFO EA 4022, France. 2017
halshs-01465258v2  Autre publication
Badreddine HammaAmélie TardifFlora BadinLE PASSIF À L'ORAL
Fiche sur le passif à l'oral s'inscrivant dans le programme FRACOV. 2017
hal-01446482v1  Article dans une revue
David FolioAntoine Ferreira2D Robust Magnetic Resonance Navigation of a Ferromagnetic Microrobot using Pareto Optimality
IEEE Transactions on Robotics, Institute of Electrical and Electronics Engineers (IEEE), 2017, pp.1-11. <10.1109/TRO.2016.2638446>
insu-01451371v1  Article dans une revue
Philippe LanosA. PhilippeHierarchical Bayesian modeling for combining dates in archaeological context
Journal de la Société Française de Statistiques, SFdS, 2017, Accepté
hal-01430804v1  Chapitre d'ouvrage
Luca CaviglioneMauro GaggeroJean-François LalandeWojciech MazurczykUnderstanding Information Hiding to Secure Communications and to Prevent Exfiltration of Mobile Data
M. Migliardi, A. Merlo, B. S. Al-Haj. Adaptive Mobile Computing: Advances in Processing Mobile Data Sets, Elsevier, 2017
hal-01065981v3  Article dans une revue
I. AbrahamRomain AbrahamM. BergouniouxG. CarlierTomographic Reconstruction from a Few Views: A Multi-Marginal Optimal Transport Approach
Applied Mathematics and Optimization, Springer Verlag (Germany), 2017, 75 (1), pp.55-73. <10.1007/s00245-015-9323-3>