Related papers: Universality in computable dynamical systems: Old …
A stochastic version of a modified Navier-Stokes equation (introduced by Prouse) is considered in a 3-dimensional torus. We prove existence and uniqueness of martingale solutions. A different model with the non linearity given by a power 5…
In this talk I would like to illustrate with examples taken from Quantum Field Theory and Biophysics how an intelligent exploitation of the unprecedented power of today's computers could led not only to the solution of pivotal problems in…
In this work, we establish the global existence of strong solutions to the 2D and 3D compressible Navier-Stokes-Korteweg system with arbitrarily large initial data on the torus. This system was derived by Dunn and Serrin [Arch. Ration.…
This article covers thermodynamic, dynamic, and kinetic models that are suitable for the analysis of wetting, adsorption, and related interfacial phenomena in colloidal and multiphase systems. Particular emphasis is made on describing…
The paper gives a soundness and completeness proof for the implicative fragment of intuitionistic calculus with respect to the semantics of computability logic, which understands intuitionistic implication as interactive algorithmic…
Dynamic properties of fermionic systems, like contollability, reachability, and simulability, are investigated in a general Lie-theoretical frame for quantum systems theory. Observing the parity superselection rule, we treat the fully…
For the water-air system, the bulk density ratio is as high as about 1000; no model can fully tackle such a high density ratio system. In the Navier-Stokes and Euler equations, the density $\rho$ within the water-air interface is assumed to…
The paper considers a system of equations that models a lateral flow of a Boussinesq--Scriven fluid on a passively evolving surface embedded in $\mathbb{R}^3$. For the resulting Navier-Stokes type system, posed on a smooth closed…
This paper introduces a novel mathematical framework for examining the regularity and energy dissipation properties of solutions to the stochastic Navier-Stokes equations. By integrating Sobolev-Besov hybrid spaces, fractional differential…
For more than 150 years the Navier-Stokes equations for thermodynamically quasi-equilibrium flows have been the cornerstone of modern computational fluid dynamics that underpins new fluid technologies. However, the applicable regime of the…
Computational topology is an area that revisits topological problems from an algorithmic point of view, and develops topological tools for improved algorithms. We survey results in computational topology that are concerned with graphs drawn…
The article contains an outline of a possible new direction for Computability Logic (see www.csc.villanova.edu/~japaridz/CL/ ), focused on computability without infinite memory or other impossible-to-possess computational resources. The new…
We investigate the computational properties of basic mathematical notions pertaining to $\mathbb{R}\rightarrow \mathbb{R}$-functions and subsets of $\mathbb{R}$, like finiteness, countability, (absolute) continuity, bounded variation,…
According to the Church-Turing Thesis (CTT), effective formal behaviours can be simulated by Turing machines; this has naturally led to speculation that physical systems can also be simulated computationally. But is this wider claim true,…
To address Quantum Artificial Neural Networks as quantum dynamical computing systems, a formalization of quantum artificial neural networks as dynamical systems is developed, expanding the concept of unitary map to the neural computation…
The present paper introduces a novel notion of `(effective) computability', called viability, of strategies in game semantics in an intrinsic (i.e., without recourse to the standard Church-Turing computability), non-inductive and…
To scrutinize notions of computation and time complexity, we introduce and formally define an interactive model for computation that we call it the \emph{computation environment}. A computation environment consists of two main parts: i) a…
As one of the seven open problems in the addendum to their 1989 book "Computability in Analysis and Physics", Pour-El and Richards proposed ``... the recursion theoretic study of particular nonlinear problems of classical importance.…
We present a new hydrodynamic model consisting of the pressureless Euler equations and the isentropic compressible Navier-Stokes equations where the coupling of two systems is through the drag force. This coupled system can be derived, in…
This paper reviews connections between physics and computation, and explores their implications. The main topics are computational "hardness" of physical systems, computational status of fundamental theories, quantum computation, and the…