title: Static techniques for reducing memory usage in the C implementation of Whiley programs

authors: Weng, Min-Hsien

subjects: Computer science

abstract: Languages that use call-by-value semantics, such as Whiley, can make program verification easier. But effcient implementation becomes harder, due to the overhead of copying and garbage collection. This paper describes how a mixture of static analysis and runtime-monitoring can be used to eliminate unnecessary copying and deallocate memory with- out garbage collection. We show that this allows Whiley programs to be translated into effcient C implementations.

text: Static techniques for reducing memory usage in the C implementation of Whiley programs Languages that use call-by-value semantics, such as Whiley, can make program verification easier. But effcient implementation becomes harder, due to the overhead of copying and garbage collection. This paper describes how a mixture of static analysis and runtime-monitoring can be used to eliminate unnecessary copying and deallocate memory with- out garbage collection. We show that this allows Whiley programs to be translated into effcient C implementations.

year: 2017

title: The molecular basis of the effect of temperature on enzyme activity

authors: Daniel, Roy M.

subjects: adaptation

abstract: Experimental data show that the effect of temperature on enzymes cannot be adequately explained in terms of a two-state model based on increases in activity and denaturation. The Equilibrium Model provides a quantitative explanation of enzyme thermal behaviour under reaction conditions by introducing an inactive (but not denatured) intermediate in rapid equilibrium with the active form. The temperature midpoint (Teq) of the rapid equilibration between the two forms is related to the growth temperature of the organism, and the enthalpy of the equilibrium (ΔHeq) to its ability to function over various temperature ranges. In the present study, we show that the difference between the active and inactive forms is at the enzyme active site. The results reveal an apparently universal mechanism, independent of enzyme reaction or structure, based at or near the active site, by which enzymes lose activity as temperature rises, as opposed to denaturation which is global. Results show that activity losses below Teq may lead to significant errors in the determination of ΔG*cat made on the basis of the twostate (‘Classical’) model, and the measured kcat will then not be a true indication of an enzyme’s catalytic power. Overall, the results provide a molecular rationale for observations that the active site tends to be more flexible than the enzyme as a whole, and that activity losses precede denaturation, and provide a general explanation in molecular terms for the effect of temperature on enzyme activity.

text: The molecular basis of the effect of temperature on enzyme activity Experimental data show that the effect of temperature on enzymes cannot be adequately explained in terms of a two-state model based on increases in activity and denaturation. The Equilibrium Model provides a quantitative explanation of enzyme thermal behaviour under reaction conditions by introducing an inactive (but not denatured) intermediate in rapid equilibrium with the active form. The temperature midpoint (Teq) of the rapid equilibration between the two forms is related to the growth temperature of the organism, and the enthalpy of the equilibrium (ΔHeq) to its ability to function over various temperature ranges. In the present study, we show that the difference between the active and inactive forms is at the enzyme active site. The results reveal an apparently universal mechanism, independent of enzyme reaction or structure, based at or near the active site, by which enzymes lose activity as temperature rises, as opposed to denaturation which is global. Results show that activity losses below Teq may lead to significant errors in the determination of ΔG*cat made on the basis of the twostate (‘Classical’) model, and the measured kcat will then not be a true indication of an enzyme’s catalytic power. Overall, the results provide a molecular rationale for observations that the active site tends to be more flexible than the enzyme as a whole, and that activity losses precede denaturation, and provide a general explanation in molecular terms for the effect of temperature on enzyme activity.

year: 2010

title: Reconnection with DNA: Policy and issues with direct-to-consumer DNA testing for indigenous Māori identity reclamation

authors: Turanga, Karen

abstract: The disconnection of tangata whenua (indigenous people born of the land) impacts all social determinants. A clear sense of identity and connection to the land and culture is an important solution to this problem. The purpose of this research is to share a personal and whānau (family group) story of using direct-to-consumer (DTC) autosomal DNA genetic testing (GT) to determine ancestry and show others a potential path forward to identity reclamation. To fulfil this purpose and explain the policy context, the research examines historical assimilation policies of closed cross-cultural adoption, and the possibilities DNA technology offers for whakapapa (genealogy, lineage descent, family history) reconnection. This includes addressing two key research questions: How does DTC-GT facilitate reconnection to Māori identity and whakapapa for cross-cultural adoptees? What are the short, medium and long-term risks and advantages of DTC autosomal DTC-GT testing for iwi Māori? A bricolage methodology frames this research and draws on kaupapa Māori (Māori approach, principles, and ideology), autoethnography, and interpretive phenomenology, which are used to analyse academic commentary and key policy decisions. An autoethnographic layered practice approach presents insights and key findings by combining personal narratives with various media types, academic research, policy documents and popular culture. The research highlights how the implicit processes of policy-led assimilation and colonisation still need to be challenged today. Existing literature has identified the importance of giving Māori pathways to reconnect with their identity. The personal story shared explains how DNA technology offers a way to do that, but the research completed for this thesis demonstrates this approach has serious risks and limitations that require consideration before utilising this technology.

text: Reconnection with DNA: Policy and issues with direct-to-consumer DNA testing for indigenous Māori identity reclamation The disconnection of tangata whenua (indigenous people born of the land) impacts all social determinants. A clear sense of identity and connection to the land and culture is an important solution to this problem. The purpose of this research is to share a personal and whānau (family group) story of using direct-to-consumer (DTC) autosomal DNA genetic testing (GT) to determine ancestry and show others a potential path forward to identity reclamation. To fulfil this purpose and explain the policy context, the research examines historical assimilation policies of closed cross-cultural adoption, and the possibilities DNA technology offers for whakapapa (genealogy, lineage descent, family history) reconnection. This includes addressing two key research questions: How does DTC-GT facilitate reconnection to Māori identity and whakapapa for cross-cultural adoptees? What are the short, medium and long-term risks and advantages of DTC autosomal DTC-GT testing for iwi Māori? A bricolage methodology frames this research and draws on kaupapa Māori (Māori approach, principles, and ideology), autoethnography, and interpretive phenomenology, which are used to analyse academic commentary and key policy decisions. An autoethnographic layered practice approach presents insights and key findings by combining personal narratives with various media types, academic research, policy documents and popular culture. The research highlights how the implicit processes of policy-led assimilation and colonisation still need to be challenged today. Existing literature has identified the importance of giving Māori pathways to reconnect with their identity. The personal story shared explains how DNA technology offers a way to do that, but the research completed for this thesis demonstrates this approach has serious risks and limitations that require consideration before utilising this technology.

year: 2025-08-08