Site complet

CARTE DES CONNAISSANCES

English
DÉVELOPPEMENTS

Philosophie

Cafés philo

Linguistique

L'origine des langues

Divers

Le piège de l'agriculture
PHYSIQUE

Informatique

Code source

Coroutines en C : Linux Windows 10

Compilateur Prolog : Linux Windows 10

Compilateurs Forth :
Pour Pocket PC Windows Mobile
pour Machine Virtuelle Compilée
pour Langage de Programmation Minimal

Raspberry Pi

Comparison of proof assistants

Character strings formatting in web applications

Encoding of web pages

Musique

Analyse en ondelettes

Synthétiseur FM avec création d'intruments

Exemples d'instruments : saturoid resident bizarre etrange exotic

Synthétiseur avec création de son par synthèse harmonique :
pour DOS; pour Windows Zippé

Réseaux de neurones

Résumé du livre "Les réseaux de neurones" de Hervé Abdi

Mémoires hétéro-associatives linéaires en J, d'après Hervé Abdi

Réseau de neurones en C pour DOS et Unix/Linux

Perceptron

Physique

Electromagnetisme et gravitation relativistes, champs de jauge et theorie de Kaluza-Klein

Gauge fields, Kaluza Klein theory, least action principle, relativity, Dirac equations, string theory

Mathématiques

Analyse de données

Régression linéaire mobile exponentielle
Régression polynomiale

Optimisation et jeux différentiels
Transfini Connexions

Métaphysique

Réflexions métaphysiques

Commentaires

Fondements ontologiques

Spirit, consciousness, free will and infinite nesting

Le paradoxe du lapin blanc - Simplicité cachée de l'univers et théories d'univers mathématiques
LOGIQUE

Logique

Fondements de la théorie du traitement de l'information : logique combinatoire et lambda calcul

From Combinatory Logic to Proof Logic
Logique démonstrative v5 v8 Tutorial
FONDEMENTS

jacques.bailhache@gmail.com