Examples with "as the lambda" and their translation in Frans
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.
the Kappa Taus aren't as much of a threat as the lambda sigs, but that doesn't mean we shouldn't bring our best game.
Les Kappa Taus ne sont pas une aussi grande menace que les Lambda Sigs, mais cela ne veut pas dire que nous devons prendre ça à la légère.
FIXED: Error checking bug in lambda expressions using 'true/0' as the lambda goal.
FIXE: Erreur lors de la vérification de l'erreur dans les expressions lambda à l'aide de 'true / 0' comme lambda
Andere resultaten
Data can nevertheless be simulated with appropriate functions as in the lambda calculus.
L'utilisateur peut cependant simuler d'autres données en appelant des fonctions adéquates, comme en lambda-calcul.
The standard cosmological model is known as the Lambda-CDM model.
Le modèle standard de la cosmologique est de type ΛCDM.
We follow a general approach where computing with coercions can be seen as computing in the lambda-calculus but keeping track of which parts of terms are coercions.
Nous suivons une approche générale où le calcul avec des coercions peut être vu comme une réduction dans le lambda-calcul gardant trace de la partie des termes qui sont des coercions.
Abstract: Explicit substitutions have been introduced as a refinement of the lambda-calculus - the usual formalismused to study the semantic of programming languages.
Résumé : Les substitutions explicites ont été introduites comme un raffinement du lambda-calcul, celui-ci étant leformalisme utilisé pour étudier la sémantique des langages de programmation.
All the primitive notions of first-order logic and set theory, including truth values, connectives and quantifiers, set-membership and set-equality, get a canonical interpretation as terms of the lambda-calculus with only a few term constants added.
Toutes les notions primitives de la logique du premier ordre et de la théorie des ensembles, valeurs de vérité, connecteurs, quantificateurs, appartenance et égalité, y sont traduites par des termes du lambda-calcul enrichi de quelques constantes.
As regards the lambda calculation, the generally used "shortened Brettschneider formula" has been proposed, for which the above-mentioned gas constituents are necessary.
En ce qui concerne le calcul des valeurs lambda, il a été proposé d'appliquer la formule abrégée de Brettschneider, qui est généralement utilisée, ce qui implique de connaître les valeurs correspondant aux constituants gazeux susmentionnés.
If you use a WinjNet sensor (connected to the ECU by CAN-bus), as for example the Lambda controller DigiLSU, it is mandatory to update your ECU.
Si vous utilisez un capteur WinjNet (connecté au calculateur par CAN-BUS), comme par exemple le contrôleur Lambda DigiLSU, il est impératif de mettre à jour votre calculateur.
An employee at Sony made a gesture to a disabled player and made a special controller, to allow him to play as the players lambda.
Un employé de chez Sony a fait un geste envers un joueur handicapé et a fabriqué une manette spéciale, pour lui permettre de jouer comme les joueurs lambda.
We defined and estimated a loss parameter lambda as the proportion of the lake's April P concentration lost through sedimentation and outflow during the following year.
Nous avons défini et estimé un paramètre de perte lambda correspondant à la proportion de la teneur du lac en P au mois d'avril qui est perdue par sédimentation et par évacuation au cours de l'année suivante.
Cloudbees makes it easy to use AWS Lambda as the endpoint of a Continuous Delivery pipeline using Jenkins.
Cloudbees permet d'utiliser facilement AWS Lambda comme point de terminaison d'un pipeline de livraison continue à l'aide de Jenkins.
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.