Mediaspace scheduled maintenance: Aug 25, 2026 07:00 - 12:00 AM. During this time, videos will be temporarily unavailable. Check status updates.

Concept

Partition of sums of squares

Publications associées (13)

Augmenting locomotor perception by remapping tactile foot sensation to the back

Olaf Blanke, Mohamed Bouri, Oliver Alan Kannape, Atena Fadaeijouybari, Selim Jean Habiby Alaoui, Nathanaël Yvon Ferraroli-Tissot-Daguette

Background :Sensory reafferents are crucial to correct our posture and movements, both reflexively and in a cognitively driven manner. They are also integral to developing and maintaining a sense of agency for our actions. In cases of compromised reafferen ...

BioMed Central2024

Novel spatiotemporal processing tools for body-surface potential map signals for the prediction of catheter ablation outcome in persistent atrial fibrillation

Jean-Marc Vesin, Etienne Pruvot, Adrian Luca

Background: Signal processing tools are required to efficiently analyze data collected in body-surface-potential map (BSPM) recordings. A limited number of such tools exist for studying persistent atrial fibrillation (persAF). We propose two novel, spatiot ...

FRONTIERS MEDIA SA2022

Linear regression analysis of regional mean speed of Athens city network using drone data: A multi-modal approach

Nikolaos Geroliminis, Emmanouil Barmpounakis

The work proposes a multi-modal regional mean speed regression analysis for the city network of Athens, Greece. The dataset from pNUEMA experiment is used in the present context. Accumulations and mean speeds of different modes are estimated and compared t ...

2021

One-step solution to local tie vector determination at co-located GNSS/VLBI sites

Jean-Philippe Lucien Montillet

The local tie vector, which connects the different space geodetic techniques at a co-located site, plays an important role in the realization of the International Terrestrial Reference Frame (ITRF). This paper presents a new method to determine the tie vec ...

SPRINGER2018

Y Stability and performance verification of optimization-based controllers

Colin Neil Jones, Milan Korda

This paper presents a method to verify closed-loop properties of optimization-based controllers for deterministic and stochastic constrained polynomial discrete-time dynamical systems. The closed-loop properties amenable to the proposed technique include g ...

Pergamon-Elsevier Science Ltd2017

Technical Report: Control of Nonlinear Systems with Explicit-MPC-like Controllers

Colin Neil Jones, Milan Korda, Ivan Pejcic

This paper describes synthesis of controllers involving Quadratic Programming (QP) optimization problems for control of nonlinear systems. The QP structure allows an implementation of the controller as a piecewise affine function, pre-computed offline, whi ...

2017

A Szemeredi-Trotter type theorem, sum-product estimates in finite quasifields, and related results

Van Thang Pham

We prove a Szemeredi-Trotter type theorem and a sum product estimate in the setting of finite quasifields. These estimates generalize results of the fourth author, of Garaev, and of Vu. We generalize results of Gyarmati and Sarkozy on the solvability of th ...

Academic Press Inc Elsevier Science2017

Controller design and value function approximation for nonlinear dynamical systems

Colin Neil Jones, Milan Korda

This work considers the infinite-time discounted optimal control problem for continuous time input-affine polynomial dynamical systems subject to polynomial state and box input constraints. We propose a sequence of sum-of-squares (SOS) approximations of th ...

Pergamon-Elsevier Science Ltd2016

Partition function on spheres: How to use zeta function regularization

Alexander Monin

It is known that not all summation methods are linear and stable. Zeta function regularization is in general nonlinear. However, in some cases formal manipulations with zeta function regularization (assuming linearity of sums) lead to correct results. We c ...

American Physical Society2016

Convex computation of the maximum controlled invariant set for polynomial control systems

Colin Neil Jones, Milan Korda

We characterize the maximum controlled invariant (MCI) set for discrete- as well as continuous-time nonlinear dynamical systems as the solution of an infinite-dimensional linear programming problem. For systems with polynomial dynamics and compact semialge ...

Society for Industrial and Applied Mathematics2014

An application of Evolutionary Optimization Algorithms for Determining Concentration and Velocity Profiles in Sheet flows and Overlying Layers

David Andrew Barry, Roham Bakhtyar

The Particle Swarm Optimization (PSO) method and the Genetic Algorithm (GA) were used to derive formulas for determining the velocity and concentration profiles in sheet flows. Specifically, these evolutionary optimization algorithms were used in conjuncti ...

Asme-Amer Soc Mechanical Eng2012

An Optimized Spline-Based Registration of a 3D CT to a Set of C-Arm Images

Michaël Unser, Philippe Thévenaz

We have developed an algorithm for the rigid-body registration of a CT volume to a set of C-arm images. The algorithm uses a gradient-based iterative minimization of a least-squares measure of dissimilarity between the C-arm images and projections of the C ...

Hindawi Publishing Corporation2006

Spline-Based Image-to-Volume Registration for Three-Dimensional Electron Microscopy

Michaël Unser, Philippe Thévenaz

This paper presents an algorithm based on a continuous framework for a posteriori angular and translational assignment in three-dimensional electron microscopy (3DEM) of single particles. Our algorithm can be used advantageously to refine the assignment of ...

Elsevier2005