Publications related to X.Org Server

Quantitative convergence rates for scaling limit of SPDEs with transport noise

We consider on the torus the scaling limit of stochastic 2D (inviscid) fluid dynamics equations with transport noise to deterministic viscous equations. Quantitative estimates on the convergence rates are provided by combining analytic and probabilistic ar ...

Academic Press Inc Elsevier Science2024

Lp-regularity theory for the stochastic reaction-diffusion equation with super-linear multiplicative noise and strong dissipativity

Jaeyun Yi

We study the existence, uniqueness, and regularity of the solution to the stochastic reaction-diffusion equation (SRDE) with colored noise F-center dot:partial derivative(t)u = aijuxixj +biuxi + cu - bu1+beta +xi u1+gamma F-center dot, (t, x) is ...

Academic Press Inc Elsevier Science2023

An adaptive space-time algorithm for the incompressible Navier-Stokes equations

Marco Picasso, Samuel Dubuis

A space-time adaptive algorithm is presented to solve the incompressible Navier-Stokes equations. Time discretization is performed with the BDF2 method while continuous, piecewise linear anisotropic finite elements are used for the space discretization. Th ...

Academic Press Inc Elsevier Science2023

On algebraic array theories

Viktor Kuncak, Rodrigo Raya

Automatic verification of programs manipulating arrays relies on specialised decision procedures. A methodology to classify the theories handled by these procedures is introduced. It is based on decomposition theorems in the style of Feferman and Vaught. T ...

Elsevier Science Inc2023

Heteroclinic orbits for a system of amplitude equations for orthogonal domain walls

Boris Buffoni

Using a variational method, we prove the existence of heteroclinic solutions for a 6-dimensional system of ordinary differential equations. We derive this system from the classical Benard-Rayleigh problem near the convective instability threshold. The cons ...

ACADEMIC PRESS INC ELSEVIER SCIENCE2023

As easy as ABC: Optimal (A)ccountable (B)yzantine (C)onsensus is easy!

Rachid Guerraoui, Jovan Komatovic, Pierre Philippe Civit, Vincent Gramoli, Seth Gilbert

In a non-synchronous system with n processes, no t(0)-resilient (deterministic or probabilistic) Byzantine consensus protocol can prevent a disagreement among correct processes if the number of faulty processes is > n - 2t(0). Therefore, the community defi ...

ACADEMIC PRESS INC ELSEVIER SCIENCE2023

QFT without infinities and hierarchy problem

Sander Johannes Nicolaas Mooij, Mikhail Chapochnikov

The standard way to do computations in Quantum Field Theory (QFT) often results in the requirement of dramatic cancellations between contributions induced by a "heavy" sector into the physical observables of the "light" (or low energy) sector - the phenome ...

ELSEVIER2023

Dynamic nuclear polarisation of 1H in Gd-doped In(OH)3

David Lyndon Emsley, Michael Allan Hope, Amrit Venkatesh, Yuxuan Zhang

Dynamic nuclear polarisation (DNP) of solids doped with high-spin metal ions, such as Gd3+, is a useful strategy to enhance the nuclear magnetic resonance (NMR) sensitivity for these samples. Spin diffusion can relay polarisation throughout a sample, which ...

Academic Press Inc - Elsevier Science2023

Detecting the metabolism of individual yeast mutant strain cells when aged, stressed or treated with antioxidants with diamond magnetometry

Mayeul Sylvain Chipaux

Free radicals play a key role in the ageing process. However, free radicals are small, reactive and short lived and thus challenging to measure. We utilize a new technique called diamond magnetometry for this pur-pose. We make use of nitrogen vacancy cente ...

ELSEVIER SCI LTD2023

Cavitation bubble dynamics and microjet atomization near tissue-mimicking materials

Mohamed Farhat, Davide Bernardo Preso, Armand Baptiste Sieber

In recent years, considerable interest has been devoted to the interactions between cavitation bubbles and tissue-mimicking materials due to their promising applications in medicine and biomedical sciences. The strong fluid-structure interaction between a ...

AIP Publishing2023

Stable parameterization of continuous and piecewise-linear functions

Michaël Unser, Alexis Marie Frederic Goujon, Joaquim Gonçalves Garcia Barreto Campos

Rectified-linear-unit (ReLU) neural networks, which play a prominent role in deep learning, generate continuous and piecewise-linear (CPWL) functions. While they provide a powerful parametric representation, the mapping between the parameter and function s ...

2023

Tensor approximation of the self-diffusion matrix of tagged particle processes

Christoph Max Strössner

The objective of this paper is to investigate a new numerical method for the approximation of the self-diffusion matrix of a tagged particle process defined on a grid. While standard numerical methods make use of long-time averages of empirical means of de ...

ACADEMIC PRESS INC ELSEVIER SCIENCE2023

Anomaly-free scale symmetry and gravity

Mikhail Chapochnikov, Anna Tokareva

In this Letter, we address the question of whether the conformal invariance can be considered as a global symmetry of a theory of fundamental interactions. To describe Nature, this theory must contain a mechanism of spontaneous breaking of the scale symmet ...

ELSEVIER2023

Search for new heavy resonances decaying to WW, WZ, ZZ, WH, or ZH boson pairs in the all-jets final state in proton-proton collisions at √s=13 TeV

Matthias Finger, Konstantin Androsov, Qian Wang, Jan Steggemann, Anna Mascellani, Yiming Li, Varun Sharma, Xin Chen, Rakesh Chawla, Matteo Galli, Jian Wang, João Miguel das Neves Duarte, Tagir Aushev, Matthias Wolf, Yi Zhang, Lei Zhang, Tian Cheng, Yixing Chen, Werner Lustermann, Andromachi Tsirou, Alexis Kalogeropoulos, Andrea Rizzi, Ioannis Papadopoulos, Paolo Ronchese, Hua Zhang, Leonardo Cristella, Siyuan Wang, Tao Huang, David Vannerom, Michele Bianco, Sebastiana Gianì, Sun Hee Kim, Davide Di Croce, Kun Shi, Wei Shi, Abhisek Datta, Jian Zhao, Federica Legger, Gabriele Grosso, Ji Hyun Kim, Donghyun Kim, , , , , , , , , , , , , , , , , , , , , , , , , , , , , ,

Controlling superconductivity of CeIrIn5 microstructures by substrate selection

Philip Johannes Walter Moll, Matthias Carsten Putzke, Chunyu Guo, Maja Deborah Bachmann, Maarten Ruud van Delft, Joshua Alan Wolfe Straquadine

Superconductor/metal interfaces are usually fabricated in heterostructures that join these dissimilar materials. A conceptually different approach has recently exploited the strain sensitivity of heavy-fermion superconductors, selectively transforming regi ...

AIP Publishing2022

Resource Management for Power-Constrained HEVC Transcoding Using Reinforcement Learning

David Atienza Alonso, Marina Zapater Sancho, Arman Iranfar, Luis Maria Costero Valero

The advent of online video streaming services along with the users' demand for high-quality contents require High Efficiency Video Coding (HEVC), which provides higher quality and compression at the cost of increased complexity. On one hand, HEVC exposes a ...

2020

Exposed Column Base Connections for Minimizing Earthquake-induced Residual Deformations in Steel Moment-Resisting Framess

Dimitrios Lignos, Albano António De Abreu E Presa De Castro E Sousa, Hiroyuki Inamasu

This paper proposes a new exposed column base (XCB) design concept for steel moment-resisting frames (MRFs) that promotes anchor rod yielding rather than plastic hinging at the bottom of the first story columns. A mechanics-based numerical model is first d ...

2019

HetExchange: Encapsulating heterogeneous CPU-GPU parallelism in JIT compiled engines

Anastasia Ailamaki, Manolis Karpathiotakis, Raja Appuswamy, Periklis Chrysogelos

Modern server hardware is increasingly heterogeneous as hardware accelerators, such as GPUs, are used together with multicore CPUs to meet the computational demands of modern data analytics workloads. Unfortunately, query parallelization techniques used by ...

2019

Burying non-radiative defects in InGaN underlayer to increase InGaN/GaN quantum well efficiency

Nicolas Grandjean, Jean-François Carlin, Raphaël Butté, Denis Martin, Gwénolé Jean Jacopin, Camille Haller

The insertion of an InGaN underlayer (UL) is known to strongly improve the performance of InGaN/GaN quantum well (QW) based blue light emitting diodes (LEDs). However, the actual physical mechanism responsible for it is still unclear. We thus conduct a sys ...

American Institute of Physics2017

Scaling Up Concurrent Analytical Workloads on Multi-Core Servers

Iraklis Psaroudakis

Today, an ever-increasing number of researchers, businesses, and data scientists collect and analyze massive amounts of data in database systems. The database system needs to process the resulting highly concurrent analytical workloads by exploiting modern ...

EPFL2016