CiteULike: scis0000001's computability-theory [11 articles]

scis0000001's tags

All tags in scis0000001's library

Filter:

dynamics	95
category-theory	92
semantics	82
domain-theory	73
prediction	73
chu-space	71
modeling	71
fca	67
inference	67
similarity	62
hierarchy	61
iff	54
self-similarity	54
specification	54
lattice	53
process	52
temporal	52
logics	51
markets	50
network	50
concurrency	45
qm	44
quantum-vacuum	44
computational-epistemology	43
partial-order	43
mas	42
semweb	42
simulation	42
behavior	41
evolution	41
games	41
interactivity	38
fractality	37
representation	36
space-time	36
dynamical-system	35
lp	35
streams	35
dev	34
formation	34
rewriting-logic	34
graph	33
proof	32
algorithmic-information-theory	31
compression	30
hilbert-space	30
scaling	30
classification	29
computability-logic	29
distributed	29
hierarchical	29
fractal	28
optimality	28
svm	28
ui	28
unified-concept-theory	28
economics	27
qualitative	27
algebra	26
categorical	26
clustering	26
context	26
formal-development	26
mining	26
time	26
concept-lattice	25
generalization	25
hd	25
institutions	25
sequence	25
universality	25
ait	24
composition	24
information-system	24
reconstruction	24
temporal-logic	24
trading	24
discovery	23
duality	23
epistemology	23
information-distance	23
kolmogorov-complexity	23
predictability	23
query	23
topological-space	23
uml	23
atp	22
control	22
criticality	22
logic	22
model-selection	22
portfolio	22
qip	22
real-time	22
relativity	22
theory-development	22
visualization	22
noncommutative	21
statistics	21
test	21
discreteness	20
distribution	20
ifs	20
information-flow	20
multiscale	20
programming	20
state-space	20
topos-theory	20
coding	19
complexity	19
embedding	19
formalization	19
interaction	19
mda	19
measurement	19
online	19
ontology	19
quantum-cosmology	19
randomness	19
topology	19
transformation	19
tree	19
ultrametric	19
argumentation	18
flow	18
geometry	18
information	18
linear-logic	18
quantum-theory	18
verification	18
web-service	18
diagrammatic-reasoning	17
distance	17
emergence	17
problem-solving	17
quantum-logic	17
refinement	17
scale-space	17
software	17
visual	17
granularity	16
information-theory	16
nlp	16
order-theory	16
program	16
qait	16
quantitative	16
scale	16
scale-invariance	16
searching	16
similarity-matrix	16
string-theory	16
transition-system	16
algebraic	15
collaboration	15
combination	15
computability	15
dimensionality	15
fractal-dimension	15
mathematics	15
metalogics	15
parchments	15
pricing	15
probability-theory	15
space	15
cosmology	14
dimension	14
efficiency	14
enterprise	14
fixed-point	14
information-extraction	14
information-retrieval	14
metric	14
mkm	14
multifractality	14
portfolio-selection	14
segmentation	14
selection	14
software-architecture	14
symmetry	14
taxonomy	14
testing	14
bayesian	13
calculus	13
cognition	13
computation	13
database	13
executable	13
hda	13
higher-dimensional-category-theory	13
infinite	13
invariance	13
language	13
metascience	13
nonlocality	13
paraconsistency	13
performance	13
periodicity	13
quantale	13
synthesis	13
web	13
abstraction	12
algorithm	12
automata	12
conceptual-structures	12
diagram	12
fol	12
formal-methods	12
gravity	12
kernel-matrix	12
lattice-of-theories	12
logical-structures	12
manifold	12
mdl	12
multifractal	12
power-law	12
qft	12
search	12
temporal-concept-analysis	12
3d	11
computability-theory	11
constraints	11
coordination	11
edutainment	11
formal	11
framework	11
measure	11
memory	11
model	11
model-theory	11
neural-symbolic	11
physics	11
random-matrix-theory	11
relational	11
risk	11
self-similar	11
symbolic-dynamics	11
thermodynamics	11
type-theory	11
universality-class	11
adaptability	10
argumentation-theory	10
category-of-theories	10
csp	10
deep-inference	10
detection	10
entropy	10
fractafold	10
game-theory	10
gtm	10
incompleteness	10
incremental-learning	10
information-geometry	10
kb	10
minimal-sufficient-statistic	10
neuroscience	10
nonlinear	10
partition	10
path	10
phase-space	10
quantum-gravity	10
scale-free-network	10
scale-relativity	10
symmetry-breaking	10
all-logical-theories	9
assistance	9
automating	9
axiomatization	9
decomposition	9
descriptive-complexity	9
extensivity	9
formal-system	9
generalized-kolmogorov-complexity	9
goals	9
hausdorff-dimension	9
induction	9
inductive-inference	9
logical-theories	9
long-range-correlation	9
machine-learning	9
measure-theory	9
metatheory	9
metric-space	9
model-checking	9
operational	9
opinion	9
optimization	9
process-space	9
relational-structures	9
resolution	9
self-duality	9
sequence-prediction	9
sfn	9
stone-duality	9
subspace	9
survivability	9
autonomic-computing	8
biology	8
browsing	8
cantor-space	8
categorification	8
computational-category-theory	8
computational-cosmology	8
computational-physics	8
computational-sociology	8
computing	8
ct	8
db	8
diffusion	8
event-space	8
finance	8
fracton	8
interference	8
logical-information-system	8
many-body	8
meaning	8
metaprocess	8
methodology	8
mixture	8
monitoring	8
multiresolution	8
noise	8
noncommutative-geometry	8
nonextensivity	8
nonlinearity	8
nonmonotonic	8
p-adic	8
proof-theory	8
property-lattice	8
quantization	8
quantum-computing	8
relation	8
relational-physics	8
simplicity	8
software-development	8
theory-selection	8
time-series	8
universal-prediction	8
aixi	7
algebraicity	7
algebraic-structures	7
aspects	7
asynchronous	7
binary-icosahedral-group	7
calculational	7
closure-structures	7
communication	7
computational-mathematics	7
computational-science	7
continuity	7
dialogue	7
experts	7
formal-science	7
fractal-geometry	7
fuzzy	7
generation	7
hypercomplex	7
ilp	7
innovation	7
interoperability	7
investing	7
kernel	7
lattice-theory	7
managed-logic	7
matching	7
mathematical-structures	7
metamodel	7
metamodeling	7
modularity	7
m-theory	7
multiverse	7
non-unitarity	7
patents	7
physical-structures	7
planning	7
primes	7
probabilistic	7
process-theory	7
regularity	7
resource-allocation	7
self-adaptation	7
spatio-temporal	7
structure	7
sufficiency	7
text	7
theory	7
time-series-analysis	7
topological	7
uncertainty	7
wavelet	7
abstract-machine	6
abstract-state-machines	6
analysis	6
association-rules	6
attractor	6
automation	6
cantor-set	6
channel-theory	6
chaos	6
chaos-control	6
chemistry	6
cmb	6
collective	6
compositionality	6
computational	6
computational-complexity	6
computational-narratology	6
concept	6
configuration-space	6
dimension-theory	6
discrete-self-similarity	6
dissimilarity	6
dodecahedral-space	6
econophysics	6
effects	6
engineering	6
ensemble	6
e-science	6
exploration	6
exploring	6
feedback	6
formal-language	6
gales	6
game	6
generalized-hilbert-space	6
generalized-inner-product	6
growth	6
homotopy	6
hyper-economy	6
incremental	6
information-loss	6
java	6
log-periodicity	6
maude	6
mereology	6
noncommutativity	6
non-equilibrium	6
nonmonotonicity	6
nonstandard-analysis	6
ordering	6
phase-transition	6
planck-scale	6
potential	6
prediction-market	6
presentation	6
program-space	6
qifs	6
quantum-information-theory	6
question-answering	6
realizability	6
reduction	6
refactoring	6
reinforcement-learning	6
relativistic	6
self-similarity-matrix	6
set	6
small-world-network	6
social-network	6
standing-waves	6
support	6
syntax	6
theory-formation	6
total-order	6
ultrametric-space	6
al	5
algebraic-domains	5
automatic	5
behaviour	5
branching	5
case-based	5
categorical-logic	5
category-of-specifications	5
circuitry	5
closed-categories	5
combinatorics	5
computational-learning	5
continued-fraction	5
control-flow	5
cooperation	5
correlation	5
dependency	5
differential-geometry	5
discrete-scale-invariance	5
dl	5
effective-topos	5
enriched-category-theory	5
entanglement	5
extraction	5
finite-model-theory	5
fractal-evolution	5
generalized-kernel	5
global-scaling	5
hilbert-lattice	5
homology	5
hyperefficiency	5
hypergraph	5
hypergraphs	5
indexing	5
inertia	5
information-dynamics	5
intermittency	5
interpretation	5
intuitionistic-logic	5
kernel-based-methods	5
kernel-function	5
linearity	5
management	5
metaevolution	5
metalogic-programming	5
modal-logic	5
monads	5
monotonicity	5
network-theory	5
nonextensive	5
non-probabilistic	5
novelty	5
operads	5
pattern	5
percolation	5
power	5
powerdomains	5
principal-agent-theory	5
process-model	5
program-transformation	5
pvs	5
quantum-chaos	5
quantum-coherence	5
quantum-domain-theory	5
quantum-dynamics	5
quantum-entanglement	5
quantum-fractals	5
querying	5
ranking	5
reducibility	5
relative-entropy	5
renormalization	5
reversibility	5
robotics	5
r-qm	5
sampling	5
scale-free	5
scale-hierarchy	5
science	5
self-reference	5
semantic-space	5
shape	5
sierpinski-triangle	5
situation-theory	5
sketches	5
soc	5
spatial	5
spectrum	5
speed-prior	5
statistical-mechanics	5
symbolic	5
theorem	5
transductive	5
universe	5
visualizing	5
vr	5
xml	5
access	4
adaptive	4
adaptivity	4
adjoint-functors	4
algorithmic-statistics	4
algorithm-selection	4
all-physical-structures	4
analogy	4
approximation	4
augmenting	4
axiomatic-system	4
behavior-space	4
bias	4
bisimulation	4
bit-string-physics	4
business	4
casl	4
categorical-theories	4
causality	4
cellular-network	4
cip	4
class-hierarchy	4
climate	4
closure-space	4
code	4
cognitive-agents	4
collaborative	4
collaborative-filtering	4
combining	4
compressibility	4
computational-economics	4
computational-mechanics	4
computational-model-theory	4
consistency	4
constraint	4
cosmological-theory	4
crowdsourcing	4
cultural-evolution	4
decoherence	4
description	4
discrete	4
dna	4
domain-logic	4
dynamic	4
eigenmodes	4
end-user-programming	4
epsilon-machine	4
evaluation	4
event-structures	4
extension	4
extremum	4
fluctuation	4
formal-context	4
fractals	4
fractal-space	4
fractal-universe	4
functional-programming	4
generator	4
genome	4
grid	4
group	4
harmonic	4
hci	4
higher-dimensional-algebra	4
hol	4
hyperdoctrine	4
hypermedia	4
ideals	4
infinite-sequence	4
integer	4
intentions	4
intuitionistic	4
ir	4
just-in-time	4
kernel-methods	4
knowledge	4
lab	4
lattice-of-properties	4
least-action	4
least-time	4
linear	4
localization	4
market	4
mechanics	4
mechanizing	4
merging	4
michelson-morley-experiment	4
morphisms	4
multilevel	4
multimedia	4
negotiation	4
neural-network	4
nodal-domains	4
non-commutative	4
nondifferentiable	4
non-unitary	4
number-theory	4
observation	4
ontology-development	4
organization-theory	4
philosophy	4
polyadic-concept-analysis	4
prequential	4
process-algebra	4
processing	4
productivity	4
proof-search	4
protocol	4
qit	4
quality	4
quantum	4
quantum-algorithmic-information-theory	4
quantum-field-computation	4
quantum-graphs	4
quantum-institutions	4
quantum-phase-space	4
quantum-probability-theory	4
real-time-computing	4
reasoning	4
recognition	4
reengineering	4
regularization	4
relations	4
relevant-logic	4
reverse-engineering	4
runtime	4
scalability	4
self-dual	4
self-organization	4
self-similar-evolution	4
separability	4
situated	4
slicing	4
streaming	4
surface	4
systems-theory	4
task-oriented	4
ternary	4
theory-revision	4
toe	4
traces	4
trading-strategy	4
trading-system	4
type	4
unification	4
universal-scaling	4
universal-sequence-prediction	4
view	4
visualisation	4
visual-languages	4
volatility	4
waves	4
wmap	4
abductive	3
aggregation	3
algebraic-dynamics	3
all-algebraic-structures	3
all-mathematical-structures	3
allocation	3
all-relational-structures	3
animation	3
annotation	3
ar	3
architecture	3
artificial-immune-system	3
asset-space	3
auctions	3
authoring	3
benchmark	3
binary-physics	3
biophysics	3
branching-time	3
business-model	3
business-rules	3
cad	3
categorical-semantics	3
categorization	3
causal-state-machine	3
cbr	3
cct	3
chaos-theory	3
classicality	3
clique	3
closure	3
closure-lattice	3
coevolution	3
colimit	3
collaborative-argumentation	3
collision-detection	3
combinatorial	3
community	3
complete	3
compressing	3
computable	3
conceptual	3
conflict	3
connectedness	3
constructive	3
constructive-hausdorff-dimension	3
countability	3
critical-behavior	3
curry-howard-isomorphism	3
decidability	3
decision	3
default-reasoning	3
deformation	3
design-space	3
discrete-differential-geometry	3
dissipative	3
distinguishability	3
document	3
domains	3
energy	3
equational-logic	3
equivalence	3
event	3
exploitation	3
factorization	3
field	3
forgetting	3
formalizing	3
formal-language-theory	3
fractal-process	3
fsa	3
gale	3
gauge	3
generalised-schroedinger-equation	3
generalized-fractal-dimension	3
generalized-quantum-mechanics	3
generic-programming	3
goal-oriented	3
harmonic-analysis	3
higher-dimensional-topos-theory	3
holographic	3
homogeneous	3
homotopy-theory	3
hybrid	3
hyperbolic	3
hypernetwork	3
hypernetworks	3
ideal-domains	3
ideal-models	3
image	3
implementation	3
indistinguishability	3
information-physics	3
inheritance	3
inquiry-calculus	3
instanton	3
interactive	3
intertheory	3
investment-strategy	3
isomorphism	3
iteration	3
km	3
ksf	3
lexical-acquisition	3
matroids	3
medium	3
mental-models	3
mereotopology	3
metainference	3
mixed-initiative	3
molecular-dynamics	3
multidimensional	3
multifractal-evolution	3
multi-level	3
multisource-algorithmic-information-theory	3
mutual-information	3
negative-entropy	3
n-information-system	3
nonequilibrium	3
nonparametric	3
non-probabilistic-statistics	3
object-oriented	3
omega-categories	3
oops	3
optimal	3
oscillating	3
overlap	3
owl	3
paraconsistent	3
parallel	3
parametric	3
partial-order-theory	3
partitioning	3
patent	3
path-selection	3
periodic-table	3
petri-net	3
pointer	3
politics	3
population	3
predicting	3
product-development	3
product-line	3
program-extraction	3
proof-space	3
proof-tree	3
quantitative-domain-theory	3
quantum-compression	3
quantum-dodecahedron	3
quantum-memory	3
quantum-space	3
quantum-vacuum-field	3
quaternionic	3
reactive	3
region	3
reliability	3
requirements	3
resource	3
resources	3
rewriting	3
rm-odp	3
rules	3
scientific	3
scott-domain	3
scott-information-system	3
self-assembly	3
self-similar-process	3
sentence	3
shortest-path	3
small-world	3
soa	3
sociology	3
software-evolution	3
software-visualization	3
space-of-distributions	3
state-machine	3
stone-gamut	3
supersymmetry	3
survey	3
symbolic-space	3
synchrony	3
synthesizing	3
synthetic-domain-theory	3
system-identification	3
tagging	3
technical-analysis	3
temperature	3
text-mining	3
theory-exploration	3
toolkit	3
topic	3
topos	3
towers-of-hanoi	3
triadic-concept-analysis	3
tsa	3
ultrametricity	3
understanding	3
uniformity	3
universal-compression	3
universal-portfolio-selection	3
usability	3
usage	3
validation	3
virtual	3
visual-programming	3
volume	3
webos	3
3-manifold	2
4d	2
abduction	2
abductive-inference	2
ace	2
acquisition	2
adaptation	2
adelic-space	2
algebraic-domain	2
algebraic-geometry	2
algebraic-semiotics	2
algorithmic	2
algorithmic-complexity	2
algorithmic-probability	2
all-possible-universes	2
anisotropy	2
annotating	2
anti-matroid	2
applications	2
arbitrage	2
artificial-physics	2
asset-tree	2
assom	2
astronomy	2
asymmetry	2
attribute-exploration	2
auction-theory	2
axiomatisation	2
axiomatizations	2
behavioral-rewriting	2
beliefs	2
benford-law	2
bifurcation	2
binary	2
binary-octahedral-group	2
binary-octahedral-space	2
binary-tetrahedral-space	2
bitmap	2
bit-string	2
boolean-dissimilarity	2
boosting	2
bottom-up	2
bounded-complete-models	2
business-process	2
bv	2
caching	2
calculation	2
calculational-proofs	2
calculus-of-constructions	2
cartesian-closed-categories	2
cash-flow	2
categorical-models	2
categorical-proof-theory	2
category	2
category-of-fuzzy-sets	2
category-of-systems	2
central-limit-theorem	2
cg	2
change	2
chemical	2
chip-firing-games	2
classification-rules	2
clifford-algebra	2
coalition-formation	2
co-evolution	2
coherence	2
collision	2
committed-choice	2
comonotonicity	2
compact-metric-space	2
compactness	2
competition	2
compiler	2
compiling	2
completeness	2
complexity-theory	2
components	2
compoundness	2
computable-analysis	2
computable-structures	2
concurrent	2
conditioning	2
configuration-structures	2
construction	2
contextuality	2
continuous	2
continuous-query	2
contracting	2
control-flow-graph	2
control-language	2
cooperative	2
cosmological-parameters	2
costing	2
coupled	2
covariance	2
critical-phenomena	2
cybernetics	2
data-mining	2
dcsp	2
decategorification	2
decentralized	2
declarative-programming	2
deduction	2
defeasible	2
democracy	2
derivative	2
design	2
design-theory	2
desires	2
detrended-fluctuation-analysis	2
diagrammatic-inference	2
diffusion-waves	2
digital-circuits	2
dimensionality-reduction	2
disambiguation	2
discrete-space	2
discrete-time-mechanics	2
discretization	2
diversity	2
dodecahedral	2
dsms	2
dynamically-expanding-context	2
dynamic-analysis	2
ea	2
ebusiness	2
editor	2
enriched-category	2
enumerability	2
enumerative	2
eom	2
epsilonmachine	2
equivalence-class	2
error	2
evidence	2
evolving	2
experiments	2
expressiveness	2
extremal	2
facets	2
feature-selection	2
feynman-diagram	2
finiteness	2
folksonomy	2
formal-category-theory	2
fractal-hilbert-space	2
fractal-phase-space	2
fractal-qm	2
fractal-substrate	2
fsm	2
functionality	2
galois-connection	2
gaussian-process	2
generalized	2
generalized-algorithmic-probability	2
generalized-inner-product-space	2
generalized-quantum-field-theory	2
generalized-quantum-theory	2
generalized-schroedinger-equation	2
generalized-ultrametric-space	2
generalizing	2
general-systems-theory	2
genetic-programming	2
global	2
grammar	2
graviton	2
groupoid	2
group-theory	2
hamiltonian	2
health	2
heterogeneity	2
heyting-algebra	2
hierarchy-of-structures	2
holographic-principle	2
holography	2
hyperspace	2
ideal-streams	2
identification	2
identity	2
iifs	2
indexed-categories	2
inerton	2
inference-dynamics	2
influence	2
information-visualization	2
inhomogeneous	2
innovation-theory	2
inputs	2
integer-partitions	2
intelligence-order-relations	2
interactive-computation	2
interval	2
intraday	2
inventing	2
investment	2
investment-strategy-space	2
investment-theory	2
invocation	2
isabelle	2
iterated	2
iterative	2
knots	2
knowledge-based-methods	2
large-scale	2
lattice-of-equivalence-classes	2
lattice-of-specifications	2
lca	2
learning	2
legal	2
linearization	2
linear-order	2
locale	2
loop	2
loop-quantum-geometry	2
ludics	2
macroscopic	2
managing	2
markup	2
martingale	2
mathematical	2
matrix	2
matrix-theory	2
meaning-space	2
meta-analysis	2
metacomputation	2
metamathematics	2
metareasoning	2
metastability	2
metric-temporal-logic	2
microeconomics	2
mll	2
models-of-computation	2
modular	2
modularization	2
monoidal	2
monoidal-closed-categories	2
morphism	2
motion	2
mst	2
multimodal	2
multi-scale	2
music	2
negative-information	2
networks	2
neural	2
news	2
non-cooperative	2
non-determinism	2
nonextensive-statistics	2
nongaussian	2
nonlocal	2
normal-mode	2
numbers	2
observability	2
occam-razor	2
occam-selector	2
operational-semantics	2
opponent	2
order-book	2
ortholattice	2
oscillons	2
parallelism	2
parallelity	2
parameterized-programming	2
parametric-homogeneity	2
partial-evaluation	2
partial-order-programming	2
particle	2
partitions	2
patent-classification	2
patent-generation	2
patterns	2
periodic-law	2
personalization	2
phenomena	2
plans	2
poincare-dodecahedral-space	2
polyhedra	2
polymorphism	2
polynomials	2
portfolio-theory	2
predictablility	2
presheaves	2
primordial	2
proactive	2
probability	2
process-oriented	2
proof-complexity	2
prototyping	2
quantum-algorithm	2
quantum-computer	2
quantum-control	2
quantum-deformation	2
quantum-field-theory	2
quantum-gales	2
quantum-gambling	2
quantum-game	2
quantum-games	2
quantum-path	2
quantum-semantics	2
quantum-topos	2
quantum-universe	2
question-lattice	2
queueing-theory	2
random-walk	2
rationality	2
reconstructing	2
recurrence	2
recurrence-plot	2
recursion	2
reflective	2
regular-lattice	2
relational-concept-analysis	2
relevance	2
relevance-feedback	2
resonance	2
retrieval	2
revision	2
robustness	2
rotating	2
rotation	2
safety	2
sandpile-models	2
scale-symmetry	2
schrodinger-equation	2
scide	2
scientific-community	2
scientometrics	2
search-engine	2
search-theory	2
self-assessment	2
self-avoiding-walk	2
self-dissimilarity	2
self-managing	2
self-segmentation	2
semanticweb	2
semi-self-similarity	2
semquery	2
sheaves	2
sheav-theory	2
shortest	2
short-term	2
social-dynamics	2
society	2
sociophysics	2
solvability	2
som	2
space-filling	2
space-of-probability-distributions	2
space-of-theories	2
specialization	2
specifying	2
spherical	2
spreadsheet	2
stability	2
standards	2
star	2
statistical	2
stochastic-resonance	2
storytelling	2
strategy	2
string	2
substrate	2
substructural	2
sufficient-statistic	2
supercompilation	2
superposition	2
symbolic-computation	2
synchronization	2
synchronous	2
synthetic-differential-geometry	2
taxonomy-of-theories	2
tca	2
technology	2
temporal-logic-institution	2
temporal-relevant-logic	2
termination	2
theorizing	2
theory-development-environment	2
theory-interpretation	2
theory-refinement	2
time-warping	2
topological-defect	2
topological-dynamics	2
tqft	2
trace	2
tracing	2
transductive-inference	2
transition	2
translation	2
transport-network	2
truth-table	2
turing-degree	2
unitarity	2
universal-algebra	2
universal-coding	2
universal-domains	2
universal-portfolio	2
updating	2
user-model	2
utility	2
vagueness	2
valuation	2
variability	2
versioning	2
visualising	2
visual-programming-languages	2
wavelets	2
wealth	2
weather	2
web3d	2
web-graph	2
workflow	2
wos	2
zipf-law	2
zooming	2
2-categorical	1
2d	1
2-toposes	1
3-lisp	1
absolute-motion	1
abstracting	1
abstract-neural-machine	1
acceptability	1
accessibility	1
accessible	1
acoustic	1
active-learning	1
activeweb	1
activity	1
activity-based	1
adaptive-object-models	1
adeles	1
adelic	1
adjoint	1
adjunctions	1
adl	1
ads-universe	1
aging	1
algebraic-hierarchy	1
algebraic-lattice	1
algebraic-manifold	1
algebraic-model	1
algebraic-process-theory	1
algebraic-structure	1
algebraic-theories	1
algebraic-theory	1
algebras	1
algorithmic-information-content	1
algorithmic-model-theory	1
algorithm-theories	1
algorithm-visualization	1
alignment	1
all-algebraic-categories	1
all-computational-structures	1
allegory-theory	1
all-logical-structures	1
allocating	1
all-small-categories	1
alphabet	1
alternation	1
anisotropic	1
anthropic-principle	1
anticipation	1
anti-deterministic	1
anti-intuitionistic	1
anti-self-dual	1
aop	1
aose	1
api	1
approximable-concepts	1
approximating	1
approximation-order	1
arbitrage-pricing-theory	1
arbitrary-measure	1
archive	1
argumantation	1
argumenting	1
asm	1
aspectscode	1
assembly	1
asset-graph	1
asset-lattice	1
asset-network	1
assistant	1
association-graph	1
association-rule	1
asymmetric	1
asymmetric-information	1
asymptotic	1
atomisticity	1
attention	1
attractor-reconstruction	1
auction	1
automat	1
automated-modeling	1
automatic-structures	1
automorphism	1
autonomous-category	1
auto-organizaiton	1
autoresonant	1
autowaves	1
axiom	1
axiomatic-domain-theory	1
axiomatizability	1
axiomatizing	1
bagging	1
baire-space	1
baker-map	1
banach-lattice	1
banach-space	1
basis	1
bayesian-network	1
bayesian-sequence-prediction	1
behavioral	1
belief-networks	1
besov	1
besov-space	1
betting	1
bianchi-classification	1
bibliography	1
bidirectionality	1
binary-dihedral-groups	1
binary-icosahedral-space	1
binary-tetrahedral-group	1
biodiversity	1
biops	1
black-hole	1
blending-theory	1
blend-space	1
blockworld	1
boolean-algebra	1
bootstrapping	1
boundary	1
bounds	1
branching-time-temporal-logic	1
branes	1
breaking	1
browser	1
budgeting	1
business-development	1
business-process-space	1
buy-and-hold	1
by-example	1
ca	1
calculus-of-structures	1
calendar	1
c-algebra	1
c-algebras	1
call-graph	1
caml	1
canonical-correlation-analysis	1
capacity	1
capm	1
carcinogenesis	1
cardinality	1
cascade	1
case-based-reasoning	1
casimir-effect	1
catastrophe-theory	1
categorial	1
categorial-theories	1
categorical-abstract-algebraic-logic	1
categorical-abstract-machine	1
categorical-model-theory	1
categorical-systems-theory	1
categorified-algebra	1
category-of-algebras	1
category-of-categories	1
category-of-complete-lattices	1
category-of-formal-contexts	1
category-of-ideals	1
category-of-information-systems	1
category-of-languages	1
category-of-modules	1
category-of-patents	1
category-of-posets	1
category-of-programs	1
category-of-signatures	1
category-of-structure-types	1
category-of-stuff-types	1
cathegory-theory	1
causal-minimisation	1
cavity	1
ccp	1
cellular	1
cellular-automata	1
centralized	1
chains	1
chaotic	1
chaotic-wave-function	1
charters	1
checking	1
chronological-minimisation	1
chu	1
citation	1
citations	1
classical-limit	1
classical-logic	1
classical-phase-space	1
classifier	1
classifying-categories	1
cliques	1
clocked-transition-system	1
clp	1
cluster-	1
clusteringstreams	1
coalgebra	1
coalition	1
coarse-graining	1
code-space	1
coding-theory	1
coevolving	1
cognitive-computing	1
coherence-analysis	1
coherent-state	1
coinductive-rewriting	1
collaborative-problem-solving	1
combinators	1
combinatory-logic	1
common-lisp	1
common-sense	1
communities	1
commutative	1
commutativity	1
comparison	1
compensation	1
competitive	1
complementarity	1
complete-axiomatization	1
complete-partial-order	1
completion	1
complex-dimensions	1
complexity-oscillations	1
complextity	1
component	1
composing	1
composite-kernel	1
composite-web-service	1
compuatational-structures	1
computable-language	1
computational-algebraic-geometry	1
computational-biology	1
computational-effects	1
computational-eistemology	1
computational-finance	1
computational-legal-sciences	1
computational-logic	1
computational-neuroscience	1
computational-semiotics	1
computational-statistics	1
computational-structures	1
computational-structure-theory	1
computational-universality	1
concept-formation	1
concept-map	1
concept-programming	1
conceptual-space	1
conditionality	1
conditional-probability	1
configuration	1
confinement	1
conformal	1
confusability-matrix	1
conjecture	1
connection	1
connectionism	1
consciousness	1
consensus	1
conservation	1
constant	1
constructive-category-theory	1
constructive-logic	1
constructive-proof	1
consumption	1
context-logic	1
context-model	1
context-relativity	1
context-selection	1
contextualization	1
contextual-reasoning	1
contimuum	1
continuous-information-system	1
contracts	1
contradiction	1
contravariance	1
convexity	1
coordinator	1
corpus	1
corrections	1
correlations	1
correspondence	1
corruption	1
cosmological-constant	1
cosmological-scale	1
cost	1
counterexample	1
counter-example	1
counterexamples	1
coupling	1
cpo	1
crash	1
creativity	1
crisis	1
critical-exponent	1
critical-path	1
critical-path-horizon	1
critical-phenomenon	1
critics	1
crosscutting	1
cross-product	1
cultrual-evolution	1
culture	1
cumulator	1
curry-howard	1
curvature	1
curve	1
cyclic-groups	1
dag	1
data	1
database-of-categories	1
data-detector	1
data-model	1
datrix	1
deadlock	1
debugging	1
decidable	1
decidable-structures	1
decidable-theories	1
deciding	1
decision-diagram	1
decision-procedure	1
decision-support	1
decision-theory	1
decision-tree	1
decompressibility	1
decompressing	1
default	1
default-logic	1
default-theory	1
defeasibility	1
defeasible-logic	1
defect	1
definability	1
deforestation	1
delay	1
delocalization	1
delooping	1
dendrogram	1
derivation	1
derived-categories	1
design-lattice	1
design-process	1
desktop	1
desynchronization	1
detector	1
determinism	1
development	1
development-graph	1
diagonalization	1
diagram-chasing	1
diagrammatic	1
dialgebra	1
diffeomorphism	1
differential-equations	1
digital-library	1
digraph	1
dilemma	1
dimensional-analysis	1
dimensional-stacking	1
directed-percolation	1
direct-inference	1
direct-manipulation	1
discourse	1
discrete-geometry	1
disjunctive-sequences	1
disorder	1
disordering	1
distance-lattice	1
distance-matrix	1
distrbution	1
distributional-semantics	1
distributive-lattice	1
distributivity	1
divergence	1
divide-and-conquer	1
divisibility	1
dla	1
document-development	1
domain-selection	1
dominance	1
double-pareto-distribution	1
double-pareto-lognormal-distribution	1
drafting	1
drift	1
dt	1
dual-ideals	1
dynamic-algebras	1
dynamical-invariants	1
earthquake	1
e-business	1
ecology	1
economic-space	1
effect	1
effective-model-theory	1
eigenmode	1
eigenproblem	1
eigenvalue	1
eigenvector	1
eis	1
elementary-particles	1
embeddedness	1
embedding-theorem	1
embedment	1
emergent	1
empty-set	1
endogeneous	1
endogenous	1
enrichment	1
entailment-relation	1
enterprise-portfolio	1
entropy-change	1
environment	1
epimorphism	1
equation	1
equational	1
equations	1
equilibrium	1
equilogical-space	1
ergodicity	1
ergonomics	1
estimating	1
evaluator	1
events	1
event-structure	1
evolutionary	1
evolutionary-spectral-analysis	1
evolvability	1
evolving-algebras	1
executability	1
executable-model	1
executing	1
execution	1
execution-graph	1
exogeneous	1
exogenous	1
experience	1
experiment	1
experiment-lattice	1
expertise	1
expert-system	1
explanation	1
exploiting	1
exponential	1
extended-self-similarity	1
extensibility	1
extensive	1
extremal-dynamics	1
fastest	1
fast-forward	1
fault-tolerance	1
feature-extraction	1
feature-space	1
federation	1
fibrations	1
fide	1
fields	1
field-theory	1
filter	1
filtering	1
financing	1
finitary-stochastic-hierarchy	1
finite	1
first-principles	1
fitting-semantics	1
floyd-warshall-algorithm	1
fluctuations	1
focus	1
force-feedback	1
formal-axiomatization	1
formal-concept	1
formal-development-environment	1
formalisation	1
formalism	1
formal-mathematics	1
formal-model	1
formal-philosophy	1
formal-string-theory	1
formal-theory	1
fot	1
fractal-brownian-motion	1
fractal-compression	1
fractal-connectivity	1
fractal-lattice	1
fractal-matrix	1
fractal-measure	1
fractal-prior	1
fractons	1
fragment	1
frame-dragging	1
frames	1
frequency	1
ft	1
function	1
functor	1
functoriality	1
functors	1
funtional-programming	1
fx	1
galactic-scale	1
galois-frame	1
gaps	1
gas	1
gauge-theory	1
gaussian	1
generalizability	1
generalized-algebra	1
generalized-dimension	1
generalized-fractal-transforms	1
generalized-metric-space	1
generalized-partial-computation	1
generalized-statistical-mechanics	1
general-logic-diagrams	1
general-logics	1
general-loss	1
generating	1
generative	1
generative-model	1
geodesics	1
geography	1
geometric	1
geometrodynamics	1
global-synchrony	1
goedel-machine	1
goldstone-boson	1
gr	1
gradient	1
granular	1
granular-partition	1
graph-model	1
graphs	1
graph-theory	1
gravitons	1
gravity-waves	1
greechie-diagram	1
growing	1
growth-model	1
growth-optimal	1
hamilton	1
hardware	1
hashing	1
haskell	1
hasse-diagram	1
hedging	1
helicity	1
herding	1
hetcasl	1
heterogeneous-reasoning	1
hets	1
hierarchical-clustering	1
hierarchical-language-model	1
hierarchical-network	1
hierarchy-of-theories	1
hierarchy-of-universality-classes	1
hierarchy-theory	1
high-dimensional	1
higher-category-theory	1
higher-topos-theory	1
high-performance	1
hilbert-curve	1
hirarchy	1
histogram	1
hm-svm	1
hoare-power-domain	1
home	1
homeomorphism	1
homotopy-group	1
human-genome-project	1
hybrid-system	1
hypercomputation	1
hyperlink	1
hyperreal	1
hyperset	1
hypersimple	1
hypersimplicity	1
hyperspectral	1
hypothesis-testing	1
ide	1
ideal-completion	1
ideal-partial-orders	1
imitation	1
implementing	1
impossibility	1
imps	1
incomplete	1
incomplete-information	1
incompressibility	1
inconsistency	1
inconsistent-domain-theory	1
index	1
indistinguishabilities	1
inductive-logic-programming	1
inertons	1
inferencer	1
inferencing	1
infinitary-deduction	1
infinite-alphabet	1
infinite-computations	1
infinite-formal-context	1
inforamtion-extraction	1
information-resource	1
information-space	1
information-state	1
inheritance-hierarchy	1
inner-product-space	1
innovating	1

	The realizability approach to computable analysis and topology [My Copy] (2000) by Andrej Bauer posted to computability-theory computable-analysis realizability topology by scis0000001 on 2007-05-16 07:46:00 as
	Developing theories of types and computability via realizability [My Copy] (1999) by Lars Birkedal posted to algebraic-lattice computability-logic computability-theory effective-topos equilogical-space fibrations fol logics modal-logic predicate-logic realizability realizer sheav-theory topos-theory tripos-theory type-theory by scis0000001 on 2007-05-09 23:12:59 as
	Realizability: A Historical Essay [My Copy] by Jaap van Oosten posted to category-theory computability-theory realizability topos-theory by scis0000001 on 2007-03-10 13:15:42 as
	Measurability and Computability [My Copy] (16 Sep 1998) by Masanao Ozawa posted to computability-theory domain-theory measure-theory by scis0000001 on 2007-02-23 13:28:01 as along with 1 person mstn
	Theory and Applications of Models of Computation: Third International Conference, TAMC 2006, Beijing, China, May 15-20, 2006, Proceedings (Lecture Notes in Computer Science) [My Copy] (2006) by Jin-Yi Cai, Barry S. Cooper, Angsheng Li posted to computability-theory models-of-computation by scis0000001 on 2007-02-23 09:18:11 as
	Domains for Computation in Mathematics, Physics and Exact Real Arithmetic [My Copy] The Bulletin of Symbolic Logic, Vol. 3, No. 4. (1997), pp. 401-452. by Abbas Edalat posted to algebraicity applications behavior-space computability-theory computational-epistemology computational-science continuity domain-theory dynamical-system ifs incremental measure-theory probability-theory process-space process-theory program-space proof-space space-of-distributions space-of-probability-distributions space-of-processes space-of-programs space-of-proofs state-space topological-space topology by scis0000001 on 2007-02-16 14:02:29 as along with 1 person Scis0000002
	Quantum Domain Theory - Definitions and Applications [My Copy] (11 Jun 2003) by Elham Kashefi posted to computability-theory decoherence domain-theory interactivity partial-order powerdomains qait qifs qip qit qm quantum-algorithmic-information-theory quantum-domain-theory quantum-field-computation quantum-field-computing quantum-games quantum-information-theory quantum-institutions quantum-logics quantum-semantics by scis0000001 on 2007-02-05 13:35:13 as along with 1 person Scis0000002
	Computabilitytheoretic and proof-theoretic aspects of partial and linear orderings [My Copy] by R. Downey, D. Hirschfeldt, S. Lempp, R. Solomon posted to computability-theory linear-order partial-order proof-theory total-order by scis0000001 on 2007-01-03 13:19:33 as
	Infinite time Turing machines with only one tape [My Copy] (7 Jul 1999) by Joel D. Hamkins, Daniel E. Seabold posted to computability computability-theory gtm infinite by scis0000001 on 2006-10-06 09:28:31 as along with 1 person Scis0000002
	Degree Spectra and Computable Dimensions in Algebraic Structures [My Copy] (2001) by D. R. Hirschfeldt, B. Khoussainov, R. A. Shore, A. M. Slinko posted to algebra algebraic-structures computability-theory by scis0000001 on 2006-08-29 14:32:33 as
	Uniformity in Computable Structure Theory [My Copy] (2001) by R. G. Downey, D. R. Hirschfeldt, B. Khoussainov posted to computability-theory computational-epistemology computational-structure-theory uniformity by scis0000001 on 2006-08-29 14:27:06 as

scis0000001's computability-theory [11 articles] Export

scis0000001's tags