Atomic transitions with orthogonal dipole moments can be made to interfere each other by the use of an anisotropic environment. Here we describe, provide, and apply a computational toolbox capable algorithmically designing three-dimensional photonic environments that enhance degree coherence in atomic $\mathrm{\ensuremath{\Lambda}}$ systems. Example optimization runs produce spiral-like structu...

Making formal verification a practicality in industrial environments is still difficult. The capacity of most verification tools is too small, their integration in a design process is difficult and the methodology that should guide their usage is unclear. This paper describes a step-by-step methodology which was developed for the practical application of formal verification. The methodology was...

This paper presents an approach to explore the coupling of User-Centred Design and Tropos methodologies. The two methodologies have been employed in a real project aiming at developing smart environment for nursing home to support medical and assistance staff. In particular Tropos has been used for modeling (and reason about) the domain and the system, whereas User-Centred Design has been usefu...

While a person’s internal state might not be easily inferred through an automatic computer system, within a group, people express themselves through their interaction with others. The group members’ interaction can be then helpful to understand, to certain extent, its members’ affective behavior in any case toward the task at hand. In this context, a Collaborative Virtual Environment for learni...

This article explores whether crowd-sourced human creativity within a gamified collaborative design framework can address the complexity of predictive environment design. is predicated on gamifying crowd objectives and presenting problems as puzzles. A usability study reveals that considered usable for task. Participants were asked to configure an puzzle reduce important metric, total egress ti...

A significant challenge in the design of capstone courses is relationship between process and product. As academics we argue that a strong process will result in a good product but instructors face little direction in the identification of a suitable process. A major issue is that of systematically incorporating prototypes into the software design and development lifecycle. In this paper we hav...