中文
相关论文

相关论文: GAP Computations Concerning Probabilistic Generati…

200 篇论文

Generative Programming (GP) is a computing paradigm allowing automatic creation of entire software families utilizing the configuration of elementary and reusable components. GP can be projected on different technologies, e.g.…

人机交互 · 计算机科学 2007-05-23 Max Schlee , Jean Vanderdonckt

Complex networks theory has commonly been used for modelling and understanding the interactions taking place between the elements composing complex systems. More recently, the use of generative models has gained momentum, as they allow…

物理与社会 · 物理学 2016-05-19 Massimiliano Zanin , Marco Correia , Pedro A. C. Sousa , Jorge Cruz

Many scientifically well-motivated statistical models in natural, engineering and environmental sciences are specified through a generative process, but in some cases it may not be possible to write down a likelihood for these models…

统计计算 · 统计学 2018-10-10 Sanjay Chaudhuri , Subhro Ghosh , David J. Nott , Kim Cuc Pham

Recently, the topic of table pre-training has attracted considerable research interest. However, how to employ table pre-training to boost the performance of tabular prediction remains an open challenge. In this paper, we propose TapTap,…

机器学习 · 计算机科学 2023-05-18 Tianping Zhang , Shaowen Wang , Shuicheng Yan , Jian Li , Qian Liu

The generation of synthetic data is an essential tool to study complex systems, allowing for example to test models of these in precisely controlled settings, or to parametrize simulation models when data is missing. This paper focuses on…

应用统计 · 统计学 2019-11-25 Juste Raimbault

The package numericalsgps performs computations with and for numerical semigroups. Recently also affine semigroups are admitted as objects for calculations. This manuscript is a survey of what the package does, and at the same time of the…

交换代数 · 数学 2019-02-12 Manuel Delgado , Pedro A. García Sánchez

For $n > 2$, let $\Gamma$ denote either $SL(n, Z)$ or $Sp(n, Z)$. We give a practical algorithm to compute the level of the maximal principal congruence subgroup in an arithmetic group $H\leq \Gamma$. This forms the main component of our…

群论 · 数学 2022-11-07 Alla Detinko , Dane Flannery , Alexander Hulpke

We present a uniform methodology for computing with finitely generated matrix groups over any infinite field. As one application, we completely solve the problem of deciding finiteness in this class of groups. We also present an algorithm…

群论 · 数学 2019-05-14 A. S. Detinko , D. L. Flannery , E. A. O'Brien

Let $G$ be a finite $2$-generated non-cyclic group. The spread of $G$ is the largest integer $k$ such that for any nontrivial elements $x_1, \ldots, x_k$, there exists $y \in G$ such that $G = \langle x_i, y\rangle$ for all $i$. The more…

群论 · 数学 2019-09-17 Timothy C. Burness , Scott Harper

Building explainable systems is a critical problem in the field of Natural Language Processing (NLP), since most machine learning models provide no explanations for the predictions. Existing approaches for explainable machine learning…

计算与语言 · 计算机科学 2019-06-12 Hui Liu , Qingyu Yin , William Yang Wang

A compiler approach for generating low-level computer code from high-level input for discontinuous Galerkin finite element forms is presented. The input language mirrors conventional mathematical notation, and the compiler generates…

数学软件 · 计算机科学 2011-04-05 Kristian B. Ølgaard , Anders Logg , Garth N. Wells

Probabilistic generative models of graphs are important tools that enable representation and sampling. Many recent works have created probabilistic models of graphs that are capable of representing not only entity interactions but also…

机器学习 · 计算机科学 2023-08-09 Pablo Robles-Granda , Katherine Tsai , Oluwasanmi Koyejo

We present new algorithms to synthesize exact universal reversible gate library for various types of gates and costs. We use the powerful algebraic software GAP for implementation and examination of our algorithms and the reversible logic…

新兴技术 · 计算机科学 2016-01-01 Rasha Montaser , Ahmed Younes , Mahmoud Abdel-Aty

In finite population causal inference exact randomization tests can be constructed for sharp null hypotheses, i.e. hypotheses which fully impute the missing potential outcomes. Oftentimes inference is instead desired for the weak null that…

统计理论 · 数学 2021-12-03 Peter L. Cohen , Colin B. Fogarty

Pi Fractions are used to create deterministic uniformly distributed pseudorandom decision space sample points for a global search and optimization algorithm. These fractions appear to be uniformly distributed on [0,1] and can be used in any…

其他计算机科学 · 计算机科学 2014-03-18 Richard A. Formato

The Product Replacement Algorithm is a practical algorithm for generating random elements of a finite group. The algorithm can be described as a random walk on a graph whose vertices are the generating k-tuples of the group (for a fixed…

群论 · 数学 2010-03-16 Nir Avni , Shelly Garion

It is observed that the conjugacy growth series of the infinite finitary symmetric group with respect to the generating set of transpositions is the generating series of the partition function. Other conjugacy growth series are computed,…

组合数学 · 数学 2016-03-18 Roland Bacher

First we survey generating function methods for obtaining useful probability estimates about random matrices in the finite classical groups. Then we describe a probabilistic picture of conjugacy classes which is coherent and beautiful.…

群论 · 数学 2007-05-23 Jason Fulman

Automatic code generation from natural language descriptions can be highly beneficial during the process of software development. In this work, we propose GAP-Gen, a Guided Automatic Python Code Generation method based on Python syntactic…

编程语言 · 计算机科学 2023-05-11 Junchen Zhao , Yurun Song , Junlin Wang , Ian G. Harris

Statistical models of real world data typically involve continuous probability distributions such as normal, Laplace, or exponential distributions. Such distributions are supported by many probabilistic modelling formalisms, including…

数据库 · 计算机科学 2021-03-08 Martin Grohe , Benjamin Lucien Kaminski , Joost-Pieter Katoen , Peter Lindner