a r t i c l e i n f o Whether central banks place the same weights on positive and negative deviations of inflation and of the output gap from their respective targets is an interesting question regarding monetary policy. The literature has sought to address this issue using a specific asymmetric function, the so-called Linex loss function. However, is the Linex an actually asymmetric specifica...

Nowadays, centrifugal compressors are commonly used in the oil and gas industry, particularly in the energy transmission facilities just like a gas pipeline stations. Therefore, these machines with different operational circumstances and thermodynamic characteristics are to be exploited according to the operational necessities. Generally, the most important operational parameters of a gas pipel...

Completion algorithms for subsumption are investigated for many extensions of the description logic EL. While for several of them subsumption is tractable, this is no longer the case, if inverse roles are admitted. In this paper we present an optimized version of the completion algorithm for ELHIfR+ [11], which is implemented in jCel. The completion sets computed during classification are a goo...

We propose an automated technique for inferring software contracts from programs that are written in a non-trivial fragment of C, called KernelC, that supports pointer-based structures and heap manipulation. Starting from the semantic definition of KernelC in the K framework, we enrich the symbolic execution facilities recently provided by K with novel capabilities for assertion synthesis that ...