Skip to Main content Skip to Navigation


...
hal-03201265v1  Conference papers
Jean Goubault-Larrecq. Une fois qu'on n'a pas trouvé de preuve, comment le faire comprendre à un assistant de preuve?
15èmes Journées Francophones sur les Langages Applicatifs (JFLA'04), Jan 2004, Sainte-Marie-de-Ré, France. pp.1--40
...
lirmm-00272829v1  Journal articles
Pierre-Yves KoenigGuy Melançon. Dagmap : exploration interactive de relations d'héritage
Revue des Sciences et Technologies de l'Information - Série RIA : Revue d'Intelligence Artificielle, Lavoisier, 2008, 22 (3-4), pp.355-370. ⟨10.3166/ria.22.353-368⟩
...
hal-02292996v1  Conference papers
Frédéric ChazalDavid Cohen-SteinerMarc GlisseLeonidas GuibasSteve Oudot. Proximity of persistence modules and their diagrams
SoCG 2009 - 25th Annual Symposium on Computational Geometry, Jun 2009, Aarhus, Denmark. pp.10, ⟨10.1145/1542362.1542407⟩
...
hal-02163477v1  Conference papers
Imen Ben MohamedFrançois VanderbeckWalid Klibi. The two-echelon distribution network design problem under uncertainty: modeling and solution approach
Roadef 2018 - 19ème congrès annuel de la Société Française de Recherche Opérationnelle et d'Aide à la Décision, Feb 2018, Lorient, France
...
inria-00260949v1  Conference papers
Julien HadimTamy BoubekeurXavier GranierChristophe Schlick. Quantification à la volée de l'apparence sur GPU
19ièmes Journées de l'Association Française d'Informatique Graphique (AFIG), Nov 2006, Bordeaux, France
...
inria-00187183v1  Journal articles
Florian LevetXavier GranierChristophe Schlick. MarchingParticles: Fast Generation of Particles for the Sampling of Implicit Surfaces
Computer graphics & geometry, Moscow Engineering Physics Institute (MEPhI), 2007, 9 (1), pp.18-49
...
hal-02149231v1  Conference papers
Christian DuriezHadrien CourtecuisseJuan-Pablo de la Plata AlcaldePierre-Jean Bensoussan. Contact Skinning
Eurographics 2008 - Short Papers, Jun 2008, hersonissos, Greece
...
hal-02120778v1  Conference papers
Thanh Nghi DoNguyen-Khang PhamStéphane LallichPhilippe Lenca. Expérimentation de l'entropie décentrée pour le traitement des classes déséquilibrées en induction par arbres
Atelier Qualité des Données et des Connaissances (associé à la conférence Extraction et Gestion des Connaissances 2008), 29 janvier, Sophia Antipolis, France, Jan 2008, Sophia Antipolis, France. pp.39 - 49
...
hal-01849133v1  Conference papers
Michael FilholLine PatrisPierre Guitteny. Text–sign parallel corpus study to start designing an automatic translation system
2nd International Workshop on Sign Language Translation and Avatar Technology, Oct 2011, Dundee, United Kingdom
...
hal-01770056v1  Conference papers
Xavier GranierRomain PacanowskiChristophe Schlick. Managing Geometry Complexity for Illumination Computation of Cultural Heritage Scenes
Virtual Retrospect 2007, Robert Vergnieux, Nov 2007, Pessac, France. pp.109-113
...
tel-01419457v2  Theses
Mael Rouxel-Labbé. Anisotropic mesh generation
Other [cs.OH]. Université Côte d'Azur, 2016. English. ⟨NNT : 2016AZUR4150⟩
...
hal-01353695v1  Conference papers
Petra BerenbrinkGeorge GiakkoupisAnne-Marie KermarrecFrederik Mallmann-Trenn. Bounds on the Voter Model in Dynamic Networks
ICALP 2016 - 43rd International Colloquium on Automata, Languages and Programming , Jul 2016, Rome, Italy. ⟨10.4230/LIPIcs.ICALP.2016.146⟩
...
tel-01242084v2  Theses
Christopher Humphries. User-centred security event visualisation
Cryptography and Security [cs.CR]. Université Rennes 1, 2015. English. ⟨NNT : 2015REN1S086⟩
...
hal-01115330v1  Journal articles
Christophe BerthonBoniface Nkonga. Numerical model of a compressible multi-fluid fluctuating flow
International Journal on Finite Volumes, Institut de Mathématiques de Marseille, AMU, 2005, 2, pp.1-22
...
inria-00300472v2  Conference papers
Romain VergneXavier Granier. Stylisation d'objets éclairés par des cartes d'environnement HDR
20èmes Journées de l'Association Française d'Informatique Graphique (AFIG), Nov 2007, Marne la Vallée, France
...
inria-00187181v2  Conference papers
Florian LevetXavier GranierChristophe Schlick. Triangulation of uniform particle systems: its application to the implicit surface texturing
15th International Conference in Central Europe on Computer Graphics, Visualization and Computer Vision, Jan 2007, Plzen, Czech Republic
...
inria-00187176v2  Conference papers
Julien HadimTamy BoubekeurMickaël RaynaudXavier GranierChristophe Schlick. On-the-fly Appearance Quantization on GPU for 3D Broadcasting
Web3D '07: Proceedings of the twelfth international conference on 3D web technology, Apr 2007, Perugia, Italy. pp.45 - 51, ⟨10.1145/1229390.1229397⟩
...
inria-00187170v2  Conference papers
Florian LevetXavier GranierChristophe Schlick. Multi-View Sketch-based FreeForm Modeling
International Symposium on Smart Graphics, Jun 2007, Kyoto, Japan. ⟨10.1007/978-3-540-73214-3_21⟩
...
inria-00187161v2  Conference papers
Florian LevetXavier Granier. Improved Skeleton Extraction and Surface Generation for Sketch-based Modeling
Proceedings of Graphics Interface 2007, May 2007, Waterloo, Canada. pp.27-33, ⟨10.1145/1268517.1268524⟩
...
inria-00106853v2  Conference papers
Floriant LevetXavier GranierChristophe Schlick. Fast sampling of implicit surfaces by particle systems
SMI '06: Proceedings of the IEEE International Conference on Shape Modeling and Applications 2006, Jun 2006, Matsushima, Japan. pp.39, ⟨10.1109/SMI.2006.13⟩
...
inria-00106823v2  Conference papers
Floriant LevetXavier GranierChristophe Schlick. 3D Sketching with profile curves
International Symposium on Smart Graphic, Sep 2006, Vancouver, Canada. pp.114-125, ⟨10.1007/11795018_11⟩
...
hal-00308261v2  Conference papers
Xavier GranierM. GoeseleW. HeidrichH.-P. Seidel. Interactive Visualization of Complex Real-World Light Sources
Proceedings of Pacific Graphics 2003, 2003, Calgary, Canada. pp.59- 66, ⟨10.1109/PCCGA.2003.1238247⟩
...
inria-00106832v2  Conference papers
Jean-Charles QuilletGwenola ThomasXavier GranierPascal GuittonJean-Eudes Marvie. Using Expressive Rendering for Remote Visualization of Large City Models
Web3D'06: Proceedings of the 11th International Conference on 3D Web Technology, Apr 2006, Columbia, Maryland, France. pp.27 - 35, ⟨10.1145/1122591.1122595⟩
...
hal-00742795v1  Journal articles
Marie ChaventV. Kuentz SimonetBenoit LiquetJérôme Saracco. ClustOfVar: An R Package for the Clustering of Variables
Journal of Statistical Software, University of California, Los Angeles, 2012, 50 (13), pp.1-16
...
inria-00526624v1  Poster communications
Audrey LegeaiGwenola ThomasJoëlle Thollot. Non-photorealistic line-based rendering: A perceptual approach
Non-photorealistic line-based rendering: A perceptual approach NPAR Poster Session : NPAR, Jun 2006, Annecy, France
...
inria-00515460v1  Journal articles
Benoît SagotLaurence Danlos. Améliorer un lexique syntaxique à l'aide des tables du lexique-grammaire — Constructions impersonnelles et expressions verbales figées
Cahiers du Cental, Presses universitaires de Louvain, 2008, Description linguistique pour le traitement automatique du français, 5, pp.107-126
...
inria-00441576v1  Books
Andrew BlackStéphane DucasseOscar NierstraszDamien PolletDamien Cassou et al.  Squeak by Example
Square Bracket Associates, pp.304, 2007, 978-3-9523341-0-2
...
inria-00440187v1  Conference papers
Michel BergmannEdoardo LombardiAngelo Iollo. Amélioration de la robustesse des bases POD
19ème Congrès Français de Mécanique, Aug 2009, Marseille, France
...
tel-00423884v1  Theses
Pierre Guitteny. Le passif en langue des signes
Linguistique. Université Michel de Montaigne - Bordeaux III, 2006. Français
...
tel-00418563v1  Theses
Roberto Bonato. An Integrated Computational Approach to Binding Theory
Computer Science [cs]. Université Sciences et Technologies - Bordeaux I; Università degli studi di Verona, 2006. English
...
hal-00409486v1  Conference papers
Maxime AmblardChristian Retoré. Natural Deduction and Normalisation for Partially Commutative Linear Logic and Lambek Calculus with Product
Computation and Logic in the Real World (Computing in Europe 2007), Jun 2007, Siena, Italy. pp.28--44
...
tel-00414778v1  Theses
Houda Anoun. Approche logique des grammaires pour les langues naturelles
Informatique [cs]. Université Sciences et Technologies - Bordeaux I, 2007. Français
...
hal-00413339v1  Conference papers
Florent BerthautMyriam Desainte-CatherineMartin Hachet. Interaction with the 3D reactive widgets for musical performance.
Brazilian Symposium on Computer Music (SBCM09), Sep 2009, Recife, Brazil. pp.0
...
hal-00413195v1  Conference papers
Lionel ClémentKim Gerdes. Analyzing Zeugmas in XLFG
LFG 2006, 2006, Konstanz, Germany
...
hal-00413077v1  Conference papers
Pierre BoullierBenoît SagotLionel Clément. Un analyseur LFG efficace pour le français: SxLfg
Ttraitement Automatique des Langues Naturelles, 2005, Dourdan, France. pp.403-408
...
hal-00413186v1  Conference papers
Pierre BoullierLionel ClémentÉric Villemonte de la ClergerieBenoît Sagot. Simple comme EASy
TALN 05, 2005, Dourdan, France. pp.57-60
...
inria-00411025v1  Journal articles
Alexandre DenisChristian PérezThierry Priol. Achieving Portable and Efficient Parallel CORBA Objects
Concurrency and Computation: Practice and Experience, Wiley, 2003, 15 (10), pp.891-909. ⟨10.1002/cpe.738⟩
...
inria-00411008v1  Book sections
Alexandre DenisSébastien LacourChristian PérezThierry PriolAndré Ribes. Programming the grid with components: models and runtime issues
Beniamino Di Martino and Jack Dongarra and Adolfy Hoisie and Laurence T. Yang and Hans Zima. Engineering The Grid: Status and Perspective, American Scientific Publishers, 2006, 1-58883-038-1
...
hal-00410427v1  Conference papers
Cédric ChevalierFrançois Pellegrini. PT-Scotch: A tool for efficient parallel graph ordering
4th International Workshop on Parallel Matrix Algorithms and Applications (PMAA'06), Sep 2006, Rennes, France
...
hal-00410408v1  Conference papers
Cédric ChevalierFrançois Pellegrini. PT-Scotch : Un outil pour la renumérotation parallèle efficace de grands graphes dans un contexte multi-niveaux
RenPar'17 / SympA'2006 / CFSE'5 / JC'2006, Oct 2006, Canet en Roussillon, France. 8 p
...
tel-00409871v1  Theses
Florian Iragne. Prédiction de réseaux d'interactions biomoléculaires à partir de données de la génomique comparée
Informatique [cs]. Université Sciences et Technologies - Bordeaux I, 2007. Français
...
hal-00409499v1  Conference papers
Houda Anoun. Towards a Logical Approach to Nominal Sentences Analysis in Standard Arabic
ESSLLI 2006 Student sessions, Jul 2006, Malaga, Spain
...
lirmm-00402195v1  Journal articles
Frédéric GruauChristine EisenbeisLuidnel Maignan. The Foundation of Self-developing Blob Machines for Spatial Computing
Physica D: Nonlinear Phenomena, Elsevier, 2008, 237 (9), pp.1282-1301
...
tel-00402492v1  Theses
Sapan Bhatia. Optimistic compiler optimizations for network systems
Software Engineering [cs.SE]. Université Sciences et Technologies - Bordeaux I, 2006. English
...
inria-00402293v1  Conference papers
Galen SwintCalton PuGueyoung JungWenchang YanYounggyun Koh et al.  Clearwater: Extensible, Flexible, Modular Code Generation
ASE'05 - 20th IEEE/ACM international Conference on Automated software engineering, Oct 2005, Long Beach, United States
...
hal-00375977v1  Journal articles
Mostafa AdimyFabien CrausteShigui Ruan. A mathematical study of the hematopoiesis process with applications to chronic myelogenous leukemia
SIAM Journal on Applied Mathematics, Society for Industrial and Applied Mathematics, 2005, 65 (4), pp.1328-1352. ⟨10.1137/040604698⟩
...
hal-00375934v1  Journal articles
Mostafa AdimyFabien Crauste. Existence, positivity and stability for a nonlinear model of cellular proliferation
Nonlinear Analysis: Real World Applications, Elsevier, 2005, 6 (2), pp.337-366. ⟨10.1016/j.nonrwa.2004.09.001⟩
...
hal-00375916v1  Journal articles
Mostafa AdimyFabien Crauste. Un modèle non-linéaire de prolifération cellulaire : extinction des cellules et invariance
Comptes Rendus. Mathématique, Centre Mersenne (2020-..) ; Elsevier Masson (2002-2019), 2003, 336 (7), pp.559-564. ⟨10.1016/S1631-073X(03)00125-0⟩
...
inria-00374463v1  Conference papers
Paola FlocchiniDavid IlcinkasNicola Santoro. Recherche optimale de trou noir avec cailloux
10ème Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications (AlgoTel'08), 2008, Saint-Malo, France. pp.101-104
...
hal-00301484v1  Conference papers
Aurélien EsnardNicolas RichartOlivier Coulaud. A Steering Environment for Online Parallel Visualization of Legacy Parallel Simulations
10th International Symposium on Distributed Simulation and Real-Time Applications (DS-RT), Oct 2006, Spain. pp.7--14
...
inria-00357468v1  Conference papers
Olivier CoulaudMichaël DussereAurélien Esnard. Toward a Computational Steering Environment based on CORBA
Parallel Computing: Environments And Tools for Parallel Scientific Computing, 2004, Dresden, Germany. pp.151--158
...
inria-00357490v1  Conference papers
Michaël DussereAurélien Esnard. Vers le pilotage des simulations numériques sur la grille
15ème Rencontres francophones du parallélisme (RenPar'15), 2003, La Colle sur Loup, France. pp.196--203
...
inria-00357474v1  Conference papers
Aurélien Esnard. Modèle pour la redistribution de données complexes
16ème Rencontres francophones du parallélisme (RenPar'16), 2005, Le Croisic, France. pp.25--36
...
inria-00357414v1  Conference papers
Aurélien EsnardMichaël DussereOlivier Coulaud. A Time-Coherent Model for the Steering of Parallel Simulations
10th International Euro-Par Conference, 2004, Pisa, Italy. pp.90--97, ⟨10.1007/b99409⟩
...
hal-00301485v1  Conference papers
Aurélien Esnard. Approche placement pour la redistribution de données irrégulières
17th Renpar, Rencontres Francophones du Parallelisme, 2006, France. pp.84--91
...
hal-00301468v1  Conference papers
Nicolas RichartAurélien EsnardOlivier Coulaud. Toward a Computational Steering Environment for Legacy Coupled Simulations
6th International Symposium on Parallel and Distributed Computing (ISPDC), Jul 2007, Austria. pp.43, ⟨10.1109/ISPDC.2007.55⟩
...
tel-00354701v1  Theses
Joachim Pouderoux. Création semi-automatique de modèles numériques de terrains - Visualisation et interaction sur terminaux mobiles communicants
Interface homme-machine [cs.HC]. Université Sciences et Technologies - Bordeaux I, 2007. Français
...
hal-00308005v1  Conference papers
Joachim PouderouxJean-Eudes Marvie. Adaptive Streaming and Rendering of Large Terrains using Strip Masks
Proceedings of ACM GRAPHITE 2005, 2005, New Zealand. pp.299-306
...
inria-00353590v1  Conference papers
Younggyun KohCalton PuSapan BhatiaCharles Consel. Efficient Packet Processing in User-Level Operating Systems: A Study of UML
31st IEEE Conference on Local Computer Networks, Nov 2006, Tampa, United States
...
inria-00353585v1  Conference papers
Wilfried JouveJulien LanciaCharles ConselCalton Pu. A Multimedia-Specific Approach to WS-Agreement
European Conference on Web Services, Dec 2006, Zurich, Switzerland
...
inria-00353580v1  Conference papers
Frédéric JouaultJean BézivinCharles ConselIvan KurtevFabien Latry. Building DSLs with AMMA/ATL, a Case Study on SPL and CPL Telephony Languages
ECOOP Workshop on Domain-Specific Program Development, Jul 2006, Nantes, France
...
inria-00353576v1  Conference papers
Fabien LatryJulien MercadalCharles Consel. Processing Domain-Specific Modeling Languages: A Case Study in Telephony Services
Generative Programming and Component Engineering for QoS Provisioning in Distributed Systems, Oct 2006, Portland, United States
...
inria-00353573v1  Conference papers
Sapan BhatiaCharles ConselJulia Lawall. Minimizing cache misses in an event-driven network server: A case study of TUX
31st IEEE International Conference on Local Computer Networks, Nov 2006, Tampa, United States
...
inria-00353566v1  Conference papers
Sapan BhatiaCharles ConselJulia Lawall. Memory-manager/Scheduler Co-design: Optimizing Event-driven Programs to Improve Cache Behavior
International Symposium on Memory Management, Jun 2006, Ottawa, Canada
...
inria-00353534v1  Conference papers
Fabien LatryJulien MercadalCharles Consel. Staging Telephony Service Creation: A Language Approach
Principles, Systems and Applications of IP Telecommunications, Jul 2007, New-York, United States
...
hal-00350215v1  Book sections
Charles ConselLaurent Réveillère. A DSL Paradigm for Domains of Services: A Study of Communication Services
Domain-Specific Program Generation, Springer Verlag, pp.165-179, 2004, Lecture Notes in Computer Science, State-of-the-Art Survey
...
dumas-00350003v1  Master thesis
Fabien Teytaud. Optimisation évolutionnaire parallèle
Algorithme et structure de données [cs.DS]. 2008
...
inria-00338495v1  Conference papers
Alain Lecomte. Semantics in Minimalist Categorial Grammar
FG 2008: The 13th conference on Formal Grammar, Aug 2008, Hamburg, Germany
...
inria-00334011v1  Journal articles
Remi AbgrallFabien Marpeau. Residual distribution schemes on quadrilateral meshes.
Journal of Scientific Computing, Springer Verlag, 2007, 30 (1), pp.131-175
...
inria-00333754v1  Journal articles
Remi Abgrall. Essentially non-oscillatory residual distribution schemes for hyperbolic problems
Journal of Computational Physics, Elsevier, 2006, 214 (2), pp.773-808
...
inria-00332260v1  Conference papers
Jérôme Clet-Ortega. Ordonnancement et services différenciés pour réseaux rapides
18ème Rencontres Francophones du Parallélisme, Feb 2008, Fribourg, Suisse
...
hal-00308004v1  Conference papers
Joachim PouderouxJean-Christophe GonzatoPascal GuittonXavier Granier. A Software for Reconstructing 3D-Terrains from Scanned Maps
ACM SIGGRAPH 2004 Sketches, Aug 2004, Los Angeles, California, United States. pp.11, ⟨10.1145/1186223.1186237⟩
...
inria-00287343v1  Conference papers
Bruno MeryChristian BassacChristian Retoré. A Montague-based model of Generative Lexical Semantics
Workshop on New Directions in Type-theoretic Grammars (NDTTG 2007), FoLLI, Aug 2007, Dublin, Ireland. pp.90-97
...
inria-00287340v1  Conference papers
Bruno MeryChristian BassacChristian Retoré. A Montagovian Generative Lexicon
12th conference on Formal Grammar (FG 2007), FoLLI, Aug 2007, Dublin, Ireland