Results 1 to 10 of about 21,862 (84)
Operational axioms for diagonalizing states [PDF]
Electronic Proceedings in Theoretical Computer Science, 2015 In Proceedings QPL 2015, arXiv:1511 ...
Chiribella, G, Scandolo, CM
openaire +4 more sources
Unifying Cubical Models of Univalent Type Theory [PDF]
, 2020 We present a new constructive model of univalent type theory based on cubical sets. Unlike prior work on cubical models, ours depends neither on diagonal cofibrations nor connections.
, Cavallo, Evan, Swan, Andrew W
core +1 more source
Quantale-valued convergence tower spaces: Diagonal axioms and continuous extension
Filomat, 2021 We generalize a result on continuous extension of a mapping on a dense subspace from the category of convergence spaces to the category of quantale-valued convergence tower spaces. To this end, we introduce and study diagonal axioms which characterize topologicalness and regularity for quantalevalued convergence tower spaces.
openaire +2 more sources
Lattice-valued convergence spaces and regularity [PDF]
, 2008 We define a regularity axiom for lattice-valued convergence spaces where the lattice is a complete Heyting algebra. To this end, we generalize the characterization of regularity by a ”dual form” of a diagonal condition.
Jäger, G
core +2 more sources
Low separation axioms via the diagonal
Applied General Topology, 2008 The authors would like to thank the partial support provided by the Universidad de Los Andes CDCHT grant A-1335-05-05.
María Luisa Colasante +2 more
openaire +4 more sources
Multiple Dirichlet Series for Affine Weyl Groups [PDF]
, 2014 Let $W$ be the Weyl group of a simply-laced affine Kac-Moody Lie group, excepting $\tilde{A}_n$ for $n$ even. We construct a multiple Dirichlet series $Z(x_1, \ldots x_{n+1})$, meromorphic in a half-space, satisfying a group $W$ of functional equations ...
Whitehead, Ian
core +3 more sources
Hubcap and ignition switch designs - case studies in Independence Axiom
MATEC Web of Conferences, 2018 Independence Axiom offers designers a guide to good design. It declares that the design parameters (DPs) conceived for a good design must maintain the independence of the design functional requirements (FRs).
Oh Hilario (Larry)
doaj +1 more source
Probablistic convergence spaces and regularity
International Journal of Mathematics and Mathematical Sciences, 1997 The usual definition of regularity for convergence spaces can be characterized by a diagonal axiom R due to Cook and Fischer. The generalization of R to the realm of probabilistic convergence spaces depends on a t-norm T, and the resulting axiom RT ...
P. Brock, D. C. Kent
doaj +1 more source
Application of Axiomatic Design principles in conceptual design
MATEC Web of Conferences, 2018 The main objective of this paper is to propose a modified methodology for concept evaluation by applying Axiomatic Design principles. Several drawbacks were recognised during the literature review and application of established Axiomatic Design ...
Delaš Josipa +2 more
doaj +1 more source
Dual equivalence graphs I: A new paradigm for Schur positivity [PDF]
, 2015 We make a systematic study of a new combinatorial construction called a dual equivalence graph. We axiomatize these graphs and prove that their generating functions are symmetric and Schur positive.
Assaf, Sami H.
core +2 more sources