Use "predicate logic pl" in a sentence

1. This is generally achieved by mapping the derived meaning into a set of assertions in predicate logic, then using logical deduction to arrive at conclusions.

Ceci est généralement réalisé en mappant la signification dérivée dans un ensemble d'assertions dans la logique de prédicat, puis en utilisant la déduction logique pour arriver à des conclusions.

2. PL: excluding aerial photography)

PL: sauf photogrammétrie.)

3. Absolute PL Quantum Yield spectrometers

Spectromètres de rendement quantique absolu en lumière polarisée

4. Adaptive level binary logic

Logique binaire a niveau adaptatif

5. In mathematical logic, algebraic logic is the reasoning obtained by manipulating equations with free variables.

Enlogique mathématique, la logique algébrique est le raisonnement obtenu en manipulant des équations avec des variables libres.

6. A programmable logic device is adapted to predict carry values in long-chain-carry logic configurations.

Selon un mode de réalisation préféré, le dispositif s'applique aux configurations à logique de report pour chaîne longue.

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

8. Scalable code absolute logic function (scalf) encoder

Codeur a fonction logique absolue de code evolutif (scalf)

9. Fully depleted silicon-on-insulator cmos logic

Logique cmos silicium sur isolant entierement appauvrie

10. PL: Nationality condition for the supply of aerial photographic services.

PL: Condition de nationalité pour la fourniture de services de photographie aérienne

11. The processor elements are implemented as CMOS/neuron MOS threshold value logic elements or CMOS/NMOS pass transistor logic elements.

Les éléments processeurs sont réalisés sous la forme d'éléments de logique de valeur de seuil CMOS/neurone-MOS ou d'élément de logique transistor de passage CMOS/à canal MOS-N.

12. Each tier of the 3DIC has memory cells as well as access logic including global block control logic therein.

Chaque étage du 3DIC a des cellules de mémoire ainsi qu'une logique d'accès comprenant une logique de commande de bloc globale dans cette dernière.

13. The same technology with photochromic supramolecules was applied in advanced logic operations, giving rise to a very sophisticated molecular logic platform.

La même technologie avec les supramolécules photochromiques a été appliquée dans des opérations de logique avancées, donnant naissance à une plateforme de logique moléculaire très sophistiquée.

14. Implantable medical device incorporating adiabatic clock-powered logic

Dispositif medical implantable comprenant une logique adiabatique commandee par horloge

15. Ecl and ttl to cmos logic converter

Convertisseur de logiques ecl et ttl en logique cmos

16. Demodulator logic unit adaptable to multiple data protocols

Unite logique de demodulateur adaptable aux protocoles a donnees multiples

17. Algebraic logic treats algebraic structures, often bounded lattices, as models (interpretations) of certain logics, making logic a branch of the order theory.

La logique algébrique traite les structures algébriques, et les treillis comme modèles (interprétations) de certaines logiques.

18. Large multi-input CMOS logic gates may be formed by a sequence of alternating CMOS NAND and NOR logic gates.

D'après l'invention, on peut créer des portes logiques CMOS importantes à entrées multiples par l'intermédiaire d'une séquence de portes logiques alternées NON ET et NON OU de CMOS.

19. Boole's work founded the discipline of algebraic logic.

Le travail de Boole a fondé la discipline de la logique algébrique.

20. Temperature compensated cmos to ecl logic level translator

Traducteur thermocompense de signaux de niveaux logiques cmos a ecl

21. Ecl level/cmos level logic signal interfacing device

Dispositif d'interfaçage de signaux logiques du niveau ecl au niveau cmos

22. PL: CPC 871 excluding advertising of tobacco products, alcoholic beverages, pharmaceuticals;

PL: CPC 871, sauf la publicité des produits du tabac, des boissons alcooliques et des produits pharmaceutiques;

23. CD: coronal dentin PL: periodontal ligament C: cementum GS: gingival sulcus

DC : dentine coronaire LAD : ligament alvéolo-dentaire C : cément SG : sillon gingival

24. systems documentation (program logic, management control framework, accountability relationships).

documentation des systèmes (logique du programme, cadre de contrôle de gestion, rapports de responsabilité).

25. • systems documentation (program logic, management control framework, accountability relationships).

• documentation des systèmes (logique du programme, cadre de contrôle de gestion, rapports de responsabilité).

26. High voltage cmos logic using low voltage cmos process

Logique cmos haute tension utilisant un procede cmos basse tension

27. In the preferred embodiment, CMOS logic circuitry is utilized.

Dans le mode de réalisation préféré, des circuits logiques du type MOS complémentaire sont utilisés.

28. Logic circuit, address decoder circuit, and semiconductor storage device

Circuit logique, circuit décodeur d'adresse et dispositif de stockage semi-conducteur

29. But there's no logic to the algebra of love.

L'algèbre de l'amour n'a pas de logique.

30. PL Flight instruction for the issue of type ratings — powered-lift aircraft

PL Instruction au vol pour la délivrance de qualifications de type — aéronefs à sustentation motorisée

31. BG, EE, MT, PL: Unbound for the supply of aerial photographic services.

BG, EE, MT, PL: Non consolidé pour la fourniture de services de photographie aérienne.

32. Cache address strobe control logic for simulated bus cycle initiation

Logique stroboscopique de declenchement de cycles simules de commande de bus

33. The asynchronous pipeline may also incorporate clocked CMOS logic gates.

Le pipeline asynchrone peut également comprendre des grilles logiques CMOS synchronisées.

34. High speed ratioed cmos logic structures for a pulsed input

Structures logiques cmos haute vitesse a transistors mis en rapport pour une entree impulsionnelle

35. Method and apparatus for implementing an adiabatic logic family

Procede et dispositif servant a mettre en application une famille logique adiabatique

36. Market Access and National Treatment commitments by CY, MT & PL in Mode 1

Engagements de CY, MT et PL concernant l'accès au marché et le traitement national dans le cadre du mode 1.

37. Various logic gates may be constructed using U-CMOS transistors.

Diverses portes logiques peuvent être construites à l'aide de transistors U-CMOS.

38. Well, that's just faulty logic postulated on imperfect data collection.

Logique erronée qui part du principe d'un recueil de données imparfait.

39. The drivers are preferably complementary polar driven CMOS logic elements.

Ces pilotes sont de préférence des logiques CMOS à pilotage polaire complémentaire.

40. Mobilisation of the European Globalisation Adjustment Fund — application EGF/2013/009 PL/Zachem

Mobilisation du Fonds européen d'ajustement à la mondialisation — demande EGF/2013/009 PL/Zachem

41. TRI for aeroplanes and for powered-lift aircraft — TRI(A) and TRI(PL).

TRI pour avions et pour aéronefs à sustentation motorisée — TRI(A) et TRI(PL).

42. Exceptions could be made for rewriting functions or contributing new logic.

Des exceptions sont toutefois permises lors de la réécriture complète de fonctions ou la contribution de nouvelles approches.

43. Results and Outcomes by Activity Area] [RMAF, NAESI Logic Model]

[CGRR, modèle logique de l'INAN]

44. PL does not satisfy this provision as it imposes an accommodation condition on refugees too.

PL ne respecte pas cette disposition puisqu’elle impose une condition liée au logement aux réfugiés également.

45. The adjacency matrix can be based on fuzzy logic and updated periodically.

Ladite matrice de contiguïté, qui peut se baser sur une logique floue, est mise à jour périodiquement.

46. Methods, apparatus, instructions and logic to provide vector address conflict detection functionality

Procédé, appareil, instructions et logique permettant d'obtenir une fonctionnalité de détection vectorielle de conflit d'adresse

47. An electronic device is presented for performing at least one logic function.

L'invention concerne un dispositif électronique destiné à la mise en oeuvre d'au moins une fonction logique.

48. Integration of non-volatile charge trap memory devices and logic cmos devices

Intégration de dispositifs à mémoires non-volatiles à piégeage de charge et dispositifs logiques cmos

49. Dynamically adding application logic and protocol adapters to a programmable network element

Ajout dynamique d'une logique d'application et d'adaptateurs de protocole a un element de reseau programmable

50. Hardware acceleration system for logic simulation using shift register as local cache

Systeme d'acceleration de materiel pour simulation logique utilisant un registre a decalage comme memoire cache locale

51. • The logic model defined the linkages between PFRA activities and expected outcomes.

• Le modèle logique définit les liens entre les activités de l'ARAP et les conséquences escomptées.

52. Jech's research also includes mathematical logic, algebra, analysis, topology and measure theory.

Les travaux de Jech concernent également la logique mathématique, l'algèbre, l'analyse, la topologie et la théorie de la mesure.

53. This is a list of topics around Boolean algebra and propositional logic.

Voici une liste de sujets autour de l'algèbre booléenne et la logique propositionnelle.

54. ‘Braking signal’: logic signal indicating brake activation as specified in paragraph 5.2.1.30.

par «signal de freinage», un signal logique indiquant l’actionnement du freinage comme indiqué au paragraphe 5.2.1.30.

55. Non-volatile memory in cmos logic process and method of operation thereof

Mémoire non volatile en logique cmos et méthode d'utilisation de celle-ci

56. The logic is impeccable and with advances in technology, widespread implementation looks feasible.

Néanmoins, cela nécessitera à la longue de profonds ajustements sociaux, en particulier en termes d'emplois dans l'industrie automobile et chez ses fournisseurs ainsi qu'au niveau des distributeurs et de leur chaîne d'approvisionnement et exigera le financement d'une nouvelle génération d'investissements en infrastructures pour que les transports en commun puissent constituer une alternative au véhicule privé.

57. Electronic device and method for implementing logic functions and for guiding charged particles

Dispositif électronique et procédé pour la mise en œuvre de fonctions logiques et pour le guidage de particules chargées

58. In algebraic logic: Variables are tacitly universally quantified over some universe of discourse.

En logique algébrique: Les variables sont tacitement universellement quantifiées sur un univers du discours.

59. Damazy Podsiadło stressed the importance [pl] of the initiative but was sceptical about its actual impact:

Damazy Podsiadło a insisté sur l'importance de cette initiative mais restait sceptique sur ses effets réels :

60. Computation within a processing element is performed by processor logic blocks (PLB) (150).

Le calcul à l'intérieur d'un élément de traitement s'effectue par des blocs logiques de traitement (PLB) (150).

61. There is absolutely no basis in the text, or logic, for Canada’s argument.

Le Canada prétend par ailleurs qu'"un groupe de branches de production" est pareillement circonscrit aux différents membres qui fabriquent des produits similaires.

62. Grammatical labels (for example, n., v., adj., pl.) refer to the terminology unit in its entirety.

L'indicatif de grammaire ou de source (par exemple, n.m., n.f., v., adj., plur.) se rapporte à l'unité terminologique dans son ensemble.

63. The RFID logic block includes a transceiver, a memory and a processor.

Le bloc logique RFID comprend un émetteur-récepteur, une mémoire et un processeur.

64. Such a mediation brought together algebra and logic for the first time.

Une médiation marquée par un premier rapprochement entre algèbre et logique.

65. Based on the measured wave aberration, image characteristics of the projection optical system (PL) is adjusted.

Sur la base de l'aberration d'onde mesurée, on règle les caractéristiques du système optique de projection (PL).

66. Digital logic correction circuit for a pipeline analog to digital (a/d) converter

Circuit de correction logique numerique pour convertisseur pipeline analogique numerique

67. They are tyrants who execute not simple mindedly, but with their own logic.

Ils sont sournois, rusés, et agissent selon leur logique de monstre.

68. Preferably, the increased power level (Pl) alternates with the decreased power level (P2) during successive scans.

De préférence, le niveau de puissance plus grand (P1) alterne avec le niveau de puissance plus faible (P2) pendant les balayages successifs.

69. The language incorporated ideas from PL/I, ALGOL and XPL, and had an integrated macro processor.

Le langage incorpore des idées empruntées aux langages PL/I, ALGOL et XPL, et possède un préprocesseur de macros intégré.

70. The configuration policy contains business logic used to aggregate messages into a batch.

Les règles de configuration contiennent une logique de gestion utilisée pour regrouper des messages en un lot.

71. The control logic (170) is adapted to receive a first coding gain parameter.

La logique de commande (170) est conçue pour recevoir un premier paramètre de gain de codage.

72. Brady (2000) discusses the rich historical connections between algebraic logic and model theory.

Brady (2000) a examiné les riches liens historiques entre la logique algébrique et la théorie des modèles.

73. An adaptive keeper circuit to control domino logic dynamic circuits using rate sensing technique

Circuit de maintien adaptatif de commande de circuits dynamiques logiques domino utilisant une technique de détection de vitesse

74. All Member States except BG, CZ, HR, HU, LV, LT, PL, RO: Unbound except for aerial photography: none

Tous les États membres sauf BG, CZ, HR, HU, LV, LT, PL et RO: non consolidé, sauf pour la photogrammétrie: néant

75. The different logic and purpose of both notions may justify necessary adaptations or distinctions.

La logique et la finalité différentes de ces deux notions pourraient justifier de nécessaires adaptations et distinctions.

76. If they continue that line of logic, the poor victims will gain absolutely nothing

S'ils maintiennent cette optique, il est bien certain que les pauvres victimes n'y gagneront absolument rien

77. Method and system for packaging service logic programs in an advanced intelligent network

Procede et systeme d'emballage de programmes logiques de service dans un reseau intelligent evolue

78. Programmable logic controllers, multi display units electronic counters, electronic timers, sensor control units

Contrôleurs logiques programmables, unités d'affichage multifonctions, compteurs électroniques, minuteries électroniques, commandes de capteurs

79. According to the rules of logic, only one of those solutions is tenable.

En bonne logique, on ne peut soutenir qu'une seule de ces thèses.

80. Logic may define a new short frame format with an acknowledgement (ACK) policy field.

La présente invention concerne une logique pouvant définir un nouveau format de trame courte avec un champ de politique d'accusé de réception (ACK).