Ergonomics is a key factor in the improvement of health and productivity workplaces. Its use improving performance manufacturing process its positive effects on human drawing attention researchers practitioners field industrial engineering. This paper proposes an ergonomic design approach applied to innovative prototype adaptive automation assembly system (A3S) equipped with Microsoft Kinect™ f...

This paper discusses a case study that examined the influence of cultural, organizational and automation capability upon human trust in, and reliance on, automation. In particular, this paper focuses on the design and application of an extended case study methodology, and on the foundational lessons revealed by it. Experimental test pilots involved in the research and development of the US Air ...

In this position paper, we consider some foundational topics regarding smart contracts (such as terminology, automation, enforceability, and semantics) and define a smart contract as an agreement whose execution is both automatable and enforceable. We explore a simple semantic framework for smart contracts, covering both operational and non-operational aspects. We describe templates and agreeme...

Ordered Binary Decision Diagrams (OBDDs) have already proved useful in the process of electronic design automation. Due to limitations of the descriptive power of OBDDs more general models of Binary Decision Diagrams have been studied. In this paper, we address-OBDDs and introduce algorithms for improving their eeciency by reordering of variables and functional nodes.

This work reports the results obtained over several years of research into the application of different geomatic techniques in the field of civil engineering and, in particular, in their application to the management of road systems and associated structures. Among the main advances obtained are the quantification of parameters during the inventorying and inspection of infrastructures, the metr...