Results 31 to 40 of about 883,688 (342)

Ranking Templates for Linear Loops [PDF]

, 2014
We present a new method for the constraint-based synthesis of termination arguments for linear loop programs based on linear ranking templates. Linear ranking templates are parametrized, well-founded relations such that an assignment to the parameters ...
A. Podelski, A. Podelski, A. Rybalchenko, A.M. Ben-Amram, A.R. Bradley, A.R. Bradley, B. Cook, B. Cook, C. Alias, D. Jovanović, D. Kroening, D. Kroening, D.Y. Grigor’ev, E. Albert, M. Heizmann, M.A. Colón, S. Sankaranarayanan, W.R. Harris   +17 more
core   +3 more sources

Piecewise reproducing kernel-based symmetric collocation approach for linear stationary singularly perturbed problems

AIMS Mathematics, 2020
The aim of this paper is to develop an accurate symmetric collocation scheme for a class of linear stationary singular perturbation problems with two boundary layers.
F. Z. Geng
doaj   +1 more source

Kuhn-Tucker-based stability conditions for systems with saturation [PDF]

, 2001
This paper presents a new approach to deriving stability conditions for continuous-time linear systems interconnected with a saturation. The method presented can be extended to handle a dead-zone, or in general, nonlinearities in the form of piecewise ...
Gianelli, Monica, Primbs, James A.
core   +1 more source

Using infeasible path cuts to solve Electric Vehicle Routing Problems with realistic charging functions exactly within a branch-and-cut framework

EURO Journal on Transportation and Logistics
The paper investigates the Electric Vehicle Routing Problem with a non-linear concave and strictly monotonic increasing charging function. In the literature, the non-linear charging function is typically approximated by a piecewise linear charging ...
Arne Schulz
doaj   +1 more source

Computing Correlation between Piecewise-Linear Functions

SIAM Journal on Computing, 2013
We study the problem of computing correlation between two piecewise-linear bivariate functions defined over a common domain, where the surfaces they define in three dimensions---polyhedral terrains---can be transformed vertically by a linear transformation of the third coordinate (scaling and translation).
Agarwal, Pankaj, Aronov, Boris, Van Kreveld, Matias, Löffler, Maarten, Silveira, Rodrigo Ignacio   +4 more
openaire   +4 more sources

Slope estimation in noisy piecewise linear functions [PDF]

Signal Processing, 2015
This paper discusses the development of a slope estimation algorithm called MAPSlope for piecewise linear data that is corrupted by Gaussian noise. The number and locations of slope change points (also known as breakpoints) are assumed to be unknown a priori though it is assumed that the possible range of slope values lies within known bounds.
Atul, Ingle, James, Bucklew, William, Sethares, Tomy, Varghese   +3 more
openaire   +2 more sources

Towards a simplified definition of Function Points [PDF]

, 2013
3Background. COSMIC Function Points and traditional Function Points (i.e., IFPUG Function points and more recent variation of Function Points, such as NESMA and FISMA) are probably the best known and most widely used Functional Size Measurement methods ...
Gabriela Robiolo, Luigi Lavazza, Sandro Morasca   +2 more
core   +1 more source

Improving Neural Network Efficiency Using Piecewise Linear Approximation of Activation Functions

Proceedings of the International Florida Artificial Intelligence Research Society Conference
Activation functions play a pivotal role in Neural Networks by enabling the modeling of complex non-linear relationships within data. However, the computational cost associated with certain activation functions, such as the hyperbolic tangent (tanh) and
Pavan Reddy, Aditya Sanjay Gujral
doaj   +1 more source

Stability Analysis of Switched Linear Singular Systems with Unstable and Stable Modes

Entropy, 2023
In this paper, stability is studied for a class of switched singular systems containing both stable and unstable modes. By introducing a time-varying piecewise Lyapunov function (TVPLF) and a mode-dependent average dwell time (ADT) switching rule, the ...
Jiandong Xiong, Yidian Wang, Yanfang Huo, Hongpeng Zhao   +3 more
doaj   +1 more source

Piecewise nonlinear approximation for non-smooth functions

Results in Applied Mathematics
Piecewise affine or linear approximation has garnered significant attention as a technique for approximating piecewise-smooth functions. In this study, we propose a novel approach: piecewise non-linear approximation based on rational approximation, aimed
S. Akansha
doaj   +1 more source