Home » Publications du laboratoire

Publication  de  la  collection  HAL LS2N  pour  2019

Nombre de publications retournées : 94


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

Chiffres en cours de consolidation

Revues internationales avec comité de lecture (ART_INT)

    • [1] B. Genc, M. Siala, G. Simonin, B. O'Sullivan. Complexity Study for the Robust Stable Marriage Problem. In Theoretical Computer Science ; éd. Elsevier, 2019.
      https://hal.laas.fr/hal-01974431
    • [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] 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
    • [4] 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
    • [6] 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
    • [7] N. Bouhlel, S. Meric. Maximum-Likelihood Parameter Estimation of the Product Model for Multilook Polarimetric SAR Data. In IEEE Transactions on Geoscience and Remote Sensing ; éd. Institute of Electrical and Electronics Engineers, 2019.
      https://hal-univ-rennes1.archives-ouvertes.fr/hal-01944018
    • [8] 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.
      https://hal.archives-ouvertes.fr/hal-02061643
    • [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] 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.
      https://hal.archives-ouvertes.fr/hal-01885435v2
    • [12] 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
    • [13] 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
    • [14] 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
    • [16] 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
    • [17] 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
    • [19] 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
    • [20] 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
    • [22] 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.archives-ouvertes.fr/hal-02097349
    • [23] 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
    • [24] 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
    • [25] 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
    • [26] 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
    • [27] 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.
      https://hal.archives-ouvertes.fr/hal-01976844
    • [28] 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
    • [29] 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
    • [30] 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
    • [31] 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
    • [32] 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
    • [33] 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
    • [34] 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
    • [35] 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
    • [36] 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
    • [37] 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
    • [38] 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
    • [39] 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
    • [40] 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
    • [41] 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
    • [42] 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
    • [44] 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
    • [45] 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
    • [46] 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
    • [47] 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
    • [48] 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
    • [50] 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
    • [51] 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
    • [52] 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
    • [53] 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
    • [54] 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

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

    • [55] . 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
    • [56] 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
    • [57] 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
    • [58] 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
    • [59] 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
    • [60] 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
    • [61] 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
    • [62] 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
    • [63] 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
    • [64] 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
    • [65] 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
    • [66] 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
    • [67] 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
    • [68] 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
    • [69] 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
    • [70] 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
    • [71] 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
    • [72] Z. Zake, F. Chaumette, N. Pedemonte, S. Caro. Vision-Based Control and Stability Analysis of a Cable-Driven Parallel Robot. In The 2019 IEEE International Conference on Robotics and Automation (ICRA 2019), mai 2019, Montreal, Canada.
      https://hal.archives-ouvertes.fr/hal-01995307
    • [73] 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
    • [74] 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
    • [75] 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
    • [76] 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
    • [77] R. Balderas Hill, S. Briot, A. Chriette, P. Martinet. Exploiting Natural Dynamics in order to Increase the Feasible Static-Wrench Workspace of Robots. In The 15th IFToMM World Congress, juin 2019, Cracovie, Pologne.
      https://hal.archives-ouvertes.fr/hal-02003103
    • [79] 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

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

    • [80] 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

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

    • [82] 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
    • [83] 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
    • [84] 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
    • [88] 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
    • [90] 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

Theses et HDR (THESE)

Autres publications (AUTRES)

    • [93] 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
    • [94] L. Morvan, D. Mateus, C. Bailly, B. Jamet, C. Bodet-Milin, P. Moreau, C. Touzeau, F. Kraeber-Bodéré, T. Carlier. L A T E X TikZposter 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
Copyright : LS2N 2017 - Mentions Légales - 
 -