Results 31 to 40 of about 340,216 (285)
A Kinetic Perspective on k - ϵ Turbulence Model and Corresponding Entropy Production
Entropy, 2016 In this paper, we present an alternative derivation of the entropy production in turbulent flows, based on a formal analogy with the kinetic theory of rarefied gas.
Pietro Asinari +2 more
doaj +1 more source
, 2015 In this article we will introduce a new model to describe the leading order behavior of an ideal and axisymmetric fluid moving in a very narrow domain.
Strain, Robert M., Wong, Tak Kwong
core +1 more source
On the Physics of the Riemann Zeros [PDF]
, 2010 We discuss a formal derivation of an integral expression for the Li coefficients associated with the Riemann xi-function which, in particular, indicates that their positivity criterion is obeyed, whereby entailing the criticality of the non-trivial zeros.
He, Yang-Hui +2 more
core +2 more sources
Formal derivation of a pattern matching algorithm
Science of Computer Programming, 1989 The functional version of the Knuth-Morris-Pratt pattern matching algorithm is formally derived using the Bird's calculus of lists. The derivation process is thoroughly explained, various solving strategies are discussed, the paper is self-contained.
Bird, R, Gibbons, J, Jones, G
openaire +3 more sources
Formal moduli problems and formal derived stacks
, 2018 This paper presents a survey on formal moduli problems. It starts with an introduction to pointed formal moduli problems and a sketch of proof of a Theorem (independently proven by Lurie and Pridham) which gives a precise mathematical formulation for Drinfeld's derived deformation theory philosophy, which gives a correspondence between formal moduli ...
Calaque, Damien, Grivaux, Julien
openaire +2 more sources
Gutzwiller density functional theory: a formal derivation and application to ferromagnetic nickel
New Journal of Physics, 2014 We present a detailed derivation of the Gutzwiller density functional theory (DFT) that covers all conceivable cases of symmetries and Gutzwiller wave functions.
Tobias Schickling +3 more
doaj +1 more source
On EPP effects and the properties of Core Functional Categories
Glossa, 2020 In this paper I argue that EPP effects are not special to T but reflect more general formal properties of the Core Functional Categories (CFCs) C, T, and v.
Gerardo Fernández-Salgueiro
doaj +2 more sources
A microscopic derivation of the quantum mechanical formal scattering cross section
, 2005 We prove that the empirical distribution of crossings of a "detector'' surface by scattered particles converges in appropriate limits to the scattering cross section computed by stationary scattering theory.
A. Jensen +22 more
core +1 more source
Continuum limit of self-driven particles with orientation interaction [PDF]
, 2007 We consider the discrete Couzin-Vicsek algorithm (CVA), which describes the interactions of individuals among animal societies such as fish schools.
Camazine S. +6 more
core +9 more sources
Formal Derivation of Pointer Algorithms [PDF]
, 1991 We show that the well-known unfold/fold transformation strategy also is fruitful for the (formal) derivation of correct pointer algorithms. The key that allows this extension is the algebra of partial maps which allows convenient description and manipulation of pointer structures at the functional level.
openaire +1 more source