Skip to Main content Skip to Navigation


hal-00868244v1  Journal articles
Matti JarvisaloDaniel Le BerreOlivier RousselLaurent Simon. The International SAT Solver Competitions
AI magazine, Association for the Advancement of Artificial Intelligence, 2012, 1 (33), pp.89-94. ⟨10.1609/aimag.v33i1.2395⟩
...
tel-00717444v1  Theses
Joel Falcou. Un cluster pour la vision temps réel : architecture, outils et application
Génie des procédés. Université Blaise Pascal - Clermont-Ferrand II, 2006. Français. ⟨NNT : 2006CLF21701⟩
...
hal-00988209v1  Journal articles
Janusz AdamusLech Adamus. Ore and Erdős type conditions for long cycles in balanced bipartite graphs
Discrete Mathematics and Theoretical Computer Science, DMTCS, 2009, 11 (2), pp.57--69
hal-00857041v1  Journal articles
Pierre FraigniaudSerge MiguetYves Robert. Scattering on on a ring of processors
Parallel Computing, Elsevier, 1990, 13, pp.377-383
ensl-00738542v1  Conference papers
Arkadev ChattopadhyayBruno GrenetPascal KoiranNatacha PortierYann Strozecki. Factoring bivariate lacunary polynomials without heights
38th International Symposium on Symbolic and Algebraic Computation, ACM, Boston, United States. p 141-148, ⟨10.1145/2465506.2465932⟩
hal-00857046v1  Conference papers
Pierre FraigniaudSerge MiguetYves Robert. Complexity of scattering on a ring of processors
5-th Distributed Memory Computing Conference, 1990, Unknown, pp.1343-1347
...
hal-00542185v1  Conference papers
Cyril BanderierPierre Nicodeme. Bounded Discrete Walks
AofA2010 - Conference on Analysis of Algorithms 2010, Jun 2010, Vienna, Austria. pp.35-48
hal-00789145v1  Conference papers
Meghyn BienvenuMagdalena OrtizMantas Simkus. Answering Expressive Path Queries over Lightweight DL Knowledge Bases
25th International Workshop on Description Logics, Jun 2012, Italy
hal-00947533v1  Conference papers
Meghyn BienvenuMagdalena OrtizMantas SimkusGuohui Xiao. Tractable Queries for Lightweight Description Logics
International Joint Conference on Artificial Intelligence (IJCAI), Aug 2013, China. pp.768-774
hal-00947534v1  Conference papers
Meghyn BienvenuMagdalena OrtizMantas Simkus. Conjunctive Regular Path Queries in Lightweight Description Logics
International Joint Conference on Artificial Intelligence (IJCAI), Aug 2013, China. pp.761-767
hal-00829116v1  Conference papers
Reza NaserasrEdita RollovaEric Sopena. Homomorphisms of signed bipartite graphs
European Conference on Combinatorics, Graph Theory and Applications - Eurocomb 2013, Sep 2013, Pisa, Italy. pp.1-5
hal-00946414v1  Conference papers
Pablo AdasmeAbdel LisserChen WangIsmael Soto. Scheduling in wireless OFDMA-TDMA networks using variable neighborhood search metaheuristic
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
hal-00960100v1  Conference papers
Belarmino NuñezPablo AdasmeAbdel LisserIsmael Soto. Robust Optimization for Stochastic Wireless CDMA/TDMA Networks
International Multi-Conference on Computing in the Global Information Technology (ICCGI 2013), Jul 2013, Nice, France. cd-rom, 6 p
hal-01116269v1  Conference papers
Andrea AraldoD. RossiFabio Martignon. Design and Evaluation of Cost-aware Information Centric Routers
ACM SIGCOMM Conference on Information-Centric Networking (ICN-2014), Sep 2014, Paris, France. pp.147-156
hal-01300712v1  Directions of work or proceedings
Stephane DoncieuxNicolas BredecheJean-Baptiste Mouret. New Horizons in Evolutionary Robotics: Extended Contributions from the 2009 EvoDeRob Workshop
France. 341, Springer, 2011, Studies in Computational Intelligence, 978-3-642-18271-6. ⟨10.1007/978-3-642-18272-3⟩
...
inria-00566896v1  Book sections
Stephane DoncieuxJean-Baptiste MouretNicolas BredecheVincent Padois. Evolutionary Robotics: Exploring New Horizons
Springer Series: Studies in Computational Intelligence. New Horizons in Evolutionary Robotics, Springer, pp.3-25, 2011
hal-00947531v1  Conference papers
Meghyn BienvenuRiccardo Rosati. Tractable Approximations of Consistent Query Answering for Robust Ontology-based Data Access
International Joint Conference on Artificial Intelligence (IJCAI), Aug 2013, China. pp.775-782
...
hal-00708580v2  Conference papers
Philippe RinaudoYann PontyDominique BarthAlain Denise. Tree decomposition and parameterized algorithms for RNA structure-sequence alignment including tertiary interactions and pseudoknots
WABI - 12th Workshop on Algorithms in Bioinformatics - 2012, University of Ljubljana, Sep 2012, Ljubljana, Slovenia
hal-00759573v1  Journal articles
Alain DenisePhilippe Rinaudo. Optimisation problems for pairwise RNA sequence and structure comparison: a brief survey
Transactions on Computational Collective Intelligence, Springer, 2014, 13, pp.70-82. ⟨10.1007/978-3-642-54455-2_3⟩
hal-00756345v1  Conference papers
Fabrice JossinetAlexis LamiablePhilippe RinaudoLiza Al-ShikhleyFranck Quessette et al.  Graph Algorithms and Software Framework for Interactive RNA Structure Modelling
Journees Ouvertes de Biologie Informatique et Mathematiques - JOBIM'12, Jul 2012, Rennes, France. pp.475-476
hal-00761608v1  Journal articles
Vic NorrisAlain ThierryPatrick AmarBarry I HollandFranck Molina. The Mimic Chain Reaction
Journal of Molecular Microbiology and Biotechnology, Karger, 2012, 22 (5), pp.335-343. ⟨10.1159/000345328⟩