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. A second display includes a second set of distinct abstract symbols positioned in a second order.

Un second affichage comprend un second ensemble de symboles abstraits distincts positionnés dans un second ordre.

4. 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.

5. A second seal face is carried by a second one of the two abutting halves.

Une deuxième surface d'étanchéité est portée par la deuxième des deux moitiés placées bout à bout.

6. A second portable computing device (105) contains a second portion of the full-size keyboard.

Un deuxième (105) de ces dispositifs contient une deuxième partie de ce clavier complet.

7. The second end of the flexible member passes through the second access hole (66) of the container (12).

La deuxième extrémité de l'élément souple passe à travers le deuxième orifice d'accès (66) du réservoir (12).

8. The second set of CCEs is allocatable by a second PDCCH for the network node to schedule at least a second user equipment (UE2).

Le second ensemble de CCE peut être attribué par un second PDCCH pour le nœud de réseau afin de planifier au moins un second équipement d'utilisateur (UE2).

9. The second stage Boost circuit includes a second inductor (L2) and a second switching element (Q2).

Le second étage élévateur comprend une seconde inductance (L2) et un second élément de commutation (Q2).

10. A second reflected acoustic pulse related to the second portion of the acoustic pulse is received.

Une seconde impulsion acoustique réfléchie relative à la seconde partie de l'impulsion acoustique est reçue.

11. A second pair of brushes (48) couples rectified AC power to the second armature winding (44).

Une seconde paire de brosses (48) couple le courant alternatif rectifié au second enroulement (44) de l'armature.

12. A second sensor (103) measures an absolute (relative to vacuum) pressure of the second media (Pa).

Un second capteur (103) mesure la pression absolue (par rapport au vide) du second milieu (Pa).

13. A second valve (30, 40) is actuated by a second controller (28) using a second transfer function in response to the second measured pressure.

Une deuxième valve (30, 40) est actionnée par un deuxième contrôleur (28) en utilisant une deuxième fonction de transfert en réponse à la deuxième pression mesurée.

14. The Aeon of Horus, his second coming.

L'éon d'Horus. Son second règne.

15. The access point, AP, is located above the second physical level (e.g. second floor of a building).

Le point d'accès est localisé au-dessus du second niveau physique.

16. The parts of the wafer (1) on the second areas are etched in the second trench etching.

Les parties de la tranche (1) sur les secondes zones sont gravées pendant la seconde gravure de tranchée.

17. If the second network link of the first node fails, the second node switches to the active state.

Si le second lien de réseau du premier noeud tombe en panne, le second noeud passe à l'état actif.

18. The second concave shell member (204) is configured to define a second half of an exhaust air passage.

Le second élément formant coque concave (204) est conformé pour définir une seconde moitié d'un passage d'air d'échappement.

19. The second operand source address identifies a location of a second mask pattern in the mask register space.

La deuxième adresse source d'opérande identifie un emplacement d'un deuxième modèle de masque dans l'espace de registre de masques.

20. Each of the second plates of the accumulation capacitors is connected to a second input terminal for receiving a clock signal.

Chacune des secondes plaques des condensateurs à accumulation est connectée à une seconde borne d'entrée pour recevoir un signal d'horloge.

21. Top with a second band of almond dacquoise.

Terminer avec un deuxième biscuit dacquois.

22. 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.

23. A second adder/subtractor (35) has a first input to receive the first absolute difference, a second input to receive the second difference, a control input arranged to receive a top bit of the second difference and an output arranged to output a sum of the absolute difference of the first numbers and the absolute difference of the second numbers.

Un second additionneur/soustracteur (35) a une première entrée destinée à recevoir la première différence absolue, une seconde entrée destinée à recevoir la seconde différence, une entrée de commande disposée de manière à recevoir un bit supérieur de la seconde différence et une sortie disposée de manière à sortir une somme de la différence absolue entre les premiers nombres et de la différence absolue entre les seconds nombres.

24. second, [administrative expenses];

deuxièmement, [les dépenses d’administration];

25. First name line Second name line First address line Second address line

+ +++ Règles conditionnelles : Acheteur - si différent de l’importateur ou du destinataire.

26. Drowning is the second leading cause of accidental death in children in the United States, second to traffic collisions.

La noyade est également la deuxième cause de décès accidentels d'enfants après la route.

27. The second fixture contact surface extends around the second abutment contact surface.

La seconde surface de contact du porte-pièce s'étend autour de la seconde surface de contact de la pièce d'appui.

28. The output of the second photoelectronic transducer is connected to the input of the second logarithmic unit whose output is connected in parallel to the second input of the subtractor and to the first input of the adder.

La sortie du second transducteur photoélectronique est connectée à l'entrée de la seconde unité logarithmique dont la sortie est connectée en parallèle à la seconde entrée du soustracteur et à la première entrée de l'additionneur.

29. An adiabatic reactor comprising a first inlet and a first outlet defining a first flowpath between the first inlet and the first outlet and a second inlet and a second outlet defining a second flowpath between the second inlet and the second outlet, wherein the first flowpath and the second flowpath are directed in opposite directions; wherein both the first flowpath and the second flowpath comprise a catalyst; and wherein at least part of the first flowpath and at least part of the second flowpath are thermally connected via a wall separating the first flowpath from the second flowpath.

Le réacteur adiabatique selon l’invention comprend un premier orifice d’entrée et un premier orifice de sortie définissant une première voie de passage entre le premier orifice d’entrée et le premier orifice de sortie et un second orifice d’entrée et un second orifice de sortie définissant une seconde voie de passage entre le second orifice d’entrée et le second orifice de sortie, la première voie de passage et la seconde voie de passage étant orientées dans des directions opposées ; la première voie de passage et la seconde voie de passage contenant toutes les deux un catalyseur ; et au moins une partie de la première voie de passage et au moins une partie de la seconde voie de passage sont thermiquement connectées par l’intermédiaire d’une paroi séparant la première voie de passage de la seconde voie de passage.

30. The apparatus further includes a second plurality of adder circuits to add data elements from a second plurality of pairs of SBs of the N SBs.

Ledit appareil comporte également une seconde pluralité de circuits additionneurs conçus pour ajouter des éléments de données d'une seconde pluralité de paires de blocs de décalage appartenant aux N blocs de décalage.

31. A second active pharmaceutical ingredient is contained in the second enclosed cavity volume.

Un deuxième ingrédient pharmaceutique actif est contenu dans la deuxième cavité intérieure.

32. The second part has an external surface carrying the second interengaging screw threads.

La seconde partie présente une surface externe munie du second filetage à engagement réciproque.

33. Subject: Creation of a second register for fishing vessels

Objet: Création d'un second registre pour les navires de pêche

34. b) # working days during the second year of service

b) # jours ouvrables pendant la deuxième année de service

35. Go back a second.

Reviens une seconde en arrière.

36. The second acoustic sensor can be co-located with the first acoustic sensor, and can generate a second signal to represent the acoustic data in a second bandwidth around a second center frequency.

Le deuxième capteur acoustique peut être positionné conjointement avec le premier capteur acoustique et générer un deuxième signal permettant de représenter les données acoustiques dans une deuxième bande large autour d'une deuxième fréquence centrale.

37. th¿ acoustic path and a second electrical connection to a second potential (V¿2?)

voie acoustique et une deuxième liaison électrique à un second potential (V¿2?)

38. The first and second gates define alternating first and second regions in the drain.

Les première et seconde sources définissent des première et seconde zones en alternance dans le drain.

39. Published with the second print run of the Voyages of 1613.

Publiée dans le second tirage des Voyages de 1613.

40. The second compensation means (12) include a second accumulator carriage (13), axially movable in a second direction (Y) other than the first direction (X).

Les seconds moyens de compensation (12) comprennent un second chariot d'accumulateur (13), mobile axialement dans une seconde direction (Y) autre que la première direction (X).

41. The outputs of each of the first and second mixers are selectively coupled to an output adder (1634) and to inputs of the first and second mixers.

Les sorties des premier et second mélangeurs sont couplées d'une manière sélective à un additionneur de sortie (1634) et aux entrées des premier et second mélangeurs.

42. The second AC input terminal (ACin2) is connected to the second AC output terminal (ACout2).

La seconde borne d'entrée de CA (ACin2) est reliée à la seconde borne de sortie de CA (ACout2).

43. Results from the second carry-save adder are latched in a first and second register.

Les résultats du deuxième additionneur à report-sauvegarde sont verrouillés dans un premier et un deuxième registres.

44. ), the second highest node and highest active volcano of Ecuador.

Retour au lodge pour le petit déjeuner. Départ ensuite plus bas sur le fleuve vers les profondeurs de la réserve de Cuyabeno.

45. First and second motors actuate movement of the adjustment assemblies.

Des premier et second moteurs actionnent un mouvement des ensembles d'ajustement.

46. The second condition: no adverse effect on condition of product

La deuxième condition: l’absence d’effet négatif sur l’état du produit

47. This is the speed of light, in millions of meters per second!

Ceci est la vitesse de la lumière en millions de mètres par seconde.

48. Delegates' Aide (ACV, second floor

Aide aux représentants (Austria Center # e étage

49. Second seal for closure liners

Deuxieme joint pour doublure de fermeture

50. Second Administrative-level Boundaries project

Projet sur les limites administratives du deuxième niveau

51. Second, who's running for adulterous.

Ensuite, qui pour les adultères.

52. The second memory block (23) comprising a plurality of word locations and an address decoder (201) coupled to a second access port of the memory controller (26).

Le second bloc de mémoire (23) comporte une pluralité d'emplacements de mots et un décodeur d'adresse (201) couplé à un second port d'accès du dispositif de commande de mémoire (26).

53. The second parameter is the MAC address of the remote device.

Le second paramètre est l'adresse MAC du périphérique distant.

54. The alembic of the second distillation is wider that the other.

L'alambic de seconde distillation est plus large que celui de première distillation.

55. The second part presents an assessment of the resource allocation system.

La deuxième partie présente une évaluation du système d’allocation des ressources.

56. The optimization adheres to a provided second set of constraints (408).

L'optimisation tient compte d'un second jeu de contraintes fourni.

57. In case of a serving error, a second try was allowed.

En cas d'une erreur de service, un deuxième essai était permis.

58. Abiogenesis -- the creation of life from nonlife -- that's the second barrier.

L'abiogenèse, la création de la vie à partir de matière non vivante, est le deuxième obstacle.

59. The second side is a mirror image of the first side.

Le second côté est une image inverse du premier côté.

60. The second proposal related to "Stock-taking of WIPO development activities."

La deuxième proposition concernait l’« inventaire des activités de l’OMPI en matière de développement".

61. The locking strip comprises material of the lower second element (32).

La bande de verrouillage comporte du matériau du deuxième élément (32) inférieur.

62. The third absorber (8) is connected to the second absorber (2) through the second solution pump (5).

Le troisième absorbeur (8) est raccordé au deuxième absorbeur (2) par le biais de la seconde pompe à solution (5).

63. A second pass-gate FET (T1) is coupled between a second node (B) and a bitline (BL).

Un second transistor TEC à grille de passage (T1) est couplé entre un second noeud (B) et une ligne de bits (BL).

64. The second output data may be effective to produce a second intensity when rendered by the display.

Les deuxièmes données de sortie peuvent servir à produire une deuxième intensité lorsqu'elles subissent un rendu par l'affichage.

65. ee summary of the conclusions of ACC at its second regular session of # ( # ), para

Voir résumé des conclusions auxquelles le CAC est parvenu à sa deuxième session ordinaire de # ( # ), par

66. Evolution of numbers, gross admission rate at the second cycle of basic education

Evolution des effectifs et du taux de pré scolarisation.

67. C. Second meeting of the Panel of Experts on Access and Benefit-sharing

Deuxième réunion du Groupe d'experts sur l'accès aux ressources génétiques et le partage des avantages

68. The relatively rigid second substrate is provided with second alignment structures (22) registering with the pixel electrodes.

Le second substrat relativement rigide possède des secondes structures d'alignement (22) coïncidant avec les électrodes de pixels.

69. Similarly, when rotated in the second direction (306), the cam (314) actuates the second locking mechanism (204).

De manière similaire, lorsqu'elle est tournée dans le second sens (306), la came (314) actionne le second mécanisme de verrouillage (204).

70. Preparation of Recommendations on comparison of the population's age structure (2000, second quarter).

Élaboration de recommandations portant sur la comparaison des répartitions par âges de la population (2000, deuxième trimestre).

71. The second ground: infringement of essential procedural requirements (absence or inadequacy of reasoning)

B – Deuxième moyen: violation des formes substantielles (absence de motivation suffisante)

72. In a second step, the plurality of abstract syntax trees 101 is partitioned into at least a first set 201 and a second set 203.

Dans une seconde étape, la pluralité d'arbres de syntaxe abrégée (101) est subdivisée en au moins un premier ensemble (201) et un second ensemble (203).

73. In addition, the switches could include a third switch (224, 622, 634) coupled to the second input terminal and a second side of the resistor.

En outre, les interrupteurs peuvent inclure un troisième interrupteur (224, 622, 634) couplé à la seconde borne d'entrée et à un second côté de la résistance.

74. The second sensor is absolutely calibrated.

Cette deuxième sonde est calibrée en absolu.

75. General Advanced Vocational Special Education Gifted English as a Second Language/French as a Second Language French Immersion

Général Avancé Professionnel Éducation spécialisée Éducation spécialisée pour les surdoués Français ou anglais comme langue seconde Immersion en anglais

76. The WTRU may configure a second IP address based on a prefix provided by the second D-GW.

L'unité WTRU peut configurer une seconde adresse IP sur la base d'un préfixe fourni par la seconde passerelle D-GW.

77. An audible alarm has first and second acoustic chambers that deliver sound to respective first and second horns.

L'invention concerne une alarme sonore comprenant une première chambre acoustique et une seconde chambre acoustique fournissant du son à un premier pavillon acoustique et à un second pavillon acoustique.

78. The method comprises determining a first score representative of a transcription factor binding affinity of a first allele, and a second score representative of a transcription factor binding affinity of a second allele.

Le procédé comprend la détermination d'un premier score représentatif d'une affinité de liaison de facteur de transcription d'un premier allèle, et d'un deuxième score représentatif d'une affinité de liaison de facteur de transcription d'un deuxième allèle.

79. A second gas jet is also accelerated through the Laval nozzle (20), the second gas jet passing around the distal end of the powder feed pipe.

Un second jet gazeux est également accéléré à travers la tuyère de Laval (20), le second jet gazeux passant autour de l'extrémité distale du tuyau d'alimentation en poudre.

80. Transfer line sensor arrangement (44, 48) monitors the first and second lines (22, 30) for the presence of liquid therein, and generates first and second signals when liquid becomes absent from the first and second lines (22, 30), respectively.

Un agencement (44, 48) de capteurs de transfert en conduit contrôle les premier et second conduits (22, 30) afin de vérifier qu'ils contienent du liquide, et il génère des premier et second signaux en cas d'absence de liquide dans les premier et second conduits (22, 30) respectivement.