Skip to Main content Skip to Navigation


...
hal-01277569v1  Journal articles
Shizhe ZhouJiang ChangyunSylvain Lefebvre. Topology-constrained Synthesis of Vector Patterns
ACM Transactions on Graphics, Association for Computing Machinery, 2014, 33 (6), ⟨10.1145/2661229.2661238⟩
...
inria-00189386v4  Journal articles
Gang ZhengArnaud TonnelierDominique Martinez. Voltage-stepping schemes for the simulation of spiking neural networks
Journal of Computational Neuroscience, Springer Verlag, 2009, 26 (3), pp.409-423. ⟨10.1007/s10827-008-0119-1⟩
...
hal-00933715v1  Journal articles
Linghai ZhangAxel Hutt. Traveling wave solutions of nonlinear scalar integral differential equations arising from synaptically coupled neuronal networks
Journal of Applied Analysis and Computation, Wilmington Scientific Publisher, 2014, 4 (1), pp.1-68
...
hal-00763434v1  Journal articles
Rhaleb Zayer. A nonlinear static approach for curve editing
Computers and Graphics, Elsevier, 2012, 36 (5), pp.514-520. ⟨10.1016/j.cag.2012.03.024⟩
...
hal-01403899v1  Journal articles
Jiangshan YuVincent ChevalMark Ryan. DTKI: A New Formalized PKI with Verifiable Trusted Parties
The Computer Journal, Oxford University Press (UK), 2016, 59, pp.1695-1713. ⟨10.1093/comjnl/bxw039⟩
...
hal-00763484v1  Journal articles
Jonathan WeberSébastien Lefèvre. Fast Quasi-Flat Zones Filtering Using Area Threshold and Region Merging
Journal of Visual Communication and Image Representation, Elsevier, 2013, 24 (3), pp.397-409. ⟨10.1016/j.jvcir.2013.01.011⟩
...
hal-03059893v1  Journal articles
Jian WangStanislav AranovskiyEmilia FridmanDmitry SokolovDenis Efimov et al.  Robust adaptive stabilization by delay under state parametric uncertainty and measurement bias
IEEE Transactions on Automatic Control, Institute of Electrical and Electronics Engineers, 2020, ⟨10.1109/TAC.2020.3045125⟩
...
inria-00186815v1  Journal articles
Benjamin WackClement Houtmann. Strong Normalization in two Pure Pattern Type Systems
Mathematical Structures in Computer Science, Cambridge University Press (CUP), 2008, Rewriting calculi, higher-order reductions and patterns, 18 (3), pp.431-465. ⟨10.1017/S0960129508006749⟩
...
inria-00000108v1  Journal articles
Thomas VoegtlinPeter Ford Dominey. Linear Recursive Distributed Representations
Neural Networks, Elsevier, 2005, 18 (7), pp.878-895
...
inria-00000222v1  Journal articles
Thomas Voegtlin. Recursive Principal Components Analysis
Neural Networks, Elsevier, 2005, 18 (8), pp.1051--1063
...
hal-00849184v1  Journal articles
Pierre-Frédéric VillardFranck VidalLlyr Ap CenyddRichard HolbreyS. Pisharody et al.  Interventional radiology virtual simulator for liver biopsy
International Journal of Computer Assisted Radiology and Surgery, Springer Verlag, 2013, pp.1-13. ⟨10.1007/s11548-013-0929-0⟩
...
hal-01643868v1  Journal articles
Pierre-Frédéric VillardPeter HammerDouglas PerrinPedro del NidoRobert Howe. Fast Image-Based Mitral Valve Simulation from Individualized Geometry
The International Journal of Medical Robotics and Computer Assisted Surgery, John Wiley & Sons, Inc., 2018, 14 (2), pp.e1880. ⟨10.1002/rcs.1880⟩
...
hal-00731910v1  Journal articles
Franck VidalPierre-Frédéric VillardEvelyne Lutton. Tuning of patient specific deformable models using an adaptive evolutionary optimization strategy
IEEE Transactions on Biomedical Engineering, Institute of Electrical and Electronics Engineers, 2012, 59 (10), pp.2942 - 2949. ⟨10.1109/TBME.2012.2213251⟩
...
hal-00348716v1  Journal articles
Fabienne Venant. Représentation géométrique et calcul dynamique du sens lexical : application à la polysémie de livre
Langages, Armand Colin (Larousse jusqu'en 2003), 2008, 172, pp.30-54
...
hal-01242988v1  Journal articles
Matthijs van LeeuwenEsther Galbrun. Association Discovery in Two-View Data
IEEE Transactions on Knowledge and Data Engineering, Institute of Electrical and Electronics Engineers, 2015, 27 (12), pp.3190 - 3202 ⟨10.1109/TKDE.2015.2453159⟩
...
hal-03014125v1  Journal articles
Hans van DitmarschTim FrenchJames Hales. Positive Announcements
Studia Logica, Springer Verlag (Germany), In press, ⟨10.1007/s11225-020-09922-1⟩
...
hal-03014108v1  Journal articles
Hans van DitmarschWiebe van der HoekBarteld KooiLouwe Kuijer. Arrow update synthesis
Information and Computation, Elsevier, 2020, pp.104544. ⟨10.1016/j.ic.2020.104544⟩
...
hal-03014091v1  Journal articles
Hans van DitmarschWiebe van der HoekLouwe Kuijer. The logic of Gossiping
Artificial Intelligence, Elsevier, 2020, 286, pp.103306. ⟨10.1016/j.artint.2020.103306⟩
...
inria-00000700v1  Journal articles
Mark van den BrandPierre-Etienne MoreauJurgen Vinju. A generator of efficient strongly typed abstract syntax trees in Java
IEE Proceedings - Software Engineering, Institution of Electrical Engineers (IEE), 2005, IEE Proceedings - Software Engineering, 152 (2), pp.70--87
...
inria-00435501v1  Journal articles
Szilárd VajdaKaushik RoyUmapada PalBidyut B ChaudhuriAbdel Belaïd. Automation of Indian Postal Documents written in Bangla and English
International Journal of Pattern Recognition and Artificial Intelligence, World Scientific Publishing, 2009, 23 (8), pp.1599-1632. ⟨10.1142/S0218001409007776⟩
...
sic_00597930v1  Journal articles
Ifiok UdoBabajide Afolabi. Hybrid Data Reduction Technique for Classification of Transaction Data
Journal of Computer Science and Engineering, 2011, 6 (2), pp.12-16
...
hal-02391852v1  Journal articles
Urszula Uciechowska-KaczmarzykIsaure Chauvot de BeauchêneSergey Samsonov. Docking software performance in protein-glycosaminoglycan systems
Journal of Molecular Graphics and Modelling, Elsevier, 2019, Journal of Molecular Graphics and Modelling, 90, pp.42-50. ⟨10.1016/j.jmgm.2019.04.001⟩
...
hal-01102883v1  Journal articles
Elena TushkanovaAlain GiorgettiChristophe RingeissenOlga Kouchnarenko. A rule-based system for automatic decidability and combinability
Science of Computer Programming, Elsevier, 2015, Selected Papers from the Ninth International Workshop on Rewriting Logic and its Applications (WRLA 2012), 99, pp.3-23. ⟨10.1016/j.scico.2014.02.005⟩
...
hal-00097566v1  Journal articles
Ninh Thuan TruongJeanine Souquières. Verification of UML Model Elements Using B
Journal of Information Science and Engineering, Academia Sinica, 2006, 22, pp.357-373
...
hal-00761038v1  Journal articles
Hien Thi Thu TruongClaudia-Lavinia IgnatPascal Molli. A CONTRACT-EXTENDED PUSH-PULL-CLONE MODEL FOR MULTI-SYNCHRONOUS COLLABORATION
International Journal of Cooperative Information Systems, World Scientific Publishing, 2012, 21 (3), pp.221-262. ⟨10.1142/S0218843012410031⟩
...
hal-02118508v1  Journal articles
Thibault TricardSemyon EfremovCédric ZanniFabrice NeyretJonàs Martínez et al.  Procedural Phasor Noise
ACM Transactions on Graphics, Association for Computing Machinery, 2019, 38 (4), pp.Article No. 57:1-13. ⟨10.1145/3306346.3322990⟩
...
hal-01114329v2  Journal articles
Dung TranEmmanuel VincentDenis Jouvet. Nonparametric uncertainty estimation and propagation for noise robust ASR
IEEE/ACM Transactions on Audio, Speech and Language Processing, Institute of Electrical and Electronics Engineers, 2015, 23 (11), pp.1835-1846. ⟨10.1109/TASLP.2015.2450497⟩
...
hal-00926875v1  Journal articles
Pablo TorresMario Valencia-Pabon. On the packing chromatic number of hypercubes
Electronic Notes in Discrete Mathematics, Elsevier, 2013, 44 (5), pp.263-268
...
inria-00000583v2  Journal articles
Arnaud Tonnelier. On the number of limit cycles in piecewise linear Liénard systems
International journal of bifurcation and chaos in applied sciences and engineering , World Scientific Publishing, 2005, 15 (4), pp.1417-1422
...
hal-00390718v1  Journal articles
Arnaud Tonnelier. Stabilization of pulse waves through inhibition in a feedforward neural network
Physica D: Nonlinear Phenomena, Elsevier, 2005, 210, pp.118-137
...
inria-00000581v2  Journal articles
Arnaud Tonnelier. Categorization of neural excitability using threshold models
Neural Computation, Massachusetts Institute of Technology Press (MIT Press), 2005, 17 (7), pp.1447-1455
...
inria-00103500v1  Journal articles
Arnaud TonnelierHana BelmabroukDominique Martinez. Event-driven simulations of nonlinear integrate-and-fire neurons
Neural Computation, Massachusetts Institute of Technology Press (MIT Press), 2007, 19 (12), pp.3226-3238. ⟨10.1162/neco.2007.19.12.3226⟩
...
inria-00000807v1  Journal articles
Jean-Pierre Thomesse. Fieldbus technology in industrial automation
Proceedings of the IEEE, Institute of Electrical and Electronics Engineers, 2005, 93 (6), pp.1073-1101. ⟨10.1109/JPROC.2005.849724⟩
...
inria-00155996v1  Journal articles
Vincent ThomasChristine BourjotVincent Chevrier. Construction de systèmes multi-agents par apprentissage collectif à base d'interactions
Revue des Sciences et Technologies de l'Information - Série RIA : Revue d'Intelligence Artificielle, Lavoisier, 2007, 21 (5-6), pp.643-672
...
inria-00418954v1  Journal articles
Christophe ThieryBruno Scherrer. Building Controllers for Tetris
International Computer Games Association Journal, ICGA, 2009, 32, pp.3-11
...
inria-00418922v1  Journal articles
Christophe ThieryBruno Scherrer. Construction d'un joueur artificiel pour Tetris
Revue des Sciences et Technologies de l'Information - Série RIA : Revue d'Intelligence Artificielle, Lavoisier, 2009, Modélisation et décision pour les jeux, 23 (2-3), pp.387-407. ⟨10.3166/ria.23.387-407⟩
...
inria-00418930v1  Journal articles
Christophe ThieryBruno Scherrer. Improvements on Learning Tetris with Cross Entropy
International Computer Games Association Journal, ICGA, 2009, 32
...
hal-00643057v1  Journal articles
Frédéric TantiniAlain TerlutteFabien Torre. Combinaisons d'automates et de boules de mots pour la classification de séquences
Revue des Sciences et Technologies de l'Information - Série RIA : Revue d'Intelligence Artificielle, Lavoisier, 2011, Apprentissage artificiel, 25 (3), pp.411-434. ⟨10.3166/ria.25.411-434⟩
...
hal-01792432v1  Journal articles
Pauline TanFabien PierreMila Nikolova. Inertial Alternating Generalized Forward-Backward Splitting for Image Colorization
Journal of Mathematical Imaging and Vision, Springer Verlag, 2019, 61 (5), pp.672-690. ⟨10.1007/s10851-019-00877-0⟩
...
hal-00403925v1  Journal articles
Koichi TakeuchiKyo KageuraTeruo KoyamaBéatrice DailleLaurent Romary. Pattern Based Term Extraction Using ACABIT System
IEIC Technical Report, Institute of Electronics, Information and communication Engineers 2003, 103 (280), pp.31-36
...
inria-00551503v1  Journal articles
Laszlo SzathmaryPetko ValtchevAmedeo Napoli. Generating Rare Association Rules Using the Minimal Rare Itemsets Family
International Journal of Software and Informatics (IJSI), ISCAS, 2010, 4 (3), pp.219--238
...
hal-01925890v1  Journal articles
Frédéric Sur. A non-local dual-domain approach to cartoon and texture decomposition
IEEE Transactions on Image Processing, Institute of Electrical and Electronics Engineers, 2019, 28 (4), pp.1882-1894. ⟨10.1109/TIP.2018.2881906⟩
...
hal-00876215v1  Journal articles
Frédéric SurNicolas NouryMarie-Odile Berger. An A Contrario Model for Matching Interest Points under Geometric and Photometric Constraints
SIAM Journal on Imaging Sciences, Society for Industrial and Applied Mathematics, 2013, 6 (4), pp.1956-1978. ⟨10.1137/120871766⟩
...
hal-00955703v1  Journal articles
Frédéric SurMichel Grediac. Towards deconvolution to enhance the grid method for in-plane strain measurement
Inverse Problems and Imaging , AIMS American Institute of Mathematical Sciences, 2014, 8 (1), pp.259-291. ⟨10.3934/ipi.2014.8.259⟩
...
hal-00955709v2  Journal articles
Frédéric SurMichel Grediac. Sensor Noise Modeling by Stacking Pseudo-Periodic Grid Images Affected by Vibrations
IEEE Signal Processing Letters, Institute of Electrical and Electronics Engineers, 2014, 21 (4), pp.432-436. ⟨10.1109/LSP.2014.2304570⟩
...
hal-01664997v1  Journal articles
Frédéric SurBenoît BlaysatMichel Grediac. Rendering Deformed Speckle Images with a Boolean Model
Journal of Mathematical Imaging and Vision, Springer Verlag, 2018, 60 (5), pp.634-650. ⟨10.1007/s10851-017-0779-4⟩
...
hal-01116309v1  Journal articles
Frédéric SurMichel Grediac. Automated removal of quasiperiodic noise using frequency domain statistics
Journal of Electronic Imaging, SPIE and IS&T, 2015, 24 (1), pp.013003/1-19. ⟨10.1117/1.JEI.24.1.013003⟩
...
hal-01298523v1  Journal articles
Frédéric SurMichel Grediac. Influence of the analysis window on the metrological performance of the grid method
Journal of Mathematical Imaging and Vision, Springer Verlag, 2016, 56 (3), pp.472-498. ⟨10.1007/s10851-016-0650-z⟩
...
hal-01133358v1  Journal articles
Frédéric SurMichel Grediac. Measuring the Noise of Digital Imaging Sensors by Stacking Raw Images Affected by Vibrations and Illumination Flickering
SIAM Journal on Imaging Sciences, Society for Industrial and Applied Mathematics, 2015, 8 (1), p. 611-643. ⟨10.1137/140977035⟩
...
inria-00441214v1  Journal articles
Lutz StraßburgerAlessio Guglielmi. A System of Interaction and Structure IV: The Exponentials and Decomposition
ACM Transactions on Computational Logic, Association for Computing Machinery, 2011, 12 (4), pp.23. ⟨10.1145/1970398.1970399⟩
...
inria-00598250v1  Journal articles
Michael StollbergJoerg HoffmannDieter Fensel. A caching technique for optimizing automated service discovery
International Journal of Semantic Computing, World Scientific, 2011, 5 (1), pp.1-31. ⟨10.1142/S1793351X11001146⟩
...
hal-01413047v1  Journal articles
Marcel SteinmetzJoerg HoffmannOlivier Buffet. Goal Probability Analysis in MDP Probabilistic Planning: Exploring and Enhancing the State of the Art
Journal of Artificial Intelligence Research, Association for the Advancement of Artificial Intelligence, 2016, 57, pp.229 - 271. ⟨10.1613/jair.5153⟩
...
hal-00661082v1  Journal articles
Ingmar SteinerKorin RichmondIan MarshallCalum Gray. The Magnetic Resonance Imaging subset of the mngu0 articulatory corpus
Journal of the Acoustical Society of America, Acoustical Society of America, 2012, 131 (2), pp.106-111. ⟨10.1121/1.3675459⟩
...
hal-00734839v1  Journal articles
Liliane Sprenger-CharollesCaroline BogliottiAgnès Piquard-KipfferGilles Leloup. Stabilité dans le temps des déficits en et hors lecture chez des adolescents dyslexiques (données longitudinales)
ANAE - Approche Neuropsychologique des Apprentissages Chez L'enfant, ANAE/PLEIOMEDIA, 2009, 21 (103), pp.243-253
...
hal-01070298v4  Journal articles
Nathan Souviraà-LabastieAnaik OliveroEmmanuel VincentFrédéric Bimbot. Multi-channel audio source separation using multiple deformed references
IEEE Transactions on Audio, Speech and Language Processing, Institute of Electrical and Electronics Engineers, 2015, 23 (11), pp.1775-1787. ⟨10.1109/taslp.2015.2450494⟩
...
hal-01397846v1  Journal articles
Dmitry SokolovNicolas RayLionel UntereinerBruno Lévy. Hexahedral-Dominant Meshing
ACM Transactions on Graphics, Association for Computing Machinery, 2016, 35 (5), pp.1 - 23. ⟨10.1145/2930662⟩