Premier ordre
Premiers pas vers une résolution du problème de satisfaisabilité pour la logique monadique du premier ordre par une reformulation en logique des connaissances subjective mono-agent
... du premier ordre, et il est bien connu que le problème de sa- tisfaisabilité associé est ...du premier ordre vers une ex- tension de la logique de la connaissance S5, puis à résoudre le ...
11
Réseaux de preuves pour la logique linéaire additive du premier ordre
... premier ordre R´ esum´ e : Nous pr´ esentons des r´ eseaux de preuve canoniques pour la logique lin´ eaire additive du premier ordre, le fragment de la logique lin´ eaire avec somme, produit ...
28
Sur la convergence d'un système différentiel de premier ordre, vectoriel, ordinaire, linéaire non-homogene et non-autonome
... Résumé Nous présentons une étude détaillée du omportement asymptotique de la solution d'un système diérentiel de premier ordre, ve
toriel, ordinaire, linéaire non-homogene et non- autonome. Ce système ...
109
Analyse de groupe d’un modèle de la plasticité idéale planaire et sur les solutions en termes d’invariants de Riemann pour les systèmes quasilinéaires du premier ordre
... Le premier volet est constitué d’une analyse du groupe de symétries de systèmes décrivant l’écou- lement planaire de matériaux à la plasticité ...du premier ordre fon- dées sur l’introduction de ...
249
Analyse asymptotique de systèmes hyperboliques quasi-linéaires du premier ordre
... des sciences : théorie cinétique, mécanique des fluides non visqueux, magnéto hydrodyna- mique, dynamique des gaz non visqueux, trafic routier, flux d’une rivière ou d’un glacier, processus de sédimentation, processus ...
121
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.
... Le premier outil utilis´e dans notre d´emarche pour raisonner sur un mod`ele math´ematique est le prouveur ...du premier ordre est satisfiable et dans ce cas de retourner une ...
216
Algorithmes de premier ordre pour la projection sur une contrainte de variation totale
... gabriel.peyre@ceremade.dauphine.fr,jalal.fadili@greyc.ensicaen.fr Résumé – Cet article propose un nouvel algorithme pour calculer la projection sur l’ensemble des images dont la variation totale est bornée par une ...
5
Aide mémoire pour le calcul de la matrice radiale au premier ordre par la méthode vectorielle
... Au premier ordre, la composante longitudinale de la vitesse relative mesurée dans le référentiel mobile de la particule de référence est à multiplier par le facteur "g[r] ...
36
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
... Le premier outil utilis´e dans notre d´emarche pour raisonner sur un mod`ele math´ematique est le prouveur ...du premier ordre est satisfiable et dans ce cas de retourner une ...
216
Evaporation d'une goutte de liquide pur dans sa vapeur près du point critique : pertinence de l'hypothèse quasi-stationnaire et corrections au premier ordre
... Une analogie peut eˆ tre envisag´ee n´eglig´e dans les e´ quations 2 et 3 et o`u %P3 entre cette couche limite et le saut en densit´e a` l’interface liquide-vapeur dans les cas nettement[r] ...
6
Nouvelles recherches sur les notions infinitésimales directes du premier ordre - Tome (1934) no. 159
... 2° Si le ctg n'était pas plan, on pourrait trouver trois demi-tan- gentes en M, non coplanaires, situées dans trois plans verticaux différents, mais rencontrées par un même plan O vertic[r] ...
51
Commande optimale quadratique des Systèmes de Complémentarité Linéaire : conditions nécessaires du premier ordre, analyse numérique
... Secondly, we develop two numerical methods (and the corresponding on-line available codes) for solving this problem: the first one in Section 3 is a direct method using MPEC solvers, the[r] ...
38
Sur les points de Peano d'une équation différentielle du premier ordre
... tinctes par hypothèse : elles déterminent dans S une région d'aire posi- tive d'où est exclu tout point de PEANO, donc toute autre ligne X ; à de telles courbes X nous pouvons donc att[r] ...
40
Étude des points singuliers pour une équation linéaire du premier ordre - Tome (1932) no. 141
... Or, si l'équation (4) admet pour solution une fonc- tion holomorphe nulle pour x = 0 celle-ci étant abso- lument convergente à l'intérieur de tout son cercle de convergence, il en est de[r] ...
58
Homogeneisation d'equations hyperboliques du premier ordre. Application aux milieux poreux
... L’archive ouverte pluridisciplinaire HAL, est destinée au dépôt et à la diffusion de documents scientifiques de niveau recherche, publiés ou non, émanant des établissements d’enseignemen[r] ...
36
Sur des problèmes de viabilité du premier et du second ordre et sélection de Steiner
... 3) Un R´esultat de Viabilit´e pour une Inclusion Diff´erentielle non Convexe du Second ordre. 4) Une S´election Remarquable de Multifonctions `a Valeurs Convexes Compactes: S´election de Steiner. Le chapitre 1 ...
72
Solutions multiples pour des problèmes aux limites du premier et du second ordre avec opérateur différentiel non linéaire φ
... Le problème du premier ordre sous la forme (φ(u(t))) 0 = f (t, u(t)), p.p.t ∈ [0, T ] u(0) = u(T ) ou φ(u(0)) = r; (0.0.3) a été étudié par de nombreux auteurs dans le cas particulier φ(u) = u, qui font ...
99
Sur les solutions d'équations différentielles de Stieltjes du premier et du deuxième ordre
... un premier effort d’unification, qui sera longtemps poursuivi, jusqu’en 2014, où Rodrigo López Pouso et Adrián Rodríguez introduisent dans [PR] la dérivée de Stieltjes, faisant référence à l’intégrale de ...au ...
111
Étude de l'effet d'un traitement occlusif sur la perception de stimuli de premier et deuxième ordre chez des sujets amblyopes
... Finalement, la moyenne des résultats obtenus pour l’oeil sain des sujets amblyopes enfants montre une atteinte au niveau de la perception de stimuli de premier ordre, tandis que la moyen[r] ...
97
Violence et ordre politique au Nigeria
... de premier rang capables de médiatiser un grand nombre de clients et d’utiliser leurs ressources personnelles ou celles de l’État pour les entretenir et pour financer des campagnes électorales de plus en plus ...
25