At one extreme there are several instances of a single hospital working a scheme through its own secretary and treasurer; at the other, there is a scheme worked by a highly organised hospital council on which there are representatives of all the hospitals in the area, the City Corporation and various trade associations and public bodies. Between these two extremes many varieties of organisation...

This paper argues that distributed cognition provides a unifying framework for analyzing organizations as socio-technical systems. The framework is utilized in an analysis of information processing at a post office. Finally, implications – both for organizational and cognitive studies – are presented. Research on performative representations is called for and, consequently, an abandonment of th...

The performance of the elliptic curve method (ECM) for integer factorization plays an important role in the security assessment of RSA-based protocols as a cofactorization tool inside the number field sieve. The efficient arithmetic for Edwards curves found an application by speeding up ECM. We propose techniques based on generating and combining additionsubtracting chains to optimize Edwards E...

THIS is a most interesting and at times exciting book which will be read and enjoyed by all those concerned in the management of eczema-but there are many faults. The editor has set himself an almost impossible task. He has attempted to unify the ideas on the subject of eczema as propounded with considerable vigour by nine authors (and himself), representing six different countries (England, Sc...

In this case study we show how an unambiguous semantic representation can be constructed dynamically in left-to-right order while a text is written in PENG, a controlled natural language designed for knowledge representation. PENG can be used in contexts where precise texts (e.g. software specifications, axioms for formal ontologies, legal documents) need to be composed. Texts written in PENG l...

Superdeduction is a systematic way to extend a deduction system like the sequent calculus by new deduction rules computed from the user theory. We show how this could be done in a systematic, correct and complete way. We prove in detail the strong normalisation of a proof term language that models appropriately superdeduction. We finaly examplify on several examples, including equality and noet...

P rofessional, modern armies have characteristics which set them apart from other occupations. These affect both volunteer and conscripted forces. The soldiers who comprise an army are able to use controlled force in a disciplined way with the accepted understanding that death or injury to themselves, as well as others, may result. This may happen not only during combat but also in situations s...

1Occupational health unit, University hospital of Poincaré site, Garches, France; 2Versailles St-Quentin University, Versailles, France; 3CESP, U 1018 Inserm, Villejuif, France; 4Versailles Saint-Quentin en Yvelines, Faculty of Health sciences Simone Veil, Department of Family Medicine, Montigny le Bretonneux, France; 5Université Paris-Saclay, University Paris-Sud, Villejuif, France; 6Charcot P...

Second-order equations of motion on a group manifold that appear in a large class of so-called chiral theories are presented. These equations are presented and explicitely solved for cases of semi-simple, finite-dimensional Lie groups.