Taxation optimaleLa théorie de la taxation optimale est un ensemble de théories économiques qui dégagent des règles permettant au système de taxation de minimiser les distorsions et les inefficacités économiques. Les taxes générèrent des distorsions économiques car les agents économiques réagissent et modifient leur comportement. Par exemple, une taxe sur le travail peut inciter les individus à travailler moins qu'ils ne le désireraient, ou même de renoncer à un emploi.
Quantification (signal)En traitement des signaux, la quantification est le procédé qui permet d'approcher un signal continu par les valeurs d'un ensemble discret d'assez petite taille. On parle aussi de quantification pour approcher un signal à valeurs dans un ensemble discret de grande taille par un ensemble plus restreint. L'application la plus courante de la quantification est la conversion analogique-numérique mais elle doit le développement de sa théorie aux problèmes de quantification pour la compression de signaux audio ou .
Modèle de KuramotoLe modèle de Kuramoto, proposé pour la première fois par Yoshiki Kuramoto (蔵本 由紀 Kuramoto Yoshiki), est un modèle mathématique utilisé pour décrire la synchronisation au sein des systèmes complexes. Plus précisément, il s'agit d'un modèle pour le comportement d'un grand nombre d'oscillateurs couplés. Sa formulation a été motivée par le comportement des oscillateurs dans les systèmes chimiques et biologiques, et il a trouvé de nombreuses applications dans les neurosciences ou les oscillations dynamiques de la propagation d'une flamme par exemple.
Algorithme de rechercheEn informatique, un algorithme de recherche est un type d'algorithme qui, pour un domaine, un problème de ce domaine et des critères donnés, retourne en résultat un ensemble de solutions répondant au problème. Supposons que l'ensemble de ses entrées soit divisible en sous-ensemble, par rapport à un critère donné, qui peut être, par exemple, une relation d'ordre. De façon générale, un tel algorithme vérifie un certain nombre de ces entrées et retourne en sortie une ou plusieurs des entrées visées.
