Add to ORKGUniversités : Université scientifique et médicale de Grenoble et Institut national polytechnique de GrenobleDéfinitions et résultats fondamentaux sur les polyèdres convexes. Opérations sur les polyèdres convexes. contextes abstraits. Système d'équations en avant associe à un programme. Analyse approchée en avant des programmes. Analyse approchée en arrière des programmes. Primitives évoluées. Application de la méthode. Note sur l'implémentation et les performances. comparaison avec des travaux voisins
Le livre a pour but de présenter les fondements théoriques et méthodologiques de l'analyse numérique...
On fait le point sur l'ensemble des travaux menés dans le cadre du projet POLYPHEME. On présente l'a...
Universités : Université scientifique et médicale de Grenoble et Institut national polytechnique de ...
Cette thèse s'inscrit dans la vérification automatique de propriétés numériques de programmes, princ...
Le travail décrit dans cette thèse s'inscrit dans le contexte de la validation de propriétés de sûre...
Le polyèdre associé à un problème d'optimisation combinatoire est l'enveloppe convexe des (vecteurs ...
Dans ce travail de thèse, nous étudions, dans un contexte d'analyse convexe et d'optimisation, la pr...
Nous avons cherché à enrichir l'Analyse Relationnelle (développée par Marcotorchino et Michaud) de d...
A l'aide de quelques exemples illustratifs, des pistes sont évoquées pour combiner les méthodes poly...
National audienceCes dix dernières années, l'apprentissage de métriques a permis une amélioration de...
La vérification de programmes consiste à analyser les comportements possibles de programmes en vue ...
Le propos de cette contribution est de comparer trois démarches représentées dans la littérature réc...
Ce livre s’adresse aux étudiants désireux d’obtenir des bases rigoureuses en analyse. L’auteur s’est...
Objectif : Le but de ce mémoire était de mettre en évidence les relations qui pouvaient exister entr...
L'analyse statique désigne des méthodes automatiques pour extraire des propriétés des programmes. Ma...
Le livre a pour but de présenter les fondements théoriques et méthodologiques de l'analyse numérique...
On fait le point sur l'ensemble des travaux menés dans le cadre du projet POLYPHEME. On présente l'a...
Universités : Université scientifique et médicale de Grenoble et Institut national polytechnique de ...
Cette thèse s'inscrit dans la vérification automatique de propriétés numériques de programmes, princ...
Le travail décrit dans cette thèse s'inscrit dans le contexte de la validation de propriétés de sûre...
Le polyèdre associé à un problème d'optimisation combinatoire est l'enveloppe convexe des (vecteurs ...
Dans ce travail de thèse, nous étudions, dans un contexte d'analyse convexe et d'optimisation, la pr...
Nous avons cherché à enrichir l'Analyse Relationnelle (développée par Marcotorchino et Michaud) de d...
A l'aide de quelques exemples illustratifs, des pistes sont évoquées pour combiner les méthodes poly...
National audienceCes dix dernières années, l'apprentissage de métriques a permis une amélioration de...
La vérification de programmes consiste à analyser les comportements possibles de programmes en vue ...
Le propos de cette contribution est de comparer trois démarches représentées dans la littérature réc...
Ce livre s’adresse aux étudiants désireux d’obtenir des bases rigoureuses en analyse. L’auteur s’est...
Objectif : Le but de ce mémoire était de mettre en évidence les relations qui pouvaient exister entr...
L'analyse statique désigne des méthodes automatiques pour extraire des propriétés des programmes. Ma...
Le livre a pour but de présenter les fondements théoriques et méthodologiques de l'analyse numérique...
On fait le point sur l'ensemble des travaux menés dans le cadre du projet POLYPHEME. On présente l'a...
Universités : Université scientifique et médicale de Grenoble et Institut national polytechnique de ...