title: Review: Marine natural products

authors: Blunt, John W.

subjects: South China Sea

abstract: This review covers the literature published in 2011 for marine natural products, with 870 citations (558 for the period January to December 2011) referring to compounds isolated from marine microorganisms and phytoplankton, green, brown and red algae, sponges, cnidarians, bryozoans, molluscs, tunicates, echinoderms, mangroves and other intertidal plants and microorganisms. The emphasis is on new compounds (1152 for 2011), together with the relevant biological activities, source organisms and country of origin. Biosynthetic studies, first syntheses, and syntheses that lead to the revision of structures or stereochemistries, have been included.

text: Review: Marine natural products This review covers the literature published in 2011 for marine natural products, with 870 citations (558 for the period January to December 2011) referring to compounds isolated from marine microorganisms and phytoplankton, green, brown and red algae, sponges, cnidarians, bryozoans, molluscs, tunicates, echinoderms, mangroves and other intertidal plants and microorganisms. The emphasis is on new compounds (1152 for 2011), together with the relevant biological activities, source organisms and country of origin. Biosynthetic studies, first syntheses, and syntheses that lead to the revision of structures or stereochemistries, have been included.

year: 2013

title: The explicit conflict check algorithm implemented in the Waters library

authors: Malik, Robi

subjects: computer science

abstract: This working paper describes the implementation of explicit model checking algorithms to verify the nonblocking or nonconflicting property of discrete event systems. Explicit algorithms enumerate and store all reachable states of a synchronous composition. Three alternatives optimised for memory consumption or runtime are described and compared. The algorithms have been implemented in C++ in the discrete event systems library Waters, and experimental results show that they can explore more than 100 million states on standard computers.

text: The explicit conflict check algorithm implemented in the Waters library This working paper describes the implementation of explicit model checking algorithms to verify the nonblocking or nonconflicting property of discrete event systems. Explicit algorithms enumerate and store all reachable states of a synchronous composition. Three alternatives optimised for memory consumption or runtime are described and compared. The algorithms have been implemented in C++ in the discrete event systems library Waters, and experimental results show that they can explore more than 100 million states on standard computers.

year: 2018

title: Maori & Psychology Research Unit annual report 2007

authors: Rua, Mohi

subjects: Maori and Psychology Research Unit

abstract: Annual report of the Maori and Psychology Research Unit (MPRU) 2007. The unit was established in August of 1997. The unit is designed to provide a catalyst and support network for enhancing research concerning the psychological needs, aspirations, and priorities of Maori people. The MPRU is well situated to draw together skilled and experienced interdisciplinary research groups by networking and establishing working relationships with staff and students within the Faculty of Arts and Social Sciences, the University, and the wider community.

text: Maori & Psychology Research Unit annual report 2007 Annual report of the Maori and Psychology Research Unit (MPRU) 2007. The unit was established in August of 1997. The unit is designed to provide a catalyst and support network for enhancing research concerning the psychological needs, aspirations, and priorities of Maori people. The MPRU is well situated to draw together skilled and experienced interdisciplinary research groups by networking and establishing working relationships with staff and students within the Faculty of Arts and Social Sciences, the University, and the wider community.

year: 2008