Archives ouvertes (HAL)

Publications HAL du LIFO

Nombre de publications : 1575

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)
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)
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
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
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
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
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
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
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
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
Algorithmes exacts et exponentiels pour des problèmes de graphes
Publié en 2015
Type de publication : Thèse
Auteur(s) : Romain LETOURNEUR
Proceedings of the Grammar Engineering Across Frameworks (GEAF) 2015 Workshop
Publié en 2015
Type de publication : Direction d'ouvrages scientifiques
Auteur(s) : Emily BENDER, Lori LEVIN, Stefan MÜLLER, Yannick PARMENTIER, Aarne RANTA
Cloud Resources Placement Based on Functional and Non-Functional Requirements
Publié en 2015
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Patrice CLEMENTE, Frédéric LOULERGUE, Pascal BERTHOME, Asma GUESMI
Analyse du capitalisme social sur Twitter
Publié en 2015
Type de publication : Thèse
Auteur(s) : Nicolas DUGUÉ
Microarchitecture-Aware Virtual Machine Placement under Information Leakage Constraints
Publié en 2015
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Christian TOINARD, Arnaud LEFRAY, Eddy CARON, Jonathan ROUZAUD-CORNABAS
Clustering conceptuel et relationnel en programmation par contraintes
Publié en 2015
Type de publication : Publications dans les actes d'un congrès national avec comité de lecture
Auteur(s) : Thi-Bich-Hanh DIEP-DAO, Willy LESAINT, Christel VRAIN
Clustering avec la minimisation de la somme des carrés par la programmation par contraintes
Publié en 2015
Type de publication : Publications dans les actes d'un congrès national avec comité de lecture
Auteur(s) : Thi-Bich-Hanh DIEP-DAO, Christel VRAIN, Khanh-Chuong DUONG
A case study on formal verification of the anaxagoros hypervisor paging system with frama-C
Publié en 2015
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Frédéric LOULERGUE, Allan BLANCHARD, N. KOSMATOV, M. LEMERRE
A Practical Set-Membership Proof for Privacy-Preserving NFC Mobile Ticketing
Publié en 2015
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Pascal BERTHOME, Saïd GHAROUT, Ghada ARFAOUI, Jean-François LALANDE, Jacques TRAORÉ, Nicolas DESMOULINS
Beyond classes of graphs with “few” minimal separators : FPT results through potential maximal cliques
Publié en 2015
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Mathieu LIEDLOFF, Ioan TODINCA, Pedro MONTEALEGRE
Etude de faisabilité d'une reconnaissance automatique de motifs céramiques archéologiques par analyse d'images 2D et 3D
Publié en 2015
Type de publication : Publications dans les actes d'un congrès national avec comité de lecture
Auteur(s) : Matthieu EXBRAYAT, Romain JANVIER, Teddy DEBROUTELLE, Aladine CHETOUANI, Sylvie TREUILLET, Sébastien JESSET, Lionel MARTIN
Introducing Freezing Cellular Automata
Publié en 2015
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Nicolas OLLINGER, Eric GOLES, Guillaume THEYSSIER
The simultaneous number-in-hand communication model on graphs: private coins, public coins and determinism
Publié en 2015
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Florent BECKER, Ioan TODINCA, Pedro MONTEALEGRE, Ivan RAPAPORT
Towards Scalability and Data Skew Handling in GroupBy-Joins using MapReduce Model
Publié en 2015
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Mostafa BAMHA, Mohamad AL HAJJ HASSAN
International Conference on Computational Science (ICCS'2015)
An Autonomic Cloud Management System for Enforcing Security and Assurance Properties
Publié en 2015
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Laurent BOBELIN, Jérémy BRIFFAUT, Aline BOUSQUET
End-Vertices of Graph Search Algorithms
Publié en 2015
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Mathieu LIEDLOFF, Dieter KRATSCH, Daniel MEISTER
Kharon : Découvrir, comprendre et reconnaître des malware Android par suivi de flux d'information
Publié en 2015
Type de publication : Communications sans actes
Auteur(s) : Radoniaina ANDRIATSIMANDEFITRA RATSISAHANANA, Thomas GENET, Laurent GUILLO, Jean-François LALANDE, David PICHARDIE, Valérie VIET TRIEM TONG
ANR LYRICS: Cryptographie pour la protection de la vie privée, optimisée pour les services mobiles sans contact
Publié en 2015
Type de publication : Communications sans actes
Auteur(s) : Sébastien GAMBS, Jean-François LALANDE, Jacques TRAORÉ
A community role approach to assess social capitalists visibility in the Twitter network
Publié en 2015
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Anthony PEREZ, Nicolas DUGUÉ, Vincent LABATUT
High-level methodologies for grammar engineering. Introduction to the special issue
Publié en 2015
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Denys DUCHIER, Yannick PARMENTIER
Managing Personal Data with Strong Privacy Guarantees. Tutoriel
Publié en 2015
Type de publication : Communications sans actes
Auteur(s) : Nicolas ANCIAUX, Benjamin NGUYEN
An autonomous Cloud management system for in-depth security.
Publié en 2015
Type de publication : Communications sans actes
Auteur(s) : Jérémy BRIFFAUT, Christian TOINARD, Aline BOUSQUET
Nested atomic sections with thread escape: Compilation to threads and locks
Publié en 2015
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Frédéric DABROWSKI, Frédéric LOULERGUE, Thomas PINSARD
Gestion sécurisée de données personnelles
Publié en 2015
Type de publication : Revue nationale à comité de lecture
Auteur(s) : Nicolas ANCIAUX, Benjamin NGUYEN
Informatique Mathématique
Publié en 2015
Type de publication : Direction d'ouvrages scientifiques
Auteur(s) : Nicolas OLLINGER
Sécurité Android: exemples de malware
Publié en 2015
Type de publication : Conférence donnée sur invitation
Auteur(s) : Jean-François LALANDE
Scalability and Optimisation of GroupBy-Joins in MapReduce Scalability and Optimisation of GroupBy-Joins in MapReduce
Publié en 2015
Type de publication : Autres Publications
Auteur(s) : Mostafa BAMHA, Mohamad AL HAJJ HASSAN
The SIPSim implicit parallelism model and the SkelGIS library
Publié en 2015
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Sébastien LIMET, Hélène COULLON

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