Pure type systems and computational monads are two parameterized frameworks that have proved to be quite useful in both theoretical and practical applications. We join the foundational concepts of both of these to obtain monadic type systems. Essentially, monadic type systems inherit the parameterized higher-order type structure of pure type systems and the monadic term and type structure used ...

The study of gene expression quantitative trait loci (eQTL) is an effective approach to illuminate the functional roles of genetic variants. Computational methods have been developed for eQTL mapping using gene expression data from microarray or RNA-seq technology. Application of these methods for eQTL mapping in tumor tissues is problematic because tumor tissues are composed of both tumor and ...

unaccounted-for-water is a misleading term long used by water industry. unaccounted-for-water includes unmeasured volume of water that run out of access from supply to end consumer and consequently leads no revenue for supplier. examples of water losses are: meter inaccuracies, illegal connection and unauthorized usage of water, abnormal meter reading, reservoir seepage and leakage, reservoir o...

‎in this paper‎, ‎the notion of the radical of a filter in‎ ‎residuated lattices is defined and several characterizations of‎ ‎the radical of a filter are given‎. ‎we show that if f is a‎ ‎positive implicative filter (or obstinate filter)‎, ‎then‎ ‎rad(f)=f‎. ‎we proved the extension theorem for radical of filters in residuated lattices‎. ‎also‎, ‎we study the radical‎ ‎of filters in linearly o...

in this paper, we proposed a novel structure for designing all optical filter based on photonic crystal structure. in designing the proposed filter, we simply employed a point defect localized between input and output waveguides as wavelength selecting part of the filter. the initial form of this filter is capable of selecting optical waves at =1560 nm, the transmission efficiency of the filte...

CO 2 geological storage will be needed as part of the transition to lower greenhouse gas emissions. During storage, mobilization metals from minerals formation water via rock reactions may a concern for quality. The sources, behavior, and fate metals, however, are not well understood. Metals in calcite cemented sandstone, feldspar-rich ironstone seal drill cores target site were characterized. ...