1. Recherche
259 résultats  enregistrer la recherche
...
hal-01161390v1  Communication dans un congrès
Norbert Schnell, Diemo Schwarz,, Müller Remy. X-Micks – Interactive Content Based Real-Time Audio Processing
9th International Conference on Digital Audio Effects (DAFx-06), Sep 2006, Montreal, Canada. pp.1-1, 2006
...
hal-01161330v1  Communication dans un congrès
Frédéric Bevilacqua, Müller Remy, Norbert Schnell. MnM: a Max/MSP mapping toolbox
New Interfaces for Musical Expression, May 2005, Vancouver, France. pp.85-88, 2005
...
hal-01161338v1  Communication dans un congrès
Norbert Schnell, Riccardo Borghesi, Diemo Schwarz, Frédéric Bevilacqua, Müller Remy. FTM — Complex data structures for Max
International Computer Music Conference (ICMC), Sep 2005, Barcelona, Spain. pp.1-1, 2005
...
ensl-01310023v2  Article dans une revue
Sylvie Boldo, Stef Graillat, Jean-Michel Muller. On the robustness of the 2Sum and Fast2Sum algorithms
ACM Transactions on Mathematical Software, Association for Computing Machinery, 2017, 44 (1), <http://dl.acm.org/citation.cfm?id=3054947>
inria-00099943v1  Article dans une revue
Dongming Wang. A Simple Method for Implicitizing Rational Curves and Surfaces
Journal of Symbolic Computation, Elsevier, 2004, 38 (1), pp.899-914. <10.1016/j.jsc.2004.02.004>
inria-00099277v1  Article dans une revue
Philippe Aubry, Annick Valibouze. Using Galois ideals for computing relative resolvents
Journal of Symbolic Computation, Elsevier, 2000, 30 (6), pp.635--651. <10.1006/jsco.2000.0376>
inria-00100982v1  Article dans une revue
Philippe Aubry, Fabrice Rouillier, Mohab Safey El Din. Real solving for positive dimensional systems
Journal of Symbolic Computation, Elsevier, 2002, 34 (6), pp.543-560. <10.1006/jsco.2002.0563>
...
lirmm-00108783v1  Communication dans un congrès
Richard Terrat. A Pregroup Grammar for Chord Sequences
SMC'04: Sound and Music Computing, Oct 2004, Paris, France. 2004
...
ensl-01529804v1  Rapport
Catherine Daramy-Loirat, David Defour, Florent De Dinechin, Matthieu Gallet, Nicolas Gast et al.  CR-LIBM A library of correctly rounded elementary functions in double-precision
[Research Report] LIP,. 2006
inria-00099649v1  Communication dans un congrès
Mohab Safey El Din, Eric Schost. Polar varieties and computation of one point in each connected component of a smooth real algebraic set
Sendra, J.R. International Symposium on Symbolic and Algebraic Computation 2003 - ISSAC'2003, Aug 2003, Philadelphie, PA, United States. ACM Press, pp.224-231, 2003, <10.1145/860854.860901>
...
inria-00099789v1  Communication dans un congrès
Laurent Dupont, Daniel Lazard, Sylvain Lazard, Sylvain Petitjean. Near-Optimal Parameterization of the Intersection of Quadrics
19th Symposium on Computational Geometry - SoCG 2003, Jun 2003, San Diego, United States. ACM, pp.246-255, 2003, <10.1145/777792.777830>
...
tel-00931839v1  Thèse
Ndeye Massata Ndiaye. Techniques de gestion des défaillances dans les grilles informatiques tolérantes aux fautes
Autre [cs.OH]. Université Pierre et Marie Curie - Paris VI, 2013. Français
hal-00689410v1  Communication dans un congrès
Zahia Guessoum, Noura Faci. Towards reliable large-scale multi-agent systems
Springer. CEEMAS 2005 : international central and eastern European conference on multi-agent systems, Sep 2005, Budapest, Hungary. Springer, 3690, pp.430-439, 2005, LNCS. <10.1007/11559221_43>
hal-00689430v1  Communication dans un congrès
Zahia Guessoum, Jean-Pierre Briot, Noura Faci. Towards fault-tolerant massively multiagent systems
MMAS 2004 : International workshop on Massively multi-agent systems, Dec 2004, Kyoto, Japan. Springer, 3446, pp.55-69, 2004, Lecture Notes in Computer Science. <10.1007/11512073_5>
hal-00684961v1  Communication dans un congrès
Zahia Guessoum, Noura Faci, Jean-Pierre Briot. Adaptive Replication of Large-Scale Multi-Agent Systems - Towards a Fault-Tolerant Multi-Agent Platform
ACM Electronic Proceedings of the ICSE'05 4th International Workshop on Software Engineering for Large-Scale Multi-Agent Systems (SELMAS'05), May 2005, Saint Louis, United States. 2005, <10.1145/1082960.1082977>
...
hal-00307926v1  Communication dans un congrès
Antoine Allombert, Gérard Assayag, M. Desainte-Catherine. A System of Interactive Scores based on Petri Nets
4th Sound and Music Computing Conference (SMC07), Jul 2007, Lefkada, Greece. pp.158-165, 2007
...
hal-01133597v1  Poster
Clément Poncelet Sanchez, Florent Jacquemard. Test methods for Score-Based Interactive Music Systems Toward a formal Specification
ICMC/SMC 2014, Sep 2014, Athène, Greece
...
hal-00463574v1  Autre publication
Gilles Benattar, Béatrice Bérard, Didier Lime, John Mullins, Olivier Henri Roux et al.  Covert Channel Synthesis for Transducers
Research report. 2010
...
tel-00632968v1  Thèse
Olga Kozlova. Hierarchical & Factored Reinforcement Learning
Other [cs.OH]. Université Pierre et Marie Curie - Paris VI, 2010. English
...
hal-01097345v2  Communication dans un congrès
Clément Poncelet Sanchez, Florent Jacquemard. Model Based Testing of an Interactive Music System
Proceedings of the 30th ACM/SIGAPP Symposium On Applied Computing (ACM SAC), Apr 2015, Salamanca, Spain. ACM, 2015, <10.1145/2695664.2695804>
hal-01351589v1  Communication dans un congrès
Marc Shapiro. CRDTs in practice
ACM. W. on Large-Scale Distributed Systems and Middleware (LADIS) 2015, Oct 2015, Monterey, United States. W. on Large-Scale Distributed Systems and Middleware (LADIS) 2015, 2015, LADIS 2015. <http://ladisworkshop.org/node/10>
...
hal-01009382v2  Communication dans un congrès
Tiphaine Viard, Matthieu Latapy. Identifying roles in an IP network with temporal and structural density
Sixth IEEE International Workshop on Network Science for Communication Networks (NetSciCom 2014), Apr 2014, Toronto, Canada. IEEE, pp.801-806, 2014, <10.1109/INFCOMW.2014.6849333>
hal-01250804v1  Communication dans un congrès
Hugues Vinet. The SemanticHIFI Project : Content-based Management and Manipulation of Musical Recordings
EWIMT, Nov 2005, NA, France. pp.1-1, 2005
hal-00652505v1  Ouvrage (y compris édition critique et traduction)
Pierre Lévy, Bénédicte Le Grand, François Poulet, Michel Soto, Laszlo Darago et al.  Pixelization Paradigm, First Visual Information Expert Workshop, VIEW'06, Revised Selected Papers
Pierre P.Lévy, Bénédicte Le Grand, François Poulet, Michel Soto, Laszlo Darago, Laurent Toubiana, Jean-François Vibert. Springer, 4370, pp.280, 2007, Lecture Notes in Computer Science
hal-00687573v1  Communication dans un congrès
Alexandre Hamez, Fabrice Kordon, Yann Thierry-Mieg. libDMC: a library to Operate Efficient Distributed Model Checking
Workshop on Performance Optimization for High-Level Languages and Libraries - associated to IPDPS'2007, Mar 2007, Long Beach, California, United States. Parallel and Distributed Processing Symposium, 2007. IPDPS 2007. IEEE International, 2007, <10.1109/IPDPS.2007.370647>
...
medihal-01242710v1  Vidéo
Marc Shapiro, Mahsa Najafzadeh. CISE Safety Tool
2015
...
tel-01443327v1  Thèse
Clément Poncelet Sanchez. Model-Based Testing Real-Time and Interactive Music Systems
Other [cs.OH]. EDITE, 2016. English
...
hal-00932758v1  Communication dans un congrès
Masoud Saeida Ardekani, Pierre Sutra, Marc Shapiro. Non-Monotonic Snapshot Isolation: scalable and strong consistency for geo-replicated transactional systems
SRDS 2013 -IEEE 32nd International Symposium on Reliable Distributed Systems, Sep 2013, Braga, Portugal. IEEE Computer Society, pp.163-172, 2013, <10.1109/SRDS.2013.25>

Contact


archive-ouverte@inria.fr