PONS OpenDict
Deseja acrescentar uma palavra, uma frase ou uma tradução?
Envie-nos um novo registo para o PONS OpenDict. Os projetos apresentados são analisados pela equipa editorial da PONS e incluídos nos resultados em conformidade.
Exemplos unilingues (não verificados pela redação)
Sélection parcimonieuse : le lasso permet de sélectionner un sous-ensemble restreint de variables (dépendant du paramètre λ {displaystyle lambda }).
fr.wikipedia.org Coq est fondé sur le calcul des constructions, une théorie des types d'ordre supérieur, et son langage de spécification est une forme de lambda-calcul typé.
fr.wikipedia.org En pratique, le lasso est testé pour différentes valeurs de λ {displaystyle lambda }.
fr.wikipedia.org En multipliant par λ {displaystyle lambda ,} la structure géométrique est préservée, prenant les hyperboles par elles-mêmes et le cône nul par lui-même.
fr.wikipedia.org Fixons λ 1, λ 2, …, λ d + 2 {displaystyle lambda _{1},lambda _{2},dots,lambda _{d+2}} une telle solution.
fr.wikipedia.org