CiteULike: scis0000001's algebraic-structures [7 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<

	Chu spaces as a semantic bridge between linear logic and mathematics [My Copy] Theor. Comput. Sci., Vol. 294, No. 3. (February 2003), pp. 439-471. by Vaughan Pratt posted to algebraic-structures algebraicity algorithmic-information-theory algorithmic-statistics all-algebraic-categories all-algebraic-structures all-relational-structures all-small-categories category-theory chu-space computability-logic conceptual-structures discrete-geometry fca information-distance interactivity lattice linear-logic logical-information-system mathematical-structures mathematics relational-structures representation semantics stone-gamut transformation unified-concept-theory by scis0000001 on 2007-05-16 08:24:14 as along with 1 person isotelesis
	Uniform Representation of Basic Algebraic Structures in Computer Algebra [My Copy] In Design and Implementation of Symbolic Computation Systems (1996), pp. 202-203. by Carla Limongelli, Giuseppina Malerba, Marco Temperini posted to algebraic-structures specification by scis0000001 on 2007-05-15 14:50:10 as
	Arbitrary Relations in Formal Concept Analysis and Logical Information Systems [My Copy] : Conceptual Structures: Common Semantics for Sharing Knowledge (2005), pp. 166-180. by Sã©bastien Ferrã©, Olivier Ridoux, Benjamin Sigonneau posted to algebraic-structures all-algebraic-structures all-relational-structures chu-space fol information-system logical-information-system monotonicity relational-structures relations unified-concept-theory by scis0000001 on 2007-01-19 18:03:31 as along with 1 person Scis0000002
	The Uniform Representation of Mathematical Objects By Truncated Power Series. [My Copy] by Carla Limongelli, Marco Temperini posted to algebraic-structures coding hierarchy-of-structures mathematical-objects mathematical-structures power-series representation by scis0000001 on 2006-11-27 14:46:06 as
	Computability, Definability and Algebraic Structures [My Copy] by Rod Downey posted to algebraic-structures computability definability by scis0000001 on 2006-09-30 15:12:19 as along with 1 person Scis0000002
	On Presentations of Algebraic Structures [My Copy] In Complexity, Logic, and Recursion Theory, Marcel Dekker, Inc. (1997) by Downey posted to algebraic-structures presentation by scis0000001 on 2006-09-30 15:11:29 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

scis0000001's algebraic-structures [7 articles] Export

scis0000001's tags