English
Related papers

Related papers: RKappa: Software for Analyzing Rule-Based Models

200 papers

Porting applications to new hardware or programming models is a tedious and error prone process. Every help that eases these burdens is saving developer time that can then be invested into the advancement of the application itself instead…

Distributed, Parallel, and Cluster Computing · Computer Science 2016-11-07 Erik Zenker , Benjamin Worpitz , René Widera , Axel Huebl , Guido Juckeland , Andreas Knüpfer , Wolfgang E. Nagel , Michael Bussmann

The massive amount of current data has led to many different forms of data analysis processes that aim to explore this data to uncover valuable insights. Methodologies to guide the development of big data science projects, including…

Software Engineering · Computer Science 2018-12-27 Maria Cristina Vale Tavares , Paulo Alencar , Donald Cowan

Autonomous racing presents a complex environment requiring robust controllers capable of making rapid decisions under dynamic conditions. While traditional controllers based on tire models are reliable, they often demand extensive tuning or…

Robotics · Computer Science 2025-02-07 Edoardo Ghignone , Nicolas Baumann , Cheng Hu , Jonathan Wang , Lei Xie , Andrea Carron , Michele Magno

collapse is a large C/C++-based infrastructure package facilitating complex statistical computing, data transformation, and exploration tasks in R - at outstanding levels of performance and memory efficiency. It also implements a…

Computation · Statistics 2025-06-02 Sebastian Krantz

This paper introduces ROmodel, an open source Python package extending the modeling capabilities of the algebraic modeling language Pyomo to robust optimization problems. ROmodel helps practitioners transition from deterministic to robust…

Optimization and Control · Mathematics 2021-05-19 Johannes Wiebe , Ruth Misener

Automated Program Repair (APR) seeks to automatically correct software bugs without requiring human intervention. However, existing tools tend to generate patches that satisfy test cases without fixing the underlying bug, those are known as…

Software Engineering · Computer Science 2025-07-31 Marcos Fuster-Pena , David de-Fitero-Dominguez , Antonio Garcia-Cabot , Eva Garcia-Lopez

In recent years, text-aware collaborative filtering methods have been proposed to address essential challenges in recommendations such as data sparsity, cold start problem, and long-tail distribution. However, many of these text-oriented…

Information Retrieval · Computer Science 2020-09-01 Zhimeng Pan , Wenzheng Tao , Qingyao Ai

This paper presents the R package gRapHD for efficient selection of high-dimensional undirected graphical models. The package provides tools for selecting trees, forests and decomposable models minimizing information criteria such as AIC or…

Machine Learning · Statistics 2019-09-24 Gabriel C. G. de Abreu , Rodrigo Labouriau , David Edwards

Ensuring the safety and efficacy of Cyber-Physical Systems (CPSs) is challenging due to the large variability of their operating environment. Model checking has been proposed for validation of CPSs, but the models of the environment are…

Formal Languages and Automata Theory · Computer Science 2021-05-05 Guangyao Chen , Zhihao Jiang

Summary: R and Matlab are two high-level scientific programming languages which are frequently applied in computational biology. To extend the wide variety of available and approved implementations, we present the Rcall interface which runs…

Programming Languages · Computer Science 2021-06-16 Janine Egert , Clemens Kreutz

rigidPy is a Python package that provides a set of tools necessary for studying rigidity and mechanical response in spring networks. It also includes suitable modules for generating new realizations of networks with applications in glassy…

Soft Condensed Matter · Physics 2022-03-02 Varda F. Hagh , Mahdi Sadjadi

Retrieval-augmented question-answering systems combine retrieval techniques with large language models to provide answers that are more accurate and informative. Many existing toolkits allow users to quickly build such systems using…

Computation and Language · Computer Science 2024-03-05 Xiao Yu , Yunan Lu , Zhou Yu

My project tackles the question of whether Ray can be used to quickly train autonomous vehicles using a simulator (Carla), and whether a platform robust enough for further research purposes can be built around it. Ray is an open-source…

Machine Learning · Computer Science 2022-01-19 Derek Xu

This paper introduces an explanation framework designed to enhance the quality of rules in knowledge-based reasoning systems based on dataset-driven insights. The traditional method for rule induction from data typically requires…

Artificial Intelligence · Computer Science 2025-02-04 Oshani Seneviratne , Brendan Capuzzo , William Van Woensel

This article describes SimEngine, an open-source R package for structuring, maintaining, running, and debugging statistical simulations on both local and cluster-based computing environments. Several R packages exist for structuring…

Computation · Statistics 2025-09-25 Avi Kenny , Charles J. Wolock

Role-Playing Agent (RPA) is an increasingly popular type of LLM Agent that simulates human-like behaviors in a variety of tasks. However, evaluating RPAs is challenging due to diverse task requirements and agent designs. This paper proposes…

Human-Computer Interaction · Computer Science 2025-03-28 Chaoran Chen , Bingsheng Yao , Ruishi Zou , Wenyue Hua , Weimin Lyu , Yanfang Ye , Toby Jia-Jun Li , Dakuo Wang

Summary: ipd is an open-source R software package for the downstream modeling of an outcome and its associated features where a potentially sizable portion of the outcome data has been imputed by an artificial intelligence or machine…

Logical rules are a popular knowledge representation language in many domains, representing background knowledge and encoding information that can be derived from given facts in a compact form. However, rule formulation is a complex process…

Artificial Intelligence · Computer Science 2020-02-13 Cristina Cornelio , Veronika Thost

Spectroscopy is a central pillar of materials characterization, providing useful information on properties like structure, composition, or excited state dynamics of a system. However, many spectroscopic techniques present challenges in…

Materials Science · Physics 2026-04-09 Amalya C. Johnson , Chris Fajardo , Leena Sansguiri , Weike Ye , Steven B. Torrisi

The Agent Based Model community has a rich and diverse ecosystem of libraries, platforms, and applications to help modelers develop rigorous simulations. Despite this robust and diverse ecosystem, the complexity of life from microbial…

Computers and Society · Computer Science 2021-11-16 Thomas Pike , Samantha Golden , Daniel Lowdermilk , Brandon Luong , Benjamin Rosado
‹ Prev 1 4 5 6 7 8 10 Next ›