Maximal Denumerant of a Numerical Semigroup With Embedding Dimension Less Than Four

Given a numerical semigroup $S =$ and $s\in S$, we consider the factorization $s = c_1 a_1 + c_2 a_2 +... + c_t a_t$ where $c_i\ge0$. Such a factorization is {\em maximal} if $c_1+c_2+...+c_t$ is a maximum over all such factorizations of $s$. We show that the number of maximal factorizations, varying over the elements in $S$, is always bounded. Thus, we define \dx(S) to be the maximum number of maximal factorizations of elements in $S$. We study maximal factorizations in depth when $S$ has embedding dimension less than four, and establish formulas for \dx(S) in this case.Comment: Main results are unchanged, but proofs and exposition have been improved. Some details have been changed considerably including the titl

Integration of psychological models in the design of artificial creatures

Artificial creatures form an increasingly important component of interactive computer games. Examples of such creatures exist which can interact with each other and the game player and learn from their experiences. However, we argue, the design of the underlying architecture and algorithms has to a large extent overlooked knowledge from psychology and cognitive sciences. We explore the integration of observations from studies of motivational systems and emotional behaviour into the design of artificial creatures. An initial implementation of our ideas using the “sim agent” toolkit illustrates that physiological models can be used as the basis for creatures with animal like behaviour attributes. The current aim of this research is to increase the “realism” of artificial creatures in interactive game-play, but it may have wider implications for the development of AI

Sis I See You!: Stories of Black Women Administrators – Lifting the Veil, Stories of Black Women Administrators at HWIs

Black women play a vital role in the success of higher education. However, Black women administrators are often successful in the profession without the necessary tools and support. Although Black women administrators experience several barriers in the profession, they still find ways to connect, engage, and find a sense of community. Black women administrators must have an understanding of how to navigate these challenges in the academy as reoccurring issues can become detrimental to their careers. This chapter focuses on the challenges and successes of Black women administrators in higher education at historically white institutions

Word-level Symbolic Trajectory Evaluation

Symbolic trajectory evaluation (STE) is a model checking technique that has been successfully used to verify industrial designs. Existing implementations of STE, however, reason at the level of bits, allowing signals to take values in {0, 1, X}. This limits the amount of abstraction that can be achieved, and presents inherent limitations to scaling. The main contribution of this paper is to show how much more abstract lattices can be derived automatically from RTL descriptions, and how a model checker for the general theory of STE instantiated with such abstract lattices can be implemented in practice. This gives us the first practical word-level STE engine, called STEWord. Experiments on a set of designs similar to those used in industry show that STEWord scales better than word-level BMC and also bit-level STE.Comment: 19 pages, 3 figures, 2 tables, full version of paper in International Conference on Computer-Aided Verification (CAV) 201

Population Growth Characteristics of Incipient Colonies of the Eastern Subterranean Termite, Reticulitermes flavipes (Kollar) (Isoptera: Rhinotermitidae)

Growth of Reticulitermes flavipes (Kollar) incipient colonies during their first year was documented via a monthly destructive sampling census of 15 unique colonies, each headed by an inbred primary pair, for a total of 180 colonies. King and queen biomass greatly decreased during the first 2 months, coinciding with egg production and colony foundation, but their biomass remained relatively constant thereafter. Three cohorts of eggs were produced, with the greatest number of eggs (mean = 14.5) during the first month. Larvae were present at 1 month, and workers were first observed at 2 months. The survival rate of the initial brood was less than 100%, most likely due to cannibalism. A single soldier was first noted in some colonies at 6 months. Offspring biomass was equal to that of the reproductive pair at the 2-month census, double at 3 months, and quadruple at 11 months. One-year-old colonies ranged in size from 20 to 40 individuals, with an average of 28.9 individuals; total colony biomass was 39.8 mg. The growth rate of these R. flavipes colonies was much slower than was reported in other studies, but our observations are consistent with previous models and suggestions regarding colony growth

Integrating local knowledge into a national programme: Evidence from a community-based diabetes prevention education programme

Type 2 diabetes prevention is a major priority for healthcare services and public health. This study aimed to evaluate how a local authority in England piloted a diabetes prevention programme. The South Gloucestershire Diabetes Prevention (Pilot) Programme (SGDPP) comprised a group health education course over six weeks with subsequent support provision up to six months post-enrolment. Of the 300 patients invited onto the programme, 32% enrolled and 29% completed the full six-month programme. There was an attendance rate of 84% throughout group sessions and at a six-month follow-up. There were significant improvements across most measures at six months, including a 4 kg mean weight loss and a 3.45 mmol/mol mean HbA1c reduction. Clear goals, high quality organization and personal qualities of educators were identified as central for the programme’s success. The unit costs were similar to pilots of other healthy lifestyle programmes. The evaluation found evidence of reduced type 2 diabetes risk markers, positive impacts for dietary and physical activity, and potential cost-effectiveness for this format of group-based diabetes prevention intervention. Feedback from multiple stakeholders provided insight on how to successfully embed and scale-up delivery of diabetes prevention work. This evidence enables the integration of learning in local service delivery and provides a basis to support development of the national diabetes prevention programme