Sciweavers

811 search results - page 46 / 163
» Flow Theory: An Enhancement
Sort
View
CORR
2007
Springer
98views Education» more  CORR 2007»
13 years 8 months ago
Normalisation Control in Deep Inference Via Atomic Flows
We introduce ‘atomic flows’: they are graphs obtained from derivations by tracing atom occurrences and forgetting the logical structure. We study simple manipulations of atomi...
Alessio Guglielmi, Tom Gundersen
IJCV
1998
96views more  IJCV 1998»
13 years 8 months ago
The Intrinsic Structure of Optic Flow Incorporating Measurement Duality
The purpose of this article is to define optic flow for scalar and density images without using a priori knowledge other than its defining conservation principle, and to incorpo...
Luc Florack, Wiro J. Niessen, Mads Nielsen
ICASSP
2011
IEEE
13 years 18 days ago
Cooperative Maximum Likelihood estimation for fluid flow dynamics in biosensor arrays
Abstract—This paper deals with estimation of the concentration of target molecules in a fluid when it flows past multiple biosensors. The fluid flow is modelled as an advecti...
Maryam Abolfath Beygi, Vikram Krishnamurthy
JCPHY
2011
86views more  JCPHY 2011»
12 years 11 months ago
A numerical scheme for particle-laden thin film flow in two dimensions
The physics of particle-laden thin film flow is not fully understood, and recent experiments have raised questions with current theory. There is a need for fully two-dimensional...
Matthew R. Mata, Andrea L. Bertozzi
ACTA
2010
87views more  ACTA 2010»
13 years 9 months ago
On the observational theory of the CPS-calculus
We study the observational theory of Thielecke's CPS-calculus, a distillation of the target language of Continuation-Passing Style transforms. We define a labelled transition...
Massimo Merro