<Emphasis Type="Italic">A Midsummer Night’s Dream</Emphasis> (with flying robots)

Seven flying robot “fairies” joined human actors in the Texas A&;M production of William Shakespeare’s A Midsummer Night’s Dream. The production was a collaboration between the departments of Computer Science and Engineering, Electrical and Computer Engineering, and Theater Arts. The collaboration was motivated by two assertions. First, that the performing arts have principles for creating believable agents that will transfer to robots. Second, the theater is a natural testbed for evaluating the response of untrained human groups (both actors and the audience) to robots interacting with humans in shared spaces, i.e., were believable agents created? The production used two types of unmanned aerial vehicles, an AirRobot 100-b quadrotor platform about the size of a large pizza pan, and six E-flite Blade MCX palm-sized toy helicopters. The robots were used as alter egos for fairies in the play; the robots did not replace any actors, instead they were paired with them. The insertion of robots into the production was not widely advertised so the audience was the typical theatergoing demographic, not one consisting of people solely interested technology. The use of radio-controlled unmanned aerial vehicles provides insights into what types of autonomy are needed to create appropriate affective interactions with untrained human groups. The observations from the four weeks of practice and eight performances contribute (1) a taxonomy and methods for creating affect exchanges between robots and untrained human groups, (2) the importance of improvisation within robot theater, (3) insights into how untrained human groups form expectations about robots, and (4) awareness of the importance of safety and reliability as a design constraint for public engagement with robot platforms. The taxonomy captures that apparent affect can be created without explicit affective behaviors by the robot, but requires talented actors to convey the situation or express reactions. The audience’s response to robot crashes was a function of whether they had the opportunity to observe how the actors reacted to robot crashes on stage, suggesting that pre-existing expectations must be taken into account in the design of autonomy. Furthermore, it appears that the public expect robots to be more reliable (an expectation of consumer product hardening) and safe (an expectation from product liability) than the current capabilities and this may be a major challenge or even legal barrier for introducing robots into shared public spaces. These contributions are expected to inform design strategies for increasing public engagement with robot platforms through affect, and shows the value of arts-based approaches to public encounters with robots both for generating design strategies and for evaluation.     

Eliciting Preferences on Multiattribute Societies with a Choquet Integral

This paper reexamines the construction of indicators of standards of living, by focussing on the challenges raised by the subjectivity and the multidimensionality of living conditions. For that purpose, we apply Choquet integral-based multiattribute value theory to the elicitation, from rankings of multiattribute hypothetical societies, of individual preferences on different dimensions of living conditions. A simple application of the proposed approach highlights that preferences on multiattribute societies cannot, in general, be represented by an additive value model, as there exist complementarities and redundancies between different dimensions of standards of living. Our elicitation exercise reveals also a strong heterogeneity of individual preferences on hypothetical societies. Finally, we explore how elicited preferences can be used to cast a new light on the ranking of actual societies.     

Deriving industrial logistics hub reference models for manufacturing based economies

Global enterprises require extended logistics operations that integrate channel intermediaries into the network. The method for deriving integrated models for logistics hubs that improve the efficiency of manufacturers’ global operations is the focus of this paper. Under government sponsorship, six industrial logistics hubs were implemented by leading manufacturing sectors across Taiwan over a five year period from 2004 until 2008. Each industry sector had unique industry characteristics, business strategies, and logistics models. Therefore, this paper describes how generalized and quick to implement integrated logistics hubs are developed by studying the successful reference models and systems used by six independent industrial sectors. The research results provide a field tested method for deriving integrated logistics hub models in different manufacturing economies with notes that provide sufficient methodological detail for repeating the construction of logistics hubs in other manufacturing economies.     

A computer-enabled solution procedure for food wholesalers’ distribution decision in cities with a circular transportation infrastructure

This paper addresses the food distribution decision from a wholesaler's perspective, as the wholesalers are often faced with thorny issues such as when, where, how to deliver products at the lowest costs to best satisfy the retailers’ changing needs. This research relies on a distribution problem encountered at Northern Grocery Company in Beijing as an example to develop a two-stage solution procedure and subsequent computer-enabled programs for identifying efficient vehicle routing alternatives. The solution process, which integrates heuristic search algorithms and an integer programming model, can be applied to a wide range of distribution problems with specified route durations and a circular transportation network structure as exemplified by City of Beijing.     

Google Wave: Have CTSA-Minded Institutions Caught It?

BACKGROUND: Google Wave was touted as the next big communication tool-combining e-mail, social networking, and chat within a single "wave"-with the potential to create a new world for collaboration. Information professionals who are knowledgeable of this tool and its capabilities could become uniquely situated to use it, evaluate it, and teach it. This seemed especially true for those working within Clinical and Translational Science Award (CTSA)-minded institutions, given the promise of interdisciplinary collaboration between investigators and the potential for creating new authorship models. This case study on Google Wave users who are affiliated with CTSA-minded institutions, was designed for and presented at the Evidence-Based Scholarly Communication Conference held by the University of New Mexico Health Sciences Library and Information Center. It provides an early evidence based evaluation of Google Wave's potential. METHODS: Two "waves" were created. The first consisted of five survey questions designed to collect demographic data on the respondents' roles, a general impression of Wave, the specific tools within Wave that might be useful, and potential collaborators with whom the respondents might use Wave. The second wave was a private, guided discussion on Wave's collaboration potential. Individuals from CTSA-minded institutions were invited to participate with messages on Twitter, forums, blogs, and electronic mail lists, although there were difficulties reaching out to these institutions as a group. RESULTS: By the conclusion of the study, only a small number of people (n=11, with a viable n=9) had responded to the survey. Given this small result set, it made sense to group the responses by the respondents' roles (CTSA staff and researchers, support staff, medical librarian, or general public) and to treat them as individual cases. Most of the respondents were librarians and support staff who felt that Wave might have potential for collaboration; there were no CTSA researcher respondents. For the second part of the study, the discussion wave, only one participant explicitly expressed interest in joining. All were invited to join, but there was no participation in the discussion wave at the conclusion of the study. CONCLUSIONS: The results of this study implied that Google Wave was not on the forefront of CTSA-minded institutions' communication strategies. However, it was being used, and it did demonstrate new collaboration and authorship capabilities. Being generally aware of these capabilities may be useful to information professionals who seek to be current and informed regarding developing technology and to those interested in scholarly communication practices. In addition, the difficulties encountered during this case study in attempting to reach out to CTSA-minded institutions raised the question of how members currently communicate with each other as institutions and as individuals. There was a lesson learned in the usefulness of doing case-study research to evaluate new technologies; the cost in terms of time was relatively low, and knowledge about the technology itself was gained while establishing a base level of evidence to potentially build on in the future.     

Programs That Test Themselves

The AutoTest framework automates the software testing process by relying on programs that contain the instruments of their own verification, in the form of contract-oriented specifications of classes and their individual routines.     

Integration of MODIS-derived metrics to assess interannual variability in snowpack, lake ice, and NDVI in southwest Alaska

Impacts of global climate change are expected to result in greater variation in the seasonality of snowpack, lake ice, and vegetation dynamics in southwest Alaska. All have wide-reaching physical and biological ecosystem effects in the region. We used Moderate Resolution Imaging Spectroradiometer (MODIS) calibrated radiance, snow cover extent, and vegetation index products for interpreting interannual variation in the duration and extent of snowpack, lake ice, and vegetation dynamics for southwest Alaska. The approach integrates multiple seasonal metrics across large ecological regions.Throughout the observation period (2001-2007), snow cover duration was stable within ecoregions, with variable start and end dates. The start of the lake ice season lagged the snow season by 2 to 3 months. Within a given lake, freeze-up dates varied in timing and duration, while break-up dates were more consistent. Vegetation phenology varied less than snow and ice metrics, with start-of-season dates comparatively consistent across years. The start of growing season and snow melt were related to one another as they are both temperature dependent. Higher than average temperatures during the El Niño winter of 2002-2003 were expressed in anomalous ice and snow season patterns. We are developing a consistent, MODIS-based dataset that will be used to monitor temporal trends of each of these seasonal metrics and to map areas of change for the study area.     

Semisimple algebras of almost minimal rank over the reals

A famous lower bound for the bilinear complexity of the multiplication in associative algebras is the Alder–Strassen bound. Algebras for which this bound is tight are called algebras of minimal rank. After 25 years of research, these algebras are now well understood. Here we start the investigation of the algebras for which the Alder–Strassen bound is off by one. As a first result, we completely characterize the semisimple algebras over R$\mathbb{R}$ whose bilinear complexity is by one larger than the Alder–Strassen bound. Furthermore, we characterize all algebras A$A$ (with radical) of minimal rank plus one over R$\mathbb{R}$ for which A/radA$A/radA$ has minimal rank plus one. The other possibility is that A/radA$A/radA$ has minimal rank. For this case, we only present a partial result.     

The effect of the microfluidic diodicity on the efficiency of valve-less rectification micropumps using Lattice Boltzmann Method

The efficiency of the valve-less rectification micropump depends primarily on the microfluidic diodicity (the ratio of the backward pressure drop to the forward pressure drop). In this study, different rectifying structures, including the conventional structures (nozzle/diffuser and Tesla structures), were investigated at very low Reynolds numbers (between 0.2 and 60). The rectifying structures were characterized with respect to their design, and a numerical approach was illustrated to calculate the diodicity for the rectifying structures. In this study, the microfluidic diodicity was evaluated numerically for different rectifying structures including half circle, semicircle, heart, triangle, bifurcation, nozzle/diffuser, and Tesla structures. The Lattice Boltzmann Method (LBM) was utilized as a numerical method to simulate the fluid flow in the microscale. The results suggest that at very low Reynolds number flow, rectification and multifunction micropumping may be achievable by using a number of the presented structures. The results for the conventional structures agree with the reported results.     

Model checking communicative agent-based systems

Model checking is a formal technique used to verify communication protocols against given properties. In this paper, we propose a new model checking algorithm aims at verifying systems designed as a set of autonomous interacting agents. These software agents are equipped with knowledge and beliefs and interact with each other according to protocols governed by a set of logical rules. We present a tableauased version of this algorithm and provide the soundness, completeness, termination and complexity results. A case study about an agent-based negotiation protocol and its implementation are also described.