Lipidomic Analysis of Plasma from Healthy Men and Women Shows Phospholipid Class and Molecular Species Differences between Sexes

The phospholipid composition of lipoproteins is determined by the specificity of hepatic phospholipid biosynthesis. Plasma phospholipid 20:4n-6 and 22:6n-3 concentrations are higher in women than in men. We used this sex difference in a lipidomics analysis of the impact of endocrine factors on the phospholipid class and molecular species composition of fasting plasma from young men and women. Diester species predominated in all lipid classes measured. 20/54 Phosphatidylcholine (PtdCho) species were alkyl ester, 15/48 phosphatidylethanolamine (PtdEtn) species were alkyl ester, and 12/48 PtdEtn species were alkenyl ester. There were no significant differences between sexes in the proportions of alkyl PtdCho species. The proportion of alkyl ester PtdEtn species was greater in women than men, while the proportion of alkenyl ester PtdEtn species was greater in men than women. None of the phosphatidylinositol (PtdIns) or phosphatidylserine (PtdSer) molecular species contained ether-linked fatty acids. The proportion of PtdCho16:0_22:6, and the proportions of PtdEtn O-16:0_20:4 and PtdEtn O-18:2_20:4 were greater in women than men. There were no sex differences in PtdIns and PtdSer molecular species compositions. These findings show that plasma phospholipids can be modified by sex. Such differences in lipoprotein phospholipid composition could contribute to sexual dimorphism in patterns of health and disease.     

Using SPIN to Analyse the Tree Identification Phase of the IEEE 1394 High-Performance Serial Bus (FireWire) Protocol

We describe how the tree identification phase of the IEEE 1394 high-performance serial bus (FireWire) protocol is modelled in Promela and verified using SPIN. The verification of arbitrary system configurations is discussed. Received July 2001/Accepted in revised form November 2002 Correspondence and offprint requests to: Alice Miller, Department of Computing Science, University of Glasgow, 17 Lilybank Gardens, Glasgow G12 8QQ, UK. Email: alice@dcs.gla.ac.uk     

The ratio of n-6 to n-3 polyunsaturated fatty acids in the rat diet alters serum lipid levels and lymphocyte functions

Previous studies have reported that feeding rats diets rich in fish oils, which contain high proportions of the n-3 polyunsaturated fatty acids (PUFA) eicosapentaenoic and docosahexaenoic acids, results in lowering of blood lipid levels and suppression of lymphocyte functions testedex vivo andin vivo. The effects of other n-3 PUFA, such as α-linolenic acid, which is found in high proportions in linseed oil, are not as well documented. Therefore, in the present study, weanling male rats were fed for six weeks on one of five high-fat (20% by weight) diets made by mixing together sunflower and linseed oils; the resulting blends had n-6/n-3 PUFA ratios of 112.5:1 (pure sunflower oil), 14.8:1, 6.5:1, 0.8:1, and 0.33:1 (pure linseed oil); the levels of all other components in the diet were identical. The final body weight and total dissectable fat were lowest in rats fed the pure linseed oil diet. Serum cholesterol, triacylglycerol and nonesterified fatty acid concentrations decreased as the n-6/n-3 PUFA ratio of the diet decreased. The fatty acid composition of the serum and of spleen lymphocytes was influenced by the diet fed-there was a progressive decrease in the proportions of linoleic and arachidonic acids and a progressive increase in the proportion of α-linolenic acid as the n-6/n-3 PUFA ratio of the diet decreased. Eicosapentaenoic and docosahexaenoic acids were detected in the serum but not in spleen lymphocytes. Inclusion of α-linolenic acid in the diet resulted in significant suppression of spleen lymphocyte proliferation in response to the T-cell mitogen concanavalin A and in spleen lymphocyte natural killer cell activity, both measuredex vivo. The localized graft vs. host response, a measure of cellmediated immunityin vivo, progressively decreased as the n-6/n-3 PUFA ratio of the diet decreased. Thus, this study shows that dietary α-linolenic acid results in lowered blood lipid levels and suppressed lymphocyte functionsex vivo andin vivo. With respect to these effects, α-linolenic acid is as potent as dietary fish oil.     

SENFIS: a Sensor Node File System for increasing the scalability and reliability of Wireless Sensor Networks applications

In the last years the Wireless Sensor Networks’ (WSN) technology has been increasingly employed in various application domains. The extensive use of WSN posed new challenges in terms of both scalability and reliability. This paper proposes Sensor Node File System (SENFIS), a novel file system for sensor nodes, which addresses both scalability and reliability concerns. SENFIS can be mainly used in two broad scenarios. First, it can transparently be employed as a permanent storage for distributed TinyDB queries, in order to increase the reliability and scalability. Second, it can be directly used by a WSN application for permanent storage of data on the WSN nodes. The experimental section shows that SENFIS implementation makes an efficient use of resources in terms of energy consumption, memory footprint, flash wear levelling, while achieving execution times similarly with existing WSN file systems.     

New Possibilities in Image Diffusion and Sharpening via High-Order Sobolev Gradient Flows

We study the use of high-order Sobolev gradients for PDE-based image smoothing and sharpening, extending our previous work on this problem. In particular, we study the gradient descent equation on the heat equation energy functional obtained by modifying the usual metric on the space of images, which is the L ² metric, to a weighted H ^k Sobolev metric. We present existence and uniqueness results which show that the Sobolev diffusion PDE are well-posed both in the forward and backward direction. Furthermore, we perform a Fourier analysis on the scale space generated by the Sobolev PDE and show that as the order of the Sobolev metric tends to infinity, the Sobolev gradients converge to a Gaussian smoothed L ² gradient. We then present experimental results which exploit the theoretical stability results by applying the various Sobolev gradient flows in the backward direction for image sharpening effects. Furthermore, we show that as the Sobolev order is increased, the sharpening effects become more global in nature and more immune to noise.     

From Autonomy to Cooperative Traded Control of Humanoid Manipulation Tasks with Unreliable Communication

In this paper, we present our system design, operational procedure, testing process, field results, and lessons learned for the valve-turning task of the DARPA Robotics Challenge (DRC). We present a software framework for cooperative traded control that enables a team of operators to control a remote humanoid robot over an unreliable communication link. Our system, composed of software modules running on-board the robot and on a remote workstation, allows the operators to specify the manipulation task in a straightforward manner. In addition, we have defined an operational procedure for the operators to manage the teleoperation task, designed to improve situation awareness and expedite task completion. Our testing process, consisting of hands-on intensive testing, remote testing, and remote practice runs , demonstrates that our framework is able to perform reliably and is resilient to unreliable network conditions. We analyze our approach, field tests, and experience at the DRC Trials and discuss lessons learned which may be useful for others when designing similar systems.     

Path Analysis and Renaming for Predicated Instruction Scheduling

Increases in instruction level parallelism are needed to exploit the potential parallelism available in future wide issue architectures. Predicated execution is an architectural mechanism that increases instruction level parallelism by removing branches and allowing simultaneous execution of multiple paths of control, only committing instructions from the correct path. In order for the compiler to expose and use such parallelism, traditional compiler data-flow and path analysis needs to be extended to predicated code. In this paper, we motivate the need for renaming and for predicates that reflect path information. We present Predicated Static Single Assignment (PSSA) which uses renaming and introduces Full -Path Predicates to remove false dependences and enable aggressive predicated optimization and instruction scheduling. We demonstrate the usefulness of PSSA for Predicated Speculation and Control Height Reduction. These two predicated code optimizations used during instruction scheduling reduce the dependence length of the critical paths through a predicated region. Our results show that using PSSA to enable speculation and control height reduction reduces execution time from 12 to 68%.     

Reducing the overhead of dynamic compilation

The execution model for mobile, dynamically‐linked, object‐oriented programs has evolved from fast interpretation to a mix of interpreted and dynamically compiled execution. The primary motivation for dynamic compilation is that compiled code executes significantly faster than interpreted code. However, dynamic compilation, which is performed while the application is running, introduces execution delay. In this paper we present two dynamic compilation techniques that enable high performance execution while reducing the effect of this compilation overhead. These techniques can be classified as (1) decreasing the amount of compilation performed, and (2) overlapping compilation with execution. We first present and evaluate lazy compilation, an approach used in most dynamic compilation systems in which individual methods are compiled on‐demand upon their first invocation. This is in contrast to eager compilation, in which all methods in a class are compiled when a new class is loaded. In this work, we describe our experience with eager compilation, as well as the implementation and transition to lazy compilation. We empirically detail the effectiveness of this decision. Our experimental results using the SpecJVM Java benchmarks and the Jalapeño JVM show that, compared to eager compilation, lazy compilation results in 57% fewer methods being compiled and reductions in total time of 14 to 26%. Total time in this context is compilation plus execution time. Next, we present profile‐driven, background compilation, a technique that augments lazy compilation by using idle cycles in multiprocessor systems to overlap compilation with application execution. With this approach, compilation occurs on a thread separate from that of application threads so as to reduce intermittent, and possibly substantial, delay in execution. Profile information is used to prioritize methods as candidates for background compilation. Methods are compiled according to this priority scheme so that performance‐critical methods are invoked using optimized code as soon as possible. Our results indicate that background compilation can achieve the performance of off‐line compiled applications and masks almost all compilation overhead. We show significant reductions in total time of 14 to 71% over lazy compilation. Copyright © 2001 John Wiley & Sons, Ltd.