Simulating fluid flow at micro level is an ongoing problem. Simplified macroscopic flow models like Darcy’s law is unable to estimate fluid dynamic properties of porous media. The digital sample reconstruction by high resolution X-ray computed tomography scanning and fluid-dynamics simulation, together with the increasing power of super-computers, allow to carry out pore-scale simulations throu...

Introduction:In this study, a non-invasive method based on consecutive ultrasonic image processing is introduced to assess time rate changes of the carotid artery wall displacement, velocity and acceleration in the longitudinal direction. The application of these parameters to discriminate healthy and atherosclerotic arteries was evaluated. Methods:Longitudinal displacement rate of common ...

In this paper we prove the soliton resolution conjecture for all times, solutions in energy space, of co-rotational wave map equation. To our knowledge is first such result initial data space a wave-type We also corresponding results radial solutions, which remain bounded norm, cubic (energy-critical) nonlinear equation dimension 4.

A novel approach for reconstruction of sparse high-resolution data from lower-resolution dense spatio-temporal data is introduced. The basic idea is to compute the dense feature velocities from lower-resolution data and project them to the corresponding high-resolution data for computing the missing data. In this context, the basic flow equation is solved for intensity, as opposed to feature ve...

This paper presents a technique for the resolution of alternating disjunctive/conjunctive boolean equation systems. The technique can be used to solve various verification problems on finitestate concurrent systems, by encoding the problems as boolean equation systems and determining their local solutions. The main contribution of this paper is that a recent resolution technique from [13] for d...

We derive loop quantum gravity corrections to the Raychaudhuri equation in interior of a Schwarzschild black hole and near classical singularity. show that resulting effective implies defocusing geodesics due appearance repulsive terms. This prevents formation conjugate points, renders singularity theorems inapplicable, leads resolution for this spacetime.