Nonlinear Hodge maps

We consider maps between Riemannian manifolds in which the map is a stationary point of the nonlinear Hodge energy. The variational equations of this functional form a quasilinear, nondiagonal, nonuniformly elliptic system which models certain kinds of compressible flow. Conditions are found under which singular sets of prescribed dimension cannot occur. Various degrees of smoothness are proven for the sonic limit, high-dimensional flow, and flow having nonzero vorticity. The gradient flow of solutions is estimated. Implications for other quasilinear field theories are suggested.Comment: Slightly modified and updated version; tcilatex, 32 page

Harmonic fields on the extended projective disc and a problem in optics

The Hodge equations for 1-forms are studied on Beltrami's projective disc model for hyperbolic space. Ideal points lying beyond projective infinity arise naturally in both the geometric and analytic arguments. An existence theorem for weakly harmonic 1-fields, changing type on the unit circle, is derived under Dirichlet conditions imposed on the non-characteristic portion of the boundary. A similar system arises in the analysis of wave motion near a caustic. A class of elliptic-hyperbolic boundary-value problems is formulated for those equations as well. For both classes of boundary-value problems, an arbitrarily small lower-order perturbation of the equations is shown to yield solutions which are strong in the sense of Friedrichs.Comment: 30 pages; Section 3.3 has been revise

Rhythmic Diurnal Gene Expression in Human Adipose Tissue From Individuals Who Are Lean, Overweight, and Type 2 Diabetic

OBJECTIVE Previous animal studies suggest a functional relationship between metabolism, type 2 diabetes, and the amplitude of daily rhythms in white adipose tissue (WAT). However, data interpretation is confounded by differences in genetic background and diet or limited sampling points. We have taken the novel approach of analyzing serial human WAT biopsies across a 24-h cycle in controlled laboratory conditions.RESEARCH DESIGN AND METHODS Lean (n = 8), overweight/obese (n = 11), or overweight/obese type 2 diabetic (n = 8) volunteers followed a strict sleep-wake and dietary regimen for 1 week prior to the laboratory study. They were then maintained in controlled light-dark conditions in a semirecumbent posture and fed hourly during wake periods. Subcutaneous WAT biopsies were collected every 6 h over 24 h, and gene expression was measured by quantitative PCR.RESULTS Lean individuals exhibited significant (P 0.05) of increased body weight or type 2 diabetes on rhythmic gene expression.CONCLUSIONS The robust nature of these rhythms and their relative phasing indicate that WAT now can be considered as a peripheral tissue suitable for the study of in vivo human rhythms. Comparison of data between subject groups clearly indicates that obesity and type 2 diabetes are not related to the amplitude of rhythmic WAT gene expression in humans maintained under controlled conditions. Diabetes 60:1577-1581, 201

Formal Verification of Security Protocol Implementations: A Survey

Automated formal verification of security protocols has been mostly focused on analyzing high-level abstract models which, however, are significantly different from real protocol implementations written in programming languages. Recently, some researchers have started investigating techniques that bring automated formal proofs closer to real implementations. This paper surveys these attempts, focusing on approaches that target the application code that implements protocol logic, rather than the libraries that implement cryptography. According to these approaches, libraries are assumed to correctly implement some models. The aim is to derive formal proofs that, under this assumption, give assurance about the application code that implements the protocol logic. The two main approaches of model extraction and code generation are presented, along with the main techniques adopted for each approac

Daily Rhythms of Plasma Melatonin, but Not Plasma Leptin or Leptin mRNA, Vary between Lean, Obese and Type 2 Diabetic Men

Melatonin and leptin exhibit daily rhythms that may contribute towards changes in metabolic physiology. It remains unclear, however, whether this rhythmicity is altered in obesity or type 2 diabetes (T2DM). We tested the hypothesis that 24-hour profiles of melatonin, leptin and leptin mRNA are altered by metabolic status in laboratory conditions. Men between 45–65 years old were recruited into lean, obese-non-diabetic or obese-T2DM groups. Volunteers followed strict sleep-wake and dietary regimes for 1 week before the laboratory study. They were then maintained in controlled light-dark conditions, semi-recumbent posture and fed hourly iso-energetic drinks during wake periods. Hourly blood samples were collected for hormone analysis. Subcutaneous adipose biopsies were collected 6-hourly for gene expression analysis. Although there was no effect of subject group on the timing of dim light melatonin onset (DLMO), nocturnal plasma melatonin concentration was significantly higher in obese-non-diabetic subjects compared to weight-matched T2DM subjects (p<0.01) and lean controls (p<0.05). Two T2DM subjects failed to produce any detectable melatonin, although did exhibit plasma cortisol rhythms comparable to others in the group. Consistent with the literature, there was a significant (p<0.001) effect of subject group on absolute plasma leptin concentration and, when expressed relative to an individual’s 24-hour mean, plasma leptin showed significant (p<0.001) diurnal variation. However, there was no difference in amplitude or timing of leptin rhythms between experimental groups. There was also no significant effect of time on leptin mRNA expression. Despite an overall effect (p<0.05) of experimental group, post-hoc analysis revealed no significant pair-wise effects of group on leptin mRNA expression. Altered plasma melatonin rhythms in weight-matched T2DM and non-diabetic individuals supports a possible role of melatonin in T2DM aetiology. However, neither obesity nor T2DM changed 24-hour rhythms of plasma leptin relative to cycle mean, or expression of subcutaneous adipose leptin gene expression, compared with lean subjects

Perception of Nuclear Energy and Coal in France and the Netherlands

This study focuses on the perception of large scale application of nuclear energy and coal in the Netherlands and France. The application of these energy-sources and the risks and benefits are judged differently by various group in society. In Europe, France has the highest density of nuclear power plants and the Netherlands has one of the lowest. In both countries scientists and social scientists completed a questionnaire assessing the perception of the large scale application of both energy sources. Furthermore, a number of variables relating to the socio cultural and political circumstances were measured. The results indicate that the French had a higher risk perception and a more negative attitude toward nuclear power than the Dutch. But they also assess the benefits of the use of nuclear power to be higher. Explanations for these differences are discussed

Science-Policy Interactions in MPA Site Selection in the Dutch Part of the North Sea

At the 7th conference of the parties to the Convention on Biological Diversity (CBD-COP7, Kuala Lumpur, 2004) it was agreed to establish a global network of marine and coastal protected areas by 2012. The defined objectives of this MPA-network are based on the ecosystem approach: to protect biodiversity and other ecological values, and to ensure sustainable use. The (inter)national policy guidelines state that the selection of MPAs should be based on scientific information and ecological criteria only. As a signatory to the Convention, the Netherlands is now faced with meeting this obligation, and the process of designating the first Marine Protected Areas (MPAs) in the Dutch part of the North Sea is currently in progress. We focus on the science–policy interactions that are part of this Dutch MPA selection process. By taking a closer look at the contemporary site selection process as well as its historical background, we show that ecological, socio-economic and political considerations cannot always be easily separated. Uncertainty is high and the ultimate selection and delimitation of candidate sites rather seems to be the result of a balancing act between ecological, socio-economic and political interests, in which scientific and policy guiding procedures blend with ad-hoc political decision making, and with expert judgment in cases where data is lacking. As such, this paper presents an example of present-day environmental policy making in action

Effect of a peer-educational intervention on provider knowledge and reported performance in family planning services: a cluster randomized trial

<p>Abstract</p> <p>Background</p> <p>Peer education is an interactive method of teaching or learning which is widely used for educating school and college students, in a variety of different forms. However, there are few studies on its effectiveness for in-service education. The aim of this study was to evaluate the effect of an educational programme including peer discussions, based on a needs assessment, on the providers' knowledge and reported performance in family planning services.</p> <p>Methods</p> <p>An educational programme was designed and applied in a random selection of half of in-charges of the 74 family health units (intervention group) in Tabriz at a regular monthly meeting. The other half constituted the control group. The programme included eight pages of written material and a two-hour, face-to-face discussion session with emphasis on the weak areas identified through a needs assessment questionnaire. The educated in-charges were requested to carry out a similar kind of programme with all peers at their health facilities within one month. All in-charges received one self-administered questionnaire containing knowledge questions one month after the in-charge education (follow-up I: 61 responses), and another one containing knowledge and self-reported performance questions 26 months later (follow-up II: 61 responses). Also, such tests were done for the peers facilitated by the in-charges one (105 responses) and 27 months (114 responses) after the peer discussions. Multiple linear regression was used for comparing mean total scores, and Chi square for comparing proportions between control and intervention groups, after defining facility as the unit of randomization.</p> <p>Results</p> <p>The mean total percentage scores of knowledge (percent of maximal possible score) in the intervention group were significantly higher than in the control group, both at follow-up I (63%) and at follow-up II (57%); with a difference of 16 (95% CI: 11, 22) and 5 (95% CI: 0.4, 11) percentage units, respectively. Only two of the nine reported performance items were significantly different among the non in-charges in the intervention group at follow-up II.</p> <p>Conclusions</p> <p>The educational programme including peer discussions using existing opportunities with no need for additional absence from the workplace might be a useful complement to formal large group education for the providers.</p