Skip to main content

8 Result(s)

within Matthew Naylor Remove this filter

and

  1. Article

    Open Access

    Gonad development in farmed male and female South African abalone, Haliotis midae, fed artificial and natural diets under a range of husbandry conditions

    Growth rate is one of the most important factors in the farming of Haliotis midae, and somatic growth rates decline after abalone reach sexual maturity. Artificial diets are suspected to accelerate maturation, in...

    Esther Meusel, Simon Menanteau-Ledouble, Matthew Naylor… in Aquaculture International (2022)

    Download PDF (1302 KB) View Article

  2. No Access

    Chapter

    Practical Distributed Implementation of Very Large Scale Petri Net Simulations

    With the continued increase of size and complexity of contemporary digital systems, there is a growing need for models of large size and high complexity, as well as methods of analyzing such models. This paper...

    Ashur Rafiev, Jordan Morris, Fei **a… in Transactions on Petri Nets and Other Model… (2022)

  3. No Access

    Article

    Supplementation with a prebiotic (polydextrose) in obese mouse pregnancy improves maternal glucose homeostasis and protects against offspring obesity

    We hypothesised that maternal diet-induced-obesity has adverse consequences for offspring energy expenditure and susceptibility to obesity in adulthood, and that the prebiotic polydextrose (PDX) would prevent ...

    Xanthi Maragkoudaki, Matthew Naylor… in International Journal of Obesity (2020)

  4. No Access

    Article

    Behavioural responses of farmed South African abalone Haliotis midae L. to disturbances caused by husbandry procedures

    The South African abalone, Haliotis midae L., is an important mariculture species. In the natural environment, abalone move and migrate to new sites to escape from disturbances. This is the first study that teste...

    Horst Kaiser, Bernard Erasmus, Matthew Naylor in Aquaculture International (2017)

  5. No Access

    Chapter and Conference Paper

    Advances in Lazy SmallCheck

    A property-based testing library enables users to perform lightweight verification of software. This paper presents improvements to the Lazy SmallCheck property-based testing library. Users can now test propertie...

    Jason S. Reich, Matthew Naylor… in Implementation and Application of Function… (2013)

  6. No Access

    Chapter and Conference Paper

    Lazy Generation of Canonical Test Programs

    Property-based testing can be a highly effective form of lightweight verification, but it relies critically on the method used to generate test cases. If we wish to test properties of compilers and related too...

    Jason S. Reich, Matthew Naylor… in Implementation and Application of Function… (2012)

  7. No Access

    Article

    Expressible sharing for functional circuit description

    We consider the design of a circuit description library for a pure functional language where circuits are defined as functions and connected together by writing applicative expressions. Just like the return va...

    Matthew Naylor, Colin Runciman in Higher-Order and Symbolic Computation (2009)

  8. No Access

    Chapter and Conference Paper

    The Reduceron: Widening the von Neumann Bottleneck for Graph Reduction Using an FPGA

    For the memory intensive task of graph reduction, modern PCs are limited not by processor speed, but by the rate that data can travel between processor and memory. This limitation is known as the von Neumann bott...

    Matthew Naylor, Colin Runciman in Implementation and Application of Functional Languages (2008)