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

2. Data encryption algorithm ...

Algorithme d'encryptage des données ...

3. The object-oriented coder (104) executes a rate control algorithm, an unequal error protection algorithm, and an error concealment algorithm.

Le codeur (104) orienté objet exécute un algorithme de commande de débit, un algorithme de protection inégale contre les erreurs et un algorithme de dissimulation des erreurs.

4. This fluctuation is considered both additively and multiplicatively with respect to the deterministic equation.

Cette fluctuation est introduite de deux façons, additivement et multiplicativement, par rapport à l'équation déterministe.

5. In 1960, John Myhill introduced an automaton model today known as deterministic linear bounded automaton.

En 1960, John Myhill introduit un modèle d'automate appelé maintenant automate linéairement borné déterministe.

6. Flow meter algorithm

Algorithme de débitmètre

7. The automaton is constructed in such a way that it is guaranteed to be deterministic.

L'automate est construit d'une manière telle qu'il n'est pas garanti d'être déterministe.

8. To account for soil variability, the Richards equation is solved within deterministic and stochastic frameworks.

Afin de tenir compte de la variabilité des sols, l'équation de Richards est résolue dans des cadres déterministes et stochastiques.

9. Language determination options/algorithm

Algorithme/options de determination de langue

10. The algorithm is coded in a programming language and compiled into algorithm software libraries.

L'algorithme est codé dans un langage de programmation et compilé pour donner des bibliothèques logicielles d'algorithme.

11. Extensible markup language genetic algorithm

Algorithme genetique de langage de balisage extensible

12. Model Algorithm Highlights Personal Income Taxes

Transferts en argent

13. ‘Rotary tables on coordinate measuring machines’). "Asymmetric algorithm " A cryptographic algorithm using different, mathematicallyrelated keys for encryption and decryption.

Les termes ‹outil actif› désignent un dispositif destiné à appliquer à la pièce à usiner la puissance motrice, l’énergie nécessaire au processus, ou les capteurs.

14. Time-dependent solutions of stochastic and deterministic 3D neutron transport will be provided to model heterogeneous core configurations.

Des solutions fonction du temps du transport stochastique et déterministe des neutrons en 3D seront fournies pour modéliser des configurations de cœur hétérogènes.

15. (1) Algorithm 4 supports settlement procedure 5.

1) L'algorithme 4 est utilisé dans la procédure de règlement 5.

16. Processor for executing an aes-type algorithm

Processeur d'execution d'un algorithme de type aes

17. Summary description of the algorithm; SECTION 2:

Description sommaire de l’algorithme; SECTION 2 :

18. The Bessel algorithm is recursive in nature.

Par nature, l'algorithme de Bessel est récursif.

19. The equivalence of the proposed algorithm to the originalftf algorithm is demonstrated by simulations of an acoustic room impulse response identification.

L’équivalence entre l’algorithme proposé et l’algorithme original est démontrée par simulation de l’identification de la réponse impulsionnelle d’une chambre anéchoïde.

20. ‘Rotary tables on coordinate measuring machines’). Cat 5 - "Asymmetric algorithm " A cryptographic algorithm using different, mathematicallyrelated keys for encryption and decryption.

Cette expression désigne les instruments se trouvant dans le coeur et hors du coeur qui servent à mesurer les flux dans une large gamme, allant habituellement de 104 neutrons par cm2 par seconde à 1010 neutrons par cm2 par seconde, ou plus.

21. ‘Rotary tables on coordinate measuring machines’). Cat 5 - "Asymmetric algorithm" A cryptographic algorithm using different, mathematicallyrelated keys for encryption and decryption.

Échangeurs de chaleur Échangeurs de chaleur (générateurs de vapeur) spécialement conçus ou préparés pour utilisation dans le circuit de refroidissement primaire d'un réacteur nucléaire au sens de 3-2.1.1 ci-dessus.

22. The optimization algorithm can be translated into software.

L'algorithme de réduction doit pouvoir tourner sur ordinateur.

23. Performed using a GoC PKI PMA approved algorithm.

Chaque biclé de confidentialité doit être produite à l'aide d'un algorithme approuvé par l'AGP de l'ICP GC.

24. A cluster algorithm for orientation data is presented.

Un algorithme pour l'analyse des groupes de vecteurs est présenté.

25. The scalable algorithm can be without error propagation.

L'algorithme extensible peut être sans propagation d'erreur.

26. It is shown that the linear action at a distance interaction can be transposed on the basis that allows the deterministic interpretation.

On démontre que l'interaction linéaire d'action à distance peut être transposée sur la base d'une interprétation déterministe.

27. The deterministic version has been used in operational contexts (e.g., Ada), and is currently used both in the domain of compilation.

La version déterministe a fait l'objet d'utilisations industrielles (Ada, par exemple) et continue à être utilisé dans le domaine de la compilation.

28. Radioiodine exposure can result in both deterministic effects (hypothyroidism and acute thyroiditis) and stochastic effects (thyroid cancer and benign thyroid nodules).

L'exposition à l'iode radioactif peut entraîner à la fois des effets déterministes (hypothyroïdie et thyroïdite aiguë) et des effets stochastiques (cancer de la glande thyroïde et nodules thyroïdiens bénins).

29. Thus, deterministic means enable in principle to approach as closely as desired the capacity of the additive white Gaussian noise channel.

Des moyens déterministes permettent ainsi en principe de s’ approcher autant qu’ on le souhaite de la capacité du canal à bruit additif, gaussien et blanc.

30. The computations use the normalized, incomplete beta function algorithm.

Les calculs utilisent l'algorithme de fonction bêta normalisé.

31. Deviation based antenna control algorithm for an access point

Algorithme de commande d'antenne base sur la deviation pour un point d'acces

32. Fast segmentation algorithm for bi-level image compression using jbig2

Algorithme de segmentation rapide pour compression d'image monochrome au moyen de la norme jbig2

33. The algorithm given is implemented in computer algebra system (REDUCE).

L'algorithme donné est programmé dans un langage de calcul formel (REDUCE).

34. Explicit rate abr algorithm for use in an atm switch

Algorithme abr a debit explicite exploitable dans un selecteur atm

35. Methods and apparatus for adaptively scheduling a finger stabilization algorithm.

La présente invention se rapporte à des procédés et à un appareil permettant de programmer de façon adaptative un algorithme de stabilisation de doigt.

36. The Bowyer–Watson algorithm provides another approach for incremental construction.

L'algorithme de Bowyer-Watson est une autre approche de construction incrémentale.

37. Adaption algorithm for subband echo canceller using weighted adaption gains

Algorithme d'adaptation pour suppresseur d'echo de sous-bande mettant en ×uvre des gains d'adaptation ponderes

38. One demonstrated manifestation is in the deterministic optical figuring of thin glasses by wet chemical etching using a buffered hydrofluoric acid solution and Marangoni effect.

Une des manifestations démontrées de cette invention est le façonnage optique déterministe de verres fins par gravure humide au moyen d'une solution d'acide fluorhydrique tamponnée et de l'effet Marangoni.

39. The Gilbert-Johnson-Keerthi distance algorithm has superseded that approach.

L'algorithme de la distance de Gilbert-Johnson-Keerthi (en) a remplacé cette approche.

40. Dr. Christou uses the following chart (algorithm) for band adjustments.

Le Dr Christou utilise le diagramme suivant (algorithme) pour les réglages d’anneaux modulables.

41. A first dose calculation algorithm is used to obtain substantially complete dose calculations and a second, incremental, dose calculation algorithm is used to make more limited calculations.

Un premier algorithme de calcul de dose est utilisé pour obtenir des calculs de dose substantiellement complets, et un second algorithme de calcul de dose différentiel est utilisé pour faire des calculs plus restreints.

42. Fast mode decision algorithm for intra prediction for advanced video coding

Algorithme de decision en mode rapide pour la prediction interne pour codage video ameliore

43. Adaptation control algorithm for echo cancellation using signal-value based analysis

Algorithme de commande d'adaptation destine a l'annulation de l'echo au moyen d'une analyse basee sur la valeur de signal

44. Settlement procedure # can make use of Algorithm # running on sub-accounts

La procédure de règlement # peut utiliser l'algorithme #, fonctionnant sur les sous-comptes

45. An algorithm on the transmitting processor collates the receipt transmissions (46).

Un algorithme s'exécutant sur l'unité de traitement et de transmission interclasse les transmissions de reçus (46).

46. CURVE PROCESSOR ALGORITHM FOR THE QUALITY CONTROL OF (RT-)qPCR CURVES

Algorithme de processeur de courbe pour le contrôle de la qualité de courbes de (rt-)qacp

47. Lossless compression algorithm, which might be applied to previously compressed data.

La présente invention porte sur un mode de traitement d'informations, qui effectue la modification d'un algorithme de compression sans perte, en utilisant des tableaux initiaux faits auparavant et des algorithmes itératifs de compression de données sans perte.

48. Thus the algorithm is easily portable to new domains and languages.

Ainsi l'algorithme est plus facilement portable à la gestion d'une nouvelle langue.

49. A sequential deposition packing algorithm was used for packing typical aggregate gradations.

Un algorithme de tassement avec déposition séquentielle a été utilisé pour le tassement des granulométries typiques des granulats.

50. In some embodiments, a machine learning algorithm creates the state estimation model.

Dans certains modes de réalisation, un algorithme d'apprentissage machine crée le modèle d'estimation d'état.

51. Due to the shared computations the result of the algorithm is accurate.

Les calculs étant partagés, le résultat de l'algorithme est précis.

52. No, I don't have enough information to create an accurate location algorithm.

Non, je n'ai pas assez d'informations pour créer un algorithme de localisation assez précis.

53. Thus, the algorithm is almost always faster than its worst-case bounds.

Par conséquent, l'algorithme de l'invention est presque toujours plus rapide que ses limites du cas le pire.

54. this algorithm does a topological sort of an oriented and acyclic graph.

cet algorithme fait un tri topologique d'un graphe orienté et acyclique.

55. Additionally, Member States may employ a custom algorithm to return additional results.

Par ailleurs, les États membres peuvent utiliser un algorithme personnalisé pour renvoyer des résultats supplémentaires.

56. Each algorithm is designed to identify a certain type of memory error.

Chaque algorithme est conçu pour identifier un certain type d'erreur mémoire.

57. Another approach applied an inverse algorithm to a time series of measurements.

Une autre approche appliquait un algorithme inverse à une série temporelle de mesures.

58. Use of an evidence-based, translational algorithm to, inter alia, assess biomarkers

Utilisation d'un algorithme de translation, basé sur les preuves, entre autres, pour évaluer des biomarqueurs

59. Aes algorithm processing method and processors resistant to differential power analysis attack

Procédé de traitement par algorithme aes et processeurs résistant à une attaque par analyse différentielle de puissance

60. An encoder may include a core MDCT filterbank that can be used to implement an advanced audio coding (AAC) algorithm, an AAC-enhanced low delay (ELD) algorithm or both algorithms.

Un codeur peut comprendre un ensemble de filtres MDCT central qui peut être utilisé pour mettre en œuvre un algorithme de codage audio avancé (AAC), un algorithme à faible retard à AAC amélioré (ELD) ou les deux algorithmes.

61. for software, a description of the data interpretation methodology, namely the algorithm;

pour un logiciel, une description de la méthodologie d'interprétation des données, à savoir l'algorithme;

62. The rate of convergence of the Gauss–Newton algorithm can approach quadratic.

La vitesse de convergence de l'algorithme de Gauss–Newton peut approcher la vitesse quadratique.

63. Iterative algorithm is used to estimate position and orientation from sensor's signal.

Un algorithme itératif est utilisé pour estimer la position et l'orientation à partir d'un signal du capteur.

64. An improved low complexity model based channel estimation algorithm for fading channels

Algorythme d'estimation de voies ameliore base sur un modele de faible complexite s'appliquant a des voies sujettes aux evanouissements

65. The approach to confirmation should be dependent on a nationally established algorithm.

La méthode de confirmation devrait dépendre d'un algorithme déterminé à l'échelon national.

66. Method for improving mobile radiocommunication system performances using a power control algorithm

Procede permettant d'ameliorer les performances d'un systeme de radiocommunication mobile grace a un algorithme de commande de puissance

67. High speed viterbi decoding and detection using an iterative trellis collapsing algorithm

Detection et decodage de viterbi haute vitesse au moyen d'un algorithme de reduction de treillis iteratif

68. The solution is obtained by "nesting" an iterative procedure within an EM algorithm.

La solution est obtenue par « imbrication » d'une procédure itérative dans un algorithme EM.

69. This operational procedure at headquarters- the first algorithm- is referred to as “scrutiny”.

Cette procédure opérationnelle, effectuée au siège, à savoir le premier algorithme, est nommée procédure de vérification.

70. Bresenham's algorithm draws lines extremely quickly, but it does not perform anti-aliasing.

L'algorithme de Bresenham trace des lignes extrêmement rapidement, mais n'est pas conçu pour l'anticrénelage.

71. Our description of the algorithm has talked about paths in the state space.

Notre description de l'algorithme a parlé à propos de chemins dans un espace d'état

72. (d) for standalone software, the description of the data interpretation methodology (i.e. algorithm);

(d) pour un logiciel autonome, la description de la méthodologie d’interprétation des données (par exemple, algorithme);

73. Optimized cache consistency algorithm in a point-to-point interconnected multiple processor system

Algorithme optimisé de consistance de mémoire cache dans un système de traitement multiple interconnecté point à point

74. A power-based performance index may be generated with the performance assessment algorithm.

Un indice de rendement énergétique peut être produit à l'aide de l'algorithme d'évaluation du rendement.

75. Translation of addresses is accomplished through either database query or by conversion algorithm.

La transformation des adresses se fait soit en interrogeant une base de données, soit à l'aide d'un algorithme de conversion.

76. Settlement procedure 6 interfaced can make use of Algorithm 5 running on subaccounts.

La procédure de règlement 6 interfacé peut utiliser l'algorithme 5, fonctionnant sur les sous-comptes.

77. An algorithm for predicting the effect of IPTi was developed using two approaches.

Un algorithme pour prédire l'effet de l'IPTi a été développé au moyen de deux approches.

78. A Pattern Match Algorithm may be performed to provide more precise GPS time.

Un algorithme de corrélation de profil peut être utilisé pour l'établissement de temps GPS plus précis.

79. Settlement procedure 6 can make use of Algorithm 5 running on sub-accounts.

La procédure de règlement 6 peut utiliser l'algorithme 5, fonctionnant sur les sous-comptes.

80. This operational procedure at headquarters- the first algorithm- is referred to as “scrutiny”

Cette procédure opérationnelle, effectuée au siège, à savoir le premier algorithme, est nommée procédure de vérification