iran’s vast common natural gas resources and the necessity to extract and export it as liquefied natural gas (lng) to distances more than 3000km opens a lucrative field for researchers to optimize lng cycles. in this article heat integration in cryogenic cycles by determining interacycle partition temperature and optimizing refrigeration features like subcooler, presaturator, aftercooler, reboi...

This paper presents the results of a project to evaluate different methods of gait cycle selection on the analysis of electromyography recorded during gait. Electromyography (EMG) describes the electrical activity associated with the muscle and is often interpreted in gait analysis using a simultaneously obtained signal to identify phases of the gait cycle. Phase transitions are often selected ...

We address the veriication problem of FIFO-channel systems. We apply the symbolic analysis principle to these systems. We represent their sets of conng-urations using structures called CQDD's combining nite-state automata with linear arithmetical constraints on number of occurrences of symbols. We show that CQDD's allow forward and backward reachability analysis of systems with nonregular sets ...

We address the veriication problem of FIFO-channel systems. We apply the symbolic analysis principle to these systems. We represent their sets of conngurations using structures called CQDD's combining nite-state automata with linear arith-metical constraints on number of occurrences of symbols. We show that CQDD's allow forward and backward reachability analysis of systems with nonregular sets ...

introduction: it is recommended that the physician apply at least a semi-quantitative segmental scoring system in myocardial perfusion spect.  we aimed to assess the agreement between automated semi-quantitative analysis using qps (quantitative perfusion spect) software and visual approach for calculation of summed stress  score (sss), summed rest score (srs) and summed difference score (sds). ...

We address the veriication problem of FIFO-channel systems by applying the symbolic analysis principle. We represent their sets of states (conngurations) using structures called CQDD's combining nite-state automata with linear constraints on number of occurrences of symbols. We show that CQDD's allow forward and backward reachability analysis of systems with nonregular sets of conngurations. Mo...

We consider the Fourier analysis of multi-grid methods for symmetric positive definite and semi-positive definite linear systems arising from the discretizations of scalar PDEs. In this framework, the smoothing factor is frequently used to estimate the potential of a multigrid approach. In this paper, the smoothing factor is related to the actual two-grid convergence rate and also to the Vcycle...

Cyclic signals are an intrinsic part of daily life, such as human motion and heart activity. The detailed analysis of them is important for clinical applications such as pathological gait analysis and for sports applications such as performance analysis. Labeled training data for algorithms that analyze these cyclic data come at a high annotation cost due to only limited annotations available u...

Advances in high-throughput, single cell gene expression are allowing interrogation of cell heterogeneity. However, there is concern that the cell cycle phase of a cell might bias characterizations of gene expression at the single-cell level. We assess the effect of cell cycle phase on gene expression in single cells by measuring 333 genes in 930 cells across three phases and three cell lines. ...

We consider the Fourier analysis of multi-grid methods (of Galerkin type) for symmetric positive definite and semi-positive definite linear systems arising from the discretization of scalar partial differential equations (PDEs). We relate the so-called smoothing factor to the actual two-grid convergence rate and also to the convergence rate of the V-cycle multigrid. We derive a two-sided bound ...