نتایج جستجو برای: stack
تعداد نتایج: 17749 فیلتر نتایج به سال:
Background: Modeling the dispersion of pollutants from factory stacks addresses the problem of matching emissions of a cement plant with the capacity of the environment to avoid affecting the environment and society. The main objective of this study was to simulate the dispersion of carbon monoxide (CO) from the main stack of a cement plant in Doroud, Iran using SCREEN3 software developed by th...
Recently, the non-destructive methods have become of interest to the scientists in various fields. One of these method is Ground Penetration Radar (GPR), which can provide a valuable information from underground structures in a friendly environment and cost-effective way. To increase the signal-to-noise (S/N) ratio of the GPR data, multi-fold acquisition is performed, and the Common-Mid-Points ...
We introduce and investigate stack transducers, which are one-way stack automata with an output tape. A one-way stack automaton is a classical pushdown automaton with the additional ability to move the stack head inside the stack without altering the contents. For stack transducers, we distinguish between a digging and a non-digging mode. In digging mode, the stack transducer can write on the o...
Data Types have Existential Types data Stack a = forall s. Stack s -self (a->s->s) -push (s->s) -pop (s->a) -top (s->Bool) -empty push :: a -> Stack a -> Stack a push x (Stack s push’ pop top empty) = Stack (push’ x s) push’ pop top empty pop :: Stack a -> Stack a pop (Stack s push pop’ top empty) = Stack (pop’ s) push pop’ top empty A Framework for Extended Algebraic Data Types – p.6 Abstract ...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید