We konden deze vermelding niet vinden. Er worden benaderende resultaten weergegeven. Controleer je spelling of stel voor deze term aan het woordenboek toe te voegen.
classes of structures
Ces deux classes de structures définissent deux notions distinctes de validité.
Nous les utilisons pour étudier le problème de la définissabilité des classes de structures à l'aide du langage modal.
We use these notions to study the problem of definability of classes of structures with modal formulas.
Enfin, il est possible à partir d'un ensemble de formules E de généraliser les classes spéciales et autres classes de structures.
At last, it is possible from a set of formulas E to generalize special and other classes of structures.
Le choix du degré de fiabilité pour diverses classes de structures et d'événements doit prendre en compte les éléments c i-après
The choice of the degree of reliability for classes of structures and events shculd take into account the following
Le but est d'approfondir notre compréhension des interactions entre les dimensions de comptage pseudo-finies et les propriétés algébriques de leurs structures sous-jacentes, ainsi que de la classification de certaines classes de structures en fonction de leurs dimensions.
The aim is to deepen our understanding of how pseudofinite counting dimensions can interact with the algebraic properties of underlying structures and how we could classify certain classes of structures according to their counting dimensions.
Pour finir, on s'intéresse au théorème de préservation par extension pour des classes de structures finies acycliques.
Finally, we are interested in the extension preservation theorem on classes of acyclic finite structures.
La référence (2) rapporte que des mesures de constante de vitesse d'hydrolyse pour 13 classes de structures organiques peuvent être de grande précision.
It is reported in reference (2) that measurements of hydrolysis rate-constants on 13 classes of organic structures can be of high precision.
Quand le programme fédéral était en place voilà quelques années, son budget était de 1 million de dollars pour toutes les classes de structures à la grandeur du pays.
The federal program, when it existed just a few years ago, was $1 million for all classifications of structures right across the country.
Durant ma thèse j'ai commencé la mise place de la construction par apprentissage d'une nouvelle fonction de coût, adaptée aux nouvelles classes de structures que nous avons défini.
During my PhD I started to define new cost functions adapted to the new structure classes by a machine learning approach.
La reconnaissance immunitaire innée repose sur les récepteurs de motifs moléculaires (PRR, pour pattern recognition receptor) qui reconnaissent les grandes classes de structures moléculaires communes à tous les groupes de microorganismes.
Innate immune recognition relies on pattern recognition receptors (PRR), which recognise broad classes of molecular structures common to groups of microorganisms.
Un modèle basé sur la fragmentation Notre but est de produire un modèle physique des variations de la TSI. Plutôt que d'utiliser des corrélations empiriques entre diverses classes de structures photosphériques, nous utilisons un modèle physique simplifié pour faire le lien évolutif entre ces structures.
Our goal has been to produce a physical model for TSI variations, i.e., a model based not on empirical correlations between various classes of surface magnetic structures, but rather on a (simplified) physical model linking these structures.
Atserias, Dawar et Grohe ont montré en 2005 que ce théorème est satisfait pour des classes de structures finies d'arité au plus 2 et acycliques au sens des graphes.
Atserias, Dawar and Grohe hâve proved in 2005 that this theorem is satisfîed for classes of finite structures of arity at most 2 and acyclic in the graph sense.
Résumé : Cette thèse porte sur l'expressivité de la logique du premier ordre et d'autres formalismes sur différentes classes de structures ordonnées, parmi lesquelles les MSC (Message Sequence Charts), un modèle standard pour les exécutions de systèmes concurrents avec échange de messages.
Abstract: This thesis is concerned with the expressive power of first-order logic and other formalisms over different classes of ordered structures, among which MSCs (Message Sequence Charts), a standard model for executions of message-passing systems.
Potentieel gevoelige of ongepaste informatie
Er worden alleen voorbeelden gegeven om u te helpen het woord of de woordcombinatie waarop u hebt gezocht, te vertalen. Deze worden niet door ons geselecteerd of gevalideerd en kunnen ongepaste taal bevatten. Wij vragen u melding te maken van voorbeelden die dienen te worden aangepast of verwijderd. Vertalingen met grof of informeel taalgebruik worden meestal rood of oranje gemarkeerd.
Er zijn geen resultaten gevonden voor deze term.
Synoniemen voor classes de structures in het Frans
