output
20052025
most citedDegenerate parabolic stochastic partial differential equations: Quasilinear case

90 citations

researchers with a paper here

Counting papers with at most 25 authors, so collaboration author lists do not stand in for the people here.

collaborating institutions
Showing 2020Show all

6 papers · 1 filter

nlin.AO2020★ 17 cited

Modes of Information Flow in Collective Cohesion

Sulimon Sattari, Udoy S. Basak, Ryan G. James +2

Pairwise interactions between individuals are taken as fundamental drivers of collective behavior responsible for group cohesion and decision-making. While an individual directly i…

stat.ML2020★ 1 cited

High-Dimensional Multi-Task Averaging and Application to Kernel Mean Embedding

Hannah Marienwald, Jean-Baptiste Fermanian, Gilles Blanchard

We propose an improved estimator for the multi-task averaging problem, whose goal is the joint estimation of the means of multiple distributions using separate, independent data se…

q-bio.QM2020

Push-forward method for piecewise deterministic biochemical simulations

Guilherme C. P. Innocentini, Arran Hodgkinson, Fernando Antoneli +2

A biochemical network can be simulated by a set of ordinary differential equations (ODE) under well stirred reactor conditions, for large numbers of molecules, and frequent reactio…

math.AP2020★ 9 cited

Stochastic quantization of Liouville conformal field theory

Tadahiro Oh, Tristan Robert, Nikolay Tzvetkov +1

We study a nonlinear stochastic heat equation forced by a space-time white noise on closed surfaces, with nonlinearity . This equation corresponds to the stochastic quantiz…

cs.PL2020★ 19 cited

Repairing and Mechanising the JavaScript Relaxed Memory Model

Conrad Watt, Christopher Pulte, Anton Podkopaev +5

Modern JavaScript includes the SharedArrayBuffer feature, which provides access to true shared memory concurrency. SharedArrayBuffers are simple linear buffers of bytes, and the Ja…

cs.PL2020★ 3 cited

Sthread: In-Vivo Model Checking of Multithreaded Programs

Gene Cooperman, Martin Quinson

This work strives to make formal verification of POSIX multithreaded programs easily accessible to general programmers. Sthread operates directly on multithreaded C/C++ programs, w…