title: On the computation of counterexamples in compositional nonblocking verification

authors: Malik, Robi

subjects: Science & technology

abstract: This paper describes algorithms to compute a counterexample when compositional nonblocking verification determines that a discrete event system is blocking. Counterexamples are an important feature of model checking that explains the cause of a detected problem, greatly helping users to understand and fix faults. In compositional verification, counterexamples are difficult to compute due to the large state space and the loss of information after abstraction. The paper explains the difficulties and proposes solutions, and experimental results show that counterexamples can be computed successfully for several industrial-scale systems.

text: On the computation of counterexamples in compositional nonblocking verification This paper describes algorithms to compute a counterexample when compositional nonblocking verification determines that a discrete event system is blocking. Counterexamples are an important feature of model checking that explains the cause of a detected problem, greatly helping users to understand and fix faults. In compositional verification, counterexamples are difficult to compute due to the large state space and the loss of information after abstraction. The paper explains the difficulties and proposes solutions, and experimental results show that counterexamples can be computed successfully for several industrial-scale systems.

year: 2020

title: Synthesis, characterisation and biological activity of gold(III) catecholate and related complexes

authors: Goss, Carol H. A.

subjects: gold

abstract: The reactions of the cyclometallated gold(III) complexes [LAuCl₂] [L=2-(dimethylaminomethyl)phenyl, 2-benzylpyridyl or 2-anilinopyridyl] with catechol, tetrachlorocatechol, or the cyclic α,β-diketone SCH(CO2Et)C(O)C(O)CH(CO2Et) give stable complexes containing five-membered Au-O-C-C-O rings. These represent the first examples of well-characterised gold(III) catecholate complexes. Similarly, reactions with 2-acetamidophenol [HOC₆H₄NHC(O)CH₃] give complexes with the related Au---N---C---C---O ring. The complexes were characterised by NMR spectroscopy, electrospray ionisation mass spectrometry, elemental microanalysis, and in the case of the complex [(2-benzylpyridyl)Au{OC₆H₄NC(O)CH₃}] by an X-ray crystal structure determination. Several complexes show high activity towards P388 murine leukemia cells.

text: Synthesis, characterisation and biological activity of gold(III) catecholate and related complexes The reactions of the cyclometallated gold(III) complexes [LAuCl₂] [L=2-(dimethylaminomethyl)phenyl, 2-benzylpyridyl or 2-anilinopyridyl] with catechol, tetrachlorocatechol, or the cyclic α,β-diketone SCH(CO2Et)C(O)C(O)CH(CO2Et) give stable complexes containing five-membered Au-O-C-C-O rings. These represent the first examples of well-characterised gold(III) catecholate complexes. Similarly, reactions with 2-acetamidophenol [HOC₆H₄NHC(O)CH₃] give complexes with the related Au---N---C---C---O ring. The complexes were characterised by NMR spectroscopy, electrospray ionisation mass spectrometry, elemental microanalysis, and in the case of the complex [(2-benzylpyridyl)Au{OC₆H₄NC(O)CH₃}] by an X-ray crystal structure determination. Several complexes show high activity towards P388 murine leukemia cells.

year: 2003

title: Indigenous aspirations and ecological integrity: Restoring and protecting the health and wellbeing of an ancestral river for future generations in Aotearoa New Zealand

authors: Te Aho, Linda

subjects: Maori

abstract: This paper seeks to provide a domestic example of the application of the environmental ethic of the indigenous Māori which ensures that humans are kaitiaki (guardians) of their surrounding environment by virtue of shared genealogy and how this ethic is being applied to restore and protect the health and wellbeing of the Waikato River, New Zealand’s longest. This particular river restoration project reflects many of the important aspects of ecological integrity.  It serves too. as a domestic example of the most sophisticated attempt at powersharing to date between Māori and the Crown in relation to natural resources, which may be of interest to other jurisdictions.

text: Indigenous aspirations and ecological integrity: Restoring and protecting the health and wellbeing of an ancestral river for future generations in Aotearoa New Zealand This paper seeks to provide a domestic example of the application of the environmental ethic of the indigenous Māori which ensures that humans are kaitiaki (guardians) of their surrounding environment by virtue of shared genealogy and how this ethic is being applied to restore and protect the health and wellbeing of the Waikato River, New Zealand’s longest. This particular river restoration project reflects many of the important aspects of ecological integrity.  It serves too. as a domestic example of the most sophisticated attempt at powersharing to date between Māori and the Crown in relation to natural resources, which may be of interest to other jurisdictions.

year: 2011