English
Related papers

Related papers: A Fixed-Point Type for Octave

200 papers

In this paper we present a possible way how a precise semantics of object oriented modeling techniques can be achieved and what the possible benefits are .We outline the main modeling techniques used in the SysLab project sketch how a…

Software Engineering · Computer Science 2014-09-25 Ruth Breu , Radu Grosu , Franz Huber , Bernhard Rumpe , Wolfgang Schwerin

As scientific applications extend to the simulation of more and more complex systems, they involve an increasing number of abstraction levels, at each of which errors can emerge and across which they can propagate; tools for correctness…

Software Engineering · Computer Science 2011-01-18 Eloisa Bentivegna , Gabrielle Allen , Oleg Korobkin , Erik Schnetter

This paper describes the LPVcore software package for MATLAB developed to model, simulate, estimate and control systems via linear parameter-varying (LPV) input-output (IO), state-space (SS) and linear fractional (LFR) representations. In…

Systems and Control · Electrical Eng. & Systems 2021-05-11 P. den Boef , P. B. Cox , R. Tóth

Tool-integrated LLMs can retrieve, compute, and take real-world actions via external tools, but reliability remains a key bottleneck. We argue that failures stem from both tool-use accuracy (how well an agent invokes a tool) and intrinsic…

Artificial Intelligence · Computer Science 2026-04-02 Hy Dang , Quang Dao , Meng Jiang

Mixed-precision computing has the potential to significantly reduce the cost of exascale computations, but determining when and how to implement it in programs can be challenging. In this article, we consider Nekbone, a mini-application for…

Mathematical Software · Computer Science 2024-05-21 Yanxiang Chen , Pablo de Oliveira Castro , Paolo Bientinesi , Roman Iakymchuk

Automated Machine Learning (AutoML) is used more than ever before to support users in determining efficient hyperparameters, neural architectures, or even full machine learning pipelines. However, users tend to mistrust the optimization…

Machine Learning · Computer Science 2022-07-12 René Sass , Eddie Bergman , André Biedenkapp , Frank Hutter , Marius Lindauer

Throughout last 30 years, numerous head-related transfer function (HRTF) models have been developed and there are more to come. This paper describes a framework based on objective-oriented programming paradigm, in which each HRTF…

Audio and Speech Processing · Electrical Eng. & Systems 2022-06-27 Adam Szwajcowski

This work deals with the design optimization of electrical machines under the consideration of manufacturing uncertainties. In order to efficiently quantify the uncertainty, blackbox machine learning methods are employed. A multi-objective…

Computational Engineering, Finance, and Science · Computer Science 2023-11-27 Morten Huber , Mona Fuhrländer , Sebastian Schöps

Recent studies made great progress in video matting by extending the success of trimap-based image matting to the video domain. In this paper, we push this task toward a more practical setting and propose One-Trimap Video Matting network…

Computer Vision and Pattern Recognition · Computer Science 2022-07-28 Hongje Seong , Seoung Wug Oh , Brian Price , Euntai Kim , Joon-Young Lee

When proving the correctness of a method for slicing probabilistic programs, it was previously discovered by the authors that for a fixed point iteration to work one needs a non-standard starting point for the iteration. This paper presents…

Programming Languages · Computer Science 2024-12-11 Torben Amtoft , Anindya Banerjee

We present an easily accessible, object oriented code (written exclusively in Matlab) for adaptive finite element simulations in 2D. It features various refinement routines for triangular meshes as well as fully vectorized FEM ansatz spaces…

Numerical Analysis · Mathematics 2024-07-30 Michael Innerberger , Dirk Praetorius

OpenNMT is an open-source toolkit for neural machine translation (NMT). The system prioritizes efficiency, modularity, and extensibility with the goal of supporting NMT research into model architectures, feature representations, and source…

Computation and Language · Computer Science 2018-05-30 Guillaume Klein , Yoon Kim , Yuntian Deng , Vincent Nguyen , Jean Senellart , Alexander M. Rush

Over recent years, numerous attempts were taken to provide efficient methods of directivity representation, either regarding sound sources or head-related transfer functions. Because of the wide variety of programming tools and scripts used…

Audio and Speech Processing · Electrical Eng. & Systems 2021-09-30 Adam Szwajcowski

A general purpose, modular program package for the integration of large number of independent ordinary differential equation systems capable of using professional graphics cards is presented. The available numerical schemes are the explicit…

Distributed, Parallel, and Cluster Computing · Computer Science 2018-10-10 Ferenc Hegedűs

This tutorial shows an overview of Model Predictive Control with a linear discrete-time system and constrained states and inputs. The focus is on the implementation of the method under consideration of stability and recursive feasibility.…

Systems and Control · Electrical Eng. & Systems 2021-09-27 Michael Fink

Precision tuning or customized precision number representations is emerging, in these recent years, as one of the most promising techniques that has a positive impact on the footprint of programs concerning energy consumption, bandwidth…

Software Engineering · Computer Science 2022-03-16 Dorra Ben Khalifa , Matthieu Martel

This paper provides a method for obtaining a continuous-time model of a target system in closed-loop from input-output data alone, in the case where no knowledge of the controllers nor excitation signals is available and I/O data may suffer…

Systems and Control · Electrical Eng. & Systems 2025-06-05 Ichiro Maruta , Toshiharu Sugie

We present the Matlab toolbox MacaulayLab, which implements numerical linear algebra algorithms for solving multivariate polynomial systems and rectangular multiparameter eigenvalue problems. Its structure and functionality are the result…

Mathematical Software · Computer Science 2026-05-21 Christof Vermeersch , Bart De Moor

Ordinary Differential Equations (ODE) are used throughout science where the capture of rates of change in states is sought. While both pieces of commercial and open software exist to study such systems, their efficient and accurate usage…

Mathematical Software · Computer Science 2018-03-20 Edwin Tye , Tom Finnie , Ian Hall , Steve Leach

We present Open-CD, a change detection toolbox that contains a rich set of change detection methods as well as related components and modules. The toolbox started from a series of open source general vision task tools, including OpenMMLab…

Computer Vision and Pattern Recognition · Computer Science 2025-04-14 Kaiyu Li , Jiawei Jiang , Andrea Codegoni , Chengxi Han , Yupeng Deng , Keyan Chen , Zhuo Zheng , Hao Chen , Ziyuan Liu , Yuantao Gu , Zhengxia Zou , Zhenwei Shi , Sheng Fang , Deyu Meng , Zhi Wang , Xiangyong Cao
‹ Prev 1 3 4 5 6 7 10 Next ›