112
click to vote
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...
114
click to vote
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 ...
110
click to vote
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...
132
click to vote
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...
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...
149
click to vote
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...
134
click to vote
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...
155
click to vote
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...
392
click to vote
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, ...