Register | Log in | FAQ      [?] 
Recent | Unread | Search | Authors | Tags | Export

scis0000001's lattice [53 articles]

Recent papers added to scis0000001's library classified by the tag lattice. You can also see everyone's lattice.
  • A LATTICE-STRUCTURED PROOF TECHNIQUE APPLIED TO A MINIMUM SPANNING TREE ALGORITHM
    No. MIT/LCS/TM-361. (1988)
    by JL Welch, L Lamport, N Lynch
    posted to lattice mst proof by scis0000001 on 2007-05-21 14:57:57 as **
  • Lattice Basis and Entropy
    ArXiv Mathematics e-prints (November 2006)
    by , 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
    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 **
  • Algorithms for Greechie Diagrams
    (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
    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 **
  • Complete Lattices Represent Complete Heyting Algebras (Or: Quantum Logic With An Intuitionistic Implication)
    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
    (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
    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
    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
    by Krasichkov And
    posted to hd lattice by scis0000001 on 2007-04-12 13:02:04 as ** along with 1 person Scis0000002
  • Fractal Evolution of Normalized Feedback Systems on a Lattice
    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
    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
    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
  • State transitions as morphisms of complete lattices
    (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
    (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
    (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
    (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.
    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
    (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
    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
    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
    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
    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
    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
    (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”
    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
    (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
    (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
    Lecture Notes in Computer Science : Genetic and Evolutionary Computation â GECCO 2003 (2003), pp. 377-378.
    by Jekanthan Thangavelautham, Timothy D Barfoot, Gabriele MT 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
    (15 Mar 2004)
    by M Kalinski, IE Mazets, G Kurizki, BA Malomed, K Vogel, WP 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
    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
    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
    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
    (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
    (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
    (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
    (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
    (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
    (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
    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
    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
    (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
    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
    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
    (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
    (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
    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
    (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
    (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 **
    • Note: You may cite this page as: http://www.citeulike.org/user/scis0000001/tag/lattice

    Result page: 1 2 Next RIS BibTeX