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