English
Related papers

Related papers: Kernels, Truth and Satisfaction

200 papers

Once the set of finite graphs is equipped with an algebra structure (arising from the definition of operations that generalize the concatenation of words), one can define the notion of a recognizable set of graphs in terms of finite…

Logic in Computer Science · Computer Science 2007-05-23 Bruno Courcelle , Pascal Weil

Knowledge graphs represent facts about real-world entities. Most of these facts are defined as positive statements. The negative statements are scarce but highly relevant under the open-world assumption. Furthermore, they have been…

Artificial Intelligence · Computer Science 2023-11-16 Rita T. Sousa , Sara Silva , Catia Pesquita

A graph is said to be {\it total-colored} if all the edges and vertices of the graph are colored. A path in a total-colored graph is a {\it total proper path} if $(i)$ any two adjacent edges on the path differ in color, $(ii)$ any two…

Combinatorics · Mathematics 2017-05-09 Yingying Zhang , Xiaoyu Zhu

Two classical concepts of centrality in a graph are the median and the center. The connected notions of the status and the radius of a graph seem to be in no relation. In this paper, however, we show a clear connection of both concepts, as…

Combinatorics · Mathematics 2014-07-17 Roswitha Rissner , Rainer E. Burkard

We provide a formal introduction into the classic theorems of general topology and its axiomatic foundations in set theory. Starting from ZFC, the exposition in this first part includes relation and order theory as well as a construction of…

History and Overview · Mathematics 2013-06-26 Felix Nagel

A kernel in a digraph is an independent and absorbent subset of its vertex set. A digraph is critical kernel imperfect if it does not have a kernel, but every proper induced subdigraph does. In this article, we characterize asymmetrical…

The CONNECTED VERTEX COVER problem asks for a vertex cover in a graph that induces a connected subgraph. The problem is known to be fixed-parameter tractable (FPT), and is unlikely to have a polynomial sized kernel (under complexity…

Data Structures and Algorithms · Computer Science 2018-10-08 R. Krithika , Diptapriyo Majumdar , Venkatesh Raman

Graph structures are ubiquitous throughout the natural sciences. Here we consider graph-structured quantum data and describe how to carry out its quantum machine learning via quantum neural networks. In particular, we consider training data…

Quantum Physics · Physics 2021-03-22 Kerstin Beer , Megha Khosla , Julius Köhler , Tobias J. Osborne

In this paper, we focus on the topic Synchronization and consensus of Complex Networks and their relationships. It is revealed that two topics are closely relating to each other and all results given in \cite{Li} can be obtained by the…

Adaptation and Self-Organizing Systems · Physics 2018-04-30 Tianping Chen

In this article a surprising result is demonstrated using the neural tangent kernel. This kernel is defined as the inner product of the vector of the gradient of an underlying model evaluated at training points. This kernel is used to…

Artificial Intelligence · Computer Science 2021-04-14 Matt Calder

The vertices of a $k$-token graph of a graph $G$ correspond to $k$ indistinguishable tokens placed on $k$ different vertices of $G$. Changing some conditions on both the nature of the tokens and the number of tokens allowed in each vertex…

Combinatorics · Mathematics 2026-04-07 Xiaodi Song , Cristina Dalfó , Miquel Àngel Fiol , Mercè Mora , Shenggui Zhang

The sets used to construct other mathematical objects are pure sets, which means that all of their elements are sets, which are themselves pure. One set may therefore be within another, not as an element, but as an element of an element, or…

Logic · Mathematics 2019-05-16 Ruadhan O'Flanagan

In this paper we provide a comprehensive introduction to knowledge graphs, which have recently garnered significant attention from both industry and academia in scenarios that require exploiting diverse, dynamic, large-scale collections of…

The composition operators preserving total non-negativity and total positivity for various classes of kernels are classified, following three themes. Letting a function act by post composition on kernels with arbitrary domains, it is shown…

Functional Analysis · Mathematics 2023-09-27 Alexander Belton , Dominique Guillot , Apoorva Khare , Mihai Putinar

We show that problems which have finite integer index and satisfy a requirement we call treewidth-bounding admit linear kernels on the class of $H$-topological-minor free graphs, for an arbitrary fixed graph $H$. This builds on earlier…

Data Structures and Algorithms · Computer Science 2012-07-16 Alexander Langer , Felix Reidl , Peter Rossmanith , Somnath Sikdar

Point clouds are sets of points in two or three dimensions. Most kernel methods for learning on sets of points have not yet dealt with the specific geometrical invariances and practical constraints associated with point clouds in computer…

Machine Learning · Computer Science 2007-12-21 Francis Bach

Most graph kernels are an instance of the class of $\mathcal{R}$-Convolution kernels, which measure the similarity of objects by comparing their substructures. Despite their empirical success, most graph kernels use a naive aggregation of…

Machine Learning · Computer Science 2019-10-31 Matteo Togninalli , Elisabetta Ghisu , Felipe Llinares-López , Bastian Rieck , Karsten Borgwardt

Many graph problems were first shown to be fixed-parameter tractable using the results of Robertson and Seymour on graph minors. We show that the combination of finite, computable, obstruction sets and efficient order tests is not just one…

Computational Complexity · Computer Science 2013-05-15 Michael R. Fellows , Bart M. P. Jansen

A number of applications in engineering, social sciences, physics, and biology involve inference over networks. In this context, graph signals are widely encountered as descriptors of vertex attributes or features in graph-structured data.…

Machine Learning · Statistics 2016-12-21 Daniel Romero , Meng Ma , Georgios B. Giannakis

The aim of the present work is a comparative study of different persistence kernels applied to various classification problems. After some necessary preliminaries on homology and persistence diagrams, we introduce five different kernels…

Machine Learning · Computer Science 2024-08-15 Cinzia Bandiziol , Stefano De Marchi