Skip to Main content Skip to Navigation

hal-00872333v1  Journal articles
Santiago IturriagaSergio NesmachnowDorronsoro BernabePascal Bouvry. Energy efficient scheduling in heterogeneous systems with a parallel multiobjective local search
Computing and Informatics, Slovak University Press, Bratislava, 2013, 32 (2), pp.273-294
hal-00869553v1  Conference papers
Iyas AlloushYvon KermarrecSiegfried Rouvrais. A generalized model transformation approach to link design models to network simulators: NS-3 case study
SIMULTECH 2013 : the 3rd International Conference on Simulation and Modeling Methodologies, Technologies and Applications, Jul 2013, Rekjavik, Iceland. pp.337 - 344, ⟨10.5220/0004407503370344⟩
hal-00869538v1  Conference papers
Iyas AlloushYvon KermarrecSiegfried Rouvrais. An Automated Tool Selection Method based on Model Transformation: OPNET and NS-3 Case Study
SPECTS 2013 : the 16th International Symposium on Performance Evaluation of Computer and Telecommunication Systems, Jul 2013, Toronto, Canada. pp.10 - 17
hal-00991471v1  Journal articles
Benjamin BachEmmanuel PietrigaIlaria Liccardi. Visualizing Populated Ontologies with OntoTrix
International Journal on Semantic Web and Information Systems, IGI Global, 2013, 9 (4), pp.17-40. ⟨10.4018/ijswis.2013100102⟩
hal-00907510v1  Book sections
Julien Alexandre Dit SandrettoGilles TrombettoniDavid Daney. Confirmation of Hypothesis on Cable Properties for Cable-Driven Robots
Viadero, Fernando; Ceccarelli, Marco. New Trends in Mechanism and Machine Science, Mechanisms and Machine Science (7), Springer Netherlands, pp.85-93, 2013, Theory and Applications in Engineering, 978-94-007-4901-6. ⟨10.1007/978-94-007-4902-3_9⟩
hal-00784892v1  Conference papers
Ganna PugachViacheslav KhomenkoArtem MelnykAlexandre PittiPatrick Henaff et al.  Electronic hardware design of a low cost tactile sensor device for physical Human-Robot Interactions
ELNANO 2013 - 33rd IEEE International Scientific Conference Electronics and Nanotechnology, Apr 2013, Kiev, Ukraine. pp.5, ⟨10.1109/ELNANO.2013.6552033⟩
hal-03165119v1  Conference papers
Razvan ChiticFrédéric GiraudBetty Lemaire-SemailRichard BéaréeMonique Favre et al.  Modeling of an Ultrasonic Powder Transportation System
EPE 2013 - 15th Conference on Power Electronics and Applications, Sep 2013, Lille, France. pp.6, ⟨10.1109/EPE.2013.6634662⟩
hal-00870572v1  Conference papers
Jean-Francois CondottaSouhila Kaci. Compilation de requêtes à préférences en problèmes de contraintes qualitatives
9èmes Journées Francophones de Programmation par Contraintes (JFPC 2013), Jun 2013, Aix-en-Provence, France. pp.85-94
lirmm-00936484v1  Conference papers
Talal RahwanTri-Dung NguyenTomasz P. MichalakMaria PolukarovMadalina Croitoru et al.  Coalitional Games via Network Flows
IJCAI: International Joint Conference on Artificial Intelligence, Aug 2013, Beijing, China. pp.324-331
lirmm-00835197v1  Journal articles
Rallou ThomopoulosMadalina Croitoru. Aide à la décision en ingénierie inverse : une approche s'appuyant sur l'argumentation
Revue des Sciences et Technologies de l'Information - Série RIA : Revue d'Intelligence Artificielle, Lavoisier, 2013, 27 (4-5), pp.493-513. ⟨10.3166/ria.27.493-513⟩
lirmm-00830429v1  Journal articles
Patrice BucheMadalina CroitoruJérôme FortinPatricio MosseNouredine Tamani et al.  Argumentation et négociation pour le choix d'emballages alimentaires biodégradables
Revue des Sciences et Technologies de l'Information - Série RIA : Revue d'Intelligence Artificielle, Lavoisier, 2013, 27 (4/5), pp.515-537. ⟨10.3166/ria.27.515-537⟩
hal-00920178v1  Journal articles
Dimo BrockhoffJohannes BaderLothar ThieleEckart Zitzler. Directed Multiobjective Optimization Based on the Weighted Hypervolume Indicator
Journal of Multi-Criteria Decision Analysis, Wiley, 2013, Special Issue: Evolutionary Multiobjective Optimization: Methodologies and Applications, 20 (5-6), pp.291-317. ⟨10.1002/mcda.1502⟩
hal-01976370v1  Journal articles
Vincent DanosRuss HarmerGlynn Winskel. Constraining rule-based dynamics with types
Mathematical Structures in Computer Science, Cambridge University Press (CUP), 2013, 23 (02), pp.272-289
hal-01976409v1  Journal articles
Oksana SorokinaAnatoly SorokinJ. Douglas ArmstrongVincent Danos. A simulator for spatially extended kappa models
Bioinformatics, Oxford University Press (OUP), 2013, 29 (23), pp.3105-3106. ⟨10.1093/bioinformatics/btt523⟩
hal-02988939v1  Reports
Frédéric CazalsChristian MuellerCharles RobertAndrea Roth. Towards Morse Theory for Point Cloud Data
hal-00999255v1  Journal articles
L. DevendevilleSerge DumontOlivier GoubetSylvain Lefebvre. Algorithms for Constrained Best-fit Alignment
Journal of Informatics and Mathematical Sciences, RGN Publications, 2013, 5 (2), pp.77-100. ⟨10.26713/jims.v5i2.180⟩
hal-00909072v3  Journal articles
Diogo SampaioRafael de SouzaCaroline CollangeFernando Magno Quintão Pereira. Divergence Analysis
ACM Transactions on Programming Languages and Systems (TOPLAS), ACM, 2013, 35 (4), pp.13:1-13:36. ⟨10.1145/2523815⟩
hal-01894253v1  Conference papers
Sylvain MalacriaGilles BaillyJoel HarrisonAndy CockburnCarl Gutwin. Promoting Hotkey Use through Rehearsal with ExposeHK
Proceedings of the ACM Conference on Human Factors in Computing Systems (CHI 2013), Apr 2013, Paris, France. pp.573-582, ⟨10.1145/2470654.2470735⟩
hal-00925748v1  Conference papers
Louis BigoJean-Louis GiavittoMoreno AndreattaOlivier MichelAntoine Spicher. Computation and Visualization of Musical Structures in Chord-Based Simplicial Complexes
MCM 2013 - 4th International Conference Mathematics and Computation in Music, Jun 2013, Montreal, Canada. pp.38-51, ⟨10.1007/978-3-642-39357-0_3⟩
lirmm-00764985v1  Book sections
Patrice BucheSébastien DesterckeValérie GuillardOllivier HaemmerléRallou Thomopoulos. Flexible bipolar querying of uncertain data using an ontology
Flexible Approaches in Data, Information and Knowledge Management, 467, Springer, pp.165-188, 2013, Studies in Computational Intelligence, 978-3-319-00953-7. ⟨10.1007/978-3-319-00954-4_8⟩
hal-00913155v1  Conference papers
Anthony BretaudeauOlivier DameronFabrice LegeaiYvan Rahbé. AphidAtlas : avancées récentes
BAPOA 2013 MOP, Oct 2013, Montpellier, France
hal-00750148v1  Journal articles
Bastien BoussauGergely J SzöllosiLaurent DuretManolo GouyEric Tannier et al.  Genome-scale coestimation of species and gene trees.
Genome Research, Cold Spring Harbor Laboratory Press, 2013, 23 (2), pp.323-330. ⟨10.1101/gr.141978.112⟩