1677 search results - page 72 / 336 » On the Completeness of Quantum Computation Models |
121
click to vote
CLUSTER
2006
IEEE
15 years 5 months ago
2006
IEEE
One of the most important collective communication patterns used in scientific applications is the complete exchange, also called All-to-All. Although efficient complete exchange ...
106
click to vote
BIRTHDAY
2010
Springer
15 years 2 months ago
2010
Springer
In this note we consider the following decision problems. Let be a fixed first-order signature. (i) Given a first-order theory or ground theory T over of Turing degree , a program...
109
click to vote
DSVIS
1994
Springer
15 years 5 months ago
1994
Springer
This paper presents a complete model-based approach to the building of presentation for a business oriented highly interactive application. This approach is considered complete in...
116
click to vote
QEST
2007
IEEE
15 years 7 months ago
2007
IEEE
Stochastic game logic (SGL) is a new temporal logic that combines features of alternating temporal logic (to formalize the individual views and cooperation and reaction facilities...
109
click to vote
MEMBRANE
2009
Springer
15 years 8 months ago
2009
Springer
em is a computing model, which abstracts from the way the living cells process chemical compounds in their compartmental structure. The regions defined by a membrane structure con...