Diversity & Inclusion Update - Spring 2019

The Spring 2019 newsletter discusses ongoing campus initiatives to facilitate diversity and inclusion efforts on campus. Topics discussed include: The First Generation Campaign; the growth of Latinx house; faculty training around diversity and inclusion in teaching; the Trustee-led advisory group on the new campus renaming policy; the development of Breathe Gettysburg ; the continued development of Our Voices , which will be replacing the Vagina Monologues; as well as continuing to address concerns from the Campus Climate Study

A systematic study of squashes and pumpkins

In no other important group of vegetables is there more widespread confusion regarding nomenclature and classification than in pumpkins and squashes. Even the generic terms are misused and a number of varieties of pumpkins are called squashes, and conversely. Renaming of varieties has also run riot. The Table Queen, for example, a comparatively recent introduction, is listed under at least six different names. The renaming of varieties is in the long run a detriment to all concerned. The grower soon learns the facts in the case and his reaction toward a dealer who sells seed of standard varieties under new names is anything but favorable. The seedsman of today must succeed on the basis of quality by disseminating superior strains of standard varieties rather than by presenting known varieties under new names. The introduction of novelties is not to be discouraged, but the renaming of an existing variety and calling it a novelty does not make it such

Sensory and physico-psychological metaphor comprehension in children with ASD. A preliminary study on the outcomes of a treatment

Recent research into difficulties in figurative language in children with ASD highlighted that it is possible to devise training interventions to overcome these difficulties by teaching specific strategies. This study describes how children with ASD can improve their capability to explain metaphors with a treatment. Two types of metaphors, in the “X is Y” form, were addressed: sensory and physico-psychological. To face the difficulties posed by these metaphors, the adult taught two strategies: inserting the connective “is like” between “X” and “Y”, which transforms the metaphor into a simile; comparing “X” and “Y” by means of thinking maps. Two tests of metaphor comprehension were used, one based on sensory and the other on physico-psychological metaphors. Sixteen 10 year-old children participated into the study, including an experimental group formed by 8 children with ASD (n = 4) which had received the treatment, and a control group (n = 4) which had not, and 8 typically-developing (TD) children. At the post-test, the experimental group significantly outperformed the controls in explaining both types of metaphors, but only in the sensory metaphors did their performances reach TD children’s levels. These results illuminate how clinical treatment can positively influence the developmental trajectories of metaphor comprehension

Optimality in Goal-Dependent Analysis of Sharing

We face the problems of correctness, optimality and precision for the static analysis of logic programs, using the theory of abstract interpretation. We propose a framework with a denotational, goal-dependent semantics equipped with two unification operators for forward unification (calling a procedure) and backward unification (returning from a procedure). The latter is implemented through a matching operation. Our proposal clarifies and unifies many different frameworks and ideas on static analysis of logic programming in a single, formal setting. On the abstract side, we focus on the domain Sharing by Jacobs and Langen and provide the best correct approximation of all the primitive semantic operators, namely, projection, renaming, forward and backward unification. We show that the abstract unification operators are strictly more precise than those in the literature defined over the same abstract domain. In some cases, our operators are more precise than those developed for more complex domains involving linearity and freeness. To appear in Theory and Practice of Logic Programming (TPLP

Separation and Renaming in Nominal Sets

Nominal sets provide a foundation for reasoning about names. They are used primarily in syntax with binders, but also, e.g., to model automata over infinite alphabets. In this paper, nominal sets are related to nominal renaming sets, which involve arbitrary substitutions rather than permutations, through a categorical adjunction. In particular, the left adjoint relates the separated product of nominal sets to the Cartesian product of nominal renaming sets. Based on these results, we define the new notion of separated nominal automata. We show that these automata can be exponentially smaller than classical nominal automata, if the semantics is closed under substitutions