extracts the lower-order bits of the fixed-point part
extrait les octets d'ordre inférieur de la partie de point fixe
Andere resultaten
Glass - Viscosity and viscometric fixed points - Part 6: Determination of softening point 90.60 81.040.01
Verre - Viscosité et points viscosimétriques fixes - Partie 6: Détermination de la température de ramollissement 90.60 81.040.01
Glass - Viscosity and viscometric fixed points - Part 8: Determination of (dilatometric) transformation temperature 90.60 81.040.01
Verre - Viscosité et points viscosimétriques fixes - Partie 8: Détermination de la température de transformation (dilatométrique) 90.60 81.040.01
not only a positional displacement between the fixed point of the end part of the power generating device
un déplacement positionnel entre le point fixe de la partie d'extrémité du dispositif de génération de puissance
device for guiding a rope and method for securing said guiding device on a fixed point or a part to be handled
dispositif de guidage d'un cordage et procédé de fixation de ce dispositif de guidage sur un point fixe ou une pièce à manoeuvrer
in which the wound coil is enclosed and stressed and making the sheath integral with a fixed point distinct from the part of the cable on which said pipe is wound
dans laquelle est enfermé et contraint le tuyau enroulé, et l'on solidarise l'enveloppe d'un point fixe distinct de la partie de câble sur laquelle est appliqué le tuyau susmentionné
It is left to the three free parts to weave the melismatic texture around these two fixed points, therefore.
À charge donc aux trois parties libres de tisser la texture mélismatique autour de ces deux points fixes.
formed from the contact part to the fixed point
formé entre la partie de contact et le point fixe
In the first part, we are interested in persistence and stability of fixed points of some sequence of mappings defined on different subsets of a metric space.
Le premier volet est relatif à la persistance et à la stabilité de points fixes associés à des applications définies sur différentes parties d'un espace métrique.
The last part of this work corresponds to the development of the fixed-point conversion methodology.
Le troisième aspect de ce travail de recherche correspond à la mise en oeuvre de la méthodologie de codage des données en virgule fixe.
The second part of the thesis is a study of the trade-offs involved when generating fixed-point code for linear algebra basic blocks.
La deuxième partie de cette thèse est dédiée à l'étude des compromis lors de la génération de programmes en virgule fixe pour les briques d'algèbre linéaire.
The second part of the thesis is a study of the trade-offs involved when generating fixed-point code for linear algebra basic blocks.
La deuxième partie de cette thèse est dédiée à l'étude des compromis lors de la génération de programmes en virgule fixe pour les briques d'algèbre linéaire.
In the second part, we argue that infinitary proofs have a true proof-theoretical status by showing that the multiplicative additive linear-logic with fixed points admits focalization and cut-elimination.
Dans la deuxième partie, on argumente que les preuves infinitaires ont effectivement un réel statut preuve-theorique, en montrant que la logique linéaire additive multiplicative avec points fixes admet les propriétés d'élimination des coupures et de focalisation.