中文
相关论文

相关论文: Paraconsistent-Lib: an intuitive PAL2v algorithm P…

200 篇论文

We present a general framework for specifying and verifying persistent libraries, that is, libraries of data structures that provide some persistency guarantees upon a failure of the machine they are executing on. Our framework enables…

编程语言 · 计算机科学 2023-06-05 Léo Stefanesco , Azalea Raad , Viktor Vafeiadis

Summary Brain Predictability toolbox (BPt) represents a unified framework of machine learning (ML) tools designed to work with both tabulated data (in particular brain, psychiatric, behavioral, and physiological variables) and neuroimaging…

机器学习 · 计算机科学 2020-11-04 Sage Hahn , Dekang Yuan , Wesley Thompson , Max M Owens , Nicholas Allgaier , Hugh Garavan

Deep learning-based vision is characterized by intricate frameworks that often necessitate a profound understanding, presenting a barrier to newcomers and limiting broad adoption. With many researchers grappling with the constraints of…

计算机视觉与模式识别 · 计算机科学 2023-11-13 Fabi Prezja

QC Lab is an open-source Python package for QC dynamics simulations aimed to promote the development of QC algorithms, and their application to a wide variety of relevant model problems. It follows a modular design that facilitates…

化学物理 · 物理学 2025-10-28 Alex Krotz , Ethan Byrd , Ken Miyazaki , Roel Tempelaar

This paper presents gnss_lib_py, a Python library used to parse, analyze, and visualize data from a variety of GNSS (Global Navigation Satellite Systems) data sources. The gnss_lib_py library's ease of use, modular capabilities, testing…

机器人学 · 计算机科学 2024-08-20 Derek Knowles , Ashwin Vivek Kanhere , Daniel Neamati , Grace Gao

Probabilistic programming (PP) allows flexible specification of Bayesian statistical models in code. PyMC3 is a new, open-source PP framework with an intutive and readable, yet powerful, syntax that is close to the natural syntax…

统计计算 · 统计学 2015-07-30 John Salvatier , Thomas Wiecki , Christopher Fonnesbeck

We present NeuralOperator, an open-source Python library for operator learning. Neural operators generalize neural networks to maps between function spaces instead of finite-dimensional Euclidean spaces. They can be trained and inferenced…

The $\texttt{torch-choice}$ is an open-source library for flexible, fast choice modeling with Python and PyTorch. $\texttt{torch-choice}$ provides a $\texttt{ChoiceDataset}$ data structure to manage databases flexibly and…

机器学习 · 计算机科学 2025-06-05 Tianyu Du , Ayush Kanodia , Susan Athey

Presolving has become an essential component of modern MIP solvers both in terms of computational performance and numerical robustness. In this paper, we present PaPILO, a new C++ header-only library that provides a large set of presolving…

最优化与控制 · 数学 2024-03-21 Ambros Gleixner , Leona Gottwald , Alexander Hoen

Python is widely used in the open-source community, largely owing to the extensive support from diverse third-party libraries within the PyPI ecosystem. Nevertheless, the utilization of third-party libraries can potentially lead to…

软件工程 · 计算机科学 2024-01-08 Yun Peng , Ruida Hu , Ruoke Wang , Cuiyun Gao , Shuqing Li , Michael R. Lyu

Recently, the computational neuroscience community has pushed for more transparent and reproducible methods across the field. In the interest of unifying the domain of auditory neuroscience, naplib-python provides an intuitive and general…

神经元与认知 · 定量生物学 2023-09-20 Gavin Mischler , Vinay Raghavan , Menoua Keshishian , Nima Mesgarani

This paper presents Tyche, a Python library to facilitate probabilistic reasoning in uncertain worlds through the construction, querying, and learning of belief models. Tyche uses aleatoric description logic (ADL), which provides…

人工智能 · 计算机科学 2022-08-23 Padraig X. Lamont

Conan is a C++ library created for the accurate and efficient modelling, inference and analysis of complex networks. It implements the generation and modification of graphs according to several published models, as well as the unexpensive…

定量方法 · 定量生物学 2010-12-02 Ricardo Honorato-Zimmer , Bryan Reynaert , Ignacio Vergara , Tomas Perez-Acle

Data-driven methods have become paramount in modern systems and control problems characterized by growing levels of complexity. In safety-critical environments, deploying these methods requires rigorous guarantees, a need that has motivated…

系统与控制 · 电气工程与系统科学 2025-12-05 Dario Paccagnan , Daniel Marks , Marco C. Campi , Simone Garatti

This paper provides the description of a novel, multi-purpose spline library. In accordance with the increasingly diverse modes of usage of splines, it is multi-purpose in the sense that it supports geometry representation, finite element…

Classical logic predicts that everything (thus nothing useful at all) follows from inconsistency. A paraconsistent logic is a logic where an inconsistency does not lead to such an explosion, and since in practice consistency is difficult to…

计算机科学中的逻辑 · 计算机科学 2007-05-23 Jørgen Villadsen

This paper presents LIBTwinSVM, a free, efficient, and open source library for Twin Support Vector Machines (TSVMs). Our library provides a set of useful functionalities such as fast TSVMs estimators, model selection, visualization, a…

机器学习 · 计算机科学 2020-01-29 Amir M. Mir , Mahdi Rahbar , Jalal A. Nasiri

Scientific inference is often undermined by the vast but rarely explored "multiverse" of defensible modelling choices, which can generate results as variable as the phenomena under study. We introduce RobustiPy, an open-source Python…

统计方法学 · 统计学 2026-05-20 Daniel Valdenegro , Jiani Yan , Duiyi Dai , Charles Rahal

We present PyThaiNLP, a free and open-source natural language processing (NLP) library for Thai language implemented in Python. It provides a wide range of software, models, and datasets for Thai language. We first provide a brief…

The Clair library is intended to simplify a number of generic tasks in Natural Language Processing (NLP), Information Retrieval (IR), and Network Analysis. Its architecture also allows for external software to be plugged in with very little…