中文
相关论文

相关论文: Composable Effects for Flexible and Accelerated Pr…

200 篇论文

We propose an extension of the asynchronous pi-calculus with a notion of random choice. We define an operational semantics which distinguishes between probabilistic choice, made internally by the process, and nondeterministic choice, made…

编程语言 · 计算机科学 2007-05-23 Oltea Mihaela Herescu , Catuscia Palamidessi

We present JaxUED, an open-source library providing minimal dependency implementations of modern Unsupervised Environment Design (UED) algorithms in Jax. JaxUED leverages hardware acceleration to obtain on the order of 100x speedups…

机器学习 · 计算机科学 2024-03-21 Samuel Coward , Michael Beukman , Jakob Foerster

We introduce Joint Probability Trees (JPT), a novel approach that makes learning of and reasoning about joint probability distributions tractable for practical applications. JPTs support both symbolic and subsymbolic variables in a single…

机器学习 · 计算机科学 2023-02-15 Daniel Nyga , Mareike Picklum , Tom Schierenbeck , Michael Beetz

Structural Equation Modeling (SEM) is an umbrella term that includes numerous multivariate statistical techniques that are employed throughout a plethora of research areas, ranging from social to natural sciences. Until recently, SEM…

应用统计 · 统计学 2021-06-10 Georgy Meshcheryakov , Anna A. Igolkina , Maria G. Samsonova

Feature extraction is a critical component of many applied data science workflows. In recent years, rapid advances in artificial intelligence and machine learning have led to an explosion of feature extraction tools and services that allow…

计算机视觉与模式识别 · 计算机科学 2017-02-22 Quinten McNamara , Alejandro de la Vega , Tal Yarkoni

Compared to the wide array of advanced Monte Carlo methods supported by modern probabilistic programming languages (PPLs), PPL support for variational inference (VI) is less developed: users are typically limited to a predefined selection…

This paper proposes an adaptive neural-compilation framework to address the problem of efficient program learning. Traditional code optimisation strategies used in compilers are based on applying pre-specified set of transformations that…

人工智能 · 计算机科学 2016-05-27 Rudy Bunel , Alban Desmaison , Pushmeet Kohli , Philip H. S. Torr , M. Pawan Kumar

This paper introduces JAX-FEM, an open-source differentiable finite element method (FEM) library. Constructed on top of Google JAX, a rising machine learning library focusing on high-performance numerical computing, JAX-FEM is implemented…

数学软件 · 计算机科学 2023-06-28 Tianju Xue , Shuheng Liao , Zhengtao Gan , Chanwook Park , Xiaoyu Xie , Wing Kam Liu , Jian Cao

We propose the use of automatic differentiation through the programming framework jax for accelerating a variety of analysis tasks throughout gravitational wave (GW) science. Firstly, we demonstrate that complete waveforms which cover the…

A probabilistic program defines a probability measure over its semantic structures. One common goal of probabilistic programming languages (PPLs) is to compute posterior probabilities for arbitrary models and queries, given observed…

人工智能 · 计算机科学 2016-07-01 Yi Wu , Lei Li , Stuart Russell , Rastislav Bodik

We introduce JAX MD, a software package for performing differentiable physics simulations with a focus on molecular dynamics. JAX MD includes a number of physics simulation environments, as well as interaction potentials and neural networks…

计算物理 · 物理学 2020-12-04 Samuel S. Schoenholz , Ekin D. Cubuk

Quantum circuit simulators have a long tradition of exploiting massive hardware parallelism. Most of the times, parallelism has been supported by special purpose libraries tailored specifically for the quantum circuits. Quantum circuit…

量子物理 · 物理学 2021-06-29 Oumarou Oumarou , Alexandru Paler , Robert Basmadjian

We propose the QHyper library, which is aimed at researchers working on computational experiments with a variety of quantum combinatorial optimization solvers. The library offers a simple and extensible interface for formulating…

数学软件 · 计算机科学 2024-09-25 Tomasz Lamża , Justyna Zawalska , Kacper Jurek , Mariusz Sterzel , Katarzyna Rycerz

Developing efficient parallel applications is critical to advancing scientific development but requires significant performance analysis and optimization. Performance analysis tools help developers manage the increasing complexity and scale…

分布式、并行与集群计算 · 计算机科学 2024-01-25 Onur Cankur , Aditya Tomar , Daniel Nichols , Connor Scully-Allison , Katherine E. Isaacs , Abhinav Bhatele

Prompt-based learning has shown considerable promise in reformulating various downstream tasks as cloze problems by combining original input with a predetermined template. This approach demonstrates its effectiveness, especially in few-shot…

计算与语言 · 计算机科学 2023-11-14 Bohan Li , Longxu Dou , Yutai Hou , Yunlong Feng , Honglin Mu , Qingfu Zhu , Qinghua Sun , Wanxiang Che

In the dynamic landscape of generative NLP, traditional text processing pipelines limit research flexibility and reproducibility, as they are tailored to specific dataset, task, and model combinations. The escalating complexity, involving…

AsaPy is a custom-made Python library designed to simplify and optimize the analysis of aerospace simulation data. Instead of introducing new methodologies, it excels in combining various established techniques, creating a unified,…

PyArmadillo is a linear algebra library for the Python language, with the aim of closely mirroring the programming interface of the widely used Armadillo C++ library, which in turn is deliberately similar to Matlab. PyArmadillo hence…

数学软件 · 计算机科学 2021-10-22 Jason Rumengan , Terry Yue Zhuo , Conrad Sanderson

Molecular dynamics simulations play an increasingly important role in the rational design of (nano)-materials and in the study of biomacromolecules. However, generating input files and realistic starting coordinates for these simulations is…

This work demonstrates "slimmable Neural Amp Models", whose size and computational cost can be changed without additional training and with negligible computational overhead, enabling musicians to easily trade off between the accuracy and…

机器学习 · 计算机科学 2025-11-12 Steven Atkinson