CiteULike: scis0000001's abstract-state-machines [6 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
input-space	1
instability	1
insurance	1
integers	1
intentional	1
interacting	1
interactive-epistemology	1
interactive-mathematics	1
interest-rates	1
interface	1
internal-model	1
interpreter	1
intersection	1
intuitionism	1
invariant	1
invention	1
invention-theory	1
inversion	1
irregularity	1
irreversibility	1
itp	1
its	1
kam-theory	1
kernel-pca	1
kernel-selection	1
kolmogorov-structure-function	1
language-model	1
language-theory	1
large-scale-structure	1
lattice-of-closures	1
lattice-of-experiments	1
lattice-of-features	1
lattice-of-formulas	1
lattice-of-patents	1
lattice-of-statements

	Model Checking Abstract State Machines and Beyond [My Copy] In ASM '00: Proceedings of the International Workshop on Abstract State Machines, Theory and Applications (2000), pp. 323-340. by Marc Spielmann posted to abstract-state-machines model-checking by scis0000001 on 2007-05-04 08:45:21 as
	Generating finite state machines from abstract state machines [My Copy] In ISSTA '02: Proceedings of the 2002 ACM SIGSOFT international symposium on Software testing and analysis (2002), pp. 112-122. by Wolfgang Grieskamp, Yuri Gurevich, Wolfram Schulte, Margus Veanes posted to abstract-state-machines asm executable fsm by scis0000001 on 2007-05-04 08:36:41 as along with 1 person leonardo
	Dynamic algebras as a well-behaved fragment of relation algebras [My Copy] In Algebraic Logic and Universal Algebra in Computer Science, Vol. 425 (1990) by Vaughan Pratt edited by C. H. Bergman, R. D. Maddux, D. L. Pigozzi posted to abstract-state-machines algebra behavior chu-space discreteness dynamic-algebras dynamics event-space evolution evolving-algebras gtm relation state-space by scis0000001 on 2006-12-02 15:43:04 as
	Sequential abstract-state machines capture sequential algorithms [My Copy] ACM Trans. Comput. Logic, Vol. 1, No. 1. (July 2000), pp. 77-111. by Yuri Gurevich posted to abstract-state-machines executability executable gtm scalability by scis0000001 on 2006-10-16 17:24:33 as
	Computability Logic: a formal theory of interaction [My Copy] (10 Dec 2004) by Giorgi Japaridze posted to abstract-state-machines adaptability aixi all-logical-theories behavior chu-space classical-logic computability computability-logic computational-epistemology dynamics formal-theory iff interaction interactivity interference intuitionistic-logic linear-logic logic relativity by scis0000001 on 2006-09-19 16:36:44 as
	Algorithmic Theories of Everything [My Copy] (20 Dec 2000) by Juergen Schmidhuber posted to abstract-state-machines algebraic algorithmic-information-theory all-logical-theories binary-physics chu-space compuatational-structures computability computability-logic computational-cosmology computational-epistemology computational-physics concurrency discreteness emergence eom generalized-kolmogorov-complexity gtm hierarchy-of-structures intelligence-order-relations kolmogorov-complexity lattice-of-theories least-time mathematical-structures physical-structures quantum-computer scott-information-system speed-prior taxonomy-of-structures toe unified-concept-theory universality by scis0000001 on 2006-06-13 10:58:37 as along with 3 people BrendaChng JayDugger Scis0000002

scis0000001's abstract-state-machines [6 articles] Export

scis0000001's tags