English
Related papers

Related papers: Finite Confluences and Closed Pattern Mining

200 papers

Mining dense quasi-cliques is a well-known clustering task with applications ranging from social networks over collaboration graphs to document analysis. Recent work has extended this task to multiple graphs; i.e. the goal is to find groups…

Artificial Intelligence · Computer Science 2018-10-04 Roberto Alonso , Stephan Günnemann

We develop two generalizations of contraction theory, namely, semi-contraction and weak-contraction theory. First, using the notion of semi-norm, we propose a geometric framework for semi-contraction theory. We introduce matrix…

Systems and Control · Electrical Eng. & Systems 2020-10-06 Saber Jafarpour , Pedro Cisneros-Velarde , Francesco Bullo

The modeling and control of networks over finite lattices are studied via the algebraic state space approach. Using the semi-tensor product of matrices, we obtain the algebraic state space representation of the dynamics of (control)…

Optimization and Control · Mathematics 2024-12-17 Zhengping Ji , Daizhan Cheng

This paper provides some evidence for conjectural relations between extensions of (right) weak order on Coxeter groups, closure operators on root systems, and Bruhat order. The conjecture focused upon here refines an earlier question as to…

Group Theory · Mathematics 2019-08-15 Matthew Dyer

A mixed lattice is a lattice-type structure consisting of a set with two partial orderings, and generalizing the notion of a lattice. Mixed lattice theory has previously been studied in various algebraic structures, such as groups and…

Combinatorics · Mathematics 2024-04-10 Jani Jokela

This work investigates the factorization of finite lattices to implode selected intervals while preserving the remaining order structure. We examine how complete congruence relations and complete tolerance relations can be utilized for this…

Discrete Mathematics · Computer Science 2022-12-21 Maren Koyda , Gerd Stumme

The goal of this paper is to show that generalizing the notion of frequent patterns can be useful in extending association analysis to more complex higher order patterns. To that end, we describe a general framework for modeling a complex…

Databases · Computer Science 2007-05-23 Zengyou He , Xiaofei Xu , Shengchun Deng

In this paper we introduce a general framework for the study of limits of relational structures in general and graphs in particular, which is based on a combination of model theory and (functional) analysis. We show how the various…

Combinatorics · Mathematics 2021-04-23 Jaroslav Nesetril , Patrice Ossona De Mendez

The scalar and vector Laplacians are basic operators in physics and engineering. In applications, they show up frequently perturbed by lower-order terms. The effect of such perturbations on mixed finite element methods in the scalar case is…

Numerical Analysis · Mathematics 2018-11-13 Douglas N. Arnold , Lizao Li

This paper presents an alternative approach of analyzing possibly multitype point patterns in space and space-time that occur on network structures, and introduces several different graph-related intensity measures. The proposed formalism…

Applications · Statistics 2017-10-18 Matthias Eckardt , Jorge Mateu

Some concepts, such as non-compactness measure and condensing operators, defined on metric spaces are extended to uniform spaces. Such extensions allow us to locate, in the context of uniform spaces, some classical results existing in…

General Topology · Mathematics 2015-11-25 Raúl Fierro

While studying some properties of linear operators in a Euclidean Jordan algebra, Gowda, Sznajder and Tao have introduced generalized lattice operations based on the projection onto the cone of squares. In two recent papers of the authors…

Rings and Algebras · Mathematics 2014-02-06 A. B. Németh , S. Z. Németh

This paper deals with join-semilattices whose sections, i.e. principal filters, are pseudocomplemented lattices. The pseudocomplement of a\vee b in the section [b,1] is denoted by a\rightarrow b and can be considered as the connective…

Logic · Mathematics 2021-05-18 Ivan Chajda , Helmut Länger

We present a novel approach for data set scaling based on scale-measures from formal concept analysis, i.e., continuous maps between closure systems, and derive a canonical representation. Moreover, we prove said scale-measures are lattice…

Artificial Intelligence · Computer Science 2022-09-28 Tom Hanika , Johannes Hirth

We consider and characterize classes of finite and countably categorical structures and their theories preserved under $E$-operators and $P$-operators. We describe $e$-spectra and families of finite cardinalities for structures belonging to…

Logic · Mathematics 2017-01-04 Sergey V. Sudoplatov

Cut vertices, a generalization of matrix elements of local operators, are revisited, and an expansion in terms of minimally subtracted cut vertices is formulated. An extension of the formalism to deal with semi-inclusive deep inelastic…

High Energy Physics - Phenomenology · Physics 2009-10-30 M. Grazzini

We review the notion of (finitary) filter pair as a tool for creating and analyzing logics. A filter pair can be seen as a presentation of a logic, given by presenting its lattice of theories as the image of a lattice homomorphism, with…

Logic · Mathematics 2021-09-03 Peter Arndt , Hugo Luiz Mariano , Darllan Conceição Pinto

A closure operator on a set $X$ is a function $\operatorname{cl}: \wp(X) \to \wp(X)$ satisfying, for all $A, B \subseteq X$, the following properties: extensivity, $A \subseteq \operatorname{cl}(A)$; monotonicity, which states that if $A…

Combinatorics · Mathematics 2026-03-17 Paulo Magalhães Junior , Renan Maneli Mezabarba , Rodrigo Santos Monteiro

Higher-order interactions provide a nuanced understanding of the relational structure of complex systems beyond traditional pairwise interactions. However, higher-order network analyses also incur more cumbersome interpretations and greater…

Physics and Society · Physics 2026-01-07 Alec Kirkley , Helcio Felippe , Federico Battiston

Motivated by an ongoing project on computer aided derivation of asymptotic models governed by partial differential equations, we introduce a class of term transformations that consists of traversal strategies and insertion of contexts. We…

Logic in Computer Science · Computer Science 2021-12-15 Walid Belkhir , Nicolas Ratier , Duy Duc Nguyen , Michel Lenczner
‹ Prev 1 3 4 5 6 7 10 Next ›