Knowledge Tree

researcher / Philippe Devienne

Philippe Devienne

at_id:

orcid_id:

Disciplines:

Computer sciences

Philosophy

Edit Merge See Links

Thesis:

Une approche analytique de la philosophie des droits de l’animal

Transformations de programmes logiques et sémantique opérationnelle

Les graphes orientés pondérés : un outil pour l'étude de la terminaison et de la complexité dans les systèmes de réécritures et en programmation logique

Directed Thesis:

Improving spiking neural networks trained with spike timing dependent plasticity for image recognition

Unconventional computing using memristive nanodevices : from digital computing to brain-like neuromorphic accelerator

Co-design et raffinement en B : BHDL tool, plateforme pourr la conception de composants numériques

Terminaison, satisfiabilité, puissance calculatoire d'une clause de Horn binaire