CiteULike: scis0000001's partial-order [43 articles]

	Semantics and Syntax for Ordinal Notations and Hierarchies [My Copy] 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
	Integrating Real-Time and Partial-Order Information in Event-Data Displays [My Copy] 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
	Partial order reduction for probabilistic branching time [My Copy] 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
	Partial order reductions for checking branching properties of time petri nets [My Copy] In Proc. of CS\&P'00, Humboldt University (2000), pp. 189-202. by W. Penczek posted to partial-order reduction by scis0000001 on 2007-04-29 17:38:48 as
	Model Checking of Time Petri Nets Based on Partial Order Semantics [My Copy] In International Conference on Concurrency Theory, Vol. 1664 (August 1999), pp. 210-225. by Burkhard Bieber, Hans Fleischhack edited by Jos C. M. 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
	Efficient Incremental Optimal Chain Partition of Distributed Program Traces [My Copy] In ICDCS '06: Proceedings of the 26th IEEE International Conference on Distributed Computing Systems (2006) by Selma Ikiz, Vijay K. Garg posted to partial-order partition by scis0000001 on 2007-04-28 23:42:05 as
	On-line chain partitions of orders [My Copy] 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
	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
	Similarity and dissimilarity in posets [My Copy] Journal of Mathematical Chemistry, Vol. 18, No. 2. (1995), pp. 321-348. by D. J. Klein posted to dissimilarity partial-order similarity by scis0000001 on 2007-04-16 14:26:20 as
	Clustering pair-wise dissimilarity data into partially ordered sets [My Copy] In KDD '06: Proceedings of the 12th ACM SIGKDD international conference on Knowledge discovery and data mining (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
	Partial Orderings in Chemistry [My Copy] J. Chem. Inf. Model., Vol. 37, No. 4. (28 July 1997), pp. 656-671. by D. J. Klein, D. Babic posted to chemistry order-theory partial-order by scis0000001 on 2007-04-16 14:06:18 as
	Hasse Diagrams and their Relation to Molecular Periodicity [My Copy] : 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
	Combining partial order alignment and progressive multiple sequence alignment increases alignment speed and scalability to very large alignment problems. [My Copy] 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 BioNica Neeperando treangen AbnerCYH
	Generalised Prioritisation: A New Way of Combining Similarity Metrics [My Copy] (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 [My Copy] In Bayesian Inference and Maximum Entropy Methods in Science and Engineering, Jackson Hole WY, USA 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 along with 1 person Scis0000002
	$My PDF felsner_94_fractional.pdf$ On the Fractional Dimension of Partially Ordered Sets [My Copy] DMATH: Discrete Mathematics, Vol. 136 (1994) by Felsner, Trotter posted to dimension partial-order by scis0000001 on 2007-04-14 14:29:41 as
	Phase Transitions in the Evolution of Partial Orders [My Copy] 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
	Searching in Random Partially Ordered Sets (Extended Abstract) [My Copy] by R. Carmo, Et posted to partial-order search searching by scis0000001 on 2007-04-14 14:19:09 as
	Linear extensions of a random partial order [My Copy] (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
	New QSAR Modelling Approach Based on Ranking Models by Genetic Algorithms - Variable Subset Selection (GA-VSS) [My Copy] : 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
	The essence of ideal completion in quantitative form [My Copy] 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
	Generating Finite-State Abstractions of Reactive Systems Using Decision Procedures [My Copy] In Computer Aided Verification (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
	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
	Partial-order databases [My Copy] (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
	Entropy as a fixed point [My Copy] 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 5 people and 1 group ansobol Scis0000002 algorithmic AbnerCYH rsantana CSBBGraphTheory
	Bayesian Model Selection in Finite Mixtures by Marginal Density Decompositions Hemant Ishwaran, Lancelot F. James, and Jiayang Sun [My Copy] 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
	$My PDF hubi&\#269;ka_05_universal.pdf$ Universal partial order represented by means of oriented trees and other simple graphs [My Copy] 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
	A partial order on classical and quantum states [My Copy] (2002) by B. Coecke, K. Martin posted to partial-order qm quantum-domain-theory by scis0000001 on 2007-02-23 12:54:02 as
	I-categories as a framework for solving domain equations [My Copy] 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
	Quantum Domain Theory - Definitions and Applications [My Copy] (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
	Combining Partial Order and Symmetry Reductions [My Copy] In Tools and {A}lgorithms for the {C}onstruction and {A}nalysis of {S}ystems (1997), pp. 19-34. by E. A. 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
	A Hierarchy of Partial Order Temporal Properties [My Copy] In ICTL (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
	A partial order on classical and quantum states [My Copy] (2002) by B. Coecke, K. Martin posted to qm partial-order by scis0000001 on 2007-02-01 14:43:17 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
	Branching Time and Partial Order in Temporal Logics [My Copy] 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
	Modal and Temporal Operators on Partial Orders [My Copy] 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
	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
	Computabilitytheoretic and proof-theoretic aspects of partial and linear orderings [My Copy] 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
	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
	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
	Hierarchies of generalized Kolmogorov complexities and nonenumerable universal measures computable in the limit [My Copy] (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

scis0000001's partial-order [43 articles] Export

scis0000001's tags