University of Trento

About: University of Trento is a education organization based out in Trento, Italy. It is known for research contribution in the topics: Population & Context (language use). The organization has 10527 authors who have published 30978 publications receiving 896614 citations. The organization is also known as: Universitá degli Studi di Trento & Universita degli Studi di Trento.

Planning as Model Checking

Abstract: The goal of this paper is to provide an introduction, with various elements of novelty, to the Planning as Model Checking paradigm.

On the behavioral consequences of infrahumanization: the implicit role of uniquely human emotions in intergroup relations.

Abstract: Four experiments confirmed the hypothesis that people discriminate the out-group on the basis of the expression of uniquely human emotions. In Study 1, using a lost e-mail paradigm, the expression of a uniquely human emotion resulted in "nicer" replies when the sender was an in-group compared with an out-group member. The same pattern of results was obtained in Studies 2 and 3 using a conformity paradigm. In addition, perceived similarity was measured and proposed as a potential underlying mechanism (Study 3). Finally, using an approach-avoidance procedure, Study 4 showed that people not only deprive the out-group of positive consequences as in the former studies but that people also act against the out-group. The role of infrahumanization underlying prejudice and discrimination is discussed.

A goal-based framework for contextual requirements modeling and analysis

Abstract: Requirements engineering (RE) research often ignores or presumes a uniform nature of the context in which the system operates. This assumption is no longer valid in emerging computing paradigms, such as ambient, pervasive and ubiquitous computing, where it is essential to monitor and adapt to an inherently varying context. Besides influencing the software, context may influence stakeholders’ goals and their choices to meet them. In this paper, we propose a goal-oriented RE modeling and reasoning framework for systems operating in varying contexts. We introduce contextual goal models to relate goals and contexts; context analysis to refine contexts and identify ways to verify them; reasoning techniques to derive requirements reflecting the context and users priorities at runtime; and finally, design time reasoning techniques to derive requirements for a system to be developed at minimum cost and valid in all considered contexts. We illustrate and evaluate our approach through a case study about a museum-guide mobile information system.

Search for dark matter and large extra dimensions in monojet events in pp collisions at √s = 7 TeV

Abstract: A search has been made for events containing an energetic jet and an imbalance in transverse momentum using a data sample of pp collisions at a center-of-mass energy of 7 TeV. This signature is common to both dark matter and extra dimensions models. The data were collected by the CMS detector at the LHC and correspond to an integrated luminosity of 5.0 inverse femtobarns. The number of observed events is consistent with the standard model expectation. Constraints on the dark matter-nucleon scattering cross sections are determined for both spin-independent and spin-dependent interaction models. For the spin-independent model, these are the most constraining limits for a dark matter particle with mass below 3.5 GeV, a region unexplored by direct detection experiments. For the spin-dependent model, these are the most stringent constraints over the 0.1-200 GeV mass range. The constraints on the Arkani-Hamed, Dimopoulos, and Dvali model parameter MD determined as a function of the number of extra dimensions are also an improvement over the previous results.