The directed plump ordering

02/15/2022

∙

Based on Taylor's hereditarily directed plump ordinals, we define the directed plump ordering on W-types in Martin-Löf type theory. This ordering is similar to the plump ordering but comes equipped with non-empty finite joins in addition to the usual properties of the plump ordering.

READ FULL TEXT

The directed plump ordering

Some ordering properties of highest and lowest order statistics with exponentiated Gumble type-II distributed components

New results of ant algorithms for the Linear Ordering Problem

Deriving a Minimal I-map of a Belief Network Relative to a Target Ordering of its Nodes

Beyond Shared Hierarchies: Deep Multitask Learning through Soft Layer Ordering

Estimation of Gaussian directed acyclic graphs using partial ordering information with an application to dairy cattle data

Consistency between ordering and clustering methods for graphs

A Weighted Quiver Kernel using Functor Homology

The directed plump ordering

Related Research

Some ordering properties of highest and lowest order statistics with exponentiated Gumble type-II distributed components

New results of ant algorithms for the Linear Ordering Problem

Deriving a Minimal I-map of a Belief Network Relative to a Target Ordering of its Nodes

Beyond Shared Hierarchies: Deep Multitask Learning through Soft Layer Ordering

Estimation of Gaussian directed acyclic graphs using partial ordering information with an application to dairy cattle data

Consistency between ordering and clustering methods for graphs

A Weighted Quiver Kernel using Functor Homology