An Accountable Source-To-Source Transformation System

Though one is led to believe that program transformation systems which perform source-to-source transformations enable the user to understand and appreciate the resulting source program, this is not always the case. Transformations are capable of behaving and/or interacting in unexpected ways. The user who is interested in understanding the whats, whys, wheres, and hows of the transformation process is left without tools for discovering them. I provide an initial step towards the solution of this problem in the form of an accountable source-to-source transformation system. It carefully records the information necessary to answer such questions, and provides mechanisms for the retrieval of this information. It is observed that though this accountable system allows the user access to relevant facts from which he may draw conclusions, further study is necessary to make the system capable of analyzing these facts itself.

Quaternary palaeogeomorphologic evolution of the Wadi Faynan area, Southern Jordan

McLaren, S. Gilbertson, D. Grattan, J. Hunt, C. Duller, G. Barker, G. Quaternary palaeogeomorphologic evolution of the Wadi Faynan area, Southern Jordan. Palaeogeography, Palaeoclimatology, Palaeoecology. 2004. 205. pp 131-154

The potential risk from 222radon posed to archaeologists and earth scientists: reconnaissance study of radon concentrations, excavations and archaeological shelters in the Great cave of Niah, Sarawak, Malaysia

Gillmore, G. Gilbertson, D. Grattan, J. Hunt, C. McLaren, S. Pyatt, B. Banda, R. Barker, G. Denman, A. Phillips, P. Reynolds, T. The potential risk from 222radon posed to archaeologists and earth scientists: reconnaissance study of radon concentrations, excavations and archaeological shelters in the Great cave of Niah, Sarawak, Malaysia. Ecotoxicology and Environmental Safety. 2005. 60 pp 213-227.

Early-Holocene environments in the Wadi Faynan, Jordan

Hunt, C. Elrishi, H. Gilbertson, D. Grattan, J. McLaren, S. Pyatt, B. Rushworth, G. Barker, G. Early-Holocene environments in the Wadi Faynan, Jordan. The Holocene. 2004. 14,6 pp 921-930

An Imperial Legacy? An Exploration of the environmental impact of ancient metal mining and smelting in southern Jordan

Pyatt, B. Gilmore, G. Grattan, J. Hunt, C. McLaren, S. An imperial legacy? An exploration of the environmental impact of ancient metal mining and smelting in southern Jordan. Journal of Archaeological Science. 2000. 27 pp 771-778

Radon and King Solomons Miners: Faynan Orefeild, Jordanian desert

Grattan, J. Gilmore, G. Gilbertson, D. Pyatt, F.B. HUnt, C. McLaren, S. Phillips, P. Denman, A. Radon and King Solomons Miners: Paynan Orefield, Jordanian Desert. The Science of the Total Environment. 2004 319 pp 99-113

Saying isn't necessarily believing: influencing self-theories in computing

Simon, B., Hanks, B., Murphy, L., Fitzgerald, S., McCauley, R., Thomas, L., and Zander, C. 2008. Saying isn't necessarily believing: influencing self-theories in computing. In Proceeding of the Fourth international Workshop on Computing Education Research (Sydney, Australia, September 06 - 07, 2008). ICER '08. ACM, New York, NY, 173-184.

Strategies that students use to trace code: an analysis based in grounded theory

Fitzgerald, S., Simon, B., and Thomas, L. 2005. Strategies that students use to trace code: an analysis based in grounded theory. In Proceedings of the First international Workshop on Computing Education Research (Seattle, WA, USA, October 01 - 02, 2005). ICER '05. ACM, New York, NY, 69-80

Problem ubóstwa w Unii Europejskiej

The issues of poverty, famine and malnutrition mainly concern underdeveloped regions. Yet in recent years the proportion of the population threatened with poverty and social exclu- sion has been growing not only in these regions but also in developed areas, including the EU. The issue of poverty is additionally related to demography. In this context, the aging popula- tion of West European countries is worrisome, as the elderly are one of the groups particularly threatened by poverty, and their number continues to grow. Appreciating the gravity of this is- sue, the European Commission considers the fight against poverty to be one of the basic five directions established in the Europe 2020 strategic document.

Planning humanitarian projects with educational focus in Guinea rural areas

Dissertação apresentada à Universidade Fernando Pessoa como parte dos requisitos para obtenção do grau de Mestre em Acção Humanitária, Cooperação e Desenvolvimento

An Admission Control Paradigm for Real-time Databases

We propose and evaluate an admission control paradigm for RTDBS, in which a transaction is submitted to the system as a pair of processes: a primary task, and a recovery block. The execution requirements of the primary task are not known a priori, whereas those of the recovery block are known a priori. Upon the submission of a transaction, an Admission Control Mechanism is employed to decide whether to admit or reject that transaction. Once admitted, a transaction is guaranteed to finish executing before its deadline. A transaction is considered to have finished executing if exactly one of two things occur: Either its primary task is completed (successful commitment), or its recovery block is completed (safe termination). Committed transactions bring a profit to the system, whereas a terminated transaction brings no profit. The goal of the admission control and scheduling protocols (e.g., concurrency control, I/O scheduling, memory management) employed in the system is to maximize system profit. We describe a number of admission control strategies and contrast (through simulations) their relative performance.

Concurrency Admission Control Management in ACCORD

We propose and evaluate admission control mechanisms for ACCORD, an Admission Control and Capacity Overload management Real-time Database framework-an architecture and a transaction model-for hard deadline RTDB systems. The system architecture consists of admission control and scheduling components which provide early notification of failure to submitted transactions that are deemed not valuable or incapable of completing on time. In particular, our Concurrency Admission Control Manager (CACM) ensures that transactions which are admitted do not overburden the system by requiring a level of concurrency that is not sustainable. The transaction model consists of two components: a primary task and a compensating task. The execution requirements of the primary task are not known a priori, whereas those of the compensating task are known a priori. Upon the submission of a transaction, the Admission Control Mechanisms are employed to decide whether to admit or reject that transaction. Once admitted, a transaction is guaranteed to finish executing before its deadline. A transaction is considered to have finished executing if exactly one of two things occur: Either its primary task is completed (successful commitment), or its compensating task is completed (safe termination). Committed transactions bring a profit to the system, whereas a terminated transaction brings no profit. The goal of the admission control and scheduling protocols (e.g., concurrency control, I/O scheduling, memory management) employed in the system is to maximize system profit. In that respect, we describe a number of concurrency admission control strategies and contrast (through simulations) their relative performance.

Dissecting Policy Designs: An Application of the Institutional Grammar Tool

An enduring challenge for the policy and political sciences is valid and reliable depiction of policy designs. One emerging approach for dissecting policy designs is the application of Sue Crawford and Elinor Ostrom's institutional grammar tool. The grammar tool offers a method to identify, systematically, the core elements that comprise policies, including target audiences, expected patterns of behavior, and formal modes of sanctioning for noncompliance. This article provides three contributions to the study of policy designs by developing and applying the institutional grammar tool. First, we provide revised guidelines for applying the institutional grammar tool to the study of policy design. Second, an additional component to the grammar, called the oBject, is introduced. Third, we apply the modified grammar tool to four policies that shape Colorado State Aquaculture to demonstrate its effectiveness and utility in illuminating institutional linkages across levels of analysis. The conclusion summarizes the contributions of the article as well as points to future research and applications of the institutional grammar tool. © 2011 Policy Studies Organization.

pKa values of aqua ligands of platinum (II) anticancer complexes: [1H, 15N] and 195Pt NMR Studies of cis- and trans- [PtCl2 (NH3) (Cyclohexylamine)]

Syntheses and NMR studies are reported of two 15N-labelled Pt(II) complexes of anticancer interest: cis-PtCl2(15NH3)(c-C6H1115NH2), a metabolite of the orally-active Pt(IV) complex cis,trans,cis-[PtCl2(acetate)2(c-C6H11NH2)(NH3), and trans-[PtCl2(15NH3)(c-C6H1115NH2), a reduction product of the active Pt(IV) complex trans,trans,trans-[PtCl2(OH)2(c-C6H11NH2). For cis-[PtCl2(15NH3)(c-C6H1115NH2), hydrolysis was faster for the chloride ligand trans to cyclohexylamine, and the pKa values determined by [1H, 15N NMR spectroscopy for the two cis monoaqua isomers were the same (6.73). The trans monoaqua complex was a stronger acid with pKa of 5.4 (determined by 195Pt NMR). For the cis diaqua complex, pKa values of 5.68 and 7.68 were determined.

Convenient synthetic routes to bidentate and monodentate 2-, 3- and 4-pyridyl phosphines: potentially useful ligands for water-soluble complex catalysts

The monodentate and bidentate pyridyl phosphines, PR3 and R2P(CH2)2PR2, where R=3- or 4-pyridyl can be prepared in high yields by treatment of butyllithium/TMEDA/3- or 4-bromopyridine with PCl3 or Cl2P(CH2)2PCl2 at low temperature. 1,2-Bis(di-2-pyridylphosphino)ethane is conveniently synthesised by an alternative route involving reaction of 1,2-dibromoethane with lithium di-2-pyridylphosphide.