Login or register (free and only takes a few minutes) to participate in this question.You will also have access to many other tools and opportunities designed for those who have language-related jobs (or are passionate about them). Participation is free and the site has a strict confidentiality policy.
Spanish to French translations [PRO]
Psychology | | Spanish term or phrase: fuerte | | La escala adaptada cumple los requisitos exigibles a la equivalencia configural, métrica y fuerte. |
| | | forte | Explanation:
Par exemple, en psycholinguistique et autres domaines du genre ?
Une tentative de définition : qui ne permet pas d'abstraire.
On parlera d'équivalence forte ou faible. Aussi d'équivalence elliptique, observationnelle, etc.
"En 2002, nous avons poursuivi le développement, entrepris en 2001, de l'outil Bisimulator (7 500 lignes de code C). Nos travaux ont porté dans deux directions :
La version précédente de Bisimulator prenait en compte uniquement la relation d'équivalence forte, qui ne permet pas d'abstraire les transitions internes présentes dans les graphes. Nous avons étendu Bisimulator pour traiter trois relations d'équivalence faibles : l'équivalence observationnelle, l'équivalence *.a [tau.alpha] et l'équivalence de sûreté. Pour chacune de ces relations, nous avons développé une traduction du problème de la vérification en termes de systèmes d'équations booléennes, permettant ainsi la connexion à la bibliothèque générique Cæsar_Solve (voir § 6.1.7)."
"L'article de Gaifman (1965) contient également deux résultats remarquables: l'équivalence faible entre les grammaires hors-contexte et les grammaires de dépendance de Hays et un théorème d'équivalence forte entre une large classe de grammaires hors-contextes et les grammaires de dépendance de Hays (cf. également Dikovsky & Modina 2000)."
Il y a d'autres références. À vérifier, bien sûr. |
| Selected response from:
Paul Bousquet
Local time: 04:32
| Grading comment Muchas gracias a ambos, el corrector me lo confirmó.
4 KudoZ points were awarded for this answer |
| |
| Discussion entries: 0 |
|---|
Automatic update in 00:
|
10 hrs confidence:  
17 hrs confidence: peer agreement (net): +1 forte
Explanation:
Par exemple, en psycholinguistique et autres domaines du genre ?
Une tentative de définition : qui ne permet pas d'abstraire.
On parlera d'équivalence forte ou faible. Aussi d'équivalence elliptique, observationnelle, etc.
"En 2002, nous avons poursuivi le développement, entrepris en 2001, de l'outil Bisimulator (7 500 lignes de code C). Nos travaux ont porté dans deux directions :
La version précédente de Bisimulator prenait en compte uniquement la relation d'équivalence forte, qui ne permet pas d'abstraire les transitions internes présentes dans les graphes. Nous avons étendu Bisimulator pour traiter trois relations d'équivalence faibles : l'équivalence observationnelle, l'équivalence *.a [tau.alpha] et l'équivalence de sûreté. Pour chacune de ces relations, nous avons développé une traduction du problème de la vérification en termes de systèmes d'équations booléennes, permettant ainsi la connexion à la bibliothèque générique Cæsar_Solve (voir § 6.1.7)."
"L'article de Gaifman (1965) contient également deux résultats remarquables: l'équivalence faible entre les grammaires hors-contexte et les grammaires de dépendance de Hays et un théorème d'équivalence forte entre une large classe de grammaires hors-contextes et les grammaires de dépendance de Hays (cf. également Dikovsky & Modina 2000)."
Il y a d'autres références. À vérifier, bien sûr.
Reference: http://www.inria.fr/rapportsactivite/RA2002/vasy/module8.htm...
Reference: http://www.li.univ-tours.fr/taln-recital-2001/Actes/tome2_PD...
| Paul Bousquet
Local time: 04:32
Native speaker of:  French
PRO pts in category: 4
|
| | Grading comment | Muchas gracias a ambos, el corrector me lo confirmó. |
|
| | Login to enter a peer comment (or grade) |
Return to KudoZ list
|
| | | | X Sign in to your ProZ.com account... | | | | |
| KudoZ™ translation helpThe KudoZ network provides a framework for translators and others to assist each other with translations or explanations of terms and short phrases. See also: Search millions of term translations  |
The translation workplace 
