General foundation for the nonlinear ponderomotive four-force in laser-plasma interactions

The interaction of electromagnetic radiation with plasmas is studied in relativistic four-vector formalism. A gauge and Lorentz invariant ponderomotive four-force is derived from the time dependent nonlinear three-force of Hora (1985). This four-force, due to its Lorentz invariance, contains new magnetic field terms. A new gauge and Lorentz invariant model of the response of plasma to electromagnetic radiation is then devised. An expression for the dispersion relation is obtained from this model. It is then proved that the magnetic permeability of plasma is unity for a general reference frame. This is an important result since it has been previously assumed in many plasma models.

Physical activity for people with cardiovascular disease: recommendations of the National Heart Foundation of Australia

* To provide physical activity recommendations for people with cardiovascular disease, an Expert Working Group of the National Heart Foundation of Australia in late 2004 reviewed the evidence since the US Surgeon General’s Report: physical activity and health in 1996. * The Expert Working Group recommends that: o people with established clinically stable cardiovascular disease should aim, over time, to achieve 30 minutes or more of moderate intensity physical activity on most, if not all, days of the week; o less intense and even shorter bouts of activity with more rest periods may suffice for those with advanced cardiovascular disease; and o regular low-to-moderate level resistance activity, initially under the supervision of an exercise professional, is encouraged. * Benefits from regular moderate physical activity for people with cardiovascular disease include augmented physiological functioning, lessening of cardiovascular symptoms, enhanced quality of life, improved coronary risk profile, superior muscle fitness and, for survivors of acute myocardial infarction, lower mortality. * The greatest potential for benefit is in those people who were least active before beginning regular physical activity, and this benefit may be achieved even at relatively low levels of physical activity. * Medical practitioners should routinely provide brief, appropriate advice on physical activity to people with well-compensated, clinically stable cardiovascular disease.

Maximal triangle trades with foundation 5 (mod 6) - the final case

The maximum possible volume of a simple, non-Steiner (v, 3, 2) trade was determined for all v by Xhosrovshahi and Torabi (Ars Combinatoria 51 (1999), 211-223), except that in the-case v equivalent to 5 (mod 6), v >= 23, they were only able to provide an upper, bound on the volume. In this paper we construct trades with volume equal to that bound for all v equivalent to 5 (mod 6), thus completing the problem.

Marcelian charm in nursing practice: The unity of agape and eros as the foundation of an ethic of care

Abstract In the nursing literature, a number of qualities are associated with loving care. Reference is made to, among other things, humility, attentiveness, responsibility and duty, compassion, and tenderness. The author attempts to show that charm, in the Marcelian sense, also plays a central role. It is argued that the moral foundation of charm is a unity of agape and eros. An impartial giving of the self for others is clearly of fundamental importance in an ethic of care. Including charm in the discussion points to the fact that eros also plays a crucial role. Eros produces a passion for people and for life. It is a physical and spiritual energy that animates a person in all facets of her life, including her caring work.

A rigorous foundation for pattern based design models

This paper presents a way to describe design patterns rigorously based on role concepts. Rigorous pattern descriptions are a key aspect for patterns to be used as rules for model evolution in the MDA context, for example. We formalize the role concepts commonly used in defining design patterns as a role metamodel using Object-Z. Given this role metamodel, individual design patterns are specified generically as a formal pattern role model using Object-Z. We also formalize the properties that must be captured in a class model when a design pattern is deployed. These properties are defined generically in terms of role bindings from a pattern role model to a class model. Our work provides a precise but abstract approach for pattern definition and also provides a precise basis for checking the validity of pattern usage in designs.

The real-time refinement calculus: A foundation for machine-independent real-time programming

The real-time refinement calculus is an extension of the standard refinement calculus in which programs are developed from a precondition plus post-condition style of specification. In addition to adapting standard refinement rules to be valid in the real-time context, specific rules are required for the timing constructs such as delays and deadlines. Because many real-time programs may be nonterminating, a further extension is to allow nonterminating repetitions. A real-time specification constrains not only what values should be output, but when they should be output. Hence for a program to implement such a specification, it must guarantee to output values by the specified times. With standard programming languages such guarantees cannot be made without taking into account the timing characteristics of the implementation of the program on a particular machine. To avoid having to consider such details during the refinement process, we have extended our real-time programming language with a deadline command. The deadline command takes no time to execute and always guarantees to meet the specified time; if the deadline has already passed the deadline command is infeasible (miraculous in Dijkstra's terminology). When such a realtime program is compiled for a particular machine, one needs to ensure that all execution paths leading to a deadline are guaranteed to reach it by the specified time. We consider this checking as part of an extended compilation phase. The addition of the deadline command restores for the real-time language the advantage of machine independence enjoyed by non-real-time programming languages.

Natural language processing as a foundation of the semantic Web

The main argument of this paper is that Natural Language Processing (NLP) does, and will continue to, underlie the Semantic Web (SW), including its initial construction from unstructured sources like the World Wide Web (WWW), whether its advocates realise this or not. Chiefly, we argue, such NLP activity is the only way up to a defensible notion of meaning at conceptual levels (in the original SW diagram) based on lower level empirical computations over usage. Our aim is definitely not to claim logic-bad, NLP-good in any simple-minded way, but to argue that the SW will be a fascinating interaction of these two methodologies, again like the WWW (which has been basically a field for statistical NLP research) but with deeper content. Only NLP technologies (and chiefly information extraction) will be able to provide the requisite RDF knowledge stores for the SW from existing unstructured text databases in the WWW, and in the vast quantities needed. There is no alternative at this point, since a wholly or mostly hand-crafted SW is also unthinkable, as is a SW built from scratch and without reference to the WWW. We also assume that, whatever the limitations on current SW representational power we have drawn attention to here, the SW will continue to grow in a distributed manner so as to serve the needs of scientists, even if it is not perfect. The WWW has already shown how an imperfect artefact can become indispensable.