English
Related papers

Related papers: How Functorial Are (Deep) GADTs?

200 papers

A T-graph (a special case of a chordal graph) is the intersection graph of connected subtrees of a suitable subdivision of a fixed tree T . We deal with the isomorphism problem for T-graphs which is GI-complete in general - when T is a part…

Discrete Mathematics · Computer Science 2022-03-01 Deniz Ağaoğlu Çağırıcı , Petr Hliněný

Depth-first search (DFS) is the basis for many efficient graph algorithms. We introduce general techniques for the efficient implementation of DFS-based graph algorithms and exemplify them on three algorithms for computing strongly…

Data Structures and Algorithms · Computer Science 2017-03-30 Kurt Mehlhorn , Stefan Näher , Peter Sanders

We present a new technique named "Meta Deformation Network" for 3D shape matching via deformation, in which a deep neural network maps a reference shape onto the parameters of a second neural network whose task is to give the correspondence…

Computer Vision and Pattern Recognition · Computer Science 2020-06-29 Daohan Lu , Yi Fang

The complex dynamics of baker's map and its variants in an infinite-precision mathematical domain have been extensively analyzed in the past five decades. However, their real structure implemented in a finite-precision computer remains…

Chaotic Dynamics · Physics 2024-10-08 Chengqing Li , Kai Tan

Recently a novel approach to find approximate exchange-correlation functionals in density-functional theory (DFT) was presented (U. Mordovina et. al., JCTC 15, 5209 (2019)), which relies on approximations to the interacting wave function…

Chemical Physics · Physics 2021-03-04 Iris Theophilou , Teresa E. Reinhard , Angel Rubio , Michael Ruggenthaler

Visual rendering of graphs is a key task in the mapping of complex network data. Although most graph drawing algorithms emphasize aesthetic appeal, certain applications such as travel-time maps place more importance on visualization of…

Machine Learning · Statistics 2013-02-06 Brian Baingana , Georgios B. Giannakis

Patterns stored within pre-trained deep neural networks compose large and powerful descriptive languages that can be used for many different purposes. Typically, deep network representations are implemented within vector embedding spaces,…

Neural and Evolutionary Computing · Computer Science 2017-08-10 Dario Garcia-Gasulla , Armand Vilalta , Ferran Parés , Jonatan Moreno , Eduard Ayguadé , Jesus Labarta , Ulises Cortés , Toyotaro Suzumura

We present a new technique that enables manifold learning to accurately embed data manifolds that contain holes, without discarding any topological information. Manifold learning aims to embed high dimensional data into a lower dimensional…

Robotics · Computer Science 2022-03-11 Thomas Cohn , Nikhil Devraj , Odest Chadwicke Jenkins

Intermediate feature representations represent the backbone for the expressivity and adaptability of deep neural networks. However, their geometric structure remains poorly understood. In this submission, we provide indirect insights into…

Machine Learning · Computer Science 2026-05-13 Elias B. Krey , Nils Neukirch , Nils Strodthoff

Recent advancements in graph representation learning have led to the emergence of condensed encodings that capture the main properties of a graph. However, even though these abstract representations are powerful for downstream tasks, they…

Machine Learning · Computer Science 2020-02-21 Cristian Bodnar , Cătălina Cangea , Pietro Liò

Graph Generating Dependencies (GGDs) informally express constraints between two (possibly different) graph patterns which enforce relationships on both graph's data (via property value constraints) and its structure (via topological…

Databases · Computer Science 2022-11-02 Larissa C. Shimomura , Nikolay Yakovets , George Fletcher

Topological data analysis (TDA) provides insight into data shape. The summaries obtained by these methods are principled global descriptions of multi-dimensional data whilst exhibiting stable properties such as robustness to deformation and…

Machine Learning · Computer Science 2024-03-18 Ali Zia , Abdelwahed Khamis , James Nichols , Zeeshan Hayder , Vivien Rolland , Lars Petersson

We present the algebraic representation and basic algorithms for MultiAspect Graphs (MAGs). A MAG is a structure capable of representing multilayer and time-varying networks, as well as higher-order networks, while also having the property…

Discrete Mathematics · Computer Science 2016-09-27 Klaus Wehmuth , Éric Fleury , Artur Ziviani

In this paper, we find the existence of critical features hidden in Deep NeuralNetworks (DNNs), which are imperceptible but can actually dominate the outputof DNNs. We call these features dominant patterns. As the name suggests, for a…

Machine Learning · Computer Science 2021-06-01 Zhixing Ye , Shaofei Qin , Sizhe Chen , Xiaolin Huang

Graph analytics can lead to better quantitative understanding and control of complex networks, but traditional methods suffer from high computational cost and excessive memory requirements associated with the high-dimensionality and…

Machine Learning · Computer Science 2020-12-16 Mengjia Xu

The recent proliferation of publicly available graph-structured data has sparked an interest in machine learning algorithms for graph data. Since most traditional machine learning algorithms assume data to be tabular, embedding algorithms…

Machine Learning · Computer Science 2019-08-09 Sourav Mukherjee , Tim Oates , Ryan Wright

This study addresses the challenge of accurately identifying multi-task contention types in high-dimensional system environments and proposes a unified contention classification framework that integrates representation transformation,…

Distributed, Parallel, and Cluster Computing · Computer Science 2026-01-29 Xiao Yang , Yinan Ni , Yuqi Tang , Zhimin Qiu , Chen Wang , Tingzhou Yuan

An embedding is a mapping from a set of nodes of a network into a real vector space. Embeddings can have various aims like capturing the underlying graph topology and structure, node-to-node relationship, or other relevant information about…

Machine Learning · Computer Science 2023-06-21 Ashkan Dehghan , Kinga Siuta , Agata Skorupka , Andrei Betlen , David Miller , Bogumil Kaminski , Pawel Pralat

Subgraph matching in logic circuits is foundational for numerous Electronic Design Automation (EDA) applications, including datapath optimization, arithmetic verification, and hardware trojan detection. However, existing techniques rely…

Artificial Intelligence · Computer Science 2025-10-09 Ziyang Zheng , Kezhi Li , Zhengyuan Shi , Qiang Xu

Digital maps play a crucial role in various applications such as navigation, fleet management, and ride-sharing, necessitating their accuracy and currency, which require timely updates. While the majority of geospatial databases (GDBs)…

Machine Learning · Computer Science 2025-09-08 Farnoosh Hashemi , Laks V. S. Lakshmanan