10666 search results - page 1597 / 2134 » Quantum programming languages |
177
click to vote
ICALP
2007
Springer
16 years 1 months ago
2007
Springer
Following the idea developed by I. Simon in his theorem of Ramseyan factorisation forests, we develop a result of ‘deterministic factorisations’. This extra determinism propert...
166
click to vote
ICALP
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. In this paper, we identify some issues in the interplay between practice and theory in cryptography, issues that have repeatedly appeared in different incarnations over ...
184
click to vote
ICALP
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. We define and study two versions of the bipartite matching problem in the framework of two-stage stochastic optimization with recourse. In one version the uncertainty is...
176
click to vote
ICLP
2007
Springer
16 years 1 months ago
2007
Springer
This article describes the experiences developing a Semantic Web application entirely in Prolog. The application, a demonstrator that provides access to multiple art collections an...
151
click to vote
IFIP
2007
Springer
16 years 1 months ago
2007
Springer
Protecting national critical infrastructure assets from cyber incidents is an important challenge. One facet of this challenge is that the vast majority of the owners and operators...