English
Related papers

Related papers: True Parallel Graph Transformations: an Algebraic …

200 papers

Multilevel modeling extends traditional modeling techniques with a potentially unlimited number of abstraction levels. Multilevel models can be formally represented by multilevel typed graphs whose manipulation and transformation are…

Software Engineering · Computer Science 2020-06-26 Uwe Wolter , Fernando Macías , Adrian Rutle

Ideas from deformation quantization applied to algebras with one generator lead to methods to treat a nonlinear flat connection. It provides us elements of algebras to be parallel sections. The moduli space of the parallel sections is…

Quantum Algebra · Mathematics 2007-11-26 Hideki Omori , Yoshiaki Maeda , Naoya Miyazaki , Akira Yoshioka

Pseudo-arclength continuation is a well-established method for generating a numerical curve approximating the solution of an underdetermined system of nonlinear equations. It is an inherently sequential predictor-corrector method in which…

Numerical Analysis · Mathematics 2013-12-13 Dhavide Aruliah , Lennaert van Veen , Alex Dubitski

The 'exact subgraph' approach was recently introduced as a hierarchical scheme to get increasingly tight semidefinite programming relaxations of several NP-hard graph optimization problems. Solving these relaxations is a computational…

Optimization and Control · Mathematics 2019-08-09 Elisabeth Gaar , Franz Rendl

IC-planar graphs are those graphs that admit a drawing where no two crossed edges share an end-vertex and each edge is crossed at most once. They are a proper subfamily of the 1-planar graphs. Given an embedded IC-planar graph $G$ with $n$…

Computational Geometry · Computer Science 2016-07-19 Franz J. Brandenburg , Walter Didimo , William S. Evans , Philipp Kindermann , Giuseppe Liotta , Fabrizio Montecchiani

Finding patterns in graphs is a fundamental problem in databases and data mining. In many applications, graphs are temporal and evolve over time, so we are interested in finding durable patterns, such as triangles and paths, which persist…

Databases · Computer Science 2024-03-26 Pankaj K. Agarwal , Xiao Hu , Stavros Sintos , Jun Yang

Conformal transformations of a Euclidean (complex) plane have some kind of completeness (sufficiency) for the solution of many mathematical and physical-mathematical problems formulated on this plane. There is no such completeness in the…

Mathematical Physics · Physics 2007-05-23 G. I. Garas'ko

The concept of antimagic labelings of a graph is to produce distinct vertex sums by labeling edges through consecutive numbers starting from one. A long-standing conjecture is that every connected graph, except a single edge, is antimagic.…

Combinatorics · Mathematics 2019-05-21 Fei-Huang Chang , Hong-Bin Chen , Wei-Tian Li , Zhishi Pan

Graph processing is used extensively in areas from social networking mining to web indexing. We demonstrate that the performance and dependability of such applications critically hinges on the graph data structure used, because a fixed,…

Programming Languages · Computer Science 2014-12-30 Amlan Kusum , Iulian Neamtiu , Rajiv Gupta

Pairwise compatibility graphs (PCGs) with non-negative integer edge weights recently have been used to describe rare evolutionary events and scenarios with horizontal gene transfer. Here we consider the case that vertices are separated by…

Combinatorics · Mathematics 2020-05-26 Yangjing Long , Peter F. Stadler

Parallel parameterized complexity theory studies how fixed-parameter tractable (fpt) problems can be solved in parallel. Previous theoretical work focused on parallel algorithms that are very fast in principle, but did not take into account…

Data Structures and Algorithms · Computer Science 2019-02-21 Max Bannach , Malte Skambath , Till Tantau

Graphs face challenges when dealing with massive datasets. They are essential tools for modeling interconnected data and often become computationally expensive. Graph embedding techniques, on the other hand, provide an efficient approach.…

Databases · Computer Science 2024-12-16 Plácido A Souza Neto

We give complete presentations for the dagger-compact props of affine Lagrangian and coisotropic relations over an arbitrary field. This provides a unified family of graphical languages for both affinely constrained classical mechanical…

Logic in Computer Science · Computer Science 2024-03-19 Robert I. Booth , Titouan Carette , Cole Comfort

We identify the algebraic structure of the material histories generated by concurrent processes. Specifically, we extend existing categorical theories of resource convertibility to capture concurrent interaction. Our formalism admits an…

Logic in Computer Science · Computer Science 2023-06-22 Chad Nester

We investigate straight-line drawings of topological graphs that consist of a planar graph plus one edge, also called almost-planar graphs. We present a characterization of such graphs that admit a straight-line drawing. The…

Computational Geometry · Computer Science 2015-07-01 Peter Eades , Seok-Hee Hong , Giuseppe Liotta , Naoki Katoh , Sheung-Hung Poon

In this paper we study the problem of dynamically maintaining graph properties under batches of edge insertions and deletions in the massively parallel model of computation. In this setting, the graph is stored on a number of machines, each…

Data Structures and Algorithms · Computer Science 2019-08-07 David Durfee , Laxman Dhulipala , Janardhan Kulkarni , Richard Peng , Saurabh Sawlani , Xiaorui Sun

In recent years, graph representation learning has gained significant popularity, which aims to generate node embeddings that capture features of graphs. One of the methods to achieve this is employing a technique called random walks that…

Machine Learning · Computer Science 2022-10-13 Deniz Gurevin , Mohsin Shan , Tong Geng , Weiwen Jiang , Caiwen Ding , Omer Khan

Generative deep learning has become pivotal in molecular design for drug discovery, materials science, and chemical engineering. A widely used paradigm is to pretrain neural networks on string representations of molecules and fine-tune them…

Machine Learning · Computer Science 2025-03-21 Jonathan Pirnay , Jan G. Rittig , Alexander B. Wolf , Martin Grohe , Jakob Burger , Alexander Mitsos , Dominik G. Grimm

Despite deep learning models running well-defined mathematical functions, we lack a formal mathematical framework for describing model architectures. Ad-hoc notation, diagrams, and pseudocode poorly handle nonlinear broadcasting and the…

Machine Learning · Computer Science 2026-04-21 Vincent Abbott , Gioele Zardini

Graphical Transformation Models (GTMs) are introduced as a novel approach to effectively model multivariate data with intricate marginals and complex dependency structures semiparametrically, while maintaining interpretability through the…

Methodology · Statistics 2025-08-28 Matthias Herp , Johannes Brachem , Michael Altenbuchinger , Thomas Kneib