中文
相关论文

相关论文: A Few Graph-Based Relational Numerical Abstract Do…

200 篇论文

Variable sharing is a fundamental property in the static analysis of logic programs, since it is instrumental for ensuring correctness and increasing precision while inferring many useful program properties. Such properties include modes,…

编程语言 · 计算机科学 2025-01-22 Daniel Jurjo-Rivas , Jose F. Morales , Pedro López-García , Manuel V. Hermenegildo

Dynamic multi-relational graphs are an expressive relational representation for data enclosing entities and relations of different types, and where relationships are allowed to vary in time. Addressing predictive tasks over such data…

机器学习 · 计算机科学 2024-03-19 Asma Sattar , Georgios Deligiorgis , Marco Trincavelli , Davide Bacciu

Graphs are naturally sparse objects that are used to study many problems involving networks, for example, distributed learning and graph signal processing. In some cases, the graph is not given, but must be learned from the problem and…

机器学习 · 统计学 2017-08-31 Martin Sundin , Arun Venkitaraman , Magnus Jansson , Saikat Chatterjee

Many real-world domains can be expressed as graphs and, more generally, as multi-relational knowledge graphs. Though reasoning and learning with knowledge graphs has traditionally been addressed by symbolic approaches, recent methods in…

人工智能 · 计算机科学 2020-03-25 Sebastijan Dumancic , Alberto Garcia-Duran , Mathias Niepert

Let G be a finite connected simple graph. We define the moduli space of conformal structures on G. We propose a definition of conformally covariant operators on graphs, motivated by [25]. We provide examples of conformally covariant…

组合数学 · 数学 2014-10-07 Dmitry Jakobson , Thomas Ng , Matthew Stevenson , Mashbat Suzuki

The modelling of discrete regulatory networks combines a graph specifying the pairwise influences between the variables of the system, and a parametrisation from which can be derived a discrete transition system. Given the influence graph…

离散数学 · 计算机科学 2018-03-19 Juraj Kolčák , David Šafránek , Stefan Haar , Loïc Paulevé

Multivariate networks are commonly found in real-world data-driven applications. Uncovering and understanding the relations of interest in multivariate networks is not a trivial task. This paper presents a visual analytics workflow for…

社会与信息网络 · 计算机科学 2024-07-04 Hsiao-Ying Lu , Takanori Fujiwara , Ming-Yi Chang , Yang-chih Fu , Anders Ynnerman , Kwan-Liu Ma

Specifying a complete domain model is time-consuming, which has been a bottleneck of AI planning technique application in many real-world scenarios. Most classical domain-model learning approaches output a domain model in the form of the…

人工智能 · 计算机科学 2019-07-22 Zhanhao Xiao , Hai Wan , Hankui Hankz Zhuo , Jinxia Lin , Yanan Liu

A graphical model is a statistical model that is associated to a graph whose nodes correspond to variables of interest. The edges of the graph reflect allowed conditional dependencies among the variables. Graphical models admit…

统计方法学 · 统计学 2016-06-09 Mathias Drton , Marloes H. Maathuis

Graphs are a powerful tool for representing and analyzing unstructured, non-Euclidean data ubiquitous in the healthcare domain. Two prominent examples are molecule property prediction and brain connectome analysis. Importantly, recent works…

机器学习 · 计算机科学 2022-04-04 Kamilia Mullakaeva , Luca Cosmo , Anees Kazi , Seyed-Ahmad Ahmadi , Nassir Navab , Michael M. Bronstein

A graph drawing in the plane is called an almost embedding if the images of any two non-adjacent simplices (i.e. vertices or edges) are disjoint. Almost embeddings (more precisely, their higher-dimensional analogues) naturally appear in…

几何拓扑 · 数学 2026-03-10 E. Alkin , A. Miroshnikov , A. Skopenkov

Existing domain adaptation methods tend to treat every domain equally and align them all perfectly. Such uniform alignment ignores topological structures among different domains; therefore it may be beneficial for nearby domains, but not…

机器学习 · 计算机科学 2023-04-24 Zihao Xu , Hao He , Guang-He Lee , Yuyang Wang , Hao Wang

Motivated by both established and new applications, we study navigational query languages for graphs (binary relations). The simplest language has only the two operators union and composition, together with the identity relation. We make…

In causal graphical models based on directed acyclic graphs (DAGs), directed paths represent causal pathways between the corresponding variables. The variable at the beginning of such a path is referred to as an ancestor of the variable at…

机器学习 · 计算机科学 2021-05-24 Wenyu Chen , Mathias Drton , Ali Shojaie

The paper provides the first constructions of strongly regular graphs and association schemes from weakly regular plateaued functions over finite fields of odd characteristic. We generalize the construction method of strongly regular graphs…

信息论 · 计算机科学 2018-09-11 Sihem Mesnager , Ahmet Sınak

$\DeclareMathOperator{\IntR}{Int{}^\text{R}}$Integer-valued rational functions are a natural generalization of integer-valued polynomials. Given a domain $D$, the collection of all integer-valued rational functions over $D$ forms a ring…

交换代数 · 数学 2024-02-27 Baian Liu

A model of computation is abstract if, when applied to any algebra, the resulting programs for computable functions and sets on that algebra are invariant under isomorphisms, and hence do not depend on a representation for the algebra.…

计算机科学中的逻辑 · 计算机科学 2007-05-23 J. V. Tucker , J. I. Zucker

Graphical models can represent a multivariate distribution in a convenient and accessible form as a graph. Causal models can be viewed as a special class of graphical models that not only represent the distribution of the observed system…

统计方法学 · 统计学 2017-06-29 Christina Heinze-Deml , Marloes H. Maathuis , Nicolai Meinshausen

A series of associative algebras $A_n(V)$ for a vertex operator algebra $V$ over an arbitrary algebraically closed field and nonnegative integers $n$ are constructed such that there is a one to one correspondence between irreducible…

量子代数 · 数学 2016-11-22 Li Ren

The Lie algebra of planar vector fields with coefficients from the field of rational functions over an algebraically closed field of characteristic zero is considered. We find all finite-dimensional Lie algebras that can be realized as…

环与代数 · 数学 2013-01-10 Ievgen Makedonskyi , Anatoliy Petravchuk