|
Home
News
Citegeist
|
Browse Groups
Search Groups
Journals
|
FAQs
Howto
Discussion
|
![]() |
CiteULike |
![]() |
CiteULike |
![]() |
![]() |
A Simulated Network of Weather Stations - A Laboratory for the Course Dkom |
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
AbstractThis article describes the simulation of a network of weather-stations, which all can poll another station to get its weather-status or can send a message to an arbitrary weather-station. The services that are offered on the several OSI-layers are shown, as well as the internal function of each layer. I will also present some quantitative results and a very brief overview over possible correctness proof strategies. Contents 1 The System There are up to 15 Countries, which will build a network...
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




