Publications for the collection HAL LS2N for 2020
Total of the publications found : 551ART_INT | ART_NAT | COMM_INT | COMM_NAT | OUV | BRE | THESE | AUTRES |
---|---|---|---|---|---|---|---|
209 | 6 | 209 | 20 | 46 | 7 | 35 | 19 |
International journals with reviewing committee (ART_INT)
- [1] A. Bah, P. André, C. Attiogbé, J. Konate. Service Promotion in a Federation of Security Domains. In Revue Africaine de Recherche en Informatique et Mathématiques Appliquées ; éd. African Society in Digital Science, 2020, vol. 34, num. Spécial CARI 2020-2021.https://hal.science/hal-02909605v2
- [2] A. Bérard, L. Jeanson, J. Davoigneau, F. Laroche. Donner toute sa place au cercle méridien de Toulouse-Jolimont à l'aide d'outils numériques : l'exemple des travaux du projet ReSeed. In Patrimoines du sud ; éd. Conseil Régional d'Occitanie, 2020, vol. 12.https://hal.science/hal-02541941v1
- [3] A. Dolgui, D. Ivanov. Manufacturing modelling, management and control: IFAC TC 5.2 past, present and future. In Annual Reviews in Control ; éd. Elsevier, 2020, vol. 49.https://hal.science/hal-03170925v1
- [4] A. Hakim, A. Amirat, M. Oussalah. Non-Intrusive Contextual Dynamic Reconfiguration of Ambient Intelligent IoT Systems. In Journal of Ambient Intelligence and Humanized Computing ; éd. Springer, 2020, vol. 11.https://hal.science/hal-01973808v1
- [5] A. Hernan Gonzalez, P. Rivadeneira, A. Ferramosca, N. Magdelaine, C. Moog. Stable Impulsive Zone MPC for Type 1 Diabetic Patients based on a long-term model. In Optimal Control Applications and Methods ; éd. Wiley, 2020, vol. 41, num. 6.https://hal.science/hal-02660136v1
- [6] A. Messali, M. Hamida, M. Ghanes, M. Koteich. An Estimation Procedure Based on Less Filtering and Robust Tracking for a Self-Sensing Control of IPMSM. In IEEE Transactions on Industrial Electronics ; éd. Institute of Electrical and Electronics Engineers, 2020.https://hal.science/hal-02461795v1
- [7] A. Oliveira, G. Jean, G. Fertin, K. Brito, L. Bulteau, U. Dias, Z. Dias. Sorting Signed Permutations by Intergenic Reversals. In IEEE/ACM Transactions on Computational Biology and Bioinformatics ; éd. Institute of Electrical and Electronics Engineers, 2020.https://hal.science/hal-02901617v1
- [8] A. Sabil, C. Marien, M. Levaillant, G. Baffet, N. Meslier, F. Gagnadoux. Diagnosis of Sleep Apnea Without Sensors on the Patient's Face. In Journal of Clinical Sleep Medicine ; éd. American Academy of Sleep Medicine, 2020.https://hal.science/hal-02543243v1
- [9] B. Boussaha, N. Hernandez, C. Jacquin, E. Morin. End-to-End Response Selection Based on Multi-LevelContext Response Matching. In Computer Speech and Language ; éd. Elsevier, 2020.https://hal.science/hal-02484727v1
- [10] C. Califano, C. Moog. Observability of nonlinear time-delay systems and its application to their state realization. In IEEE Control Systems Letters ; éd. IEEE, 2020, vol. 4, num. 4.https://hal.science/hal-02552372v1
- [11] D. Leroy, P. Jeanjean, E. Bousse, M. Wimmer, B. Combemale. Runtime Monitoring for Executable DSLs. In The Journal of Object Technology ; éd. Chair of Software Engineering, 2020, vol. 19, num. 2.https://inria.hal.science/hal-03109992v1
- [12] D. Winterauer, D. Funes-Hernando, J. Duvail, S. Moussaoui, T. Batten, B. Humbert. Nanoscale Spatial Resolution in Far-Field Raman Imaging Using Hyperspectral Unmixing in Combination with Positivity Constrained Super-Resolution. In Applied Spectroscopy ; éd. Society for Applied Spectroscopy, 2020.https://hal.science/hal-02563888v1
- [13] D. Yesiltepe, A. Ozbil Torun, A. Coutrot, M. Hornberger, H. Spiers, R. Conroy Dalton. Computer models of saliency alone fail to predict subjective visual attention to landmarks during observed navigation. In Spatial Cognition and Computation ; éd. Taylor & Francis, 2020.https://hal.science/hal-02995698v1
- [14] F. Belkadi, M. Dhuieb, J. Aguado, F. Laroche, A. Bernard, F. Chinesta. Intelligent assistant system as a context-aware decision-making support for the workers of the future. In Computers & Industrial Engineering ; éd. Elsevier, 2020, vol. 139.https://hal.science/hal-02277056v1
- [15] F. Khenfri, K. Chaaban, M. Chetto. Efficient mapping of runnables to tasks for embedded AUTOSAR applications. In Journal of Systems Architecture ; éd. Elsevier, 2020, vol. 110.https://hal.science/hal-02867311v1
- [16] F. Lehuédé, O. Péton, F. Tricoire. A lexicographic minimax approach to the vehicle routing problem with route balancing. In European Journal of Operational Research ; éd. Elsevier, 2020, vol. 282, num. 1.https://hal.science/hal-02296076v2
- [17] G. Celano, P. Castagliola. On‐line monitoring of extreme values of geometric profiles in finite horizon processes. In Quality and Reliability Engineering International ; éd. Wiley, 2020, vol. 36, num. 4.https://hal.science/hal-02551720v1
- [18] G. Fertin, C. Komusiewicz. Graph Motif Problems Parameterized by Dual. In Journal of Graph Algorithms and Applications ; éd. Brown University, 2020, vol. 24, num. 3.https://hal.science/hal-02901620v1
- [19] G. Jaber. SyTeCi: Automating Contextual Equivalence for Higher-Order Programs with References. In Proceedings of the ACM on Programming Languages ; éd. ACM, 2020, vol. 28.https://hal.science/hal-02388621v1
- [20] H. Nguyen, K. Tran, G. Celano, P. Maravelakis, P. Castagliola. On the effect of the measurement error on Shewhart t and EWMA t control charts. In International Journal of Advanced Manufacturing Technology ; éd. Springer Verlag, 2020, vol. 107, num. 9-10.https://hal.science/hal-02568969v1
- [21] H. Sabahno, P. Castagliola, A. Amiri. A variable parameters multivariate control chart for simultaneous monitoring of the process mean and variability with measurement errors. In Quality and Reliability Engineering International ; éd. Wiley, 2020, vol. 36, num. 4.https://hal.science/hal-02551715v1
- [22] H. Sabahno, P. Castagliola, A. Amiri. An adaptive variable-parameters scheme for the simultaneous monitoring of the mean and variability of an autocorrelated multivariate normal process. In Journal of Statistical Computation and Simulation ; éd. Taylor & Francis, 2020, vol. 90, num. 8.https://hal.science/hal-02551721v1
- [23] I. Milleville-Pennel, F. Mars, L. Pouliquen-Lardy. Sharing spatial information in a virtual environment: How do visual cues and configuration influence spatial coding and mental workload?. In Virtual Reality ; éd. Springer Verlag, 2020, vol. 24, num. 4.https://hal.science/hal-02502727v1
- [24] I. Slama, O. Ben-Ammar, A. Dolgui, F. Masmoudi. Approches d’optimisation pour un problème de planification de désassemblage sous incertitude des délais de désassemblage. In Génie industriel et productique ; éd. ISTE OpenScience, 2020, vol. 3, num. 1.https://hal.science/hal-03170986v1
- [25] I. Slama, O. Ben-Ammar, A. Dolgui, F. Masmoudi. New mixed integer approach to solve a multi-level capacitated disassembly lot-sizing problem with defective items and backlogging. In Journal of Manufacturing Systems ; éd. Elsevier, 2020, vol. 56.https://hal.science/hal-02636673v1
- [26] J. Pan, H. Le Capitaine. Metric Learning with Submodular Functions. In Neurocomputing ; éd. Elsevier, 2020.https://hal.science/hal-02436643v1
- [27] J. Ríos, G. Staudter, M. Weber, R. Anderl, A. Bernard. Uncertainty of data and the digital twin: a review. In International Journal of Product Lifecycle Management ; éd. Inderscience, 2020, vol. 12, num. 4.https://hal.science/hal-03364191v1
- [28] L. Jeanson, F. Laroche, J. Kerouanton, A. Bernard. Knowledge management for modelled Heritage objects, requirement specification towards a tool for heterogeneity embracing. In International Journal on Interactive Design and Manufacturing ; éd. Springer Verlag, 2020, vol. 14, num. 4.https://hal.science/hal-02951322v1
- [29] L. Jeanson, M. Cotte, L. Bland-Dupré, F. Laroche, L. Jeanson. Comment évaluer l’importance patrimoniale d’un lieu unique et complexe grâce au numérique. L’exemple du Pic du Midi.. In Patrimoines du sud ; éd. Conseil Régional d'Occitanie, 2020, vol. 12.https://hal.science/hal-02541935v1
- [30] L. Koh, A. Dolgui, J. Sarkis. Blockchain in transport and logistics – paradigms and transitions. In International Journal of Production Research ; éd. Taylor & Francis, 2020, vol. 58, num. 7.https://hal.science/hal-02550115v1
- [31] L. Michel, M. Ghanes, F. Plestan, Y. Aoustin, J. Barbot. Semi-Implicit Euler Discretization for Homogeneous Observer-based Control: one dimensional case. In IFAC-PapersOnLine ; éd. Elsevier, 2020, vol. 53, num. 2.https://hal.science/hal-02559189v1
- [32] L. Morganti, H. Haddou Benderbal, L. Benyoucef, M. Bortolini, F. Gabriele Galizia. A New Process Quality-based Multi-objective Multi-part Approach for the Integrated Process Planning and Scheduling (IPPS) Problem in Reconfigurable Manufacturing Environment. In IFAC-PapersOnLine ; éd. Elsevier, 2020, vol. 53, num. 2.https://hal.science/hal-03526666v1
- [33] M. Angulo, A. Aparicio, C. Moog. Structural accessibility and structural observability of nonlinear networked systems. In IEEE Transactions on Network Science and Engineering ; éd. IEEE, 2020.https://hal.science/hal-02289552v1
- [34] M. Bonilla, L. Blas, V. Azhmyakov, M. Malabre, S. Salazar. Robust structural feedback linearization based on the nonlinearities rejection. In Journal of The Franklin Institute ; éd. Elsevier, 2020, vol. 357.https://hal.science/hal-02362693v2
- [35] M. Ghanes, J. Barbot, L. Fridman, A. Levant, R. Boisliveau. A New Varying Gain Exponent based Differentiator/Observer: an Efficient Balance between Linear and Sliding-Mode Algorithms. In IEEE Transactions on Automatic Control ; éd. Institute of Electrical and Electronics Engineers, 2020, vol. 65, num. 12.https://hal.science/hal-02461779v1
- [36] M. Hamida, M. Taherzadeh, M. Ghanes, M. Koteich. A New Approach on Stator Flux Estimation of IPMSMs Considering Magnetic and Cross-Coupling Saturations. In IFAC-PapersOnLine ; éd. Elsevier, 2020, vol. 53, num. 2.https://hal.science/hal-03643947v1
- [37] M. Harrat, F. Belkadi, A. Bernard. Towards a modeling framework of collaboration in PSS development project: A review of key factors. In Procedia CIRP ; éd. ELSEVIER, 2020, vol. 90.https://hal.science/hal-03544710v1
- [38] M. Kouki, B. Marinescu, F. Xavier. Exhaustive Modal Analysis of Large-Scale Interconnected Power Systems with High Power Electronics Penetration. In IEEE Transactions on Power Systems ; éd. Institute of Electrical and Electronics Engineers, 2020.https://hal.science/hal-02510520v1
- [39] M. Millardet, S. Moussaoui, D. Mateus, J. Idier, T. Carlier. Local-mean preserving post-processing step for non-negativity enforcement in PET imaging: application to 90 Y-PET. In IEEE Transactions on Medical Imaging ; éd. Institute of Electrical and Electronics Engineers, 2020, vol. 39.https://hal.science/hal-02565204v1
- [40] M. Pourmahmood Aghababa, B. Marinescu, F. Xavier. Observer-based Tracking Control for Single Machine Infinite Bus System Via Flatness Theory. In International Journal of Electrical and Computer Engineering ; éd. Institute of Advanced Engineering and Science (IAES), 2020.https://hal.science/hal-02909888v1
- [41] M. Sadallah, B. Encelle, A. Maredj, Y. Prié. Leveraging Learners’ Activity Logs for Course Reading Analytics Using Session-Based Indicators. In International journal of technology enhanced learning, vol. 12, num. 1. 2020https://hal.science/hal-01984011v1
- [42] M. Thébault, V. Blondeau, O. Aubert, D. Schmitt. XEmotion : saisir l’expérience sensible. In Revue des Interactions Humaines Médiatisées (RIHM) = Journal of Human Mediated Interactions ; éd. Europia, 2020, vol. 21, num. 2.https://hal.science/hal-03337423v1
- [43] N. Cambier, R. Miletitch, V. Frémont, M. Dorigo, E. Ferrante, V. Trianni. Language Evolution in Swarm Robotics: A Perspective. In Frontiers in Robotics and AI ; éd. Frontiers Media S.A., 2020, vol. 7.https://hal.science/hal-02473988v1
- [44] 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, 2020.https://hal.science/hal-02158110v1
- [45] N. Laroche, S. Bourguignon, E. Carcreff, J. Idier, A. Duclos. An inverse approach for ultrasonic imaging from full matrix capture data. Application to resolution enhancement in NDT.. In IEEE Transactions on Ultrasonics, Ferroelectrics and Frequency Control ; éd. Institute of Electrical and Electronics Engineers, 2020, vol. 67, num. 9.https://hal.science/hal-02564265v1
- [46] N. Magdelaine, P. Rivadeneira, L. Chaillous, A. Fournier-Guilloux, M. Krempf, T. Mohammadridha, M. Aït-Ahmed, C. Moog. The Hypoglycemia-Free Artificial Pancreas Project. In IET Systems Biology ; éd. Institution of Engineering and Technology, 2020, vol. 14, num. 1.https://hal.science/hal-02276604v1
- [47] P. Blaud, P. Haurant, F. Claveau, B. Lacarrière, P. Chevrel, A. Mouraud. Modelling and control of multi-energy systems through multi-prosumer node and economic model predictive control. In International Journal of Electrical Power & Energy Systems ; éd. Elsevier, 2020, vol. 118, num. 105778.https://hal.science/hal-02407594v1
- [48] P. Halffmann, T. Dietz, A. Przybylski, S. Ruzika. An inner approximation method to compute the weight set decomposition of a triobjective mixed-integer problem. In Journal of Global Optimization ; éd. Springer Verlag, 2020.https://hal.science/hal-02523885v1
- [49] P. Loiseau, C. Boultifat, P. Chevrel, F. Claveau, S. Espie, F. Mars. Rider model identification: neural networks and quasi-LPV models. In IET Intelligent Transport Systems ; éd. Institution of Engineering and Technology, 2020, vol. 14, num. 10.https://hal.science/hal-02883894v1
- [50] R. Ling, Y. Feng, F. Claveau, P. Chevrel. Design and Realizations of Networked Estimators: A Descriptor Model Approach. In IEEE Access ; éd. IEEE, 2020, vol. 8.https://hal.science/hal-02930223v1
- [51] R. Lobjois, F. Mars. Effects of motorcycle simulator configurations on steering control and gaze behavior in bends.. In Journal of Experimental Psychology: Applied ; éd. American Psychological Association, 2020, vol. 26, num. 1.https://hal.science/hal-02279075v1
- [52] S. Derbel, F. Nicolau, N. Feki, J. Barbot, M. Abbes, M. Haddar. Faults diagnosis via a dynamical sparse recovery method and application to a gearbox system. In Journal of Vibration and Control ; éd. SAGE Publications, 2020.https://hal.science/hal-02889813v1
- [53] S. Hashemi-Petroodi, S. Kovalev, S. Thevenin, A. Dolgui. Operations management issues in design and control of hybrid human-robot collaborative manufacturing systems: a survey. In Annual Reviews in Control ; éd. Elsevier, 2020, vol. 49.https://hal.science/hal-02882757v1
- [54] S. Hosseini, D. Ivanov, A. Dolgui. Ripple effect modelling of supplier disruption: integrated Markov chain and dynamic Bayesian network approach. In International Journal of Production Research ; éd. Taylor & Francis, 2020, vol. 58, num. 11.https://hal.science/hal-02923276v1
- [55] S. Shongwe, J. Malela‐majika, P. Castagliola. On monitoring the process mean of autocorrelated observations with measurement errors using the w‐of‐w runs‐rules scheme. In Quality and Reliability Engineering International ; éd. Wiley, 2020, vol. 36, num. 3.https://hal.science/hal-02502217v1
- [56] T. Cerqueus, J. Bonnaud, O. Dashkov, E. Morin. Thesaurus Matching in Electronic Commerce. In Electronic Commerce Research ; éd. Springer Verlag, 2020.https://hal.science/hal-02946405v1
- [57] T. Mullari, . Kotta, Z. Bartosiewicz, M. Sarafrazi, C. Moog, E. Pawluszewicz. Weak reachability and controllability of discrete-time nonlinear systems: generic approach and singular points. In International Journal of Control ; éd. Taylor & Francis, 2020, vol. 93, num. 3.https://hal.science/hal-01818884v1
- [58] T. Vaneker, A. Bernard, G. Moroni, I. Gibson, Y. Zhang. Design for additive manufacturing: Framework and methodology. In CIRP Annals - Manufacturing Technology ; éd. Elsevier, 2020, vol. 69, num. 2.https://hal.science/hal-02942457v1
- [59] V. Rosato, P. François, F. Laroche. Patrimoine industriel numérique 3D : Reconstruction de la Forge d'Arthez-d'Asson. In Patrimoine industriel ; éd. CILAC, 2020.https://hal.science/hal-03018275v1
- [60] W. Aroufi, C. Pavageau, J. Sturque, A. Zlowodzki, G. Georgescou, F. Denis. Hereditary angioedema type II and dental extraction: case report and literature review. In Journal of Oral Medicine and Oral Surgery ; éd. EDP Sciences, 2020, vol. 26, num. 3.https://hal.science/hal-03650723v1
- [61] W. Torki, J. Barbot, M. Ghanes, L. Sbita. Sparse Recovery Diagnosis Method Applied to Hybrid Dynamical System: The Case of Three-Phase DC-AC Inverter for Wind Turbine. In OALib Journal ; éd. Open Access Library, 2020, vol. 07, num. 09.https://hal.science/hal-03653966v1
- [62] X. Hu, P. Castagliola, A. Tang, X. Zhou, P. Zhou. Conditional median run length performance of the synthetic X¯ chart with unknown process parameters. In Quality and Reliability Engineering International ; éd. Wiley, 2020, vol. 36, num. 3.https://hal.science/hal-02502233v1
- [63] Y. Bian, D. Lemoine, N. Bostel, T. Yeung. Two-level uncapacitated lot sizing problem considering financial cost of working capital requirement.. In Frontiers of Engineering Management ; éd. Higher Education Press, 2020, vol. 7.https://hal.science/hal-02190123v1
- [64] Y. Zhang, Z. Wang, Y. Zhang, S. Gomes, A. Bernard. Bio-inspired generative design for support structure generation and optimization in Additive Manufacturing (AM). In CIRP Annals - Manufacturing Technology ; éd. Elsevier, 2020, vol. 69, num. 1.https://hal.science/hal-02942458v1
- [65] Z. Cheng, M. Tisi, R. Douence. CoqTL: A Coq DSL for Rule-Based Model Transformation. In Software and Systems Modeling ; éd. Springer Verlag, 2020, vol. 19.https://hal.science/hal-02333564v1
- [66] F. Arcelli Fontana, H. Bruneliere, H. A. Müller, C. Raibulet. Guest editors’ introduction to the special issue on Model Driven Engineering and Reverse Engineering: Research and Practice. In Journal of Systems and Software ; éd. Elsevier, 2020, vol. 159.https://hal.science/hal-02339020v1
- [67] M. Xu, A. Borji, C. Zhu, E. Delp, M. Mrak, P. Le Callet. Introduction to the Issue on Perception-Driven 360° Video Processing. In IEEE Journal of Selected Topics in Signal Processing ; éd. IEEE, 2020, vol. 14, num. 1.https://hal.science/hal-02640807v1
- [68] M. Xu, C. Li, S. Zhang, P. Le Callet. State-of-the-Art in 360° Video/Image Processing: Perception, Assessment and Compression. In IEEE Journal of Selected Topics in Signal Processing ; éd. IEEE, 2020, vol. 14, num. 1.https://hal.science/hal-02640846v1
- [69] X. Min, J. Zhou, G. Zhai, P. Le Callet, X. Yang, X. Guan. A Metric for Light Field Reconstruction, Compression, and Display Quality Evaluation. In IEEE Transactions on Image Processing ; éd. Institute of Electrical and Electronics Engineers, 2020, vol. 29.https://hal.science/hal-02640829v1
- [70] J. Picaut, A. Can, N. Fortin, J. Ardouin, M. Lagrange. Low-Cost Sensors for Urban Noise Monitoring Networks-A Literature Review. In Sensors ; éd. MDPI, 2020, vol. 20, num. 8.https://hal.science/hal-02930109v2
- [71] . André, B. Delahaye, P. Fournier. Consistency in Parametric Interval Probabilistic Timed Automata. In Journal of Logical and Algebraic Methods in Programming ; éd. Elsevier, 2020.https://hal.science/hal-02154775v1
- [72] F. Julca-Aguilar, H. Mouchère, C. Viard-Gaudin, N. Hirata. A general framework for the recognition of online handwritten graphics. In International Journal on Document Analysis and Recognition ; éd. Springer Verlag, 2020.https://hal.science/hal-02474242v1
- [73] Z. Li, J. Erskine, S. Caro, A. Chriette. Design and Control of a Variable Aerial Cable Towed System. In IEEE Robotics and Automation Letters ; éd. IEEE, 2020, vol. 5, num. 2.https://hal.science/hal-02426165v2
- [74] A. Perrin, V. Krassanakis, L. Zhang, V. Ricordel, M. da Silva, O. Le Meur. EyeTrackUAV2: a Large-Scale Binocular Eye-Tracking Dataset for UAV Videos. In Drones ; éd. MDPI, 2020, vol. 4, num. 2.https://univ-rennes.hal.science/hal-02391832v3
- [75] Z. Zake, F. Chaumette, N. Pedemonte, S. Caro. Robust 2 1/2D Visual Servoing of a Cable-Driven Parallel Robot Thanks to Trajectory Tracking. In IEEE Robotics and Automation Letters ; éd. IEEE, 2020, vol. 5, num. 2.https://hal.science/hal-02429717v1
- [76] M. Harrat, E. Maleki, F. Belkadi, A. Bernard. Extended Enterprise Model for PSS Within a Systems Engineering Perspective. In Africa Insight ; éd. Africa Institute of South Africa, 2020, vol. 22, num. 4.https://hal.science/hal-02442964v1
- [77] D. Six, S. Briot, J. Erskine, A. Chriette. Identification of the Propeller Coefficients and Dynamic Parameters of a Hovering Quadrotor from Flight Data. In IEEE Robotics and Automation Letters ; éd. IEEE, 2020, vol. 5, num. 2.https://hal.science/hal-02431388v1
- [78] H. Mhamdi, J. Bourdon, A. Larhlimi, M. Elloumi. Bayesian Integrative Modeling of Genome-Scale Metabolic and Regulatory Networks. In Informatics ; éd. MDPI, 2020, vol. 7, num. 1.https://hal.science/hal-02458270v1
- [79] M. Folschette, V. Legagneux, A. Poret, L. Chebouba, C. Guziolowski, N. Théret. A pipeline to create predictive functional networks: application to the tumor progression of hepatocellular carcinoma. In BMC Bioinformatics ; éd. BioMed Central, 2020, vol. 21, num. 1.https://hal.science/hal-02095930v4
- [80] T. Rasheed, P. Long, S. Caro. Wrench-Feasible Workspace of Mobile Cable-Driven Parallel Robots. In Journal of Mechanisms and Robotics ; éd. American Society of Mechanical Engineers, 2020, vol. 12, num. 3.https://hal.science/hal-02379201v1
- [81] N. Ugwuanyi, X. Kestelyn, O. Thomas, B. Marinescu, A. Messina. A New Fast Track to Nonlinear Modal Analysis of Power System Using Normal Form. In IEEE Transactions on Power Systems ; éd. Institute of Electrical and Electronics Engineers, 2020.https://hal.science/hal-02458116v1
- [82] B. Ahrens, A. Hirschowitz, A. Lafont, M. Maggesi. Reduction Monads and Their Signatures. In Proceedings of the ACM on Programming Languages ; éd. ACM, 2020.https://inria.hal.science/hal-02380682v1
- [83] M. Sozeau, S. Boulier, Y. Forster, N. Tabareau, T. Winterhalter. Coq Coq Correct! Verification of Type Checking and Erasure for Coq, in Coq. In Proceedings of the ACM on Programming Languages ; éd. ACM, 2020.https://hal.science/hal-02380196v2
- [84] P. Pédrot, N. Tabareau. The Fire Triangle. In Proceedings of the ACM on Programming Languages ; éd. ACM, 2020.https://hal.science/hal-02383109v1
- [85] W. Derigent, O. Cardin, D. Trentesaux. Industry 4.0: contributions of holonic manufacturing control architectures and future challenges. In Journal of Intelligent Manufacturing ; éd. Springer Verlag (Germany), 2020, vol. 32.https://hal.science/hal-02455705v1
- [86] . André, D. Lime, N. Markey. Language Preservation Problems in Parametric Timed Automata. In Logical Methods in Computer Science ; éd. Logical Methods in Computer Science Association, 2020, vol. 16, num. 1.https://hal.science/hal-02498022v1
- [87] J. Gutiérrez, T. Vigier, P. Le Callet. Quality Evaluation of 3D Objects in Mixed Reality For Different Lighting Conditions. In Electronic Imaging ; éd. ingenta CONNECT, 2020, vol. 32, num. 11.https://hal.science/hal-03652645v1
- [88] I. Milleville-Pennel, S. Marquez. Comparison between elderly and young drivers’ performances on a driving simulator and self-assessment of their driving attitudes and mastery. In Accident Analysis & Prevention ; éd. Elsevier, 2020, vol. 135.https://hal.science/hal-02458326v1
- [89] M. Acevedo, M. Orvañanos-Guerrero, R. Velazquez, V. Arakelian. An Alternative Method for Shaking Force Balancing of the 3RRR PPM through Acceleration Control of the Center of Mass. In Applied Sciences ; éd. Multidisciplinary digital publishing institute (MDPI), 2020, vol. 10, num. 4.https://insa-rennes.hal.science/hal-02882753v1
- [90] M. Sozeau, A. Anand, S. Boulier, C. Cohen, Y. Forster, F. Kunze, G. Malecha, N. Tabareau, T. Winterhalter. The MetaCoq Project. In Journal of Automated Reasoning ; éd. Springer Verlag, 2020.https://inria.hal.science/hal-02167423v1
- [91] R. Chenouard, R. El-Sehiemy. An interval branch and bound global optimization algorithm for parameter estimation of three photovoltaic models. In Energy Conversion and Management ; éd. Elsevier, 2020, vol. 205.https://hal.science/hal-02428632v1
- [92] K. Brito, G. Jean, G. Fertin, A. Oliveira, U. Dias, Z. Dias. Sorting by Genome Rearrangements on Both Gene Order and Intergenic Sizes. In Journal of Computational Biology ; éd. Mary Ann Liebert, 2020, vol. 27, num. 2.https://hal.science/hal-02482109v1
- [93] K. Karunakaran, S. Negi, A. Nambolan, A. Patel, Y. Patil, M. Pandya, S. Kapil, D. Trushnikov, M. Sealy, A. Bernard. Challenges in path planning of high energy density beams for additive manufacturing. In IOP Conference Series: Materials Science and Engineering ; éd. IOP Publishing, 2020, vol. 759.https://hal.science/hal-02942612v1
- [94] S. Lessanibahri, P. Cardou, S. Caro. A Cable-Driven Parallel Robot with an Embedded Tilt-Roll Wrist. In Journal of Mechanisms and Robotics ; éd. American Society of Mechanical Engineers, 2020, vol. 12, num. 2.https://hal.science/hal-02425813v2
- [95] C. Couret, M. Servant, P. Lebranchu, M. Hamidou, M. Weber. Efficacy and Safety of Interferon Alpha 2A and Pegylated Interferon Alpha 2A in Inflammatory Macular Edema. In Ocular Immunology and Inflammation ; éd. Taylor & Francis, 2020, vol. 28, num. 2.https://hal.science/hal-03650173v1
- [96] H. Park, K. Piamrat, K. Singh, H. Chen. Data Analysis for Self-Driving Vehicles in Intelligent Transportation Systems. In Journal of Advanced Transportation ; éd. Hindawi Publishing Corporation, 2020, vol. 2020.https://hal.science/hal-02486375v1
- [97] F. Belkadi, E. Sanfilippo, A. Bernard, L. Vidal. A Product-Process Model for Decision-Aid Perspective in Additive Manufacturing Field. In Computer-Aided Design and Applications ; éd. CAD Solutions LLC (imprimé) and Taylor & Francis Online (en ligne), 2020, vol. 17, num. 6.https://hal.science/hal-03364038v1
- [98] D. Ali, A. Houari, A. Saim, M. Aït-Ahmed, S. Pierfederici, M. Benkhoris, M. Machmoum, M. Ghanes. Flatness Based Grey Wolf Control for Load Voltage Unbalance Mitigation in Three-Phase Four-Leg Voltage Source Inverters. In IEEE Transactions on Industry Applications ; éd. Institute of Electrical and Electronics Engineers, 2020, vol. 56, num. 2.https://hal.univ-lorraine.fr/hal-02442917v1
- [99] H. Mroue, B. Parrein, S. Hamrioui, P. Bakowski, A. Nasser, E. Cruz, W. Vince. LoRa+: An extension of LoRaWAN protocol to reduce infrastructure costs by improving the Quality of Service. In Internet of Things ; éd. Elsevier, 2020, vol. 9.https://hal.science/hal-02491408v1
- [100] M. Hamida, R. El-Sehiemy, T. Mesbahi. Parameter identification and state-of-charge estimation for lithium-polymer battery cells using enhanced sunflower optimization algorithm. In International Journal of Hydrogen Energy ; éd. Elsevier, 2020, vol. 45, num. 15.https://hal.science/hal-02943812v1
- [101] M. Uddin, A. Mamun, M. Jakaria, S. Thangapandiyan, J. Ahmad, M. Rahman, B. Mathew, M. Abdel-Daim, L. Aleya. Emerging promise of sulforaphane-mediated Nrf2 signaling cascade against neurological disorders. In Science of the Total Environment ; éd. Elsevier, 2020, vol. 707.https://hal.science/hal-02526717v1
- [102] Y. He, C. Artigues, C. Briand, N. Jozefowiez, S. Ngueveu. A Matheuristic with Fixed-Sequence Reoptimization for a Real-Life Inventory Routing Problem. In Transportation Science ; éd. INFORMS, 2020, vol. 54, num. 2.https://hal.science/hal-02944238v1
- [103] A. Dolgui, D. Ivanov, M. Rozhkov. Does the ripple effect influence the bullwhip effect? An integrated analysis of structural and operational dynamics in the supply chain. In International Journal of Production Research ; éd. Taylor & Francis, 2020, vol. 58, num. 5.https://hal.science/hal-02477561v1
- [104] N. Ugwuanyi, X. Kestelyn, B. Marinescu, O. Thomas. Power System Nonlinear Modal Analysis Using Computationally Reduced Normal Form Method. In Energies ; éd. MDPI, 2020.https://hal.science/hal-02516517v1
- [105] M. Boudana, S. Ladaci, J. Loiseau. Analysis and Control Design for a Class of Fractional Order Time-Delay Systems. In ALGERIAN JOURNAL OF SIGNALS AND SYSTEMS ( AJSS), vol. 5, num. 1. 15-03-2020https://hal.science/hal-03366315v1
- [106] L. Jezequel, A. Madalinski, S. Schwoon. Distributed computation of vector clocks in Petri net unfoldings for test selection. In Discrete Event Dynamic Systems ; éd. Springer Verlag, 2020.https://hal.science/hal-02560296v1
- [107] F. Boyer, V. Lebastard, S. Ferrer, F. Geffard. Underwater pre-touch based on artificial electric sense. In The International Journal of Robotics Research ; éd. SAGE Publications, 2020.https://hal.science/hal-02520026v1
- [108] D. Đorđević Čegar, M. Barreda-Angeles, D. Kukolj, P. Le Callet. Modelling effects of S3D visual discomfort in human emotional state using data mining techniques. In Multimedia Tools and Applications ; éd. Springer Verlag, 2020.https://hal.science/hal-02640787v1
- [109] A. Marendet, A. Goldsztejn, G. Chabert, C. Jermann. A standard branch-and-bound approach for nonlinear semi-infinite problems. In European Journal of Operational Research ; éd. Elsevier, 2020, vol. 282, num. 2.https://hal.science/hal-02415459v1
- [110] J. Ducloyer, G. Le Meur, P. Lebranchu, F. Billaud, M. Weber. Macular Fold Complicating a Subretinal Injection of Voretigene Neparvovec. In Ophthalmology Retina ; éd. Elsevier, 2020, vol. 4, num. 4.https://hal.science/hal-03650172v1
- [111] A. Volkova, T. Hilaire, C. Lauter. Arithmetic approaches for rigorous design of reliable Fixed-Point LTI filters. In IEEE Transactions on Computers ; éd. Institute of Electrical and Electronics Engineers, 2020, vol. 69, num. 4.https://hal.science/hal-01918650v2
- [112] G. Wu, Z. Lin, W. Zhao, S. Zhang, H. Shen, S. Caro. A Four-limb Parallel Schönflies Motion Generator with Full-circle End-effector Rotation. In Mechanism and Machine Theory ; éd. Elsevier, 2020, vol. 146.https://hal.science/hal-02373116v1
- [113] H. Shen, D. Chablat, B. Zeng, J. Li, G. Wu, T. Yang. A Translational Three-Degrees-of-Freedom Parallel Mechanism With Partial Motion Decoupling and Analytic Direct Kinematics. In Journal of Mechanisms and Robotics ; éd. American Society of Mechanical Engineers, 2020, vol. 12, num. 2.https://hal.science/hal-02469329v1
- [114] A. Diabat, A. Dolgui, W. Janiak, M. Kovalyov. Three parallel task assignment problems with shared resources. In IISE Transactions ; éd. Taylor & Francis, 2020, vol. 52, num. 4.https://hal.science/hal-02437934v1
- [115] A. Dolgui, D. Ivanov, S. Potryasaev, B. Sokolov, M. Ivanova, F. Werner. Blockchain-oriented dynamic modelling of smart contract design and execution in the supply chain. In International Journal of Production Research ; éd. Taylor & Francis, 2020, vol. 58, num. 7.https://hal.science/hal-02550104v1
- [116] G. Rigatos, M. Hamida, M. Abbaszadeh. Nonlinear optimal control for the inertia wheel inverted pendulum. In ACM Transactions on Cyber-Physical Systems ; éd. ACM, 2020, vol. 6, num. 2.https://hal.science/hal-02943811v1
- [117] H. Bruneliere, F. Marchand de Kerchove, G. Daniel, S. Madani, D. Kolovos, J. Cabot. Scalable Model Views over Heterogeneous Modeling Technologies and Resources. In Software and Systems Modeling ; éd. Springer Verlag, 2020, vol. 19, num. 4.https://hal.science/hal-02515776v1
- [118] J. Lohéac, T. Takahashi. Controllability of low Reynolds numbers swimmers of ciliate type. In ESAIM: Control, Optimisation and Calculus of Variations ; éd. EDP Sciences, 2020, vol. 26.https://hal.science/hal-01569856v1
- [119] A. Jiménez-Sánchez, A. Kazi, S. Albarqouni, C. Kirchhoff, P. Biberthaler, N. Navab, S. Kirchhoff, D. Mateus. Precise proximal femur fracture classification for interactive training and surgical planning. In International Journal of Computer Assisted Radiology and Surgery ; éd. Springer Verlag, 2020.https://hal.science/hal-02564696v1
- [120] W. Chen, K. Gu, T. Zhao, G. Jiang, P. Le Callet. Semi-Reference Sonar Image Quality Assessment Based on Task and Visual Perception. In IEEE Transactions on Multimedia ; éd. Institute of Electrical and Electronics Engineers, 2020.https://hal.science/hal-02640760v1
- [121] A. Khalifa, O. Kermorgant, S. Dominguez, P. Martinet.