CiteULike: scis0000001's abstract-machine [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	1
layout	1
ld	1
learnability	1
learning-by-example	1
least-common-subsumer	1

	Mathematical Foundations for Program Transformations [My Copy] In LOPSTR '98: Proceedings of the 8th International Workshop on Logic Programming Synthesis and Transformation (1990), pp. 319-321. by Rahma B. Ayed, Jules Desharnais, Marc Frappier, Ali Mili posted to abstract-machine combination composition compositionality computability-logic computational-science constructive formal-development formal-science hetcasl heterogeneity hets iff logics matching program program-adaptation program-transformation programming proof proof-transformation software-incrementation software-merging specification transformation unified-concept-theory by scis0000001 on 2007-05-15 09:29:13 as along with 1 person Scis0000002
	Computational universes [My Copy] ArXiv Physics e-prints (May 2003) by K. Svozil posted to abstract-machine computational-science modeling by scis0000001 on 2007-05-13 00:50:33 as along with 1 person Scis0000002
	On the Need for a Neural Abstract Machine [My Copy] In Sequence Learning - Paradigms, Algorithms, and Applications (2001), pp. 135-161. by Diego Sona, Alessandro Sperduti posted to abstract-machine neural by scis0000001 on 2007-05-13 00:10:44 as
	The chemical abstract machine [My Copy] In POPL '90: Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (1990), pp. 81-94. by Gerard Berry, Gerard Boudol posted to abstract-machine chemical by scis0000001 on 2007-05-13 00:01:11 as along with 8 people fierykylin robotact mstone cogumbreiro erikgarrison bfraser pedagand mperalta
	Alternative Computational Models: A Comparison of Biomolecular and Quantum Computation [My Copy] In Proceedings of the 18th Conference on Foundations of Software Technology and Theoretical Computer Science (1998), pp. 102-121. by John H. Reif posted to abstract-machine computation computing models-of-computation by scis0000001 on 2007-05-12 23:35:09 as
	The categorical abstract machine [My Copy] Sci. Comput. Program., Vol. 8, No. 2. (April 1987), pp. 173-202. by G. Cousineau, P. L. Curien posted to abstract-machine caml categorical-abstract-machine sml by scis0000001 on 2006-12-29 14:24:46 as along with 8 people and 2 groups jespera LeonSmith mahler msakai bonotake mstone rgb devnull Rightscom pileWorks

scis0000001's abstract-machine [6 articles] Export

scis0000001's tags