Vertaling van "du lambda" in Engels
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.
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.
Dans les alphabets grecs archaïques, le forme et l'orientation du lambda varient.
In early Greek alphabets, the shape and orientation of lambda varied.
Nous justifions aussi notre choix du lambda lifting en implémentant eCPC, une variante de CPC utilisant les environnements, et en comparant ses performances à celles de CPC.
We also justify the choice of lambda lifting by implementing eCPC, a variant of CPC using environments, and comparing its performances to CPC.
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.
Résumé : Le lambda calcul avec constructeurs (de Arbiser, Miquel et Rios) est une extension du lambda calcul avec un mécanisme de filtrage.
Abstract: The lambda calculus with constructors was introduced by Arbiser, Miquel and Rios in the early 2000's as an extension of lambda calculus with pattern matching features.
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
Nous concluons en discutant de la pertinence du lambda calcul simplement typé pour la sémantique des langues naturelles.
We conclude by discussing the adequacy of simply typed lambda calculus for natural language semantics.
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.
A lambda probe (26) detects a value characteristic of an exhaust-gas lambda number upstream of the 3-way catalytic converter (20), and transmits said value to an engine control unit (28) with an integrated regulator.
