Undecidable propositions by ODE's

À propos
Confidentialité
Mentions légales

Graph Chatbot

Publications associées (32)

Extractable Witness Encryption for the Homogeneous Linear Equations Problem

Serge Vaudenay, Bénédikt Minh Dang Tran

Witness encryption is a cryptographic primitive which encrypts a message under an instance of an NP language and decrypts the ciphertext using a witness associated with that instance. In the current state of the art, most of the witness encryption construc ...

Springer2023

Parabolic stochastic PDEs on bounded domains with rough initial conditions: moment and correlation bounds

Le Chen, David Jean-Michel Candil, Cheuk Yin Lee

We consider nonlinear parabolic stochastic PDEs on a bounded Lipschitz domain driven by a Gaussian noise that is white in time and colored in space, with Dirichlet or Neumann boundary condition. We establish existence, uniqueness and moment bounds of the r ...

Springer2023

Continuous-variable neural network quantum states and the quantum rotor model

Giuseppe Carleo

We initiate the study of neural network quantum state algorithms for analyzing continuous-variable quantum systems in which the quantum degrees of freedom correspond to coordinates on a smooth manifold. A simple family of continuous-variable trial wavefunc ...

SPRINGERNATURE2023

A Shape Derivative Approach to Domain Simplification

Ondine Gabrielle Chanon, Annalisa Buffa, Alessandra Arrigoni, Jochen Peter Hinz

The objective of this study is to address the difficulty of simplifying the geometric model in which a differential problem is formulated, also called defeaturing, while simultaneously ensuring that the accuracy of the solution is maintained under control. ...

Elsevier Sci Ltd2023

Fast global spectral methods for three-dimensional partial differential equations

Daniel Kressner, Christoph Max Strössner

Global spectral methods offer the potential to compute solutions of partial differential equations numerically to very high accuracy. In this work, we develop a novel global spectral method for linear partial differential equations on cubes by extending th ...

OXFORD UNIV PRESS2022

An analytical solution of the isentropic vortex problem in the special relativistic magnetohydrodynamics

Junming Duan

The isentropic vortex problem is frequently solved to test the accuracy of numerical methods and verify corresponding code. Unfortunately, its existing solution was derived in the relativistic magnetohydrodynamics by numerically solving an ordinary differe ...

ACADEMIC PRESS INC ELSEVIER SCIENCE2022

Explicit Stabilized Multirate Method For Stiff Differential Equations

Assyr Abdulle, Giacomo Rosilho De Souza

Stabilized Runge???Kutta methods are especially efficient for the numerical solution of large systems of stiff nonlinear differential equations because they are fully explicit. For semi-discrete parabolic problems, for instance, stabilized Runge???Kutta me ...

AMER MATHEMATICAL SOC2022

Stabilized isogeometric discretizations on trimmed and union geometries, and weak imposition of the boundary conditions for the Darcy flow

Riccardo Puppi

Modern manufacturing engineering is based on a ``design-through-analysis'' workflow. According to this paradigm, a prototype is first designed with Computer-aided-design (CAD) software and then finalized by simulating its physical behavior, which usually i ...

EPFL2022

Gradient-based optimisation of the conditional-value-at-risk using the multi-level Monte Carlo method

Fabio Nobile, Sundar Subramaniam Ganesh

In this work, we tackle the problem of minimising the Conditional-Value-at-Risk (CVaR) of output quantities of complex differential models with random input data, using gradient-based approaches in combination with the Multi-Level Monte Carlo (MLMC) method ...

2023

Adaptive analysis-aware defeaturing

Ondine Gabrielle Chanon, Annalisa Buffa, Rafael Vazquez Hernandez

Removing geometrical details from a complex domain is a classical operation in computer aided design for simulation and manufacturing. This procedure simplifies the meshing process, and it enables faster simulations with less memory requirements. But depen ...

2022

Adaptive analysis-aware defeaturing

Ondine Gabrielle Chanon

EPFL2022

Analytic modelling of passive microfluidic mixers

Christophe Lallement, Jean-Michel Sallese

This paper deals with a new analytical model for microfluidic passive mixers. Two common approaches already exist for such a purpose. On the one hand, the resolution of the advection-diffusion-reaction equation (ADRE) is the first one and the closest to ph ...

AMER INST MATHEMATICAL SCIENCES-AIMS2022

Page 2 sur 2