We present an institution for UML state machines without hierarchical states. The interaction with UML class diagrams is handled via institutions for guards and actions, which provide dynamic components of states (such as valuations of attributes) but abstract away from details of class diagrams. We also study a notion of interleaving product, which captures the interaction of several state mac...

The cyclic variation in the energy envelope of the speech signal results from the production of speech in syllables. This acoustic property is often identified as a source of information in the perception of syllable attributes, though spectral variation can also provide this information reliably. In the present study of the relative contributions of the energy and spectral envelopes in speech ...

We propose a method, called PREDIQT, for model based prediction of impact of architecture design changes on system quality. PREDIQT supports simultaneous analysis of several quality attributes and their trade-offs. This paper argues for the feasibility of the PREDIQT method based on a comprehensive industrial case study targeting a system for managing validation of electronic certificates and s...

We study transport of indirect excitons in GaAs/AlGaAs coupled quantum wells in linear lattices created by laterally modulated gate voltage. The localization-delocalization transition for transport across the lattice was observed with reducing lattice amplitude or increasing exciton density. The exciton interaction energy at the transition is close to the lattice amplitude. These results are co...

Multitouch workstations support direct-touch, bimanual, and multifinger interaction. Previous studies have separately examined the benefits of these three interaction attributes over mouse-based interactions. In contrast, we present an empirical user study that considers these three interaction attributes together for a single task, such that we can quantify and compare the performances of each...

Recent studies on electronic communication records have shown that human communication has complex temporal structure. We study how communication patterns that involve multiple individuals are affected by attributes such as sex and age. To this end, we represent the communication records as a colored temporal network where node color is used to represent individuals' attributes, and identify pa...

The aim of this study was to determine the best interaction between roasting time and temperature peaberry beans from cherry fruits combined with three different degrees roast in order archive results for sensorial attributes as well verify changes physical parameters. curves showed similarity profiles, indicating proper conduction process. According ways roasting, significant differences at 5%...

We are living in an ever more connected world, where data recording the interactions between people, software systems, and the physical world is becoming increasingly prevalent. This data often takes the form of a temporally evolving graph, where entities are the vertices and the interactions between them are the edges. We call such graphs interaction graphs. Various application domains, includ...

In this paper we propose a methodology to measure the characteristics and composition of intermediate products using productivity indicators based on directional distance functions. We evaluate how quality attributes interact with the quantity level in grapes production, and find evidence of a trade-off between quantity and aggregate quality for Chardonnay. ∗Dipartimento di Scienze Economiche —...