English
Related papers

Related papers: Static Analysis of Graph Database Transformations

200 papers

In this paper we present a general procedure that allows for the reduction or expansion of any network (considered as a weighted graph). This procedure maintains the spectrum of the network's adjacency matrix up to a set of eigenvalues…

Dynamical Systems · Mathematics 2011-11-15 L. A. Bunimovich , B. Z. Webb

In recent years, Graph Neural Networks (GNNs) have been utilized for various applications ranging from drug discovery to network design and social networks. In many applications, it is impossible to observe some properties of the graph…

Machine Learning · Computer Science 2025-03-12 Moshe Eliasof , Md Shahriar Rahim Siddiqui , Carola-Bibiane Schönlieb , Eldad Haber

Graph transformation theory relies upon the composition of rules to express the effects of sequences of rules. In practice, graphs are often subject to constraints, ruling out many candidates for composed rules. Focusing on the case of…

Logic in Computer Science · Computer Science 2020-12-04 Nicolas Behr , Reiko Heckel , Maryam Ghaffari Saadat

In directed graphs, a cycle can be seen as a structure that allows its vertices to loop back to themselves, or as a structure that allows pairs of vertices to reach each other through distinct paths. We extend these concepts to temporal…

Computational Complexity · Computer Science 2025-03-05 Davi de Andrade , Júlio Araújo , Allen Ibiapina , Andrea Marino , Jason Schoeters , Ana Silva

Dynamic link prediction is important for modeling evolving interactions in complex systems, including social, communication, financial, and transportation networks. Classical temporal graph models capture sequential dependencies, but they…

We introduce the computational problem of graphlet transform of a sparse large graph. Graphlets are fundamental topology elements of all graphs/networks. They can be used as coding elements to encode graph-topological information at…

Social and Information Networks · Computer Science 2020-09-02 Dimitris Floros , Nikos Pitsianis , Xiaobai Sun

We analyze pattern formation on a network of cells where each cell inhibits its neighbors through cell-to-cell contact signaling. The network is modeled as an interconnection of identical dynamical subsystems each of which represents the…

Dynamical Systems · Mathematics 2014-07-25 Ana S. Rufino Ferreira , Murat Arcak

In the talk at the workshop my aim was to demonstrate the usefulness of graph techniques for tackling problems that have been studied predominantly as problems on the term level: increasing sharing in functional programs, and addressing…

Logic in Computer Science · Computer Science 2019-02-07 Clemens Grabmayer

The growing popularity of dynamic applications such as social networks provides a promising way to detect valuable information in real time. Efficient analysis over high-speed data from dynamic applications is of great significance. Data…

Databases · Computer Science 2018-09-05 Youhuan Li , Lei Zou , M. Tamer Ozsu , Dongyan Zhao

Implementing graph algorithms efficiently in a rule-based language is challenging because graph pattern matching is expensive. In this paper, we present a number of linear-time implementations of graph algorithms in GP 2, an experimental…

Programming Languages · Computer Science 2021-01-06 Graham Campbell , Brian Courtehoute , Detlef Plump

In this work we consider algorithms for reconstructing time-varying data into a finite sum of discrete trajectories, alternatively, an off-the-grid sparse-spikes decomposition which is continuous in time. Recent work showed that this…

Optimization and Control · Mathematics 2022-12-26 Vincent Duval , Robert Tovey

Graphs are ubiquitous and ever-present data structures that have a wide range of applications involving social networks, knowledge bases and biological interactions. The evolution of a graph in such scenarios can yield important insights…

Data Structures and Algorithms · Computer Science 2019-02-15 Lefteris Zervakis , Vinay Setty , Christos Tryfonopoulos , Katja Hose

Continual learning~(CL) is a field concerned with learning a series of inter-related task with the tasks typically defined in the sense of either regression or classification. In recent years, CL has been studied extensively when these…

Machine Learning · Computer Science 2023-11-07 Krishnan Raghavan , Prasanna Balaprakash

Graphs are data structures used to represent irregular networks and are prevalent in numerous real-world applications. Previous methods directly model graph structures and achieve significant success. However, these methods encounter…

Machine Learning · Computer Science 2025-01-03 Shuo Yu , Yingbo Wang , Ruolin Li , Guchun Liu , Yanming Shen , Shaoxiong Ji , Bowen Li , Fengling Han , Xiuzhen Zhang , Feng Xia

Graph transformation has been used to model concurrent systems in software engineering, as well as in biochemistry and life sciences. The application of a transformation rule can be characterised algebraically as construction of a…

Logic in Computer Science · Computer Science 2010-03-30 Paolo Torrini , Reiko Heckel

Large continuous-time Markov chains with exponentially small transition rates arise in modeling complex systems in physics, chemistry and biology. We propose a constructive graph-algorithmic approach to determine the sequence of critical…

Probability · Mathematics 2017-02-01 Tingyue Gan , Maria Cameron

Enumerating chemical graphs satisfying given constraints is a fundamental problem in mathematical and computational chemistry, and plays an essential part in a recently proposed framework for the inverse QSAR/QSPR. In this paper,…

Data Structures and Algorithms · Computer Science 2020-04-21 Kyousuke Yamashita , Ryuji Masui , Xiang Zhou , Chenxi Wang , Aleksandar Shurbevski , Hiroshi Nagamochi , Tatsuya Akutsu

Structural properties of evolving random graphs are investigated. Treating linking as a dynamic aggregation process, rate equations for the distribution of node to node distances (paths) and of cycles are formulated and solved analytically.…

Statistical Mechanics · Physics 2007-05-23 E. Ben-Naim , P. L. Krapivsky

Vision-Language Models (VLMs) have emerged as versatile solutions for zero-shot question answering (QA) across various domains. However, enabling VLMs to effectively comprehend structured graphs and perform accurate, efficient QA remains…

Computer Vision and Pattern Recognition · Computer Science 2026-02-26 Yanbin Wei , Jiangyue Yan , Chun Kang , Yang Chen , Hua Liu , James Kwok , Yu Zhang

Graph-limit theory focuses on the convergence of sequences of graphs when the number of nodes becomes arbitrarily large. This framework defines a continuous version of graphs allowing for the study of dynamical systems on very large graphs,…

Probability · Mathematics 2020-05-20 Julien Petit , Renaud Lambiotte , Timoteo Carletti