m

Documents  Universite Aix Marseille Ii | enregistrements trouvés : 13

O
     

-A +A

P Q

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

Localisation : Colloque 1er étage (MARS)

Abstracts

00A79

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

These 3eme cycle

Localisation : Disparu

algorithme polynomial # base optimale # fonction objective # karmarkar # prommagation optimisation lineaire # simplexe # solution de base # sys teme lineaire # tr ansformation project ive

68Nxx ; 68Q25

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- pag. mult.

These 3ème cycle

Localisation : Ouvrage RdC (BRIE)

densité a un électron # fonction d'ondes atomiques # operéteur de schrodinger # théorie spectrale

35J10 ; 81G45

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

These d'habilitation

Localisation : Bibliothèque de Jussieu

ensembles normaux # substitutions

11J71 ; 11K06 ; 11K16 ; 68R05 ; 68R10

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- 147 p.

Thèse d'état université d'Aix-Marseille II mathématiques 1989

Localisation : Ouvrage RdC (MAUD)

automate fini # ensemble normal # équirépartition modulo 1 # extension algébrique de degré fini de q # famille de pisat # graphe orienté # produit infini de matrice # substitution sur un alphabet fini

11-02

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- 32 p.

Localisation : Ouvrage RdC (IMBE)

contrainte redondante # logique avec contrainte # programmation logique # programmation par contrainte # resclution de contrainte linéaire # élimination de variables

41A29 ; 68M17

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- 164 p.

Localisation : Ouvrage RdC (IMBE)

contrainte redondante # logique avec contrainte # programmation logique # programmation par contrainte # resclution de contrainte linéaire # élimination de variables

41A29 ; 68M17

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- 144 p.

Localisation : Ouvrage RdC (ISOA)

algorithme # procédure formelle # programmation # structure de commutation # théorie des graphes

05C85 ; 06E30 ; 68R10 ; 94C10 ; 94C15

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- 123 p.

Localisation : Ouvrage RdC (LAI)

algorithme # calcul # construction des tabulations # enlacement # génération des stellaires # intelligence artificielle # théorie des noeuds

52Bxx ; 68Txx

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- 105 p.

Localisation : Ouvrage RdC (LIAR)

O-topologie # O°-topologie # corps global # courbe algébrique # hauteur # nombre algébrique # transformation rationnelle

11G05 ; 11G10 ; 11R04 ; 11Rxx ; 14L10

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- 32 p.

Localisation : Ouvrage RdC (IMBE)

contrainte linéaire sur nombre réel # contrainte redondante # programmation en logique avec contrainte # pédagodie # résolution de contrainte linéaire en programmation par contr # élimination de variable dans les diséquations (non =) # élimination de variables dans les inéquations (< ou =)

68N17

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- 118 p.

Localisation : Ouvrage RdC (SAMU)

construction de base de topologie # dual d'espace de Banach # espace de fonctions continues # primarité des produits itérés d'espaces de suites # sous-espace complémenté de C(S)

46Bxx

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- 73 p.

Localisation : Ouvrage RdC (ZHOU)

cellularisation # classe de Chern # classe de Chern bivariante # géométrie analytique # obstruction # singularité # théorie bivariante # topologie algébrique

55N07 ; 55N10 ; 55N25 ; 55R10 ; 55R25

... Lire [+]

Z