English
Related papers

Related papers: Ai4EComponentLib.jl: A Component-base Model Librar…

200 papers

SymBoltz is a new Julia package for solving the linear Einstein-Boltzmann equations in cosmology. It features a symbolic-numeric interface for specifying equations, is free of approximation switching schemes, and is compatible with…

Cosmology and Nongalactic Astrophysics · Physics 2026-03-11 Herman Sletmoen

We present a Julia package, DisjunctiveProgramming.jl, that extends the functionality in JuMP.jl to allow modeling problems via logical propositions and disjunctive constraints. Such models can then be reformulated into Mixed-Integer…

Logic in Computer Science · Computer Science 2023-04-21 Hector D. Perez , Shivank Joshi , Ignacio E. Grossmann

Program synthesis -- the automatic generation of code given a specification -- is one of the most fundamental tasks in artificial intelligence (AI) and the dream of many programmers. Numerous synthesizers have been developed for program…

We present Gridap, a new scientific software library for the numerical approximation of partial differential equations (PDEs) using grid-based approximations. Gridap is an open-source software project exclusively written in the Julia…

Mathematical Software · Computer Science 2020-04-23 Francesc Verdugo , Santiago Badia

HarmonicBalance.jl is a publicly available Julia package designed to simplify and solve systems of periodic time-dependent nonlinear ordinary differential equations. Time dependence of the system parameters is treated with the harmonic…

Mesoscale and Nanoscale Physics · Physics 2022-05-18 Jan Košata , Javier del Pino , Toni L. Heugel , Oded Zilberberg

OutlierDetection.jl is an open-source ecosystem for outlier detection in Julia. It provides a range of high-performance outlier detection algorithms implemented directly in Julia. In contrast to previous packages, our ecosystem enables the…

Machine Learning · Computer Science 2022-11-10 David Muhr , Michael Affenzeller , Anthony D. Blaom

PowerSimulations.jl is a Julia-based BSD-licensed power system operations simulation tool developed as a flexible and open source software for quasi-static power systems simulations including Production Cost Models. PowerSimulations.jl…

Systems and Control · Electrical Eng. & Systems 2024-04-05 Jose Daniel Lara , Clayton Barrows , Daniel Thom , Sourabh Dalvi , Duncan S. Callaway , Dheepak Krishnamurthy

Topic models provide a flexible and principled framework for exploring hidden structure in high-dimensional co-occurrence data and are commonly used natural language processing (NLP) of text. In this paper, we design and implement a Java…

Computation and Language · Computer Science 2020-10-29 Yang Qian , Yuanchun Jiang , Yidong Chai , Yezheng Liu , Jiansha Sun

In this paper we present the development of an open-source simulation toolbox, PowerSimulationsDynamics.jl, to study the dynamic response of power systems, focusing on the requirements to model systems with high penetrations of…

Systems and Control · Electrical Eng. & Systems 2024-03-26 Jose Daniel Lara , Rodrigo Henriquez-Auba , Matthew Bossart , Duncan S. Callaway , Clayton Barrows

OptControl.jl(OptControl) implements that modeling optimal control problems with symbolic algebra system based on Julia language, and generates the corresponding numerical optimization codes to solve them with packages from Julia.…

Optimization and Control · Mathematics 2022-08-02 Jingyi Yang , Yuebao Yang , Mingtao Li

This paper presents COREALMLIB, an ALM library of commonsense knowledge about dynamic domains. The library was obtained by translating part of the COMPONENT LIBRARY (CLIB) into the modular action language ALM. CLIB consists of general…

Artificial Intelligence · Computer Science 2016-08-15 Daniela Inclezan

Educational resource understanding is vital to online learning platforms, which have demonstrated growing applications recently. However, researchers and developers always struggle with using existing general natural language toolkits or…

Computation and Language · Computer Science 2024-06-05 Zhenya Huang , Yuting Ning , Longhu Qin , Shiwei Tong , Shangzi Xue , Tong Xiao , Xin Lin , Jiayu Liu , Qi Liu , Enhong Chen , Shijing Wang

We present an open-source Julia-based software toolkit for solving the phase problem using dual-space iterative algorithms. The toolkit is specifically designed for aperiodic crystals and quasicrystals, supporting general space group…

Other Condensed Matter · Physics 2025-11-19 Pavel Kalugin

Score-driven models, also known as generalized autoregressive score models, represent a class of observation-driven time series models. They possess powerful properties, such as the ability to model different conditional distributions and…

Computation · Statistics 2020-08-27 Guilherme Bodin , Raphael Saavedra , Cristiano Fernandes , Alexandre Street

We present BSTModelKit.jl, an open-source Julia package for constructing, solving, and analyzing Biochemical Systems Theory (BST) models of biochemical networks. The package implements S-system representations, a canonical power-law…

Molecular Networks · Quantitative Biology 2026-03-20 Sandra Vadhin , Jeffrey D. Varner

JuMP is an open-source modeling language that allows users to express a wide range of optimization problems (linear, mixed-integer, quadratic, conic-quadratic, semidefinite, and nonlinear) in a high-level, algebraic syntax. JuMP takes…

Optimization and Control · Mathematics 2017-05-08 Iain Dunning , Joey Huchette , Miles Lubin

Since time immemorial an old adage has always seemed to ring true: you cannot use a high-level productive programming language like Python or R for real-time control and embedded-systems programming, you must rewrite your program in C. We…

Systems and Control · Electrical Eng. & Systems 2025-02-10 Fredrik Bagge Carlson , Cody Tapscott , Gabriel Baraldi , Chris Rackauckas

Nowadays, numerous component models are used for various purposes: to build applications, middleware or even operating systems. Those models commonly support structure reconfiguration, that is modification of application's architecture at…

Networking and Internet Architecture · Computer Science 2007-05-23 Jakub Kornas , Matthieu Leclercq , Vivien Quema , Jean-Bernard Stefani

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…

Quantum Physics · Physics 2023-06-07 Amartya Bose

We present QuantumToolbox$.$jl, an open-source Julia package for simulating open quantum systems. Designed with a syntax familiar to users of QuTiP (Quantum Toolbox in Python), it harnesses Julia's high-performance ecosystem to deliver fast…

Quantum Physics · Physics 2025-10-06 Alberto Mercurio , Yi-Te Huang , Li-Xun Cai , Yueh-Nan Chen , Vincenzo Savona , Franco Nori