SharpSMT first fuses DPLL(T) polytope enumeration with new factorization, variable-elimination and caching pre-processing, ...

Submodular maximization is a significant area of interest in combinatorial optimization, with numerous real-world applications. A research team led by Xiaoming SUN from the State Key Lab of Processors ...

Abstract: This paper proposes a method for obtaining nonlinear models of distribution grid based on available measurements from the power grid. We formulate a maximum likelihood estimation (MLE) ...

As price-setting by computer algorithm becomes increasingly prevalent, states are stepping in to address transparency and fairness concerns that federal legislation has yet to comprehensively tackle.

A hyperbolic model for the diffusion of proteins through the blood-cerebrospinal fluid (CSF) barrier revolutionized clinical neurochemistry thirty years ago. The regression curves were informally ...

ABSTRACT: The PMU’s performance relies on its ability to detect and provide accurate measurements of both steady-state and dynamic conditions. The phasor estimation algorithm assesses the accuracy and ...

YouTube on Tuesday announced it’s beginning to roll out age-estimation technology in the U.S. to identify teen users in order to provide a more age-appropriate experience. The company says it will use ...

Article subjects are automatically applied from the ACS Subject Taxonomy and describe the scientific concepts and themes of the article. In contrast, data-driven methods do not rely on fixed models or ...

Quantum computers could crack a common data encryption technique once they have a million qubits, or quantum bits. While this is still well beyond the capabilities of existing quantum computers, this ...