Nouveau : Traduire du texte avec ChatDico – 172 langues

Dictionnaire français - anglais

perforation fonctionnelle

designation hole

informatique et traitement des données - iate.europa.eu

▷

Ssme seal test program: test results for hole-pattern damper seals... The designation hole-pattern refers to a stator roughness pattern which is developed by a pattern of round holes while are milled into the stator....

général - core.ac.uk - PDF: hdl.handle.net

control hole

informatique et traitement des données - iate.europa.eu

▷

Hole-spin dynamics and hole g-factor anisotropy in coupled quantum well systems... Using resonant spin amplification, we also observe an anisotropy of the hole-spin dephasing in the (110)-grown structure, indicating that crystal symmetry may be used to control hole-spin dynamics

général - core.ac.uk - PDF: epub.uni-regensburg.de

Control of exciton confinementin quantum dot–organiccomplexes through energetic alignment of interfacial orbitals... These substitutions control hole delocalizationin the QDs through the energetic alignment of the highest occupiedorbitals of PTC with the highest density-of-states region of the CdSevalence band,...

PDF: figshare.com

control punch

informatique et traitement des données - iate.europa.eu

card code

informatique et traitement des données - iate.europa.eu

▷

Studies in syphilis 11. methods of analysis of yale autopsy protocols, including a code for the punched card study of syphilis.*... The present communication will describe this material, discuss the methods employed in analyzing it, and present the punched card code finally adopted for the survey....

général - core.ac.uk - PDF: citeseerx.ist.psu.edu

Toward automatic generation of provably correct java card applets... The applet generator translates a SmartSlang spec into the logical language of Specware, re-expresses the translated spec in terms of Java Card concepts via a series of refinement steps using Specware's machinery, and generates Java Card code from the refined spec....

PDF: citeseerx.ist.psu.edu

Eceasst the belgian electronic identity card: a verification case study... In this paper we report on our experience of verifying several thousands of lines of Java Card code using VeriFast, one of the state-of-the-art separation logic based verifiers....

PDF: journal.ub.tu-berlin.de

Securemdd: a model-driven development method for secure smartcard applications... In this paper we focus on the part of our approach which is used to generate secure smartcard code

PDF: opus.bibliothek.uni-augsburg.de

Field name length type format cobol... *There are 3 different record types, each uniquely identified by card code, as follows: card codes 01 through 02, & 99....

PDF: citeseerx.ist.psu.edu