English
Related papers

Related papers: Using cylindrical algebraic decomposition and loca…

200 papers

This paper addresses a multi-scale finite element method for second order linear elliptic equations with arbitrarily rough coefficient. We propose a local oversampling method to construct basis functions that have optimal local…

Numerical Analysis · Mathematics 2015-08-04 Thomas Y. Hou , Pengfei Liu

The thesis deals with applications of fractional calculus to fractals. It introduces the notion of local fractional derivative (LFD). Fractal and multifractal functions have been studied in the thesis using LFD. New kind of equations are…

chao-dyn · Physics 2007-05-23 Kiran M. Kolwankar

The non-local problem is considered for the partial differential equation of mixed-type with Bessel operator and fractional order. An explicit solution is represented by Fourier-Bessel series in the given domain. It is established the…

Analysis of PDEs · Mathematics 2021-11-30 Bakhodirjon Toshtemirov

In this paper, we consider the problem of partitioning a polygon into a set of connected disjoint sub-polygons, each of which covers an area of a specific size. The work is motivated by terrain covering applications in robotics, where the…

Computational Geometry · Computer Science 2021-10-11 Mariusz Wzorek , Cyrille Berger , Patrick Doherty

The human visual system excels at detecting local blur of visual images, but the underlying mechanism is not well understood. Traditional views of blur such as reduction in energy at high frequencies and loss of phase coherence at localized…

Computer Vision and Pattern Recognition · Computer Science 2018-06-13 Kede Ma , Huan Fu , Tongliang Liu , Zhou Wang , Dacheng Tao

Recently, several claims have been made that certain fundamental problems of distributed computing, including Leader Election and Distributed Consensus, begin to admit feasible and efficient solutions when the model of distributed…

Quantum Physics · Physics 2009-03-09 Cyril Gavoille , Adrian Kosowski , Marcin Markiewicz

Many phenomena are described by bivariate signals or bidimensional vectors in applications ranging from radar to EEG, optics and oceanography. The time-frequency analysis of bivariate signals is usually carried out by analyzing two separate…

Methodology · Statistics 2016-09-09 Julien Flamant , Nicolas Le Bihan , Pierre Chainais

This work is concerned with the prime factor decomposition (PFD) of strong product graphs. A new quasi-linear time algorithm for the PFD with respect to the strong product for arbitrary, finite, connected, undirected graphs is derived.…

Discrete Mathematics · Computer Science 2017-05-11 Marc Hellmuth

A sequential quadratic programming (SQP) algorithm is designed for nonsmooth optimization problems with upper-C^2 objective functions. Upper-C^2 functions are locally equivalent to difference-of-convex (DC) functions with smooth convex…

Optimization and Control · Mathematics 2023-10-31 Jingyi Wang , Cosmin G. Petra

Matching deformable objects using their shapes is an important problem in computer vision since shape is perhaps the most distinguishable characteristic of an object. The problem is difficult due to many factors such as intra-class…

Computer Vision and Pattern Recognition · Computer Science 2015-04-28 Smit Marvaniya , Raj Gupta , Anurag Mittal

We develop a unified approach for establishing rates of decay for the Fourier transform of a wide class of dynamically defined measures. Among the key features of the method is the systematic use of the $L^2$-flattening theorem obtained in…

Dynamical Systems · Mathematics 2024-12-23 Simon Baker , Osama Khalil , Tuomas Sahlsten

New methods for $D$-decomposition analysis are presented. They are based on topology of real algebraic varieties and computational real algebraic geometry. The estimate of number of root invariant regions for polynomial parametric families…

Optimization and Control · Mathematics 2015-12-31 Oleg O. Vasil'ev

Convergence failure and slow convergence rate are among the biggest challenges with solving the system of non-linear equations numerically. While using strictly small time steps sizes and unconditionally stable fully implicit scheme…

Numerical Analysis · Mathematics 2024-12-20 Hanyu Li , Mary F. Wheeler

Local graph clustering is an important algorithmic technique for analysing massive graphs, and has been widely applied in many research fields of data science. While the objective of most (local) graph clustering algorithms is to find a…

Data Structures and Algorithms · Computer Science 2021-06-10 Peter Macgregor , He Sun

The approximation of a multiple isolated root is a difficult problem. In fact the root can even be a repulsive root for a fixed point method like the Newton method. However there exists a huge literature on this topic but the answers given…

Numerical Analysis · Mathematics 2019-09-18 M Giusti , J. -C Yakoubsohn

In this paper we consider the fundamental operations dilation and erosion of mathematical morphology. Many powerful image filtering operations are based on their combinations. We establish homomorphism between max-plus semi-ring of integers…

Image and Video Processing · Electrical Eng. & Systems 2023-05-05 Vivek Sridhar , Keyvan Shahin , Michael Breuß , Marc Reichenbach

Numerical data structures for positive dimensional solution sets of polynomial systems are sets of generic points cut out by random planes of complimentary dimension. We may represent the linear spaces defined by those planes either by…

Numerical Analysis · Mathematics 2009-12-16 Yun Guan , Jan Verschelde

In federated learning, communication cost is often a critical bottleneck to scale up distributed optimization algorithms to collaboratively learn a model from millions of devices with potentially unreliable or limited communication and…

Machine Learning · Computer Science 2020-11-24 Farzin Haddadpour , Mohammad Mahdi Kamani , Aryan Mokhtari , Mehrdad Mahdavi

Local feature extraction is a standard approach in computer vision for tackling important tasks such as image matching and retrieval. The core assumption of most methods is that images undergo affine transformations, disregarding more…

Computer Vision and Pattern Recognition · Computer Science 2023-04-04 Guilherme Potje , Felipe Cadar , Andre Araujo , Renato Martins , Erickson R. Nascimento

The problems of computational data processing involving regression, interpolation, reconstruction and imputation for multidimensional big datasets are becoming more important these days, because of the availability of data and their widely…

Methodology · Statistics 2017-03-22 Yuri K. Shestopaloff , Alexander Y. Shestopaloff
‹ Prev 1 8 9 10 Next ›