Gesproken tekst vertalen, offlinefuncties, synoniemen, vervoegingen, educatieve spelletjes
Publiciteit
Sluit u aan bij Reverso, het is gratis en gemakkelijk!
of type classes
Examples with "of type classes" and their translation in Frans
Résumé en anglais This thesis presents advances in the use of Canonical Structures, a programming language construct of the Coq proof assistant equivalent to the notion of type classes.
Cette thèse présente des avancées dans l'utilisation des Structures Canoniques, un mécanisme du langage de programmation de l'assistant de preuve Coq, équivalent à la notion de classes de types.
The predicted concentrations of the high molecular weight components for the plurality of type classes are then compared with corresponding concentrations measured by downhole fluid analysis for the plurality of measurement stations tu identify the best matching type class.
Les concentrations prévues des composants de haute masse moléculaire pour les plusieurs classes de type sont ensuite comparées aux concentrations correspondantes mesurées par l'analyse de fluide de puits pour les plusieurs stations de mesure afin d'identifier la classe de type correspondant le mieux.
For each of a plurality of type classes corresponding to different subsets of a predetermined set of high molecular weight components, a model is used to predict the concentration of the components of the given type class for the plurality of measurement stations.
Pour chacune de plusieurs classes de type correspondant à différents sous-ensembles d'un ensemble prédéterminé de composants de haute masse moléculaire, un modèle est utilisé pour prévoir la concentration des composants de la classe de type donnée pour plusieurs stations de mesure.
Andere resultaten
It is quite practical to create a base class which all classes of type View-Model inherit.
Il est assez pratique de créer une classe de base dont toutes les classes de type Vue-Modèle hériteront.
We demonstrate the usefulness of these dependent type classes for specifications and proofs and present an economical and powerful implementation of a generalized rewriting tactic based on them.
Nous démontrons l'utilité des classes de types dépendantes pour la spécification et la preuve et présentons une implémentation économique et puissante d'une tactique de réécriture généralisée basée sur les classes.
We demonstrate the usefulness of these dependent type classes for specifications and proofs and present an economical yet powerful implementation of a generalized rewriting tactic based on them.
Nous démontrons l'utilité des classes de types dépendantes pour la spécification et la preuve et présentons une implémentation économique et puissante d'une tactique de réécriture généralisée basée sur les classes.
The unknown class voxels are processed to classify the unknown class voxels into one of the two-material type classes.
Les voxels de catégorie inconnue sont traités en fonction des modèles de gradient d'intensité pour classer les voxels de catégorie inconnue dans l'une des catégories de type à deux matériaux.
The classification of types and classes of special transport equipment and the norms and requirements pertaining to them have been drawn up and set out in ATP for this very reason.
Le classement des types et classes d'engins de transport spéciaux et les normes et prescriptions y relatives ont été établis dans l'ATP à ces fins.
Then we describe an integration and extension of the type classes concept à la Haskell into Coq, providing a simple interpretation of the constructs linked with type classes into the underlying dependent type theory.
D'autre part, nous décrivons l'intégration et l'extension d'un système de "Type Classes" venu d'Haskell à Coq via une simple interprétation des constructions liées aux classes dans la théorie des types sous-jacente.
As for the other age classes of type A, their number decreases progressively with increasing age (Haynes 1987).
Quant aux autres classes d'âge du type A, leur effectif décroît au fur et à mesure de l'augmentation de l'âge (Haynes 1987).
The durability of glycaemic control for Eperzan over time relative to other classes of type 2 antidiabetic agents and placebo is shown in Figure 1 as add-on to metformin.
La durabilité du contrôle glycémique par Eperzan, dans le temps par rapport aux autres classes d'agents antidiabétiques de type 2 et au placebo, en association à la metformine est présenté sur le Schéma 1.
nth-of-type(1) and:first-of-type pseudo-classes have the same meaning. Example: The following selector represents the second of-type(2)
Identique à :first-of-type:last-of-type or :nth-of-type(1):nth-last-of-type(1), mais avec une spécificité inférieure.
Please include examples from different levels and types of classes.
Veuillez donner des exemples de différents niveaux et types de classes.
Synoniemen voor of type classes in het Engels
Woord & uitdrukking van de dag
Afbeelding van de dag
Suggesties
Resultaten: 15685. Exact: 3. Verstreken tijd: 1079 ms.
