Browsing by Author "Stokes, Tim E."

Now showing items 1-5 of 30

  • A note on steady flow into a submerged point sink

    Hocking, Graeme Charles; Forbes, Lawrence K.; Stokes, Tim E. (Cambridge University Press, 2014)
    The steady, axisymmetric flow induced by a point sink (or source) submerged in an unbounded inviscid fluid is computed. The resulting deformation of the free surface is obtained, and a limit of steady solutions is found ...
  • Agreeable semigroups

    Jackson, Marcel; Stokes, Tim E. (Academic Press, 2003)
    This paper concerns the theory of partial maps under composition and more generally, the RC-semigroups introduced by Jackson and Stokes [Semigroup Forum 62 (2001) 279–310] (semigroups with a unary operation called (right) ...
  • Algebraic properties of If-Then-Else and commutative three-valued tests

    Soo, Khi-Ui; Stokes, Tim E. (2019)
    This paper establishes a finite axiomatization of possibly non-halting computer programs and tests, with the if-then-else operation. The model is a two-sorted algebra, with one sort being the programs and the other being ...
  • Axioms for function semigroups with agreement quasi-order

    Stokes, Tim E. (Springer, 2011)
    The agreement quasi-order on pairs of (partial) transformations on a set X is defined as follows: (f, g) ≼ (h, k) if whenever f, g are defined and agree, so do h, k. We axiomatize function semigroups and monoids equipped ...
  • Comparison semigroups and algebras of transformations

    Stokes, Tim E. (Springer, 2010)
    We characterize algebras of transformations on a set under the operations of composition and the pointwise switching function defined as follows: (f,g)[h,k](x)=h(x) if f(x)=g(x), and k(x) otherwise. The resulting algebras ...

Showing up to 5 theses - most recently added to Research Commons first.

  • L-invariants and congruences for Galois representations of dimension 3, 4, and 8

    Gilmore, Hamish Julian (The University of Waikato, 2020)
    The arithmetic of Galois representations plays a central role in modern number theory. In this thesis we consider representations arising from tensor products of the two-dimensional representations attached to modular forms ...
  • The Algebraic Properties of if-then-else with Commutative Three-Valued Tests

    Su, Roger Chi-Wei (The University of Waikato, 2018)
    This thesis studies an algebraic model of computable programs and the if-then-else operation. The programs here are considered deterministic, but not assumed to be always halting, so they are modelled by a semigroup of ...
  • Critical sets of full Latin squares

    Raass, Petelo Vaipuna (University of Waikato, 2016)
    This thesis explores the properties of critical sets of the full n-Latin square and related combinatorial structures including full designs, (m,n,2)-balanced Latin rectangles and n-Latin cubes. In Chapter 3 we study ...