This paper studies the MOR cryptosystem, using the auto-morphism group of the extra-special p-group of exponent p, for an odd prime p. Similar results can be obtained for extra-special p-groups of exponent p 2 and for the even prime.

Effect of water gas shift reaction (CO+H2O=CO2+H2) on wustite reduction has been investigated by a transient, non-isothermal mathematical model based on grain model. In this model, wustite porous pellet is reduced using Syngas, namely a mixture of hydrogen, carbon monoxide, carbon dioxide and water vapor. For this purpose, governing equations containing continuity equation of species and energy...

We investigate the estimation efficiency of the central mean subspace in the framework of sufficient dimension reduction. We derive the semiparametric efficient score and study its practical applicability. Despite the difficulty caused by the potential high dimension issue in the variance component, we show that locally efficient estimators can be constructed in practice. We conduct simulation ...

We present a new approach to combine partial order reduction with fairness in the context of LTL model checking. For this purpose, we define several behaviour classes representing typical fairness assumptions and examine how various reduction techniques affect these classes. In particular, we consider both reductions preserving all behaviours and reductions preserving only some behaviours.

This paper introduces an interpolation framework for the weighted-H2 model reduction problem. We obtain a new representation of the weighted-H2 norm of SISO systems that provides new interpolatory first order necessary conditions for an optimal reduced-order model. The H2 norm representation also provides an error expression that motivates a new weighted-H2 model reduction algorithm. Several nu...

Large scale linear systems are often composed of subsystems that interconnect to each other. Instead of reducing the entire system without taking into account its structure, it makes sense to reduce each subsystem (or a few of them) by taking into account its interconnection with the others subsystems in order to approximate the entire system. This is the purpose of this paper. Interconnected (...

Weighted model reduction problems appear in many important applications such as controller reduction. The most common approach to this problem is the weighted balanced truncation method. Interpolatory approaches to weighted model reduction have been mostly limited to simply choosing interpolation points in the regions where the weights are dominant. In this paper, we extend the (unweighted) tan...