152
click to vote
BIRTE
2013
11 years 12 months ago
2013
The so-called smart grid is emerging in the energy domain as a solution to provide a stable, efficient and sustainable energy supply accommodating ever growing amounts of renewable...
148
click to vote
BIOSIG
2013
11 years 12 months ago
2013
: The regulations of the European Union (EU) Council in 2004 are the basis of the deployment of electronic passports within the EU. Since then EU member states adopt the format and...
BIGDATA
2013
11 years 12 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 ...
273
click to vote
BCB
2013
11 years 12 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...
120
click to vote
AT
2013
11 years 12 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
11 years 12 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
11 years 12 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...
ARTSIT
2013
11 years 12 months ago
2013
Subway is a participatory multi-located activist art project. It builds on the mediation of a dance performance by breaking a video apart into its image frames; creating a photo ap...
APPT
2013
Springer
11 years 12 months ago
2013
Springer
The inherent difficulty of thread-based shared-memory programming has recently motivated research in high-level, task-parallel programming models. Recent advances of Task-Parallel...