2296 search results - page 391 / 460 » The Expressive Power of Synchronizations |
132
click to vote
CC
2007
Springer
15 years 4 months ago
2007
Springer
Abstract. The problem of testing membership in the subset of the natural numbers produced at the output gate of a {∪, ∩,− , +, ×} combinational circuit is shown to capture a...
118
click to vote
FUIN
2006
15 years 4 months ago
2006
Bimachines are important conceptual tools used for the characterization of rational word functions (realized by single-valued transducers). Despite the attention received in the pa...
114
click to vote
IANDC
2006
15 years 4 months ago
2006
This paper generalizes existing connections between automata and logic to a coalgestraction level. Let F : Set Set be a standard functor that preserves weak pullbacks. We introdu...
143
click to vote
INTERNET
2006
15 years 4 months ago
2006
Negotiation is a technique for reaching mutually beneficial agreement among autonomous entities. A concurrent negotiation problem occurs when one entity is negotiating simultaneous...
CPHYSICS
2007
15 years 4 months ago
2007
We discuss electron heating mechanisms in the sheath regions of dual-frequency capacitive discharges, with the aims of identifying the dominant mechanisms and supplying closed-for...