14305 shaares
5 résultats
taggé
algorithms
Par ses travaux dans sa thèse, elle a ainsi pu démontrer que les preuves circulaires se comportent réellement comme des preuves, et de façon secondaire fournir des algorithmes de traitement de µ-calcul en vue d’applications pour la vérification des systèmes.
Un script js pour recadrer automatiquement une image en gardant la partie significative.
Voir et entendre comment différent algorithmes de tri fonctionnent
Des algo de conversion d'espaces de couleurs, en PHP.