Gesproken tekst vertalen, offlinefuncties, synoniemen, vervoegingen, educatieve spelletjes
Publiciteit
Registreer gratis: toegang tot meer resultaten en functies
du lambda
Vertaling van "du lambda" in Engels
of the lambda
Le lambda calcul avec constructeurs peut ainsi être simulé dans un calcul bien connu, et cette traduction nous permet aussi de transformer tout modèle par continuation en modèle du lambda calcul avec constructeurs.
This enables the simulation of the lambda calculus with constructors by a well known calculus, and provides a transformation of every continuation model into a model of the lambda calculus with constructors.
La valeur de retour du lambda (le cas échéant) doit être implicitement convertible en type de retour du délégué.
The return value of the lambda (if any) must be implicitly convertible to the delegate's return type.
Nous en déduisons une approximation stable de cut locus, dans l'esprit du lambda axe médian de Chazal et Lieutier.
We deduce a stable approximation of the cut locus, in the spirit of the lambda medial axis of Chazal and Lieutier.
Dans le cadre d'une commande de conception de mobilier de salles de classe pour la ville de Milan, nous avions déjà expérimenté une version empilée du Lambda à échelle réduite pour les écoles élémentaires.
In connection with a commission to design classroom furniture for the city of Milan, we had already been experimenting with a scaled-down stacking version of the Lambda for elementary schools.
Utilisation du LAMBDA AeroSilento pour un approvisionnement en air comprimé exempt d'huile et à pression réglable
OPERATING INSTRUCTIONS Use of the LAMBDA AeroSilento for pressure-regulated, oil-free air supply
Ce sondage ne tient pas compte de l'avis du lambda, seulement des experts invités.
This survey doesn't take the views of ordinary people into account, only those of invited experts.
Nous concluons en discutant de la pertinence du lambda calcul simplement typé pour la sémantique des langues naturelles.
Les modules lambda peuvent automatiquement compensés l'influence des changements de pression atmosphérique et des gaz d'échappement sur la valeur du lambda.
Influences of atmospheric and exhaust pressure changes on the lambda measurement can automatically be compensated by the lambda modules.
procédé de réglage à deux positions du lambda d'un moteur à combustion interne équipé d'un catalyseur
process for the two-point lambda regulation of an internal combustion engine with a catalytic converter
Un lambda (μ ¿zwischen?) de fonctionnement à mélange riche et de transition vers ce mode de fonctionnement, différent du lambda de fonctionnement à mélange pauvre, peut être prédéterminé.
A lambda value (μ ¿zwischen?) different from the lambda value for the weak operating mode for the rich operating mode and the transition thereto may be pre-set.
Une sonde lambda (26) détecte une grandeur caractéristique du lambda du gaz d'échappement en amont du catalyseur 3 voies (20) et la transmet à un appareil de commande de moteur (28) intégrant un régulateur.
La représentation des changements de données est pris en charge par les types déplaçables et une extension du lambda calcul simplement typé avec dérivées et dérivées partielles offre un language pour raisonner sur l'incrementalité.
Displaceable types represent data-changes while an extension of the simply typed lambda calculus with differentials and partial derivatives offers a language to reason about incrementality.
L'analyse LTRE a montré que la réduction du lambda au cours des années de faible mer de glace était principalement due à la réduction de la survie des femelles adultes et, accessoirement, à la réduction de la reproduction.
LTRE (life table response experiment) analysis showed that the reduction in lambda in years with low sea ice was due primarily to reduced adult female survival, and secondarily to reduced breeding.
Ga naar Premium voor toegang tot miljoenen vertaalvoorbeelden, onbeperkt woorden opslaan en leren, zonder advertenties.
Synoniemen voor du lambda in het Frans
Suggesties
Resultaten: 26. Exact: 26. Verstreken tijd: 51 ms.
