The Theory of Specifications is an extension of the Calculus of Constructions where the specification of a problem, the derivation of a program, and its correctness proof, can all be done within the same formalism. An ...

A moving average is an average that aggregates a subset of variables from the set and moves across the sample. It is widely used in time-series forecasting. This paper studies the use of moving averages in some representative ...

Manufacturing strategy has been widely studied and it is increasingly gaining attention. It has a fundamental role that is to translate the business strategy to the operations by developing the capabilities that are needed ...

This paper completes the review of the theory of self-adjoint extensions of symmetric operators for physicists as a basis for constructing quantum-mechanical observables. It contains a comparative presentation of the ...

We show that similarity (or equivalent) transformations enable one to construct non-Hermitian operators with real spectrum. In this way we can also prove and generalize the results obtained by other authors by means of a ...

The state-of-practice method to produce good and formal work instructions for construction laborers takes time, is error prone and produces outcomes with inconsistent format and content. That is why contractors rely on ...