Cookies
O website necessita de alguns cookies e outros recursos semelhantes para funcionar. Caso o permita, o INESC TEC irá utilizar cookies para recolher dados sobre as suas visitas, contribuindo, assim, para estatísticas agregadas que permitem melhorar o nosso serviço. Ver mais
Aceitar Rejeitar
  • Menu
Publicações

2013

Extracting Behavioural Patterns from a Negotiation Game

Autores
Gomes, M; Oliveira, T; Carneiro, D; Novais, P; Neves, J;

Publicação
PAAMS (Workshops)

Abstract
The work presented focuses not only on the behavioural patterns that influence the outcome of a negotiation, but also on the discovery of ways to predict the type of conflict used in the process and the stress levels of the actors. After setting up an experimental intelligent environment provided with sensors to capture behavioural and contextual information, a set of relevant data was collected and analysed, with the underlying objective of using the behavioural patterns (obtained by statistical/probabilistic methods) as a basis to design and present plans and suggestions to the associated participants. In sooth, these proposals may influence in a positive way the course and outcome of a negotiation task in many aspects. This work highlights the importance of knowledge in negotiation, as in other social forms of interaction, providing also some new insights for informed decision support in situations in which uncertainty and conflict may be present. © Springer-Verlag Berlin Heidelberg 2013.

2013

Factor Structure and Reliability of the Depression, Anxiety and Stress Scales in a Large Portuguese Community Sample

Autores
Vasconcelos Raposo, J; Fernandes, HM; Teixeira, CM;

Publicação
SPANISH JOURNAL OF PSYCHOLOGY

Abstract
The purpose of the present study was to assess the factor structure and reliability of the Depression, Anxiety and Stress Scales (DASS-21) in a large Portuguese community sample. Participants were 1020 adults (585 women and 435 men), with a mean age of 36.74 (SD = 11.90) years. All scales revealed good reliability, with Cronbach's alpha values between .80 (anxiety) and .84 (depression). The internal consistency of the total score was .92. Confirmatory factor analysis revealed that the best-fitting model (*CFI = .940, *RMSEA = .038) consisted of a latent component of general psychological distress (or negative affectivity) plus orthogonal depression, anxiety and stress factors. The Portuguese version of the DASS-21 showed good psychometric properties (factorial validity and reliability) and thus can be used as a reliable and valid instrument for measuring depression, anxiety and stress symptoms.

2013

Automatic Generation and Delivery of Multiple-Choice Math Quizzes

Autores
Tomás, AP; Leal, JP;

Publicação
PRINCIPLES AND PRACTICE OF CONSTRAINT PROGRAMMING, CP 2013

Abstract
We present an application of constraint logic programming to create multiple-choice questions for math quizzes. Constraints are used for the configuration of the generator, giving the user some flexibility to customize the forms of the expressions arising in the exercises. Constraints are also used to control the application of the buggy rules in the derivation of plausible wrong solutions to the quiz questions. We developed a prototype based on the core system of AGILMAT [18]. For delivering math quizzes to students, we used an automatic evaluation feature of Mooshak [8] that was improved to handle math expressions. The communication between the two systems - AgilmatQuiz and Mooshak - relies on a specially designed LATEX based quiz format. This tool is being used at our institution to create quizzes to support assessment in a PreCalculus course for first year undergraduate students.

2013

New insights on integer-programming models for the kidney exchange problem

Autores
Constantino, M; Klimentova, X; Viana, A; Rais, A;

Publicação
EUROPEAN JOURNAL OF OPERATIONAL RESEARCH

Abstract
In recent years several countries have set up policies that allow exchange of kidneys between two or more incompatible patient-donor pairs. These policies lead to what is commonly known as kidney exchange programs. The underlying optimization problems can be formulated as integer programming models. Previously proposed models for kidney exchange programs have exponential numbers of constraints or variables, which makes them fairly difficult to solve when the problem size is large. In this work we propose two compact formulations for the problem, explain how these formulations can be adapted to address some problem variants, and provide results on the dominance of some models over others. Finally we present a systematic comparison between our models and two previously proposed ones via thorough computational analysis. Results show that compact formulations have advantages over non-compact ones when the problem size is large.

2013

A swimmer`s classsification system based in kinematics, anthropometrics and hydrodynamics

Autores
Barbosa, Tiago M.; Morais, J.E.; Gonçalves, José; Marinho, D.A.; Silva, A.J.;

Publicação
XV Brazilian Congress of Biomechanics

Abstract
The aim of this paper was to identify active drag determinants and classify swimmers based on such features. 67 young swimmers made a maximal 25m Front-Crawl to measure with a speedo-meter the swimming velocity (v), speed-fluctuation (dv) and dv normalized to v (dv/v). Another two 25m bouts with and without a perturbation device were made to estimate active drag coefficient (CDa). Trunk transverse surface area (S) was measured with photogrammetric technique on-land and in the hydrodynamic position. Cluster 1 was related to swimmers with a high speed fluctuation (i.e., dv and dv/v). Cluster 2 was characterized by the anthropometrics (i.e., S). Cluster 3 was associated with the high hydrodynamic profile (i.e.,CDa). The variable that seems to discriminate better the clusters was the dv/v (F=53.680; P<0.001), followed by the dv (F=28.506; P<0.001), CDa (F=21.025; P<0.001), S (F=6.297; P<0.01) and v (F=5.375; P=0.01). Stepwise discriminant analysis extracted 2 functions. Function 1 was mainly defined by dv/v and S (74.3% of variance), while Function 2 was mainly defined by CDa (25.7% of variance). So, it can be concluded that kinematics, anthropometrics and hydrodynamic features are determinant domains to classify and characterize swimmers’ profiles.

2013

Search for Light Dark Matter in XENON10 Data (vol 107, 051301, 2011)

Autores
Angle, J; Aprile, E; Arneodo, F; Baudis, L; Bernstein, A; Bolozdynya, AI; Coelho, LCC; Dahl, CE; Deviveiros, L; Ferella, AD; Fernandes, LMP; Fiorucci, S; Gaitskell, RJ; Giboni, KL; Gomez, R; Hasty, R; Kastens, L; Kwong, J; Lopes, JAM; Madden, N; Manalaysay, A; Manzur, A; McKinsey, DN; Monzani, ME; Ni, K; Oberlack, U; Orboeck, J; Plante, G; Santorelli, R; Dos Santos, JMF; Schulte, S; Shagin, P; Shutt, T; Sorensen, P; Winant, C; Yamashita, M;

Publicação
PHYSICAL REVIEW LETTERS

Abstract

  • 3151
  • 4363