7,339 research outputs found
Maximal Denumerant of a Numerical Semigroup With Embedding Dimension Less Than Four
Given a numerical semigroup and , we
consider the factorization where
. Such a factorization is {\em maximal} if is a
maximum over all such factorizations of . We show that the number of maximal
factorizations, varying over the elements in , is always bounded. Thus, we
define \dx(S) to be the maximum number of maximal factorizations of elements
in . We study maximal factorizations in depth when 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
The predicted radiation exposure of the population of the European Community resulting from discharges of krypton-85, tritium, carbon-14 and iodine-129 from the nuclear power industry to the year 2000.
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
- …