registrieren | anmelden | FAQ      [?] 

Tag partial-order [73 articles]

Recent papers classified by the tag partial-order.
  • Counting linear extensions is \#P-complete
    (1991), pp. 175-181.
    by Graham Brightwell, Peter Winkler
    posted to linear-extensions order-theory partial-order posets by Scis0000002 on 2008-01-25 14:33:22 as **
  • The Complexity of the Partial Order Dimension Problem
    SIAM Journal on Algebraic and Discrete Methods, Vol. 3, No. 3. (1982), pp. 351-358.
    by Mihalis Yannakakis
    posted to order-theory partial-order by Scis0000002 on 2008-04-01 11:35:47 as ** along with 2 people AbnerCYH walp
  • Entropic Geometry from Logic
    (6 Feb 2003)
    by Bob Coecke
    posted to complete-lattices domain-theory entropies lattice-of-subspaces partial-order by Scis0000002 on 2008-04-25 21:50:59 as ** along with 1 person jrw
  • Cohomology of partially ordered sets
    (24 February 2005)
    by Morten Brun, Winfried Bruns, Tim Roemer
    posted to cohomology partial-order posets by Scis0000002 on 2008-05-19 23:22:41 as ** along with 1 person ansobol
  • Lazy completion of a partial order to the smallest lattice
    (1997)
    by K Bertet, M Morvan, L Nourine
    posted to partial-order by Scis0000002 on 2007-06-21 18:08:42 as **
  • Poset Topology: Tools and Applications
    (11 Feb 2006)
    by Michelle L Wachs
    posted to partial-order posets by Scis0000002 on 2008-05-18 16:44:37 as ** along with 1 person mnev
  • Global partial orders from sequential data
    (2000), pp. 161-168.
    by Heikki Mannila, Christopher Meek
    posted to partial-order by Scis0000002 on 2008-01-25 14:33:25 as **
  • A Hierarchy of Partial Order Temporal Properties
    (1994), pp. 398-414.
    by Marta Z Kwiatkowska, Doron Peled, Wojciech Penczek
    posted to temporal partial-order hierarchy by scis0000001 on 2007-02-04 16:10:02 as **
  • On the Fractional Dimension of Partially Ordered Sets
    DMATH: Discrete Mathematics, Vol. 136 (1994)
    by Felsner, Trotter
    posted to dimension partial-order by scis0000001 on 2007-04-14 14:29:41 as **
  • Partial order reduction for probabilistic branching time
    by C Baier, P D'Argenio, M Grer
    posted to branching partial-order probabilistic reduction by scis0000001 on 2007-04-29 17:42:08 as **
  • Model Checking of Time Petri Nets Based on Partial Order Semantics
    Vol. 1664 (August 1999), pp. 210-225.
    by Burkhard Bieber, Hans Fleischhack
    edited by Jos CM Baeten, Sjouke Mauw
    posted to model-checking partial-order semantics by scis0000001 on 2007-04-29 17:36:54 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
  • Clustering pair-wise dissimilarity data into partially ordered sets
    (2006), pp. 637-642.
    by Jinze Liu, Qi Zhang, Wei Wang, Leonard Mcmillan, Jan Prins
    posted to clustering dissimilarity partial-order similarity by scis0000001 on 2007-04-16 14:25:35 as **
  • Computabilitytheoretic and proof-theoretic aspects of partial and linear orderings
    by R Downey, D Hirschfeldt, S Lempp, R Solomon
    posted to computability-theory linear-order partial-order proof-theory total-order by scis0000001 on 2007-01-03 13:19:33 as **
  • Phase Transitions in the Evolution of Partial Orders
    by Hans J Prömel, Angelika Steger, Anusch Taraz
    posted to evolution partial-order phase-transition by scis0000001 on 2007-04-14 14:28:07 as **
  • Modal and Temporal Operators on Partial Orders
    by Bernhard Möller
    posted to temporal-logic temporal semantics quantitative partial-order modal-logic logics ideal-domains domain-theory by scis0000001 on 2007-01-27 13:46:16 as **
  • Hierarchies of generalized Kolmogorov complexities and nonenumerable universal measures computable in the limit
    (2002)
    by J Schmidhuber
    posted to algorithmic-information-content algorithmic-information-theory computational-epistemology generalized-algorithmic-probability generalized-fractal-dimension generalized-kolmogorov-complexity incompleteness kolmogorov-complexity order-theory paraconsistency partial-order qait total-order by scis0000001 on 2006-09-21 16:31:47 as **
  • Combining Partial Order and Symmetry Reductions
    (1997), pp. 19-34.
    by EA Emerson, S Jha, D Peled
    edited by E Brinksma
    posted to compression partial-order reducibility reduction symmetry by scis0000001 on 2007-02-04 16:39:36 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 **
  • 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 **
  • Partial-order databases
    (1996)
    by Darrell R Raymond
    posted to database partial-order by scis0000001 on 2007-04-07 01:13:32 as ** along with 1 person baisemain
  • Integrating Real-Time and Partial-Order Information in Event-Data Displays
    pp. 157-165.
    by David J Taylor, Michael H Coffin
    posted to partial-order real-time ui by scis0000001 on 2007-04-29 17:58:40 as **
  • Generating Finite-State Abstractions of Reactive Systems Using Decision Procedures
    (1998), pp. 293-304.
    by Michael Colon, Tomas E Uribe
    posted to abstracting abstraction causal-state-machine clocked-transition-system domain-theory model-checking partial-order refinement simulation state-space temporal-logic transition-system by scis0000001 on 2007-04-07 13:52:48 as ** along with 1 person bunge
  • Generalised Prioritisation: A New Way of Combining Similarity Metrics
    (1999)
    by A Ferguson, D Bridge
    posted to partial-order similarity by scis0000001 on 2007-04-15 14:58:52 as **
  • Deriving laws from ordering relations
    by K Knuth
    posted to algebra algorithmic-information-theory information-theory number-theory order-theory ordering partial-order probability-theory by scis0000001 on 2007-04-15 14:30:18 as **
  • Universal partial order represented by means of oriented trees and other simple graphs
    Eur. J. Comb., Vol. 26, No. 5. (July 2005), pp. 765-778.
    by Jan Hubi&\#269;ka, Jaroslav Ne&\#353;et&\#345;il
    posted to partial-order by scis0000001 on 2007-03-11 15:47:31 as **
  • Bayesian Model Selection in Finite Mixtures by Marginal Density Decompositions Hemant Ishwaran, Lancelot F. James, and Jiayang Sun
    by We C The
    posted to bayesian domain-theory iff mixture model-selection partial-order partition space-of-distributions space-of-partitions by scis0000001 on 2007-03-15 14:29:18 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
  • 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
  • Branching Time and Partial Order in Temporal Logics
    No. UMCS-91-3-3. (1991)
    by Wojciech Penczek
    posted to temporal-logic partial-order branching-time by scis0000001 on 2007-01-30 10:04:54 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 **
  • Quantum Domain Theory - Definitions and Applications
    (11 Jun 2003)
    by Elham Kashefi
    posted to computability-theory decoherence domain-theory interactivity partial-order powerdomains qait qifs qip qit qm quantum-algorithmic-information-theory quantum-domain-theory quantum-field-computation quantum-field-computing quantum-games quantum-information-theory quantum-institutions quantum-logics quantum-semantics by scis0000001 on 2007-02-05 13:35:13 as ** along with 1 person Scis0000002
  • Entropy as a fixed point
    Theor. Comput. Sci., Vol. 350, No. 2. (February 2006), pp. 292-324.
    by Keye Martin
    posted to algorithmic-complexity algorithmic-information-theory algorithmic-probability coding complexity compressibility compression computational-complexity computational-epistemology continuity descriptive-complexity domain-theory entropy event-space fixed-point information information-theory kolmogorov-complexity lattice-theory logics majorization measure-theory order-theory orthogonality parchments partial-order predictability probability-theory process process-theory qualitative quantitative quantum-algorithmic-information-theory quantum-compression quantum-information-theory state-space topological-space total-order universal-prediction by scis0000001 on 2007-03-16 09:53:10 as ** along with 2 people and 1 group AbnerCYH rsantana CSBBGraphTheory
  • The essence of ideal completion in quantitative form
    Theoretical Computer Science, Vol. 278, No. 1-2. (2002), pp. 141-158.
    by Robert C Flagg, Philipp Sunderhauf
    posted to ideal-completion ideals partial-order quantitative trace trace-language traces by scis0000001 on 2007-04-08 14:33:03 as **
  • Partial order reductions for checking branching properties of time petri nets
    (2000), pp. 189-202.
    by W Penczek
    posted to partial-order reduction by scis0000001 on 2007-04-29 17:38:48 as **
  • A partial order on classical and quantum states
    (2002)
    by B Coecke, K Martin
    posted to qm partial-order by scis0000001 on 2007-02-01 14:43:17 as **
  • Efficient Incremental Optimal Chain Partition of Distributed Program Traces
    (2006)
    by Selma Ikiz, Vijay K Garg
    posted to partial-order partition by scis0000001 on 2007-04-28 23:42:05 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
  • Searching in Random Partially Ordered Sets (Extended Abstract)
    by R Carmo, Et
    posted to partial-order search searching by scis0000001 on 2007-04-14 14:19:09 as **
  • Combining partial order alignment and progressive multiple sequence alignment increases alignment speed and scalability to very large alignment problems.
    Bioinformatics, Vol. 20, No. 10. (10 July 2004), pp. 1546-1556.
    by C Grasso, C Lee
    posted to alignment partial-order sequence by scis0000001 on 2007-04-15 15:49:18 as ** along with 4 people Neeperando treangen AbnerCYH zmasek
  • A partial order on classical and quantum states
    (2002)
    by B Coecke, K Martin
    posted to partial-order qm quantum-domain-theory by scis0000001 on 2007-02-23 12:54:02 as **
  • On-line chain partitions of orders
    Theoretical Computer Science, Vol. 175, No. 2. (1997), pp. 283-292.
    by Stefan Felsner
    posted to online partial-order by scis0000001 on 2007-04-28 23:41:23 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 **
  • Similarity and dissimilarity in posets
    Journal of Mathematical Chemistry, Vol. 18, No. 2. (1995), pp. 321-348.
    by DJ Klein
    posted to dissimilarity partial-order similarity by scis0000001 on 2007-04-16 14:26:20 as **
  • Semantics and Syntax for Ordinal Notations and Hierarchies
    by Guillaume Bonfante, Adam Cichon, François Lamarche
    posted to category-of-posets hierarchy partial-order by scis0000001 on 2007-05-06 12:30:48 as **
  • Linear extensions of a random partial order
    (1994)
    by N Alon, B Bollobas, G Brightwell, S Janson
    posted to extension partial-order randomness by scis0000001 on 2007-04-14 14:17:28 as ** along with 1 person baisemain
  • Partial Orderings in Chemistry
    J. Chem. Inf. Model., Vol. 37, No. 4. (28 July 1997), pp. 656-671.
    by DJ Klein, D Babic
    posted to chemistry order-theory partial-order by scis0000001 on 2007-04-16 14:06:18 as **
  • I-categories as a framework for solving domain equations
    Theoretical Computer Science, Vol. 115, No. 1. (1993), pp. 77-106.
    by Abbas Edalat, Michael B Smyth
    posted to computational-model-theory countability finiteness information-system minimal-sufficient-statistic partial-order reducibility by scis0000001 on 2007-02-18 11:46:24 as **
  • Hasse Diagrams and their Relation to Molecular Periodicity
    : Partial Order in Environmental Sciences and Chemistry (2006), pp. 27-33.
    by Ray Hefferlin
    posted to fca order-theory partial-order periodicity by scis0000001 on 2007-04-16 13:59:05 as **
  • New QSAR Modelling Approach Based on Ranking Models by Genetic Algorithms - Variable Subset Selection (GA-VSS)
    : Partial Order in Environmental Sciences and Chemistry (2006), pp. 181-217.
    by Manuela Pavan, Viviana Consonni, Paola Gramatica, Roberto Todeschini
    posted to partial-order ranking by scis0000001 on 2007-04-14 14:06:48 as **
    • Bemerkung: Sie können diese Seite wie folgt zitieren: http://www.citeulike.org/tag/partial-order

    Result page: 1 2 Next RIS BibTeX
    CiteULike organises scholarly (or academic) papers or literature and provides bibliographic (which means it makes bibliographies) for universities and higher education establishments. It helps undergraduates and postgraduates. People studying for PhDs or in postdoctoral (postdoc) positions. The service is similar in scope to EndNote or RefWorks or any other reference manager like BibTeX, but it is a social bookmarking service for scientists and humanities researchers.