CiteULike: scis0000001's lattice [53 articles]

	A LATTICE-STRUCTURED PROOF TECHNIQUE APPLIED TO A MINIMUM SPANNING TREE ALGORITHM [My Copy] No. MIT/LCS/TM-361. (1988) by J. L. Welch, L. Lamport, N. Lynch posted to lattice mst proof by scis0000001 on 2007-05-21 14:57:57 as
	Lattice Basis and Entropy [My Copy] ArXiv Mathematics e-prints (November 2006) by V. K. P. B, Babu K. Joseph posted to axiomatic-system basis entropy lattice lattice-of-statements by scis0000001 on 2007-05-19 23:34:14 as along with 1 person ansobol
	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
	Algorithms for Greechie Diagrams [My Copy] (21 Jan 2001) by Brendan D. Mckay, Norman D. Megill, Mladen Pavicic posted to greechie-diagram hasse-diagram lattice by scis0000001 on 2007-05-11 14:48:27 as
	The category of complete lattices as a category of algebras [My Copy] Algebra Universalis, Vol. 26, No. 3. (21 October 1989), pp. 367-379. by Jan Reiterman posted to algebra algebraicity category-of-algebras category-of-complete-lattices complete lattice by scis0000001 on 2007-05-11 09:49:45 as along with 1 person Scis0000002
	Complete Lattices Represent Complete Heyting Algebras (Or: Quantum Logic With An Intuitionistic Implication) [My Copy] by Bob Coecke posted to atomisticity closure-structures commutativity complete concept-lattice conceptual-structures formal-science frames heyting-algebra hyperdoctrine inquiry-calculus intuitionistic-logic lattice lattice-of-properties locales operational ortholattice probability-theory property-lattice quantum-logic stone-duality topos-theory unified-concept-theory by scis0000001 on 2007-05-09 22:41:14 as along with 1 person Scis0000002
	Expressing Program Requirements Using Refinement Lattices [My Copy] In International Syposium on Methodologies for Intelligent Systems (1993), pp. 245-254. by David S. Robertson, Jaume Agusti, Jane Hesketh, Jordi Levy posted to lattice refinement requirements by scis0000001 on 2007-04-29 17:20:34 as
	Toward Question-Asking Machines: The Logic of Questions and the Inquiry Calculus [My Copy] by Kevin H. Knuth posted to boolean-algebra calculus category-theory corpus database domain-theory effective-topos epistemology experiment extensivity iff inductive-inference information-dynamics information-resource information-retrieval information-system information-theory inquiry-calculus ir lattice logics measurement order-theory partial-order partial-order-theory partition probability-theory query question-answering question-asking question-lattice relevance search search-theory semweb separability stone-duality unified-concept-theory by scis0000001 on 2007-04-16 14:48:55 as along with 2 people Scis0000002 Kristoftol
	Lattice duality: the origin of probability and entropy [My Copy] Neurocomp. (2004) by K. Knuth posted to duality entropy extensivity hilbert-lattice lattice lattice-theory order-theory probability-theory property-lattice by scis0000001 on 2007-04-15 14:36:43 as along with 2 people and 1 group Kevembuangga Scis0000002 Impending_AI_breakthrough
	On High-Dimensional Oscillations From Lattice Of Linear Elements [My Copy] by Krasichkov And posted to hd lattice by scis0000001 on 2007-04-12 13:02:04 as along with 1 person Scis0000002
	$My PDF fussy_02_fractal.pdf$ Fractal Evolution of Normalized Feedback Systems on a Lattice [My Copy] ArXiv Nonlinear Sciences e-prints (April 2002) by S. Fussy, G. Groessing, H. Schwabl posted to dynamics evolution evolving feedback fractal-evolution fractality lattice multifractal-evolution multifractality nonlinearity self-organization self-similar-evolution self-similarity by scis0000001 on 2007-04-12 11:38:18 as
	p-adic String Theories Provide Lattice Discretization to the Ordinary String Worldsheet [My Copy] Physical Review Letters, Vol. 97, No. 15. (October 2006), 151601. by D. Ghoshal posted to discretization lattice p-adic string-theory ultrameric by scis0000001 on 2007-04-11 10:22:05 as
	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
	State transitions as morphisms of complete lattices [My Copy] (1999) by B. Coecke, I. Stubbe posted to complete lattice morphisms transition-system by scis0000001 on 2007-03-11 16:40:01 as along with 1 person Scis0000002
	Quantum Logic in Intuitionistic Perspective [My Copy] (22 Apr 2002) by Bob Coecke posted to intuitionistic lattice logics quantum-logic by scis0000001 on 2007-03-06 20:52:27 as along with 2 people jrw mp4man
	Mayet-Godowski Hilbert Lattice Equations [My Copy] (26 Sep 2006) by Norman D. Megill, Mladen Pavicic posted to concept-lattice experiment-lattice hilbert-lattice hilbert-space lattice lattice-of-experiments orthoalgebra probability-theory quantum-computing quantum-domain-theory quantum-epistemology quantum-institutions quantum-logic question-lattice schroedinger-equation subspace unified-concept-theory variety by scis0000001 on 2007-03-06 09:30:57 as
	Information-theoretic principle entails orthomodularity of a lattice [My Copy] (15 Sep 2005) by Alexei Grinbaum posted to hilbert-space information-theory lattice orthomodularity by scis0000001 on 2007-03-06 09:12:08 as along with 1 person jrw
	The Lattice of Natural Numbers and The Sublattice of it. The Set of Prime Numbers. [My Copy] by Marek C. Warsaw posted to integers lattice primes by scis0000001 on 2007-02-16 13:37:43 as
	The lattice structure of chip firing games [My Copy] (2000) by M. Latapy, H. Phan posted to chip-firing-games configuration-space domain-theory dynamical-system lattice manifold by scis0000001 on 2007-02-16 09:10:09 as
	Stone Duality for Lattices [My Copy] Algebra Universalis, Vol. 37 (1997), pp. 391-401. by C. Hartonas, Michael J. Dunn posted to stone-duality lattice by scis0000001 on 2007-02-01 14:38:47 as
	Patterns of synchrony in lattice dynamical systems [My Copy] Nonlinearity, Vol. 18, No. 5. (September 2005), pp. 2193-2209. by Fernando Antoneli, Ana P. Dias, Martin Golubitsky, Yunjiao Wang posted to concurrency dynamical-system formation lattice partial-order pattern synchrony time by scis0000001 on 2007-01-06 15:19:46 as
	The Construction of Huffman Codes is a Submodular (`Convex') Optimization Problem over a Lattice of Binary Trees [My Copy] by Stott D. Parker, Prasad Ram posted to coding lattice optimization by scis0000001 on 2007-01-02 13:59:25 as
	Partial Order Logic Programming [My Copy] No. 93-40. (March0, 1993) by Bharat Jayaraman, Mauricio Osorio, Kyonghee Moon posted to polp partial-order-programming partial-order lp lattice domain-theory by scis0000001 on 2006-12-12 10:06:56 as along with 1 person baisemain
	Theory of partial-order programming [My Copy] Science of Computer Programming, Vol. 34, No. 3. (1999), pp. 207-238. by Mauricio Osorio, Bharat Jayaraman, David A. Plaisted posted to declarative-programming domain-theory lattice mathematical-programming partial-order partial-order-programming by scis0000001 on 2006-12-12 10:00:54 as along with 1 person baisemain
	Lattice Embedding [My Copy] In International Conference on Conceptual Structures (1996), pp. 293-307. by Janos J. Sarbo posted to embedding fca lattice by scis0000001 on 2006-12-11 14:16:25 as
	Upper semi-lattice of binary strings with the relation “x is simple conditional to y” [My Copy] Theoretical Computer Science, Vol. 271, No. 1--2. (2002), pp. 69-95. by Alexei Chernov, Andrej Muchnik, Andrei Romashchenko, Alexander Shen, Nikolai Vereshchagin posted to bit-string lattice by scis0000001 on 2006-12-09 15:10:22 as
	Lattice coding and decoding achieve the optimal diversity-vs-multiplexing tradeoff of MIMO channels [My Copy] (2004) by H. Gamal, G. Caire, M. Damen posted to coding distance-lattice lattice by scis0000001 on 2006-12-05 10:05:47 as
	Lazy completion of a partial order to the smallest lattice [My Copy] (1997) by K. Bertet, M. Morvan, L. Nourine posted to lattice mdl partial-order simplicity by scis0000001 on 2006-11-25 14:01:22 as
	Coevolving Communication and Cooperation for Lattice Formation Tasks [My Copy] Lecture Notes in Computer Science : Genetic and Evolutionary Computation â GECCO 2003 (2003), pp. 377-378. by Jekanthan Thangavelautham, Timothy D. Barfoot, Gabriele M. T. D'Eleuterio posted to formation interacting interference lattice coevolving communication cooperation by scis0000001 on 2006-11-21 09:48:33 as
	Dynamics of laser-induced lattice formation in Bose-Einstein condensates [My Copy] (15 Mar 2004) by M. Kalinski, I. E. Mazets, G. Kurizki, B. A. Malomed, K. Vogel, W. P. Schleich posted to formation lattice by scis0000001 on 2006-11-21 09:44:02 as
	Similarity-based Clustering versus Galois lattice building: Strengths and Weaknesses [My Copy] by Petko Valtchev, Rokia Missaoui posted to algorithmic-information-theory boolean-dissimilarity clustering concept-lattice dissimilarity fca formation information-distance kernel-matrix lattice similarity similarity-matrix by scis0000001 on 2006-11-21 09:15:26 as
	Building concept (Galois) lattices from parts: Generalizing the incremental methods [My Copy] by Petko Valtchev, Rokia Missaoui posted to concept formation lattice by scis0000001 on 2006-11-21 09:13:09 as
	Galicia: An Open Platform for Lattices [My Copy] by Petko Valtchev, David Grosser, Cyril Roume, Mohamed R. Hacene posted to fca lattice by scis0000001 on 2006-11-21 09:07:00 as
	Sandpile models and lattices: A comprehensive survey [My Copy] (2001) by é, M. Latapy, C. Magnien, M. Morvan, H. Phan posted to chip-firing-games concept-lattice dynamical-system dynamics integer-partitions lattice partition sandpile-models symbolic-dynamics by scis0000001 on 2006-11-10 13:37:45 as
	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
	The Universe from Nothing: A Mathematical Lattice of Empty Sets [My Copy] (6 Sep 2005) by Michel Bounias, Volodymyr Krasnoholovets posted to computational-cosmology empty-set lattice set by scis0000001 on 2006-10-22 15:34:29 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
	From regular lattice to scale free network - yet another algorithm [My Copy] (12 November 2004) by Danuta Makowiec posted to evolution lattice network regular-lattice scale-free-network by scis0000001 on 2006-10-08 15:32:41 as along with 1 person and 1 group nettraq Philosophy_of_Information
	Evolving network - simulation study. From regular lattice to scale free network [My Copy] (16 Nov 2005) by Danuta Makowiec posted to dynamics evolution evolving lattice network regular-lattice scale-free-network by scis0000001 on 2006-10-08 15:05:08 as
	Automated Theorem Proving by Resolution for Finitely-Valued Logics Based on Distributive Lattices with Operators [My Copy] Multiple-Valued Logic, Vol. 6, No. 3--4. (2001), pp. 289-344. by Viorica S. Stokkermans posted to atp lattice by scis0000001 on 2006-09-26 10:59:06 as
	Entropy, Limit Theorems, And Variational Principles For Disordered Lattice Systems [My Copy] by Timo Seppäläinen posted to lattice by scis0000001 on 2006-09-22 10:49:42 as
	Lattice path matroids: enumerative aspects and Tutte polynomials [My Copy] (12 Nov 2002) by Joseph E. Bonin, Anna de Mier, Marc Noy posted to lattice matroids path polynomials by scis0000001 on 2006-09-18 09:35:20 as
	Critical Phenomena on Fractal Lattices [My Copy] Physical Review Letters, Vol. 45, No. 11. (12 May 1980), 855. by Yuval Gefen, Benoit B. Mandelbrot, Amnon Aharony posted to criticality fractal-lattice lattice by scis0000001 on 2006-09-09 14:11:57 as along with 1 person kevina
	A Taxonomy of Theories [My Copy] by Anthony A. Aaby posted to algorithmic-information-theory all-logical-theories category-of-theories computational-science dev e-science formal-development formal-science formalization hierarchy-of-theories iff institutions interoperability lattice lattice-of-theories logical-theories mda metamodeling metascience metatheory ontology ontology-development optimality parchments representation rm-odp semweb standards taxonomy taxonomy-of-theories theory theory-development unified-concept-theory by scis0000001 on 2006-09-08 13:28:12 as
	Disjunctive Quantum Logic in Dynamic Perspective [My Copy] (22 Apr 2002) by Bob Coecke posted to chu-space heyting-algebra intuitionistic-logic lattice lattice-of-properties logics path-selection property-lattice quantale quantum-logic by scis0000001 on 2006-09-05 15:31:47 as
	Fearless Symmetry: Exposing the Hidden Patterns of Numbers [My Copy] (22 May 2006) by Avner Ash, Robert Gross posted to distribution fractality lattice number-theory patterns self-similarity by scis0000001 on 2006-09-04 13:45:46 as
	General Stone duality [My Copy] Topology and its Applications In Topology and its Applications, Vol. 137, No. 1-3. (28 February 2004), pp. 125-158. by Marcel Erne posted to algebra category-theory chu-space duality lattice similarity stone-duality symmetry by scis0000001 on 2006-09-02 14:06:12 as along with 1 person adrian_pigors
	Scanning the structure of ill-known spaces: Part 1. Founding principles about mathematical constitution of space [My Copy] (14 Oct 2003) by Michel Bounias, Volodymyr Krasnoholovets posted to classification exploration exploring fractal-universe lattice measurement space by scis0000001 on 2006-09-01 10:26:35 as
	Resolution and logic programming in algebraic domains: Negation and defaults [My Copy] (2002) by P. Hitzler posted to algebraic-domains chu-space computability-logic concept-lattice default domain-logic domain-theory inference lattice logic lp reasoning resolution by scis0000001 on 2006-09-01 10:06:58 as

scis0000001's lattice [53 articles] Export

scis0000001's tags