BIGDATA
2013
12 years 1 months ago
2013
—There are two popular schools of thought for performing large-scale machine learning that does not fit into memory. One is to run machine learning within a relational database ...
316
click to vote
BCB
2013
12 years 1 months ago
2013
Extracellular molecules trigger a response inside the cell by initiating a signal at special membrane receptors (i.e., sources) which is then transmitted to reporters (i.e., target...
141
click to vote
AT
2013
12 years 1 months ago
2013
We present a logic for reasoning about choice. Choice CTL (C-CTL) extends the well-known branching-time temporal logic CTL with choice modalities, “3” and “2”. An example C...
ASPLOS
2013
ACM
12 years 1 months ago
2013
ACM
Nondeterminism is a key challenge in developing multithreaded applications. Even with the same input, each execution of a multithreaded program may produce a different output. Thi...
ASIACRYPT
2013
Springer
12 years 1 months ago
2013
Springer
We define a novel notion of quasi-adaptive non-interactive zero knowledge (NIZK) proofs for probability distributions on parametrized languages. It is quasi-adaptive in the sense...