15 resultados para Reissner Foundation
em University of Queensland eSpace - Australia
Resumo:
This is a schools brief style of introduction to evolutionary economics. It addresses the nature of evolutionary theory in relation to economics, and examines why evolutionary economists argue that market-capitalism is an evolutionary system. Finally, it argues that liberal economic philosophy has much stronger and more direct relationship with evolutionary economic analysis than neoclassical economic analysis.
Resumo:
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.
Resumo:
* 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.
Resumo:
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.
Resumo:
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.
Resumo:
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.
Resumo:
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.