conceptual design of a waste heat recovery cycle is carried out in attempt to enhance the thermal efficiency of a steam power plant. in the recovery system, super-critical an co2 is employed as the working fluid operating in a brayton cycle. low grade heat rejected by the flue gases through the stack is used as the primary heat source, while a secondary heat exchanger utilizes the hot gases lea...

This paper presents a composition method for stack-attributed tree transducers. Stackattributed tree transducers extend attributed tree transducers with a pushdown stack device for attribute values. Stack-attributed tree transducers are more powerful than attributed tree transducers due to the stack mechanism. We extend the existing composition method for attributed tree transducers to the comp...

Software testing is an integral part of modern software engineering practice. Past research has not only underlined its significance, but also revealed multi-faceted nature. The practice and adoption influenced by many factors that go beyond tools or technology. This paper sets out to investigate the context from practitioners’ point view mining analyzing sentimental posts on widely used questi...

We show the compactly supported motive of moduli stack degree n rational curves on weighted projective $${\mathcal {P}}(a,b)$$ is mixed Tate type over any base field K with $$\hbox {char}(K) \not \mid a,b$$ and has class $${\mathbb {L}}^{(a+b)n+1}-{\mathbb {L}}^{(a+b)n-1}$$ in Grothendieck ring stacks. In particular, this improves upon results (Han Park Math Ann 375(3–4), 1745–1760, 2019) regar...

Stack layouts and queue layouts of undirected graphs have been used to model problems in fault tolerant computing and in parallel process scheduling. However, problems in parallel process scheduling are more accurately modeled by stack and queue layouts of directed acyclic graphs (dags). A stack layout of a dag is similar to a stack layout of an undirected graph, with the additional requirement...

Programmable Thermal Dissociation (PTD) has been used to investigate the chemical speciation of Reactive Gaseous Mercury (RGM, Hg). RGM was collected on denuders and analyzed using PTD. The technique was tested in a field campaign at a coal-fired power plant in Pensacola, Florida. Stack gas samples were collected from ducts located after the electrostatic precipitator and prior to entering the ...

Any gray-scale image can be represented as a \stack" of a decreasing sequence of binary images, obtained by thresholding the gray-scale image at each level. Stack lters are a special class of gray-scale image operators whose ltered images can be represented as the stack of binary images resulting of applying an increasing binary operator for each image of the stack. A classical example of stack...

Stack-based languages (e.g. Forth (Moore 1974), Postscript (Inc. 1999)) have been around for nearly four decades. They are particularly popular today for use as intermediate languages (e.g. CIL (ECMA 2002), JVML (Lindholm and Yellin 1999), (Morrisett et al. 1998)). This is for several reasons: they have good run-time performance characteristics, they resemble the machine level instructions on m...

Incremental stack-copying was used to implement OR-parallel Prolog efficiently in the MUSE system. The idea of incremental stack-copying is to only copy the difference between the WAM data areas of two processors, instead of copying them entirely. In order to further reduce the communication during stack-copying and make its implementation efficient on distributed memory machines, a new techniq...