The dynamic frames theory

The theory of Dynamic Frames has been invented to deal with the frame problem in the presence of encapsulation and pointers. It has proved more flexible and conceptually simpler than previous approaches that tackled the problem. It is now being actively used both for theoretical and for practical purposes related to the formal verification of program correctness. This paper presents the full theory of Dynamic Frames, together with its reasoning laws and exemplifies the use of these laws in proving correct several common design patterns. It also discusses the ongoing research on the topi

Reconsidering the substance of digital video from a Sadrian perspective

The digitisation process is debated as video’s deficiency, where pixels are conceived as isolated fragments without an existential link to the source image. This article explores the ontology of digital-video through Mulla Sadrā’s (1571–1641) theory of Substantial Motion. Sadrā, a Persian-Islamic existentialist, proposed that substance (material/visible and immaterial/invisible) undergoes an internal change. Through imperceptible internal change, intimate connections exist between the smallest parts and the One, visible and invisible. We can think of these dynamic connections in terms of pixels and frames. From the view of Sadrā’s substance, pixels are explored as open to change. The apparent weaknesses of digital materiality become potentials towards understanding its existence in time

The influence of defects on magnetic properties of fcc-Pu

The influence of vacancies and interstitial atoms on magnetism in Pu has been considered in frames of the Density Functional Theory (DFT). The relaxation of crystal structure arising due to different types of defects was calculated using the molecular dynamic method with modified embedded atom model (MEAM). The LDA+U+SO (Local Density Approximation with explicit inclusion of Coulomb and spin-orbital interactions) method in matrix invariant form was applied to describe correlation effects in Pu with these types of defects. The calculations show that both vacancies and interstitials give rise to local moments in $f$-shell of Pu in good agreement with experimental data for annealed Pu. Magnetism appears due to destroying of delicate balance between spin-orbital and exchange interactions.Comment: 13 pages, 4 figure

Individual experiences of a merger : the REM-theory

The University of Johannesburg (UJ) merger is typical of transformation in South African Higher Education. This merger does not conform to the "norm"; as it is ideologically motivated and thus the ideal base to study individual experiences of large scale change. Following a qualitative, grounded theory approach, 40 academic employees from UJ were interviewed. Findings indicate that academic staff relay their experiences and perceptions of the merger in three discernable time-frames, each with its own dynamic. Collectively, these time-frames constitute the Reflective Experience of Mergers (REM) theory, which examines how merger experiences of academic staff shape their perceptions of and attitudes toward the merger over time. The REM-theory reiterates the temporal nature of change; its effect on the emotional and psychological well-being of individuals and the role of leadership during a merger