Home

Entities in software development

Applied sciences
Computer engineering
Software development
Entities in software develo...

Related publications (28)

About
Privacy
Disclaimer

Graph Chatbot

Dataset to accompany publication "Quantum-mechanical effects in photoluminescence from thin crystalline gold films"

Giulia Tagliabue, Alan Richard Bowman, Fateme Kiani Shahvandi, Theodoros Tsoulos

This dataset accompanies the publication "Quantum-mechanical effects in photoluminescence from thin crystalline gold films" published in Light: Science & Applications (https://doi.org/10.1038/s41377-024-01408-2). The data can be used to reproduce plots 1-4 ...

Zenodo2024

Quantitative convergence rates for scaling limit of SPDEs with transport noise

Lucio Galeati

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

MRI characterization of in vitro clots at 3T and 7T: A technical note

Lijing Xin, François Lazeyras

In acute ischemic stroke, the composition of the occlusive clot can be associated with the underlying pathophysiology and the response to treatment. For these reasons, it is important to characterize the clot composition from clinical scans. We examine the ...

Masson Editeur2024

ms3: A parser for MuseScore files, serving as data factory for annotated music corpora

Martin Alois Rohrmeier, Johannes Hentschel

The Python library ms3 makes scores (symbolic representations of music) operational for computational approaches by representing their contents as sets of tabular files. Music scores represent relations between sounding events by graphical means. The Free ...

2023

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

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

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

Page 1 of 3

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

Jaeyun Yi

Academic Press Inc Elsevier Science2023