In this paper, we introduce a system, written in Haskell, for filtering information from XML data. Essentially, the system implements a simple declarative language which allows one to extract relevant data as well as to exclude useless and misleading contents from an XML document by matching patterns against XML documents. The matching mechanism employes a cost-based pattern transformation algo...

In this paper we study the economic and performance evaluation of two non identical unit cold standby systems with hardware failure and human error. After pre specific time known as Maximum operation time (MOT) the system undergoes for PM from operative state. The failure and repair rate times follow exponential distribution. There is a single server who visits the system immediately whenever n...

one of the main reasons of unsustainability of city development in iran is that planners and mayors have not almost been able to create connections between different dimensions of a city. sustainability indicators are evaluation tools of cities operation applicable in living environmental, economical, and social aspects. the purpose of this paper is to offer a framework including the descriptio...

How well do program participants assess program performance ex-post? In this paper we compare participant evaluations based on survey responses to econometric impact estimates obtained using data from the experimental evaluation of the U.S. Job Training Partnership Act. We have two main findings: First, the participant evaluations are unrelated to the econometric impact estimates. Second, the p...

Treatments for chronic rhinosinusitis (CRS) and asthma can affect both conditions, based on the united airway concept. This study aimed to evaluate the link between CRS and asthma, based on disease-specific quality of life measures.We performed a prospective cohort study to investigate the correlations between results from CRS- and asthma-specific questionnaires. Thirty-two patients with asthma...

In the era of the Internet, more and more privacy-sensitive data is published online. Even though this kind of data are published with sensitive attributes such as name and social security number removed, the privacy can be revealed by joining those data with some other external data. This technique is called joining attack. Among many techniques developed against the joining attack, the k-anon...

Considering the absence of standards for culture collections and more specifically for biological resource centers in the world, in addition to the absence of certified biological material in Brazil, this study aimed to evaluate a Fungal Collection from Fiocruz, as a producer of certified reference material and as Biological Resource Center (BRC). For this evaluation, a checklist based on the r...

a r t i c l e i n f o In the last decade, the growing economy in Taiwan has brought about rapid growth in the logistics demands of enterprises. An important goal in the field of third party logistics (3PLs) is to improve the performance of logistics activities to enhance operation efficiency and enterprise competency. However, the employee performance must be determined in order to improve the ...

Can the value of a scientific discipline be gauged? Where does the discipline stand? Is such a consideration important at all? Some may have doubts about the usefulness of asking such questions. Some will see the research into alternative methods as a categorical imperative. Others again will have a more differentiated view, a group that will comprise policy makers, those that provide funding a...

Lazy algorithms for Satisfiability Modulo Theories (SMT) combine a generic DPLL-based SAT engine with a theory solver for the given theory T that can decide the T -consistency of conjunctions of ground literals. For many theories of interest, theory solvers need to reason by performing internal case splits. Here we argue that it is more convenient to delegate these case splits to the DPLL engin...