Sciweavers

4131 search results - page 10 / 827
» Compactness in Topology and Computation
Sort
View
APAL
2006
85views more  APAL 2006»
14 years 11 months ago
Compact spaces, elementary submodels, and the countable chain condition
Given a space X, J in an elementary submodel M of H(), define XM to be X M with the topology generated by {U M : U J M}. It is established, using anti-large-cardinals assumptio...
Lúcia R. Junqueira, Paul Larson, Franklin D...
SIAMCOMP
2008
72views more  SIAMCOMP 2008»
14 years 11 months ago
Plottable Real Number Functions and the Computable Graph Theorem
The Graph Theorem of classical recursion theory states that a total function on the natural numbers is computable, if and only if its graph is recursive. It is known that this res...
Vasco Brattka
AISC
2008
Springer
15 years 1 months ago
Extending Graphical Representations for Compact Closed Categories with Applications to Symbolic Quantum Computation
Graph-based formalisms of quantum computation provide an abstract and symbolic way to represent and simulate computations. However, manual manipulation of such graphs is slow and e...
Lucas Dixon, Ross Duncan
86
Voted
MOC
2010
14 years 6 months ago
Computation of conformal representations of compact Riemann surfaces
We find a system of two polynomial equations in two unknowns, whose solution allows us to give an explicit expression of the conformal representation of a simply connected three-sh...
Guillermo López Lagomasino, Domingo Pestana...
SIGECOM
2010
ACM
184views ECommerce» more  SIGECOM 2010»
15 years 4 months ago
Computing pure strategy nash equilibria in compact symmetric games
We analyze the complexity of computing pure strategy Nash equilibria (PSNE) in symmetric games with a fixed number of actions. We restrict ourselves to “compact” representati...
Christopher Thomas Ryan, Albert Xin Jiang, Kevin L...