Building an IDE for the Calculational Derivation of Imperative Programs

In this paper, we describe an IDE called CAPS (Calculational Assistant for Programming from Specifications) for the interactive, calculational derivation of imperative programs. In building CAPS, our aim has been to make the IDE accessible to non-experts while retaining the overall flavor of the pen-and-paper calculational style. We discuss the overall architecture of the CAPS system, the main features of the IDE, the GUI design, and the trade-offs involved.Comment: In Proceedings F-IDE 2015, arXiv:1508.0338

Master of Science

thesisThe need for precise micro/nano-positioning has arisen in many fields of research and technology. Piezoelectric stick-slip actuators are widely used where precise positioning over a wide range of motion is required. Controlling manipulators that utilize piezoelectric stick-slip actuators is not a trivial task, as these actuators have a discrete stepping nature, with a step size that is influenced by a variety of factors such as actuator loading, temperature, and humidity. Absence of integrated joint sensors in manipulators that use piezoelectric stick-slip actuators (which is typical), as well as difficulty in using vision feedback for closed-loop control, has led to development of open-loop modeling methods to estimate the step size of the actuators. Prior work has failed to characterize and quantify the effects of various parameters on the displacement of such actuators to a degree as to be easily utilized in the control of an actual manipulator. In this thesis, we propose an empirically derived predictive open-loop model for the step size of the prismatic and rotary piezoelectric-stick-slip-actuated joints of a Kleindiek MM3A micromanipulator, based on static and inertial loads due to the mass of the manipulator's links as well as loads applied to the end-effector. The effects of various parameters on the step size of each joint are quantified and characterized. The results obtained are then fit into a model based on nonlinear regression via joint-specific parameters. Calibration routines are developed to quickly determine the joint-specific parameters for use in the derived predictive step-size model. Using the model obtained, we can predict the step size with an accuracy of 20% (100 nm) for the prismatic joint of the manipulator, and 2% (1 ^rad) for the rotary joints of the manipulator

Managing African Portugal: The Citizen‐Migrant Distinction by Keisha Fikes

Peer Reviewedhttp://deepblue.lib.umich.edu/bitstream/2027.42/90036/1/j.1548-1425.2011.01358_1.x.pd

Occupying American “Black” Bodies and Reconfiguring European Spaces—The Possibilities for Noncitizen Articulations in Berlin and Beyond

Peer Reviewedhttp://deepblue.lib.umich.edu/bitstream/2027.42/97197/1/traa12006.pd

Populist nationalism in the age of Trump

This paper builds upon the arguments advanced by Johnson and Frombgen in “Race and the Emergence of Populist Nationalism in the United States” (2009). Johnson and Frombgen made three central arguments: that the US is two nations, not one; that racial attitudes are central to each national identity, and that social movements of a populist character have critically shaped each national identity. They then offered a typology of left and right national identities, each of which had been shaped by populist social movements. This paper seeks to revisit the two nations thesis in the era of Donald Trump on the right and Bernie Sanders on the left. Following Johnson and Frombgen, it employs the Gramscian theory of hegemony to analyse both populisms, the overarching nationalisms associated with them, and the place of race within each national identity. It goes on to examine the tensions within both traditional and progressive nationalism between the mainstream and populist hegemonic projects regarding the American nation. Thus, a typology revising Johnson and Frombgen’s is also offered

Non-Tenure-Track Faculty and Community Engagement: How the 2020 Carnegie Community Engagement Classification Application Can Encourage Campuses to Support Non-Tenure-Track Faculty and Their Community Engagement

In 2006, the Carnegie Foundation for the Advancement of Teaching developed an elective classification for community engagement for institutions of higher education. To receive the classification, campuses must complete an application and respond to questions by providing evidence that demonstrates a commitment to sustaining and increasing their community engagement efforts (Welch & Saltmarsh, 2013). Many of the application questions relate to policies and practices that affect faculty careers. For example, the 2015 Community Engagement Classification application asked institutions to describe relevant professional development opportunities and ways in which faculty community engagement is incentivized, recognized, and rewarded. These questions are important, as research has shown that faculty members are central to campus community engagement efforts (O’Meara, Sandmann, Saltmarsh, & Giles, 2011). Yet, the 2015 Community Engagement Classification application failed to capture the contributions of and supports for non-tenure-track faculty (NTTF), an ever-growing segment of the faculty population (Burgan, 2006; Hoeller, 2014). This is not surprising, as few institutions collect data about their NTTF or have adequate structures to support their careers (Kezar, 2012; New Faculty Majority [NFM], 2014). However, until the classification application requests this information, it is impossible to know what role NTTF play in the larger institutional commitment to community engagement. If the institutionalization of community engagement is heavily dependent upon faculty, then future advancement of community engagement will be increasingly dependent on NTTF as well. This paper seeks to answer two key questions. First, unless campuses facilitate and encourage the full participation of NTTF, can institutions truly maximize their community engagement potential? Second, if fair treatment of faculty is a form of community engagement in and of itself, do institutions that subject their NTTF to unfair wages and working conditions deserve the community engagement classification