CiteULike: scis0000001's partial-order [43 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

	Semantics and Syntax for Ordinal Notations and Hierarchies [My Copy] by Guillaume Bonfante, Adam Cichon, François Lamarche posted to category-of-posets hierarchy partial-order by scis0000001 on 2007-05-06 12:30:48 as
	Integrating Real-Time and Partial-Order Information in Event-Data Displays [My Copy] pp. 157-165. by David J. Taylor, Michael H. Coffin posted to partial-order real-time ui by scis0000001 on 2007-04-29 17:58:40 as
	Partial order reduction for probabilistic branching time [My Copy] by C. Baier, P. D'Argenio, M. Grer posted to branching partial-order probabilistic reduction by scis0000001 on 2007-04-29 17:42:08 as
	Partial order reductions for checking branching properties of time petri nets [My Copy] In Proc. of CS\&P'00, Humboldt University (2000), pp. 189-202. by W. Penczek posted to partial-order reduction by scis0000001 on 2007-04-29 17:38:48 as
	Model Checking of Time Petri Nets Based on Partial Order Semantics [My Copy] In International Conference on Concurrency Theory, Vol. 1664 (August 1999), pp. 210-225. by Burkhard Bieber, Hans Fleischhack edited by Jos C. M. Baeten, Sjouke Mauw posted to model-checking partial-order semantics by scis0000001 on 2007-04-29 17:36:54 as along with 1 person baisemain
	Efficient Incremental Optimal Chain Partition of Distributed Program Traces [My Copy] In ICDCS '06: Proceedings of the 26th IEEE International Conference on Distributed Computing Systems (2006) by Selma Ikiz, Vijay K. Garg posted to partial-order partition by scis0000001 on 2007-04-28 23:42:05 as
	On-line chain partitions of orders [My Copy] Theoretical Computer Science, Vol. 175, No. 2. (1997), pp. 283-292. by Stefan Felsner posted to online partial-order by scis0000001 on 2007-04-28 23:41:23 as
	Toward Question-Asking Machines: The Logic of Questions and the Inquiry Calculus [My Copy] by Kevin H. Knuth posted to boolean-algebra calculus category-theory corpus database domain-theory effective-topos epistemology experiment extensivity iff inductive-inference information-dynamics information-resource information-retrieval information-system information-theory inquiry-calculus ir lattice logics measurement order-theory partial-order partial-order-theory partition probability-theory query question-answering question-asking question-lattice relevance search search-theory semweb separability stone-duality unified-concept-theory by scis0000001 on 2007-04-16 14:48:55 as along with 2 people Scis0000002 Kristoftol
	Similarity and dissimilarity in posets [My Copy] Journal of Mathematical Chemistry, Vol. 18, No. 2. (1995), pp. 321-348. by D. J. Klein posted to dissimilarity partial-order similarity by scis0000001 on 2007-04-16 14:26:20 as
	Clustering pair-wise dissimilarity data into partially ordered sets [My Copy] In KDD '06: Proceedings of the 12th ACM SIGKDD international conference on Knowledge discovery and data mining (2006), pp. 637-642. by Jinze Liu, Qi Zhang, Wei Wang, Leonard Mcmillan, Jan Prins posted to clustering dissimilarity partial-order similarity by scis0000001 on 2007-04-16 14:25:35 as
	Partial Orderings in Chemistry [My Copy] J. Chem. Inf. Model., Vol. 37, No. 4. (28 July 1997), pp. 656-671. by D. J. Klein, D. Babic posted to chemistry order-theory partial-order by scis0000001 on 2007-04-16 14:06:18 as
	Hasse Diagrams and their Relation to Molecular Periodicity [My Copy] : Partial Order in Environmental Sciences and Chemistry (2006), pp. 27-33. by Ray Hefferlin posted to fca order-theory partial-order periodicity by scis0000001 on 2007-04-16 13:59:05 as
	Combining partial order alignment and progressive multiple sequence alignment increases alignment speed and scalability to very large alignment problems. [My Copy] Bioinformatics, Vol. 20, No. 10. (10 July 2004), pp. 1546-1556. by C. Grasso, C. Lee posted to alignment partial-order sequence by scis0000001 on 2007-04-15 15:49:18 as along with 4 people BioNica Neeperando treangen AbnerCYH
	Generalised Prioritisation: A New Way of Combining Similarity Metrics [My Copy] (1999) by A. Ferguson, D. Bridge posted to partial-order similarity by scis0000001 on 2007-04-15 14:58:52 as
	Deriving laws from ordering relations [My Copy] In Bayesian Inference and Maximum Entropy Methods in Science and Engineering, Jackson Hole WY, USA by K. Knuth posted to algebra algorithmic-information-theory information-theory number-theory order-theory ordering partial-order probability-theory by scis0000001 on 2007-04-15 14:30:18 as along with 1 person Scis0000002
	$My PDF felsner_94_fractional.pdf$ On the Fractional Dimension of Partially Ordered Sets [My Copy] DMATH: Discrete Mathematics, Vol. 136 (1994) by Felsner, Trotter posted to dimension partial-order by scis0000001 on 2007-04-14 14:29:41 as
	Phase Transitions in the Evolution of Partial Orders [My Copy] by Hans J. Prömel, Angelika Steger, Anusch Taraz posted to evolution partial-order phase-transition by scis0000001 on 2007-04-14 14:28:07 as
	Searching in Random Partially Ordered Sets (Extended Abstract) [My Copy] by R. Carmo, Et posted to partial-order search searching by scis0000001 on 2007-04-14 14:19:09 as
	Linear extensions of a random partial order [My Copy] (1994) by N. Alon, B. Bollobas, G. Brightwell, S. Janson posted to extension partial-order randomness by scis0000001 on 2007-04-14 14:17:28 as along with 1 person baisemain
	New QSAR Modelling Approach Based on Ranking Models by Genetic Algorithms - Variable Subset Selection (GA-VSS) [My Copy] : Partial Order in Environmental Sciences and Chemistry (2006), pp. 181-217. by Manuela Pavan, Viviana Consonni, Paola Gramatica, Roberto Todeschini posted to partial-order ranking by scis0000001 on 2007-04-14 14:06:48 as
	The essence of ideal completion in quantitative form [My Copy] Theoretical Computer Science, Vol. 278, No. 1-2. (2002), pp. 141-158. by Robert C. Flagg, Philipp Sunderhauf posted to ideal-completion ideals partial-order quantitative trace trace-language traces by scis0000001 on 2007-04-08 14:33:03 as
	Generating Finite-State Abstractions of Reactive Systems Using Decision Procedures [My Copy] In Computer Aided Verification (1998), pp. 293-304. by Michael Colon, Tomas E. Uribe posted to abstracting abstraction causal-state-machine clocked-transition-system domain-theory model-checking partial-order refinement simulation state-space temporal-logic transition-system by scis0000001 on 2007-04-07 13:52:48 as along with 1 person bunge
	Final dialgebras: From categories to allegories [My Copy] Informatique Theorique et Applications, Vol. 33, No. 4/5. (1999), pp. 401-426. by Roland C. Backhouse, Paul F. Hoogendijk posted to algebra allegory-theory category-theory chu-space coalgebra dialgebra generic-programming partial-order relation relational-structures relators universal-algebra by scis0000001 on 2007-04-07 01:32:26 as along with 2 people Scis0000002 marcinzalewski
	Least Reflexive Points of Relations [My Copy] by Jules Desharnais, Bernhard Möller posted to chu-space domain-theory fixed-point generalization lattice monotonicity partial-order reflexive-point relation relational-structures by scis0000001 on 2007-04-07 01:26:01 as
	Partial-order databases [My Copy] (1996) by Darrell R. Raymond posted to database partial-order by scis0000001 on 2007-04-07 01:13:32 as along with 1 person baisemain
	Entropy as a fixed point [My Copy] Theor. Comput. Sci., Vol. 350, No. 2. (February 2006), pp. 292-324. by Keye Martin posted to algorithmic-complexity algorithmic-information-theory algorithmic-probability coding complexity compressibility compression computational-complexity computational-epistemology continuity descriptive-complexity domain-theory entropy event-space fixed-point information information-theory kolmogorov-complexity lattice-theory logics majorization measure-theory order-theory orthogonality parchments partial-order predictability probability-theory process process-theory qualitative quantitative quantum-algorithmic-information-theory quantum-compression quantum-information-theory state-space topological-space total-order universal-prediction by scis0000001 on 2007-03-16 09:53:10 as along with 5 people and 1 group ansobol Scis0000002 algorithmic AbnerCYH rsantana CSBBGraphTheory
	Bayesian Model Selection in Finite Mixtures by Marginal Density Decompositions Hemant Ishwaran, Lancelot F. James, and Jiayang Sun [My Copy] by We C. The posted to bayesian domain-theory iff mixture model-selection partial-order partition space-of-distributions space-of-partitions by scis0000001 on 2007-03-15 14:29:18 as
	$My PDF hubi&\#269;ka_05_universal.pdf$ Universal partial order represented by means of oriented trees and other simple graphs [My Copy] Eur. J. Comb., Vol. 26, No. 5. (July 2005), pp. 765-778. by Jan Hubi&\#269;ka, Jaroslav Ne&\#353;et&\#345;il posted to partial-order by scis0000001 on 2007-03-11 15:47:31 as
	A partial order on classical and quantum states [My Copy] (2002) by B. Coecke, K. Martin posted to partial-order qm quantum-domain-theory by scis0000001 on 2007-02-23 12:54:02 as
	I-categories as a framework for solving domain equations [My Copy] Theoretical Computer Science, Vol. 115, No. 1. (1993), pp. 77-106. by Abbas Edalat, Michael B. Smyth posted to computational-model-theory countability finiteness information-system minimal-sufficient-statistic partial-order reducibility by scis0000001 on 2007-02-18 11:46:24 as
	Quantum Domain Theory - Definitions and Applications [My Copy] (11 Jun 2003) by Elham Kashefi posted to computability-theory decoherence domain-theory interactivity partial-order powerdomains qait qifs qip qit qm quantum-algorithmic-information-theory quantum-domain-theory quantum-field-computation quantum-field-computing quantum-games quantum-information-theory quantum-institutions quantum-logics quantum-semantics by scis0000001 on 2007-02-05 13:35:13 as along with 1 person Scis0000002
	Combining Partial Order and Symmetry Reductions [My Copy] In Tools and {A}lgorithms for the {C}onstruction and {A}nalysis of {S}ystems (1997), pp. 19-34. by E. A. Emerson, S. Jha, D. Peled edited by E. Brinksma posted to compression partial-order reducibility reduction symmetry by scis0000001 on 2007-02-04 16:39:36 as
	A Hierarchy of Partial Order Temporal Properties [My Copy] In ICTL (1994), pp. 398-414. by Marta Z. Kwiatkowska, Doron Peled, Wojciech Penczek posted to temporal partial-order hierarchy by scis0000001 on 2007-02-04 16:10:02 as
	A partial order on classical and quantum states [My Copy] (2002) by B. Coecke, K. Martin posted to qm partial-order by scis0000001 on 2007-02-01 14:43:17 as
	Ideal Models of Spaces [My Copy] by Keye Martin posted to algebraicity category-of-ideals chu-space countability domain-theory enumerability ideal-domains ideal-models ideal-partial-orders ideals metrizability order-theory partial-order quantitative-domain-theory self-similarity semantics topological-space topology by scis0000001 on 2007-01-30 10:10:36 as
	Branching Time and Partial Order in Temporal Logics [My Copy] No. UMCS-91-3-3. (1991) by Wojciech Penczek posted to temporal-logic partial-order branching-time by scis0000001 on 2007-01-30 10:04:54 as
	Modal and Temporal Operators on Partial Orders [My Copy] by Bernhard Möller posted to temporal-logic temporal semantics quantitative partial-order modal-logic logics ideal-domains domain-theory by scis0000001 on 2007-01-27 13:46:16 as
	Patterns of synchrony in lattice dynamical systems [My Copy] Nonlinearity, Vol. 18, No. 5. (September 2005), pp. 2193-2209. by Fernando Antoneli, Ana P. Dias, Martin Golubitsky, Yunjiao Wang posted to concurrency dynamical-system formation lattice partial-order pattern synchrony time by scis0000001 on 2007-01-06 15:19:46 as
	Computabilitytheoretic and proof-theoretic aspects of partial and linear orderings [My Copy] by R. Downey, D. Hirschfeldt, S. Lempp, R. Solomon posted to computability-theory linear-order partial-order proof-theory total-order by scis0000001 on 2007-01-03 13:19:33 as
	Partial Order Logic Programming [My Copy] No. 93-40. (March0, 1993) by Bharat Jayaraman, Mauricio Osorio, Kyonghee Moon posted to polp partial-order-programming partial-order lp lattice domain-theory by scis0000001 on 2006-12-12 10:06:56 as along with 1 person baisemain
	Theory of partial-order programming [My Copy] Science of Computer Programming, Vol. 34, No. 3. (1999), pp. 207-238. by Mauricio Osorio, Bharat Jayaraman, David A. Plaisted posted to declarative-programming domain-theory lattice mathematical-programming partial-order partial-order-programming by scis0000001 on 2006-12-12 10:00:54 as along with 1 person baisemain
	Lazy completion of a partial order to the smallest lattice [My Copy] (1997) by K. Bertet, M. Morvan, L. Nourine posted to lattice mdl partial-order simplicity by scis0000001 on 2006-11-25 14:01:22 as
	Hierarchies of generalized Kolmogorov complexities and nonenumerable universal measures computable in the limit [My Copy] (2002) by J. Schmidhuber posted to algorithmic-information-content algorithmic-information-theory computational-epistemology generalized-algorithmic-probability generalized-fractal-dimension generalized-kolmogorov-complexity incompleteness kolmogorov-complexity order-theory paraconsistency partial-order qait total-order by scis0000001 on 2006-09-21 16:31:47 as

scis0000001's partial-order [43 articles] Export

scis0000001's tags