In this paper we design a multi-meta-level compositional architecture for correct programs development. In this architecture an object level, describing an application domain, together with a metalevel, representing the semantics of a programming language, and a meta-me...

Purpose – The purpose of this paper is to present two system identification models – “white box” and “black box” – as useful tools that help understand self-organization processes within and outside the organizations facilitated by leaders. Every leader is presented a...

Abstract As induced seismicity from deep mining may cause quakes with a local magnitude of 4.5–5.5 and surface ground motion with Modified Mercali intensities up to VIII, such strong ground motions may result in serious damages to civil infrastructure. In the case of na...

The non-linear dielectric effect was investigated as a function of concentration in a ternary mixture with an immiscibility gap. The detected anomaly, in the vicinity of the ternary critical point, is reminiscent of that observed close to the critical consolute point of...

The method of conformal transformation is employed to extend the Van Hove Scenario (VHS) with regard to two-dimensional anisotropic superconductors. A new function, the kernel of the density of states (DOS) imposing a scalar field in the transformed energy-angle space i...

For a permutationally invariant unconditional convex body \(K\) in \({\mathbb{R}}^{n}\) we define a finite sequence \({({K}_{j})}_{j=1}^{n}\) of projections of the body K to the space spanned by first j vectors of the standard basis of \({\mathbb{R}}^{n}\). We prove tha...

Lung cancer is the most common cause of cancer-related deaths. A short survival rate often results from belated diagnosis made in advanced stages. Therapy individualization requires the collection of a viable material for histopathological examination, which often bring...

The positivity and asymptotic stability of time-varying discrete-time and continuous-time linear systems and electrical circuits are addressed. Necessary and sufficient conditions for the positivity of the time-varying linear systems and electrical circuits are establis...