Search - INSA CENTRE VAL DE LOIRE Access content directly

Filter your results

2 963 Results
Domains : info
Image document

Rice's theorem for generic limit sets of cellular automata

Martin Delacourt
AUTOMATA 2021, Jul 2021, Marseille, France
Conference papers hal-03259515v1

A comprehensive evacuation planning model and genetic solution algorithm

Marc Goerigk , Kaouthar Deghdak , Philipp Hessler
Transportation Research Part E: Logistics and Transportation Review, 2014, 71, pp.82-97. ⟨10.1016/j.tre.2014.08.007⟩
Journal articles hal-03064380v1
Image document

Secure Outsourced Data Analytics

Radu Ciucanu
Databases [cs.DB]. Université d'Orléans, 2021
Habilitation à diriger des recherches tel-03256882v1
Image document

Plasma and fluidic jet actuators for circulation control around wind turbulne airfoils

A. Leroy , C. Braud , V. Jaunet , S. Baleriola , Emmanuel Guilmineau , et al.
52nd International Conference of Applied Aerodynamics, AERO 2017, Mar 2017, Lyon, France
Conference papers hal-02570607v1

Observer Design for Nonlinear Dynamical Systems

Driss Boutat , Gang Zheng
2021, 978-3-030-73742-9. ⟨10.1007/978-3-030-73742-9⟩
Books hal-03168869v1
Image document

Extending Atomic Chain Swaps

Jean-Yves Zié , Jean-Christophe Deneuville , Jérémy Briffaut , Benjamin Nguyen
Data Privacy Management, Cryptocurrencies and Blockchain Technology, ESORICS 2019 International Workshops, Sep 2019, Luxembourg, Luxembourg. ⟨10.1007/978-3-030-31500-9_14⟩
Conference papers hal-02570859v1
Image document

Données hétérogènes de mobilités quotidiennes : protocole de diagnostic qualité et d’apurement à partir de la base MOBI’KIDS

Sylvestre Duroudier , Sonia Chardonnel , Boris Mericskay , Isabelle I. André-Poyaud , Olivier Bedel , et al.
Spatial Analysis and GEOmatics, SAGEO, Nov 2019, Clermont-Ferrand, France
Conference papers halshs-02327295v1

Security and Virtualization: a Survey

Patrice Clemente , Jonathan Rouzaud-Cornabas
[Research Report] INSA CVL - Institut National des Sciences Appliquées - Centre Val de Loire; LIFO, Université d'Orléans, INSA Centre Val de Loire. 2011
Reports hal-03226336v1
Image document

A branch-and-check approach for a wind turbine maintenance scheduling problem

Aurélien Froger , Michel Gendreau , Jorge E. Mendoza , Eric Pinson , Louis-Martin Rousseau
Computers and Operations Research, 2017, 88, pp.117-136. ⟨10.1016/j.cor.2017.07.001⟩
Journal articles hal-01617150v1

Probabilistic Epistemic Updates on Algebras

Willem Conradie , Sabine Frittella , Alessandra Palmigiano , Apostolos Tzimoulis , Nachoem Wijnberg
ACM Transactions on Computational Logic, 2019, 20 (4), pp.1-75. ⟨10.1145/3341725⟩
Journal articles hal-02973836v1
Image document

DOING@DEFT : utilisation de lexiques pour une classification efficace de cas cliniques

Nicolas Hiot , Anne-Lyse Minard , Flora Badin
Traitement Automatique des Langues Naturelles, 2021, Lille, France. pp.41-53
Conference papers hal-03265924v1
Image document

The Traveling Analyst Problem: Definition and preliminary study

Alexandre Chanson , Ben Crulis , Nicolas Labroche , Patrick Marcel , Veronika Peralta , et al.
Design, Optimization, Languages and Analytical Processing of Big Data, Mar 2020, Copenhagen, Denmark
Conference papers hal-03001208v1

Un algorithme exponentiel basé sur Inclusion-Exclusion pour la résolution d’un problème d’ordonnancement de type flowshop

Olivier Ploton , Vincent t'Kindt
Congrès annuel de la ROADEF 2020, Feb 2020, Montpellier, France
Conference papers hal-03000960v1

Adversarial bilevel scheduling on a single machine

Federico Della Croce , Vincent t'Kindt
Congrès annuel de la ROADEF 2020, Feb 2020, Montpellier, France
Conference papers hal-03001006v1
Image document

Correctness by construction and style preserving reconfigurations of system of systems

Cédric Eichler , Khalil Drira , Thierry Monteil , Patricia Stolf
SAC 2018: The 33th ACM/SIGAPP Symposium on Applied Computing, Apr 2018, Pau, France. pp.1680-1686
Conference papers hal-02652140v1

Special Issue of the Journal of Logical and Algebraic Methods in Programming on Formal Approaches to Parallel and Distributed Systems 2018

Frédéric Loulergue
Journal of Logical and Algebraic Methods in Programming, 116, Elsevier, pp.100580, 2020, ⟨10.1016/j.jlamp.2020.100580⟩
Special issue hal-03102811v1

Hamming Quasi-Cyclic (HQC)

Carlos Aguilar Melchor , Nicolas Aragon , Slim Bettaieb , Loïc Bidoux , Olivier Blazy , et al.
2017, https://pqc-hqc.org/
Other publications hal-01946880v1

Delegating Elliptic-Curve Operations with Homomorphic Encryption

Carlos Aguilar Melchor , Jean-Christophe Deneuville , Philippe Gaborit , Tancrède Lepoint , Thomas Ricosset
IEEE Conference on Communications and Network Security, May 2018, Pékin, China
Conference papers hal-01946364v1
Image document

Toward performance prediction for Multi-BSP programs in ML

Victor Allombert , Frédéric Gava , Julien Tesson
18th International Conference on Algorithms and Architectures for Parallel Processing (ICA3PP), Nov 2018, Guangzhou, China
Conference papers hal-01941250v2

Production and delivery problem with late departure and tardiness penalties

Hugo Chevroton , Yannick Kergosien , Jean-Charles Billaut
Workshop of the EURO Working Group on Vehicle Routing and Logistics optimization, 2019, Séville, Spain
Conference papers hal-03018110v1

Belief Based on Inconsistent Information

Marta Bílková , Sabine Frittella , Ondrej Majer , Sajad Nazari
Dynamic Logic: New Trends and Applications, Mar 2022, Prague, Czech Republic. pp.68-86, ⟨10.1007/978-3-030-65840-3_5⟩
Conference papers hal-03115256v1
Image document

Seen2Unseen at PARSEME Shared Task 2020: All Roads do not Lead to Unseen Verb-Noun VMWEs

Caroline Pasquer , Agata Savary , Carlos Ramisch , Jean-Yves Antoine
Joint Workshop on Multiword Expressions and Electronic Lexicons (MWE-LZX 2020), 2020, Barcelona, Spain
Conference papers hal-03014867v1

An autonomous Cloud management system for in-depth security.

Aline Bousquet , Jérémy Briffaut , Christian Toinard
Les Rendez-Vous de la Recherche et de l'Enseignement de la Sécurité des Systèmes d'Information (RESSI 2015), May 2015, Troyes, France
Conference papers hal-01191746v1

Exponential-time algorithms for scheduling problems

Mathieu Liedloff , Christophe Lenté , Ameur Soukhal , Vincent t'Kindt
Workshop on Models and Algorithms for Planning and Scheduling Problems (MAPSP 2011), 2011, Nymburk, Czech Republic
Conference papers hal-00943027v1

Scheduling parallel machines with exponential algorithms

Christophe Lenté , Mathieu Liedloff , Ameur Soukhal , Vincent t'Kindt
International Workshop on Approximation, Parameterized and EXact algorithms (APEX 2012), 2012, France
Conference papers hal-00943032v1

Minimisation de la somme pondérée des dates de fin dans un problème de flowshop de permutation sous de multiples contraintes

Nhat Vinh Vinh Vo , Pauline Fouillet , Christophe Lenté
ROADEF - 15ème congrès annuel de la Société française de recherche opérationnelle et d'aide à la décision, Société française de recherche opérationnelle et d'aide à la décision, Feb 2014, Bordeaux, France
Conference papers hal-00946506v1

Routages et réseaux haute performance: évaluation et résilience

Matthieu Pérotin , Antoine Sax , Ameur Soukhal
ROADEF - 15ème congrès annuel de la Société française de recherche opérationnelle et d'aide à la décision, Société française de recherche opérationnelle et d'aide à la décision, Feb 2014, Bordeaux, France
Conference papers hal-00946301v1

Calcul de grands sous-graphes induits à l'aide des séparateurs minimaux et de la logique MSO

Fedor V. Fomin , Ioan Todinca , Yngve Villanger
ROADEF - 15ème congrès annuel de la Société française de recherche opérationnelle et d'aide à la décision, Société française de recherche opérationnelle et d'aide à la décision, Feb 2014, Bordeaux, France
Conference papers hal-00946259v1

Two-agent scheduling problems on parallel machines with makespan and total completion time objective functions

Faiza Sadi , Ameur Soukhal , Jean-Charles Billaut
Information Systems, Logistics and Supply Chain (ILS 2014), Aug 2014, Breda, Netherlands
Conference papers hal-01245903v1

A complete view of the scheduling problem of chemotherapy production with expensive and perishable raw materials

Jean-Charles Billaut , Thibault Drevon , Jean-Francois Tournamille
20th Conference of the International Federation of Operational Research Societies (IFORS’2014), Jul 2014, Barcelone, Spain
Conference papers hal-01245906v1