Une généralisation de la théorie des types en $\lambda $-calcul (II)

Une généralisation automorphe des nombres de Stirling

Let [n] be theset {1,2, *.. , n> and CT a given permutation in S,, the symmetric group on [n]. The (unsigned) Stirling numbers of the first kind enumerate the permutations on En] with k cycles and those of the second kind give the number partitions of [n] having k blocks. In this paper we compute the number of permutations on [n] with k cycles and the number of partitions on [n] having k blocks...

Une formalisation des faisceaux et des schémas affines en théorie des types avec Coq

Mise en application des théories sur l'extraction de la toxine tétanique endocellulaire. C II. Action de la trypsine

Une optimisation en temps de calcul pour la prédiction de zones de couverture radioélectriques

This article presents a method which optimises the computation time for the prediction of a radio coverage, whatever the propagation model used. The principle consists in reducing the number of application points of the propagation model in relation to a classical technique. The proposed method is based on a multi resolution analysis of measured signals carried out around 2 GHz, and on an elect...

Un peu de théorie des nombres et de calcul formel au service de l'arithmétique des ordinateurs