Gesproken tekst vertalen, offlinefuncties, synoniemen, vervoegingen, educatieve spelletjes
Publiciteit
Sluit u aan bij Reverso, het is gratis en gemakkelijk!
quantifier elimination
Vertaling van "quantifier elimination" in Frans
élimination des quantificateurs
élimination de quantificateurs
A visualization unit (14) visualizes the relational expression obtained as the result of processing by the quantifier elimination unit (13).
Une unité de visualisation (14) visualise l'expression relationnelle obtenue en conséquence du traitement par l'unité d'élimination des quantificateurs (13).
We prove quantifier elimination in a natural language and compute the dp-rank of these expansions: it equals the number of distinct p-adic valuations considered.
Nous montrons l'élimination des quantificateurs dans un langage naturel et calculons le dp-rang d'une telle expansion : il est égal au nombre de valuations considérées.
He is the inventor of garbage collection by reference counting and of the method of quantifier elimination by cylindrical algebraic decomposition.
Il est l'inventeur du ramasse-miettes par comptage de références, et de la méthode de décomposition cylindrique algébrique, en calcul formel.
This work proposes an interval set-membership localization method based on image measurements; a quantifier elimination method for taking into account the uncertainties on the landmarks positions; and a method for solving the set-membership cooperative localization problem.
Ces travaux proposent une méthode de localisation ensembliste par intervalles basée sur l'observation d'amers géoréférencés ; l'élimination de quantificateur pour la prise en compte des incertitudes sur les positions des amers ; et une méthode pour résoudre le problème de localisation coopérative ensembliste.
QRC solving is an active research domain for which two radically different approaches are proposed: the symbolic quantifier elimination and the approximate methods.
La résolution de QRCs est un domaine de recherche très actif pour lequel deux approches radicalement différentes sont proposées: l'élimination symbolique de quantificateurs et les méthodes approximatives.
In this context we propose a new heuristic for the generation of potential invariants by combining an iterated preimage calculus by quantifier elimination with convex hull computations, called HullQe.
Dans ce contexte nous proposons une nouvelle heuristique de génération d'invariants potentiels combinant un calcul de pré-image par élimination de quantificateurs et des calculs d'enveloppes convexes, baptisée HullQe.
We also detail our improvements to the quantifier elimination algorithm by David Monniaux in 2008, so that it scales to computing preimages on our systems.
Nous détaillons également nos améliorations de l'algorithme d'élimination de quantificateurs de Monniaux afin d'assurer le passage à l'échelle du calcul de pré-image sur nos systèmes.
We give a geometric proof of the quantifier elimination theorem for logarithmico-exponential functions, already proved by van den Dries, Macintyre and Marker.
Théorème de préparation pour les Nous donnons une preuve géométrique du théorème d'élimination des quantificateurs pour les fonctions logarithmico-exponentielles prouvé initialement par van den Dries, Macintyre et Marker.
Quantifier elimination and cylindrical algebraic... - 9782688042480 - buy book
Quantifier elimination and cylindrical algebraic... - 9782688042480 - acheter le livre
In the first case we identify a theory and study several extensions of it. We prove quantifier elimination in each of these extensions, and use it to easily conclude that they are NIP.
Nous prouvons une élimination des quantificateurs dans chacune des ses extensions, grâce à laquelle la NIP en découle facilement.
In the second chapter we study the notion of amalgamation which is central in the positive models theory.It will allow us to study the conservation of topologic separation between the positives elementary extensions, and characterize the theories of Robinson and quantifier elimination in some classes of structures.
Elle nous permettra d'étudier la conservation de la séparation topologique entre les extensions élémentaires positives, et de caractériser les théories de Robinson et l'élimination des quanteurs dans certaines classes des structures.
Luc Bélair, Françoise Point, Quantifier elimination in valued Ore modules, Journal of Symbolic Logic, 75 (2010), pp. 1007-1034, Association for Symbolic Logic.
Luc Bélair, Françoise Point, Élimination des quantificateurs dans les équations aux différences linéaires sur les vecteurs de Witt, C. R..
QRC solving is an active research domain for which two radically different approaches are proposed: the symbolic quantifier elimination and the approximate methods.
La résolution de QRCs est un domaine de recherche très actif pour lequel deux approches radicalement différentes sont proposées: l'élimination symbolique de quantificateurs et les méthodes approximatives.
Synoniemen voor quantifier elimination in het Engels
Woord & uitdrukking van de dag
Afbeelding van de dag
Resultaten: 13. Exact: 13. Verstreken tijd: 25 ms.
