based on a reduction – French Translation – Keybot Dictionary

Spacer TTN Translation Network TTN TTN Login Deutsch Français Spacer Help
Source Languages Target Languages
Keybot      10 Results   7 Domains
  www.tongshirad.com  
An importer may, but is not required to file a refund claim based on a reduction of the purchase price within four years after the date the goods were imported.
Un importateur peut (sans toutefois y être obligé) faire une demande de remboursement de droits s’appuyant sur une réduction du prix d’achat dans les quatre ans suivant la date d’importation des marchandises.
  2 Hits www.cadth.ca  
The savings in direct health care expenditures for both of these medications were conditional upon the presence of adequate services to support the care of these patients in the community. These savings were based on a reduction in hospitalization, and no savings accrue if patients remain institutionalized due to inadequate community-based care.
Les économies que représentent ces deux médicaments ne sont réalisables que si les patients peuvent bénéficier de services de soutien adéquats en matière de soins communautaires. Ces épargnes sont fondées sur une baisse des cas d'hospitalisation ; elles ne se concrétiseraient pas si les patients demeuraient en établissement pour cause de soins inadéquats dans la collectivité.
  2 Hits www.budget.gc.ca  
There will be no requirement that the partial pension be based on a reduction in work time or that there be a corresponding reduction in salary. The tax rules will allow an employer to offer an employee a partial pension of up to 60 per cent of accrued pension benefits while at the same time allowing the employee to accrue benefits in respect of post-pension commencement employment, regardless of whether the employee is working full- or part-time.
L'interdiction d'accumuler des prestations additionnelles tout en recevant des prestations de pension continuera de s'appliquer aux régimes désignés ainsi qu'aux personnes qui sont rattachées à leur employeur. Les régimes désignés (définis à l'article 8515 du Règlement) sont habituellement des régimes pour une seule personne et des petits régimes qui s'appliquent à des groupes de cadres de direction, des gestionnaires-propriétaires ou d'autres hauts salariés. Un employé est habituellement considéré comme étant rattaché à un employeur (comme le précise le paragraphe 8500(3) du Règlement) s'il a un lien de dépendance avec l'employeur, ou s'il détient, dans le cas d'une société-employeur, au moins 10 % des actions de l'employeur ou d'une société liée.
  www.eu2005.lu  
It was agreed at the WTO that export subsidies and internal aid had to be reduced, and that import duties had to be lowered. This approach was based on a reduction in guaranteed prices and on compensation for falling prices in the form of direct income support payments.
Au sein de l’OMC, il a été convenu que le recours aux restitutions à l’exportation et aux aides intérieures devait diminuer, et également que les droits d’importation devaient baisser. Cette approche se fonde sur deux éléments, à savoir la réduction des prix de garantie et la compensation de ces baisses de prix sous formes d’aides directes au revenu. Le but principal était d’aligner progressivement les prix pratiqués au sein de l’UE sur le niveau (plus bas) des prix mondiaux.
  www.crm.umontreal.ca  
Compared to prior work, our technique does not require the encoding of the input or of the computation; instead, we rely on encryption of the input (together with a method to perform computations on encrypted data), and show that the random choice between three types of input (defining a computational run, versus two types of test runs) suffice. Because the overhead is linear, this shows that verification could be achieved at minimal cost. We also present a new soundness analysis, based on a reduction to an entanglement-based protocol.
Nous donnons un nouveau protocole interactif pour la vérification des calculs quantiques dans le régime élevé de la complexité de calcul. Les résultats sont donnés dans le langage des systèmes de preuve interactive quantique. Plus précisément, nous montrons que tout language dans BQP dispose d'un système de preuve interactive quantique avec un vérificateur classique polynomial (qui peut également préparer des quantique purs d'un qubit), et un prouveur quantique polynômial. Notre protocole est robuste contre tout prouveur---même non-borné. Comparé aux travaux antérieurs, notre technique ne nécessite pas d'encodage; au lieu, nous utilisons une méthode de chiffrement de l'entrée (avec une méthode pour effectuer des calculs sur les données chiffrées), et nous montrons que le choix aléatoire entre trois types d'entrée (définissant soit un calcul, ou deux types de tests) suffisent. Puisque le coût de la construction est linéaire, ceci montre que la vérification pourrait être réalisée à un coût minime. Nous présentons également une nouvelle méthode d'analyse, utilisant la réduction à un protocole basé sur l'intrication.