Concept

Linear equation

Related publications (100)

On the Power and Limitations of Branch and Cut

The Stabbing Planes proof system [Paul Beame et al., 2018] was introduced to model the reasoning carried out in practical mixed integer programming solvers. As a proof system, it is powerful enough to simulate Cutting Planes and to refute the Tseitin formu ...

Schloss Dagstuhl - Leibniz-Zentrum für Informatik2021

Stability of a Point Charge for the Vlasov–Poisson System: The Radial Case

Klaus Martin Widmayer

We consider the Vlasov–Poisson system with repulsive interactions. For initial data a small, radial, absolutely continuous perturbation of a point charge, we show that the solution is global and disperses to infinity via a modified scattering along traject ...

2021

On Gaussian Process based Koopman Operator

Colin Neil Jones

Enabling analysis of non-linear systems in linear form, the Koopman operator has been shown to be a powerful tool for system identification and controller design. However, current data-driven methods cannot provide quantification of model uncertainty given ...

2020

Relax and Recover: Guaranteed Range-Only Continuous Localization

Adam James Scholefield, Frederike Dümbgen, Michalina Wanda Pacholska

Range-only localization has applications as diverse as underwater navigation, drone tracking and indoor localization. While the theoretical foundations of lateration---range-only localization for static points---are well understood, there is a lack of unde ...

2020

Relax and Recover: Guaranteed Range-Only Continuous Localization

Adam James Scholefield, Frederike Dümbgen, Michalina Wanda Pacholska

Range-only localization has applications as diverse as underwater navigation, drone tracking and indoor localization. While the theoretical foundations of lateration-range-only localization for static points-are well understood, there is a lack of understa ...

2020

Electron flux and pressure dynamic in the LHC vacuum pilot sector as a function of beam parameters and beam pipe properties

Ambrogio Fasoli, Elena Buratin, Vincent Baglin

The Large Hadron Collider (LHC) is affected by the electron cloud (EC) phenomenon that can provoke beam instabilities, detrimental heat loads and pressure increases in the vacuum system. An innovative dedicated system called vacuum pilot sector (VPS) provi ...

AMER PHYSICAL SOC2020

Frequency fluctuations in nanomechanical silicon nitride string resonators

Luis Guillermo Villanueva Torrijo, Alper Demir

High quality factor (Q) nanomechanical resonators have received a lot of attention for sensor applications with unprecedented sensitivity. Despite the large interest, few investigations into the frequency stability of high-Q resonators have been reported. ...

AMER PHYSICAL SOC2020

Collisional gyrokinetic full-f particle-in-cell simulations on open field lines with PICLS

Stephan Brunner, Alberto Bottino

Applying gyrokinetic simulations in theoretical turbulence and transport studies for the plasma edge and scrape-off layer (SOL) presents significant challenges. To particularly account for steep density and temperature gradients in the SOL, the "full-f" co ...

2020

Gyrokinetic full-f particle-in-cell simulations on open field lines with PICLS

Emmanuel Lanti, Alberto Bottino, Noé Thomas Elie Ohana

While in recent years gyrokinetic simulations have become the workhorse for theoretical turbulence and transport studies in the plasma core, their application to the edge and scrape-off layer (SOL) region presents significant challenges. In particular, ste ...

2019

Sur quelques équations aux dérivées partielles en lien avec le lemme de Poincaré

David Valentin Strütt

In this thesis, we study two distinct problems. The first problem consists of studying the linear system of partial differential equations which consists of taking a k-form, and applying the exterior derivative 'd' to it and add the wedge product with a 1- ...

EPFL2018

Graph Chatbot

Chat with Graph Search

Ask any question about EPFL courses, lectures, exercises, research, news, etc. or try the example questions below.

DISCLAIMER: The Graph Chatbot is not programmed to provide explicit or categorical answers to your questions. Rather, it transforms your questions into API requests that are distributed across the various IT services officially administered by EPFL. Its purpose is solely to collect and recommend relevant references to content that you can explore to help you answer your questions.