title: Incremental verification and synthesis of discrete-event systems guided by counter-examples

authors: Brandin, Bertil A.

subjects: computer science

abstract: This article presents new approaches to system verification and synthesis based on subsystem verification and the novel combined use of counterexamples and heuristics to identify suitable subsystems incrementally. The scope of safety properties considered is limited to behavioral inclusion and controllability. The verification examples considered provide a comparison of the approaches presented with straightforward state exploration and an understanding of their applicability in an industrial context.

text: Incremental verification and synthesis of discrete-event systems guided by counter-examples This article presents new approaches to system verification and synthesis based on subsystem verification and the novel combined use of counterexamples and heuristics to identify suitable subsystems incrementally. The scope of safety properties considered is limited to behavioral inclusion and controllability. The verification examples considered provide a comparison of the approaches presented with straightforward state exploration and an understanding of their applicability in an industrial context.

year: 2004

title: Acute hypophagia and changes in c-Fos immunoreactivity in adolescent rats treated with low doses of oxytocin and naltrexone.

authors: Head, Mitchell Antony

subjects: neuropeptides

abstract: A recent case report has shown that an adjunctive oxytocin + naltrexone (OT + NTX) treatment promoted more robust hypophagia and body weight reduction than OT alone in an adolescent male with hypothalamic obesity after craniopharyngioma resection. Thus far, there has been no basic research in adolescent laboratory animals that would examine whether the benefit of OT + NTX on appetite extends onto adolescent individuals without surgically induced overeating. Thus, here we examined whether low doses of combined OT + NTX acutely affect post-deprivation intake of energy-dense, standard chow; intake of energy-dense and palatable high-fat high-sugar (HFHS) diet; or calorie-dilute, palaTable 10% sucrose solution without deprivation in adolescent male rats. We assessed whether OT + NTX decreases water intake after water deprivation or produces a conditioned taste aversion (CTA). Finally, by using c-Fos immunoreactivity, we determined changes in activity of feeding-related brain areas after OT + NTX. We found that individual subthreshold doses of OT and NTX decreased feeding induced by energy and by palatability. Significant c-Fos changes were noted in the arcuate and dorsomedial hypothalamic nuclei. The hypophagic doses of OT + NTX did not suppress water intake in thirsty rats and did not cause a CTA, which suggests that feeding reduction is not a secondary effect of gastrointestinal discomfort or changes in thirst processing. We conclude that OT + NTX is an effective drug combination to reduce appetite in adolescent male rats.

text: Acute hypophagia and changes in c-Fos immunoreactivity in adolescent rats treated with low doses of oxytocin and naltrexone. A recent case report has shown that an adjunctive oxytocin + naltrexone (OT + NTX) treatment promoted more robust hypophagia and body weight reduction than OT alone in an adolescent male with hypothalamic obesity after craniopharyngioma resection. Thus far, there has been no basic research in adolescent laboratory animals that would examine whether the benefit of OT + NTX on appetite extends onto adolescent individuals without surgically induced overeating. Thus, here we examined whether low doses of combined OT + NTX acutely affect post-deprivation intake of energy-dense, standard chow; intake of energy-dense and palatable high-fat high-sugar (HFHS) diet; or calorie-dilute, palaTable 10% sucrose solution without deprivation in adolescent male rats. We assessed whether OT + NTX decreases water intake after water deprivation or produces a conditioned taste aversion (CTA). Finally, by using c-Fos immunoreactivity, we determined changes in activity of feeding-related brain areas after OT + NTX. We found that individual subthreshold doses of OT and NTX decreased feeding induced by energy and by palatability. Significant c-Fos changes were noted in the arcuate and dorsomedial hypothalamic nuclei. The hypophagic doses of OT + NTX did not suppress water intake in thirsty rats and did not cause a CTA, which suggests that feeding reduction is not a secondary effect of gastrointestinal discomfort or changes in thirst processing. We conclude that OT + NTX is an effective drug combination to reduce appetite in adolescent male rats.

year: 2021-12-23

title: The Impact of Colonisation on the Maori community: An exploration of the attitudes and perspectives held by Maori in relation to the active reclamation of Maori sovereignty/tino rangatiratanga.

authors: Baty, Tina Amy

subjects: Maori

abstract: Whāia te iti kahurangi ki te tūohu koe me he maunga teitei
Seek the treasure you value most dearly: If you bow your head, let it be to a lofty mountain
The purpose of my research was twofold. I first sort to explore the attitudes and perspectives held by Māori in relation to the active reclamation of Māori sovereignty, tino rangatiratanga. I further wanted to know how Māori sovereignty, tino rangatiratanga could lead to the improvement of Māori health.
My research collected information pertinent to these two inquiries from current literature and from interviews I conducted with five Māori individuals from different iwi, hapu groups. All whom were actively engaged with the Māori community in some form. My research data found that colonisalism has and continues to negatively impact the Māori community. This negative impact manifests in a variety of behaviours that effect Māori health and leads to poor outcomes for Māori. Māori sovereignty, tino rangatiratanga was thought of as the solution to overcome and neutralise the negative effects of colonialism experienced by Māori. Māori sovereignty, tino rangatiratanga was found to be related with Māori idenity and instrumental in all things pertinent to the Māori communities.
My research found that Māori sovereignty, tino rangatiratanga can be identified as existing on a philosophical level, governance-structural level, and on a day-to-day basis. This research found that the reclamation of Māori sovereignty, tino rangatiratanga is a process that is currently in motion. Finally, the exercising of Māori sovereignty, tino rangatiratanga in relation to Māori health provides a well-established argument that it can produce positive health benefits to the Māori community, because it is responsive to Māori and better meets the needs of our Māori community simply because it is a Māori way of being, doing and knowing.

text: The Impact of Colonisation on the Maori community: An exploration of the attitudes and perspectives held by Maori in relation to the active reclamation of Maori sovereignty/tino rangatiratanga. Whāia te iti kahurangi ki te tūohu koe me he maunga teitei
Seek the treasure you value most dearly: If you bow your head, let it be to a lofty mountain
The purpose of my research was twofold. I first sort to explore the attitudes and perspectives held by Māori in relation to the active reclamation of Māori sovereignty, tino rangatiratanga. I further wanted to know how Māori sovereignty, tino rangatiratanga could lead to the improvement of Māori health.
My research collected information pertinent to these two inquiries from current literature and from interviews I conducted with five Māori individuals from different iwi, hapu groups. All whom were actively engaged with the Māori community in some form. My research data found that colonisalism has and continues to negatively impact the Māori community. This negative impact manifests in a variety of behaviours that effect Māori health and leads to poor outcomes for Māori. Māori sovereignty, tino rangatiratanga was thought of as the solution to overcome and neutralise the negative effects of colonialism experienced by Māori. Māori sovereignty, tino rangatiratanga was found to be related with Māori idenity and instrumental in all things pertinent to the Māori communities.
My research found that Māori sovereignty, tino rangatiratanga can be identified as existing on a philosophical level, governance-structural level, and on a day-to-day basis. This research found that the reclamation of Māori sovereignty, tino rangatiratanga is a process that is currently in motion. Finally, the exercising of Māori sovereignty, tino rangatiratanga in relation to Māori health provides a well-established argument that it can produce positive health benefits to the Māori community, because it is responsive to Māori and better meets the needs of our Māori community simply because it is a Māori way of being, doing and knowing.

year: 2018