103613 results  save search

hal-00803108v1  Book sections
Zhiping RaoHasnaa 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 FidanovaOlympia RoevaAntonio MucherinoK. 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-00803135v1  Journal articles
Damien LeprovostLylia AbroukDavid 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-01003228v1  Conference papers
Philippe ClaussImen FassiAlexandra 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 MiolaneXavier 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 TinguyClaudio PacchierottiMaud MarchalAnatole 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⟩
inria-00403693v1  Journal articles
Remi AbgrallM. RavacholS. 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 CauvetOlivier PotinMarie-Lise FlottesSerge BernardDavid Andreu et al.  TOETS: Work Package 1
The European Nanoelectronics Forum 2011, Nov 2011, Dublin, Ireland. 2011
hal-01252879v1  Conference papers
Nassim DennouniYvan PeterLuigi LancieriZohra 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 PetitJean-Charles RéginNicolas 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
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⟩
inria-00088787v2  Conference papers
Eric Kow. GenI: Natural language generation in Haskell
Haskell'06, Sep 2006, Portland/USA
hal-01252793v1  Conference papers
Sergio PeignierChristophe RigottiGuillaume Beslon. Subspace Clustering for all Seasons
EvoEvo Workshop (satellite workshop of ECAL 2015), Jul 2015, york, United Kingdom. pp.1-3
inria-00555069v2  Conference papers
Romain DelamareFreddy MunozBenoit BaudryYves Traon. Vidock: A Tool for Impact Analysis of Aspect Weaving on Test Cases
22nd IFIP WG 6.1 International Conference on Testing Software and Systems (ICTSS), Nov 2010, Natal, Brazil. pp.250-265, ⟨10.1007/978-3-642-16573-3_18⟩