Progressive compression and weight reinforcement for spiking neural networks.

Philippe Devienne LIFL Lille, France http://www.lifl.fr/annuaire/employee.php?login=devienne

Hammouda Elbez Mohammed Kamel Benhaoua Philippe Devienne Pierre Boulet Progressive compression and weight reinforcement for spiking neural networks. 2022 34 Concurr. Comput. Pract. Exp. 11 https://doi.org/10.1002/cpe.6891 https://www.wikidata.org/entity/Q111522906 db/journals/concurrency/concurrency34.html#ElbezBDB22

Hammouda Elbez Mohammed Kamel Benhaoua Philippe Devienne Pierre Boulet VS2N : Interactive Dynamic Visualization and Analysis Tool for Spiking Neural Networks. 1-6 2021 CBMI https://doi.org/10.1109/CBMI50038.2021.9461916 conf/cbmi/2021 db/conf/cbmi/cbmi2021.html#ElbezBDB21

Pierre Falez Pierre Tirilly Ioan Marius Bilasco Philippe Devienne Pierre Boulet Unsupervised visual feature learning with spike-timing-dependent plasticity: How far are we from traditional feature learning approaches? 418-429 2019 93 Pattern Recognit. https://doi.org/10.1016/j.patcog.2019.04.016 db/journals/pr/pr93.html#FalezTBDB19

Pierre Falez Pierre Tirilly Ioan Marius Bilasco Philippe Devienne Pierre Boulet Multi-layered Spiking Neural Network with Target Timestamp Threshold Adaptation and STDP. 1-8 2019 IJCNN https://doi.org/10.1109/IJCNN.2019.8852346 conf/ijcnn/2019 db/conf/ijcnn/ijcnn2019.html#FalezTBDB19 Mahyar Shahsavari Philippe Devienne Pierre Boulet Spiking Neural Computing in Memristive Neuromorphic Platforms. 691-728 2019 Handbook of Memristor Networks https://doi.org/10.1007/978-3-319-76375-0_25 books/sp/19/CSA2019 db/books/collections/CSA2019.html#ShahsavariDB19

Pierre Falez Pierre Tirilly Ioan Marius Bilasco Philippe Devienne Pierre Boulet Unsupervised Visual Feature Learning with Spike-timing-dependent Plasticity: How Far are we from Traditional Feature Learning Approaches? 2019 abs/1901.04392 CoRR http://arxiv.org/abs/1901.04392 db/journals/corr/corr1901.html#abs-1901-04392

Pierre Falez Pierre Tirilly Ioan Marius Bilasco Philippe Devienne Pierre Boulet Multi-layered Spiking Neural Network with Target Timestamp Threshold Adaptation and STDP. 2019 abs/1904.01908 CoRR http://arxiv.org/abs/1904.01908 db/journals/corr/corr1904.html#abs-1904-01908

Pierre Falez Pierre Tirilly Ioan Marius Bilasco Philippe Devienne Pierre Boulet Mastering the Output Frequency in Spiking Neural Networks. 1-8 2018 IJCNN https://doi.org/10.1109/IJCNN.2018.8489410 conf/ijcnn/2018 db/conf/ijcnn/ijcnn2018.html#FalezTBDB18

Mazdak Fatahi Mahmood Ahmadi Mahyar Shahsavari Arash Ahmadi Philippe Devienne evt_MNIST: A spike based version of traditional MNIST. 2016 abs/1604.06751 CoRR http://arxiv.org/abs/1604.06751 db/journals/corr/corr1604.html#FatahiASAD16

Ammar Aljer Philippe Devienne Co-Design and Refinement for Safety Critical Systems. 78-86 2004 conf/dft/2004 DFT https://doi.ieeecomputersociety.org/10.1109/DFT.2004.16 db/conf/dft/dft2004.html#AljerD04 Ammar Aljer Philippe Devienne Sophie Tison Jean-Louis Boulanger Georges Mariano BHDL: Circuit Design in B. 241-242 2003 conf/acsd/2003 ACSD https://doi.org/10.1109/CSD.2003.1207723 https://doi.ieeecomputersociety.org/10.1109/CSD.2003.1207723 db/conf/acsd/acsd2003.html#AljerDTBM03

Jean-Marc Talbot Philippe Devienne Sophie Tison Generalized Definite Set Constraints. 161-202 2000 5 Constraints An Int. J. 1/2 db/journals/constraints/constraints5.html#TalbotDT00 https://doi.org/10.1023/A:1009826603139

Philippe Devienne Jean-Marc Talbot Sophie Tison Co-definite Set Constraints with Membership Expressions. 25-39 1998 conf/iclp/1998 IJCSLP db/conf/iclp/iclp98.html#DevienneTT98 Philippe Devienne Anne Parrain Patrick Taillibert S. Varennes Source-to-source Prolog Program Compression. 205-219 1998 conf/iclp/1998 IJCSLP db/conf/iclp/iclp98.html#DeviennePTV98 Philippe Devienne Jean-Marc Talbot Sophie Tison Solving Classes of Set Constraints with Tree Automata. 62-76 1997 conf/cp/1997 CP db/conf/cp/cp97.html#DevienneTT97 https://doi.org/10.1007/BFb0017430 Jean-Marc Talbot Sophie Tison Philippe Devienne Set-Based Analysis for Logic Programming and Tree Automata. 127-140 1997 conf/sas/1997 SAS db/conf/sas/sas97.html#TalbotTD97 https://doi.org/10.1007/BFb0032738

Philippe Devienne Patrick Lebègue Anne Parrain Jean-Christophe Routier Jörg Würtz Smallest Horn Clause Programs. 227-267 1996 27 J. Log. Program. 3 db/journals/jlp/jlp27.html#DevienneLPRW96 https://doi.org/10.1016/0743-1066(95)00122-0 https://www.wikidata.org/entity/Q127087508

Philippe Devienne Patrick Lebègue Jean-Christophe Routier Jörg Würtz One Binary Horn Clause is Enough. 21-32 1994 conf/stacs/1994 STACS db/conf/stacs/stacs94.html#DevienneLRW94 https://doi.org/10.1007/3-540-57785-8_128 https://www.wikidata.org/entity/Q56505178

Philippe Devienne Patrick Lebègue Max Dauchet Weighted Systems of Equations. 39-62 1993 119 Theor. Comput. Sci. 1 db/journals/tcs/tcs119.html#DevienneLD93 https://doi.org/10.1016/0304-3975(93)90339-U

Philippe Devienne Patrick Lebègue Jean-Christophe Routier The Emptiness Problem of One Binary Recursive Horn Clause is Undecidable. 250-265 1993 conf/slp/1993 ILPS db/conf/slp/slp93.html#DevienneLR93 Philippe Devienne Patrick Lebègue Jean-Christophe Routier Halting Problem of One Binary Horn Clause is Undecidable. 48-57 1993 conf/stacs/1993 STACS db/conf/stacs/stacs93.html#DevienneLR93 https://doi.org/10.1007/3-540-56503-5_7 Philippe Devienne Patrick Lebègue Jean-Christophe Routier Halting Problem of One Binary Horn Clause id Undecidable. 5-14 1992 conf/iclp/1992w1 Structural Complexity and Recursion-theoretic methods in Logic-Programming db/conf/iclp/iclp92-w1.html#DevienneLR92 Christophe Lecoutre Philippe Devienne Patrick Lebègue Termination induction by means of an abstract OLDT resolution. 353-373 1992 conf/jfplc/1992 JFPL db/conf/jfplc/jfpl1992.html#LecoutreDL92 Anne Parrain Philippe Devienne Patrick Lebègue Towards Optimization of Full Prolog Programs Guided by Abstract Interpretation. 228-241 1992 conf/lopstr/1992 LOPSTR db/conf/lopstr/lopstr92.html#ParrainDL92 https://doi.org/10.1007/978-1-4471-3560-9_16 Philippe Devienne Patrick Lebègue Jean-Christophe Routier Weighted Systems Revisited. 163-173 1992 conf/sas/1992 WSA db/conf/sas/wsa92.html#DevienneLR92 Anne Parrain Philippe Devienne Patrick Lebègue Towards Optimization of Full Prolog Programs guided by Abstract Interpretation. 295-303 1992 conf/sas/1992 WSA db/conf/sas/wsa92.html#ParrainDL92 Jean-Paul Delahaye Philippe Devienne Philippe Mathieu Pascal Yim JFPL'92, 1<sup>ères</sup> Journées Francophones de Programmation Logique, 25-27 Mai 1992, Lille, France JFPL 1992 db/conf/jfplc/jfpl1992.html Christophe Lecoutre Philippe Devienne Patrick Lebègue Abstract Interpretation and Recursive Behaviour of Logic Programs. 147-166 1991 conf/lopstr/1991 LOPSTR db/conf/lopstr/lopstr91.html#LecoutreDL91 https://doi.org/10.1007/978-1-4471-3494-7_12 Anne Parrain Philippe Devienne Patrick Lebègue Prolog Program Transformations and Meta-Interpreters. 238-251 1991 conf/lopstr/1991 LOPSTR db/conf/lopstr/lopstr91.html#ParrainDL91 https://doi.org/10.1007/978-1-4471-3494-7_17 Christophe Lecoutre Philippe Devienne Patrick Lebègue Une analyse du comportement récursif de programmes Prolog par une interprétation abstraite. 62-69 1991 conf/sas/1991 JTASPEFT/WSA db/conf/sas/wsa91.html#LecoutreDL91 Anne Parrain Philippe Devienne Patrick Lebègue Techniques de transformations de programmes Prolog généraux et validation de méta-interpréteurs. 132-138 1991 conf/sas/1991 JTASPEFT/WSA db/conf/sas/wsa91.html#ParrainDL91

Philippe Devienne Weighted Graphs: A Tool for Studying the Halting Problem and Time Complexity in Term Rewriting Systems and Logic Programming. 157-215 1990 75 Theor. Comput. Sci. 1&2 db/journals/tcs/tcs75.html#Devienne90 https://doi.org/10.1016/0304-3975(90)90066-Q

Philippe Devienne WEIGHTED GRAPHS, A Tool for Expressing the Behavious of Recursive Rules in Logic Programming. 397-404 1988 conf/fgcs/1988 FGCS db/conf/fgcs/fgcs88.html#Devienne88 Philippe Devienne Patrick Lebègue Weighted Graphs: A Tool for Logic Programming. 100-111 1986 conf/caap/1986 CAAP db/conf/caap/caap86.html#DevienneL86 https://doi.org/10.1007/BFb0022662 Arash Ahmadi Mahmood Ahmadi Ammar Aljer Mohammed kamel BenhaouaMohammed Kamel Benhaoua Ioan Marius Bilasco Jean-Louis Boulanger Pierre Boulet Max Dauchet Jean-Paul Delahaye Hammouda Elbez Pierre Falez Mazdak Fatahi Patrick Lebègue Christophe Lecoutre Georges Mariano Philippe Mathieu Anne Parrain Jean-Christophe Routier Mahyar Shahsavari Patrick Taillibert Jean-Marc Talbot Pierre Tirilly Sophie Tison S. Varennes Jörg Würtz Pascal Yim