332 results  save search


...
hal-01941868v1  Documents associated with scientific events
Olivier Sentieys. Playing with number representations and operator-level approximations
Keynote at the Third Workshop on Approximate Computing (AxC), in conjunction with IEEE European Test Symposium (ETS), Jun 2018, Bremen, Germany. 2018
...
hal-01899719v1  Documents associated with scientific events
Igor KonnovJure KukovecThanh Tran. BmcMT: Bounded Model Checking of TLA + Specifications with SMT
TLA+ Community Meeting 2018, Jul 2018, Oxford, United Kingdom
...
hal-01899723v1  Documents associated with scientific events
Igor KonnovStephan Merz. Model Checking of Fault-Tolerant Distributed Algorithms: from Classics towards Contemporary
BCRB 2018 - DSN Workshop on Byzantine Consensus and Resilient Blockchains, Jun 2018, Luxembourg, Luxembourg
...
hal-00925576v1  Documents associated with scientific events
Francoise BerthoudLaurent LefèvreMarianne Parry. Que faites vous de vos e-déchets ?
JRES 2013 : 10 èmes journées Réseaux, Dec 2013, Montpellier, France. 2013
...
inria-00587164v1  Documents associated with scientific events
Jean-Philippe BabauJulien Deantoni. Architectures logicielles pour les systèmes embarqués temps réel
Ecole d'été temps réel, Sep 2007, Nantes, France
...
hal-00985337v1  Documents associated with scientific events
Stéphane GirardSerge Iovleff. Auto-Associative models and generalized Principal Component Analysis
Workshop on principal manifolds for data cartography and dimension reduction, Aug 2006, Leicester, United Kingdom
...
hal-00985320v1  Documents associated with scientific events
Cécile AmblardStéphane Girard. A semiparametric family of bivariate copulas: dependence properties and estimation procedures
IMS Annual Meeting and X Brazilian School of Probability, Jul 2006, Rio de Janeiro, Brazil
...
inria-00587100v1  Documents associated with scientific events
Julien DeantoniFrédéric MalletCharles André. On the Formal Execution of UML and DSL Models
WIP of the 4th International School on Model-Driven Development for Distributed, Realtime, Embedded Systems, Apr 2009, Aussois, France
...
hal-00985473v1  Documents associated with scientific events
Stéphane GirardCharles BouveyronCordelia Schmid. Classification des données de grande dimension: application à la vision par ordinateur
2èmes Rencontres Inter-Associations sur la classification et ses applications (RIAs '06), 2006, Lyon, France
...
inria-00537499v1  Documents associated with scientific events
Ken PerlinFabrice Neyret. Flow Noise
28th International Conference on Computer Graphics and Interactive Techniques (Technical Sketches and Applications), Aug 2001, Los Angeles, United States. SIGGRAPH, Technical Sketches and Applications, pp.187, 2001
...
hal-02317143v1  Documents associated with scientific events
Allan BlanchardNikolai KosmatovFrédéric Loulergue. La logique contre les fantômes: comparaison de deux approches pour la preuve d'un module de listes chaînées *
18e journées Approches Formelles dans l'Assistance au Développement de Logic (AFADL), Jun 2019, Toulouse, France
...
hal-02326407v1  Documents associated with scientific events
Grégoire PichonE DarveMathieu FavergeEsragul KorkmazPierre Ramet et al.  Sparse supernodal solver using block low-rank compression: Design, performance and analysis
JOREK development meeting, Nov 2019, Cadarache, France
...
hal-01250812v1  Documents associated with scientific events
Chloé FriguetFrédérique LetueVincent Vandewalle. Table ronde : “pourquoi et comment enseigner l’analyse de données massives (big data)”
47èmes Journées de Statistique de la SFdS, Jun 2015, Lille, France
...
hal-01950934v1  Documents associated with scientific events
Petra IsenbergChristoph KinkeldeyJean-Daniel Fekete. Visual Analytics for Monitoring and Exploration of Blockchain Data With a Focus on the Bitcoin Blockchain
HCI for Blockchain: A CHI 2018 workshop on Studying, Critiquing, Designing and Envisioning Distributed Ledger Technologies, 2018, Montréal, Canada
...
hal-01002861v1  Documents associated with scientific events
Loic Le FolgocHervé DelingetteAntonio CriminisiNicholas Ayache. Technical Appendix on Sparse Bayesian Regression
MICCAI - 17th International Conference on Medical Image Computing and Computer Assisted Intervention, Sep 2014, Boston, United States
...
hal-01313051v1  Documents associated with scientific events
Pierre GuillouxArnaud Tisserand. Plateforme matérielle–logicielle d'émulation de fautes pour des opérateurs arithmétiques
Compas 2016 : Conférence d’informatique en Parallélisme, Architecture et Système, Jul 2016, Lorient, France. pp.8
...
hal-00764932v1  Documents associated with scientific events
Hubert GaravelFrederic LangRadu MateescuGwen SalaünWendelin Serwe. CADP: A Toolbox for the Construction and Analysis of Distributed Processes
FM - 18th International Symposium on Formal Methods - 2012, Aug 2012, Paris, France
...
hal-00816136v1  Documents associated with scientific events
Philippe Robert. Internet: Passé, Présent et Futurs
Conférence au lycée Jeanne d'Albret en 2009, 2009, Paris, France
...
hal-01018649v1  Documents associated with scientific events
Mikhail BogdanovMonique Teillaud. Voronoi diagrams and Bolza surface
Workshop on Geometric Structures with Symmetry and Periodicity, 2014, Kyoto, Japan
...
inria-00418424v1  Documents associated with scientific events
Agnès DrochonOdette FokapuVincent MartinJean-Frédéric Gerbeau. Blood flow simulation and magnetohydrodynamics effects in MRI
CI2BM09 - MICCAI Workshop on Cardiovascular Interventional Imaging and Biophysical Modelling, Sep 2009, London, United Kingdom
...
hal-01018627v1  Documents associated with scientific events
Luca Castelli AleardiOlivier DevillersEric Fusy. Crossing-free straight-line drawing of graphs on the flat torus
Workshop on Geometric Structures with Symmetry and Periodicity, 2014, Kyoto, Japan
...
inria-00526609v1  Documents associated with scientific events
David VanderhaeghePascal BarlaJoëlle ThollotFrançois X. Sillion. Rendu Peinture pour les Scènes 3D Animées
Groupe de Travail Rendu et Visualisation, May 2006, Lyon, France
...
inria-00526646v1  Documents associated with scientific events
Cyril Crassin. GigaVoxels: Voxels Come Into Play
Crytek Conference, Nov 2009, Frankfurt, Germany
...
hal-01571572v1  Documents associated with scientific events
Bart LamiroyDaniel Lopresti. Challenges for the Engineering Drawing Lehigh Steel Collection
Eleventh IAPR International Workshop on Graphics Recognition - GREC 2015, Aug 2015, Nancy, France. 2015
...
hal-00955772v1  Documents associated with scientific events
Vincent RocaKazuhisa Matsuzono. Structured RLC codes: an update
IETF89 - NWCRG meeting, Mar 2014, London, United Kingdom
...
hal-01955534v1  Documents associated with scientific events
Xavier BonnetainMaría Naya-PlasenciaAndré Schrottenloher. Quantum Cryptanalysis of AES
JC2 2018 - Journées Codage et Cryptographie, Oct 2018, Aussois, France
hal-01955453v1  Documents associated with scientific events
Antoine GrospellierAnirudh Krishna. Numerical estimate of the threshold for quantum expander codes
JC2 2018 - Journées Codage et Cryptographie, Oct 2018, Aussois, France
...
hal-00907118v1  Documents associated with scientific events
Christian MühlGuillaume ChanelBrendan AllisonAnton Nijholt. Third Workshop on Affective Brain-Computer Interfaces: Introduction
Affective Computing and Intelligent Interaction, Sep 2013, Geneva, Switzerland
...
hal-01856320v1  Documents associated with scientific events
Laure Berti-ÉquilleTamraparni Dasu. New Directions for Data Quality Mining
International Conference on Knowledge Discovery and Data Mining (KDD 2009), Jun 2009, Paris, France