A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is `application/pdf`

.

## Filters

##
###
Exact flow analysis
[chapter]

1997
*
Lecture Notes in Computer Science
*

We present a type-based

doi:10.1007/bfb0032746
fatcat:6py2xxd4fffl7ebpxkgavsj2xq
*flow**analysis*for simply typed lambda calculus with booleans, data-structures and recursion. ... The*analysis*is*exact*in the following sense: if the*analysis*predicts a redex, then there exists a reduction sequence (using standard reduction plus context propagation rules) such that this redex will ... The instrumented semantics can be thought of as an*exact*(though undecidable)*flow**analysis*. ...##
###
Exact flow analysis

2003
*
Mathematical Structures in Computer Science
*

##
###
Symmetry analysis and exact solutions of semilinear heat flow in multi-dimensions
[article]

2011
*
arXiv
*
pre-print

A symmetry group method is used to obtain

arXiv:1011.4633v3
fatcat:kcrlj2srvfcuvct6uklsvmjewe
*exact*solutions for a semilinear radial heat equation in n>1 dimensions with a general power nonlinearity. ... Symmetries and group foliation For the purpose of symmetry*analysis*and finding*exact*solutions, it is easier to work with a slightly modified form of the heat equation (1) : u t = u rr + (n − 1)r −1 ... The resulting*exact*solutions of the heat equation are summarized in Sec. 3. ...##
###
Exact Flow Analysis by Higher-Order Model Checking
[chapter]

2012
*
Lecture Notes in Computer Science
*

, unlike Mossin's

doi:10.1007/978-3-642-29822-6_22
fatcat:hytpfo7h4fdrhokajugqnclbty
*exact**flow**analysis*, it is indeed runnable in practice, at least for small programs. ... The distinguished features of our control*flow**analysis*are that, unlike most of the control*flow*analyses like k-CFA, it is*exact*for simplytyped λ-calculus with recursion and finite base types, and that ... Except Mossin's*exact**flow**analysis*[18] , the previous methods are not*exact*even for λ S in Section 3. ...##
###
On exact topological flows

2003
*
Topological Methods in Nonlinear Analysis
*

It is shown that group endomorphisms are

doi:10.12775/tmna.2003.024
fatcat:a7efxc7lx5h7djannbhzxuap6i
*exact**flows*if and only if they are*exact*in the measure-theoretic sense and that all*flows*which are*exact*with respect to an invariant measure with full support ... are*exact*. ... Next we show that any*flow**exact*with respect to an invariant measure with full support is*exact*. The existence of*exact**flows*with zero topological entropy has already been observed in [3] . ...##
###
Exact Renormalization Group Analysis of Turbulent Transport by the Shear Flow

2013
*
Journal of statistical physics
*

The

doi:10.1007/s10955-013-0854-1
fatcat:tingr6n7azeahmui62bjiuf53e
*exact*renormalization group (RG) method initiated by Wilson and further developed by Polchinski is used to study the shear*flow*model proposed by Avellaneda and Majda as a simplified model for the ... It is shown that this*exact*RG method is capable of recovering all the scaling regimes as the spectral parameters of velocity statistics vary, found by Avellaneda and Majda in their rigorous study of this ... RENORMALIZATION GROUP*ANALYSIS*OF TURBULENT TRANSPORT BY THE SHEAR*FLOW*14 . ...##
###
Periodic orbits of weakly exact magnetic flows

2013
*
Nonlinear Analysis and Differential Equations
*

For a weakly

doi:10.12988/nade.2013.13011
fatcat:4qnns3j7qnf45j6rswsu3eby34
*exact*magnetic*flows*with a bounded primitive on a closed Riemannian manifold, we prove the existence of periodic orbits in almost all energy levels below of the Mañé's critical value. ... Mathematics Subject Classification is a Riemannian universal covering of (M, g), thus the*flow*of L coincide with the lift of the magnetic*flow*(g, Ω) therefore is complete. ... For weakly*exact*magnetic*flow*e 0 = 0. ...##
###
Symmetry analysis and exact solutions of semilinear heat flow in multi-dimensions

2011
*
Journal of Mathematical Analysis and Applications
*

A symmetry group method is used to obtain

doi:10.1016/j.jmaa.2011.01.073
fatcat:vtbp2tserzafnglkgf5lf4ymwq
*exact*solutions for a semilinear radial heat equation in n > 1 dimensions with a general power nonlinearity. ... Symmetries and group foliation For the purpose of symmetry*analysis*and finding*exact*solutions, it is easier to work with a slightly modified form of the heat equation (1) : u t = u rr + (n − 1)r −1 ... The resulting*exact*solutions of the heat equation are summarized in Section 3. ...##
###
Some exact solutions for a class of two-dimensional hydromagnetic steady flows

1963
*
Journal of Mathematical Analysis and Applications
*

We derive a small collection of

doi:10.1016/0022-247x(63)90028-3
fatcat:v6xynr4ikzd3leci3sa7qwwmla
*exact*solutions of simple structure-in which one of the interacting fields V, B is a parallel field. ... ) and electrical energy,*flowing*everywhere in the*flow*plane, in the direction of the Poynting flux. ... (In this paper, Lin shows the existence of a class of hydromagnetic*flows*of a simple form for which the formulation is reducible to a set of ordinary differential equations. ...##
###
On the Exact Analytical and Numerical Solutions of Nano Boundary-Layer Fluid Flows

2012
*
Abstract and Applied Analysis
*

It is then used to examine and validate the present analytical

doi:10.1155/2012/415431
fatcat:3as74z2ivzavxcojljwxgk64sm
*analysis*. ... The nonlinear boundary value problem describing the nanoboundary-layer*flow*with linear Navier boundary condition is investigated theoretically and numerically in this paper. ... Recently, Guedda et al. 27 have applied this method to validate and evidence the*analysis*of two-dimensional mixed convection boundary-layer*flow*over a vertical flat plate embedded in a porous medium ...##
###
Some exact solutions of the flow of an incompressible fluid in special relativity

1968
*
Journal of Mathematical Analysis and Applications
*

Consequently, unlike in usual compressible

doi:10.1016/0022-247x(68)90081-4
fatcat:2fworb7fnfeafkty6q4xh33m2u
*flows*, the*flow*classification with respect to sound speed is not possible from (3.9). CASE II. p = (I? ... The*flow*takes pace in the region defined by the above inequality. ...##
###
Exact Boundary Controllability of Unsteady Flows in a Tree-like Network of Open Canals

2004
*
Methods and Applications of Analysis
*

In this paper we establish the

doi:10.4310/maa.2004.v11.n3.a7
fatcat:xvxs3cxxb5hxfnukfp6f43zst4
*exact*boundary controllability of unsteady*flows*in a tree-like network of open canals with general topology. ...*Exact*boundary controllability of unsteady*flows*in a tree-like network of open canals. ... on the*exact*boundary controllability of unsteady*flows*in a network of open canals with simpler topology. ...##
###
EXACT DETERMINATION OF FLOW STATE IN FLOW-VISUALIZED IMAGE BY MEASUREMENT AND ANALYSIS OF SPECTRUM (CASE OF PLUME FLOW)

14 スペクトル計測解析による流れの可視化画像の流れ状態の特定(プルーム流れを例として)

1989
*
JOURNAL OF THE FLOW VISUALIZATION SOCIETY OF JAPAN
*

14 スペクトル計測解析による流れの可視化画像の流れ状態の特定(プルーム流れを例として)

The purpose is to exactly determine a

doi:10.3154/jvs1981.9.supplement_61
fatcat:celmiuda5fbsrped43umfq6zpq
*flow*state of a thermal plume by measurement and*analysis*of plume spectrum, The behavior of even a laminar plume is always time-dependent, because the laminar plume ... This crieterion for determination of*flow*state can be applied to any kind of*flow*. 1.緒 言 流 れ の 可 視 化 画 像 を 見 た だ け で は 、 各 位 置 の 流 れ が 、 層 流 か 、 遷 移 域 か 、 あ る い は秩 序 運 動 を 伴 う 乱 流 で あ る か を 、 特 定 す る ...##
###
Instability of two-phase mixing layers: analysis of exact and approximate base flows from boundary layer theory

2005
*
Journal of Non-Equilibrium Thermodynamics
*

The stability

doi:10.1515/jnetdy.2005.017
fatcat:vzkda7h2s5exhkpho7ktfhfrtu
*analysis*is restricted to two-dimensional perturbations. The two-fluid boundary layer equations are solved numerically using a shooting method in each fluid layer. ... The composite error-function profile is constructed by matching displacement thicknesses with the*exact*solution. ... For this reason, analytical expressions for the base*flow*have been used in recent works [5] [6] [7] instead of Lock's*exact*solution. ...##
###
An exact solution of start-up flow for the fractional generalized Burgers' fluid in a porous half-space

2008
*
Nonlinear Analysis
*

By using the Fourier sine transform and the fractional Laplace transform, an

doi:10.1016/j.na.2007.07.047
fatcat:xbytc37q35cm5kvltclqqvh46u
*exact*solution of the velocity distribution is obtained. ... The velocity of the*flow*is described by fractional partial differential equations. ... This problem provides insights into the*analysis*of boundary layer growth and*flow*bounded by an infinite flat plate. ...
« Previous

*Showing results 1 — 15 out of 1,110,446 results*