English
Related papers

Related papers: Term Graph Representations for Cyclic Lambda-Terms

200 papers

Graph-based collaborative filtering is capable of capturing the essential and abundant collaborative signals from the high-order interactions, and thus received increasingly research interests. Conventionally, the embeddings of users and…

Information Retrieval · Computer Science 2022-08-03 Yiding Zhang , Chaozhuo Li , Senzhang Wang , Jianxun Lian , Xing Xie

Many real-world phenomena are naturally modeled by graphs and networks. However, classical graph models are often limited to pairwise interactions and may not adequately capture the richer structures that arise in practice. Higher-order…

Social and Information Networks · Computer Science 2026-05-18 Takaaki Fujita , Florentin Smarandache

Temporal graphs are commonly used to represent time-resolved relations between entities in many natural and artificial systems. Many techniques were devised to investigate the evolution of temporal graphs by comparing their state at…

Social and Information Networks · Computer Science 2024-11-20 Lorenzo Dall'Amico , Alain Barrat , Ciro Cattuto

Many topological data analysis (TDA) pipelines compute large collections of persistence diagrams, yet vectorizations and kernel methods discard the rank-induced implication relations among persistence intervals that are essential for…

Computational Geometry · Computer Science 2026-05-12 Charles Fanning , Mehmet Aktas

The spectral properties of traditional (dyadic) graphs, where an edge connects exactly two vertices, are widely studied in different applications. These spectral properties are closely connected to the structural properties of dyadic…

Social and Information Networks · Computer Science 2025-06-23 Hao Tian , Shengmin Jin , Reza Zafarani

Graph is an important data representation which appears in a wide diversity of real-world scenarios. Effective graph analytics provides users a deeper understanding of what is behind the data, and thus can benefit a lot of useful…

Artificial Intelligence · Computer Science 2018-02-05 Hongyun Cai , Vincent W. Zheng , Kevin Chen-Chuan Chang

A few steps are made towards representation theory of embeddability among uncountable graphs. A monotone class of graphs is defined by forbidding countable subgraphs, related to the graph's end-structure. Using a combinatorial theorem of…

Logic · Mathematics 2016-09-06 Menachem Kojman

As an efficient model for knowledge organization, the knowledge graph has been widely adopted in several fields, e.g., biomedicine, sociology, and education. And there is a steady trend of learning embedding representations of knowledge…

Computation and Language · Computer Science 2024-04-01 Siyu Yao , Ruijie Wang , Shen Sun , Derui Bu , Jun Liu

Graphs are a representation of structured data that captures the relationships between sets of objects. With the ubiquity of available network data, there is increasing industrial and academic need to quickly analyze graphs with billions of…

Machine Learning · Computer Science 2023-07-28 Brandon Mayer , Anton Tsitsulin , Hendrik Fichtenberger , Jonathan Halcrow , Bryan Perozzi

Word-representable graphs, characterized by the existence of a semi-transitive orientation, form a well-studied class of graphs. Comparability graphs form another well-studied class and constitute a subclass of word-representable graphs.…

Discrete Mathematics · Computer Science 2026-05-15 Benny George Kenkireth , Gopalan Sajith , Sreyas Sasidharan

The main goal of this note is to provide a First-Order Logic with Betweenness (FOLB) axiomatization of the main classes of graphs occurring in Metric Graph Theory, in analogy to Tarski's axiomatization of Euclidean geometry. We provide such…

Combinatorics · Mathematics 2024-07-12 Jérémie Chalopin , Manoj Changat , Victor Chepoi , Jeny Jacob

Graphs, such as social networks, word co-occurrence networks, and communication networks, occur naturally in various real-world applications. Analyzing them yields insight into the structure of society, language, and different patterns of…

Social and Information Networks · Computer Science 2019-08-22 Palash Goyal , Emilio Ferrara

In this work, we study the utility of graph embeddings to generate latent user representations for trust-based collaborative filtering. In a cold-start setting, on three publicly available datasets, we evaluate approaches from four method…

Social and Information Networks · Computer Science 2021-02-02 Tomislav Duricic , Hussain Hussain , Emanuel Lacic , Dominik Kowald , Denis Helic , Elisabeth Lex

Word-representable graphs are a subset of graphs that may be represented by a word $w$ over an alphabet composed of the vertices in the graph. In such graphs, an edge exists if and only if the occurrences of the corresponding vertices…

Data Structures and Algorithms · Computer Science 2025-02-12 Duncan Adamson

The $\lambda$-calculus is a handy formalism to specify the evaluation of higher-order programs. It is not very handy, however, when one interprets the specification as an execution mechanism, because terms can grow exponentially with the…

Logic in Computer Science · Computer Science 2019-07-16 Andrea Condoluci , Beniamino Accattoli , Claudio Sacerdoti Coen

We study the hairy graph homology of a cyclic operad; in particular we show how to assemble corresponding hairy graph cohomology classes to form cocycles for ordinary graph homology, as defined by Kontsevich. We identify the part of hairy…

Algebraic Topology · Mathematics 2013-08-21 Jim Conant , Martin Kassabov , Karen Vogtmann

The graph structure is a commonly used data storage mode, and it turns out that the low-dimensional embedded representation of nodes in the graph is extremely useful in various typical tasks, such as node classification, link prediction ,…

Social and Information Networks · Computer Science 2020-08-03 Xing Li , Wei Wei , Xiangnan Feng , Xue Liu , Zhiming Zheng

Human knowledge provides a formal understanding of the world. Knowledge graphs that represent structural relations between entities have become an increasingly popular research direction towards cognition and human-level intelligence. In…

Computation and Language · Computer Science 2021-04-02 Shaoxiong Ji , Shirui Pan , Erik Cambria , Pekka Marttinen , Philip S. Yu

End-periodic homotopy equivalences of infinite, locally finite graphs serve as dimension-one analogs of the end-periodic automorphisms traditionally defined on infinite-type surfaces. We demonstrate that if $\Gamma$ is an infinite graph…

Geometric Topology · Mathematics 2025-11-20 Adam R. Smith

We deal with first-order definability in the embeddability ordering $( \mathcal{D}; \leq)$ of finite directed graphs. A directed graph $G\in \mathcal{D}$ is said to be embeddable into $G' \in \mathcal{D}$ if there exists an injective graph…

Logic · Mathematics 2018-06-21 Ádám Kunos