1. In mathematical logic, algebraic semantics is a formal semantics based on algebras studied as part of algebraic logic.

En logique mathématique, la sémantique algébrique est une sémantique formelle basé sur les algèbres étudiés dans le cadre de la logique algébrique.

2. Semantics and Abstract Interpretation team, headed by Patrick Cousot .

Équipe Sémantique et Interprétation Abstraite, dirigée par Patrick Cousot .

3. Using indicia of interest in a topic for identification and aggregation of content by a semantics-enabled platform

Utilisation d'indices d'intérêt dans un sujet pour identification et regroupement de contenu par une plateforme activée par sémantique

4. Given a programming or specification language, abstract interpretation consists of giving several semantics linked by relations of abstraction.

Étant donné un langage de programmation ou de spécification, l'interprétation abstraite consiste à déterminer des sémantiques liées par des relations d'abstraction.

5. Samples prepared according to # standard for application of # standard

Echantillons préparés selon la norme # pour l'application de la norme

6. Standard air ducting: ...

Carénage de série: ...

7. Absolute standard deviation

Écart type absolu

8. The storage medium device standard may be an Advanced Technology Attachment standard.

La norme du dispositif de support de stockage peut consister en une norme de fixation de technologie de pointe (ATA).

9. Average Uranium Concentrations in Air Harmony Creek 12 Month Cycle Arithmetic mean Standard deviation Standard error of mean Geometric mean Geometric standard dev.

Calculé à partir des observations hebdomadaires entre juillet 1988 et juin 1989 Cycle de 15 mois :

10. · For strict-regime convicts - from one standard accounting unit to four standard accounting units;

· En régime sévère, d’une unité de compte de référence à quatre;

11. STANDARD INSTRUMENTS USED TO MEASURE THE EEC STANDARD MASS PER STORAGE VOLUME OF GRAIN

INSTRUMENTS ÉTALONS SERVANT À MESURER LA MASSE À L

12. One solution is to extend the usual algebraic deterministic semantics of logical systems by importing the idea of non-deterministic computations from computer science.

Une solution consiste à étendre la sémantique déterministe algébrique habituelle des systèmes logiques en important l'idée de calculs non-déterministes de l'informatique.

13. To achieve its aims, the project team developed semantics and algorithms for the architecture analysis and design language (AADL) in order to improve V&V.

Pour atteindre ses objectifs, l'équipe de projet a développé des outils sémantiques et des algorithmes pour le langage d'analyse et de conception d'architecture (AADL) afin d'améliorer la V&V.

14. Density of dry air at standard temperature and standard pressure shall be taken as: i.

La densité de l'air sec à la température et à la pression normales doit être considérée comme égalant: i.

15. Standard rooms: Our Standard rooms have a large desk with a high speed Wifi access.

Chambres Classiques: Nos chambres classiques bénéficient d'un large plan de travail disposant d'un accès Internet haut débit wifi.

16. Aircraft Operations (AO) Classification Standard

Norme de classification «Navigation aérienne (AO)»

17. Standard number and linked abbreviations

Numérotation normalisée et abréviations correspondantes

18. absolute standard deviation (m–1)

Écart type absolu (m–1)

19. Standard repair, overhauling and standard replacement of engines used on aircraft and in the space sector

Mise au standard, remise en état et échange standard de moteurs utilisés sur les aéronefs et dans le domaine spatial

20. In one configuration, the compiler extension can provide a compiler with one or more runtime semantics of various source code elements for a particular programming language.

Dans une configuration, l'extension de compilateur peut fournir à un compilateur une ou plusieurs sémantiques d'exécution de différents éléments de code source pour un langage de programmation particulier.

21. In computer science, abstract interpretation is a theory of sound approximation of the semantics of computer programs, based on monotonic functions over ordered sets, especially lattices.

L'interprétation abstraite est une théorie d'approximation de la sémantique de programmes informatiques fondée sur les fonctions monotones pour ensembles ordonnés, en particulier les treillis (en anglais : lattice).

22. Error Estimation on the Output Streams Stream Standard Error (tonnes) Standard Error Squared Product 12.6 158 Slag 35.4 1,250 Sulphuric Acid 45.3 2,048 Sum of Standard Errors Squared

Calcul de l'erreur sur les effluents de sortie Effluent Écart-type (tonnes) Carré de l'écart-type Produit 12,6 158 Scories 35,4 1 250 Acide sulfurique 45,3 2 048 Somme des carrés des écarts-types

23. • Operational Standard for the Security of Information Act (SOIA) • Operational Security Standard – Business Continuity Planning (BCP) Program

Elle inclut des normes techniques de sécurité, des spécifications, des pratiques exemplaires et des lignes directrices développées et émises par les ministères responsables en matière de sécurité (p. ex.

24. Data coding/classification standards: WCB Data Base (CAAPS); NWISP standard for workplace accidents; SIC standard for industry.

Normes de codage/classification des données : la base de données de la WCB (CAAPS); la norme du PNSAT pour les accidents du travail; la norme de la CTI pour les types d'industries.

25. domestic standard business post parcels (B2X);

services intérieurs de colis ordinaires pour les entreprises (B2X);

26. Absolute measurements: standard calibration (white tile

Mesures absolues: calibrage standard (calibre blanc

27. CLASSIFICATION STANDARD AIRCRAFT OPERATIONS TECHNICAL CATEGORY

NORME DE CLASSIFICATION NAVIGATION AÉRIENNE CATÉGORIE TECHNIQUE

28. Activate or read the standard gauge.

Mettre en service ou prendre une lecture du pluviomètre ordinaire.

29. • Shipbuilding – Accommodation Ladders (ISO Standard 5488);

• Construction navale — Échelles de coupée (norme ISO 5488);

30. Absolute measurements: standard calibration (white tile)

Mesures absolues: calibrage standard (calibre blanc)

31. The most widely accepted standard for on-site wastewater treatment certification testing is the NSF/ANSI Standard 40 test.

L'essai conforme à la norme NSF/ANSI 40 constitue le test de certification des systèmes autonomes de traitement des eaux usées qui est le plus largement admis.

32. Abstract In this review paper, we present some of the procedures used in both lexical semantics and terminology in order to define and describe the linguistic and terminological units.

Résumé Dans cet article, nous présentons quelques-uns des procédés utilisés tant en sémantique lexicale qu'en terminologie afin de définir et de décrire les unités linguistiques ou terminologiques.

33. Handiwork - small, standard and large - Home Constructor.

Constructrice - Secteur Habitacional (petite, moyennes et grandes oeuvres).

34. Standard on Web Addresses Table of Contents

Norme sur les adresses Web Table des matières

35. The paper size will be standard A4.

Le papier à utiliser est au format A4 standard.

36. The paper size shall be standard A4.

Le papier à utiliser est au format A4 standard.

37. • Shipbuilding — Accommodation ladders (ISO Standard 5488); and

• Construction navale — Échelles de coupée (norme ISO 5488);

38. The Spider's body is standard aluminum alloy.

La carrosserie de l'Araignée est en alliage d'aluminium standard.

39. Standard Inter-application Interfaces Standard interfaces between application modules will be used to accommodate information sharing and transfer of transactions.

Interfaces d'interapplications normalisées On utilisera des interfaces normalisées entre les modules d'applications pour faciliter le partage de l'information et le transfert des transactions.

40. • Standard Inter-application Interfaces - Standard interfaces between application modules will be used to accommodate information sharing and transfer of transactions.

• Interfaces d'interapplications normalisées - On utilisera des interfaces normalisées entre les modules d'applications pour faciliter le partage de l'information et le transfert des transactions.

41. More abstract semantics are then derived; for instance, one may consider only the set of reachable states in the executions (which amounts to considering the last states in finite traces).

Des sémantiques plus abstraites en sont alors déduites ; par exemple, on pourra ne considérer que l'ensemble des états atteignables lors des exécutions (ce qui revient à ne considérer que les derniers états des traces).

42. Note 3: Sample preparation to be carried out according to IDF Standard 122B:1992 or according to IDF Standard 73A:1985.

Remarque 3: l'échantillon doit être préparé conformément à la norme FIL 122B: 1992 ou conformément à la norme FIL 73A: 1985.

43. Note 3: Sample preparation to be carried out according to IDF Standard 122C:1996 or according to IDF Standard 73A:1985.

Remarque 3: l'échantillon doit être préparé conformément à la norme FIL 122C:1996 ou conformément à la norme FIL 73A:1985.

44. Note 3: Sample preparation to be carried out according to IDF Standard 122C:1996 or according to IDF Standard 73A:1985

Remarque 3: L'échantillon doit être préparé conformément à la norme FIL 122C:1996 ou conformément à la norme FIL 73A:1985.

45. The guideways accept both standard and coaxial conductors.

Ces passages peuvent recevoir à la fois des conducteurs standards et des conducteurs coaxiaux.

46. • Standard tenders Absorption of liquidity Maturity Frequency Procedure

• Appels d’offres rapides

47. • Abnormal screen to first assessment visit: } Minimum standard:

• Entre le dépistage d’une anomalie et la première visite d’évaluation : } Norme minimale : aucune But : ≤10 jours ouvrables

48. Sample preparation is according to IDF Standard #B

Préparation de l

49. • Standard 101 AT keyboard + Internet Explorer 5.x

• Clavier standard AT à 101 touches et Internet Explorer 5.x

50. Acidify with # ml of HCl (#.#) and titrate the excess standard iodine solution with standard sodium thiosulphate solution (#.#), using starch solution (#.#) as indicator

Acidifier par # ml d

51. Mr. Loomis also introduced other standards similar in coverage to the U.S. standard: the Canadian standard for "Nonprescription Sunglasses, [5] " the European standard for "Personal eye protection: Sunglasses and sunglare filters for general use [6] " and the International Organization for Standardization (ISO) draft standard entitled "Specifications for Afocal Filters for Daylight.

M. Loomis a également présenté d'autres normes qui ont une portée semblable à la norme américaine : la norme canadienne relative aux «Lunettes de soleil en vente libre [5] », la norme européenne relative à la «Protection individuelle de l'œil : lunettes solaires et filtres de protection solaire pour usage général [6] » et le projet de norme de l'Organisation internationale de normalisation (ISO) intitulée :

52. Arsenic (III) oxide, Reagent A.C.S., primary standard, Acros Organics.

Oxyde d’arsenic (III), qualité réactif A.C.S., étalon primaire, Acros Organics.

53. Expressed through standard deviation: Values given over accidental errors

Exprimée à l' aide de l' écart type. Les valeurs données tiennent compte des incertitudes

54. Standard and bee hot wax in droplets 1 kg.

Cire chaude en perles 1 kg.

55. International Standard Atmosphere (ISA), application to aerodynamics and aerostatics.

Atmosphère standard internationale (ISA), application à l'aérodynamique et à l'aérostatique.

56. — formulae and algorithms used to calculate the standard error.

— les formules et algorithmes utilisés pour calculer l’erreur type.

57. ERM Exchange Rate Mechanism. ESA95 European Standard Accounts 1995.

DETTE PUBLIQUE NETTE Ensemble des engagements financiers diminué de l’ensemble des actifs financiers des administrations publiques.

58. Country of landing (standard ISO 3-alpha country codes)

Pays de débarquement (codes pays ISO alpha-3)

59. The standard [also applies to sweet blanched almond kernels

La norme [vise également les amandes douces blanchies

60. Collect comments on the draft standard for blanched almonds.

Recueillir des observations sur le projet de norme pour les amandes blanchies.

61. formulae and algorithms used to calculate the standard error.

les formules et algorithmes utilisés pour calculer l’erreur type.

62. -formulae and algorithms used to calculate the standard error.

-les formules et algorithmes utilisés pour calculer l'erreur type.

63. The inventive apparatus includes a core portion with a standard female ACME thread so the core may be threaded onto a standard extension pole.

L'appareil selon l'invention comprend une partie noyau constituée d'un filetage ACME femelle classique permettant de fileter la partie noyau sur une tige de raccord classique.

64. The standard serum shall be the second international standard anti-brucella abortus serum which is supplied by the Veterinary Laboratory Agency, Addlestone, Weybridge, England

Le sérum standard est le deuxième sérum standard international contre l

65. But nonetheless, that is the conventional standard for "measuring" absolute poverty and by that standard we have seen a change that is quite remarkable.

Mais c’est néanmoins le critère établi pour mesurer la pauvreté absolue et, selon ce critère, le changement qui s’est produit est assez remarquable.

66. *) The density of dry air at standard atmospheric pressure at sea level at 15° C is used as a standard in the wind industry.

*) L'industrie éolienne utilise comme standard la densité de l'air sec à la pression atmosphérique standard au niveau de la mer, à 15° C.

67. In 1841 Whitworth devised a standard for screw threads with a fixed thread angle of 55° and having a standard pitch for a given diameter.

En 1841, Whitworth adopta une règle pour le taraudage avec un pas de vis dépendant du diamètre et un angle de filetage uniforme de 55°.

68. (c)Country of landing (standard ISO 3-alpha country codes)

c)Pays de débarquement (codes pays ISO alpha-3)

69. The end pieces are adapted to the respective standard connections.

Les pièces terminales sont conçues de manière à être adaptées aux raccords normalisés respectifs.

70. The length of the standard roadway shall be 100 m.

La longueur de la piste normalisée est de 100 mètres.

71. In case of standard track gauge the following formula applies:

Dans le cas d’un écartement de voie standard, la formule suivante s’applique:

72. Seal input air flow in Nm3/h at standard conditions.

débit d’air entrant au niveau de l’étanchéité en Nm3/h dans des conditions standard.

73. Now, a standard alphanumeric console positioned for the left hand.

Une console alphanumérique standard positionnée à ma gauche.

74. Quality, trade standard, and llama/alpaca / batch ID conformity assessment

Niveau de qualité, désignation commerciale et identification du lama ou de l’alpaga/du lot

75. This standard addresses performance and labelling requirements for the products.

Cette norme porte sur les exigences en matière de performance et d'étiquetage des produits.

76. This Standard should be applied in accounting for borrowing costs

La présente Norme doit être appliquée pour la comptabilisation des coûts d

77. Brucella specific antibody response (Standard Agglutination Test, Complement Fixation, ELISA)

formation d’anticorps spécifiques de Brucella (test d’agglutination standard, test de fixation du complément, test ELISA).

78. Draft UNECE Standard for Llama/Alpaca Meat Carcases and Cuts

Projet de norme CEE‐ONU pour les carcasses et découpes de lama/alpaga

79. The standard road cycle (SRC) is a kilometre accumulation cycle

Le cycle normalisé sur route (SRC) est un cycle d’accumulation de kilomètres

80. Use the codes of the standard ISO Alpha # code (ISO

Utiliser les codes du code standard ISO alpha-# (ISO