1. Search
103184 results  save search
...
hal-01252775v1  Conference papers
Mouhamadou Ba, Sébastien Ferré, Mireille Ducassé. Safe Suggestions Based on Type Convertibility to Guide Workflow Composition
Foundations of Intelligent Systems (ISMIS), Oct 2015, Lyon, France. ⟨10.1007/978-3-319-25252-0_25⟩
...
hal-00803108v1  Book sections
Zhiping Rao, Hasnaa Zidani. Hamilton-Jacobi-Bellman Equations on Multi-Domains
K. Bredies and C. Clason and K. Kunisch and G. von Winckel. Control and Optimization with PDE Constraints, 164, Springer, pp.93--116, 2013, International Series of Numerical Mathematics, 978-3-0348-0630-5. ⟨10.1007/978-3-0348-0631-2_6⟩
hal-01402412v1  Conference papers
Stefka Fidanova, Olympia Roeva, Antonio Mucherino, K. Kapanova. InterCriteria Analysis of Ant Algorithm with Environment Change for GPS Surveying Problem
17th International Conference on Artificial Intelligence: Methodology Systems, Applications (AIMSA16), Sep 2016, Varna, Bulgaria. pp.271-278, ⟨10.1007/978-3-319-44748-3_26⟩
...
hal-01352468v1  Conference papers
Vincent Blondeau, Nicolas Anquetil, Stéphane Ducasse, Sylvain Cresson, Pascal Croisy. Test Selection with Moose In Industry
IWST'16, Aug 2016, Prague, Czech Republic. ⟨10.1145/2991041.2991058⟩
...
hal-00803135v1  Journal articles
Damien Leprovost, Lylia Abrouk, David Gross-Amblard. Discovering Implicit Communities in Web forums through Ontologies
Web Intelligence and Agent Systems : An International Journal (WIAS), 2012, 10 (1), pp.93-103. ⟨10.3233/WIA-2012-0234⟩
...
tel-00553219v1  Theses
Clément Houtmann. Représentation et interaction des preuves en superdéduction modulo
Génie logiciel [cs.SE]. Université Henri Poincaré - Nancy I, 2010. Français. ⟨NNT : 2010NAN10026⟩
...
hal-01223494v2  Conference papers
Pierre Fraigniaud, Marc Heinrich, Adrian Kosowski. Local Conflict Coloring
FOCS 2016 - 57th Annual IEEE Symposium on Foundations of Computer Science, Oct 2016, New Brunswick, NJ, United States
hal-01003228v1  Conference papers
Philippe Clauss, Imen Fassi, Alexandra Jimborean. Software-controlled Processor Stalls for Time and Energy Efficient Data Locality Optimization
International Conference on Embedded Computer Systems: Architectures, Modeling and Simulation - SAMOS XIV, Jul 2014, Agios Konstantinos, Greece
...
hal-01203518v1  Conference papers
Nina Miolane, Xavier Pennec. A survey of mathematical structures for extending 2D neurogeometry to 3D image processing
MICCAI Workshop on Medical Computer Vision: Algorithms for Big Data (MICCAI-MCV 2015), Oct 2015, Munich, Germany
...
hal-01701839v1  Conference papers
Xavier de Tinguy, Claudio Pacchierotti, Maud Marchal, Anatole Lécuyer. Enhancing the Stiffness Perception of Tangible Objects in Mixed Reality Using Wearable Haptics
IEEE VR 2018 - 25th IEEE Conference on Virtual Reality and 3D User Interfaces, Mar 2018, Reutlingen, Germany. pp.81-90, ⟨10.1109/VR.2018.8446280⟩
...
hal-00652987v1  Reports
Kelly Garcés, Julien Deantoni, Frédéric Mallet. Transforming CCSL partially-ordered Traces into UML Interaction Diagrams
[Research Report] RR-7842, INRIA. 2011
...
hal-00653027v1  Conference papers
Yacine Kessaci, Nouredine Melab, El-Ghazali Talbi. Optimisation multi-critère pour l'allocation de ressources sur clouds distribués avec prise en compte de l'énergie
Rencontres Scientifiques France Grilles 2011, Sep 2011, Lyon, France
inria-00403693v1  Journal articles
Remi Abgrall, M. Ravachol, S. Marret. The simulation of the linearised Euler equations by a second order scheme is possible.
International Journal of Accoustics, Wiley, 2005, 4 (1--2), pp.49--68
...
lirmm-00653039v1  Poster communications
Philippe Cauvet, Olivier Potin, Marie-Lise Flottes, Serge Bernard, David Andreu et al.  TOETS: Work Package 1
The European Nanoelectronics Forum 2011, Nov 2011, Dublin, Ireland. 2011
hal-01252879v1  Conference papers
Nassim Dennouni, Yvan Peter, Luigi Lancieri, Zohra Slama. Vers un système d'orchestration adaptatif et collaboratif des activités d'apprentissage en mobilité
Actes de l'atelier GAST – Gestion et Analyse de données Spatiales et Temporelles (Conférence EGC), Jan 2015, Luxembourg, Luxembourg
hal-00753385v1  Conference papers
Thierry Petit, Jean-Charles Régin, Nicolas Beldiceanu. A Theta(n) Bound-Consistency Algorithm for the Increasing Sum Constraint
17th International Conference on Principles and Practice of Constraint Programming (CP'11), Sep 2011, Perugia, Italy. pp.721-728, ⟨10.1007/978-3-642-23786-7_54⟩
inria-00503227v1  Conference papers
Evelyne Hubert. Convolution Surfaces
Encuentro de Algebra Computacional y Aplicaciones, Laura Castro Souto, Avelino Insua Hermo, Jose Luis Freire Nistal, Manuel Ladra Gonzalez, Felipe Gago Couso, Gilberto Perez Vega, Jul 2010, Santiago de Compostela, Spain. pp.22-24
...
tel-00653059v1  Habilitation à diriger des recherches
Gautier Stauffer. At Play with Combinatorial Optimization, Integer Programming and Polyhedra
Optimization and Control [math.OC]. Université Sciences et Technologies - Bordeaux I, 2011
...
hal-01652777v1  Preprints, Working Papers, ...
Yves Mocquard, Bruno Sericola, Emmanuelle Anceaume. Probabilistic Analysis of Rumor Spreading Time
2017
...
tel-01746477v2  Theses
Nicolas P. Rougier. Modèles de mémoires pour la navigation autonome
Modélisation et simulation. Université Henri Poincaré - Nancy 1, 2000. Français. ⟨NNT : 2000NAN10122⟩
...
hal-00952874v1  Reports
Raphaël Kuate, Marc Lavielle, Eric Blaudez, Kaelig Chatel, Jerome Marquet et al.  A delay differential equation solver for MONOLIX & MLXPLORE
[Research Report] RR-8489, INRIA. 2014, pp.19
...
inria-00088787v2  Conference papers
Eric Kow. GenI: Natural language generation in Haskell
Haskell'06, Sep 2006, Portland/USA
...
hal-01252793v1  Conference papers
Sergio Peignier, Christophe Rigotti, Guillaume Beslon. Subspace Clustering for all Seasons
EvoEvo Workshop (satellite workshop of ECAL 2015), Jul 2015, york, United Kingdom. pp.1-3

Contact

Informations

CCSD