This paper presents Maude-SE, an SMT extension of Maude that tightly integrates Maude and SMT solvers with extra functionality. In addition to the existing SMT solving capability of Maude, the tool provides three additional features that are not currently supported by Maude but that are very useful for rewriting modulo SMT: (i) building satisfying ...
This study reports application of KMnO4 pre-oxidation and engineered powdered activated carbon (PAC) adsorption to simultaneously control geosmin, 2-methylisoborneol (2-MIB), and microcystin-LR (MC-LR) in conventional drinking water treatment plants (DWTPs). Pulverization of commercial wood-based PAC (1 mm ZrO2 ball, 12 h) reduced the median size t...
The disinfection by-product N-nitrosodimethylamine (NDMA) is a major concern in water quality management due to its carcinogenicity. Thus, a proper pretreatment is necessary to mitigate NDMA formation upon periodic chloramination by removing precursors, such as ranitidine (RNT). This study investigated the effect of UV/sulfite pretreatment on NDMA ...
We investigate the thermoelectric properties on Ga-excess p-type GaxBi(0.4)Sb(1.6)Te(3) compounds. Even though the random distribution of Ga-doping increases electrical resistivity giving rise to the decrease of power factor, the significant decrease of lattice thermal conductivity by the excess Ga-doping induces significant enhancement of ZT value...
Translating natural language to SQL (NL2SQL) has received extensive attention lately, especially with the recent success of deep learning technologies. However, despite the large number of studies, we do not have a thorough understanding of how good existing techniques really are and how much is applicable to real-world situations. A key difficulty...
Database replication is widely known and used for high availability or load balancing in many practical database systems. In this paper, we show how a replication engine can be used for three important practical cases that have not previously been studied very well. The three practical use cases include: 1) scaling out OLTP/OLAP-mixed workloads wit...
Existing binary join based plans may be suboptimal for important, emerging applications. Typical query optimizers enumerate plans using binary joins only. In this paper, we introduce the multi-way join aware optimizer in SAP HANA. The naive way to extend the existing query optimizer to be aware of multi-way joins (m-way joins for short) is to enume...
Supergraph search is one of fundamental graph query processing problems in many application domains. Given a query graph and a set of data graphs, supergraph search is to find all the data graphs contained in the query graph as subgraphs. In existing algorithms, index construction or filtering approaches are computationally expensive, and search me...
A numerical simulation of a three-dimensional breaking wave is conducted using a VOF (volume-of-fluid) method to investigate the wave breaking dynamics and the bubble size distribution. The wave is initialized using the third-order Stokes wave solution. The initial wave slope and velocity fields generate turbulent wave breaking. Various interfacial...
Is there a universal economic pathway individual cities recapitulate over and over? This evolutionary structure-if any-would inform a reference model for fairer assessment, better maintenance, and improved forecasting of urban development. Using employment data including more than 100 million U.S. workers in all industries between 1998 and 2013, we...
