Skip to contents

  3. Le, Manh Hung [Author] ; Limoges [Contributor]; Adly, Samir [Contributor]

    Études mathématiques et numériques de la complémentarité aux valeurs propres et des problèmes d'accélération dans l'optimisation du premier ordre ; Mathematical and numerical studies of eigenvalue complementarity problems, and acceleration methods in first-order optimization

    Thesis
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    theses.fr, 2023-12-20

  5. Vassiliev, Pavel [Author] ; Paris Est [Contributor]; Sankt-Peterburgskij gosudarstvennyj universitet [Contributor]; Beauquier, Danièle [Contributor]; Soloviev, Igor [Contributor]

    Développement et réalisation d'un simulateur de machines à états abstraits temps-réel et model-checking de formules d'une logique des prédicats temporisée du premier ordre ; Development and implementation of a simulator for abstract state machines with real time and model-checking of properties in a language of first order predicate logic with time

    Thesis
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    theses.fr, 2008-11-27

  8. Peyras, Quentin [Author] ; Toulouse, ISAE [Contributor]; Chemouil, David [Contributor]; Brunel, Julien [Contributor]

    Propriété du domaine borné pour la logique temporelle linéaire du premier ordre et applications à la vérification de systèmes à états infinis ; Bounded domain property for first order linear temporal logic and applications to the verification of infinite-state systems

    Thesis
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    theses.fr, 2022-01-14

  9. Jerhaoui, Othmane [Author] ; Institut polytechnique de Paris [Contributor]; Zidani, Hasnaa [Contributor]

    Viscosity theory of first order Hamilton Jacobi equations in some metric spaces ; Théorie de viscosité des équations de Hamilton Jacobi du premier ordre sur certains espaces métriques

    Thesis
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    theses.fr, 2022-12-15

  10. Cantenot, Jérôme [Author] ; Besançon [Contributor]; Bouquet, Fabrice [Contributor]

    Stratégies de génération de tests à partir de modèles UML/OCL interprétés en logique du premier ordre et système de contraintes. ; Test generation strategies from UML/OCL models interpreted with first order logic constraints system

    Thesis
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    theses.fr, 2013-11-13

  11. Lahaye, Edmond [Author]

    Définition d'un principe de limitation de modules dans la détermination et le calcul des intégrales des équations différentielles ordinaires par des itérations intégrales convergentes. Application à des systèmes du premier ordre

    Articles
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Published in: Bulletin de la Classe des sciences ; Vol. 57, n° 1, pp. 359-377

  12. Krivosheĭn, Leonid Evgenʹevich [Author]; Mangeron, Démètre J. [Author]; Oguztöreli, Mehmet N. [Author]; Silas, Gheorghe [Author]

    Études des systèmes mathématiques aux opérateurs non linéaires. I. Problème généralisé de valeurs initiales pour une nouvelle classe d'équations intégro-différentielles aux opérateurs non linéaires et aux dérivées partielles du premier ordre

    Articles
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Published in: Bulletin de la Classe des sciences ; Vol. 60, n° 1, pp. 387-395