We introduce and investigate input-driven stack automata, which are a generalization of input-driven pushdown automata that recently became popular under the name visibly pushdown automata. Basically, the idea is that the input letters uniquely determine the operations on the pushdown store. This can nicely be generalized to stack automata by further types of input letters which are responsible...

In this research the simulation of an air independent Proton Exchange Membrane Fuel Cell (PEMFC) propulsion system was taken into consideration. The system consists of several parts including PEM fuel cell stack, metal hydride and liquid oxygen (LOX) tanks, and also pre-heaters of oxygen and hydrogen gases along with other heat exchangers, to ensure proper operation of system. The heat recovery...

SUMMARY This paper presents a method for comparing and detecting clones of Java programs by analyzing program stack flows. A stack flow denotes an operational behavior of a program by describing individual instructions and stack movements for performing specific operations. We analyze stack flows by simulating the operand stack movements during execution of a Java program. Two programs for dete...

Given an essential semilattice congruence \(\equiv\) on the left weak order of a \linebreak Coxeter group \(W\), we define stack-sorting operator \({\bf S}_\equiv:W\to W\) by \({{\bf S}_\equiv(w)=w\big(\pi_\downarrow^\equiv(w)\big)^{-1}}\), where \(\pi_\downarrow^\equiv(w)\) is unique minimal element class containing \(w\). When sylvester symmetric \(S_n\), S}_\equiv\) West's map. descent pop-s...

A typical Iranian carbonate matrix block surrounded by an open fracture was modeled in order to understand the fracture-matrix interaction and realize how to model the interaction best. The modeling was carried out by using a fine-scaled Eclipse model in the single porosity mode (the fractures were explicitly modeled). The model was extended to a stack of 6 matrix blocks to understand block-to-...

In this paper, we study the plasmonic thermal conductance of ordered stacks of metallic nanorings in a host material. Using second quantized formalism of the Random Phase Approximation, we first determine the dispersion relations of surface plasmon waves on the stacks of nanorings. Then, using Landauer-Buttiker formalism, we determine the coefficient of plasmonic thermal conductance and heat cu...