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

Exertional heat stroke in a marathon runner with extensive healed deep burns: a case report

Exertional heat illness typically occurs over hours in younger athletic patients or military recruits who exercise at elevated temperatures for a sufficient period of time to cause the rate of heat production to exceed the capacity of the body to dissipate heat. Since the physiological response to exercise includes cutaneous vasodilation and sweating, any limitation of such a response can cause rapid hyperthermia and thus heat stroke. One such condition is extensive burns healed by cicatrisation of the skin where the scar and grafted skin surface do not have functional sweat glands and are unable to lose heat in response to high temperatures. The authors report one unique case of a female marathon runner with exertional heat stroke who had recovered from deep second and third degree burns over approximately 50% of her body a few years ago

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

A mathematical and computational review of Hartree-Fock SCF methods in Quantum Chemistry

We present here a review of the fundamental topics of Hartree-Fock theory in Quantum Chemistry. From the molecular Hamiltonian, using and discussing the Born-Oppenheimer approximation, we arrive to the Hartree and Hartree-Fock equations for the electronic problem. Special emphasis is placed in the most relevant mathematical aspects of the theoretical derivation of the final equations, as well as in the results regarding the existence and uniqueness of their solutions. All Hartree-Fock versions with different spin restrictions are systematically extracted from the general case, thus providing a unifying framework. Then, the discretization of the one-electron orbitals space is reviewed and the Roothaan-Hall formalism introduced. This leads to a exposition of the basic underlying concepts related to the construction and selection of Gaussian basis sets, focusing in algorithmic efficiency issues. Finally, we close the review with a section in which the most relevant modern developments (specially those related to the design of linear-scaling methods) are commented and linked to the issues discussed. The whole work is intentionally introductory and rather self-contained, so that it may be useful for non experts that aim to use quantum chemical methods in interdisciplinary applications. Moreover, much material that is found scattered in the literature has been put together here to facilitate comprehension and to serve as a handy reference.Comment: 64 pages, 3 figures, tMPH2e.cls style file, doublesp, mathbbol and subeqn package

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

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