CiteULike: scis0000001's chu-space [71 articles]

	From Devs To Formal [My Copy] 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 along with 1 person isotelesis
	Chu spaces as a semantic bridge between linear logic and mathematics [My Copy] 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 along with 1 person isotelesis
	A database of categories [My Copy] 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 3 people isotelesis jrw pirapira
	Full completeness of the multiplicative linear logic of Chu spaces [My Copy] 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 along with 1 person isotelesis
	What Is a Concept? [My Copy] 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 8 people and 2 groups isotelesis garyfeng adrian_pigors maike livingthingdan mzygmunt RafG Scis0000002 ReadingLab livingthing
	Rewriting Logic as a Unifying Framework for Petri Nets [My Copy] In Unifying Petri Nets, Advances in 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 [My Copy] (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 [My Copy] Informatique Theorique et Applications, Vol. 33, No. 4/5. (1999), pp. 401-426. by Roland C. Backhouse, Paul F. Hoogendijk posted to algebra allegory-theory category-theory chu-space coalgebra dialgebra generic-programming partial-order relation relational-structures relators universal-algebra by scis0000001 on 2007-04-07 01:32:26 as along with 2 people Scis0000002 marcinzalewski
	Least Reflexive Points of Relations [My Copy] by Jules Desharnais, Bernhard Möller posted to chu-space domain-theory fixed-point generalization lattice monotonicity partial-order reflexive-point relation relational-structures by scis0000001 on 2007-04-07 01:26:01 as
	Asset Trees and Asset Graphs in Financial Markets [My Copy] Physica Scripta Volume T, Vol. 106 (2003), 48. by J. P. 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 [My Copy] 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 [My Copy] by Jin S. Dong, Roger Duke, Jun Sun posted to chu-space by scis0000001 on 2007-03-17 14:03:05 as along with 1 person isotelesis
	Analyses of design processes based on category theory and channel theory [My Copy] 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 along with 1 person Scis0000002
	A Theory of Concepts and Their Combinations I: The Structure of the Sets of Contexts and Properties [My Copy] (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 [My Copy] In Proceedings of the Conference on Theory and Practice of Software Development -- TAPSOFT'95 (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 [My Copy] (May 2002) by P. A. 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 [My Copy] by Maarten Fokkinga posted to chu-space db memory by scis0000001 on 2007-02-23 13:15:17 as
	Polyadic Concept Analysis [My Copy] 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 [My Copy] (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 along with 1 person Scis0000002
	Constraints and Universal Algebra [My Copy] 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 [My Copy] In AAAI/{IAAI} (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 [My Copy] : 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 [My Copy] by Keye Martin posted to algebraicity category-of-ideals chu-space countability domain-theory enumerability ideal-domains ideal-models ideal-partial-orders ideals metrizability order-theory partial-order quantitative-domain-theory self-similarity semantics topological-space topology by scis0000001 on 2007-01-30 10:10:36 as
	Arbitrary Relations in Formal Concept Analysis and Logical Information Systems [My Copy] : 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 [My Copy] In Logics in Artificial Intelligence (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 along with 1 person blog01
	Termination, deadlock, and divergence [My Copy] 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 [My Copy] (2001) by C. R. 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 ansobol jrw balicea mattjb Scis0000002 mmcgloho ComplexAdaptiveSystems DSTO-CAS
	Higher dimensional automata revisited [My Copy] 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 [My Copy] In Computer Science Today: Recent Trends and Developments (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 along with 1 person isotelesis
	Relational Concept Analysis: Semantic Structures in Dictionaries and Lexical Databases [My Copy] (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 [My Copy] Data Knowledge Engineering, Vol. 23, No. 2. (1997), pp. 147-183. by J. W. G. M. Hubbers, Arthur posted to behaviour chu-space communication by scis0000001 on 2006-12-09 13:55:31 as
	Incidence structures and Stone-Priestley duality [My Copy] (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 [My Copy] 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 [My Copy] (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 [My Copy] In Algebraic Logic and Universal Algebra in Computer Science, Vol. 425 (1990) by Vaughan Pratt edited by C. H. Bergman, R. D. Maddux, D. L. 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 [My Copy] (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 [My Copy] In Tenth Annual Symposium on Logic in Computer Science (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 along with 1 person isotelesis
	The lattice of integer partitions and its infinite extension [My Copy] (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 [My Copy] 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 [My Copy] (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 [My Copy] (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 [My Copy] In Preliminary Proceedings of the 13th Annual Conference on Mathematical Foundations of Programming Semantics (1997) by V. R. Pratt posted to chu-space linear-logic proof topological-space by scis0000001 on 2006-10-13 16:53:07 as along with 1 person isotelesis
	Quantum Computing: A new Paradigm and it's Type Theory [My Copy] 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 [My Copy] In POPL '95: Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages (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 and 1 group fensef ConcertRG
	From Proof Nets to the Free *-Autonomous Category [My Copy] 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 [My Copy] 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 [My Copy] (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) [My Copy] (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 3 people and 1 group Scis0000002 msakai aleks Compilers
	A geometry of information, I: Nerves, posets and differential forms [My Copy] (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 [My Copy] (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

scis0000001's chu-space [71 articles] Export

scis0000001's tags