scis0000001 concurrency [45 articles]

scis0000001's tags

2-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