A Note on Div-Curl Lemma

2000 Mathematics Subject Classification: 42B30, 46E35, 35B65.

A segmentation-based and partial-volume-compensated method for an accurate measurement of lateral ventricular volumes on T-1-weighted magnetic resonance images

Lateral ventricular volumes based on segmented brain MR images can be significantly underestimated if partial volume effects are not considered. This is because a group of voxels in the neighborhood of lateral ventricles is often mis-classified as gray matter voxels due to partial volume effects. This group of voxels is actually a mixture of ventricular cerebro-spinal fluid and the white matter and therefore, a portion of it should be included as part of the lateral ventricular structure. In this note, we describe an automated method for the measurement of lateral ventricular volumes on segmented brain MR images. Image segmentation was carried in combination of intensity correction and thresholding. The method is featured with a procedure for addressing mis-classified voxels in the surrounding of lateral ventricles. A detailed analysis showed that lateral ventricular volumes could be underestimated by 10 to 30% depending upon the size of the lateral ventricular structure, if mis-classified voxels were not included. Validation of the method was done through comparison with the averaged manually traced volumes. Finally, the merit of the method is demonstrated in the evaluation of the rate of lateral ventricular enlargement. (C) 2001 Elsevier Science Inc. All rights reserved.

Compression Efficiency Analysis of Wyner-Ziv Video Coding with Motion Compensated Side Information Interpolation

The Wyner-Ziv video coding (WZVC) rate distortion performance is highly dependent on the quality of the side information, an estimation of the original frame, created at the decoder. This paper, characterizes the WZVC efficiency when motion compensated frame interpolation (MCFI) techniques are used to generate the side information, a difficult problem in WZVC especially because the decoder only has available some reference decoded frames. The proposed WZVC compression efficiency rate model relates the power spectral of the estimation error to the accuracy of the MCFI motion field. Then, some interesting conclusions may be derived related to the impact of the motion field smoothness and the correlation to the true motion trajectories on the compression performance.

Hypoprothrombinemia in the compensated form of hepatosplenic schistosomiasis: further studies

Coagulation abnormality is frequently observed in schistosomiasis patients but its pathophysiology has not been established. We measured, by immunodiffusion. the prothrombin-antigen concentration in 56 individuals; of these 19 with demonstrated compensated form of hepatosplenic schistosomiasis, 17 with cirrhosis and 20 were control subjects. Transaminases, albumin, transthyretin, prothrombin time, antithrombin III, factor VII, and fibrinogen were also evaluated. All parameters were altered in the cirrhotic group but only albumin, prothrombin and antithrombin III levels were altered in the schistosomiasis group. Ninety percent of the patients with cirrhosis and sixty percent of the patients with schistosomiasis had abnormal plasma levels of albumin, transthyretin, prothrombin-antigen, and/or antithrombin III; an impaired hepatic synthesis was responsible for these results. Conversely forty percent of the schistosomiasis patients with normal plasma concentrations of both albumin and transthyretin had decreased mean plasma levels of both prothrombin and antithrombin III. These results suggest that either proth rombin and antithrombin III are more sensitive markers of impaired hepatic synthesis in schistosomiasis than are levels of albumin and transthyretin combined, or a low grade chronic consumption of clotting proteins also occurs. Considering the latter hypothesis it is possible that the thrombin formed would be inhibited by antithrombin III with the complexed thrombin-antithrombin III being cleared by the liver. Consequently the plasma levels of both prothrombin and antithrombin would be decreased, but the level of fibrinogen would be preserved.

Shelah's singular compactness theorem

We present Shelah’s famous theorem in a version for modules, together with a self-contained proof and some examples. This exposition is based on lectures given at CRM in October 2006.

A Motion compensated filtering approach to remove sunlight flicker in shallow water images

A common problem in video surveys in very shallow waters is the presence of strong light fluctuations, due to sun light refraction. Refracted sunlight casts fast moving patterns, which can significantly degrade the quality of the acquired data. Motivated by the growing need to improve the quality of shallow water imagery, we propose a method to remove sunlight patterns in video sequences. The method exploits the fact that video sequences allow several observations of the same area of the sea floor, over time. It is based on computing the image difference between a given reference frame and the temporal median of a registered set of neighboring images. A key observation is that this difference will have two components with separable spectral content. One is related to the illumination field (lower spatial frequencies) and the other to the registration error (higher frequencies). The illumination field, recovered by lowpass filtering, is used to correct the reference image. In addition to removing the sunflickering patterns, an important advantage of the approach is the ability to preserve the sharpness in corrected image, even in the presence of registration inaccuracies. The effectiveness of the method is illustrated in image sets acquired under strong camera motion containing non-rigid benthic structures. The results testify the good performance and generality of the approach

Contribution of electrostatic interactions, compactness and quaternary structure to protein thermostability: lessons from structural genomics of Thermotoga maritima.

Studies of the structural basis of protein thermostability have produced a confusing picture. Small sets of proteins have been analyzed from a variety of thermophilic species, suggesting different structural features as responsible for protein thermostability. Taking advantage of the recent advances in structural genomics, we have compiled a relatively large protein structure dataset, which was constructed very carefully and selectively; that is, the dataset contains only experimentally determined structures of proteins from one specific organism, the hyperthermophilic bacterium Thermotoga maritima, and those of close homologs from mesophilic bacteria. In contrast to the conclusions of previous studies, our analyses show that oligomerization order, hydrogen bonds, and secondary structure play minor roles in adaptation to hyperthermophily in bacteria. On the other hand, the data exhibit very significant increases in the density of salt-bridges and in compactness for proteins from T.maritima. The latter effect can be measured by contact order or solvent accessibility, and network analysis shows a specific increase in highly connected residues in this thermophile. These features account for changes in 96% of the protein pairs studied. Our results provide a clear picture of protein thermostability in one species, and a framework for future studies of thermal adaptation.

Incidence, prevalence and clinical significance of abnormal hematological indices in compensated cirrhosis.

Background & Aims: Patients with cirrhosis develop abnormal hematologic indices (HI) from multiple factors, including hypersplenism. We aimed to analyze the sequence of events and determine whether abnormal HI has prog-nostic significance. Methods: We analyzed a database of 213 subjects with compensated cirrhosis without esopha-geal varices. Subjects were followed for approximately 9 years until the development of varices or variceal bleeding or completion of the study; 84 subjects developed varices. Abnormal HI was defined as anemia at baseline (hemoglo-bin,<13.5 g/dL for men and 11.5 g/dL for women), leuko-penia (white blood cell counts,<4000/mm 3 ), or thrombo-cytopenia (platelet counts, < 150,000/mm 3 ). The primary end points were death or transplant surgery. Results: Most subjects had thrombocytopenia at baseline. Kaplan-Meier analysis showed that leukopenia occurred by 30 months (95% confidence interval, 18.5-53.6), and anemia occurred by 39.6 months (95% confidence interval, 24.1-49.9). Baseline thrombocytopenia (P .0191) and leukope-nia (P.0383) were predictors of death or transplant, after adjusting for baseline hepatic venous pressure gradient (HVPG), and Child-Pugh scores. After a median of 5 years,a significant difference in death or transplant, mortality,and clinical decompensation was observed in patients who had leukopenia combined with thrombocytopenia at base- line compared with patients with normal HI (P < .0001). HVPG correlated with hemoglobin and white blood cell count (hemoglobin, r 0.35, P < .0001; white blood cell count, r 0.31, P < .0001). Conclusions: Thrombocy-topenia is the most common and first abnormal HI to occurin patients with cirrhosis, followed by leukopenia and anemia. A combination of leukopenia and thrombocytopenia at baselin predicted increased morbidity and mortality.

Design and testing of an armature-reaction-compensated permanent magnet synchronous generator for island operation

At present, permanent magnet synchronous generators (PMSGs) are of great interest. Since they do not have electrical excitation losses, the highly efficient, lightweight and compact PMSGs equipped with damper windings work perfectly when connected to a network. However, in island operation, the generator (or parallel generators) alone is responsible for the building up of the network and maintaining its voltage and reactive power level. Thus, in island operation, a PMSG faces very tight constraints, which are difficult to meet, because the flux produced by the permanent magnets (PMs) is constant and the voltage of the generator cannot be controlled. Traditional electrically excited synchronous generators (EESGs) can easily meet these constraints, because the field winding current is controllable. The main drawback of the conventional EESG is the relatively high excitation loss. This doctoral thesis presents a study of an alternative solution termed as a hybrid excitation synchronous generator (HESG). HESGs are a special class of electrical machines, where the total rotor current linkage is produced by the simultaneous action of two different excitation sources: the electrical and permanent magnet (PM) excitation. An overview of the existing HESGs is given. Several HESGs are introduced and compared with the conventional EESG from technical and economic points of view. In the study, the armature-reaction-compensated permanent magnet synchronous generator with alternated current linkages (ARC-PMSG with ACL) showed a better performance than the other options. Therefore, this machine type is studied in more detail. An electromagnetic design and a thermal analysis are presented. To verify the operation principle and the electromagnetic design, a down-sized prototype of 69 kVA apparent power was built. The experimental results are demonstrated and compared with the predicted ones. A prerequisite for an ARC-PMSG with ACL is an even number of pole pairs (p = 2, 4, 6, …) in the machine. Naturally, the HESG technology is not limited to even-pole-pair machines. However, the analysis of machines with p = 3, 5, 7, … becomes more complicated, especially if analytical tools are used, and is outside the scope of this thesis. The contribution of this study is to propose a solution where an ARC-PMSG replaces an EESG in electrical power generation while meeting all the requirements set for generators given for instance by ship classification societies, particularly as regards island operation. The maximum power level when applying the technology studied here is mainly limited by the economy of the machine. The larger the machine is, the smaller is the efficiency benefit. However, it seems that machines up to ten megawatts of power could benefit from the technology. However, in low-power applications, for instance in the 500 kW range, the efficiency increase can be significant.

Can low domain knowledge be compensated for when using the internet? /

Previous researchers have found that learners do not benefit fi-om using the Internet when domain knowledge is low. The purpose of the current study was to investigate possible methods to compensate for low domain knowledge. Specifically, the presence of notes, more time to search the Internet, and high levels of motivation to use the Internet were examined as possible compensating factors. Sixty Political Science and Kinesiology undergraduate students were randomly assigned to one of three conditions. Students searched the Internet for an hour prior to vmting an essay with notes present, searched the Internet for an hour prior to writing an essay without notes present, or did not search the Internet prior to completing an essay. Each participant completed the same two essays, one corresponding to a high knowledge domain and another corresponding to a low knowledge domain. First, the presence of notes did not significantly improve essay scores in comparison to the absence of notes. Second, learners did benefit fi-om using the Internet for 1 hour in comparison to their peers who were not exposed to the Internet, regardless of level of domain knowledge. Third, high levels of motivation did not affect essay performance. A discussion of why time may have compensated for low domain knowledge while notes and motivation did not is included. In addition, methods that may compensate for low domain knowledge when time is restricted are suggested.

Maximal compactness, min- imal Hausdor ness and reversibility of frames and a study on automorphism group of frames

One can do research in pointfree topology in two ways. The rst is the contravariant way where research is done in the category Frm but the ultimate objective is to obtain results in Loc. The other way is the covariant way to carry out research in the category Loc itself directly. According to Johnstone [23], \frame theory is lattice theory applied to topology whereas locale theory is topology itself". The most part of this thesis is written according to the rst view. In this thesis, we make an attempt to study about 1. the frame counterparts of maximal compactness, minimal Hausdor - ness and reversibility, 2. the automorphism groups of a nite frame and its relation with the subgroups of the permutation group on the generator set of the frame

A Motion compensated filtering approach to remove sunlight flicker in shallow water images

A common problem in video surveys in very shallow waters is the presence of strong light fluctuations, due to sun light refraction. Refracted sunlight casts fast moving patterns, which can significantly degrade the quality of the acquired data. Motivated by the growing need to improve the quality of shallow water imagery, we propose a method to remove sunlight patterns in video sequences. The method exploits the fact that video sequences allow several observations of the same area of the sea floor, over time. It is based on computing the image difference between a given reference frame and the temporal median of a registered set of neighboring images. A key observation is that this difference will have two components with separable spectral content. One is related to the illumination field (lower spatial frequencies) and the other to the registration error (higher frequencies). The illumination field, recovered by lowpass filtering, is used to correct the reference image. In addition to removing the sunflickering patterns, an important advantage of the approach is the ability to preserve the sharpness in corrected image, even in the presence of registration inaccuracies. The effectiveness of the method is illustrated in image sets acquired under strong camera motion containing non-rigid benthic structures. The results testify the good performance and generality of the approach

Limit operators, collective compactness, and the spectral theory of infinite matrices

In the first half of this memoir we explore the interrelationships between the abstract theory of limit operators (see e.g. the recent monographs of Rabinovich, Roch and Silbermann (2004) and Lindner (2006)) and the concepts and results of the generalised collectively compact operator theory introduced by Chandler-Wilde and Zhang (2002). We build up to results obtained by applying this generalised collectively compact operator theory to the set of limit operators of an operator (its operator spectrum). In the second half of this memoir we study bounded linear operators on the generalised sequence space , where and is some complex Banach space. We make what seems to be a more complete study than hitherto of the connections between Fredholmness, invertibility, invertibility at infinity, and invertibility or injectivity of the set of limit operators, with some emphasis on the case when the operator is a locally compact perturbation of the identity. Especially, we obtain stronger results than previously known for the subtle limiting cases of and . Our tools in this study are the results from the first half of the memoir and an exploitation of the partial duality between and and its implications for bounded linear operators which are also continuous with respect to the weaker topology (the strict topology) introduced in the first half of the memoir. Results in this second half of the memoir include a new proof that injectivity of all limit operators (the classic Favard condition) implies invertibility for a general class of almost periodic operators, and characterisations of invertibility at infinity and Fredholmness for operators in the so-called Wiener algebra. In two final chapters our results are illustrated by and applied to concrete examples. Firstly, we study the spectra and essential spectra of discrete Schrödinger operators (both self-adjoint and non-self-adjoint), including operators with almost periodic and random potentials. In the final chapter we apply our results to integral operators on .