Skip to Main content Skip to Navigation


hal-03384513v1  Conference papers
François ClautiauxSaid HanafiRita MacedoMarie-Emilie VogeCláudio Alves. Iterative aggregation and disaggregation algorithm for pseudo-polynomial network flow models with side constraints
ISCO 2016, International Symposium on Combinatorial Optimization, May 2016, Vietri sul Mare, Italy. pp.467-477
...
hal-03373060v1  Book sections
Geoffroy CouteauThomas PetersDavid Pointcheval. Secure Distributed Computation on Private Inputs
Foundations and Practice of Security, 9482, Springer International Publishing, pp.14-26, 2016, Lecture Notes in Computer Science, ⟨10.1007/978-3-319-30303-1_2⟩
hal-03360809v1  Book sections
Bunjamin MemishiShadi IbrahimMaría PérezGabriel Antoniu. Fault Tolerance in MapReduce: A Survey
Resource Management for Big Data Platforms, Springer International Publishing, pp.205-240, 2016, Computer Communications and Networks, ⟨10.1007/978-3-319-44881-7_11⟩
...
hal-01334934v1  Book sections
Mathieu GroussinVincent DaubinEric TannierManolo Gouy. Ancestral Reconstruction: Theory and Practice
Richard M. Kliman. Encyclopedia of Evolutionary Biology, Elsevier, pp.70-77, 2016, ⟨10.1016/B978-0-12-800049-6.00166-9⟩
...
hal-01355249v1  Conference papers
Christopher JankeeSébastien VerelBilel DerbelCyril Fonlupt. A Fitness Cloud Model for Adaptive Metaheuristic Selection Methods
14th International Conference on Parallel Problem Solving from Nature (PPSN2016), Sep 2016, Edinburgh, United Kingdom. pp.80-90, ⟨10.1007/978-3-319-45823-6_8⟩
...
hal-03313313v1  Conference papers
Mathias BraunOlivier PillerAngelo IolloIraj MortazaviJochen Deuerlein. Uncertainty Analysis toward confidence limits to hydraulic state predictions in Water Distribution Networks
iEMSs 2016 - 8th International Congress on Environmental Modelling and Software, Jul 2016, Toulouse, France
...
hal-03299707v1  Conference papers
Salem BenferhatZied BouraouiMadalina CroitoruOdile PapiniKarim Tabia. Non-Objection Inference for Inconsistency-Tolerant Query Answering
25th International Joint Conference on Artificial Intelligence (IJCAI 2016), Jul 2016, New York, United States. pp.3684-3690
hal-03300754v1  Conference papers
Anicet BartFrédéric KoricheJean-Marie LagniezPierre Marquis. Un schéma d'encodage propositionnel pour l'inférence probabiliste à partir de modèles graphiques
10èmes Journées de l'Intelligence Artificielle Fondamentale (IAF'16), 2016, Montpellier, France
hal-03300748v1  Conference papers
Anicet BartFrédéric KoricheJean-Marie LagniezPierre Marquis. An Improved CNF Encoding Scheme for Probabilistic Inference
22nd European Conference on Artificial Intelligence (ECAI'16), 2016, La Hague, Netherlands. pp.613-621
...
tel-03256970v1  Habilitation à diriger des recherches
Imine Abdessamad. Partage de Données dans les Systèmes Collaboratifs : De la Synchronisation à la Protection des Données
Calcul parallèle, distribué et partagé [cs.DC]. Université de Lorraine, 2016
...
hal-01379245v1  Journal articles
Eric BadouelChristophe MorvanLoïc Hélouët. Petri Nets with Structured Data
Fundamenta Informaticae, Polskie Towarzystwo Matematyczne, 2016, Application and Theory of Petri Nets and Other Models of Concurrency: Special Issue of Selected Papers from Petri Nets 2015, 146 (1), pp.35-82. ⟨10.3233/FI-2016-1375⟩
hal-03238843v1  Conference papers
Marharyta AleksandrovaArmelle BrunOleg ChertovAnne Boyer. Sets of contrasting rules : a supervised descriptive rule induction pattern for identification of trigger factors
Proceedings of the annual IEEE International Conference on Tools with Artificial Intelligence (ICTAI), Nov 2016, San Jose, United States. ⟨10.1109/ICTAI.2016.0072⟩
...
hal-03198381v1  Conference papers
Rémi NazinDidier FassBastien Christian. Human Machine : From Interaction to Integration
Joint Life Science Meeting ‘Life in Space for Life on Earth’ - 14th European Life Sciences Symposium - 37th Annual International Gravitational Physiology Meeting, CNES, ISGP and ESA, Jun 2016, Toulouse, France
...
hal-03198362v1  Conference papers
Didier FassDominique Méry. Modelling bio-compatible and bio-integrative medical devices
European & Asian System, Software & Service Process Improvement & Innovation - EUROSPII 2016, Sep 2016, Graz, Austria
...
hal-01420670v1  Conference papers
Mathieu NancelDaniel VogelBruno de AraujoRicardo JotaGéry Casiez. Next-Point Prediction Metrics for Perceived Spatial Errors
In proceedings of UIST'16, the 29th ACM Symposium on User Interface Software and Technology, Oct 2016, Tokyo, Japan. pp.271-285, ⟨10.1145/2984511.2984590⟩
hal-03181624v1  Journal articles
Jean-Charles LamirelPascal CuxacKafil Hajlaoui. A new approach for feature selection based on quality metric
Advances in Knowledge Discovery and Management (AKDM), 2016
...
tel-03180395v1  Habilitation à diriger des recherches
Dmitry Sokolov. Modélisation géométrique
Computational Geometry [cs.CG]. Université de Lorraine (UL), Vandoeuvre-lès-Nancy, FRA., 2016
hal-03180030v1  Conference papers
Jean-Charles Lamirel. Managing Very Large and Highly Multidimensional Data Collections Mining Ad-Hoc Metrics and Related Statistics
XII IEEE Latin American Summer School on Computational Intelligence - EVIC 2016, Dec 2016, Santiago, Chile
hal-03179681v1  Conference papers
Jean-Charles Lamirel. Vers une interprétation diachronique du contenu de corpus de données numériques multi-sources : application à l´étude de l´évolution des données scientifiques en ligne
CIDE 19 - 19ème Colloque International sur le Document Électronique 24-26 Novembre 2016, Nov 2016, Athènes, Grèce
hal-03179679v1  Conference papers
Jean-Charles Lamirel. Reliable clustering indexes
IEA-AIE 2016 The 29th International Conference on Industrial, Engineering & Other Applications of Applied Intelligent Systems, Aug 2016, Morioka, Japan
hal-03179664v1  Conference papers
Jean-Charles Lamirel. Visualization for the detection of changes in corpora of scientific papers
LIPS 2016 - 5th Library and Information Professional Summit – (LIPS 2016) on “From Ownership to Access: Leveraging the Digital Paradigm”, May 2016, Delhi, India
...
hal-03178819v1  Conference papers
Guillaume BonfanteJulien Oury--Nogues. Function classification for the retro-engineering of malwares
9th International Symposium Foundations and Practice of Security, Oct 2016, Quebec, Canada
hal-03176418v1  Conference papers
Érik Martin-DorelGuillaume Melquiond. Proving Tight Bounds on Univariate Expressions with Elementary Functions in Coq (Journées FAC 2016)
Journées Formalisation des Activités Concurrentes (FAC 2016), Groupe IFSE du RTRA STAE (Réseau Thématique de Recherche Avancée « Sciences et Technologies pour l’Aéronautique et l’Espace » de Toulouse), Mar 2016, Toulouse, France
...
lirmm-03172920v1  Conference papers
Abdallah AriouaPatrice BucheMadalina Croitoru. Explanation Dialogues in the Service of Durum Wheat Sustainability Improvement
4ième édition Atelier IN-OVIVE, Jun 2016, Montpellier, France
hal-03168033v1  Journal articles
Bernardetta AddisGiuliana CarelloSara Mattia. Energy-aware survivable networks
Electronic Notes in Discrete Mathematics, Elsevier, 2016, 52, pp.133-140. ⟨10.1016/j.endm.2016.03.018⟩
...
hal-03159069v1  Conference papers
Hans DitmarschDavide GrossiAndreas HerzigWiebe van der HoekLouwe B. Kuijer. Parameters for Epistemic Gossip Problems
LOFT 2016 - 12th Conference on Logic and the Foundations of Game and Decision Theory, Jul 2016, Maastricht, Netherlands
...
hal-03155047v1  Conference papers
Farouk MezghaniRiadh DhaouMichele NogueiraAndré-Luc Beylot. Offloading Cellular Networks Through V2V Communications - How to Select the Seed-Vehicles?
IEEE International Conference on Communications (ICC 2016), May 2016, Kuala Lampur, Malaysia. pp.1--6, ⟨10.1109/ICC.2016.7511125⟩
...
hal-03155070v1  Conference papers
Pierre BisquertMadalina CroitoruFlorence Dupin de Saint Cyr - BannayAbdelraouf Hecham. Towards an Understanding of Human Persuasion and Biases in Argumentation (CAF 2016)
Cardiff Argumentation Forum (CAF 2016), Federico Cerutti (School of Computer Science & Informatis at Cardiff University); Francesca Toni (Department of Computing at Imperial College London), Jul 2016, Cardiff, United Kingdom
hal-03155045v1  Conference papers
Érik Martin-DorelGuillaume Melquiond. CoqInterval: A Toolbox for Proving Non-linear Univariate Inequalities in Coq
MAP 2016 conference on Effective Analysis: Foundations, Implementations, Certification, Jan 2016, Marseille, France
...
hal-02426812v1  Conference papers
Simon HollandAndrew McphersonWendy E. MackayMarcelo WanderleyMichael Gurevich et al.  Music and HCI
Extended Abstracts of the 2016 CHI Conference on Human Factors in Computing Systems, May 2016, San Jose, United States. pp.3339-3346, ⟨10.1145/2851581.2856479⟩
...
tel-01430501v2  Theses
Marwa Sridi. Un modèle de structure de données Cache-aware pour un parallélisme et un équilibrage dynamique de la charge
Calcul parallèle, distribué et partagé [cs.DC]. Université Grenoble Alpes, 2016. Français. ⟨NNT : 2016GREAM095⟩
...
tel-03113895v1  Habilitation à diriger des recherches
Didier Fass. L'homme augmenté : Épistémologie et bio-ingénierie de l'humain machine
Life Sciences [q-bio]. Université de Lorraine, 2016
...
hal-01626468v1  Conference papers
Luca MaggianiLobna Ben KhelifaJean-Charles QuintonMatteo PetraccaPaolo Pagano et al.  Distributed coordination model for smart sensing applications
10th International Conference on Distributed Smart Camera (ICDSC '16), Sep 2016, Paris, France. pp.110-115, ⟨10.1145/2967413.2967438⟩
...
hal-03012539v1  Book sections
Dietmar JannachGeoffray Bonnin. Music Recommendation
Music Data Analysis: Foundations and Applications, 2016
...
hal-03007196v1  Journal articles
Ross KangFranÇois Pirot. Coloring Powers and Girth
SIAM Journal on Discrete Mathematics, Society for Industrial and Applied Mathematics, 2016, 30 (4), pp.1938 - 1949. ⟨10.1137/15m1035422⟩
...
hal-01246680v1  Conference papers
Hana KricheneMouna BakloutiMohamed AbidPhilippe MarquetJean-Luc Dekeyser et al.  SCAC-Net: Reconfigurable Interconnection Network in SCAC Massively parallel SoC
PDP 2016 - 24th Euromicro International Conference on Parallel, Distributed and Network-Based Processing, Feb 2016, Héraklion, Greece. pp.759-762, ⟨10.1109/PDP.2016.94⟩
hal-02980943v1  Journal articles
Jean-René CourtaultDidier GalmicheDavid Pym. A Logic of Separating Modalities
Theoretical Computer Science, Elsevier, 2016, 637 (1), pp.30-58. ⟨10.1016/j.tcs.2016.04.040⟩
...
hal-01267607v1  Conference papers
Alix GogueyMathieu NancelGéry CasiezDaniel Vogel. The Performance and Preference of Different Fingers and Chords for Pointing, Dragging, and Object Transformation
In Proceedings of CHI'16, the 34th Conference on Human Factors in Computing Systems, May 2016, San Jose, United States. pp.4250-4261, ⟨10.1145/2858036.2858194⟩
...
hal-01345070v2  Conference papers
Caroline Collange. Un processeur SIMT généraliste synthétisable
Compas 2016 - Conférence d’informatique en Parallélisme, Architecture et Système, Jul 2016, Lorient, France
...
hal-01351689v2  Reports
Caroline Collange. Simty: a Synthesizable General-Purpose SIMT Processor
[Research Report] RR-8944, Inria Rennes Bretagne Atlantique. 2016
hal-02930771v1  Journal articles
William Correa BeltranHenri PradeGilles Richard. Constructive Solving of Raven's IQ Tests with Analogical Proportions
International Journal of Intelligent Systems, Wiley, 2016, 31 (11), pp.1072-1103. ⟨10.1002/int.21817⟩
hal-02912251v1  Books
Israël-César Lerman. Foundations and Methods in Combinatorial and Statistical Data Analysis and Clustering
Springer-Verlag London, 2016, Advanced Information and Knowledge Processing, 978-1-4471-6791-4
...
hal-01476234v2  Journal articles
Guillaume Aucher. Displaying Updates in Logic
Journal of Logic and Computation, Oxford University Press (OUP), 2016, 26 (6), pp.1865-1912. ⟨10.1093/logcom/exw001⟩
...
hal-01152231v2  Journal articles
Florian RichouxAlberto UriarteJean-François Baffier. GHOST: A Combinatorial Optimization Solver for RTS-related Problems
IEEE Transactions on Computational Intelligence and AI in games, IEEE Computational Intelligence Society, 2016, ⟨10.1109/TCIAIG.2016.2573199⟩
...
hal-02378513v1  Conference papers
Stanislav AranovskiyAlexey BobtsovRomeo OrtegaAnton Pyrkin. Parameters Estimation via Dynamic Regressor Extension and Mixing
American Control Conference (ACC), Jul 2016, Boston, United States
...
hal-02868211v1  Conference papers
Lesley DuflotAlexandre KrupaBrahim TamadazteNicolas Andreff. Towards Ultrasound-based Visual Servoing using Shearlet Coefficients.
International Conference on Robotics and Automation, May 2016, Stockolm, Sweden
...
hal-02868060v1  Conference papers
Salvador MartínezValerio CosentinoJordi Cabot. Model-based Analysis of Java EE Web Security Configurations
2016 IEEE/ACM 8th International Workshop on Modeling in Software Engineering (MiSE), May 2016, Austin, Texas, United States. ⟨10.1145/2896982.2896986⟩
...
hal-02864664v1  Conference papers
Salvador MartínezJokin GarciaJordi Cabot. Runtime support for rule-based access-control evaluation through model-transformation
the 2016 ACM SIGPLAN International Conference, Oct 2016, Amsterdam, Netherlands. pp.57-69, ⟨10.1145/2997364.2997375⟩
hal-02797440v1  Conference papers
Marjorie HaondLudovic MailleretThibaut Morel JournelLionel RoquesElodie Vercken. Habitat quality and the velocity of spatial population expansion
Emerging Trends in Applied Mathematics and Mechanics (ETAMM 2016), Université de Perpignan Via Domitia (UPVD). FRA., May 2016, Perpignan, France
...
hal-01398291v1  Conference papers
Pierre FerniqueAnaëlle DambrevilleJean-Baptiste DurandChristophe PradalPierre-Éric Lauri et al.  Characterization of mango tree patchiness using a tree-segmentation/clustering approach
2016 IEEE International Conference on Functional-Structural Plant Growth Modeling, Simulation, Visualization and Applications (FSPMA 2016), Nov 2016, Qingdao, China. pp.68-74, ⟨10.1109/FSPMA.2016.7818290⟩
...
hal-01413531v1  Conference papers
Caroline BaroukhJean-Philippe SteyerOlvier BernardBenoit Chachuat. Dynamic Flux Balance Analysis of the Metabolism of Microalgae under a Diurnal Light Cycle
DYCOPS-CAB 2016 - 11th IFAC Symposium on Dynamics and Control of Process Systems, Including Biosystems DYCOPS-CAB 2016, International Federation of Automatic Control (IFAC). AUT., Jun 2016, Trondheim, Norway. pp.791 - 796, ⟨10.1016/j.ifacol.2016.07.285⟩
...
lirmm-01333368v1  Conference papers
Abdallah AriouaMadalina Croitoru. A Dialectical Proof Theory for Universal Acceptance in Coherent Logic-based Argumentation Frameworks
ECAI : European Conference on Artificial Intelligence, Aug 2016, The Hague, Netherlands. pp.55-63, ⟨10.3233/978-1-61499-672-9-55⟩
...
hal-01837481v1  Poster communications
Rallou ThomopoulosLaurent BedoussacBernard Moulin. Evaluating cereal-legume intercrops towards sole crops by combining argumentation and simulation
2. International Legume Society Conference (ILS2), Oct 2016, Troia, Portugal. 358 p., 2016, Second International Legume Society Conference. Legumes for a sustainable world
...
hal-02738990v1  Conference papers
Marjorie HaondLudovic MailleretThibaut Morel JournelLionel RoquesElodie Vercken. Habitat quality and the velocity of spatial population expansion
10. Models in Population Dynamics and Ecology (CMPDE 16), Aix Marseille Université (AMU). Marseille, FRA., Sep 2016, Marseille, France
...
hal-01426772v1  Journal articles
Frédéric RimetPhilippe ChaumeilFrançois KeckLenaïg KermarrecValentin Vasselon et al.  R-Syst::diatom: an open-access and curated barcode database for diatoms and freshwater monitoring
Database - The journal of Biological Databases and Curation, Oxford University Press, 2016, 2016, pp.baw016. ⟨10.1093/database/baw016⟩
...
hal-01400682v1  Conference papers
M. FerociE. BozzoS. BrandtM. HernanzM. van der Klis et al.  The LOFT mission concept: a status update
2016SPIE.9905E.1RF - Proceedings of the SPIE, Space Telescopes and Instrumentation 2016: Ultraviolet to Gamma Ray - Volume 9905, id. 99051R 20 pp. (2016), held 30-06 au 01-07-2016 in Edimbourg - Ecosse, Jun 2016, Edinburgh, United Kingdom. ⟨10.1117/12.2233161⟩
...
hal-02571888v1  Conference papers
Thierry MefenzaDamien Vergnaud. Distribution and Polynomial Interpolation of the Dodis-Yampolskiy Pseudo-Random Function
Arithmetic of Finite Fields - 6th International Workshop, WAIFI 2016, Jul 2016, Ghent, Belgium. pp.125-140, ⟨10.1007/978-3-319-55227-9_10⟩
...
hal-01379249v1  Conference papers
Dahmun GoudarziMatthieu RivainDamien Vergnaud. Lattice Attacks against Elliptic-Curve Signatures with Blinded Scalar Multiplication
Selected Areas in Cryptography - SAC 2016, Aug 2016, St. John’s, Canada
hal-02570270v1  Conference papers
Cristiane LanaNilton SouzaMarcio DelamaroElisa NakagawaFlavio Oquendo et al.  Systems-of-systems development: Initiatives, trends, and challenges
XLII Latin American Computing Conference (CLEI 2016), Oct 2016, Valparaíso, Chile. pp.1-12, ⟨10.1109/CLEI.2016.7833329⟩
...
hal-01609101v1  Conference papers
Fabrice TheoleyreGeorgios Papadopoulos. Experimental Validation of a Distributed Self-Configured 6TiSCH with Traffic Isolation in Low Power Lossy Networks
MSWiM 2016 : 19th ACM International Conference on Modeling, Analysis and Simulation of Wireless and Mobile Systems, Nov 2016, Malta, Malta. ⟨10.1145/2988287.2989133⟩
...
hal-01575802v1  Journal articles
Richard CombesHabib SidiSalah Eddine Elayoubi. Multipath streaming: fundamental limits and efficient algorithms
IEEE Journal on Selected Areas in Communications, Institute of Electrical and Electronics Engineers, 2016, 35 (1), pp.188 - 199. ⟨10.1109/jsac.2016.2633065⟩
...
hal-02535026v1  Journal articles
Pingping WuHong LiuXiaofei LiTing FanXuewu Zhang. A Novel Lip Descriptor for Audio-Visual Keyword Spotting Based on Adaptive Decision Fusion
IEEE Transactions on Multimedia, Institute of Electrical and Electronics Engineers, 2016, 18 (3), pp.326-338. ⟨10.1109/TMM.2016.2520091⟩
hal-02533444v1  Conference papers
Maxime Audinot. On the Soundness of Attack Trees
Graphical Models for Security, Jun 2016, Lisbon, Portugal
...
hal-01370046v1  Conference papers
Siegfried RouvraisHaraldur AndunssonIngunn SoemundsdottirGabrielle LandracClaire Lassudrie. Pairwise Collaborative Quality Enhancement: Experience of Two Engineering Programmes in Iceland and France
CDIO 2016 : 12th International Conference: Enhancing Innovation Competencies through advances in engineering education, Jun 2016, Turku, Finland. pp.186 - 195
...
hal-01573838v1  Conference papers
Siegfried RouvraisSophie Gaultier Le Bris. Breadth Experiential Courses to Meet Programme Outcomes for Engineers
WEEF & GEDC 2016 : 6th World Engineering Education Forum & The Global Engineering Deans Council, Nov 2016, Seoul, South Korea. pp.326 - 342