114
Voted
CCE
2016
10 years 17 days ago
2016
Increased volatility in electricity prices and new emerging demand side management opportunities call for efficient tools for the optimal operation of powerintensive processes. In...
115
Voted
CCE
2016
10 years 17 days ago
2016
The multiperiod blending problem involves binary variables and bilinear terms, yielding a nonconvex MINLP. In this work we present two major contributions for the global solution ...
111
Voted
CCE
2016
10 years 17 days ago
2016
For optimal operation of power-intensive plants, production scheduling and electricity procurement have to be considered simultaneously. In addition, uncertainty needs to be taken...
133
Voted
CC
2016
Springer
10 years 17 days ago
2016
Springer
Goldreich, Sahai, and Vadhan (CRYPTO 1999) proved that the promise problem for estimating the Shannon entropy of a distribution sampled by a given circuit is NISZK-complete. We co...
148
Voted
CC
2016
Springer
10 years 17 days ago
2016
Springer
162
click to vote
CC
2016
Springer
10 years 17 days ago
2016
Springer
The PCP theorem (Arora et. al., J. ACM 45(1,3)) asserts the existence of proofs that can be verified by reading a very small part of the proof. Since the discovery of the theorem...
150
Voted
CC
2016
Springer
10 years 17 days ago
2016
Springer
Abstract. We study worst-case complexity assumptions that imply quantum bitcommitment schemes. First we show that QSZK ⊆ QMA implies a computationally hiding and statistically bi...
135
Voted
CC
2016
Springer
10 years 17 days ago
2016
Springer
The choice of data structures is crucial for achieving high performance. For applications that are long-running and/or operate on large data sets, the best choice for main data st...
156
Voted
CC
2016
Springer
10 years 17 days ago
2016
Springer
Given an LR(1) automaton, what are the states in which an error can be detected? For each such “error state”, what is a minimal input sentence that causes an error in this sta...
393
Voted
CC
2016
Springer
10 years 17 days ago
2016
Springer
This paper presents SVF, a tool that enables scalable and precise interprocedural Static Value-Flow analysis for C programs by leveraging recent advances in sparse analysis. SVF, ...