Home » Publications du laboratoire

Publication  de  la  collection  HAL LS2N  pour  2019

Nombre de publications retournées : 149


Récapitulatif du nombre de publications de la collection par types
ART_INT
COMM_INT
COMM_NAT
OUV
THESE
AUTRES
715441127

Chiffres en cours de consolidation

Revues internationales avec comité de lecture (ART_INT)

    • [1] A. Tang, P. Castagliola, J. Sun, X. Hu. Optimal design of the adaptive EWMA chart for the mean based on median run length and expected median run length. In Quality Technology & Quantitative Management, vol. 16, num. 4. 2019
      https://hal.archives-ouvertes.fr/hal-02145998
    • [2] D. Chablat, E. Ottaviano, S. Venkateswaran. Self-Motion conditions for a 3-PPPS Parallel Robot with Delta-Shaped Base. In Mechanism and Machine Theory ; éd. Elsevier, 2019, vol. 135.
      https://hal.archives-ouvertes.fr/hal-02014982
    • [3] D. Rahali, P. Castagliola, H. Taleb, M. Khoo. Evaluation of Shewhart time-between-events-and-amplitude control charts for several distributions. In Quality Engineering ; éd. Taylor & Francis, 2019, vol. 31, num. 2.
      https://hal.archives-ouvertes.fr/hal-02135093
    • [4] H. Sabahno, A. Amiri, P. Castagliola. Performance of the Variable Parameters X Control Chart in Presence of Measurement Errors. In Journal of Testing and Evaluation ; éd. ASTM International, 2019, vol. 47, num. 1.
      https://hal.archives-ouvertes.fr/hal-01977765
    • [5] J. Czapalay Erskine, A. Chriette, S. Caro. Wrench Analysis of Cable-Suspended Parallel Robots Actuated by Quadrotors UAVs. In Journal of Mechanisms and Robotics ; éd. American Society of Mechanical Engineers, 2019, vol. 11, num. 2.
      https://hal.archives-ouvertes.fr/hal-01970501
    • [7] M. Habibi, O. Battaïa, V. Cung, A. Dolgui, M. Tiwari. Sample average approximation for multi-vehicle collection–disassembly problem under uncertainty. In International Journal of Production Research ; éd. Taylor & Francis, 2019, vol. 57, num. 8.
      https://hal-emse.ccsd.cnrs.fr/emse-01987852
    • [8] N. Gálvez Ramírez, E. Monfroy, F. Saubion, C. Castro. Improving complex SMT strategies with learning. In International Transactions in Operational Research ; éd. Wiley, 2019.
      https://hal.archives-ouvertes.fr/hal-02158110
    • [9] S. Li, C. Moog, W. Respondek. Maximal feedback linearization and its internal dynamics with applications to mechanical systems on R4. In International Journal of Robust and Nonlinear Control ; éd. Wiley, 2019.
      https://hal.archives-ouvertes.fr/hal-02019763
    • [10] T. MohammadRidha, P. Rivadeneira, N. Magdelaine, M. Cardelli, C. Moog. Positively Invariant Sets of a T1DM Model: Hypoglycemia Prediction and Avoidance. In Journal of The Franklin Institute ; éd. Elsevier, 2019.
      https://hal.archives-ouvertes.fr/hal-02054969
    • [11] V. Krassanakis, P. Cybulski. A review on eye movement analysis in map reading process: the status of the last decade. In Geodesy and Cartography ; éd. Commitee on Geodesy of the Polish Academy of Sciences, 2019, vol. 68, num. 1.
      https://hal.archives-ouvertes.fr/hal-02146187
    • [13] V. de-León-Gómez, Q. Luo, A. Kalouguine, J. Pámanes, Y. Aoustin, C. Chevallereau. An essential model for generating walking motions for humanoid robots. In Robotics and Autonomous Systems ; éd. Elsevier, 2019, vol. 112.
      https://hal.archives-ouvertes.fr/hal-01990079
    • [14] X. Delorme, A. Dolgui, S. Kovalev, M. Kovalyov. Minimizing the number of workers in a paced mixed-model assembly line. In European Journal of Operational Research ; éd. Elsevier, 2019, vol. 272, num. 1.
      https://hal-emse.ccsd.cnrs.fr/emse-01840007
    • [15] X. Hu, P. Castagliola, A. Tang. Conditional design of the CUSUM median chart for the process position when process parameters are unknown. In Journal of Statistical Computation and Simulation ; éd. Taylor & Francis, 2019, vol. 89, num. 13.
      https://hal.archives-ouvertes.fr/hal-02160997
    • [16] X. Hu, P. Castagliola, X. Zhou, A. Tang. Conditional design of the EWMA median chart with estimated parameters. In Communications in Statistics - Theory and Methods ; éd. Taylor & Francis, 2019, vol. 48, num. 8.
      https://hal.archives-ouvertes.fr/hal-02155302
    • [17] X. Tang, F. Lehuédé, O. Péton. Network design of a multi-period collaborative distribution system. In International journal of machine learning and cybernetics, vol. 10, num. 2. 2019
      https://hal.archives-ouvertes.fr/hal-01591618
    • [18] Y. GHLISS, M. Jahjah. Habiter WhatsApp ? Éléments d'analyse postdualiste des interactions en espace numérique. In Langage et Société ; éd. Maison des Sciences de L'homme Paris, 2019, num. 167.
      https://hal.archives-ouvertes.fr/hal-02146304
    • [20] A. David, D. Le Touzé, K. Warin-Fresse, P. Paul-Gilloteaux, F. Bonnefoy, J. Idier, S. Moussaoui, P. Guérin, J. Serfaty. In-vitro validation of 4D flow MRI measurements with an experimental pulsatile flow model. In Diagnostic and Interventional Imaging ; éd. Elsevier, 2019, vol. 100, num. 1.
      https://hal.archives-ouvertes.fr/hal-02050009
    • [21] A. Mostefaoui, M. Raynal, M. Roy. Time-Efficient Read/Write Register in Crash-prone Asynchronous Message-Passing Systems. In Computing ; éd. Springer Verlag, 2019, vol. 101, num. 1.
      https://hal.laas.fr/hal-01784210
    • [23] G. Gilbert, J. Cockx, M. Sozeau, N. Tabareau. Definitional Proof-Irrelevance without K. In Proceedings of the ACM on Programming Languages ; éd. ACM, 2019.
      https://hal.inria.fr/hal-01859964v2
    • [24] M. Mermillod, Y. Bourrier, E. David, L. Kauffmann, A. Chauvin, N. Guyader, F. Dutheil, C. Peyrin. The importance of recurrent top-down synaptic connections for the anticipation of dynamic emotions. In Neural Networks ; éd. Elsevier, 2019, vol. 109.
      http://hal.univ-grenoble-alpes.fr/hal-01911098
    • [26] D. Sferruzza, J. Rocheteau, C. Attiogbé, A. Lanoix. A Model-Driven Method for Fast Building Consistent Web Services from OpenAPI-Compatible Models. In Model-Driven Engineering and Software Development ; éd. Springer, 2019.
      https://hal.archives-ouvertes.fr/hal-02075980
    • [27] T. Wang, O. Bellenguez-Morineau. The Complexity of Parallel Machine Scheduling of Unit-Processing-Time Jobs under Level-Order Precedence Constraints. In Journal of Scheduling ; éd. Springer Verlag, 2019.
      https://hal.archives-ouvertes.fr/hal-01979910
    • [28] M. Yagoubi, Y. FENG, Y. Huang. Hinfinity control under asymptotic tracking constraint and nonproper output weights. In International Journal of Control ; éd. Taylor & Francis, 2019.
      https://hal.archives-ouvertes.fr/hal-01958326
    • [29] M. Milard, F. Milard, A. Milard, C. Milard, E. Fouilloux-Meugnier, C. Louche-Pélissier, V. Louche-Pelissier, L. Garnier, S. Garnier, K. Bertrand, F. Bertrand, D. Milard, L. Humbert, D. Humbert, P. Milard, L. Bindels, A. Bindels, N. Bindels, M. Milard. Milk Polar Lipids in a High-Fat Diet Can Prevent Body Weight Gain: Modulated Abundance of Gut Bacteria in Relation with Fecal Loss of Specific Fatty Acids. In Molecular Nutrition & Food Research. 07-01-2019
      https://hal.archives-ouvertes.fr/hal-01981563
    • [30] A. Dolgui, D. Ivanov, S. Sethi, B. Sokolov. Scheduling in production, supply chain and Industry 4.0 systems by optimal control: fundamentals, state-of-the-art and applications. In International Journal of Production Research ; éd. Taylor & Francis, 2019, vol. 57, num. 2.
      https://hal.archives-ouvertes.fr/hal-01998181
    • [31] T. Ngo, F. Belkadi, A. Bernard. Managing Collaborations between Medical and Engineering Actors in Case of Prosthesis Implantation: A PLM-Based Approach. In Computer-Aided Design and Applications ; éd. CAD Solutions LLC (imprimé) and Taylor & Francis Online (en ligne), 2019, vol. 16, num. 5.
      https://hal.archives-ouvertes.fr/hal-02050044
    • [32] D. Eveillard, N. Bouskill, D. Vintache, J. Gras, B. Ward, J. Bourdon. Probabilistic Modeling of Microbial Metabolic Networks for Integrating Partial Quantitative Knowledge Within the Nitrogen Cycle. In Frontiers in Microbiology ; éd. Frontiers Media, 2019, vol. 9.
      https://hal.archives-ouvertes.fr/hal-01996045
    • [33] A. Tang, P. Castagliola, X. Hu, J. Sun. The adaptive EWMA median chart for known and estimated parameters. In Journal of Statistical Computation and Simulation ; éd. Taylor & Francis, 2019, vol. 89, num. 5.
      https://hal.archives-ouvertes.fr/hal-02015138
    • [34] H. El Ghor, M. Chetto. Energy Guarantee Scheme for Real-time Systems with Energy Harvesting Constraints. In International Journal of Automation and Computing ; éd. Springer Verlag, 2019.
      https://hal.archives-ouvertes.fr/hal-02016880
    • [35] P. Castagliola, K. Tran, G. Celano, A. Rakitzis, P. Maravelakis. An EWMA-type sign chart with exact run length properties. In Journal of quality technology ; éd. Asqc American Society for Quality Control, 2019, vol. 51, num. 1.
      https://hal.archives-ouvertes.fr/hal-02002980
    • [36] A. Goldsztejn, G. Chabert. Estimating the robust domain of attraction for non-smooth systems using an interval Lyapunov equation. In Automatica ; éd. Elsevier, 2019, vol. 100.
      https://hal.archives-ouvertes.fr/hal-01995932
    • [37] A. Mahboubi, G. Melquiond, T. Sibut-Pinote. Formally Verified Approximations of Definite Integrals. In Journal of Automated Reasoning ; éd. Springer Verlag, 2019, vol. 62, num. 2.
      https://hal.inria.fr/hal-01630143v2
    • [38] A. Tang, P. Castagliola, X. Hu, J. Sun. The performance of the adaptive EWMA median chart in the presence of measurement error. In Quality and Reliability Engineering International ; éd. Wiley, 2019, vol. 35, num. 1.
      https://hal.archives-ouvertes.fr/hal-01978754
    • [39] N. Chong, M. Khoo, A. Haq, P. Castagliola. Hotelling's T 2 control charts with fixed and variable sample sizes for monitoring short production runs. In Quality and Reliability Engineering International ; éd. Wiley, 2019, vol. 35, num. 1.
      https://hal.archives-ouvertes.fr/hal-01978750
    • [40] Z. Chong, M. KHOO, W. Teoh, H. You, P. Castagliola. Optimal design of the side-sensitive modified group runs (SSMGR) Xbar chart when process parameters are estimated. In Quality and Reliability Engineering International ; éd. Wiley, 2019, vol. 35, num. 1.
      https://hal.archives-ouvertes.fr/hal-01978769
    • [41] Z. Zake, F. Chaumette, N. Pedemonte, S. Caro. Vision-Based Control and Stability Analysis of a Cable-Driven Parallel Robot. In IEEE Robotics and Automation Letters ; éd. IEEE, 2019, vol. 4, num. 2.
      https://hal.archives-ouvertes.fr/hal-01987856
    • [42] L. Lemazurier, P. Chevrel, A. Grossetête, M. Yagoubi. An Alternative to Standard Nuclear Core Control using a Multi-Objective Approach. In Control Engineering Practice ; éd. Elsevier, 2019.
      https://hal.archives-ouvertes.fr/hal-01875328
    • [43] T. Wang, O. Bellenguez-Morineau. A complexity analysis of parallel scheduling unit-time jobs with in-tree precedence constraints while minimizing the mean flow time. In Journal of Scheduling ; éd. Springer Verlag, 2019.
      https://hal.archives-ouvertes.fr/hal-02062178
    • [44] T. Wang, O. Bellenguez-Morineau. The Complexity of Parallel Machine Scheduling of Unit-Processing-Time Jobs under Level-Order Precedence Constraints. In Journal of Scheduling ; éd. Springer Verlag, 2019.
      https://hal.archives-ouvertes.fr/hal-02062182
    • [47] C. Mole, O. Lappi, O. Giles, G. Markkula, F. Mars, R. Wilkie. Getting Back Into the Loop: The Perceptual-Motor Determinants of Successful Transitions out of Automated Driving. In Human Factors ; éd. SAGE Publications, 2019.
      https://hal.archives-ouvertes.fr/hal-02108005
    • [48] D. Ivanov, A. Dolgui, B. Sokolov. The impact of digital technology and Industry 4.0 on the ripple effect and supply chain risk analytics. In International Journal of Production Research ; éd. Taylor & Francis, 2019, vol. 57, num. 3.
      https://hal.archives-ouvertes.fr/hal-02062526
    • [49] D. Ameller, X. Franch, C. Gomez, S. Martínez-Fernández, J. Araujo, S. Biffl, J. Cabot, V. Cortellessa, D. Mendez, A. Moreira, H. Muccini, A. Vallecillo, M. Wimmer, V. Amaral, W. Bohm, H. Bruneliere, L. Burgueño, M. Goulao, S. Teufl, L. Berardinelli. Dealing with Non-Functional Requirements in Model-Driven Development: A Survey. In IEEE Transactions on Software Engineering ; éd. Institute of Electrical and Electronics Engineers, 2019.
      https://hal.archives-ouvertes.fr/hal-02075976
    • [50] A. Coutrot, S. Schmidt, L. Coutrot, J. Pittman, L. Hong, J. Wiener, C. Hölscher, R. Dalton, M. Hornberger, H. Spiers. Virtual navigation tested on a mobile app is predictive of real-world wayfinding navigation performance. In PLoS ONE ; éd. Public Library of Science, 2019, vol. 14, num. 3.
      https://hal.archives-ouvertes.fr/hal-02086972
    • [51] G. Coughlan, A. Coutrot, M. Khondoker, A. Minihane, H. Spiers, M. Hornberger. Toward personalized cognitive diagnostics of at-genetic-risk Alzheimer’s disease. In Proceedings of the National Academy of Sciences of the United States of America ; éd. National Academy of Sciences, 2019.
      https://hal.archives-ouvertes.fr/hal-02114232
    • [52] A. Tang, J. Sun, X. Hu, P. Castagliola. A new nonparametric adaptive EWMA control chart with exact run length properties. In Computers & Industrial Engineering, vol. 130. 04-2019
      https://hal.archives-ouvertes.fr/hal-02059892
    • [53] E. Ahvar, A. Orgerie, A. Lebre. Estimating Energy Consumption of Cloud, Fog and Edge Computing Infrastructures. In IEEE Transactions on Sustainable Computing ; éd. IEEE, 2019.
      https://hal.archives-ouvertes.fr/hal-02083080
    • [55] J. Duan, J. Idier, Y. Wang, M. Wan. A Joint Least Squares and Least Absolute Deviation Model. In IEEE Signal Processing Letters ; éd. Institute of Electrical and Electronics Engineers, 2019, vol. 26, num. 4.
      https://hal.archives-ouvertes.fr/hal-02049982
    • [56] M. Ritou, F. Belkadi, Z. Yahouni, C. Da Cunha, F. Laroche, B. FURET. Knowledge-based multi-level aggregation for decision aid in the machining industry. In CIRP Annals - Manufacturing Technology ; éd. Elsevier, 2019.
      https://hal.archives-ouvertes.fr/hal-02103742
    • [57] T. Lai, Y. Sotskov, A. Dolgui. The stability radius of an optimal line balance with maximum efficiency for a simple assembly line. In European Journal of Operational Research ; éd. Elsevier, 2019, vol. 274, num. 2.
      https://hal.archives-ouvertes.fr/hal-02097344
    • [58] Y. Pan, D. Wu, C. Luo, A. Dolgui. User activity measurement in rating-based online-to-offline (O2O) service recommendation. In Information Sciences ; éd. Elsevier, 2019, vol. 479.
      https://hal.archives-ouvertes.fr/hal-02097347
    • [59] L. Nurahmi, S. Caro, M. Solichin. A novel ankle rehabilitation device based on a reconfigurable 3-RPS parallel manipulator. In Mechanism and Machine Theory ; éd. Elsevier, 2019, vol. 134.
      https://hal.archives-ouvertes.fr/hal-01966590
    • [60] S. Briot, P. Robuffo Giordano. Physical Interpretation of Rigidity for Bearing Formations: Application to Mobility and Singularity Analyses. In Journal of Mechanisms and Robotics ; éd. American Society of Mechanical Engineers, 2019, vol. 11, num. 3.
      https://hal.archives-ouvertes.fr/hal-02061643
    • [61] T. NGUYEN, K. Tran, P. Castagliola, G. Celano, S. Lardjane. One-Sided Synthetic control charts for monitoring the Multivariate Coefficient of Variation. In Journal of Statistical Computation and Simulation ; éd. Taylor & Francis, 2019, vol. 89, num. 10.
      https://hal.archives-ouvertes.fr/hal-01885435v2
    • [62] Q. Nguyen, K. Tran, P. Castagliola, G. Celano, S. Lardjane. One-sided synthetic control charts for monitoring the multivariate coefficient of variation. In Journal of Statistical Computation and Simulation ; éd. Taylor & Francis, 2019, vol. 89, num. 10.
      https://hal.archives-ouvertes.fr/hal-02116591
    • [63] S. Venkateswaran, D. Chablat, F. Boyer. Numerical and Experimental Validation of the Prototype of A Bio-Inspired Piping Inspection Robot. In Robotics ; éd. Elsevier, 2019, vol. 8, num. 2.
      https://hal.archives-ouvertes.fr/hal-02108495
    • [64] S. Hosseini, D. Ivanov, A. Dolgui. Review of quantitative methods for supply chain resilience analysis. In Transportation Research Part E: Logistics and Transportation Review ; éd. Elsevier, 2019, vol. 125.
      https://hal.archives-ouvertes.fr/hal-02097333
    • [65] . André, B. Delahaye, P. Fournier. Consistency in Parametric Interval Probabilistic Timed Automata. In Journal of Logical and Algebraic Methods in Programming ; éd. Elsevier, 2019.
      https://hal.archives-ouvertes.fr/hal-02154775
    • [66] S. Baklouti, E. Courteille, P. Lemoine, S. Caro. Vibration Reduction of Cable-Driven Parallel Robots through Elasto-dynamic Model-Based Control. In Mechanism and Machine Theory ; éd. Elsevier, 2019, vol. 139.
      https://hal.archives-ouvertes.fr/hal-02124015
    • [67] H. Bruneliere, E. Burger, J. Cabot, M. Wimmer. A Feature-based Survey of Model View Approaches. In Software & Systems Modeling ; éd. Springer Verlag, 2019, vol. 18, num. 3.
      https://hal.inria.fr/hal-01590674
    • [68] J. Medina, M. Hewitt, F. Lehuédé, O. Péton. Integrating long-haul and local transportation planning: the Service Network Design and Routing Problem. In EURO Journal on Transportation and Logistics ; éd. Springer, 2019, vol. 8, num. 2.
      https://hal.archives-ouvertes.fr/hal-01689718
    • [69] B. Genc, M. Siala, G. Simonin, B. O'Sullivan. Complexity Study for the Robust Stable Marriage Problem. In Theoretical Computer Science ; éd. Elsevier, 2019, vol. 775.
      https://hal.laas.fr/hal-01974431
    • [70] C. Izaguirre-Espinosa, A. Muñoz-Vázquez, A. Sánchez-Orta, V. Parra-Vega, I. Fantoni. Fractional-order Control for Robust Position/Yaw Tracking of Quadrotors with Experiments. In IEEE Transactions on Control Systems Technology ; éd. Institute of Electrical and Electronics Engineers, 2019, vol. 27, num. 4.
      https://hal.archives-ouvertes.fr/hal-01894573

Conférences internationales avec comité de lecture et actes (COMM_INT)

    • [72] D. Antakly, B. Delahaye, P. Leray. Graphical event model learning and verification for security assessment. In 32th International Conference on Industrial, Engineering, Other Applications of Applied Intelligent Systems (IEA/AIE 2019), 2019, Graz, Autriche.
      https://hal.archives-ouvertes.fr/hal-02129161
    • [73] S. Rennoij, L. van der Gaag, P. Leray. On intercausal interactions in probabilistic relational models. In The Eleventh International Symposium on Imprecise Probability: Theories and Applications (ISIPTA ’19), 2019, Ghent, Belgique.
      https://hal.archives-ouvertes.fr/hal-02129171
    • [74] T. Kante, P. Leray. A probabilistic relational model approach for fault tree modeling with spatial information and resource management. In 32th International Conference on Industrial, Engineering, Other Applications of Applied Intelligent Systems (IEA/AIE 2019), 2019, Graz, Autriche.
      https://hal.archives-ouvertes.fr/hal-02129155
    • [75] V. Antuori, F. Richoux. Constrained optimization under uncertainty for decision-making problems: Application to Real-Time Strategy games. In IEEE Congress on Evolutionary Computation, 2019, Wellington, Nouvelle-Zélande.
      https://hal.archives-ouvertes.fr/hal-02108090
    • [76] . André, B. Delahaye, P. Fournier, D. Lime. Parametric Timed Broadcast Protocols. In 20th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI 2019), janvier 2019, Lisboa, Portugal.
      https://hal.archives-ouvertes.fr/hal-01961497
    • [77] T. Winterhalter, M. Sozeau, N. Tabareau. Eliminating Reflection from Type Theory. In CPP 2019 - The 8th ACM SIGPLAN International Conference on Certified Programs and Proofs, janvier 2019, Lisbonne, Portugal.
      https://hal.archives-ouvertes.fr/hal-01849166v3
    • [78] P. Marin, B. FURET, G. Fallacara. Printarch : processus de recherche innovation en matière d’impression 3D en grandeur. In DiXite3dPrint : Fabrication Additive pour la Construction. Quelle Actualité Nationale ?, janvier 2019, Champs-sur-Marne, France.
      https://hal-enpc.archives-ouvertes.fr/hal-02119272
    • [79] W. Siblini, F. Meyer, P. Kuntz. CRAFTML, une forêt aléatoire efficace pour l'apprentissage multi-label extrême. In Extraction et Gestion de Connaissances (EGC 2019), janvier 2019, Metz, France.
      https://hal.archives-ouvertes.fr/hal-02008037
    • [80] H. Skaf-Molli, P. Serrano-Alvarado, S. El Hassad, E. Desmontils, P. Molli. Infrastructure décentralisée et sémantique pour l'apprentissage tout au long de la vie. In Atelier Web des Données (AWD) dans EGC, janvier 2019, Metz, France.
      https://hal.archives-ouvertes.fr/hal-01990846
    • [81] P. François, F. Laroche, F. Rubellin, J. Leichman. Remonter le temps pour comprendre le passé : l'immersion virtuelle au service des historiens. In Conférence Extraction et Gestion de Connaissances 2019 (EGC2019)EGC 2019 - GT-DAHLIA, janvier 2019, Metz, France.
      https://hal.archives-ouvertes.fr/hal-01989653
    • [82] B. BOUSSAHA, N. Hernandez, C. Jacquin, E. Morin. Multi-level Context Response Matching in Retrieval-Based Dialog Systems. In Dialog System Technology Challenges Workshop at AAAI, janvier 2019, Honolulu, états-Unis.
      https://hal.archives-ouvertes.fr/hal-02017674
    • [83] M. Abderrahim, M. Ouzzif, K. Guillouard, J. François, A. Lebre, C. Prud'Homme, X. Lorca. Efficient Resource Allocation for Multi-tenant Monitoring of Edge Infrastructures. In PDP 2019 - 27th Euromicro International Conference on Parallel, Distributed and Network-Based Processing, février 2019, Pavie, Italie.
      https://hal.inria.fr/hal-01987946
    • [84] D. Lemoine, F. Gayraud, G. Massonnet, E. Saccoman. Problème de lot sizing avec contraintes de capacité et financement du besoin en fond de roulement. In ROADEF 2019, février 2019, Le Havre, France.
      https://hal.archives-ouvertes.fr/hal-02049435
    • [85] H. Boisaubert, C. Sinoquet. Detection of gene-gene interactions: methodological comparison on real-world data and insights on synergy between methods.. In 10th International Conference on Bioinformatics Models, Methods and Algorithms, Bioinformatics2019, février 2019, Prague, République tchèque.
      https://hal.archives-ouvertes.fr/hal-01986665
    • [86] J. GAO, A. Pashkevich, F. Claveau, P. Chevrel. Optimal Motion Generation for Mobile Robot with Non-Skidding Constraint. In 2019 IEEE International Conference on Mechatronics (ICM), mars 2019, Ilmenau, Allemagne.
      https://hal.archives-ouvertes.fr/hal-02148787
    • [87] P. François, F. Rubellin, F. Laroche. Dans l'oeil de l'artiste : interprétation virtuelle d'une miniature de Louis-Nicolas van Blarenberghe. In Identités et circulation des spectacles forains : musique, théâtre, danse, acrobaties et marionnettes, 1660-1830, mars 2019, Reims, France.
      https://hal.archives-ouvertes.fr/hal-02093073
    • [88] A. Sadovykh, D. Truscan, P. Pierini, G. Widforss, A. Ashraf, H. Bruneliere, P. Smrz, A. Bagnato, W. Afzal, A. Hortelano. On the Use of Hackathons to Enhance Collaboration in Large Collaborative Projects - A Preliminary Case Study of the MegaM@Rt2 EU Project. In Design, Automation And Test in Europe (DATE 2019), mars 2019, Florence, Italie.
      https://hal.archives-ouvertes.fr/hal-02103168
    • [89] J. Gouigoux, T. Dalila. “Functional-first” recommendations for beneficial microservices migration and integration. Lessons learned from an industrial experience. In IEEE INTERNATIONAL CONFERENCE ON SOFTWARE ARCHITECTURE (ICSA 2019), mars 2019, Hamburg, Allemagne.
      https://hal.archives-ouvertes.fr/hal-02083127
    • [90] Z. Wang, M. Ritou, C. Da Cunha, B. FURET. Classification contextuelle pour système d'aide à la décision pour machines-outils. In Colloque National S-mart/AIP-PRIMECA, avril 2019, Les Karellis, France.
      https://hal.archives-ouvertes.fr/hal-02100713
    • [91] F. Kordon, H. Garavel, L. Hillah, E. Paviot-Adet, L. Jezequel, F. Hulin-Hubard, E. Amparore, M. Beccuti, B. Berthomieu, H. Evrard, P. Jensen, D. Le Botlan, T. Liebke, J. Meijer, J. Srba, Y. Thierry-Mieg, J. Van De Pol, K. Wolf. MCC'2017-The Seventh Model Checking Contest. In 25th TACAS@ETAPS 2019, avril 2019, Prague, République tchèque.
      https://hal.inria.fr/hal-01917492
    • [92] B. BOUSSAHA, N. Hernandez, C. Jacquin, E. Morin. Towards Simple but Efficient Next Utterance Ranking. In nternational Conference on Computational Linguistics and Intelligent Text Processing (CICLing), avril 2019, La Rochelle, France.
      https://hal.archives-ouvertes.fr/hal-02073275
    • [93] E. MALEKI, F. Belkadi, B. Alain. Sensor ontology to support collaborative design of Industrial Product-Service System. In 15ème Colloque National AIP-Priméca, avril 2019, La Plagne, France.
      https://hal.archives-ouvertes.fr/hal-02006184
    • [94] J. Pan, H. Le Capitaine. Metric learning with relational data. In European Symposium on Artificial Neural Networks, Computational Intelligence and Machine Learning, avril 2019, Bruges, Belgique.
      https://hal.archives-ouvertes.fr/hal-02120915
    • [95] J. Pan, H. Le Capitaine. Metric learning with sub modular functions. In European Symposium on Artificial Neural Networks, Computational Intelligence and Machine Learning, avril 2019, Bruges, Belgique.
      https://hal.archives-ouvertes.fr/hal-02120910
    • [96] A. Fonnet, Y. Prié, G. Cliquet. Prototyping Immersive Analytics: Experiments with Design Students. In Workshop on Immersive Analytics "Interaction Design and Prototyping for Immersive Analytics" at CHI 2019, mai 2019, Glasgow, Royaume-Uni.
      https://hal.archives-ouvertes.fr/hal-02099418
    • [97] T. Minier, H. Skaf-Molli, P. Molli. SaGe: Web Preemption for Public SPARQL Query Services. In The World Wide Web Conference 2019 (WWW'19), mai 2019, San Francisco, états-Unis.
      https://hal.archives-ouvertes.fr/hal-02017155
    • [98] F. Boujdad, A. Gaignard, M. Südholt, W. Garzón-Alfonso, L. Benavides Navarro, R. Redon. On distributed collaboration for biomedical analyses. In CCGrid-Life 2019 - Workshop on Clusters, Clouds and Grids for Life Sciences, mai 2019, Larnaca, Chypre.
      https://hal.archives-ouvertes.fr/hal-02080463
    • [99] J. Erskine, A. Chriette, S. Caro. Control and Configuration Planning of an Aerial Cable Towed System. In The 2019 IEEE International Conference on Robotics and Automation (ICRA~2019), mai 2019, Montreal, Canada.
      https://hal.archives-ouvertes.fr/hal-01995301
    • [100] Z. Zake, F. Chaumette, N. Pedemonte, S. Caro. Vision-Based Control and Stability Analysis of a Cable-Driven Parallel Robot. In ICRA 2019 - IEEE International Conference on Robotics and Automation, mai 2019, Montreal, Canada.
      https://hal.archives-ouvertes.fr/hal-01995307
    • [101] B. Moreau, P. Serrano-Alvarado, M. Perrin, E. Desmontils. A License-Based Search Engine. In 16th Extended Semantic Web Conference (ESWC2019), juin 2019, Portoroz, Slovénie.
      https://hal.archives-ouvertes.fr/hal-02097027
    • [102] B. Moreau, P. Serrano-Alvarado, M. Perrin, E. Desmontils. Modelling the Compatibility of Licenses. In 16th Extended Semantic Web Conference (ESWC2019), juin 2019, Portorož, Slovénie.
      https://hal.archives-ouvertes.fr/hal-02069076
    • [103] Y. Wang, D. Nörtershäuser, S. Le Masson, J. Menaud. An Empirical Study of Power Characterization Approaches for Servers. In ENERGY 2019 - The Ninth International Conference on Smart Grids, Green Communications and IT Energy-aware Technologies, juin 2019, Athens, Grèce.
      https://hal.inria.fr/hal-02120589v2
    • [105] P. Talbot, D. Cachera, E. Monfroy, C. Truchet. Octogones entiers pour le problème RCPSP. In JFPC 2019 - Journées Francophones de Programmation par Contraintes, juin 2019, Albi, France.
      https://hal.archives-ouvertes.fr/hal-02157804
    • [106] E. MALEKI, F. Belkadi, E. Bonjour, B. Alain. Interfaces modeling for Product-Service System integration. In IEEE 2018 13th Annual Conference on System of Systems Engineering (SoSE), juin 2019, Paris, France.
      https://hal.archives-ouvertes.fr/hal-02006063
    • [107] A. Bitaillou, B. Parrein, G. Andrieux. How to bring machine learning in industrial networks?. In Fifth Sino-French Workshop on Information and Communication Technologies, SIFWICT 2019, juin 2019, Nantes, France.
      https://hal.archives-ouvertes.fr/hal-02161147
    • [108] B. Pano, Y. Zhao, P. Chevrel, F. Claveau, F. Mars. Shared Control Based on an Ecological Feedforward and a Driver Model Based Feedback. In 9th IFAC International Symposium on Advances in Automotive Control, juin 2019, Orléans, France.
      https://hal.archives-ouvertes.fr/hal-02110825
    • [109] S. Mustaki, P. Chevrel, M. Yagoubi, P. Kvieska, F. Fauvel. Robust Lateral Control of Cars : Towards a Reduction of Pessimism and an Easy Trade-Off Between Performance, Comfort and Robustness. In IFAC International Symposium on Advances in Automotive Control (AAC), juin 2019, Orléans, France.
      https://hal.archives-ouvertes.fr/hal-02152254
    • [110] A. Khalifa, O. Kermorgant, S. Dominguez, P. Martinet. Vehicles Platooning in Urban Environments: Integrated Consensus-based Longitudinal Control with Gap Closure Maneuvering and Collision Avoidance Capabilities. In European Control Conference, juin 2019, Naples, Italie.
      https://hal.archives-ouvertes.fr/hal-02057396
    • [111] L. Blas, M. Bonilla, S. Salazar, M. Malabre, V. Azhmyakov. Synthesis of a robust linear structural feedback linearization scheme for an experimental quadrotor. In ECC19 European Control Conference, juin 2019, Naples, Italie.
      https://hal.archives-ouvertes.fr/hal-02067371
    • [112] S. Mustaki, T. Nguyen, P. Chevrel, M. Yagoubi, F. Fauvel. Comparison of Two Robust Static Output Feedback H2 Design Approaches for Car Lateral Control. In European Control Conference, juin 2019, Naples, Italie.
      https://hal.archives-ouvertes.fr/hal-02152271
    • [113] . André, D. Lime, M. Ramparison, M. Stoelinga. Parametric analyses of attack-fault trees. In 19th International Conference on Application of Concurrency to System Design (ACSD 2019), juin 2019, Aachen, Allemagne.
      https://hal.archives-ouvertes.fr/hal-02153316
    • [114] Z. Zake, S. Caro, A. Suarez Roos, F. Chaumette, N. Pedemonte. Stability Analysis of Pose-Based Visual Servoing Control of Cable-Driven Parallel Robots. In CableCon 2019 - Fourth International Conference on Cable-Driven Parallel Robots, juin 2019, Krakow, Pologne.
      https://hal.archives-ouvertes.fr/hal-02127451
    • [117] F. AIT SALAHT, F. Desprez, A. Lebre, C. Prud'Homme, M. Abderrahim. Service Placement in Fog Computing Using Constraint Programming. In SCC 2019 - IEEE International Conference on Services Computing, juillet 2019, Milan, Italie.
      https://hal.archives-ouvertes.fr/hal-02108806
    • [118] T. Nguyen, C. Soussen, J. Idier, E. Djermoune. NP-hardness of $\ell$0 minimization problems: revision and extension to the non-negative setting. In 13th International Conference on Sampling Theory and Applications, SampTA 2019, juillet 2019, Bordeaux, France.
      https://hal.archives-ouvertes.fr/hal-02112180
    • [119] Y. Deng, V. Léchappé, E. Moulay, F. Plestan. Prediction-based control with delay estimation of LTI systems with input-output delays. In 2019 IEEE ACC, juillet 2019, Philadelphia, états-Unis.
      https://hal.archives-ouvertes.fr/hal-02024069
    • [120] J. Darrous, T. Lambert, S. Ibrahim. On the Importance of Container Image Placement for Service Provisioning in the Edge. In ICCCN 2019 - The 28th International Conference on Computer Communications and Networks, juillet 2019, Valencia, Espagne.
      https://hal.inria.fr/hal-02134507
    • [121] T. Nguyen, C. Soussen, J. Idier, E. Djermoune. Algorithmes gloutons orthogonaux pour la reconstruction de signaux parcimonieux positifs. In XXVIIème Colloque francophone de traitement du signal et des images, GRETSI 2019, août 2019, Lille, France.
      https://hal-centralesupelec.archives-ouvertes.fr/hal-02149677
    • [122] Z. XU, M. Harzallah, F. Guillet, R. Ichise. Modular Ontology Learning with Topic Modelling over Core Ontology. In International Conference on Knowledge-Based and Intelligent Information & Engineering Systems, septembre 2019, BUDAPEST, Hongrie.
      https://hal.archives-ouvertes.fr/hal-02153563
    • [123] F. Bréhard, A. Mahboubi, D. Pous. A certificate-based approach to formally verified approximations. In ITP 2019 - Tenth International Conference on Interactive Theorem Proving, septembre 2019, Portland, états-Unis.
      https://hal.laas.fr/hal-02088529
    • [124] A. da Silva, C. Mommessin, P. Neyron, D. Trystram, a. bauskar, A. Lebre, A. Van Kempen, Y. Ngoko, y. ricordel. Investigating Placement Challenges in Edge Infrastructures through a Common Simulator. In Mascots 2019 - 27th IEEE International Symposium on the Modeling, Analysis, and Simulation of Computer and Telecommunication Systems, octobre 2019, Rennes, France.
      https://hal.inria.fr/hal-02153203
    • [125] . André, D. Lime, M. Ramparison. Parametric updates in parametric timed automata. In 39th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE 2019), juin 2019, Copenhagen, Danemark.In Jorge A. Pérez (éds.), . , 2019.
      https://hal.archives-ouvertes.fr/hal-02153238

Conférences nationales avec comité de lecture et actes (COMM_NAT)

    • [126] B. Moreau, E. Desmontils, P. Serrano-Alvarado. Enrichissement de Données RDF Integrées à la Volée. In Atelier Web des Données (AWD) dans EGC, janvier 2019, Metz, France.
      https://hal.archives-ouvertes.fr/hal-01990875
    • [127] P. François, F. Laroche, F. Rubellin, J. Leichman. De l'usage à l'espace : prospective pour une rétro-architecture. In Colloque National S-mart/AIP-PRIMECA, avril 2019, Les Karellis, France.
      https://hal.archives-ouvertes.fr/hal-02093048
    • [129] D. Espinel Sarmiento, A. Lebre, L. Nussbaum, A. Chari. Distributing connectivity management in Cloud-Edge infrastructures : Challenges and approaches. In COMPAS 2019 - Conférence d'informatique en Parallélisme, Architecture et Système, juin 2019, Anglet, France.
      https://hal.inria.fr/hal-02133606

Ouvrages - Chapitres d‘ouvrages et directions d‘ouvrages (OUV)

    • [131] K. Tabia, P. Leray, S. Benferhat. Belief Graphical Models for Uncertainty representation and reasoning. In A Guided Tour of Artificial Intelligence Research, volume II: AI Algorithms. 2019
      https://hal.archives-ouvertes.fr/hal-02049801
    • [132] P. Lucidarme, N. Delanoue, F. Mercier, Y. Aoustin, C. Chevallereau, P. Wenger. Preliminary survey of backdrivable linear actuators for humanoid robots. In ROMANSY 22–Robot Design, Dynamics and Control Proceedings of the 22nd CISM IFToMM Symposium, June 25-28, 2018, Rennes, France. 01-2019
      https://hal.archives-ouvertes.fr/hal-01984430
    • [133] P. Andre, J. Pepin, P. André, C. Attiogbé, E. Breton. Definition and Visualization of Virtual Meta-model Extensions with a Facet Framework. In Model-Driven Engineering and Software Development - 6th International Conference, {MODELSWARD} 2018, Funchal, Madeira, Portugal, January 22-24, 2018, Revised Selected Papers. 01-02-2019
      https://hal.archives-ouvertes.fr/hal-02090263
    • [137] E. MALEKI, F. Belkadi, B. Alain. A Meta-model for Product-Service System based on Systems Engineering approach. In 10th CIRP Conference on Industrial Product-Service Systems, IPSS, , .
      https://hal.archives-ouvertes.fr/hal-02006171
    • [139] M. Bonilla, M. Malabre, V. Azhmyakov. Advances of Implicit Description Techniques in Modelling and Control of Switched Systems. In Structural Methods in the Study of Complex Systems. 08-2019
      https://hal.archives-ouvertes.fr/hal-02088014
    • [140] R. Soto, J. Gómez-Pulido, S. Caro, J. Lanza-Gutiérrez. Data Science and AI-Based Optimization in Scientific Programming. In Scientific Programming ; éd. IOS Press, 2019, vol. 2019. 09-01-2019
      https://hal.archives-ouvertes.fr/hal-01976844

Theses et HDR (THESE)

Autres publications (AUTRES)

    • [145] I. Zhirkov, J. Cohen, R. Douence. Memory bijections: reasoning about exact memory transformations induced by refactorings in CompCert C. Rapport technique, 2019 ; LS2N, Université de Nantes.
      https://hal.archives-ouvertes.fr/hal-02078356
    • [147] L. Morvan, D. Mateus, C. Bailly, B. Jamet, C. Bodet-Milin, P. Moreau, C. Touzeau, F. Kraeber-Bodéré, T. Carlier. Prédiction de la progression chez des patients atteints de myélome multiple par "Random Survival Forest" Prédiction de la progression chez des patients atteints de myélome multiple par "Random Survival Forest. In ..., 2019, Paris, France.
      https://www.hal.inserm.fr/inserm-02100680
    • [148] H. MROUE, B. Parrein, S. Hamrioui, E. Motta Cruz, W. Vince. LoRa+: évolution du protocole LoRaWAN pour l'amélioration de la QoS pour des réseaux denses de capteurs. In GdR RSD et SOC2 - Journée Systèmes Embarqués et Objets Communicants, avril 2019, Paris, France.
      https://hal.archives-ouvertes.fr/hal-02161017
    • [149] J. Barreau, E. Leroy Du Cardonnoy, M. Chayani, X. Granier, F. Laroche, S. Madeleine, V. Mathieu, P. Mora. Réaliser un projet de modèles numériques 3D pour le patrimoine. Guide de rédaction d'un cahier des charges. In Serge Cassen - (CNRS, CREAAH, LARA UMR 6566) (éds.), . , 2019.
      https://hal.archives-ouvertes.fr/hal-02127682v2
Copyright : LS2N 2017 - Mentions Légales - 
 -