English
Related papers

Related papers: PIETOOLS 2025: User Manual

200 papers

While traditional machine learning can effectively tackle a wide range of problems, it primarily operates within a closed-world setting, which presents limitations when dealing with streaming data. As a solution, incremental learning…

Machine Learning · Computer Science 2025-03-11 Hai-Long Sun , Da-Wei Zhou , De-Chuan Zhan , Han-Jia Ye

This paper presents El0ps, a Python toolbox providing several utilities to handle L0-regularized problems related to applications in machine learning, statistics, and signal processing, among other fields. In contrast to existing toolboxes,…

Mathematical Software · Computer Science 2025-06-10 Théo Guyard , Cédric Herzet , Clément Elvira

High-stakes applications require AI-generated models to be interpretable. Current algorithms for the synthesis of potentially interpretable models rely on objectives or regularization terms that represent interpretability only coarsely…

Machine Learning · Computer Science 2021-04-28 Marco Virgolin , Andrea De Lorenzo , Francesca Randone , Eric Medvet , Mattias Wahde

We present Pylot, a platform for autonomous vehicle (AV) research and development, built with the goal to allow researchers to study the effects of the latency and accuracy of their models and algorithms on the end-to-end driving behavior…

Robotics · Computer Science 2021-12-14 Ionel Gog , Sukrit Kalra , Peter Schafhalter , Matthew A. Wright , Joseph E. Gonzalez , Ion Stoica

Understanding sustainability through modeling involves one of the complex and interdisciplinary activities where mathematics plays a key role. We provide arguments favoring the need for developing global models for measuring the status of…

Optimization and Control · Mathematics 2021-06-15 Arni S. R. Srinivasa Rao , Sireesh Saride

Information on protein-protein interactions (PPIs) not only advances our understanding of molecular biology but also provides important clues for target selection in drug discovery and the design of PPI inhibitors. One of the techniques…

Biomolecules · Quantitative Biology 2021-05-11 Masahito Ohue , Yutaka Akiyama

In this paper, we present a convex formulation of $H_{\infty}$-optimal control problem for coupled linear ODE-PDE systems with one spatial dimension. First, we reformulate the coupled ODE-PDE system as a Partial Integral Equation (PIE)…

Optimization and Control · Mathematics 2020-06-26 Sachin Shivakumar , Amritam Das , Siep Weiland , Matthew M. Peet

This paper introduces PROOFTOOL, the graphical user interface for the General Architecture for Proof Theory (GAPT) framework. Its features are described with a focus not only on the visualization but also on the analysis and transformation…

Logic in Computer Science · Computer Science 2013-07-09 Cvetan Dunchev , Alexander Leitsch , Tomer Libal , Martin Riener , Mikheil Rukhaia , Daniel Weller , Bruno Woltzenlogel-Paleo

The LISA Pathfinder data analysis team has been developing in the last years the infrastructure and methods required to run the mission during flight operations. These are gathered in the LTPDA toolbox, an object oriented MATLAB toolbox…

General Relativity and Quantum Cosmology · Physics 2012-06-20 M. Nofrarias , L. Ferraioli , G. Congedo , M. Hueller , M. Armano , M. Diaz-Aguilo , A. Grynagier , M. Hewitson , S. Vitale

Partial differential equation (PDE) models are widely used in engineering and natural sciences to describe spatio-temporal processes. The parameters of the considered processes are often unknown and have to be estimated from experimental…

Numerical Analysis · Mathematics 2016-12-21 Romana Boiger , Jan Hasenauer , Sabrina Hross , Barbara Kaltenbacher

Online data streams make training machine learning models hard because of distribution shift and new patterns emerging over time. For natural language processing (NLP) tasks that utilize a collection of features based on lexicons and rules,…

Computation and Language · Computer Science 2022-11-28 Shubhanshu Mishra , Jana Diesner

This is a user guide for the first version of our developed Maple library, named Singularity. The first version here is designed for the qualitative study of local real zeros of scalar smooth maps. This library will be extended for symbolic…

Dynamical Systems · Mathematics 2018-03-13 Majid Gazor , Mahsa Kazemi

Even though there are sophisticated AI planning algorithms, many integrated, large-scale projects do not use planning. One reason seems to be the missing support by engineering tools such as syntax highlighting and visualization. We propose…

Human-Computer Interaction · Computer Science 2015-11-25 Volker Strobel , Alexandra Kirsch

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…

Currently, a variety of pipeline tools are available for use in data engineering. Data scientists can use these tools to resolve data wrangling issues associated with data and accomplish some data engineering tasks from data ingestion…

Machine Learning · Computer Science 2024-06-21 Anthony Mbata , Yaji Sripada , Mingjun Zhong

We propose Partially Interpretable Estimators (PIE) which attribute a prediction to individual features via an interpretable model, while a (possibly) small part of the PIE prediction is attributed to the interaction of features via a…

Machine Learning · Computer Science 2021-05-07 Tong Wang , Jingyi Yang , Yunyi Li , Boxiang Wang

Any suitably well-posed PDE in two spatial dimensions can be represented as a Partial Integral Equation (PIE) -- with system dynamics parameterized using Partial Integral (PI) operators. Furthermore, $L_2$-gain analysis of PDEs with a PIE…

Optimization and Control · Mathematics 2024-06-18 Declan S. Jagt , Matthew M. Peet

Developing and training deep learning models is expensive, so software engineers have begun to reuse pre-trained deep learning models (PTMs) and fine-tune them for downstream tasks. Despite the wide-spread use of PTMs, we know little about…

High-quality ordinary differential equation (ODE) solver libraries have a long history, going back to the 1970s. Over the past several years we have implemented, on top of the PETSc linear and nonlinear solver package, a new…

Numerical Analysis · Mathematics 2018-06-06 Shrirang Abhyankar , Jed Brown , Emil M. Constantinescu , Debojyoti Ghosh , Barry F. Smith , Hong Zhang

In this paper, we address the issue of modeling and estimating changes in the state of the spatio-temporal dynamical systems based on a sequence of observations like video frames. Traditional numerical simulation systems depend largely on…

Machine Learning · Computer Science 2024-02-12 Kun Wang , Hao Wu , Guibin Zhang , Junfeng Fang , Yuxuan Liang , Yuankai Wu , Roger Zimmermann , Yang Wang