title: Central oxytocin and food intake: focus on macronutrient-driven reward

authors: Klockars, Anica

subjects: appetite regulation

abstract: Centrally acting oxytocin (OT) is known to terminate food consumption in response to excessive stomach distension, increase in salt loading, and presence of toxins. Hypothalamic-hindbrain OT pathways facilitate these aspects of OT-induced hypophagia. However, recent discoveries have implicated OT in modifications of feeding via reward circuits: OT has been found to differentially affect consumption of individual macronutrients in choice and no-choice paradigms. In this mini-review, we focus on presenting and interpreting evidence that defines OT as a key component of mechanisms that reduce eating for pleasure and shape macronutrient preferences. We also provide remarks on challenges in integrating the knowledge on physiological and pathophysiological states in which both OT activity and macronutrient preferences are affected.

text: Central oxytocin and food intake: focus on macronutrient-driven reward Centrally acting oxytocin (OT) is known to terminate food consumption in response to excessive stomach distension, increase in salt loading, and presence of toxins. Hypothalamic-hindbrain OT pathways facilitate these aspects of OT-induced hypophagia. However, recent discoveries have implicated OT in modifications of feeding via reward circuits: OT has been found to differentially affect consumption of individual macronutrients in choice and no-choice paradigms. In this mini-review, we focus on presenting and interpreting evidence that defines OT as a key component of mechanisms that reduce eating for pleasure and shape macronutrient preferences. We also provide remarks on challenges in integrating the knowledge on physiological and pathophysiological states in which both OT activity and macronutrient preferences are affected.

year: 2015

title: Efficient compilation of a verification-friendly programming language

authors: Weng, Min-Hsien

subjects: Optimizing Compiler, Program Efficiency, Static Analysis, Formal Verification, Parallel Programming

abstract: This thesis develops a compiler to convert a program written in the verification friendly programming language Whiley into an efficient implementation in C. Our compiler uses a mixture of static analysis, run-time monitoring and a code generator to and faster integer types, eliminate unnecessary array copies and de-allocate unused memory without garbage collection, so that Whiley programs can be translated into C code to run fast and for long periods on general operating systems as well as limited-resource embedded devices. We also present manual and automatic proofs to verify memory safety of our implementations, and benchmark on a variety of test cases for practical use. Our benchmark results show that, in our test suite, our compiler effectively reduces the time complexity to the lowest possible level and stops all memory leaks without causing double-freeing problems. The performance of implementations can be further improved by choosing proper integer types within the ranges and exploiting parallelism in the programs.

text: Efficient compilation of a verification-friendly programming language This thesis develops a compiler to convert a program written in the verification friendly programming language Whiley into an efficient implementation in C. Our compiler uses a mixture of static analysis, run-time monitoring and a code generator to and faster integer types, eliminate unnecessary array copies and de-allocate unused memory without garbage collection, so that Whiley programs can be translated into C code to run fast and for long periods on general operating systems as well as limited-resource embedded devices. We also present manual and automatic proofs to verify memory safety of our implementations, and benchmark on a variety of test cases for practical use. Our benchmark results show that, in our test suite, our compiler effectively reduces the time complexity to the lowest possible level and stops all memory leaks without causing double-freeing problems. The performance of implementations can be further improved by choosing proper integer types within the ranges and exploiting parallelism in the programs.

year: 2019

title: Ta moko: Maori tattoo

authors: Te Awekotuku, Ngahuia

subjects: Maori

abstract: The author examines the history, technique and meaning of ta moko (Maori tattoo) from prehistory to modern times.

text: Ta moko: Maori tattoo The author examines the history, technique and meaning of ta moko (Maori tattoo) from prehistory to modern times.

year: 1997