Related papers: On streams that are finitely red
Two finite volume methods are derived and applied to the solution of problems of incompressible flow. In particular, external inviscid flows and boundary-layer flows are examined. The firstmethod analyzed is a cell-centered finite volume…
The aim of this note is two-fold. In the first part of the paper we are going to investigate an inverse problem related to additive energy. In the second, we investigate how dense a subset of a finite structure can be for a given additive…
The question of whether significant sub-volumes of a turbulent flow can be identified by automatic means, independently of a-priori assumptions, is addressed using the example of two-dimensional decaying turbulence. Significance is defined…
Diagrammatic techniques to compute perturbatively the spectral properties of Euclidean Random Matrices in the high-density regime are introduced and discussed in detail. Such techniques are developed in two alternative and very different…
We propose an operational definition of the entropy of cosmological perturbations based on a truncation of the hierarchy of Green functions. The value of the entropy is unambiguous despite gauge invariance and the renormalization procedure.…
Collatz Conjecture sequences increase and decrease in seemingly random fashion. By identifying and analyzing the forms of numbers, we discover that Collatz sequences are governed by very specific, well-defined rules, which we call cascades.
This study is motivated by problems related to environmental transport on river networks. We establish statistical properties of a flow along a directed branching network and suggest its compact parameterization. The downstream network…
We examine a number of results of infinite combinatorics using the techniques of reverse mathematics. Our results are inspired by similar results in recursive combinatorics. Theorems included concern colorings of graphs and bounded graphs,…
In two space dimensions, we study a general double-free-boundary problem which models a stream flowing through a gravitaional potentiay. ntial-energy terrain. The existence theorem generalizes (by a different proof) a result of A. Beurling.…
The intersection type assignment system has been designed directly as deductive system for assigning formulae of the implicative and conjunctive fragment of the intuitionistic logic to terms of lambda-calculus. But its relation with the…
In the theory of hydrodynamic stability, the procedure to decompose an incompressible flow field into its basic motion and disturbances is imprecise and problematic because the disturbances, infinitesimal or finite, are ill-defined…
We regard explanations as a blending of the input sample and the model's output and offer a few definitions that capture various desired properties of the function that generates these explanations. We study the links between these…
The exhaustive classification of stationary incompressible flows with constant total pressure of ideal infinitely electrically conducting fluid is given. By introduction of curvilinear coordinates based on streamlines and magnetic lines of…
This paper explores a variety of strategies for understanding the formation, structure, efficiency and vulnerability of water distribution networks. Water supply systems are studied as spatially organized networks for which the practical…
We study hierarchical segmentation in the framework of edge-weighted graphs. We define ultrametric watersheds as topological watersheds null on the minima. We prove that there exists a bijection between the set of ultrametric watersheds and…
We show that intuitionistic logic is deductively equivalent to Connexive Heyting Logic (CHL), hereby introduced as an example of a strong connexive logic with intuitive semantics. We use the reverse algebraisation paradigm: CHL is presented…
Results about the redundancy of circumscriptive and default theories are presented. In particular, the complexity of establishing whether a given theory is redundant is establihsed.
In this article we consider the inhomogeneous incompressible Euler equations describing two fluids with different constant densities under the influence of gravity as a differential inclusion. By considering the relaxation of the…
We review several competing chaining methods to estimate the supremum, the diameter of the range or the modulus of continuity of a stochastic process in terms of tail bounds of their two-dimensional distributions. Then we show how they can…
This paper presents a soundness and completeness proof for propositional intuitionistic calculus with respect to the semantics of computability logic. The latter interprets formulas as interactive computational problems, formalized as games…