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...

We define the class of micro-macro stack graphs, a new class of graphs modeling infinite-state sequential systems with a decidable model-checking problem. Micro-macro stack graphs are the configuration graphs of stack automata whose states are partitioned into micro and macro states. Nodes of the graph are configurations of the stack automaton where the state is a macro state. Edges of the grap...

Background: This study was targeted toward comparing volume-guaranteed (VG) ventilation with conventional pressure-controlled (PC) ventilation in preterm infants with respiratory distress syndrome (RDS) in terms of the facilitation of weaning and extubation and occurrence of complications, such as pneumothorax, intraventricular hemorrhage (IVH), retinopathy of prematur...

Java has become the most important language in the Internet area, but its execution performance is severely limited by the true data dependency inherited from the stack architecture defined by the Sun’s Java Virtual Machine (JVM). To enhance the performance of the JVM, a stack operations folding mechanism for the picoJava-II processor was proposed by Sun Microsystems to fold 42.3% stack push/po...