English
Related papers

Related papers: Equivalence Hypergraphs: DPO Rewriting for Monoida…

200 papers

The problem of accelerating drug discovery relies heavily on automatic tools to optimize precursor molecules to afford them with better biochemical properties. Our work in this paper substantially extends prior state-of-the-art on…

Chemical Physics · Physics 2019-10-22 Wengong Jin , Regina Barzilay , Tommi Jaakkola

Node embedding is the task of extracting informative and descriptive features over the nodes of a graph. The importance of node embeddings for graph analytics, as well as learning tasks such as node classification, link prediction and…

Machine Learning · Computer Science 2019-06-17 Dimitris Berberidis , Georgios B. Giannakis

Recent years have seen more and more demand for a unified framework to address multiple realistic image retrieval tasks concerning both category and attributes. Considering the scale of modern datasets, hashing is favorable for its low…

Computer Vision and Pattern Recognition · Computer Science 2016-07-20 Haomiao Liu , Ruiping Wang , Shiguang Shan , Xilin Chen

Matching articulated shapes represented by voxel-sets reduces to maximal sub-graph isomorphism when each set is described by a weighted graph. Spectral graph theory can be used to map these graphs onto lower dimensional spaces and match…

Computer Vision and Pattern Recognition · Computer Science 2020-12-15 Diana Mateus , Radu Horaud , David Knossow , Fabio Cuzzolin , Edmond Boyer

The set of factorizations of permutations in to $m$ transpositions of some symmetric group $\mathcal{S}_n$ is naturally in bijection with the set of graphs of order $n$ and size $m$ with both edges and vertices labeled. We define a notion…

Combinatorics · Mathematics 2024-08-01 Nikos Apostolakis

Hypergraphs are data structures capable of capturing supra-dyadic relations. We can use them to model binary relations, but also to model groups of entities, as well as the intersections between these groups or the contained subgroups. In…

Information Retrieval · Computer Science 2021-04-13 José Devezas , Sérgio Nunes

We report a multiscale approach of broad applicability to stochastic reconstruction of multiphase materials, including porous ones. The approach devised uses an optimization method, such as the simulated annealing (SA) and the so-called…

Materials Science · Physics 2018-11-13 R. Piasecki , W. Olchawa , D. Frączek , R. Wiśniowski

Embedding graphs in continous spaces is a key factor in designing and developing algorithms for automatic information extraction to be applied in diverse tasks (e.g., learning, inferring, predicting). The reliability of graph embeddings…

Machine Learning · Computer Science 2023-11-30 Andrea Marinoni , Pietro Lio' , Alessandro Barp , Christian Jutten , Mark Girolami

In this paper, we develop a novel weighted Laplacian method, which is partially inspired by the theory of graph Laplacian, to study recent popular graph problems, such as multilevel graph partitioning and balanced minimum cut problem, in a…

Machine Learning · Computer Science 2020-05-20 Shijie Xu , Jiayan Fang , Xiang-Yang Li

Optimizing a set of functions simultaneously by leveraging their similarity is called multi-task optimization. Current black-box multi-task algorithms only solve a finite set of tasks, even when the tasks originate from a continuous space.…

Neural and Evolutionary Computing · Computer Science 2024-04-05 Timothée Anne , Jean-Baptiste Mouret

Soft, porous mechanical metamaterials exhibit pattern transformations that may have important applications in soft robotics, sound reduction and biomedicine. To design these innovative materials, it is important to be able to simulate them…

Soft Condensed Matter · Physics 2025-03-14 Fleur Hendriks , Vlado Menkovski , Martin Doškář , Marc G. D. Geers , Ondřej Rokoš

The goal of graph summarization is to represent large graphs in a structured and compact way. A graph summary based on equivalence classes preserves pre-defined features of a graph's vertex within a $k$-hop neighborhood such as the vertex…

Machine Learning · Computer Science 2022-12-09 Maximilian Blasi , Manuel Freudenreich , Johannes Horvath , David Richerby , Ansgar Scherp

Graphs and various graph-like combinatorial structures, such as preorders and hypergraphs, are ubiquitous in programming. This paper focuses on representing graphs in a purely functional programming language like Haskell. There are several…

Programming Languages · Computer Science 2022-02-21 Andrey Mokhov

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

Efficiently solving the Job Shop Scheduling Problem in real-world industrial applications requires policies that are both computationally lean and topologically robust. While Reinforcement Learning has shown potential in automating…

Machine Learning · Computer Science 2026-04-28 Jonathan Hoss , Moritz Link , Noah Klarmann

This is a motivating tutorial introduction to a semantic analysis of programming languages using a graphical language as the representation of terms, and graph rewriting as a representation of reduction rules. We show how the graphical…

Programming Languages · Computer Science 2021-02-05 Dan R. Ghica

In recent years, kernel methods are widespread in tasks of similarity measuring. Specifically, graph kernels are widely used in fields of bioinformatics, chemistry and financial data analysis. However, existing methods, especially entropy…

Machine Learning · Computer Science 2023-03-27 Chengyu Sun , Xing Ai , Zhihong Zhang , Edwin R Hancock

We investigate the complexity of isomorphism relations for classes of finitely generated and n-generated computably enumerable (c.e.) algebras, presented via c.e. presentations -- that is, as quotients of term algebras over decidable sets…

Logic · Mathematics 2026-01-21 Meng-Che "Turbo" Ho , Martin Ritter , Luca San Mauro

We show that diagrammatic sets, a topologically sound alternative to polygraphs and strict $\omega$-categories, admit an internal notion of equivalence in the sense of coinductive weak invertibility. We prove that equivalences have the…

Category Theory · Mathematics 2025-12-23 Clémence Chanavat , Amar Hadzihasanovic

Bigraphs are an emerging modeling formalism for structures in ubiquitous computing. Besides an algebraic notation, which can be adopted to provide an algebraic syntax for bigraphs, the bigraphical theory introduces a visual concrete syntax…

Software Engineering · Computer Science 2016-12-07 Timo Kehrer , Christos Tsigkanos , Carlo Ghezzi