• Publications
  • Influence
SATzilla: Portfolio-based Algorithm Selection for SAT
TLDR
We propose SATzilla, an automated approach for constructing per-instance algorithm portfolios for SAT that use so-called empirical hardness models to choose among their constituent solvers. Expand
  • 756
  • 72
  • PDF
Incremental Network Quantization: Towards Lossless CNNs with Low-Precision Weights
TLDR
This paper presents incremental network quantization (INQ), a novel method, targeting to efficiently convert any pre-trained full-precision convolutional neural network (CNN) model into a low-Precision version whose weights are constrained to be either powers of two or zero. Expand
  • 528
  • 63
  • PDF
Jungloid mining: helping to navigate the API jungle
TLDR
In order to help programmers write API client code more easily, we developed techniques for synthesizing jungloid code fragments automatically given a simple query that describes that desired code in terms of input and output types. Expand
  • 446
  • 32
  • PDF
β-Amyloid Directly Inhibits Human α4β2-Nicotinic Acetylcholine Receptors Heterologously Expressed in Human SH-EP1 Cells*
Amyloid-β (Aβ) accumulation and aggregation are thought to contribute to the pathogenesis of Alzheimer's disease (AD). In AD, there is a selective decrease in the numbers of radioligand binding sitesExpand
  • 93
  • 8
Hyperspectral Image Classification With Markov Random Fields and a Convolutional Neural Network
TLDR
This paper presents a new supervised classification algorithm for remotely sensed hyperspectral image (HSI) which integrates spectral and spatial information in a unified Bayesian framework. Expand
  • 96
  • 8
  • PDF
Evaluating Component Solver Contributions to Portfolio-Based Algorithm Selectors
TLDR
We show that a state-of-the-art method for constructing portfolio-based algorithm selectors, $\texttt{SATzilla}$, also gives rise to an automated method for quantifying the importance of each of a set of available solvers. Expand
  • 78
  • 6
  • PDF
A new effcient algorithm for solving the simple temporal problem
  • L. Xu, B. Choueiry
  • Computer Science
  • 10th International Symposium on Temporal…
  • 8 July 2003
TLDR
We propose a new efficient algorithm, the STP-solver, for computing the minimal network of the Simple Temporal Problem (STP). Expand
  • 74
  • 6
  • PDF
Osteocalcin reverses endoplasmic reticulum stress and improves impaired insulin sensitivity secondary to diet-induced obesity through nuclear factor-κB signaling pathway.
Osteocalcin, a synthetic osteoblast-specific protein, has recently emerged as an important regulator of energy metabolism, but the underlying mechanisms are not fully understood. In the presentExpand
  • 65
  • 5
Osteocalcin regulates murine and human fertility through a pancreas-bone-testis axis.
1Department of Genetics and Development, Columbia University, New York, New York, USA. 2Institut de Recherches Cliniques de Montreal, Montreal, Quebec, Canada. 3Department of Molecular andExpand
  • 52
  • 4
  • PDF
A Reconfigurable Accelerator for Smith–Waterman Algorithm
TLDR
A reconfigurable accelerator for Needleman-Wunschh and Smith-Waterman (SW) algorithm for bioinformatics. Expand
  • 55
  • 4