Regularization strategies for discontinuity-preserving optical flow methods

[EN]The aim of this work is to study several strategies for the preservation of flow discontinuities in variational optical flow methods. We analyze the combination of robust functionals and diffusion tensors in the smoothness assumption. Our study includes the use of tensors based on decreasing functions, which has shown to provide good results. However, it presents several limitations and usually does not perform better than other basic approaches. It typically introduces instabilities in the computed motion fields in the form of independent \textit{blobs} of vectors with large magnitude...

Milk flow-dependent vacuum loss in high-line milking systems: effects on milking characteristics and teat tissue condition

To study the effects of a milking system that partially compensates for milk flow-dependent vacuum loss compared with a standard (high-line) milking unit in a tie-stall barn, milk flow and vacuum patterns were recorded in 10 cows during machine milking with 2 milking systems in a crossover design for 7 d each. Before and after each treatment period postmilking teat condition was recorded by ultrasound cross-sectioning. Additionally, 2 methods to measure teat tissue condition were compared: longitudinal teat ultrasound cross-sectioning and teat tissue density measurements with the spring-loaded caliper (cutimeter method). The partial compensation of milk flow-dependent vacuum loss caused an elevation of the peak flow rate (4.74+/-0.08 vs. 4.29+/-0.07 kg/min) and a shorter duration of plateau (1.57+/-0.06 vs. 1.96+/-0.07 min) compared with the standard milking system. Total milk yield, duration of incline and decline of milk flow, average milk flow, time until peak flow rate, main milking time, and total milking time did not differ between treatments (overall means: 13.75+/-0.17 kg; 0.65+/-0.01 min; 2.88+/-0.09 min; 2.82+/-0.05 kg/min; 1.65+/-0.03 min; 5.23+/-0.09 min, and 5.30+/-0.10 min, respectively). The vacuum drop in the short milk tube during periods of high milk flow was less in the compensating vacuum than in the standard milking system (11+/-1.1 vs. 15+/-0.7 kPa). Teat measures as determined by ultrasound remained unchanged over the entire experimental period with both milking systems. Postmilking teat tissue measures including their recovery within 20 min after the end of milking show a correlation (0.85 and 0.71, respectively) between the methods used (ultrasound and cutimeter method). In conclusion, a more constant vacuum at the teat tip (within the short milk tube) during periods of high milk flow affected milk flow patterns, mainly increasing peak flow rate. However, the reduced vacuum loss did not increase the overall speed of milking. In addition, effects of higher vacuum stability on teat condition and udder health were not obvious.

Incontinentia lactis: physiology and anatomy conducive to milk leakage in dairy cows

Incontinentia lactis is a possible predisposing factor for an elevated level of intramammary infection. The goal of the present study was to investigate possible causes of incontinentia lactis in dairy cows. Two farms that differed in breed composition, but that had similar average milk yields were studied: herd A, 28 kg/d, 31 Red Holstein cows; and herd B, 26 kg/d, 16 Brown Swiss cows. Herd A was classified into 2 groups: incontinentia lactis (ILA group) and control, whereas herd B was exclusively a control herd. Milk samples that represented foremilk and the main milk fraction were collected during 4 milking sessions. In addition, milk leakage samples from the ILA group were collected at different time intervals from 0 to 5 h before milking. Measurements of the teat, milk flow, fractions of cisternal and alveolar milk, intramammary pressure, and blood oxytocin pattern also were obtained. The ILA cows did not have differences in fat content between milk leakage and cisternal milk fraction. Milk fat content, however, increased during milking in response to continuous milk ejection (1.95, 1.99, and 4.61% for milk leakage, cisternal, and main milk samples, respectively). Teat canals were 9% shorter in the ILA cows, which showed greater milk yield, peak, and average flow rates. Quarter cisternal milk yield of ILA cows tended to be greater (0.50 vs. 0.23 and 0.28 kg for ILA and controls from herds A and B, respectively), whereas percentages of cistern milk and alveolar milk did not differ from controls. The greater pressure in the ILA group, both before and after manual udder stimulation (ILA: 4.0 and 6.4 kPa; control: 2.0 and 5.0 kPa, respectively), could be an important cause for the leakage. Nevertheless, the increase in IMP that occurred after udder preparation affirms that milk ejection occurred in response to the tactile teat stimulation, but not before the onset of leakage. Blood oxytocin concentration in ILA cows was low until the start of udder preparation and increased in response to the milking stimulus (reaffirming the hypothesis that milk leakage occurred in the absence of milk ejection). In conclusion, milk losses by leakage are likely due to the large amount of cisternal milk, which creates pressure and causes leakage, in the absence of milk ejection.

Vertebroplasty: experimental characterization of polymethylmethacrylate bone cement spreading as a function of viscosity, bone porosity, and flow rate

STUDY DESIGN: This is an experimental study on an artificial vertebra model and human cadaveric spine. OBJECTIVE: Characterization of polymethylmethacrylate (PMMA) bone cement distribution in the vertebral body as a function of cement viscosity, bone porosity, and injection speed. Identification of relevant parameters for improved cement flow predictability and leak prevention in vertebroplasty. SUMMARY OF BACKGROUND DATA: Vertebroplasty is an efficient procedure to treat vertebral fractures and stabilize osteoporotic bone in the spine. Severe complications result from bone cement leakage into the spinal canal or the vascular system. Cement viscosity has been identified as an important parameter for leak prevention but the influence of bone structure and injection speed remain obscure. METHODS: An artificial vertebra model based on open porous aluminum foam was used to simulate bone of known porosity. Fifty-six vertebroplasties with 4 different starting viscosity levels and 2 different injection speeds were performed on artificial vertebrae of 3 different porosities. A validation on a human cadaveric spine was executed. The experiments were radiographically monitored and the shape of the cement clouds quantitatively described with the 2 indicators circularity and mean cement spreading distance. RESULTS: An increase in circularity and a decrease in mean cement spreading distance was observed with increasing viscosity, with the most striking change occurring between 50 and 100 Pas. Larger pores resulted in significantly reduced circularity and increased mean cement spreading distance whereas the effect of injection speed on the 2 indicators was not significant. CONCLUSION: Viscosity is the key factor for reducing the risk of PMMA cement leakage and it should be adapted to the degree of osteoporosis encountered in each patient. It may be advisable to opt for a higher starting viscosity but to inject the material at a faster rate.

Irrigated-tip catheter ablation of intraatrial reentrant tachycardia in patients late after surgery of congenital heart disease.

OBJECTIVES The aim of this study was to evaluate irrigated-tip catheter for ablation of intraatrial reentrant tachycardias late after surgical repair of congenital heart disease. BACKGROUND In congenital heart disease patients, the right atrium can be markedly enlarged with areas of low blood flow. Radiofrequency (RF) lesion creation may be hampered by insufficient electrode cooling at sites with low blood flow. METHODS Thirty-six consecutive patients with intraatrial reentrant tachycardia refractory to antiarrhythmic therapy from two centers were included in the study. Entrainment pacing and electroanatomic mapping (CARTO) were used to delineate reentrant circuits and critical isthmus sites. RF ablation was performed using an irrigated-tip catheter (Navistar Thermocool). RESULTS Fifty-two intraatrial reentrant tachycardia circuits were identified, and 48 were targeted with RF ablation. RF ablation was performed using a mean of 13 +/- 11 irrigated RF applications per tachycardia isthmus with a mean power of 36 +/- 8 W. In a historical control group of congenital heart disease patients managed with conventional catheter ablation, the number of lesions per isthmus was higher (23 +/- 11) and mean power was lower (27 +/- 14 W). Acute success was achieved in 45 intraatrial reentrant tachycardias (94% of targeted tachycardias and 87% of all tachycardias). After a mean follow-up of 17 +/- 7 months, 33 (92%) of 36 patients were free of recurrence. Five patients (14%) developed paroxysmal atrial fibrillation. CONCLUSIONS The combination of modern techniques including electroanatomic mapping and catheter irrigation allows safe and highly effective ablation of intraatrial reentrant tachycardia in patients with surgically repaired congenital heart disease.

K-t GRAPPA-accelerated 4D flow MRI of liver hemodynamics: influence of different acceleration factors on qualitative and quantitative assessment of blood flow.

OBJECTIVE We sought to evaluate the feasibility of k-t parallel imaging for accelerated 4D flow MRI in the hepatic vascular system by investigating the impact of different acceleration factors. MATERIALS AND METHODS k-t GRAPPA accelerated 4D flow MRI of the liver vasculature was evaluated in 16 healthy volunteers at 3T with acceleration factors R = 3, R = 5, and R = 8 (2.0 × 2.5 × 2.4 mm(3), TR = 82 ms), and R = 5 (TR = 41 ms); GRAPPA R = 2 was used as the reference standard. Qualitative flow analysis included grading of 3D streamlines and time-resolved particle traces. Quantitative evaluation assessed velocities, net flow, and wall shear stress (WSS). RESULTS Significant scan time savings were realized for all acceleration factors compared to standard GRAPPA R = 2 (21-71 %) (p < 0.001). Quantification of velocities and net flow offered similar results between k-t GRAPPA R = 3 and R = 5 compared to standard GRAPPA R = 2. Significantly increased leakage artifacts and noise were seen between standard GRAPPA R = 2 and k-t GRAPPA R = 8 (p < 0.001) with significant underestimation of peak velocities and WSS of up to 31 % in the hepatic arterial system (p <0.05). WSS was significantly underestimated up to 13 % in all vessels of the portal venous system for k-t GRAPPA R = 5, while significantly higher values were observed for the same acceleration with higher temporal resolution in two veins (p < 0.05). CONCLUSION k-t acceleration of 4D flow MRI is feasible for liver hemodynamic assessment with acceleration factors R = 3 and R = 5 resulting in a scan time reduction of at least 40 % with similar quantitation of liver hemodynamics compared with GRAPPA R = 2.

Heat flow measurements on METEOR cruise M86/5

Mud volcanoes (MV) are sources of mass and energy, transported from deeper levels of the sediment pile to the surface. Together with fluid and gas, thermal energy is emitted through these structures. Therefore heat flow determination is a sensible tool to detect and quantify the amount of convective flow. In the Gulf of Cadiz several mud volcanoes can be found along major tectonic lines (SWIM faults). We employ geothermal measurements to observe the activity of mud volcanoes and possible leakage at the faults apart from pronounced structures.

Spatial linear global instability analysis of the HIFiRE-5 elliptic cone model flow

The linear instability of the three-dimensional boundary-layer over the HIFiRE-5 flight test geometry, i.e. a rounded-tip 2:1 elliptic cone, at Mach 7, has been analyzed through spatial BiGlobal analysis, in a effort to understand transition and accurately predict local heat loads on next-generation ight vehicles. The results at an intermediate axial section of the cone, Re x = 8x10 5, show three different families of spatially amplied linear global modes, the attachment-line and cross- ow modes known from earlier analyses, and a new global mode, peaking in the vicinity of the minor axis of the cone, termed \center-line mode". We discover that a sequence of symmetric and anti-symmetric centerline modes exist and, for the basic ow at hand, are maximally amplied around F* = 130kHz. The wavenumbers and spatial distribution of amplitude functions of the centerline modes are documented

Characteristics of the deep ocean carbon system during the past 150,000 years: ΣCO2 distributions, deep water flow patterns, and abrupt climate change

Studies of carbon isotopes and cadmium in bottom-dwelling foraminifera from ocean sediment cores have advanced our knowledge of ocean chemical distributions during the late Pleistocene. Last Glacial Maximum data are consistent with a persistent high-ΣCO2 state for eastern Pacific deep water. Both tracers indicate that the mid-depth North and tropical Atlantic Ocean almost always has lower ΣCO2 levels than those in the Pacific. Upper waters of the Last Glacial Maximum Atlantic are more ΣCO2-depleted and deep waters are ΣCO2-enriched compared with the waters of the present. In the northern Indian Ocean, δ13C and Cd data are consistent with upper water ΣCO2 depletion relative to the present. There is no evident proximate source of this ΣCO2-depleted water, so I suggest that ΣCO2-depleted North Atlantic intermediate/deep water turns northward around the southern tip of Africa and moves toward the equator as a western boundary current. At long periods (>15,000 years), Milankovitch cycle variability is evident in paleochemical time series. But rapid millennial-scale variability can be seen in cores from high accumulation rate series. Atlantic deep water chemical properties are seen to change in as little as a few hundred years or less. An extraordinary new 52.7-m-long core from the Bermuda Rise contains a faithful record of climate variability with century-scale resolution. Sediment composition can be linked in detail with the isotope stage 3 interstadials recorded in Greenland ice cores. This new record shows at least 12 major climate fluctuations within marine isotope stage 5 (about 70,000–130,000 years before the present).

Flow patterns in granulating systems

Particle flow patterns were investigated for wet granulation and dry powder mixing in ploughshare mixers using Positron Emission Particle Tracking (PEPT). In a 4-1 mixer, calcium carbonate with mean size 45 mum was granulated using a 50 wt.% solution of glycerol and water as binding fluid, and particle movement was followed using a 600-mum calcium hydroxy-phosphate tracer particle. In a 20-1 mixer, dry powder flow was studied using a 600-mum resin bead tracer particle to simulate the bulk polypropylene powder with mean size 600 mum. Important differences were seen between particle flow patterns for wet and dry systems. Particle speed relative to blade speed was lower in the wet system than in the dry system, with the ratios of average particle speed to blade tip speed for all experiments in the range 0.01-015. In the axial plane, the same particle motion was observed around each blade; this provides a significant advance for modelling flow in ploughshare mixers. For the future, a detailed understanding of the local velocity, acceleration and density variations around a plough blade will reveal the effects of flow patterns in granulating systems on the resultant distribution of granular product attributes such as size, density and strength. (C) 2002 Elsevier Science B.V All rights reserved.

Flow and pressure drop on the shellside of cylindrical heat exchangers

This work presents pressure distributions and fluid flow patterns on the shellside of a cylindrical shell-and-tube heat exchanger. The apparatus used was constructed from glass enabling direct observation of the flow using a dye release technique and had ten traversable pressure instrumented tubes permitting detailed pressure distributions to be obtained. The `exchanger' had a large tube bundle (278 tubes) and main flow areas typical of practical designs. Six geometries were studied: three baffle spacings both with and without baffle leakage. Results are also presented of three-dimensional modelling of shellside flows using the Harwell Laboratory's FLOW3D code. Flow visualisation provided flow patterns in the central plane of the bundle and adjacent to the shell wall. Comparison of these high-lighted significant radial flow variations. In particular, separated regions, originating from the baffle tips, were observed. The size of these regions was small in the bundle central plane but large adjacent to the shell wall and extended into the bypass lane. This appeared to reduce the bypass flow area and hence the bypass flow fraction. The three-dimensional flow modelling results were presented as velocity vector and isobar maps. The vector maps illustrated regions of high and low velocity which could be prone to tube vibration and fouling. Separated regions were also in evidence. A non-uniform crossflow was discovered with, in general, higher velocities in the central plane of the bundle than near the shell wall._The form of the isobar maps calculated by FLOW3D was in good agreement with experimental results. In particular, larger pressure drops occurred across the inlet than outlet of a crossflow region and were higher near the upstream than downstream baffle face. The effect of baffle spacing and baffle leakage on crossflow and window pressure drop measurements was identified. Agreement between the current measurements, previously obtained data and commonly used design correlations/models was, in general, poor. This was explained in terms of the increased understanding of shellside flow. The bulk of previous data, which dervies from small-scale rigs with few tubes, have been shown to be unrepresentative of typical commerical units. The Heat Transfer and Fluid Flow Service design program TASC provided the best predictions of the current pressure drop results. However, a number of simple one-dimensional models in TASC are, individually, questionable. Some revised models have been proposed.

Flt1 acts as a negative regulator of tip cell formation and branching morphogenesis in the zebrafish embryo

Endothelial tip cells guide angiogenic sprouts by exploring the local environment for guidance cues such as vascular endothelial growth factor (VegfA). Here we present Flt1 (Vegf receptor 1) loss- and gain-of-function data in zebrafish showing that Flt1 regulates tip cell formation and arterial branching morphogenesis. Zebrafish embryos expressed soluble Flt1 (sFlt1) and membrane-bound Flt1 (mFlt1). In Tg(flt1(BAC):yfp) × Tg(kdrl:ras-cherry)(s916) embryos, flt1:yfp was expressed in tip, stalk and base cells of segmental artery sprouts and overlapped with kdrl:cherry expression in these domains. flt1 morphants showed increased tip cell numbers, enhanced angiogenic behavior and hyperbranching of segmental artery sprouts. The additional arterial branches developed into functional vessels carrying blood flow. In support of a functional role for the extracellular VEGF-binding domain of Flt1, overexpression of sflt1 or mflt1 rescued aberrant branching in flt1 morphants, and overexpression of sflt1 or mflt1 in controls resulted in short arterial sprouts with reduced numbers of filopodia. flt1 morphants showed reduced expression of Notch receptors and of the Notch downstream target efnb2a, and ectopic expression of flt4 in arteries, consistent with loss of Notch signaling. Conditional overexpression of the notch1a intracellular cleaved domain in flt1 morphants restored segmental artery patterning. The developing nervous system of the trunk contributed to the distribution of Flt1, and the loss of flt1 affected neurons. Thus, Flt1 acts in a Notch-dependent manner as a negative regulator of tip cell differentiation and branching. Flt1 distribution may be fine-tuned, involving interactions with the developing nervous system.

A tidal creek water budget: Estimation of groundwater discharge and overland flow using hydrologic modeling in the Southern Everglades

Taylor Slough is one of the natural freshwater contributors to Florida Bay through a network of microtidal creeks crossing the Everglades Mangrove Ecotone Region (EMER). The EMER ecological function is critical since it mediates freshwater and nutrient inputs and controls the water quality in Eastern Florida Bay. Furthermore, this region is vulnerable to changing hydrodynamics and nutrient loadings as a result of upstream freshwater management practices proposed by the Comprehensive Everglades Restoration Program (CERP), currently the largest wetland restoration project in the USA. Despite the hydrological importance of Taylor Slough in the water budget of Florida Bay, there are no fine scale (∼1 km2) hydrodynamic models of this system that can be utilized as a tool to evaluate potential changes in water flow, salinity, and water quality. Taylor River is one of the major creeks draining Taylor Slough freshwater into Florida Bay. We performed a water budget analysis for the Taylor River area, based on long-term hydrologic data (1999–2007) and supplemented by hydrodynamic modeling using a MIKE FLOOD (DHI,http://dhigroup.com/) model to evaluate groundwater and overland water discharges. The seasonal hydrologic characteristics are very distinctive (average Taylor River wet vs. dry season outflow was 6 to 1 during 1999–2006) with a pronounced interannual variability of flow. The water budget shows a net dominance of through flow in the tidal mixing zone, while local precipitation and evapotranspiration play only a secondary role, at least in the wet season. During the dry season, the tidal flood reaches the upstream boundary of the study area during approximately 80 days per year on average. The groundwater field measurements indicate a mostly upwards-oriented leakage, which possibly equals the evapotranspiration term. The model results suggest a high importance of groundwater contribution to the water salinity in the EMER. The model performance is satisfactory during the dry season where surface flow in the area is confined to the Taylor River channel. The model also provided guidance on the importance of capturing the overland flow component, which enters the area as sheet flow during the rainy season. Overall, the modeling approach is suitable to reach better understanding of the water budget in the mangrove region. However, more detailed field data is needed to ascertain model predictions by further calibrating overland flow parameters.

Foundations of quantitative information flow: Channels, cascades, and the information order

Secrecy is fundamental to computer security, but real systems often cannot avoid leaking some secret information. For this reason, the past decade has seen growing interest in quantitative theories of information flow that allow us to quantify the information being leaked. Within these theories, the system is modeled as an information-theoretic channel that specifies the probability of each output, given each input. Given a prior distribution on those inputs, entropy-like measures quantify the amount of information leakage caused by the channel. ^ This thesis presents new results in the theory of min-entropy leakage. First, we study the perspective of secrecy as a resource that is gradually consumed by a system. We explore this intuition through various models of min-entropy consumption. Next, we consider several composition operators that allow smaller systems to be combined into larger systems, and explore the extent to which the leakage of a combined system is constrained by the leakage of its constituents. Most significantly, we prove upper bounds on the leakage of a cascade of two channels, where the output of the first channel is used as input to the second. In addition, we show how to decompose a channel into a cascade of channels. ^ We also establish fundamental new results about the recently-proposed g-leakage family of measures. These results further highlight the significance of channel cascading. We prove that whenever channel A is composition refined by channel B, that is, whenever A is the cascade of B and R for some channel R, the leakage of A never exceeds that of B, regardless of the prior distribution or leakage measure (Shannon leakage, guessing entropy leakage, min-entropy leakage, or g-leakage). Moreover, we show that composition refinement is a partial order if we quotient away channel structure that is redundant with respect to leakage alone. These results are strengthened by the proof that composition refinement is the only way for one channel to never leak more than another with respect to g-leakage. Therefore, composition refinement robustly answers the question of when a channel is always at least as secure as another from a leakage point of view.^

Two-bit pattern analysis for quantitative information flow

Protecting confidential information from improper disclosure is a fundamental security goal. While encryption and access control are important tools for ensuring confidentiality, they cannot prevent an authorized system from leaking confidential information to its publicly observable outputs, whether inadvertently or maliciously. Hence, secure information flow aims to provide end-to-end control of information flow. Unfortunately, the traditionally-adopted policy of noninterference, which forbids all improper leakage, is often too restrictive. Theories of quantitative information flow address this issue by quantifying the amount of confidential information leaked by a system, with the goal of showing that it is intuitively "small" enough to be tolerated. Given such a theory, it is crucial to develop automated techniques for calculating the leakage in a system. ^ This dissertation is concerned with program analysis for calculating the maximum leakage, or capacity, of confidential information in the context of deterministic systems and under three proposed entropy measures of information leakage: Shannon entropy leakage, min-entropy leakage, and g-leakage. In this context, it turns out that calculating the maximum leakage of a program reduces to counting the number of possible outputs that it can produce. ^ The new approach introduced in this dissertation is to determine two-bit patterns, the relationships among pairs of bits in the output; for instance we might determine that two bits must be unequal. By counting the number of solutions to the two-bit patterns, we obtain an upper bound on the number of possible outputs. Hence, the maximum leakage can be bounded. We first describe a straightforward computation of the two-bit patterns using an automated prover. We then show a more efficient implementation that uses an implication graph to represent the two- bit patterns. It efficiently constructs the graph through the use of an automated prover, random executions, STP counterexamples, and deductive closure. The effectiveness of our techniques, both in terms of efficiency and accuracy, is shown through a number of case studies found in recent literature. ^