English
Related papers

Related papers: PEPit: computer-assisted worst-case analyses of fi…

200 papers

A portion of the HEP community has perceived the need for a minimization package written in C++ and taking advantage of the Object-Oriented nature of that langauge. To be acceptable for HEP, such a package must at least encompass all the…

High Energy Physics - Phenomenology · Physics 2008-11-26 Mark Fischler , David Sachs

The Projection on Proper elements (PoPe) is a novel method of code control dedicated to 1) checking the correct implementation of models, 2) determining the convergence of numerical methods and 3) characterizing the residual errors of any…

This paper presents a systematic review of Python packages with a focus on time series analysis. The objective is to provide (1) an overview of the different time series analysis tasks and preprocessing methods implemented, and (2) an…

Mathematical Software · Computer Science 2021-06-23 Julien Siebert , Janek Groß , Christof Schroth

The optimization and machine learning toolkit (OMLT) is an open-source software package incorporating neural network and gradient-boosted tree surrogate models, which have been trained using machine learning, into larger optimization…

POCP is a new Matlab package running jointly with GloptiPoly 3 and, optionally, YALMIP. It is aimed at nonlinear optimal control problems for which all the problem data are polynomial, and provides an approximation of the optimal value as…

Optimization and Control · Mathematics 2008-09-29 Didier Henrion , Jean-Bernard Lasserre , Carlo Savorgnan

Machine learning algorithms have been effectively applied into various real world tasks. However, it is difficult to provide high-quality machine learning solutions to accommodate an unknown distribution of input datasets; this difficulty…

Machine Learning · Computer Science 2019-02-26 Ruihan Hu , Qijun Huang , Sheng Chang , Hao Wang , Jin He

{\em Reoptimization} is a setting in which we are given an (near) optimal solution of a problem instance and a local modification that slightly changes the instance. The main goal is that of finding an (near) optimal solution of the…

Data Structures and Algorithms · Computer Science 2018-05-01 Davide Bilò

We introduce NetworKit, an open-source software package for analyzing the structure of large complex networks. Appropriate algorithmic solutions are required to handle increasingly common large graph data sets containing up to billions of…

Social and Information Networks · Computer Science 2015-11-16 Christian L. Staudt , Aleksejs Sazonovs , Henning Meyerhenke

Preference handling and optimization are indispensable means for addressing non-trivial applications in Answer Set Programming (ASP). However, their implementation becomes difficult whenever they bring about a significant increase in…

Logic in Computer Science · Computer Science 2011-07-29 Martin Gebser , Roland Kaminski , Torsten Schaub

Product Engineering Processes (PEPs) are used for describing complex product developments in big enterprises such as automotive and avionics industries. The Business Process Model Notation (BPMN) is a widely used language to encode…

Logic in Computer Science · Computer Science 2022-03-15 Hassan Hage , Emmanouil Seferis , Vahid Hashemi , Frank Mantwill

Software test cases can be defined as a set of condition where a tester needs to test and determine that the System Under Test (SUT) satisfied with the expected result correctly. This paper discusses the optimization technique in generating…

Software Engineering · Computer Science 2020-07-23 Rosziati Ibrahim , Ammar Aminuddin Bani Amin , Sapiee Jamel , Jahari Abdul Wahab

Protecting software supply chains from malicious packages is paramount in the evolving landscape of software development. Attacks on the software supply chain involve attackers injecting harmful software into commonly used packages or…

Cryptography and Security · Computer Science 2024-02-13 S. Halder , M. Bewong , A. Mahboubi , Y. Jiang , R. Islam , Z. Islam , R. Ip , E. Ahmed , G. Ramachandran , A. Babar

Affine policies (or control) are widely used as a solution approach in dynamic optimization where computing an optimal adjustable solution is usually intractable. While the worst case performance of affine policies can be significantly bad,…

Optimization and Control · Mathematics 2019-10-15 Omar El Housni , Vineet Goyal

This paper solves a new class of optimization problems under uncertainty, called Probable Event Constrained Optimization (PECO), which optimizes an objective function of decision variables and subjects to a set of Probable Event Constraints…

Optimization and Control · Mathematics 2025-03-07 Qifeng Li

In this paper, we study the communication complexity for the problem of computing a conjunctive query on a large database in a parallel setting with $p$ servers. In contrast to previous work, where upper and lower bounds on the…

Databases · Computer Science 2016-04-08 Paul Beame , Paraschos Koutris , Dan Suciu

Epistemic protocol specifications allow programs, for settings in which multiple agents act with incomplete information, to be described in terms of how actions are related to what the agents know. They are a variant of the knowledge-based…

Logic in Computer Science · Computer Science 2016-02-04 Xiaowei Huang , Ron van der Meyden

The increasing importance of Computational Science and Engineering has highlighted the need for high-quality scientific software. However, research software development is often hindered by limited funding, time, staffing, and technical…

Software Engineering · Computer Science 2025-03-10 Armin Ariamajd , Raquel López-Ríos de Castro , Andrea Volkamer

Robust optimization provides a principled and unified framework to model many problems in modern operations research and computer science applications, such as risk measures minimization and adversarially robust machine learning. To use a…

Optimization and Control · Mathematics 2024-10-04 Hao Hao , Peter Zhang

Ranking data represent a peculiar form of multivariate ordinal data taking values in the set of permutations. Despite the numerous methodological contributions to increase the flexibility of ranked data modeling, the application of more…

Computation · Statistics 2018-03-13 Cristina Mollica , Luca Tardella

\textsc{Pykat} is a Python package which extends the popular optical interferometer modelling software \textsc{Finesse}. It provides a more modern and efficient user interface for conducting complex numerical simulations, as well as…

Instrumentation and Methods for Astrophysics · Physics 2020-04-16 Daniel D. Brown , Philip Jones , Samuel Rowlinson , Andreas Freise , Sean Leavey , Anna C. Green , Daniel Toyra
‹ Prev 1 4 5 6 7 8 10 Next ›