Recent studies on inverse tone mapping (iTM) have moved toward indirect mapping, which generates a stack of low dynamic range (LDR) images with multiple exposure values (multi-EV stack) and then merges them. In order to generate multi-EV stack(s), several large-scale networks more than 20 M parameters been proposed, but their high (HDR) reconstruction generation performance were not acceptable....

If Visser’s rules are admissible for an intermediate logic, they form a basis for the admissible rules of the logic. How to characterize the admissible rules of intermediate logics for which not all of Visser’s rules are admissible is not known. Here we study the situation for specific intermediate logics. We provide natural examples of logics for which Visser’s rule are derivable, admissible b...

We use a dedicated quotient operation called winding to give a new characterization of orientable cyclic orders; the characterization is twofold, in terms of partial orders and of separation properties. For this, we show the application to Petri nets: by winding causal nets, one obtains cyclic orders on synchronization graph that yield live and safe markings and describe the concurrent behavior...

The SU(2Nf ) ⊗ O(3) constituent quark model symmetry of the light diquark system are used to analyze single pion transitions of Swave to S-wave and P-wave to S-wave heavy baryons. We show that the Heavy Quark Symmetry (HQS) coupling factors are given in terms of the three independent couplings gΣQΛQπ, fΛQ1ΣQπ and fΛQ1ΣQπ. Light-Front quark model spin wave functions are, then, employed to calcul...

Using a new domain-theoretic characterisation we show that Berry’s constructive semantics is a conservative approximation of the recently proposed sequentially constructive (SC) model of computation. We prove that every Berry-constructive program is deterministic and deadlock-free under sequentially admissible scheduling. This gives, for the first time, a natural interpretation of Berry-constru...

Asymmetrical six-phase (A6P) induction motor-based drives can be considered as a well-established employed technology in high-power safety-critical industry sectors. Of the different control techniques proposed for multiphase machines, model predictive (MPC) has recently been favored thanks to its simplicity, rapid dynamic response, and flexibility define new objectives. One of main operating c...