Đặt câu với từ "axiom of local nonsatiation"

1. The abbreviations BPI or PIT (for Boolean algebras) are sometimes used to refer to this additional axiom.

Les abréviations BPI ou PIT (pour les algèbres de Boole) sont parfois utilisées pour se référer à cet axiome supplémentaire.

2. Indeed, it turns out that the MITs for distributive lattices and even for Heyting algebras are equivalent to the axiom of choice.

En effet, il s'avère que les MITs pour les treillis distributifs et même pour les algèbres de Heyting sont équivalents à l'axiome du choix.

3. Local capacity and local knowledge were seen as important elements of adaptive capacity.

Les capacités et connaissances locales ont été considérées comme des aspects importants de la capacité d’adaptation.

4. — Number of local action groups (‘LAG’)

— Nombre de groupes d’action locale

5. Local Resale Affiliate Rule for Competitive Local Exchange Carriers.

Règle relative à la revente de services locaux aux affiliées pour les entreprises de services locaux concurrentes.

6. The problem of finding a constructive way of interpreting the rules of the Martin-Löf type theory that in addition satisfies the univalence axiom and canonicity for natural numbers remains open.

Le problème de trouver un moyen constructif d'interpréter les règles de la théorie des types de Martin-Löf qui de plus satisfasse à l'axiome d'univalence et à la canonicité pour les entiers naturels reste ouvert.

7. The local oscillator generates a local oscillator frequency between two carrier frequencies of adjacent radio channels.

L'oscillateur local génère une fréquence d'oscillateur local entre deux fréquences porteuses de canaux radio adjacents.

8. The local memory controller routes the access to the local addressable memory or the local cache depending on the state of the L1 SRAM bit.

Cette unité de commande de mémoire locale pilote l'accès à la mémoire adressable locale ou à la mémoire cache locale en fonction de l'état du bit L1 SRAM.

9. Competitive Local Exchange Carrier (CLEC): A facilities-based provider of local exchange service, other than an ILEC.

Fibres optiques : installation de transmission à large bande utilisant un faisceau lumineux pour transmettre un signal numérique à travers des torons transparents.

10. promotion activities in a local context relating to the development of short supply chains and local markets;

les activités de promotion dans un contexte local relatives au développement de circuits d'approvisionnement courts et des marchés locaux;

11. Device and method for controlling the stability of a local network using an adjustable local network transformer

Dispositif et procédé permettant de commander la stabilité d'un réseau régional pourvu d'un transformateur de réseau régional réglable

12. (e) promotion activities in a local context relating to the development of short supply chain and local markets;

(e) les activités de promotion dans un contexte local relatives au développement de circuits d’approvisionnement courts et des marchés locaux;

13. More than 97% of Canadians have access to low speed Internet services through local exchanges at local rates.

Plus de 97 pour cent des Canadiens ont accès aux services Internet à basse vitesse par le biais de services et de tarifs locaux.

14. Payment of 3,363 national staff through local payroll

Paiement des traitements de 3 363 fonctionnaires recrutés sur le plan national par l’intermédiaire des services locaux de gestion de la paie

15. Payment of 3,391 uniformed personnel through local payroll

Paiement des traitements de 3 391 agents en tenue par les services de gestion locale de la paie

16. Payment of 1,286 international staff through local payroll

Paiement des traitements de 1 286 fonctionnaires recrutés sur le plan international par l’intermédiaire des services locaux de gestion de la paie

17. Payment of 226 uniformed personnel through local payroll

Paiement des traitements de 226 membres du personnel en uniforme par l’intermédiaire des services de gestion locale de la paie

18. Payment of 3,166 national staff through local payroll

Paiement des traitements de 3 166 fonctionnaires recrutés sur le plan national par les services de gestion locale de la paie

19. A tractable abduction procedure for a lightweight description logic EL is introduced extending recent research on automata- based axiom pinpointing by assuming information from a predefined abducible part of the domain model.

La présente invention se rapporte à une procédure souple d'abduction pour une logique de description légère (EL) qui est présentée dans le prolongement d'une recherche récente sur l'identification des axiomes par des automates en supposant des informations provenant d'une partie hypothétique prédéfinie du modèle de domaine.

20. CRTC Data Collection Total local and access revenues include local and access monthly rates and service charges, contribution, and local payphone services.

Données recueillies par le CRTC Le total des revenus des services locaux et d'accès comprend les tarifs mensuels du service local et du service d'accès ainsi que les frais de service, la contribution et les revenus provenant des téléphones payants.

21. (13) ALAT stands for: ‘agent local assistance technique’ (local technical assistance agent); these are temporary agents of European nationality, with different degrees of experience, but usually less experienced than individual experts, with a local contract.

(13) Les ALAT sont des agents temporaires de l'une des nationalités de l'Union européenne possédant différents niveaux d'expérience; ils sont généralement moins expérimentés que les experts individuels et sont recrutés sous contrat local.

22. Summary of Competitive Local Exchange Carrier (CLEC) Obligations Disclaimer:

Résumé des Obligations des Entreprises de Services Locaux Concurrentes (ESLC) Avertissement :

23. Accounting control environment and validation of local systems 5

Environnement de contrôle comptable et validation des systèmes locaux 5

24. The internationalization of the right to access local services

Internationalisation du droit d’accès aux services locaux;

25. Synergy and trust among the Government, local administrations and communities in building local ownership;

Synergie et confiance entre le gouvernement, les administrations locales et les collectivités pour assurer la maîtrise locale des projets;

26. A main problem in Saint Petersburg has been getting accustomed to the local way of negotiation, which requires the use of a local mediator.

L'un des principaux problèmes à Saint-Pétersbourg a été de s'habituer à la manière locale de négocier, qui requiert l'intervention d'un médiateur local.

27. With good local knowledge and monitoring, management at local level is most rapidly adaptive.

Renforcer les capacités des parties prenantes locales et les responsabiliser 3.8.1 Si elle peut compter sur de bonnes connaissances et un suivi, la gestion au niveau local est celle qui présente la meilleure capacité d'adaptation.

28. The holder of the special permit keeps accounts of local sales

Le titulaire du permis spécial tient une comptabilité des ventes locales

29. Regardless, local water quality should be maintained at levels acceptable to local fish species.

Néanmoins, la qualité de l’eau locale devrait être maintenue à des niveaux acceptables pour les espèces de poissons locales.

30. Total local and access revenues in Table 4.2.1 include local and access monthly rates and non-recurring service charges, contribution, and local pay telephone services.

Le total des revenus des services locaux et d'accès indiqué dans le tableau 4.2.1 comprend les revenus des tarifs mensuels des services locaux et d'accès ainsi que les frais de service non récurrents, la contribution et les revenus provenant des téléphones payants locaux.

31. The local last accessor may be within a local domain that the requester belongs to.

Le dernier accesseur local peut se trouver dans un domaine local auquel appartient le demandeur.

32. CRTC Data Collection Total local and access revenues in Table 4.3.1 include local and access monthly rates and service charges, contribution, and local pay telephone services.

Données recueillies par le CRTC Le total des revenus des services locaux et d'accès indiqué dans le tableau 4.3.1 comprend les tarifs mensuels du service local et du service d'accès ainsi que les frais de service, la contribution et les revenus provenant des téléphones payants locaux.

33. Method of channel access control in wireless local area networks

Procédé de contrôle d'accès aux canaux dans les réseaux locaux sans fil

34. • an absence of well-prepared, qualified and accessible local data;

• une absence de données locales bien préparées, éprouvées et accessibles;

35. Method and system for managing local control of wlan access

Procede et systeme destines a gerer le controle local d'un acces wlan

36. • Absenteeism rate in local workplaces.

• taux d'absentéisme dans les lieux de travail local;

37. Notes Considerations for the local environmental, local employment benefits and aesthetic factors such as noise level all become a part of the decision.

Notes Les éléments comme l'environnement local, les avantages reliés aux emplois locaux et l'esthétique, par exemple le niveau de bruit, font tous partie de la décision.

38. Adaptation at the local level

Adaptation au niveau local

39. The local actors came together in two LAGs (local action groups): Clervaux-Vianden and Redange-Wiltz.

Les acteurs locaux se sont regroupés dans deux GAL (groupes d'action locale): Clervaux-Vianden et Redange-Wiltz.

40. CIC Home > Local Sections > Local Section Administrative Resources ChemJobs | Site Map | Contact Us |Français

Accueil > Sections locales > Ressources administratives des sections locales Emplois | Carte de site | Contact |English

41. Local and indigenous culture and knowledge accumulated through the centuries are crucial in solving local problems.

La culture locale et autochtone et le savoir accumulé au long des siècles sont déterminants pour résoudre les problèmes locaux.

42. Method and apparatus of transmitting ppdu in wireless local area network

Procédé et appareil de transmission de ppdu dans un réseau local sans fil

43. • Nebulous roles and responsibilities of local leaders and sectoral field agents;

• manque de clarté des rôles et des responsabilités des leaders locaux et des agents sectoriels sur le terrain ;

44. • established the conditions of service for wireless competitive local exchange carriers;

• établi les conditions de service pour les entreprises de services locaux sans fil concurrentes;

45. Payment of 125 individual contractors located in Entebbe through local payroll

Paiement des traitements de 125 vacataires travaillant à Entebbe effectué par les services locaux de gestion de la paie

46. Insurance is provided worldwide by three local companies, two agency offices and one local general insurance broker

Trois compagnies locales d'assurance, deux bureaux d'affaires et un courtier local d'assurances générales proposent des produits d'assurance à l'échelle mondiale

47. Arrange in advance local experiences of new ones witnessing to others.

Préparez à l’avance des faits montrant comment des nouveaux ont pu donner le témoignage à d’autres personnes.

48. means acclimatised to the local time of the departure time zone,

acclimaté à l’heure locale du fuseau horaire de départ,

49. • existence of environmental policy and programmes taking account of the principle of local accountability.

• l’existence d’une politique environnementale et de programmes environnementaux tenant compte du principe de la responsabilité au niveau local.

50. It will also take account of the quality and availability of local expertise.

Il tiendra également compte de la qualité et de la disponibilité de l'expertise locale.

51. Local internet protocol access capability indication

Indication de capacité d'accès via un protocole internet local

52. The global address of an ATM cell is mapped to a smaller, equipment-specific local address using a connection table stored at each local exchange.

L'adresse globale d'une cellule MTA est mise en correspondance avec une adresse locale, spécifique à un équipement et plus courte, à l'aide d'une table de connexion mémorisée dans chaque central local.

53. - AIR COOLING ( CENTRAL/LOCAL COOLING INSTALLATIONS ) ,

- REFRIGERATION ( INSTALLATION CENTRALE OU LOCALE ) ,

54. Restrictions on local programming and advertising

Restrictions à l'égard de la programmation et de la publicité

55. Canadian or local Driver's license,Health card, Firearms licence, Provincial ID card, SIN, Local Alien Registration Card, Passport

Par exemple: - Permis de conduire local ou Canadien, Carte aus soins de santé, Permis d'armes à feu, Carte d'identité pour le personnel, NAS, Carte locale d'enregistrement d'étranger, Passport

56. Subsistence allowances are normally understood to cover local transport (including taxis), accommodation, meals, local telephone calls and sundries.

Les indemnités journalières comprennent normalement les transports locaux (y compris les taxis), le logement, les repas, les appels téléphoniques locaux et les menues dépenses.

57. Elevator rope having a detectable element that is indicative of local strain

Corde d'elevateur garnie d'un element detectable caracteristique d'une contrainte localisee

58. Analysis of local economic activity, including both entrepreneurial activity and market potential;

Analyse de l’économie locale, y compris les activités des entreprises et le potentiel commercial;

59. LEDA was able to tap the enterprise of local industrial/ economic bodies.

Programme Aide au développement économique local (1980 à 1983)

60. The determining includes registering a known sensitivity profile of the local receive coil (18) to a sensitivity map of the local receive coil (18) generated from the MR data sets.

La détermination consiste à enregistrer un profil de sensibilité connu de la bobine de réception locale (18) sur une carte de sensibilité de la bobine de réception locale (18) générée à partir des ensembles de données RM.

61. 2001-534 Forbearance from regulation of incumbent local exchange carriers' out-of-territory services.

2001-534 Abstention de réglementation des services des entreprises de services locaux titulaires offerts à l'extérieur de leur territoire.

62. Digital wireless local loop fax/data interface

Interface telecopie/donnees de ligne numerique locale sans fil

63. Local effects (temporary cramp or muscle paralysis)

Effets localisés (crampe ou paralysie musculaire temporaire)

64. System and method for implementing local access

SYSTÈME ET PROCÉDÉ DE MISE EN œUVRE D'ACCÈS LOCAL

65. The government is encouraging the development and use of alternative local building materials.

On a étudié différentes préparations de mortier à teneurs diverses en ciment à l'état frais et après prise.

66. Rope made of synthetic fibers having a ferromagnetic element providing an incication of local strain

Cable fabrique a partir de fibres synthetiques possedant un element ferromagnetique fournissant une indication de contrainte locale

67. Bureau of the Committee on the Environment, Agriculture and Local and Regional Affairs;

Bureau de la Commission de l’environnement, de l’agriculture, et des questions territoriales ;

68. The process of recruiting individual experts, local staff and ALAT is well advanced.

Le processus de recrutement des experts individuels, des agents locaux et des ALAT est très avancé.

69. • Transfer ownership of regional/local airports to regional interests by the year 2000.

• Donner aux collectivités plus de pouvoir de décision dans l’exploitation de leur aéroport.

70. A local directory of accessible locations created by and for people with disabilities.

Un répertoire local d’endroits accessibles créé par des personnes handicapées et pour celles-ci.

71. The local account is used to pay approximately 95 percent of Mission expenses.

On utilise le compte bancaire en monnaie locale pour régler environ 95 % des dépenses de la mission.

72. Promulgation of laws on financial autonomy and accountability of local government structures by the Government

Promulgation, par le Gouvernement, de lois sur l’autonomie financière et la responsabilité des collectivités locales

73. Interventions targeting vulnerable populations depend on the support of the local public administration

Les interventions auprès des populations vulnérables dépendent du concours de l'administration publique locale

74. The local governments of some cities have introduced schemes of additional payments to salaries of their teachers

Les collectivités locales de certaines villes ont introduit des plans de primes complémentaires s'ajoutant aux salaires des enseignants

75. So we checked local hospitals and accident reports.

On a vérifié les hôpitaux et rapports d'accidents.

76. Low-cost radio access network enabling local switching

Reseau d'acces radio a faible cout permettant la commutation locale

77. Traditional Yemeni Rural Diets and Local Food Systems:

Régimes alimentaires ruraux traditionnels et systèmes alimentaires locaux du Yé men :

78. Agreed formula for local vs external access 5.2.

Éthiques/consentement Tous les patients donneurs devraient avoir l’occasion d’envisager la possibilité que leurs tissus soient mis en banque et que des recherches soient effectuées sur ceux-ci, et devraient recevoir de l’information explicite concernant cette activité, un formulaire standard pour indiquer leur consentement relativement à l’utilisation de leurs tissus et leur autorisation en ce qui concerne l’usage des données les concernant.

79. We've all been cast in a local commercial.

On est les nouvelles vedettes d'une publicité locale.

80. Car + All risk insurance + 16% vat + local taxes.

Voiture + assurance tous risques + 16% iva + impôts locaux.