The French-English volume of this highly acclaimed set consists of some 100,000 keywords in both French and English, drawn from the whole range of modern applied science and technical terminology. Covers over 70 subject areas, from engineering and chemistry to packaging, transportation, data processing and much more.

Quality in Translation is a compilation of papers from the ""Proceedings of the Third Congress of the International Federation of Translators."" This collection discusses the quality methods and criteria of translation, the training of translators, practical measures in translating, and terminologies. This text describes what a good translation should be. This book analyzes the problems encountered when translating from one language to another: language thought patterns, occurrence of transformations during translations, and the range of interpretability. Another concern this book addresses is the dilemma of quality versus quantity, especially in scientific materials when more studies need to be translated for wider exposure to the scientific community. The training of translators covers how Russian students are selected, the training methods, and emphasis on peculiarities of the English and Russian languages. Practical matters include choosing the right translator for the right job or subject, as well as some advice for clients seeking translators for embassy work. The terminological aspects in translating include the translator's confidence with his choice of words and how he uses a scientist's new coined words instead of his employing similar terminologies used by the scientist's colleagues. This book also cites the accomplishments of the International Committee for the Co-ordination of Terminological Activities. Translators and students studying foreign languages, overseas workers, consulate staff, linguists and administrators of international companies will find this book relevant.

La mise en place d’un logiciel sans défaut reste primordiale pour plusieurs domaines qui requièrent des applications dites de sécurité comme les transports. La réalisation d’un modèle formel est l’approche la plus efficace pour atteindre l'objectif du zéro défaut, que ce soit en termes de temps ou de maîtrise de la complexité. Ce modèle permet d’analyser et de vérifier le comportement d’un logiciel. Cet ouvrage présente la méthode B, une méthode formelle s’appuyant sur la preuve de propriétés qui, sur la base d’une spécification et de la notion de raffinement, permet d’aller jusqu’à la production automatique de code. Différents outils découlant de cette méthode ainsi que des exemples concrets d’utilisations industrielles de différentes tailles sont aussi exposés dans des domaines tels que l’avionique ou les systèmes manufacturiers.

The classical approach for solving evolution Partial Differential Equations (PDEs) using a parallel computer consists in first partitioning the spatial domain and assigning each subdomain to a processor to achieve space-parallelism, then advancing the solution sequentially. However, enabling parallelism along the time dimension, despite its intrinsic difficulty, can be of paramount importance to fast computations when space-parallelism is unfeasible, cannot fully exploit a massively parallel machine or when near-real-time prediction is desired. The aforementioned objective can be achieved by applying classical domain decomposition principles to the time axis. The latter is first partitioned into time-slices to be processed independently. Starting with approximate seed information that provides a set of initial conditions, the response is then advanced in parallel in each time-slice using a standard time-stepping integrator. This decomposed solution exhibits discontinuities or jumps at the time-slice boundaries if the initial guess is not accurate. Applying a Newton-like approach to the time-dependent system, a correction function is then computed to improve the accuracy of the seed values and the process is repeated until convergence is reached. Methods based on the above concept have been successfully applied to various problems but none was found to be competitive for even for the simplest of second-order hyperbolic PDEs, a class of equations that covers the field of structural dynamics among others. To overcome this difficulty, a key idea is to improve the sequential propagator used for correcting the seed values, observing that the original evolution problem and the derived corrective one are closely related. The present work first demonstrates how this insight can be brought to fruition in the context of linear oscillators, with numerical examples featuring structural models ranging from academic to more challenging large-scale ones. An extension of this method to nonlinear equations is then developed and its concrete application to geometrically nonlinear transient dynamics is presented. Finally, it is shown how the time-reversibility property that characterizes some of the above problems can be exploited to develop a new framework that provides an increased speed-up factor.