In this paper we present a novel method for reliable recognition of construction workers and their actions using color and depth data from a Microsoft Kinect sensor. Our algorithm is based on machine learning techniques, in which meaningful visual features are extracted based on the estimated body pose of workers. We adopt a bag-of-poses representation for worker actions and combine it with pow...

We provide a construction, refined from an inverse limit, that produces the mod 2 Steenrod and Dyer-Lashof algebras from each other. In fact, the construction relates various subalgebras and quotients of the universal Steenrod algebra of operations for H∞-ring spectra. We also describe how the construction transforms the axiomatic properties of homogeneous pre-Koszul algebras and Poincaré-Birkh...

Modular construction has great potential to address persistent problems in the industry, such as lack of labor and resources. In implementation modular construction, modularization is a crucial task that overwhelms designers. Different solutions influence manufacturing operations significantly, yet this rarely been studied past. This paper proposed an optimization model considering set-up chang...

The Discrete Event Systems Specification (DEVS) framework is based on systems engineering principles and is used for modeling and simulation in many application domains. This framework supports a number of important features such as component based hierarchical simulation model development, scalability, reusability and distributed simulation. This paper demonstrates the application of the DEVS ...

This paper is a survey of some of the most elementary consequences of the JSJ-decomposition and geometrization for knot and link complements in S3 . Formulated in the language of graphs, the result is the construction of a bijective correspondence between the isotopy classes of links in S3 and a class of vertex-labelled, finite acyclic graphs, called companionship graphs. This construction can ...

Final coalgebras capture system behaviours such as streams, infinite trees and processes. Algebraic operations on elements of a final coalgebra can be defined by distributive laws (of a syntax Σ functor over a behaviour functor F ). Such distributive laws correspond to abstract specification formats. One such format is a generalization of the GSOS rules known from structural operational semanti...

One of the prime reasons inhibiting the widespread use of discrete-event simulation in construction planning is the absence of appropriate visual communication tools. Visualizing modeled operations in 3D is arguably the best form of communicating the logic and the inner working of simulation models and can be of immense help in establishing the credibility of analyses. New software development ...

Making a knot on a rectangular origami or more generally on a tape of a finite length gives rise to a regular polygon. We present an automated algebraic proof that making two knots leads to a regular heptagon. Knot fold is regarded as a double fold operation coupled with Huzita’s fold operations. We specify the construction by describing the geometrical constraints on the fold lines to be used ...