VerdictDB: Universalizing Approximate Query Processing

Despite 25 years of research in academia, approximate query processing (AQP) has had little industrial adoption. One of the major causes of this slow adoption is the reluctance of traditional vendors to make radical changes to their legacy codebases, and the preoccupation of newer vendors (e.g., SQL-on-Hadoop products) with implementing standard features. Additionally, the few AQP engines that are available are each tied to a specific platform and require users to completely abandon their existing databases---an unrealistic expectation given the infancy of the AQP technology. Therefore, we argue that a universal solution is needed: a database-agnostic approximation engine that will widen the reach of this emerging technology across various platforms. Our proposal, called VerdictDB, uses a middleware architecture that requires no changes to the backend database, and thus, can work with all off-the-shelf engines. Operating at the driver-level, VerdictDB intercepts analytical queries issued to the database and rewrites them into another query that, if executed by any standard relational engine, will yield sufficient information for computing an approximate answer. VerdictDB uses the returned result set to compute an approximate answer and error estimates, which are then passed on to the user or application. However, lack of access to the query execution layer introduces significant challenges in terms of generality, correctness, and efficiency. This paper shows how VerdictDB overcomes these challenges and delivers up to 171$\times$ speedup (18.45$\times$ on average) for a variety of existing engines, such as Impala, Spark SQL, and Amazon Redshift, while incurring less than 2.6% relative error. VerdictDB is open-sourced under Apache License.Comment: Extended technical report of the paper that appeared in Proceedings of the 2018 International Conference on Management of Data, pp. 1461-1476. ACM, 201

A General Tool for Engineering the NAD/NADP Cofactor Preference of Oxidoreductases

The ability to control enzymatic nicotinamide cofactor utilization is critical for engineering efficient metabolic pathways. However, the complex interactions that determine cofactor-binding preference render this engineering particularly challenging. Physics-based models have been insufficiently accurate and blind directed evolution methods too inefficient to be widely adopted. Building on a comprehensive survey of previous studies and our own prior engineering successes, we present a structure-guided, semirational strategy for reversing enzymatic nicotinamide cofactor specificity. This heuristic-based approach leverages the diversity and sensitivity of catalytically productive cofactor binding geometries to limit the problem to an experimentally tractable scale. We demonstrate the efficacy of this strategy by inverting the cofactor specificity of four structurally diverse NADP-dependent enzymes: glyoxylate reductase, cinnamyl alcohol dehydrogenase, xylose reductase, and iron-containing alcohol dehydrogenase. The analytical components of this approach have been fully automated and are available in the form of an easy-to-use web tool: Cofactor Specificity Reversal–Structural Analysis and Library Design (CSR-SALAD)

No Scalar Hair Theorem for a Charged Spherical Black Hole

This paper consolidates noscalar hair theorem for a charged spherically symmetric black hole in four dimension in general relativity as well as in all scalar tensor theories, both minimally and nonminimally coupled, when the effective Newtonian constant of gravity is positive. However, there is an exception when the matter field itself is coupled to the scalar field, such as in dilaton gravity.Comment: 13 pages, Latex format, some minor corrections are made, accepted for publication in Physical Review

Evidence for a null entropy of extremal black holes

We present some arguments in support of a {\it zero} entropy for {\it extremal} black holes. These rely on a combination of both quantum, thermodynamic, and statistical physics arguments. This result may shed some light on the nature of these extreme objects. In addition, we show that within a {\it quantum} framework the capture of a particle by an initially extremal black hole always results with a final nonextremal black hole.Comment: 11 page

Static Axially Symmetric Einstein-Yang-Mills-Dilaton Solutions: II.Black Hole Solutions

We discuss the new class of static axially symmetric black hole solutions obtained recently in Einstein-Yang-Mills and Einstein-Yang-Mills-dilaton theory. These black hole solutions are asymptotically flat and they possess a regular event horizon. The event horizon is almost spherically symmetric with a slight elongation along the symmetry axis. The energy density of the matter fields is angle-dependent at the horizon. The static axially symmetric black hole solutions satisfy a simple relation between mass, dilaton charge, entropy and temperature. The black hole solutions are characterized by two integers, the winding number $n$ and the node number $k$ of the purely magnetic gauge field. With increasing node number the magnetically neutral black hole solutions form sequences tending to limiting solutions with magnetic charge $n$, corresponding to Einstein-Maxwell-dilaton black hole solutions for finite dilaton coupling constant and to Reissner-Nordstr\o m black hole solutions for vanishing dilaton coupling constant.Comment: 41 pages including 45 postscript figures, RevTex forma

Far-infrared vibrational properties of high-pressure-high-temperature C60 polymers and the C60 dimer

We report high-resolution far-infrared transmission measurements of the 2 + 2 cycloaddition C-60 dimer and two-dimensional rhombohedral and one-dimensional orthorhombic high-pressure high-temperature C60 polymers. In the spectral region investigated(20-650 cm(-1)), we see no low-energy interball modes, but symmetry breaking of the linked C-60 balls is evident in the complex spectrum of intramolecular modes. Experimental features suggest large splittings or frequency shifts of some IhC60-derived modes that are activated by symmetry reduction, implying that the balls are strongly distorted in these structures. We have calculated the vibrations of all three systems by first-principles quantum molecular dynamics and use them to assign the predominant IhC60 symmetries of observed modes. Pur calculations show unprecedentedly large downshifts of T-1u(2)-derived modes and extremely large splittings of other modes, both of which are consistent with the experimental spectra. For the rhombohedral and orthorhombic polymers, the T-1u(2)-derived mode that is polarized along the bonding direction is calculated to downshift below any T-1u(1)-derived modes. We also identify a previously unassigned feature near 610 cm(-1) in all three systems as a widely split or shifted mode derived from various silent IhC60 vibrations, confirming a strong perturbation model for these linked fullerene structures

A taxonomy of errors for information systems

We provide a full characterization of computational error states for information systems. The class of errors considered is general enough to include human rational processes, logical reasoning, scientific progress and data processing in some functional programming languages. The aim is to reach a full taxonomy of error states by analysing the recovery and processing of data. We conclude by presenting machine-readable checking and resolve algorithms

Biofilter aquaponic system for nutrients removal from fresh market wastewater

Aquaponics is a significant wastewater treatment system which refers to the combination of conventional aquaculture (raising aquatic organism) with hydroponics (cultivating plants in water) in a symbiotic environment. This system has a high ability in removing nutrients compared to conventional methods because it is a natural and environmentally friendly system (aquaponics). The current chapter aimed to review the possible application of aquaponics system to treat fresh market wastewater with the intention to highlight the mechanism of phytoremediation occurs in aquaponic system. The literature revealed that aquaponic system was able to remove nutrients in terms of nitrogen and phosphorus

Altruism can proliferate through group/kin selection despite high random gene flow

The ways in which natural selection can allow the proliferation of cooperative behavior have long been seen as a central problem in evolutionary biology. Most of the literature has focused on interactions between pairs of individuals and on linear public goods games. This emphasis led to the conclusion that even modest levels of migration would pose a serious problem to the spread of altruism in group structured populations. Here we challenge this conclusion, by analyzing evolution in a framework which allows for complex group interactions and random migration among groups. We conclude that contingent forms of strong altruism can spread when rare under realistic group sizes and levels of migration. Our analysis combines group-centric and gene-centric perspectives, allows for arbitrary strength of selection, and leads to extensions of Hamilton's rule for the spread of altruistic alleles, applicable under broad conditions.Comment: 5 pages, 2 figures. Supplementary material with 50 pages and 26 figure