Archives ouvertes (HAL)

Publications HAL du LIFO

Nombre de publications : 1779

Programmation dynamique exponentielle pour des problèmes d'ordonnancement de type flowshop à 3 machines

Publié en 2016
Type de publication : Communications sans actes
Auteur(s) : Mathieu LIEDLOFF, Lei SHANG, Christophe LENTÉ, Vincent T'KINDT
Recherche de groupes parallèles en classification non-supervisée

Publié en 2016
Type de publication : Publications dans les actes d'un congrès national avec comité de lecture
Auteur(s) : Matthieu EXBRAYAT, Lionel MARTIN, Teddy DEBROUTELLE, Aladine CHETOUANI, Sylvie TREUILLET, Sébastien JESSET
Extraction et Gestion de Connaissances EGC 2016
T-NET, a dynamic model for simulating daily stream temperature at the regional scale based on a network topology.

Publié en 2016
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Emmanuel MELIN, Aurélien BEAUFORT, Florence CURIE, Florentina MOATAR, Agnès DUCHARNE, Dominique THIÉRY
Ethique et risques pour la prise en charge du handicap

Publié en 2016
Type de publication : Publications dans les actes d'un congrès national avec comité de lecture
Auteur(s) : Christian TOINARD, Marie-Elisabeth LABAT
Development of a Decision Support Tool for Additive Manufacturing

Publié en 2016
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Alexandre SCHNEIDER, Jean-François COUTURIER
Risques liés à la planification des emplois du temps pour la prise en charge d’enfants handicapés

Publié en 2016
Type de publication : Publications dans les actes d'un congrès national avec comité de lecture
Auteur(s) : Christian TOINARD, Yannick KERGOSIEN
Gestion des risques Naturels, technologiques et sanitaires (Congrès Envirorisk 2016)
Querying Semantic Graph Databases in View of Constraints and Provenance

Publié en 2016
Type de publication : Autres Publications
Auteur(s) : Jacques CHABIN, Mirian HALFELD-FERRARI, Thanh Binh NGUYEN
PSPACE-completeness of majority automata networks

Publié en 2016
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Eric GOLES CHACC, Pedro MONTEALEGRE, Ville SALO, Ilkka TÖRMÄ
Computing in Perfect Euclidean Frameworks

Publié en 2016
Type de publication : Chapitre d'ouvrages scientifiques
Auteur(s) : Jérôme DURAND-LOSE
Conc2Seq: A Frama-C Plugin for Verification of Parallel Compositions of C Programs

Publié en 2016
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Frédéric LOULERGUE, Allan BLANCHARD, Nikolai KOSMATOV, Matthieu LEMERRE
Private and Scalable Execution of SQL Aggregates on a Secure Decentralized Architecture

Publié en 2016
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Benjamin NGUYEN, Cuong Quoc TO, Philippe PUCHERAL
Experiments on service composition refinement on the basis of preference-driven recommendation

Publié en 2016
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Mirian HALFELD-FERRARI, Sophie ROBERT, Cheikh BA, Thiago CERQUEIRA, Umberto Souza COSTA, Martin A. MUSICANTE
Faster Algorithms to Enumerate Hypergraph Transversals

Publié en 2016
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Manfred COCHEFERT, Jean-François COUTURIER, Serge GASPERS, Dieter KRATSCH
On QoS Web Service Composition Using Satisfiability

Publié en 2015
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Abderrahim AIT WAKRIME, Said JABBOUR
Extension paramétrée de compilateur certifié pour la programmation parallèle

Publié en 2015
Type de publication : Thèse
Auteur(s) : Sylvain DAILLER
Structuration de données par apprentissage non-supervisé : applications aux données textuelles

Publié en 2015
Type de publication : HDR
Auteur(s) : Guillaume CLEUZIOU
Minimum Unsatisfiability Based QoS Web Service Composition over the Cloud Computing

Publié en 2015
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Abderrahim AIT WAKRIME, Said JABBOUR
Une approche par composants pour l'analyse visuelle interactive de résultats issus de simulations numériques

Publié en 2015
Type de publication : Thèse
Auteur(s) : Abderrahim AIT WAKRIME
Enforcing Security and Assurance Properties in Cloud Environment

Publié en 2015
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Jérémy BRIFFAUT, Christian TOINARD, Aline BOUSQUET, Eddy CARON, Eva MARÍA DOMINGUEZ, Javier FRANCO, Arnaud LEFRAY, Oscar LÓPEZ, Saioa ROS, Jonathan ROUZAUD-CORNABAS, Mikel URIARTE
Lorenz, Rössler, ampli-op et calcul analogique

Publié en 2015
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Aurélien ALVAREZ, Bastien LE GLOANNEC, Vivien PELLETIER
Algorithmes exponentiels pour l'étiquetage, la domination et l'ordonnancement

Publié en 2015
Type de publication : HDR
Auteur(s) : Mathieu LIEDLOFF
Application et assurance autonomes de propriétés de sécurité dans un environnement d’informatique en nuage

Publié en 2015
Type de publication : Thèse
Auteur(s) : Aline BOUSQUET
Some undecidable problems about the trace-subshift associated to a Turing machine

Publié en 2015
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Nicolas OLLINGER, Anahí GAJARDO, Rodrigo TORRES-AVILÉS
PARSEME – PARSing and Multiword Expressions within a European multilingual network

Publié en 2015
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Yannick PARMENTIER, Agata SAVARY, Manfred SAILER, Michael ROSNER, Victoria ROSÉN, Adam PRZEPIÓRKOWSKI, Cvetana KRSTEV, Veronika VINCZE, Beata WÓJTOWICZ, Gyri Smørdal LOSNEGAARD, Carla PARRA ESCARTÍN, Jakub WASZCZUK, Mathieu CONSTANT, Petya OSENOVA, Federico SANGATI
Design of privacy preserving cryptographic protocols for mobile contactless services

Publié en 2015
Type de publication : Thèse
Auteur(s) : Ghada ARFAOUI
Directed Louvain : maximizing modularity in directed networks

Publié en 2015
Type de publication : Autres Publications
Auteur(s) : Anthony PEREZ, Nicolas DUGUÉ
Impact of Base Partitions on Multi-objective and Traditional Ensemble Clustering Algorithms

Publié en 2015
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Marcilio PEREIRA DE SOUTO, Jane PIANTONI, Katti FACELI, Tieme SAKATA, Julio PEREIRA
Proc. of the 22nd International Conference on Neural Information Processing (ICONIP2015)
On measuring the complexity of classification problems

Publié en 2015
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Marcilio PEREIRA DE SOUTO, Ana LORENA
Proc. of the 22nd International Conference on Neural Information Processing (ICONIP2015)
TrustedMR: A Trusted MapReduce System based on Tamper Resistance Hardware

Publié en 2015
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Benjamin NGUYEN, Cuong Quoc TO, Philippe PUCHERAL
Relaxation based SaaS for Repairing Failed Queries over the Cloud Computing

Publié en 2015
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Abderrahim AIT WAKRIME, Salima BENBERNOU, Said JABBOUR
GroddDroid: a Gorilla for Triggering Malicious Behaviors

Publié en 2015
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Adrien ABRAHAM, Radoniaina ANDRIATSIMANDEFITRA, Adrien BRUNELAT, Jean-François LALANDE, Valérie VIET TRIEM TONG
TrustedMR : Un système MapReduce de confiance basé sur l'utilisation de matériel sécurisé

Publié en 2015
Type de publication : Communications sans actes
Auteur(s) : Benjamin NGUYEN, Cuong Quoc TO, Philippe PUCHERAL
Over-Approximating Terms Reachable by Context-Sensitive Rewriting

Publié en 2015
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Nirina ANDRIANARIVELO, Pierre RETY
Detecting Real-World Influence Through Twitter

Publié en 2015
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Jean-Valère COSSU, Nicolas DUGUÉ, Vincent LABATUT
Comparison and Validation of Two Parallelization Approaches of FullSWOF_2D Software on a Real Case

Publié en 2015
Type de publication : Chapitre d'ouvrages scientifiques
Auteur(s) : Hélène COULLON, Olivier DELESTRE, Abily MORGAN, Cordier FLORIAN, Gourbesville PHILIPPE
Machines, Computations and Universality (MCU '15)

Publié en 2015
Type de publication : Direction d'ouvrages scientifiques
Auteur(s) : Jérôme DURAND-LOSE, Benedek NAGY
Learning Pretopological Spaces for Lexical Taxonomy Acquisition

Publié en 2015
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Guillaume CLEUZIOU, Gaël DIAS
Constrained Minimum Sum of Squares Clustering by Constraint Programming

Publié en 2015
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Thi-bich-hanh DIEP-DAO, Christel VRAIN, Khanh-Chuong DUONG
A reliable and evolutive web application to detect social capitalists

Publié en 2015
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Anthony PEREZ, Nicolas DUGUÉ, Maximilien DANISCH, Florian BRIDOUX, Amélie DAVIAU, Tennessy KOLUBAKO, Simon MUNIER, Hugo DURBANO
An exponential dynamic programming algorithm for the 3-machine flowshop scheduling problem to minimize the makespan

Publié en 2015
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Mathieu LIEDLOFF, Lei SHANG, Christophe LENTÉ, Vincent T'KINDT
The transitivity problem of Turing machines

Publié en 2015
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Nicolas OLLINGER, Anahí GAJARDO, Rodrigo TORRES-AVILÉS
Practical and Privacy-Preserving TEE Migration

Publié en 2015
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Ghada ARFAOUI, Jean-François LALANDE, Saïd GHAROUT, Jacques TRAORÉ
Lecture Notes in Computer Science
Learning Characteristic Rules in Geographic Information Systems

Publié en 2015
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Christel VRAIN, Ansaf SALLEB-AOUISSI, Daniel CASSARD
Analysis of Human Awareness of Security and Privacy Threats in Smart Environments

Publié en 2015
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Luca CAVIGLIONE, Jean-François LALANDE, Wojciech MAZURCZYK, Steffen WENDZEL
Ontological approach for Data WareHouse design

Publié en 2015
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Aadil BOUCHRA, Abderrahim AIT WAKRIME, Kzaz LARBI, Abderrahim SEKKAKI
On the Fly Reconfiguration of Interactive Scientific Visualization Applications

Publié en 2015
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Sébastien LIMET, Sophie ROBERT, Abderrahim AIT WAKRIME
Contrôle d'accès obligatoire pour systèmes à objets : défense en profondeur des objets Java

Publié en 2015
Type de publication : Thèse
Auteur(s) : Benjamin VENELLE
Algorithmes exacts et exponentiels pour des problèmes de graphes

Publié en 2015
Type de publication : Thèse
Auteur(s) : Romain LETOURNEUR
Towards Automatic Triggering of Android Malware

Publié en 2015
Type de publication : Poster
Auteur(s) : Adrien ABRAHAM, Radoniaina ANDRIATSIMANDEFITRA RATSISAHANANA, Nicolas KISS, Jean-François LALANDE, Valérie VIET TRIEM TONG
Proceedings of the Grammar Engineering Across Frameworks (GEAF) 2015 Workshop

Publié en 2015
Type de publication : Direction d'ouvrages scientifiques
Auteur(s) : Yannick PARMENTIER, Emily BENDER, Lori LEVIN, Stefan MÜLLER, Aarne RANTA

Laboratoire d'Informatique Fondamentale d'Orléans

Laboratoire d'Informatique Fondamentale d'Orléans

Laboratoire d'Informatique Fondamentale d'Orléans

Publications HAL du LIFO

Carte

Informations