Translation for "calculi" to french

Calculi

noun

• calcul

Translation examples

calcul noun

Such projects were also conducted in the specification and development of reactive systems. The projects addressed reactive systems using general-duration calculi and investigated other theories of reactive systems such as compositional verification and refinement calculi.
Ils se sont intéressés à la spécification et au développement de systèmes réactifs qui utilisent les calculs généraux de durée et ont étudié d’autres théories de systèmes réactifs comme la vérification compositionnelle et les calculs de précision.

60. During the year, UNU/IIST continued work on its project on Design Calculi and Research for Telecommunication Systems (DESCARTES), which is investigating rigorous approaches to software development in telecommunications.
En 1997, l’UNU/IIST a poursuivi ses travaux concernant le projet consacré au Système conceptuel de calcul et de recherche pour les télécommunications (DESCARTES).

The focus is on helping to develop advanced and indigenous software by emphasizing design calculi-oriented techniques and tools; through graduate teaching; and through research, particularly in application-domain modelling, requirements capture and programming methodologies.
L'accent est mis ici sur l'aide au développement de logiciels avancés et locaux en insistant sur les techniques et les outils de conception axés sur les calculs utilisés par l'enseignement supérieur, la recherche, en particulier en modélisation des domaines d'application, la saisie des conditions et les méthodologies de programmation.

UNU/IIST research projects were carried out in the area of hybrid systems, typically control systems with embedded computers using durational calculi as the formal tools.
110. Les projets de recherche de l'UNU/IIST ont porté sur les systèmes hybrides, généralement des systèmes de commande à ordinateurs intégrés qui s'appuient sur des calculs de durée.

Postgraduate DESCARTES Course: Design Calculi and Research Telecommunication Systems, in China, Brazil, Indonesia, Pakistan and South Africa;
Le «Cours d’études supérieures DESCARTES : les calculs de conception de systèmes et les systèmes de télécommunications de recherche» en Afrique du Sud, en Chine, au Brésil, en Indonésie et au Pakistan;

Formal Software Development Methods and the Duration Calculi: from Programmes on Large-scale Systems and from Untimed Reactive Discrete Systems to Real-time Hybrid Systems, in Macau.
Le «Cours de formation de troisième cycle aux méthodes d’élaboration de logiciels et aux calculs de durée : des programmes relatifs aux systèmes à grande échelle et des systèmes non intégrés réactifs aux systèmes hybrides en temps réel» à Macao.

110. UNU/IIST research projects were carried out in the area of hybrid systems, typically control systems with embedded computers using durational calculi as the formal tools.
Les projets de recherche de l’UNU/IIST ont porté sur les systèmes hybrides, généralement des systèmes de commande à ordinateurs intégrés qui s’appuient sur des calculs de durée.

51. UNU/IIST research projects were carried out in the area of hybrid systems, typically control systems with embedded computers using durational calculi as the formal tools.
51. Les projets de recherche de l’UNU/IIST ont porté sur les systèmes hybrides, généralement des systèmes de commande à ordinateurs intégrés qui s’appuient sur des calculs de durée.

"especially amongst patients with renal calculi. "
"particulièrement auprès des patients souffrant de calculs rénaux."