We present the design and rationale of a new statically-typed object-oriented language, LOOM. LOOM retains most of the features of the earlier language PolyTOIL. However the subtyping relation is dropped from LOOM in favor of the matching relation. \Hash types", which are de ned in terms of matching, are introduced to provide some of the bene ts of subtyping. These types can be used to provide ...

Prevention through Design (PtD) research is central to the National Institute for Occupational Safety and Health's (NIOSH) national PtD initiative. Research is needed to support PtD efforts in all of the other three functional areas (Practice, Policy, and Education) and within all eight industry sectors. The PtD concept is new to many industry sectors. An understanding of how the PtD concept ca...

The aims of the present work were: to calculate lifting energy consumption (LEC) in work activities designed to have a growing lifting index (LI) by means of revised NIOSH lifting equation; to evaluate the relationship between LEC and forces at the L5-S1 joint. The kinematic and kinetic data of 20 workers were recorded during the execution of lifting tasks in three conditions. We computed kinet...

Asbestos is a generic term used to refer to a group of mineral forms that share a unique set of physical properties. Today, the six mineral structures now identified by OSHA and by the mineralogical definition as ‘‘asbestos’’ are those currently regulated in the United States and those that all industries governed by OSHA must keep within permissible exposure limits set out by the agency’s regu...

OSHA’s permit-required confined space standard (PRCS) went into effect April 15, 1993. This standard (1910.146), arguably the second most difficult of OSHA’s standards to comprehend, second only to recordkeeping (1904), likely is the hardest with which to comply. After 18 years, most employers, including many with sound safety systems, are still not in compliance, based on the author’s experien...

In this paper, we present a taxonomy for understanding designs and designing of Information & Communication Technologies (ICT) in the field of ‘Social Action’. We use the term ‘Social Action’ to refer to activities of individuals and organisations in civil society, which are oriented towards social (rather than primarily economic) goals. We then apply the term eSocial Action to refer to the app...

When using existing ACL2 datatype frameworks, many theorems require type hypotheses. These hypotheses slow down the theorem prover, are tedious to write, and are easy to forget. We describe a principled approach to types that provides strong type safety and execution efficiency while avoiding type hypotheses, and we present a library that automates this approach. Using this approach, types help...

This is a summary of the author’s PhD thesis supervised by Philippe Chrétienne and Safia Kedad-Sidhoum and defended in December 2005 at the Université Pierre et Marie Curie (Paris VI). The thesis is written in French and is available from http://absi.nabil.free.fr/ABSI-Thesis.pdf. This work mainly deals with multi-item capacitated lot-sizing problems with setup times, shortages on demand and sa...

In this paper, we describe some initial results of a project aiming at development of a programmablecompliance, inherently safe robot arm for applications in anthropic environmnets. In order to obtain safety in spite of worst-case situations (such as unexpected delays in teleoperation, or even controller failure), we will consider achieving compliance by mechanical rather than by control design...

the Secretary shall revoke the council’s charter. Upon revocation of a charter, the council shall surrender all its government property to the appropriate OSHA regional official. Any continuing or future organization in the same geographical area shall not use the title Field Federal Safety and Health Council, or any derivation thereof, unless formally rechartered by the Secretary. Notification...