Devienne, Philippe, 1956-....
VIAF ID: 266500215 ( Personal )
Permalink: http://viaf.org/viaf/266500215
Preferred Forms
Works
Title | Sources |
---|---|
Amélioration des réseaux de neurones impulsionnels entraînés avec la STDP pour la reconnaissance d’images. | |
Calcul non conventionnel avec des nanocomposants memristifs : du calcul numérique aux accélérateurs neuromorphiques. | |
Co-design and refinement using B : BHDL tool, platform for digital component design. | |
Co-design et raffinement en B BHDL tool, plateforme pourr la conception de composants numériques | |
Graphes orientés pondérés un outil pour la programmation logique | |
Improving spiking neural networks trained with spike timing dependent plasticity for image recognition | |
Interactive analysis of spiking neural networks simulation traces | |
Terminaison, satisfiabilité, puissance calculatoire d'une clause de Horn binaire | |
Termination, Satisfiability Computational Power Of One Binary Horn Clause. | |
Transformations de programmes logiques et sémantique opérationnelle | |
Unconventional computing using memristive nanodevices : from digital computing to brain-like neuromorphic accelerator | |
Visualisation interactive de traces de simulation de réseaux neurones matériels à impulsions. | |
The weighted oriented graphs : a tool for the termination problem and the time complexity study in rewriting systems and in logic programming. |