|
Home
News
Citegeist
|
Browse Groups
Search Groups
Journals
|
FAQs
Howto
Discussion
|
![]() |
CiteULike |
![]() |
CiteULike |
![]() |
![]() |
State Property Systems and Closure Spaces: Extracting the Classical and Nonclassical Parts |
Reviews
[Write a review of this article]
There are no reviews of this article
Find related articles from these CiteULike users
Find related articles with these CiteULike tags
Posting HistoryNEW
AbstractWe introduce classical properties using the concept of super selection rule, i.e. two properties are separated by a superselection rule iff there do not exist 'superposition states' related to these two properties. Then we show that the classical properties of a state property system correspond exactly to the clopen subsets of the corresponding closure space. Thus connected closure spaces correspond precisely to state property systems for which the elements 0 and I are the only classical properties, the so called pure nonclassical state property systems. The main result is a decomposition theorem, which allows us to split a state property system into a number of 'pure nonclassical state property systems' and a 'totally classical state property system'. This decomposition theorem for a state property system is the translation of a decomposition theorem for the corresponding closure space into its connected components.
BibTeX record
RIS record2-categorical 2d 2-toposes 3d 3-lisp 3-manifold 4d abduction abductive abductive-inference absolute-motion abstracting abstraction abstract-machine abstract-neural-machine abstract-state-machines acceptability access accessibility accessible ace acoustic acquisition active-learning activeweb activity activity-based adaptability adaptation adaptive adaptive-object-models adaptivity adeles adelic adelic-space adjoint adjoint-functors adjunctions adl ads-universe aggregation aging ait aixi al algebra algebraic algebraic-domain algebraic-domains algebraic-dynamics algebraic-geometry algebraic-hierarchy algebraicity algebraic-lattice algebraic-manifold algebraic-model algebraic-process-theory algebraic-semiotics algebraic-structure algebraic-structures algebraic-theories algebraic-theory algebras algorithm algorithmic algorithmic-complexity algorithmic-information-content algorithmic-information-theory algorithmic-model-theory algorithmic-probability algorithmic-statistics algorithm-selection algorithm-theories algorithm-visualization alignment all-algebraic-categories all-algebraic-structures all-computational-structures allegory-theory all-logical-structures all-logical-theories all-mathematical-structures allocating allocation all-physical-structures all-possible-universes all-relational-structures all-small-categories alphabet alternation analogy analysis animation anisotropic anisotropy annotating annotation anthropic-principle anticipation anti-deterministic anti-intuitionistic anti-matroid anti-self-dual aop aose api applications approximable-concepts approximating approximation approximation-order ar arbitrage arbitrage-pricing-theory arbitrary-measure architecture archive argumantation argumentation argumentation-theory argumenting artificial-immune-system artificial-physics asm aspects aspectscode assembly asset-graph asset-lattice asset-network asset-space asset-tree assistance assistant association-graph association-rule association-rules assom astronomy asymmetric asymmetric-information asymmetry asymptotic asynchronous atomisticity atp attention attractor attractor-reconstruction attribute-exploration auction auctions auction-theory augmenting authoring automat automata automated-modeling automatic automatic-structures automating automation automorphism autonomic-computing autonomous-category auto-organizaiton autoresonant autowaves axiom axiomatic-domain-theory axiomatic-system axiomatisation axiomatizability axiomatization axiomatizations axiomatizing bagging baire-space baker-map banach-lattice banach-space basis bayesian bayesian-network bayesian-sequence-prediction behavior behavioral behavioral-rewriting behavior-space behaviour belief-networks beliefs benchmark benford-law besov besov-space betting bianchi-classification bias bibliography bidirectionality bifurcation binary binary-dihedral-groups binary-icosahedral-group binary-icosahedral-space binary-octahedral-group binary-octahedral-space binary-physics binary-tetrahedral-group binary-tetrahedral-space biodiversity biology biophysics biops bisimulation bitmap bit-string bit-string-physics black-hole blending-theory blend-space blockworld boolean-algebra boolean-dissimilarity boosting bootstrapping bottom-up boundary bounded-complete-models bounds branching branching-time branching-time-temporal-logic branes breaking browser browsing budgeting business business-development business-model business-process business-process-space business-rules buy-and-hold bv by-example ca caching cad calculation calculational calculational-proofs calculus calculus-of-constructions calculus-of-structures calendar c-algebra c-algebras call-graph caml canonical-correlation-analysis cantor-set cantor-space capacity capm carcinogenesis cardinality cartesian-closed-categories cascade case-based case-based-reasoning cash-flow casimir-effect casl catastrophe-theory categorial categorial-theories categorical categorical-abstract-algebraic-logic categorical-abstract-machine categorical-logic categorical-models categorical-model-theory categorical-proof-theory categorical-semantics categorical-systems-theory categorical-theories categorification categorified-algebra categorization category category-of-algebras category-of-categories category-of-complete-lattices category-of-formal-contexts category-of-fuzzy-sets category-of-ideals category-of-information-systems category-of-languages category-of-modules category-of-patents category-of-posets category-of-programs category-of-signatures category-of-specifications category-of-structure-types category-of-stuff-types category-of-systems category-of-theories category-theory cathegory-theory causality causal-minimisation causal-state-machine cavity cbr ccp cct cellular cellular-automata cellular-network centralized central-limit-theorem cg chains change channel-theory chaos chaos-control chaos-theory chaotic chaotic-wave-function charters checking chemical chemistry chip-firing-games chronological-minimisation chu chu-space cip circuitry citation citations class-hierarchy classicality classical-limit classical-logic classical-phase-space classification classification-rules classifier classifying-categories clifford-algebra climate clique cliques clocked-transition-system closed-categories closure closure-lattice closure-space closure-structures clp cluster- clustering clusteringstreams cmb coalgebra coalition coalition-formation coarse-graining code code-space coding coding-theory coevolution co-evolution coevolving cognition cognitive-agents cognitive-computing coherence coherence-analysis coherent-state coinductive-rewriting colimit collaboration collaborative collaborative-argumentation collaborative-filtering collaborative-problem-solving collective collision collision-detection combination combinatorial combinatorics combinators combinatory-logic combining committed-choice common-lisp common-sense communication communities community commutative commutativity comonotonicity compact-metric-space compactness comparison compensation competition competitive compiler compiling complementarity complete complete-axiomatization completeness complete-partial-order completion complex-dimensions complexity complexity-oscillations complexity-theory complextity component components composing composite-kernel composite-web-service composition compositionality compoundness compressibility compressing compression compuatational-structures computability computability-logic computability-theory computable computable-analysis computable-language computable-structures computation computational computational-algebraic-geometry computational-biology computational-category-theory computational-complexity computational-cosmology computational-economics computational-effects computational-eistemology computational-epistemology computational-finance computational-learning computational-legal-sciences computational-logic computational-mathematics computational-mechanics computational-model-theory computational-narratology computational-neuroscience computational-physics computational-science computational-semiotics computational-sociology computational-statistics computational-structures computational-structure-theory computational-universality computing concept concept-formation concept-lattice concept-map concept-programming conceptual conceptual-space conceptual-structures concurrency concurrent conditionality conditional-probability conditioning configuration configuration-space configuration-structures confinement conflict conformal confusability-matrix conjecture connectedness connection connectionism consciousness consensus conservation consistency constant constraint constraints construction constructive constructive-category-theory constructive-hausdorff-dimension constructive-logic constructive-proof consumption context context-logic context-model context-relativity context-selection contextuality contextualization contextual-reasoning contimuum continued-fraction continuity continuous continuous-information-system continuous-query contracting contracts contradiction contravariance control control-flow control-flow-graph control-language convexity cooperation cooperative coordination coordinator corpus corrections correlation correlations correspondence corruption cosmological-constant cosmological-parameters cosmological-scale cosmological-theory cosmology cost costing countability counterexample counter-example counterexamples coupled coupling covariance cpo crash creativity crisis critical-behavior critical-exponent criticality critical-path critical-path-horizon critical-phenomena critical-phenomenon critics crosscutting cross-product crowdsourcing csp ct cultrual-evolution cultural-evolution culture cumulator curry-howard curry-howard-isomorphism curvature curve cybernetics cyclic-groups dag data database database-of-categories data-detector data-mining data-model datrix db dcsp deadlock debugging decategorification decentralized decidability decidable decidable-structures decidable-theories deciding decision decision-diagram decision-procedure decision-support decision-theory decision-tree declarative-programming decoherence decomposition decompressibility decompressing deduction deep-inference default default-logic default-reasoning default-theory defeasibility defeasible defeasible-logic defect definability deforestation deformation delay delocalization delooping democracy dendrogram dependency derivation derivative derived-categories description descriptive-complexity design design-lattice design-process design-space design-theory desires desktop desynchronization detection detector determinism detrended-fluctuation-analysis dev development development-graph diagonalization diagram diagram-chasing diagrammatic diagrammatic-inference diagrammatic-reasoning dialgebra dialogue diffeomorphism differential-equations differential-geometry diffusion diffusion-waves digital-circuits digital-library digraph dilemma dimension dimensional-analysis dimensionality dimensionality-reduction dimensional-stacking dimension-theory directed-percolation direct-inference direct-manipulation disambiguation discourse discovery discrete discrete-differential-geometry discrete-geometry discreteness discrete-scale-invariance discrete-self-similarity discrete-space discrete-time-mechanics discretization disjunctive-sequences disorder disordering dissimilarity dissipative distance distance-lattice distance-matrix distinguishability distrbution distributed distribution distributional-semantics distributive-lattice distributivity divergence diversity divide-and-conquer divisibility dl dla dna document document-development dodecahedral dodecahedral-space domain-logic domains domain-selection domain-theory dominance double-pareto-distribution double-pareto-lognormal-distribution drafting drift dsms dt dual-ideals duality dynamic dynamic-algebras dynamical-invariants dynamically-expanding-context dynamical-system dynamic-analysis dynamics ea earthquake ebusiness e-business ecology economics economic-space econophysics editor edutainment effect effective-model-theory effective-topos effects efficiency eigenmode eigenmodes eigenproblem eigenvalue eigenvector eis elementary-particles embeddedness embedding embedding-theorem embedment emergence emergent empty-set endogeneous endogenous end-user-programming energy engineering enriched-category enriched-category-theory enrichment ensemble entailment-relation entanglement enterprise enterprise-portfolio entropy entropy-change enumerability enumerative environment eom epimorphism epistemology epsilonmachine epsilon-machine equation equational equational-logic equations equilibrium equilogical-space equivalence equivalence-class ergodicity ergonomics error e-science estimating evaluation evaluator event events event-space event-structure event-structures evidence evolution evolutionary evolutionary-spectral-analysis evolvability evolving evolving-algebras executability executable executable-model executing execution execution-graph exogeneous exogenous experience experiment experiment-lattice experiments expertise experts expert-system explanation exploitation exploiting exploration exploring exponential expressiveness extended-self-similarity extensibility extension extensive extensivity extraction extremal extremal-dynamics extremum facets factorization fastest fast-forward fault-tolerance fca feature-extraction feature-selection feature-space federation feedback feynman-diagram fibrations fide field fields field-theory filter filtering finance financing finitary-stochastic-hierarchy finite finite-model-theory finiteness first-principles fitting-semantics fixed-point flow floyd-warshall-algorithm fluctuation fluctuations focus fol folksonomy force-feedback forgetting formal formal-axiomatization formal-category-theory formal-concept formal-context formal-development formal-development-environment formalisation formalism formalization formalizing formal-language formal-language-theory formal-mathematics formal-methods formal-model formal-philosophy formal-science formal-string-theory formal-system formal-theory formation fot fractafold fractal fractal-brownian-motion fractal-compression fractal-connectivity fractal-dimension fractal-evolution fractal-geometry fractal-hilbert-space fractality fractal-lattice fractal-matrix fractal-measure fractal-phase-space fractal-prior fractal-process fractal-qm fractals fractal-space fractal-substrate fractal-universe fracton fractons fragment frame-dragging frames framework frequency fsa fsm ft function functionality functional-programming functor functoriality functors funtional-programming fuzzy fx galactic-scale gale gales galois-connection galois-frame game games game-theory gaps gas gauge gauge-theory gaussian gaussian-process generalised-schroedinger-equation generalizability generalization generalized generalized-algebra generalized-algorithmic-probability generalized-dimension generalized-fractal-dimension generalized-fractal-transforms generalized-hilbert-space generalized-inner-product generalized-inner-product-space generalized-kernel generalized-kolmogorov-complexity generalized-metric-space generalized-partial-computation generalized-quantum-field-theory generalized-quantum-mechanics generalized-quantum-theory generalized-schroedinger-equation generalized-statistical-mechanics generalized-ultrametric-space generalizing general-logic-diagrams general-logics general-loss general-systems-theory generating generation generative generative-model generator generic-programming genetic-programming genome geodesics geography geometric geometrodynamics geometry global global-scaling global-synchrony goal-oriented goals goedel-machine goldstone-boson gr gradient grammar granular granularity granular-partition graph graph-model graphs graph-theory graviton gravitons gravity gravity-waves greechie-diagram grid group groupoid group-theory growing growth growth-model growth-optimal gtm hamilton hamiltonian hardware harmonic harmonic-analysis hashing haskell hasse-diagram hausdorff-dimension hci hd hda health hedging helicity herding hetcasl heterogeneity heterogeneous-reasoning hets heyting-algebra hierarchical hierarchical-clustering hierarchical-language-model hierarchical-network hierarchy hierarchy-of-structures hierarchy-of-theories hierarchy-of-universality-classes hierarchy-theory high-dimensional higher-category-theory higher-dimensional-algebra higher-dimensional-category-theory higher-dimensional-topos-theory higher-topos-theory high-performance hilbert-curve hilbert-lattice hilbert-space hirarchy histogram hm-svm hoare-power-domain hol holographic holographic-principle holography home homeomorphism homogeneous homology homotopy homotopy-group homotopy-theory human-genome-project hybrid hybrid-system hyperbolic hypercomplex hypercomputation hyperdoctrine hyper-economy hyperefficiency hypergraph hypergraphs hyperlink hypermedia hypernetwork hypernetworks hyperreal hyperset hypersimple hypersimplicity hyperspace hyperspectral hypothesis-testing ide ideal-completion ideal-domains ideal-models ideal-partial-orders ideals ideal-streams identification identity iff ifs iifs ilp image imitation implementation implementing impossibility imps incomplete incomplete-information incompleteness incompressibility inconsistency inconsistent-domain-theory incremental incremental-learning index indexed-categories indexing indistinguishabilities indistinguishability induction inductive-inference inductive-logic-programming inertia inerton inertons inference inference-dynamics inferencer inferencing infinitary-deduction infinite infinite-alphabet infinite-computations infinite-formal-context infinite-sequence influence inforamtion-extraction information information-distance information-dynamics information-extraction information-flow information-geometry information-loss information-physics information-resource information-retrieval information-space information-state information-system information-theory information-visualization inheritance inheritance-hierarchy inhomogeneous inner-product-space innovating innovation innovation-theory inputs input-space inquiry-calculus instability instanton institutions insurance integer integer-partitions integers intelligence-order-relations intentional intentions interacting interaction interactive interactive-computation interactive-epistemology interactive-mathematics interactivity interest-rates interface interference intermittency internal-model interoperability interpretation interpreter intersection intertheory interval intraday intuitionism intuitionistic intuitionistic-logic invariance invariant inventing invention invention-theory inversion investing investment investment-strategy investment-strategy-space investment-theory invocation ir irregularity irreversibility isabelle isomorphism iterated iteration iterative itp its java just-in-time kam-theory kb kernel kernel-based-methods kernel-function kernel-matrix kernel-methods kernel-pca kernel-selection km knots knowledge knowledge-based-methods kolmogorov-complexity kolmogorov-structure-function ksf lab language language-model language-theory large-scale large-scale-structure lattice lattice-of-closures lattice-of-equivalence-classes lattice-of-experiments lattice-of-features lattice-of-formulas lattice-of-patents lattice-of-properties lattice-of-specifications lattice-of-statements lattice-of-theories lattice-theory layout lca ld learnability learning learning-by-example least-action least-common-subsumer least-model-semantics least-time legal legal-norm legal-system legal-systems legal-theories lexical-acquisition l-function lgoics library life lifelong lifting limit-order linear linear-combination linearity linearization linear-logic linear-order linear-temporal-logic linear-time-temporal-logic linguistic linguistics linking liquidity local locale locales local-experts locality localization locally-compact-space location logarithmic-loss-unpredictability logic logical logical-depth logical-environment logical-framework logical-graph logical-information-system logical-structures logical-theories logic-engine logics lognormal log-periodic log-periodicity long-range long-range-correlation long-term loop loop-quantum-cosmology loop-quantum-geometry low-dimensional lp lqcd lstm ltag ludics lyapunov-exponent machine-learning macroeconomics macro-quantum-mechanics macroscopic majorization managed-logic management managing manifold many-body many-body-quantum-field-theory many-to-many many-valued mapping market marketing markets market-space markov-chain markov-process markup martingale mas matching mathbus mathematical mathematical-objects mathematical-programming mathematical-reasoning mathematical-structures mathematics mathml matrix matrix-string-theory matrix-theory matroids matter maude maximal-elements maximum maximum-entropy mda mdl meaning meaning-space measurability measure measurement measurements measurement-theory measures measure-theory mechanics mechanized mechanizing medium mell memory memory-evolutive-system memory-evolutive-systems mental-models mental-space mereology mereotopology merging mesomery mesoscopic meta-analysis metacomputation metaeconomics metaevolution metainference metainterpreter metalogic metalogical metalogic-programming metalogics metamathematics metamodel metamodeling metamodelling metamodel-selection metaphor meta-probability metaprocess metaprogramming metareasoning metascience metasearch metastability metastable metatheory method methodology metric metrics metric-space metric-temporal-logic metrizability michelson-morley-experiment microeconomics middleware minimal minimal-spanning-tree minimal-sufficient-statistic minimax-redundancy minimax-regret minimization minimum minimum-spanning-tree minimum-sufficient-statistic mining minsep mixed-initiative mixed-states mixture mizar mkm mll mobile mobility modality modal-logic model model-based model-checker model-checking model-complexity model-extension modeling modeling-theory modelling model-selection models-of-computation model-theory modifier modular modularisation modularity modularization modulation module molecular molecular-dynamics monadic-logic-of-order monads monitoring mono-fractal monoidal monoidal-closed-categories monoids monotonic monotonicity morphism morphisms morphological motion mpeg-7 mst m-theory multiarmed-bandit multi-context-sytem multidimensional multi-dimensional multifacility multifractal multi-fractal multifractal-evolution multifractality multi-label multilanguage multilevel multi-level multimedia multimodal multi-objective multiple-categories multiresolution multi-resolution multiresolution-analysis multi-resonance multiscale multi-scale multiset multisource-algorithmic-information-theory multi-tier-applications multiverse multiwavelets music mutual-information mv-algebra n-adic named-entity nanostructures narration needs negative-entropy negative-information negotiation network network-analysis network-of-theories networks network-theory neural neural-network neural-symbolic neuroergonomics neuroscience news n-information-system nlg nlp nl-svm nmf nodal-domains no-free-lunch no-global-scaling noise non-archimedean nonassociativity noncentral-limit-theorem non-classical nonclassicality non-classicality noncommutative non-commutative noncommutative-differential-geometry noncommutative-geometry noncommutativity non-commuting nonconformal non-cooperative non-determinism nondifferentiability nondifferentiable nonequilibrium non-equilibrium non-experts nonextensive nonextensive-statistics nonextensivity nongaussian nonintegrable noninterference nonlinear nonlinearity non-linearity nonlinear-time-series nonlocal nonlocality nonmonoticity nonmonotonic nonmonotonicity non-negative non-negative-matrix nonparametric non-perturbative non-probabilistic non-probabilistic-statistics non-relativistic nonstandard non-standard-analysis nonstandard-analysis nonstationarity nonstationary non-stationary non-ultrametric non-unitarity non-unitary normal-form normalization normalizing normal-mode noun novelty np-completeness ntraday nts numbers number-theory numerical-qft nuprl oai objectification objectivism object-oriented obligations observability observable observables observation occam-razor occam-selector occurrence-net ocl octahedral odp of omega-categories one-to-many online on-line online-algorithm ontogenetic-growth ontology ontology-development ontology-space ood oops open-formula openmath open-source open-system operads operational operational-domain-theory operational-semantics opinion opponent optimal optimal-embedding optimality optimization options oracles order order-book ordering orderparameter order-theory organization-theory originality orthoalgebra orthoarguesian orthogonality ortholattice orthomodularity orthomodular-lattice oscillating oscillation oscillations oscillons overlap overlapping owl p-adic pairwise paraconsistency paraconsistent paraconsistent-logic paradox parallel parallelism parallelity parallelization parallelizing parallel-model parameter parameterisation parameterized-programming parameter-selection parameter-space parametric parametric-homogeneity parametricity parametric-model parametrized parchments pareto parsing partation partial partial-evaluation partial-information partial-order partial-order-programming partial-order-theory particle particles partition partitioning partitions part-whole patent patent-classification patent-development patent-generation patenting patent-lattice patents patent-space patent-specification patent-strategy patent-theory path path-horizon path-integral path-selection pattern patterns pedagogical perception percolation percolation-theory perfect-model-semantics performance periodic periodicity periodic-law periodic-orbit periodic-table perodic-table personalization personalizing petaflops petri-net phase-space phase-transition phenomena philosophy photosynthesis physical physicalized-mathematics physical-structures physics physioeconomics pim plagiarism plan planck-scale planning plan-recognition plans plasma plp plural-quantification plurals poincare-dodecahedral-space pointer pointfree poisson-process politics polo-distribution polp polyadic-concept-analysis polyhedra polyhedral polyhedrization polyhedrons polymer polymorphic polymorphism polynomial polynomial-dynamical-systems polynomials pomdp pooling population population-dynamics portfolio portfolio-selection portfolio-theory portofolio positioning possibilistic pos-tagging potential power powerdomain powerdomains power-law power-series precategory predicate-logic predictability predictablility predicting prediction prediction-market preference prefix-point prequential presentation presenting preservation presheaves pricing priestley-space prime prime-number primes primordial principal-agent-theory prior privacy proactive probabilistic probabilistic-svr probability probability-distribution probability-theory problem problem-oriented problem-solving process process-algebra process-analysis processing process-model process-oriented process-space process-support process-theory product product-classification product-development production production-system productivity product-lattice product-line program program-adaptation program-extraction program-inversion programming programming-by-example programming-language program-space program-transformation project projective-space proof proof-complexity proof-lattice proof-lattices proof-net proof-procedure proof-reuse proof-search proof-space proof-theory proof-transformation proof-tree propagation property-lattice proposition prosperity protein protein-structures protocol prototype prototyping psm pulsars pulse-trains pvs qa qait qcd qcsp q-deformation qed qft qifs qip qit ql qm qos qt qualitative qualitative-modeling qualitative-physics qualitative-simulation quality quantale quantaloids quantifying quantitative quantitative-domain-theory quantitative-temporal-logic quantization quantu- quantum quantum-3-manifold quantum-algorithm quantum-algorithmic-information-theory quantum-automaton quantum-channel quantum-chaos quantum-chaotic-attractor quantum-chemistry quantum-classical quantum-clock quantum-code quantum-coding quantum-coherence quantum-compression quantum-computational-epistemology quantum-computer quantum-computing quantum-control quantum-cosmology quantum-critical-phenomena quantum-deformation quantum-dodecahedron quantum-domain-theory quantum-dynamics quantum-entanglement quantum-epistemology quantum-field-computation quantum-field-computing quantum-field-theory quantum-fluctuation quantum-fractals quantum-gales quantum-gambling quantum-game quantum-games quantum-geometry quantum-graph quantum-graphs quantum-gravity quantum-hall quantum-information quantum-information-theory quantum-institutions quantum-iterated-function-system quantum-kolmogorov-complexity quantum-logic quantum-logics quantum-mechanics quantum-memory quantum-mereotopology quantum-octahedron quantum-path quantum-phase-space quantum-potential quantum-probability-theory quantum-process-algebra quantum-process-theory quantum-quotient-space quantum-semantics quantum-space quantum-tetrahedron quantum-theory quantum-topos quantum-transport quantum-tunneling quantum-universe quantum-vacuum quantum-vacuum-field quarks quasicrystal quasi-metric quaternionic query querying question-answering question-asking question-lattice queueing-theory quotient-space r random random-access random-field random-matrix-theory randomness random-network random-programs random-tree random-walk ranking rational rationality rd rdb rdf reactive realizability realizer real-numbers real-time real-time-computing reasoning reasoning-dynamics recession recognition recommendation reconstructing reconstruction recovery recurrence recurrence-plot recurrence-quantification-analysis recurrent recursion redshift reducibility reduction reengineering refactoring refinement refining reflection reflective reflexion reflexive-point region region-algebra regression regularity regularization regular-language regular-lattice reification reinforcement-learning relation relational relational-biology relational-concept-analysis relation-algebra relational-physics relational-structures relation-graph relations relative-entropy relativistic relativistic-information relativity relators relaxation relevance relevance-feedback relevant-logic reliability remote-execution rendering renormalization representation requirements requirements-analysis rescaling research resolution resonance resource resource-allocation resource-bounded resources retrieval reusability reusable reuse reverse-engineering reverse-mathematics reversibility reversible-computation revision rewriting rewriting-calculus rewriting-logic rewriting-logic-institution riemann-zeta-function risk risk-management rmas rm-odp robotics robustness root-systems rosetta-stone rotating rotation r-qm rsoc rt r-tree rugged-surface rule-base rules runtime run-time safety sampling sandpile-models s-arrangements satisfaction satisfiability scalability scalable scale scale-free scale-free-network scale-hierarchy scale-invariance scale-relativity scale-space scale-symmetry scaling scaling-exponent scarcity scene schedules schrodinger-equation schroedinger-equation scide science scientific scientific-community scientific-discovery scientific-method scientometrics scis0000001 sciwm scott scott-domain scott-information-system scripting search search-engine searching search-space search-theory segmentation segmenting selecting selection selectivity selector self-adaptation self-adaptive self-analysis self-assembly self-assessment self-avoiding-walk self-awareness self-calibrating self-collisions self-dissimilarity self-dual self-duality self-evaluation self-information self-interaction self-managing self-optimization self-organisation self-organizaiton self-organization self-organized-criticality self-reference self-segmentation self-similar self-similar-evolution self-similarity self-similarity-analysis self-similarity-matrix self-similar-process self-similar-space semantic-domains semantic-equivalence semantics semantic-similarity-matrix semantic-space semanticweb semantic-web semdesk sementics semicomputability semigroup semigroup-kernels semiotics semiotic-space semiring semi-self-decomposability semi-self-similarity semistructured semi-structured sempub semquery semweb sentence separability separator seperability sequence sequence-prediction sequencing sequentiality service set sfn shape shape-theory sheaf sheaf-theory sheaves sheav-theory shortest shortest-path short-term sierpinski-carpet sierpinski-gasket sierpinski-triangle signal signatures similarity similarity-matrix similarity-metric similarity-network simplicial-complexes simplicity simulation simultaneity situated situation situation-theory size sketches sketching sketch-theory slicing small-screen small-world small-world-network sml smyth-power-domain snippet soa soc social-dynamics social-network social-norms society socioeconophysics sociology sociophysics softwae-development software software-analysis software-architecture software-development software-engineering software-evolution software-exploration software-incrementation software-merging software-metric software-structures software-visualization solenoids soliton solitons solution-space solvability som sorting sos source-code space space-filling space-of-distributions space-of-investment-strategies space-of-partitions space-of-probability-distributions space-of-processes space-of-programs space-of-proofs space-of-streams space-of-theories space-time space--time sparse-approximation spatial spatial-logic spatio-temporal specialization specializer specification specification-lattice specifications specifications-lattice specificattion specifying spectral-action-principle spectral-decomposition spectral-theorem spectral-theory spectrum speed speed-prior spherical spherical-harmonics spherical-homogeneous-space spinfoam spin-glass spiral spread spreading-activation-network spreadsheet stability stable-domain-theory stacks standard-ml standard-model standards standing-waves star state-context-property-system state-machine state-property-system state-space static static-analysis stationarity statistical statistical-mechanics statistical-physics statistics stellar-scale stochastic stochastic-process stochastic-resonance stone-duality stone-gamut stone-space storytelling strategies strategy streaming streams string stringification string-theory structuralism structure structure-functions structures subjectivity submanifold subprobability subspace substitution substrate substructural sufficiency sufficient-statistic suggester summarization summarizing supercategories supercompilation supercompiler superconductivity superduality supergale supergales superposition superresolution superselection superstable-theories supersymmetry support supporting surface surfaces survey survivability svm switching swn symbolic symbolic-computation symbolic-dynamics symbolic-execution symbolic-space symbolism symmetry symmetry-breaking synchronization synchronization-tree synchronous synchrony syntax synthesis synthesizing synthetic-differential-geometry synthetic-domain-theory system-development system-identification systems-theory system-theory t3-space tactical tagging task-allocation task-based task-oriented tautology taxanomy taxonomy taxonomy-of-structures taxonomy-of-theories tca technical-analysis technology temperature temporal temporal- temporal-concept-analysis temporal-graph temporalizing temporal-logic temporal-logic-institution temporal-relevant-logic tensor termination terminology term-rewriting ternary ternary-algebras test testability testing tetrahedron text text-augmentation text_mining text-mining text-segmentation textual theor theorem theorema theorization theorizing theoroidal theory theory-development theory-development-environment theory-exploration theory-extension theory-formation theory-interpretation theory-learning theory-morphism theory-refinement theory-revision theory-selection theory-validation thermodynamics thermostatistics three-valued tide time timed-automata time-delayed-feedback time-horizon time-invariance time-series time-series-analysis time-warping timing tissue toe tool toolkit toological-space top-down topic topological topological-defect topological-defects topological-dynamics topological-institution topological-space topology topos topos-selection topos-theory total-order towers-of-hanoi tqft t-qft trace traceability trace-language traces trace-semantics tracing tracking trading trading-rules trading-strategy trading-system transaction transduction transductive transductive-inference transformation transformation-distance transformer transforms transition transition-system translation transport-network tree trend trend-analysis triadic-concept-analysis triangle-inequality trie tripos-theory truth-table tsa tsr turbulence turing-degree two-body type type-theory uai ubiquitous-computing u-duality ui ultrameric ultrametric ultrametricity ultrametric-space uml uncertainty understanding unification unified-concept-theory uniform uniformity unitarity unitary universal-algebra universal-coding universal-compression universal-curve universal-domains universality universality-class universal-logic universal-portfolio universal-portfolio-selection universal-prediction universal-scaling universal-search universal-sequence-prediction universal-space universe unpredictability unsolvability unsupervised updating upper-space usability usage user-model utility uv-ir vagueness validating validation validity valuation value-at-risk variability variable-length variance varieties variety vector-model verbalization verification versioning vhdl vide vietoris-space view views virtual virutal visual visual-abstraction visualisation visualising visualization visualizing visual-languages visual-programming visual-programming-languages visulisation vocabulary volatility volume vortex vorticity vr vulgarism water wave-equation wave-function wavelet wavelets wavelet-theory waves wealth weather web web20 web3d web-based webdev web-graph weblog web-mining webos web-service webservices web-services well-defined well-founded-semantics weyl-algebra without-sets wmap word-sequence-kernel workflow wos wrapper wsif wsrf xmi xml xpath xquery zeta-dimension zipf-analysis zipf-law zooming




