新規登録 | ログイン | FAQ      [?] 
Recent | Unread | Search | Authors | Tags | Export

scis0000001 chu-space [71 articles]

最近 scis0000001 さんのライブラリに追加された論文の中から タグ chu-space. You can also see everyone's chu-space.
  • From Devs To Formal
    by Methods C Approach
    posted to abduction behavior category-theory chu-space dynamical-system formal-development general-systems-theory induction realizability testing topos-theory validation verification by scis0000001 on 2007-05-20 00:00:26 as **
  • Chu spaces as a semantic bridge between linear logic and mathematics
    Theor. Comput. Sci., Vol. 294, No. 3. (February 2003), pp. 439-471.
    by Vaughan Pratt
    posted to algebraic-structures algebraicity algorithmic-information-theory algorithmic-statistics all-algebraic-categories all-algebraic-structures all-relational-structures all-small-categories category-theory chu-space computability-logic conceptual-structures discrete-geometry fca information-distance interactivity lattice linear-logic logical-information-system mathematical-structures mathematics relational-structures representation semantics stone-gamut transformation unified-concept-theory by scis0000001 on 2007-05-16 08:24:14 as **
  • A database of categories
    J. Symb. Comput., Vol. 35, No. 2. (February 2003), pp. 127-135.
    by Michael Fleming, Ryan Gunther, Robert Rosebrugh
    posted to categorification category-theory chu-space database-of-categories mkm stone-gamut by scis0000001 on 2007-05-10 01:40:18 as ** along with 2 people jrw pirapira
  • Full completeness of the multiplicative linear logic of Chu spaces
    Logic in Computer Science, 1999. Proceedings. 14th Symposium on (1999), pp. 234-243.
    by H Devarajan, D Hughes, G Plotkin, V Pratt
    posted to chu-space linear-logic mll semantics by scis0000001 on 2007-05-04 08:03:08 as **
  • What Is a Concept?
    Lecture Notes in Computer Science : Conceptual Structures: Common Semantics for Sharing Knowledge (2005), pp. 52-77.
    by Joseph Goguen
    posted to algebraic-semiotics blend-space blending-theory category-of-theories category-theory channel-theory chu-space classification combination concept-lattice conceptual-space conceptual-structures context contextuality cultrual-evolution dynamical-system fca formal-development formal-language-theory formal-methods formal-philosophy formal-science galois-frame general-systems-theory iff information-flow institutions lattice-of-theories logical-framework managed-logic maude mental-space metalogics metascience ontology ontology-space parchments regularity representation semantic-space semantics semiotic-space signatures systems-theory theory-development topos-theory unified-concept-theory by scis0000001 on 2007-04-21 14:31:54 as ** along with 7 people and 2 groups garyfeng adrian_pigors maike livingthingdan mzygmunt RafG Scis0000002 ReadingLab livingthing
  • Rewriting Logic as a Unifying Framework for Petri Nets
    (2001), pp. 250-303.
    by Mark-Oliver Stehr, Jos&\#233; Meseguer, Peter C &\#214;lveczky
    posted to chu-space petri-net rewriting-logic by scis0000001 on 2007-04-14 13:58:44 as **
  • Toward a general relation browser: A GUI for information architects
    (2003)
    by G Marchionini, B Brunk
    posted to browser chu-space relation relational-structures ui by scis0000001 on 2007-04-09 16:22:48 as **
  • Final dialgebras: From categories to allegories
    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
    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 **
  • Asset Trees and Asset Graphs in Financial Markets
    Physica Scripta Volume T, Vol. 106 (2003), 48.
    by JP Onnela, A Chakraborti, K Kaski, J Kertész, A Kanto
    posted to asset-graph asset-lattice asset-network asset-space asset-tree behavior-space chu-space distance distributed domain-theory dynamical-system dynamics economics enriched-category-theory event-space evolution finance games hierarchy hypernetwork iff information-theory interactivity investment-strategy-space investment-theory lattice market-space markets minimum-spanning-tree modularity mst multifractality network partition phase-space process-space program-space scale-space semantics semweb space-of-investment-strategies space-of-probability-distributions state-space topological-space tree ultrametric by scis0000001 on 2007-04-02 01:33:38 as ** along with 1 person Scis0000002
  • ExSched: Solving Constraint Satisfaction Problems with the Spreadsheet Paradigm
    ArXiv Computer Science e-prints (January 2007)
    by S Chitnis, M Yennamani, G Gupta
    posted to chu-space csp spreadsheet by scis0000001 on 2007-04-02 01:12:17 as **
  • Knowledge, State, Event and Time in System Modeling - Spectrums of Modeling Languages and Transformations
    by Jin S Dong, Roger Duke, Jun Sun
    posted to chu-space by scis0000001 on 2007-03-17 14:03:05 as **
  • Analyses of design processes based on category theory and channel theory
    SICE 2003 Annual Conference, Vol. 1 (2003), pp. 961-966.
    by K Minamizono, O Katai, T Shiose, H Kawakami
    posted to category-theory channel-theory chu-space collaboration concurrency costing design-lattice design-process design-space design-theory dev domain-theory efficiency enterprise games hyperefficiency iff innovation institutions invention just-in-time managed-logic metaprocess methodology multisource-algorithmic-information-theory optimality parchments patent-classification patents planning problem-solving process process-theory product-classification product-development product-lattice productivity refinement unified-concept-theory by scis0000001 on 2007-03-15 16:35:54 as **
  • A Theory of Concepts and Their Combinations I: The Structure of the Sets of Contexts and Properties
    (26 Feb 2004)
    by Diederik Aerts, Liane Gabora
    posted to all-logical-theories chu-space closure closure-structures concept-lattice conceptual-structures domain-theory fca iff inference information-system logical-information-system logical-structures by scis0000001 on 2007-03-07 14:11:43 as ** along with 1 person JayDugger
  • Rational Mechanics and Natural Mathematics
    (1995), pp. 108-122.
    by Vaughan R Pratt
    posted to chu-space generalized-hilbert-space generalized-inner-product generalized-kernel by scis0000001 on 2007-03-06 14:14:10 as **
  • Monet: A Next-Generation DBMS Kernel For Query-Intensive Applications
    (May 2002)
    by PA Boncz
    posted to chu-space db by scis0000001 on 2007-02-23 13:30:56 as ** along with 1 person myui
  • Towards a Theory of Moa
    by Maarten Fokkinga
    posted to chu-space db memory by scis0000001 on 2007-02-23 13:15:17 as **
  • Polyadic Concept Analysis
    Order, Vol. V19, No. 3. (2002), pp. 295-304.
    by George Voutsadakis
    posted to chu-space conceptual-structures fca hd n-adic n-information-system polyadic-concept-analysis by scis0000001 on 2007-02-18 11:14:16 as **
  • A Dynamic Perspective on an Agent's Mental States and Interaction with its Environment
    (2002)
    by C Jonker, J Treur
    posted to chu-space computability-logic dynamical-system dynamics interactivity neural-symbolic temporal temporal-concept-analysis temporal-logic by scis0000001 on 2007-02-15 14:29:05 as **
  • Constraints and Universal Algebra
    Annals of Mathematics and Artificial Intelligence, Vol. 24, No. 1-4. (1998), pp. 51-67.
    by Peter Jeavons, David Cohen, Justin Pearson
    posted to all-algebraic-structures all-relational-structures chu-space constraints csp universal-algebra by scis0000001 on 2007-02-13 10:35:57 as **
  • A Game-Theoretic Approach to Constraint Satisfaction
    (2000), pp. 175-181.
    by Phokion G Kolaitis, Moshe Y Vardi
    posted to chu-space csp game-theory by scis0000001 on 2007-02-13 10:34:26 as **
  • Hardware Implementation of Temporal Nonmonotonic Logics
    : AI 2006: Advances in Artificial Intelligence (2006), pp. 808-817.
    by Insu Song, Guido Governatori
    posted to temporal-logic situated nonmonotonic metric-temporal-logic hardware digital-circuits circuitry chu-space automata by scis0000001 on 2007-02-01 16:50:19 as **
  • Ideal Models of Spaces
    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 **
  • Arbitrary Relations in Formal Concept Analysis and Logical Information Systems
    : Conceptual Structures: Common Semantics for Sharing Knowledge (2005), pp. 166-180.
    by Sã©bastien Ferrã©, Olivier Ridoux, Benjamin Sigonneau
    posted to algebraic-structures all-algebraic-structures all-relational-structures chu-space fol information-system logical-information-system monotonicity relational-structures relations unified-concept-theory by scis0000001 on 2007-01-19 18:03:31 as ** along with 1 person Scis0000002
  • Temporal Theories of Reasoning
    (1994), pp. 279-299.
    by Joeri Engelfriet, Jan Treur
    edited by Craig Macnish, Luís M Pereira, David Pearce
    posted to time temporal state-space semantics information-system inference event-structures event-space dynamics chu-space behavior by scis0000001 on 2007-01-12 22:23:23 as **
  • Termination, deadlock, and divergence
    J. ACM, Vol. 39, No. 1. (January 1992), pp. 147-187.
    by L Aceto, M Hennessy
    posted to termination divergence deadlock concurrency chu-space by scis0000001 on 2007-01-12 19:58:07 as **
  • Causal architecture, complexity and self-organization in time series and cellular automata
    (2001)
    by CR Shalizi
    posted to algebraic algorithmic-information-theory causal-state-machine chu-space computational-cosmology computational-epistemology computational-mechanics discreteness domain-theory fractafold information-system minimal-sufficient-statistic physical-structures self-organization space-time symbolic-dynamics temporal-concept-analysis by scis0000001 on 2007-01-07 14:39:34 as ** along with 6 people and 2 groups mmcgloho ansobol jrw balicea mattjb Scis0000002 ComplexAdaptiveSystems DSTO-CAS
  • Higher dimensional automata revisited
    Mathematical Structures in Computer Science, Vol. 10, No. 4. (2000), pp. 525-548.
    by Vaughan R Pratt
    posted to topology state-space information-system homotopy homology hda hd geometry event-structures event-space concurrency chu-space category-theory algebraic-domains algebraic by scis0000001 on 2007-01-07 13:55:35 as ** along with 1 person jrw
  • Chu Spaces and their Interpretation as Concurrent Objects
    (1995), pp. 392-405.
    by Vaughan R Pratt
    edited by J van Leeuwen
    posted to chu-space concurrency by scis0000001 on 2006-12-14 13:28:02 as **
  • Relational Concept Analysis: Semantic Structures in Dictionaries and Lexical Databases
    (1996)
    by U Priss
    posted to chu-space fca relational relational-concept-analysis relational-structures relations by scis0000001 on 2006-12-09 14:25:25 as **
  • Formalization of Communication and Behaviour in Object-Oriented Analysis
    Data Knowledge Engineering, Vol. 23, No. 2. (1997), pp. 147-183.
    by JWGM Hubbers, Arthur
    posted to behaviour chu-space communication by scis0000001 on 2006-12-09 13:55:31 as **
  • Incidence structures and Stone-Priestley duality
    (6 Jan 2006)
    by Mohamed Bekkali, Maurice Pouzet, Driss Zhani
    posted to chu-space duality priestley-space stone-duality stone-space by scis0000001 on 2006-12-09 13:32:35 as **
  • Temporal Concept Analysis
    by Karl E Wolff
    posted to behavior behavior-space chu-space computational-epistemology conceptual-structures continuity discreteness domain-theory duality dynamical-system dynamics event event-space fca granularity iff information-system lca linearity mereology modeling n-information-system phase-space polyadic-concept-analysis qualitative scale-relativity scale-space space-time spatio-temporal state-space symbolic-dynamics tca temporal temporal-concept-analysis time transition-system unified-concept-theory by scis0000001 on 2006-12-07 16:23:37 as ** along with 1 person Scis0000002
  • The Integration of Connectionism and First-Order Knowledge Representation and Reasoning as a Challenge for Artificial Intelligence
    (31 Aug 2004)
    by Sebastian Bader, Pascal Hitzler, Steffen Hoelldobler
    posted to all-logical-theories cantor-set cantor-space chu-space coding-theory computability-logic fol formal-system fractafold fractal-dimension fractality inference lp neural-symbolic representation self-similarity sierpinski-carpet ternary universal-curve by scis0000001 on 2006-12-07 13:29:04 as **
  • Dynamic algebras as a well-behaved fragment of relation algebras
    Vol. 425 (1990)
    by Vaughan Pratt
    edited by CH Bergman, RD Maddux, DL Pigozzi
    posted to abstract-state-machines algebra behavior chu-space discreteness dynamic-algebras dynamics event-space evolution evolving-algebras gtm relation state-space by scis0000001 on 2006-12-02 15:43:04 as **
  • A logical generalization of formal concept analysis
    (2000)
    by S Ferr'e, O Ridoux
    posted to axiomatic-system chu-space computability-logic conceptual-structures context-logic domain-logic epistemology fca formal-system generalization iff inference information-system lattice-of-theories lca logic logical-information-system logical-structures logical-theories monotonicity unified-concept-theory by scis0000001 on 2006-11-21 10:15:16 as **
  • The Stone Gamut: A Coordinatization of Mathematics
    (1995), pp. 444-454.
    by Vaughan R Pratt
    posted to categorification category-theory chu-space mathematical-structures stone-duality stone-gamut by scis0000001 on 2006-11-10 13:47:23 as **
  • The lattice of integer partitions and its infinite extension
    (1999)
    by M Latapy, H Phan
    posted to chu-space integer-partitions lattice partitions by scis0000001 on 2006-11-10 13:33:52 as **
  • Morphisms in Logic, Topology, and Formal Concept Analysis
    by Markus Krötzsch
    posted to chu-space domain-theory fca inference morphism topology by scis0000001 on 2006-11-08 14:56:27 as ** along with 1 person thau
  • Morphisms in context
    (2005)
    by M Krtzsch, P Hitzler, G Zhang
    posted to chu-space domain-theory fca morphism by scis0000001 on 2006-11-08 14:54:41 as **
  • A cartesian closed category of approximable concept structures
    (2004)
    by P Hitzler, G Zhang
    posted to algebraic algorithmic-information-theory all-logical-theories approximable-concepts axiomatic-system axiomatizations cartesian-closed-categories category-of-formal-contexts category-of-information-systems chu-space closed-categories complete-partial-order computability computability-logic computational-epistemology concept-lattice conceptual-structures cpo domain-theory fca finiteness formal-context iff incompleteness infinite infinite-formal-context information-system lattice lattice-of-theories logical-structures logical-theories lp mda minimal-sufficient-statistic n-information-system nonmonotonicity partial-information polyadic-concept-analysis semantics semweb state-space unified-concept-theory by scis0000001 on 2006-10-13 16:58:05 as **
  • Towards Full Completeness for the Linear Logic of Chu Spaces
    (1997)
    by VR Pratt
    posted to chu-space linear-logic proof topological-space by scis0000001 on 2006-10-13 16:53:07 as **
  • Quantum Computing: A new Paradigm and it's Type Theory
    by Martin Wehr
    posted to chu-space hilbert-space qip quantum-computing type-theory by scis0000001 on 2006-10-12 13:25:51 as **
  • The geometry of interaction machine
    (1995), pp. 198-208.
    by Ian Mackie
    posted to chu-space computing geometry interaction linear-logic by scis0000001 on 2006-10-06 14:35:19 as ** along with 1 person fensef
  • From Proof Nets to the Free *-Autonomous Category
    by François Lamarche, Lutz Straßburger
    posted to autonomous-category chu-space network proof by scis0000001 on 2006-09-29 09:13:11 as **
  • Categorical Models Of First-Order Classical Proofs
    by Richard Mckinley
    posted to semantics logic hyperdoctrine fol chu-space categorical-theories categorical-semantics categorical-models categorical-logic by scis0000001 on 2006-09-29 09:08:29 as **
  • Types as Processes, via Chu spaces
    (1997)
    by V Pratt
    posted to chu-space computational-category-theory process type type-theory by scis0000001 on 2006-09-26 11:05:38 as **
  • Information Flow : The Logic of Distributed Systems (Cambridge Tracts in Theoretical Computer Science)
    (28 July 1997)
    by Jon Barwise, Jerry Seligman
    posted to algorithmic-information-theory category-of-theories channel-theory chu-space computational-neuroscience computational-science formal-development formal-science granularity iff information-flow lattice-of-theories metascience temporal unified-concept-theory by scis0000001 on 2006-09-23 13:50:41 as ** along with 2 people and 1 group msakai aleks Compilers
  • A geometry of information, I: Nerves, posets and differential forms
    (2 Dec 2005)
    by Jonathan Gratus, Timothy Porter
    posted to cantor-set chu-space configuration-space discrete-differential-geometry fca fractafold fractal fractality geometry global-scaling hda information-geometry manifold polyhedra polyhedrons process-space scale-space self-similarity set solenoids by scis0000001 on 2006-09-22 09:35:00 as **
  • Computability Logic: a formal theory of interaction
    (10 Dec 2004)
    by Giorgi Japaridze
    posted to abstract-state-machines adaptability aixi all-logical-theories behavior chu-space classical-logic computability computability-logic computational-epistemology dynamics formal-theory iff interaction interactivity interference intuitionistic-logic linear-logic logic relativity by scis0000001 on 2006-09-19 16:36:44 as **
    • 注: このページを引用する時は次のURLでどうぞ: http://www.citeulike.org/user/scis0000001/tag/chu-space

    Result page: 1 2 Next RIS BibTeX