-
The Effect of Predictive Formal Modelling at Runtime on Performance in Human-Swarm Interaction
Authors:
Ayodeji O. Abioye,
William Hunt,
Yue Gu,
Eike Schneiders,
Mohammad Naiseh,
Joel E. Fischer,
Sarvapali D. Ramchurn,
Mohammad D. Soorati,
Blair Archibald,
Michele Sevegnani
Abstract:
Formal Modelling is often used as part of the design and testing process of software development to ensure that components operate within suitable bounds even in unexpected circumstances. In this paper, we use predictive formal modelling (PFM) at runtime in a human-swarm mission and show that this integration can be used to improve the performance of human-swarm teams. We recruited 60 participants…
▽ More
Formal Modelling is often used as part of the design and testing process of software development to ensure that components operate within suitable bounds even in unexpected circumstances. In this paper, we use predictive formal modelling (PFM) at runtime in a human-swarm mission and show that this integration can be used to improve the performance of human-swarm teams. We recruited 60 participants to operate a simulated aerial swarm to deliver parcels to target locations. In the PFM condition, operators were informed of the estimated completion times given the number of drones deployed, whereas in the No-PFM condition, operators did not have this information. The operators could control the mission by adding or removing drones from the mission and thereby, increasing or decreasing the overall mission cost. The evaluation of human-swarm performance relied on four key metrics: the time taken to complete tasks, the number of agents involved, the total number of tasks accomplished, and the overall cost associated with the human-swarm task. Our results show that PFM modelling at runtime improves mission performance without significantly affecting the operator's workload or the system's usability.
△ Less
Submitted 22 January, 2024;
originally announced January 2024.
-
Working with Trouble and Failures in Conversation between Humans and Robots (WTF 2023) & Is CUI Design Ready Yet?
Authors:
Frank Förster,
Marta Romeo,
Patrick Holthaus,
Maria Jose Galvez Trigo,
Joel E. Fischer,
Birthe Nesset,
Christian Dondrup,
Christine Murad,
Cosmin Munteanu,
Benjamin R. Cowan,
Leigh Clark,
Martin Porcheron,
Heloisa Candello,
Raina Langevin
Abstract:
Workshop proceedings of two co-located workshops "Working with Troubles and Failures in Conversation with Humans and Robots" (WTF 2023) and "Is CUI Design Ready Yet?", both of which were part of the ACM conference on conversational user interfaces 2023.
WTF 23 aimed at bringing together researchers from human-robot interaction, dialogue systems, human-computer interaction, and conversation analy…
▽ More
Workshop proceedings of two co-located workshops "Working with Troubles and Failures in Conversation with Humans and Robots" (WTF 2023) and "Is CUI Design Ready Yet?", both of which were part of the ACM conference on conversational user interfaces 2023.
WTF 23 aimed at bringing together researchers from human-robot interaction, dialogue systems, human-computer interaction, and conversation analysis. Despite all progress, robotic speech interfaces continue to be brittle in a number of ways and the experience of failure of such interfaces is commonplace amongst roboticists. However, the technical literature is positively skewed toward their good performance. The workshop aims to provide a platform for discussing communicative troubles and failures in human-robot interactions and related failures in non-robotic speech interfaces. Aims include a scrupulous investigation into communicative failures, to begin working on a taxonomy of such failures, and enable a preliminary discussion on possible mitigating strategies. Workshop website: https://sites.google.com/view/wtf2023/overview
Is CUI Design Ready Yet? As CUIs become more prevalent in both academic research and the commercial market, it becomes more essential to design usable and adoptable CUIs. While research has been growing on the methods for designing CUIs for commercial use, there has been little discussion on the overall community practice of developing design resources to aid in practical CUI design. The aim of this workshop, therefore, is to bring the CUI community together to discuss the current practices for developing tools and resources for practical CUI design, the adoption (or non-adoption) of these tools and resources, and how these resources are utilized in the training and education of new CUI designers entering the field. Workshop website: https://speech-interaction.org/cui2023_design_workshop/index.html
△ Less
Submitted 4 September, 2023;
originally announced January 2024.
-
Visions, Values, and Videos: Revisiting Envisionings in Service of UbiComp Design for the Home
Authors:
Tommy Nilsson,
Joel E. Fischer,
Andy Crabtree,
Murray Goulden,
Jocelyn Spence,
Enrico Costanza
Abstract:
UbiComp has been envisioned to bring about a future dominated by calm computing technologies making our everyday lives ever more convenient. Yet the same vision has also attracted criticism for encouraging a solitary and passive lifestyle. The aim of this paper is to explore and elaborate these tensions further by examining the human values surrounding future domestic UbiComp solutions. Drawing on…
▽ More
UbiComp has been envisioned to bring about a future dominated by calm computing technologies making our everyday lives ever more convenient. Yet the same vision has also attracted criticism for encouraging a solitary and passive lifestyle. The aim of this paper is to explore and elaborate these tensions further by examining the human values surrounding future domestic UbiComp solutions. Drawing on envisioning and contravisioning, we probe members of the public (N=28) through the presentation and focus group discussion of two contrasting animated video scenarios, where one is inspired by "calm" and the other by "engaging" visions of future UbiComp technology. By analysing the reasoning of our participants, we identify and elaborate a number of relevant values involved in balancing the two perspectives. In conclusion, we articulate practically applicable takeaways in the form of a set of key design questions and challenges.
△ Less
Submitted 20 May, 2020; v1 submitted 16 May, 2020;
originally announced May 2020.
-
Pressure tuning of the anomalous Hall effect in the chiral antiferromagnet Mn3Ge
Authors:
R. D. dos Reis,
M. Ghorbani Zavareh,
M. O. Ajeesh,
L. O. Kutelak,
A. S. Sukhanov,
Sanjay Singh,
J. Noky,
Y. Sun,
J. E. Fischer,
K. Manna,
C. Felser,
M. Nicklas
Abstract:
We report on the pressure evolution of the giant anomalous Hall effect (AHE) in the chiral antiferromagnet Mn$_3$Ge. The AHE originating from the non-vanishing Berry curvature in Mn$_3$Ge can be continuously tuned by application of hydrostatic pressure. At room temperature, the Hall signal changes sign as a function of pressure and vanishes completely at $p=1.53$ GPa. Even though the Hall conducti…
▽ More
We report on the pressure evolution of the giant anomalous Hall effect (AHE) in the chiral antiferromagnet Mn$_3$Ge. The AHE originating from the non-vanishing Berry curvature in Mn$_3$Ge can be continuously tuned by application of hydrostatic pressure. At room temperature, the Hall signal changes sign as a function of pressure and vanishes completely at $p=1.53$ GPa. Even though the Hall conductivity changes sign upon increasing pressure, the room-temperature saturation value of 23 ${\rm Ω^{-1}cm^{-1}}$ at 2.85 GPa is remarkably high and comparable to the saturation value at ambient pressure of about 40 ${\rm Ω^{-1}cm^{-1}}$. The change in the Hall conductivity can be directly linked to a gradual change of the size of the in-plane components of the Mn moments in the non-collinear triangular magnetic structure. Our findings, therefore, provide a route for tuning of the AHE in the chiral antiferromagnetic Mn$_3$Ge.
△ Less
Submitted 11 May, 2020;
originally announced May 2020.
-
Finding Design Opportunities for Smartness in Consumer Packaged Goods
Authors:
Gustavo Berumen,
Joel E. Fischer,
Anthony Brown,
Martin Baumers
Abstract:
This study attempts to understand the use of Consumer Packaged Goods (CPG) in practice to obtain insights to develop design interventions that bring the CPGs into the Internet of Things. Our ultimate aim is to equip CPGs with a layer of smartness so that CPGs could collect information about their use and provide extra services and functionalities. With a practice perspective we developed an assemb…
▽ More
This study attempts to understand the use of Consumer Packaged Goods (CPG) in practice to obtain insights to develop design interventions that bring the CPGs into the Internet of Things. Our ultimate aim is to equip CPGs with a layer of smartness so that CPGs could collect information about their use and provide extra services and functionalities. With a practice perspective we developed an assemblage of methods to analyze and represent how people use CPGs. We chose cooking as our practice case and use an auto-ethnographic data sample to demonstrate the application of our methods. Despite the early stage of our study, our methods provide ways to get an understanding of how CPGs are used in practice and an opening to establish opportunities for design interventions.
△ Less
Submitted 17 June, 2019;
originally announced September 2019.
-
Designing with Data: A Case Study
Authors:
Teresa Castle-Green,
Stuart Reeves,
Joel E. Fischer,
Boriana Koleva
Abstract:
As the Internet of Things continues to take hold in the commercial world, the teams designing these new technologies are constantly evolving and turning their hand to uncharted territory. This is especially key within the field of secondary service design as businesses attempt to utilize and find value in the sensor data being produced by connected products. This paper discusses the ways in which…
▽ More
As the Internet of Things continues to take hold in the commercial world, the teams designing these new technologies are constantly evolving and turning their hand to uncharted territory. This is especially key within the field of secondary service design as businesses attempt to utilize and find value in the sensor data being produced by connected products. This paper discusses the ways in which a commercial design team use smart thermostat data to prototype an advice-giving chatbot. The team collaborate to produce a chat sequence through careful ordering of data & reasoning about customer reactions. The paper contributes important insights into design methods being used in practice within the under researched areas of chatbot prototyping and secondary service design.
△ Less
Submitted 30 August, 2019;
originally announced August 2019.
-
Magnetic properties and Curie temperatures of disordered Heusler compounds: Co(1+x)Fe(2-x)Si
Authors:
Julia Erika Fischer,
Julie Karel,
Simone Fabbrici,
Peter Adler,
Siham Ouardi,
Gerhard H. Fecher,
Franca Albertini,
Claudia Felser
Abstract:
The local atomic environments and magnetic properties were investigated for a series of Co(1+x)Fe(2-x)Si (0<x<1) Heusler compounds. While the total magnetic moment in these compounds increases with the number of valance electrons, the highest Curie temperature (Tc) in this series was found for Co1.5Fe1.5Si, with a Tc of 1069 K (24 K higher than the well known Co2FeSi). 57Fe Mössbauer spectroscopy…
▽ More
The local atomic environments and magnetic properties were investigated for a series of Co(1+x)Fe(2-x)Si (0<x<1) Heusler compounds. While the total magnetic moment in these compounds increases with the number of valance electrons, the highest Curie temperature (Tc) in this series was found for Co1.5Fe1.5Si, with a Tc of 1069 K (24 K higher than the well known Co2FeSi). 57Fe Mössbauer spectroscopy was used to characterize the local atomic order and to estimate the Co and Fe magnetic moments. Consideration of the local magnetic moments and the exchange integrals is necessary to understand the trend in Tc.
△ Less
Submitted 21 April, 2016;
originally announced April 2016.
-
Carbon nanotube composites for thermal management
Authors:
M. J. Biercuk,
M. C. Llaguno,
M. Radosavljevic,
J. K. Hyun,
J. E. Fischer,
A. T. Johnson
Abstract:
Single-wall carbon nanotubes (SWNTs) were used to augment the thermal transport properties of industrial epoxy. Samples loaded with 1 wt% unpurified SWNT material show a 70% increase in thermal conductivity at 40K, rising to 125% at room temperature; the enhancement due to 1 wt% loading of vapor grown carbon fibers is three times smaller. Electrical conductivity data show a percolation threshold…
▽ More
Single-wall carbon nanotubes (SWNTs) were used to augment the thermal transport properties of industrial epoxy. Samples loaded with 1 wt% unpurified SWNT material show a 70% increase in thermal conductivity at 40K, rising to 125% at room temperature; the enhancement due to 1 wt% loading of vapor grown carbon fibers is three times smaller. Electrical conductivity data show a percolation threshold between 0.1 and 0.2 wt% SWNT loading. The Vickers hardness rises monotonically with SWNT loading up to a factor of 3.5 at 2 wt%. These results suggest that the thermal and mechanical properties of SWNT-epoxy composites are improved, without the need to chemically functionalize the nanotubes.
△ Less
Submitted 20 May, 2002;
originally announced May 2002.
-
Ordered low-temperature structure in K4C60 detected by infrared spectroscopy
Authors:
K. Kamaras,
G. Klupp,
D. B. Tanner,
A. F. Hebard,
N. M. Nemes,
J. E. Fischer
Abstract:
Infrared spectra of a K4C60 single-phase thin film have been measured between room temperature and 20 K. At low temperatures, the two high-frequency T1u modes appear as triplets, indicating a static D2h crystal-field stabilized Jahn-Teller distortion of the (C60)4- anions. The T1u(4) mode changes into the known doublet above 250 K, a pattern which could have three origins: a dynamic Jahn-Teller…
▽ More
Infrared spectra of a K4C60 single-phase thin film have been measured between room temperature and 20 K. At low temperatures, the two high-frequency T1u modes appear as triplets, indicating a static D2h crystal-field stabilized Jahn-Teller distortion of the (C60)4- anions. The T1u(4) mode changes into the known doublet above 250 K, a pattern which could have three origins: a dynamic Jahn-Teller effect, static disorder between "staggered" anions, or a phase transition from an orientationally-ordered phase to one where molecular motion is significant.
△ Less
Submitted 16 October, 2001;
originally announced October 2001.
-
Thermal Conductivity of Single Wall Carbon Nanotubes: Diameter and Annealing Dependence
Authors:
M. C. Llaguno,
J. Hone,
A. T. Johnson,
J. E. Fischer
Abstract:
The thermal conductivity, k(T), of bulk single-wall carbon nanotubes (SWNT's) displays a linear temperature dependence at low T that has been attributed to 1D quantization of phonons. To explore this issue further, we have measured the k(T) of samples with varying average tube diameters. We observe linear k(T) up to higher temperatures in samples with smaller diameters, in agreement with a quant…
▽ More
The thermal conductivity, k(T), of bulk single-wall carbon nanotubes (SWNT's) displays a linear temperature dependence at low T that has been attributed to 1D quantization of phonons. To explore this issue further, we have measured the k(T) of samples with varying average tube diameters. We observe linear k(T) up to higher temperatures in samples with smaller diameters, in agreement with a quantization picture. In addition, we have examined the effect of annealing on k(T). We observe an enhancement in k(T) for annealed samples which we attribute to healing of defects and removal of impurities. These measurements demonstrate how the thermal properties of an SWNT material can be controlled by manipulating its intrinsic nanoscale properties.
△ Less
Submitted 9 August, 2001; v1 submitted 8 August, 2001;
originally announced August 2001.
-
Quantized phonon specrum of single-wall carbon nanotubes
Authors:
J. Hone,
B. Batlogg,
Z. Benes,
A. T. Johnson,
J. E. Fischer
Abstract:
The electronic spectra of carbon nanotubes and other nanoscale systems are quantized because of their small radii. Similar quantization in the phonon spectra has been difficult to observe because of the far smaller energy scale. We probed this regime by measuring the temperature-dependent specific heat of purified single-wall nanotubes. Thee data show direct evidence of one-dimensional quanitize…
▽ More
The electronic spectra of carbon nanotubes and other nanoscale systems are quantized because of their small radii. Similar quantization in the phonon spectra has been difficult to observe because of the far smaller energy scale. We probed this regime by measuring the temperature-dependent specific heat of purified single-wall nanotubes. Thee data show direct evidence of one-dimensional quanitized phonon subbands. Above 4 K, they are in excellent agreement with model calculations of individual nanotubes and differ markedly from the specific heat of two-dimensional graphene or three-dimensional graphite. Detailed modeling yields an energy of 4.3 meV for the lowest quantized phonon subband and a tube-tube (or "lattice") Debye energy of 1.1 meV, implying a small intertube coupling in bundles.
△ Less
Submitted 20 November, 2000;
originally announced November 2000.
-
Temperature Dependent Resistivity of Single Wall Carbon Nanotubes
Authors:
C. L. Kane,
E. J. Mele,
R. S. Lee,
J. E. Fischer,
P. Petit,
H. Dai,
A. Thess,
R. E. Smalley,
A. R. M. Verschueren,
S. J. Tans,
C. Dekker
Abstract:
Nonchiral single wall carbon nanotubes with an "armchair" wrapping are theoretically predicted to be conducting, and high purity samples consisting predominantly of these tubes exhibit metallic behavior with an intrinsic resistivity which increases approximately linearly with temperature over a wide temperature range. Here we study the coupling of the conduction electrons to long wavelength tors…
▽ More
Nonchiral single wall carbon nanotubes with an "armchair" wrapping are theoretically predicted to be conducting, and high purity samples consisting predominantly of these tubes exhibit metallic behavior with an intrinsic resistivity which increases approximately linearly with temperature over a wide temperature range. Here we study the coupling of the conduction electrons to long wavelength torsional shape fluctuations, or twistons. A one dimensional theory of the scattering of electrons by twistons is presented which predicts an intrinsic resistivity proportional to the absolute temperature. Experimental measurements of the temperature dependence of the resistivity are reported and compared with the predictions of the twiston theory.
△ Less
Submitted 14 April, 1997;
originally announced April 1997.