Traduction de «Langage libre de quantificateurs » (Français → Anglais) :

TERMINOLOGIE

langage libre de quantificateurs
quantifier-free language

attribution de vedettes-matières libres | indexation basée sur le langage libre | indexation libre
free indexing | indexing by free subject headings

notation libre de quantificateurs
quantifier-free notation

formule libre de quantificateurs
quantifier-free formula

langage libre
free language

TRADUCTIONS EN CONTEXTE

Lorsque nous parlons de politique d'admission libre, dans le langage que je suis habituée d'utiliser à cet égard, cela veut dire que chaque enfant est admis après présentation d'une demande à la condition qu'il y ait suffisamment de place, c'est-à-dire des pupitres, des chaises, du personnel enseignant pour cet élève.
When we talk about an open policy, in the language that I am used to with respect to open policy, it means every child is admitted upon application provided there is sufficient room i.e. desks, chairs, teachers available for that particular student.

Un comité est libre de dire ce qu'il veut dans son rapport, tant et aussi longtemps qu'il respecte le langage parlementaire et la pertinence du sujet.
A committee is free to report whatever it wants, as long as it's in parliamentary language and relevant to the topic.

Son langage prudent ne laisse transparaître que quelques signes d’ingérence et les objectifs omniprésents relatifs à la création d’une «zone de libre-échange euro-méditerranéenne» et au «libre-échange», accompagnés, bien sûr, de palliatifs et autres discours «sociaux» et «environnementaux».
Its careful language reveals only a few hints of interference and the omnipresent objectives of the ‘establishment of a Euro-Mediterranean free-trade area’ and ‘free trade’, accompanied, of course, by ‘social’ and ‘environmental’ palliatives and rhetoric.

- Logiciels, grilles de calcul, architecture de distribution de services, sécurité et fiabilité: technologies, outils et méthodes pour la conception et la validation de logiciels, architectures et systèmes de couches intermédiaires de grande qualité, dynamiques et sûrs, constituant la base de services à forte intensité de connaissances, y compris leur fourniture en tant que ressources de base et pour des services de distribution et des technologies, des outils et des méthodes de conception et de validation de grande qualité ; infrastructures axées sur les services, interopérables et sans échelle, virtualisation de ressources, y compris des plateformes spécifiques à certains domaines, selon une optique de grille, systèmes d'exploitation réseau-centriques; logiciels ouverts; plateformes ouvertes et approches collaboratives pour le développement et la validation de logiciels, y compris les logiciels libres/ouverts; services et systèmes; outils de composition, y compris les langages de programmation ; maîtrise des comportements émergents de systèmes complexes; amélioration de la fiabilité et de la résistance de systèmes et services à grande échelle, distribués et connectés par intermittence; systèmes et services sûrs et fiables, notamment contrôle d'accès et authentification respectueux de la vie privée, politiques de sécurité et de confiance dynamiques, métamodèles de fiabilité et de confiance; introduction de modèles de logiciels dans l'industrie .
- Software, Grids, service-distribution architecture, security and dependability: technologies, tools and methods for developing and validating high-quality dynamic and trusted software, architectures and middleware systems that underpin knowledge-intensive services, including their provision as utilities and for high-quality distribution services and technologies, tools and methods for development and validation ; service-oriented, interoperable and scale-free infrastructures, grid-like virtualisation of resources, including domain-specific platforms, network-centric operating systems; open source software; open platforms and collaborative approaches for development and validation of software including free, libre and open source software , services and systems; composition tools including programming languages ; mastering emergent behaviours of complex systems; improving dependability and resilience of large-scale, distributed and intermittently connected systems and services; secure and trusted systems and services, including privacy-aware access control and authentication, dynamic security and trust policies, dependability and trust meta-models; introduction of software models in industry .

- Logiciels, grilles de calcul, architecture de distribution de services, sécurité et fiabilité: technologies, outils et méthodes pour la conception et la validation de logiciels, architectures et systèmes de couches intermédiaires de grande qualité, dynamiques et sûrs, constituant la base de services à forte intensité de connaissances, y compris leur fourniture en tant que ressources de base et pour des services de distribution et des technologies, des outils et des méthodes de conception et de validation de grande qualité; infrastructures axées sur les services, interopérables et sans échelle, virtualisation de ressources, y compris des plateformes spécifiques à certains domaines, selon une optique de grille, systèmes d’exploitation réseau-centriques; logiciels ouverts; plateformes ouvertes et approches collaboratives pour le développement et la validation de logiciels, y compris les logiciels libres/ouverts; services et systèmes; outils de composition, y compris les langages de programmation; maîtrise des comportements émergents de systèmes complexes; amélioration de la fiabilité et de la résistance de systèmes et services à grande échelle, distribués et connectés par intermittence; systèmes et services sûrs et fiables, notamment contrôle d’accès et authentification respectueux de la vie privée, politiques de sécurité et de confiance dynamiques, métamodèles de fiabilité et de confiance; introduction de modèles de logiciels dans l’industrie.
- Software, Grids, service-distribution architecture, security and dependability: technologies, tools and methods for developing and validating high-quality dynamic and trusted software, architectures and middleware systems that underpin knowledge-intensive services, including their provision as utilities and for high-quality distribution services and technologies, tools and methods for development and validation; service-oriented, interoperable and scale-free infrastructures, grid-like virtualisation of resources, including domain-specific platforms, network-centric operating systems; open source software; open platforms and collaborative approaches for development and validation of software including free, libre and open source software, services and systems; composition tools including programming languages; mastering emergent behaviours of complex systems; improving dependability and resilience of large-scale, distributed and intermittently connected systems and services; secure and trusted systems and services, including privacy-aware access control and authentication, dynamic security and trust policies, dependability and trust meta-models; introduction of software models in industry.

Barbara Cassin (France), directrice de recherches au Centre national de la recherche scientifique, à Paris ; Abram de Swaan (Pays-Bas), professeur de sociologie à l’Université d’Amsterdam ; Rita Franceschini (Italie), professeur des sciences du langage et de linguistique et rectrice de l’Université libre de Bozen, à Bolzano ; Branislav Hochel (Slovaquie), professeur de traduction à l’Université Comenius de Bratislava ; Hanna Komorowska (Pologne), professeur de linguistique appliquée et d’enseignement des langues à l’Université de Varsovie ; Wolfgang Mackiewicz (Allemagne), professeur honoraire de philologie anglaise à la Freie Universität Berlin ; Isabella Moore (Royaume-Uni), directrice du National Centre for Languages –CILT ; Barbara Moser-Mercer (Autriche), professeur d’interprétation de conférence à l’Université de Genève ; Josep Palomero (Espagne), vice-président de l’Acadèmia Valenciana de la Llengua ; Ineta Savickienė (Lituanie), chef d’études régionales à l’Université Vytautas Magnus ; Jaana Sormunen (Finlande), productrice de programmes en langues modernes à YLE.
Barbara Cassin (French - Director of Research, Centre National de la Recherce Scientifique, Paris) Abram De Swaan (Dutch - Professor of Sociology, University of Amsterdam) Rita Franceschini (Italian, Professor of Language Science and Linguistics, Rector of the Free University of Bozen - Bolzano) Branislav Hochel (Slovak - Professor of Translation Studies, Comenius University Bratislava) Hanna Komorowska (Polish - Professor of Applied Linguistics and Language Teaching, Warsaw University) Wolfgang Mackiewicz (German - Honorary Professor of English Philology, Freie Universität Berlin) Isabella Moore (British - Director of the National Centre for Languages, CILT) Barbara Moser-Mercer (Austrian - Professor of Conference Interpreting, University of Geneva) Josep Palomero (Spanish - Vice-President of the Academia Valenciana de la Llengua) Ineta Savickienė (Lithuanian - Head of Regional Studies, Vytautas Magnus University) Jaana Sormunen (Finnish - Executive Producer for Modern Languages, YLE)

Il s’agit là d’un marché menacé et corrompu par la jungle de l’armée bureaucratique, qui, en guise de soutien aux grands groupes monopolistiques et oligopolistiques, se prépare à faire usage du langage du pouvoir juridique bureaucratique pour empêcher l’exercice de la libre invention et du libre-échange.
It is a market threatened and corrupted by the jungle of the bureaucratic army, which, as a supporter of the large monopoly and oligopoly groups, is prepared to use the language of bureaucratic legal power to prevent the practice of free invention and free trade.

- le droit à un vote libre et secret avec des informations et des équipements adéquats (bureaux de vote accessibles, vote mobile ou postal, bulletins de vote et informations sur les candidats et sur les partis politiques disponibles en formats accessibles et dans un langage clair), ainsi que le droit d'éligibilité,
The right to a free and secret vote with adequate information and facilities (accessible polling stations, mobile or postal voting, ballot papers and information on candidates and political parties available in accessible formats and plain language), as well as the right to be elected,

Par ailleurs, qu'on exige des citoyens et citoyennes qu'ils soient jurés et qu'ils ne reçoivent que la mince allocation de 25 $ par jour n'a guère de bon sens non plus (1805) Il ne s'agit que d'amender la Loi sur l'assurance-chômage pour s'assurer que les citoyens et citoyennes qui sont choisis comme juré puissent exercer leur droit-tout en reconnaissant qu'ils ne reçoivent pas une grosse rémunération, puisqu'on sait que quiconque reçoit de l'assurance-chômage ne devient riche de toute manière, comme on le dit dans le langage populaire-et continuer de recevoir au moins le minimum auquel ils avaient déjà droit en vertu de la Loi sur l'assurance-chômage pour exercer cette fonction éminemment essentielle à un système démocratique qui est celui des jurés choisis au hasard et libres dans la population.
Furthermore, it hardly makes any sense either that those who must serve as jurors are only paid the meagre allowance of $25 per day (1805) It is not merely a question of amending the Unemployment Insurance Act to ensure that people chosen for jury duty may exercise their right to do so-recognizing that they are not handsomely paid since, as people say, no one gets rich on unemployment insurance in any case-and continue to receive at least the minimum to which they were already entitled under the Unemployment Insurance Act, thereby allowing them to perform this function which is eminently necessary to a democratic system, namely being chosen at random from the population for jury duty.

Le médecin qui tient une clinique, par exemple, est tout à fait libre d'entrer ses données dans une base de données compatible avec la recherche ou, au contraire, d'avoir un langage complètement à lui qui ne sera utilisé par personne.
For example, a doctor who has a clinic is perfectly free to enter his data into a data base which is compatible with research but, on the other hand, he is also free to use a language which would be used by no one but him.