Sovereign Equality of States in International Law, R.P. Anand R.P. Anand, Professor at the Jawaharlal University of New Delhi, points out in the introduction of his course that the principle of sovereign equality of States refers to two twin principles which are accepted as unimpeachable norms of modern international law which cannot be questioned: the principles of equality and of sovereignty of States. Taking this as his starting point, the author first discusses the sovereignty of States in an interdependent world. He then examines the principle of equality of States in an unequal world from a historical perspective. Finally, Professor Anand tackles the questions of equality of States in a hierarchical world order, and mini-States and equality of rights. La Méthode de la Référence à l'Ordre juridique compétent en Droit international privé, Paolo Picone Paolo Picone, Professor at the University of Naples, notes in the introduction to his course that contemporary international law, such as it evolved during the 19th century, developed different methods of coordination. One method has nevertheless been neglected, which consist in choosing not the applicable law, but the competent legal system. After discussing the crisis in private international law, the author examines the method of coordination of legal systems based on the applicable law, followed by one that is based on reference to the @@@competent legal system. @@@He describes the functioning of the latter method in the case of the creation of legal situations in the @@@for, and in the case of recognition of foreign legal situations in the for. Professor Picone finishes his course by investigating the use of this method in solving the problem of preliminary matters in private international law, the method's area of application and its future prospects.

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.

Synthèse unique en langue française, Modéliser les accidents et les catastrophes industrielles : la méthode STAMP est le fruit d’un travail de recherche sur les modèles d’accident au sein des systèmes, qu’ils soient techniques et/ou sociaux. Cet ouvrage décrit les principales grandes théories, modèles et approches mobilisables pour comprendre, évaluer et mettre en place une démarche de prévention des accidents et de gestion des risques au sein de systèmes sociotechniques. Il présente ainsi tous les éléments nécessaires à la compréhension des modèles d’accident : définitions, objectifs, cadres théoriques et scientifiques, limites et développements, etc... L’ouvrage aborde l’accident selon une approche systémique, notamment selon la théorie générale des systèmes de Bertalanffy. Puis il propose une étude du modèle STAMP et de la technique d’analyse des dangers STPA à travers sa mise en application au sein d’un système socio-technique industriel de traitement de sédiments contaminés, en vue d’en évaluer la sécurité et d’en améliorer la performance. Clair et concis, il permet ainsi : de connaître les principaux modèles d’accident existants et de les comprendre ; d’appréhender la modélisation d’accident comme un outil essentiel de compréhension et d’analyse des interactions entre les différents éléments d’un système et donc de son comportement ; d’acquérir et d’approfondir ses connaissances sur le modèle d’accident STAMP ainsi que sur son application au sein de systèmes socio-techniques. Modéliser les accidents et les catastrophes industrielles : la méthode STAMP s’adresse à tous les professionnels de la sécurité souhaitant consolider leur connaissance des évaluations de la sécurité ou des enquêtes sur les accidents au sein des systèmes socio-techniques.

The general purpose with which this book has been written is sufficiently indicated by its title. I have selected a number of the 'classical' experiments of Experimental Psychology, and have tried to present them in such a way that their performance shall have a real disciplinary value for the undergraduate student. Within this general purpose, my aim has been two-fold. I have sought to show, in the first place, that psychology is above the laboratory: that we employ our instruments of precision not for their own sake, but solely because they help us to a refined and more accurate introspection. And secondly, just as in my Outline of Psychology and Primer of Psychology I gave the results of experimentation a prominent place in the psychological system, so here I have treated the selected experiments not as separate exercises, but as points of departure for systematic discussion. (PsycINFO Database Record (c) 2005 APA, all rights reserved).

La méthode TLM (Transmission Line Matrix) permet de résoudre un problème d'électromagnétisme et d'analyser le comportement de certains milieux. Il s'agit d'un outil performant qui bénéficie d'un développement important. Sa capacité à simuler avec précision des situations variées incluant des matériaux complexes est démontrée. Cet ouvrage en expose les bases théoriques et les principaux développements. La méthode historique en deux et trois dimensions et les dernières évolutions y sont détaillées pour aboutir aux noeuds sophistiqués les plus utilisés. Les simulations des milieux fermés et ouverts sont traitées et en particulier les frontières absorbantes (PML) pour les milieux ouverts. L'introduction d'éléments passifs ou actifs, la simulation de fils minces, la simulation des milieux dispersifs comme les plasmas ou les ferrites par l'utilisation de la transformée en Z sont étudiées.