Formal Specification and Testing of a Management Architecture

The importance of network and distributed systems management to supply and maintain services required by users has led to a demand for management facilities. Open network management is assisted by representing the system resources to be managed as objects, and providing standard services and protocols for interrogating and manipulating these objects. This paper examines the application of formal description techniques to the specification of managed objects by presenting a case study in the specification and testing of a management architecture. We describe a formal specification of a management architecture suitable for scheduling and distributing services across nodes in a distributed system. In addition, we show how formal specifications can be used to generate conformance tests for the management architecture

Aerobic capacity, activity levels and daily energy expenditure in male and female adolescents of the kenyan nandi sub-group

The relative importance of genetic and socio-cultural influences contributing to the success of east Africans in endurance athletics remains unknown in part because the pre-training phenotype of this population remains incompletely assessed. Here cardiopulmonary fitness, physical activity levels, distance travelled to school and daily energy expenditure in 15 habitually active male (13.9±1.6 years) and 15 habitually active female (13.9±1.2) adolescents from a rural Nandi primary school are assessed. Aerobic capacity ([Formula: see text]) was evaluated during two maximal discontinuous incremental exercise tests; physical activity using accelerometry combined with a global positioning system; and energy expenditure using the doubly labelled water method. The [Formula: see text] of the male and female adolescents were 73.9±5.7 ml(.) kg(-1.) min(-1) and 61.5±6.3 ml(.) kg(-1.) min(-1), respectively. Total time spent in sedentary, light, moderate and vigorous physical activities per day was 406±63 min (50% of total monitored time), 244±56 min (30%), 75±18 min (9%) and 82±30 min (10%). Average total daily distance travelled to and from school was 7.5±3.0 km (0.8-13.4 km). Mean daily energy expenditure, activity-induced energy expenditure and physical activity level was 12.2±3.4 MJ(.) day(-1), 5.4±3.0 MJ(.) day(-1) and 2.2±0.6. 70.6% of the variation in [Formula: see text] was explained by sex (partial R(2) = 54.7%) and body mass index (partial R(2) = 15.9%). Energy expenditure and physical activity variables did not predict variation in [Formula: see text] once sex had been accounted for. The highly active and energy-demanding lifestyle of rural Kenyan adolescents may account for their exceptional aerobic fitness and collectively prime them for later training and athletic success

Questionnaire study to gain an insight into the manufacturing and fitting process of artificial eyes in children: an ocularist perspective

Purpose To gain an insight into the manufacturing and fitting of artificial eyes in children and potential improvements to the process. Method An online qualitative survey was distributed to 39 ocularists/prosthetists in Europe and Canada. Participants were recruited through purposive sampling, specifically maximum variation sampling from the researcher’s contacts and an online search. Results The findings highlighted the current impression technique as being the most difficult yet most important part of the current process for both the ocularist and child patient. Negatively affecting obtaining a good impression, the child patients distress can be reduced by their parents by providing encouragement, reassurance, practicing the insertion and removal of the artificial eye and being matter of fact. Whilst improvements to the current process provided mixed views, the incorporation of current technology was perceived as not being able to meet the requirements to produce aesthetically pleasing artificial eyes. Conclusion The current artificial eye process can be seen as an interaction with its success being dependent on the child patient’s acceptance and adjustment which is dependent on the factors associated to the process. Investigation into the needs of the patient and whether technology can improve the process are the next steps in its advancement

Forecasting Tunisian type 2 diabetes prevalence to 2027: validation of a simple model.

BACKGROUND: Most projections of type 2 diabetes (T2D) prevalence are simply based on demographic change (i.e. ageing). We developed a model to predict future trends in T2D prevalence in Tunisia, explicitly taking into account trends in major risk factors (obesity and smoking). This could improve assessment of policy options for prevention and health service planning. METHODS: The IMPACT T2D model uses a Markov approach to integrate population, obesity and smoking trends to estimate future T2D prevalence. We developed a model for the Tunisian population from 1997 to 2027, and validated the model outputs by comparing with a subsequent T2D prevalence survey conducted in 2005. RESULTS: The model estimated that the prevalence of T2D among Tunisians aged over 25 years was 12.0% in 1997 (95% confidence intervals 9.6%-14.4%), increasing to 15.1% (12.5%-17.4%) in 2005. Between 1997 and 2005, observed prevalence in men increased from 13.5% to 16.1% and in women from 12.9% to 14.1%. The model forecast for a dramatic rise in prevalence by 2027 (26.6% overall, 28.6% in men and 24.7% in women). However, if obesity prevalence declined by 20% in the 10 years from 2013, and if smoking decreased by 20% over 10 years from 2009, a 3.3% reduction in T2D prevalence could be achieved in 2027 (2.5% in men and 4.1% in women). CONCLUSIONS: This innovative model provides a reasonably close estimate of T2D prevalence for Tunisia over the 1997-2027 period. Diabetes burden is now a significant public health challenge. Our model predicts that this burden will increase significantly in the next two decades. Tackling obesity, smoking and other T2D risk factors thus needs urgent action. Tunisian decision makers have therefore defined two strategies: obesity reduction and tobacco control. Responses will be evaluated in future population surveys

Network Archaeology: Uncovering Ancient Networks from Present-day Interactions

Often questions arise about old or extinct networks. What proteins interacted in a long-extinct ancestor species of yeast? Who were the central players in the Last.fm social network 3 years ago? Our ability to answer such questions has been limited by the unavailability of past versions of networks. To overcome these limitations, we propose several algorithms for reconstructing a network's history of growth given only the network as it exists today and a generative model by which the network is believed to have evolved. Our likelihood-based method finds a probable previous state of the network by reversing the forward growth model. This approach retains node identities so that the history of individual nodes can be tracked. We apply these algorithms to uncover older, non-extant biological and social networks believed to have grown via several models, including duplication-mutation with complementarity, forest fire, and preferential attachment. Through experiments on both synthetic and real-world data, we find that our algorithms can estimate node arrival times, identify anchor nodes from which new nodes copy links, and can reveal significant features of networks that have long since disappeared.Comment: 16 pages, 10 figure

Bifunctional non-noble metal oxide nanoparticle electrocatalysts through lithium-induced conversion for overall water splitting

Developing earth-abundant, active and stable electrocatalysts which operate in the same electrolyte for water splitting, including oxygen evolution reaction and hydrogen evolution reaction, is important for many renewable energy conversion processes. Here we demonstrate the improvement of catalytic activity when transition metal oxide (iron, cobalt, nickel oxides and their mixed oxides) nanoparticles (~20 nm) are electrochemically transformed into ultra-small diameter (2–5 nm) nanoparticles through lithium-induced conversion reactions. Different from most traditional chemical syntheses, this method maintains excellent electrical interconnection among nanoparticles and results in large surface areas and many catalytically active sites. We demonstrate that lithium-induced ultra-small NiFeOx nanoparticles are active bifunctional catalysts exhibiting high activity and stability for overall water splitting in base. We achieve 10 mA cm−2 water-splitting current at only 1.51 V for over 200 h without degradation in a two-electrode configuration and 1 M KOH, better than the combination of iridium and platinum as benchmark catalysts.open10

Stochastic Gravity: Theory and Applications

Whereas semiclassical gravity is based on the semiclassical Einstein equation with sources given by the expectation value of the stress-energy tensor of quantum fields, stochastic semiclassical gravity is based on the Einstein-Langevin equation, which has in addition sources due to the noise kernel.In the first part, we describe the fundamentals of this new theory via two approaches: the axiomatic and the functional. In the second part, we describe three applications of stochastic gravity theory. First, we consider metric perturbations in a Minkowski spacetime: we compute the two-point correlation functions for the linearized Einstein tensor and for the metric perturbations. Second, we discuss structure formation from the stochastic gravity viewpoint. Third, we discuss the backreaction of Hawking radiation in the gravitational background of a quasi-static black hole.Comment: 75 pages, no figures, submitted to Living Reviews in Relativit

Stochastic Gravity: Theory and Applications

Whereas semiclassical gravity is based on the semiclassical Einstein equation with sources given by the expectation value of the stress-energy tensor of quantum fields, stochastic semiclassical gravity is based on the Einstein-Langevin equation, which has in addition sources due to the noise kernel. In the first part, we describe the fundamentals of this new theory via two approaches: the axiomatic and the functional. In the second part, we describe three applications of stochastic gravity theory. First, we consider metric perturbations in a Minkowski spacetime, compute the two-point correlation functions of these perturbations and prove that Minkowski spacetime is a stable solution of semiclassical gravity. Second, we discuss structure formation from the stochastic gravity viewpoint. Third, we discuss the backreaction of Hawking radiation in the gravitational background of a black hole and describe the metric fluctuations near the event horizon of an evaporating black holeComment: 100 pages, no figures; an update of the 2003 review in Living Reviews in Relativity gr-qc/0307032 ; it includes new sections on the Validity of Semiclassical Gravity, the Stability of Minkowski Spacetime, and the Metric Fluctuations of an Evaporating Black Hol

Thermodynamics as a theory of decision-making with information processing costs

Perfectly rational decision-makers maximize expected utility, but crucially ignore the resource costs incurred when determining optimal actions. Here we propose an information-theoretic formalization of bounded rational decision-making where decision-makers trade off expected utility and information processing costs. Such bounded rational decision-makers can be thought of as thermodynamic machines that undergo physical state changes when they compute. Their behavior is governed by a free energy functional that trades off changes in internal energy-as a proxy for utility-and entropic changes representing computational costs induced by changing states. As a result, the bounded rational decision-making problem can be rephrased in terms of well-known concepts from statistical physics. In the limit when computational costs are ignored, the maximum expected utility principle is recovered. We discuss the relation to satisficing decision-making procedures as well as links to existing theoretical frameworks and human decision-making experiments that describe deviations from expected utility theory. Since most of the mathematical machinery can be borrowed from statistical physics, the main contribution is to axiomatically derive and interpret the thermodynamic free energy as a model of bounded rational decision-making.Comment: 26 pages, 5 figures, (under revision since February 2012

Coronary MR angiography at 3T: fat suppression versus water-fat separation

Objectives: To compare Dixon water-fat suppression with spectral pre-saturation with inversion recovery (SPIR) at 3T for coronary magnetic resonance angiography (MRA) and to demonstrate the feasibility of fat suppressed coronary MRA at 3T without administration of a contrast agent. Materials and methods: Coronary MRA with Dixon water-fat separation or with SPIR fat suppression was compared on a 3T scanner equipped with a 32-channel cardiac receiver coil. Eight healthy volunteers were examined. Contrast-to-noise ratio (CNR), signal-to-noise ratio (SNR), right coronary artery (RCA), and left anterior descending (LAD) coronary artery sharpness and length were measured and statistically compared. Two experienced cardiologists graded the visual image quality of reformatted Dixon and SPIR images (1: poor quality to 5: excellent quality). Results: Coronary MRA images in healthy volunteers showed improved contrast with the Dixon technique compared to SPIR (CNR blood-fat: Dixon = 14.9 ± 2.9 and SPIR = 13.9 ± 2.1; p = 0.08, CNR blood-myocardium: Dixon = 10.2 ± 2.7 and SPIR = 9.11 ± 2.6; p = 0.1). The Dixon method led to similar fat suppression (fat SNR with Dixon: 2.1 ± 0.5 vs. SPIR: 2.4 ± 1.2, p = 0.3), but resulted in significantly increased SNR of blood (blood SNR with Dixon: 19.9 ± 4.5 vs. SPIR: 15.5 ± 3.1, p < 0.05). This means the residual fat signal is slightly lower with the Dixon compared to the SIPR technique (although not significant), while the SNR of blood is significantly higher with the Dixon technique. Vessel sharpness of the RCA was similar for Dixon and SPIR (57 ± 7 % vs. 56 ± 9 %, p = 0.2), while the RCA visualized vessel length was increased compared to SPIR fat suppression (107 ± 21 vs. 101 ± 21 mm, p < 0.001). For the LAD, vessel sharpness (50 ± 13 % vs. 50 ± 7 %, p = 0.4) and vessel length (92 ± 46 vs. 90 ± 47 mm, p = 0.4) were similar with both techniques. Consequently, the Dixon technique resulted in an improved visual score of the coronary arteries in the water fat separated images of healthy subjects (RCA: 4.6 ± 0.5 vs. 4.1 ± 0.7, p = 0.01, LAD: 4.1 ± 0.7 vs. 3.5 ± 0.8, p = 0.007). Conclusions: Dixon water-fat separation can significantly improve coronary artery image quality without the use of a contrast agent at 3T