中文
相关论文

相关论文: DynamicPPL: Stan-like Speed for Dynamic Probabilis…

200 篇论文

NetworkDynamics.jl is an easy-to-use and computationally efficient package for working with heterogeneous dynamical systems on complex networks, written in Julia, a high-level, high-performance, dynamic programming language. By combining…

Dynamic languages have become popular for scientific computing. They are generally considered highly productive, but lacking in performance. This paper presents Julia, a new dynamic language for technical computing, designed for performance…

编程语言 · 计算机科学 2012-09-25 Jeff Bezanson , Stefan Karpinski , Viral B. Shah , Alan Edelman

PowerDynamics.jl is an Open-Source library for dynamic power grid modeling built in the latest scientific programming language, Julia. It provides all the tools necessary to analyze the dynamical stability of power grids with high share of…

系统与控制 · 电气工程与系统科学 2020-12-10 Tim Kittel , Sabine Auer , Christina Horn

Probabilistic Programming Languages (PPLs) are a powerful tool in machine learning, allowing highly expressive generative models to be expressed succinctly. They couple complex inference algorithms, implemented by the language, with an…

编程语言 · 计算机科学 2020-10-19 Alexander Collins , Vinod Grover

Proprietary closed-source software is still the norm in advanced process control. Transparency and reproducibility are key aspects of scientific research. Free and open-source toolkit can contribute to the development, sharing and…

系统与控制 · 电气工程与系统科学 2026-05-07 Francis Gagnon , Alex Thivierge , André Desbiens , Fredrik Bagge Carlson

PowerDynamics.jl is a Julia package for time-domain modeling of power grids that is specifically designed for the stability analysis of systems with high shares of renewable energies. It makes use of Julia's state-of-the-art differential…

系统与控制 · 电气工程与系统科学 2021-12-15 Anton Plietzsch , Raphael Kogler , Sabine Auer , Julia Merino , Asier Gil-de-Muro , Jan Liße , Christina Vogel , Frank Hellmann

Julia is a new language for writing data analysis programs that are easy to implement and run at high performance. Similarly, the Dynamic Distributed Dimensional Data Model (D4M) aims to clarify data analysis operations while retaining…

数学软件 · 计算机科学 2016-12-13 Alexander Chen , Alan Edelman , Jeremy Kepner , Vijay Gadepally , Dylan Hutchison

We present StochasticPrograms.jl, a user-friendly and powerful open-source framework for stochastic programming written in the Julia language. The framework includes both modeling tools and structure-exploiting optimization algorithms.…

最优化与控制 · 数学 2022-09-07 Martin Biel , Mikael Johansson

In this article, the decidability and computability issues of dynamic probability logic (DPL) are addressed. Firstly, a proof system $\mathcal{H}_{DPL}$ is introduced for DPL and shown that it is weakly complete. Furthermore, this logic has…

计算机科学中的逻辑 · 计算机科学 2024-06-25 Somayeh Chopoghloo , Mahdi Heidarpoor , Massoud Pourmahdian

Technical computing is a challenging application area for programming languages to address. This is evinced by the unusually large number of specialized languages in the area (e.g. MATLAB, R), and the complexity of common software stacks,…

编程语言 · 计算机科学 2018-08-13 Jeff Bezanson , Jake Bolewski , Jiahao Chen

In recent years, Deep Learning (DL) has found great success in domains such as multimedia understanding. However, the complex nature of multimedia data makes it difficult to develop DL-based software. The state-of-the art tools, such as…

编程语言 · 计算机科学 2017-01-10 Tian Zhao , Xiaobing Huang , Yu Cao

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

Deep Learning Library (DLL) is a new library for machine learning with deep neural networks that focuses on speed. It supports feed-forward neural networks such as fully-connected Artificial Neural Networks (ANNs) and Convolutional Neural…

机器学习 · 计算机科学 2018-04-15 Baptiste Wicht , Jean Hennebert , Andreas Fischer

Simulation of non-adiabatic dynamics of a quantum system coupled to dissipative environments poses significant challenges. New sophisticated methods are regularly being developed with an eye towards moving to larger systems and more…

量子物理 · 物理学 2023-06-07 Amartya Bose

Random variables and their distributions are a central part in many areas of statistical methods. The Distributions.jl package provides Julia users and developers tools for working with probability distributions, leveraging Julia features…

We introduce ReservoirComputing.jl, an open source Julia library for reservoir computing models. The software offers a great number of algorithms presented in the literature, and allows to expand on them with both internal and external…

计算工程、金融与科学 · 计算机科学 2023-07-04 Francesco Martinuzzi , Chris Rackauckas , Anas Abdelrehim , Miguel D. Mahecha , Karin Mora

Probabilistic programming and statistical computing are vibrant areas in the development of the Julia programming language, but the underlying infrastructure dramatically predates recent developments. The goal of MeasureTheory.jl is to…

统计计算 · 统计学 2022-07-05 Chad Scherrer , Moritz Schauer

We present the Sum-Product Probabilistic Language (SPPL), a new probabilistic programming language that automatically delivers exact solutions to a broad range of probabilistic inference queries. SPPL translates probabilistic programs into…

编程语言 · 计算机科学 2021-06-14 Feras A. Saad , Martin C. Rinard , Vikash K. Mansinghka

Complex cyber-physical systems interact in real-time and must consider both timing and uncertainty. Developing software for such systems is expensive and difficult, especially when modeling, inference, and real-time behavior must be…

编程语言 · 计算机科学 2024-07-09 Lars Hummelgren , Matthias Becker , David Broman

Inference algorithms in probabilistic programming languages (PPLs) can be thought of as interpreters, since an inference algorithm traverses a model given evidence to answer a query. As with interpreters, we can improve the efficiency of…

编程语言 · 计算机科学 2016-04-19 Rohin Shah , Emina Torlak , Rastislav Bodik
‹ 上一页 1 2 3 10 下一页 ›