Adaptação de uma escala de avaliação do engagement no trabalho do professor (UWES)

Este estudo avalia as dimensões do engagement que os professores utilizam para lidar com o seu trabalho docente. Para a avaliação das dimensões utilizou-se a Utrecht Work Engagement Scale (UWES) elaborada por Schaufeli e Bakker (2003), distinguindo-se as variáveis vigor, dedicação e absorção. Os resultados obtidos nesta investigação (N=54) coincidem com estudos anteriores quanto à consistência interna das três subescalas, que é estável e satisfatória. Revelam também que a UWES apresenta-se como um instrumento válido e adequado para ser utilizado em investigações futuras.

Predicting and breaking sedentary behaviour at work

This thesis aimed at designing and developing a system that can a) infer individuals’ need for a break from sedentary behaviour in the workplace, and b) persuade them to take a break through the use of different techniques from persuasive psychology. We postulated three variables, namely, individuals’ posture, stress levels and involvement in their computer mediated activity. We developed and field-studied a system that could infer these using a web camera and a key presses and mouse clicks log. We found that the system could predict posture from viewing depth and stress from the movement detected. We then created a general formula that predicts individuals’ need for a break using only the posture and stress predictors. Once the first objective was set, we built and field-studied a system that used three ways to communicate a recommendation for a break to a user: implicit, just-in time and ambient feedback. The implicit feedback was operationalized through changes in the users’ computer wallpaper that provided subtle visual cues. The just-in time feedback employed prompting at the bottom right side of the user’s screen. In addition, we implemented an intuitive behind-screen interaction technique where people can snooze a notification using simple gestures. The ambient feedback mechanism employed an origami sculpture sitting on the user’s desk. This prototype was continuously reflecting the user’s posture and performed rhythmic movements when to recommend breaks. A field study demonstrated the overall success of the system, with 69% of the break recommendations received by users were accepted. The study further revealed the strengths and weaknesses of the three persuasive mechanisms.

Graphical constraints: a graphical user interface for constraint problems

A constraint satisfaction problem is a classical artificial intelligence paradigm characterized by a set of variables (each variable with an associated domain of possible values), and a set of constraints that specify relations among subsets of these variables. Solutions are assignments of values to all variables that satisfy all the constraints. Many real world problems may be modelled by means of constraints. The range of problems that can use this representation is very diverse and embraces areas like resource allocation, scheduling, timetabling or vehicle routing. Constraint programming is a form of declarative programming in the sense that instead of specifying a sequence of steps to execute, it relies on properties of the solutions to be found, which are explicitly defined by constraints. The idea of constraint programming is to solve problems by stating constraints which must be satisfied by the solutions. Constraint programming is based on specialized constraint solvers that take advantage of constraints to search for solutions. The success and popularity of complex problem solving tools can be greatly enhanced by the availability of friendly user interfaces. User interfaces cover two fundamental areas: receiving information from the user and communicating it to the system; and getting information from the system and deliver it to the user. Despite its potential impact, adequate user interfaces are uncommon in constraint programming in general. The main goal of this project is to develop a graphical user interface that allows to, intuitively, represent constraint satisfaction problems. The idea is to visually represent the variables of the problem, their domains and the problem constraints and enable the user to interact with an adequate constraint solver to process the constraints and compute the solutions. Moreover, the graphical interface should be capable of configure the solver’s parameters and present solutions in an appealing interactive way. As a proof of concept, the developed application – GraphicalConstraints – focus on continuous constraint programming, which deals with real valued variables and numerical constraints (equations and inequalities). RealPaver, a state-of-the-art solver in continuous domains, was used in the application. The graphical interface supports all stages of constraint processing, from the design of the constraint network to the presentation of the end feasible space solutions as 2D or 3D boxes.

Stresse, coping e engagement em docentes da educação especial da RAM

Os problemas referentes à profissão constituem uma preocupação constante de todos os trabalhadores, de tal modo que os agentes de stresse no trabalho são objeto, cada vez mais, de importância reconhecida pelos pesquisadores, pelos profissionais e pelas instituições. No que concerne à docência, esta é considerada uma profissão de alto risco mental e físico. Este estudo objetiva analisar a relação entre stresse, coping e engagement em docentes da educação especial da RAM. Sessenta e dois docentes da educação especial responderam ao Questionário de dados sociodemográficos e profissionais, ao Questionário de Stresse nos Professores (QSP), ao Coping Job Scale (CJS) e Escala de Avaliação do Engagement (UWES). Os resultados revelam que 40.4% dos professores percecionam a profissão como muito stressante e exigente. Indicam que as principais fontes de stresse são o trabalho burocrático/administrativo, o estatuto da carreira docente e as pressões de tempo/excesso de trabalho; que as estratégias mais utilizadas para lidarem com o stresse são as estratégias de controlo/confronto; que o vigor corresponde ao nível de engagement mais elevado. Apontam correlações significativas e positivas entre o nível geral de stresse, as dimensões do QSP, as estratégias de controlo/confronto e as dimensões do engagement; e indicam a absorção e a dedicação como preditores do stresse docente (R2 = 46.7). Não mostram diferenças estatisticamente significativas entre as variáveis sociodemográficas e profissionais e as subescalas das variáveis em estudo. Sugere-se a aplicação de programas de intervenção para a promoção do bem-estar entre os professores da educação especial.

O bibliotecário como mediador no processo de transferência da informação para pessoas com deficiência visual

MAIA, Maria Aniolly Queiroz et al. O bibliotecário como mediador no processo de transferência da informação para pessoas com deficiência visual. In: CONGRESSO BRASILEIRO DE BIBLIOTECONOMIA, 24., DOCUMENTAÇÃO E CIÊNCIA DA INFORMAÇÃO, 2011, Maceió. Anais... Maceió: CBBD, 2011

Power flow for primary distribution networks considering uncertainty in demand and user connection

This paper presents a method for calculating the power flow in distribution networks considering uncertainties in the distribution system. Active and reactive power are used as uncertain variables and probabilistically modeled through probability distribution functions. Uncertainty about the connection of the users with the different feeders is also considered. A Monte Carlo simulation is used to generate the possible load scenarios of the users. The results of the power flow considering uncertainty are the mean values and standard deviations of the variables of interest (voltages in all nodes, active and reactive power flows, etc.), giving the user valuable information about how the network will behave under uncertainty rather than the traditional fixed values at one point in time. The method is tested using real data from a primary feeder system, and results are presented considering uncertainty in demand and also in the connection. To demonstrate the usefulness of the approach, the results are then used in a probabilistic risk analysis to identify potential problems of undervoltage in distribution systems. (C) 2012 Elsevier Ltd. All rights reserved.

An extended query-the-user tool for expert systems

An extended version of HIER, a query-the-user facility for expert systems is presented. HIER was developed to run over Prolog programs, and has been incorporated to systems that support the design of large and complex applications. The framework of the extended version is described,; as well as the major features of the implementation. An example is included to illustrate the use of the tool, involving the design of a specific database application.

User Manual for the Gender Equality Observatory for Latin America and the Caribbean

Includes bibliography

Module for the analysis of growth in international commerce (MAGIC Plus): user guide (updated)

Includes bibliography

LUTS: A lightweight user-level transaction scheduler

Software Transactional Memory (STM) systems have poor performance under high contention scenarios. Since many transactions compete for the same data, most of them are aborted, wasting processor runtime. Contention management policies are typically used to avoid that, but they are passive approaches as they wait for an abort to happen so they can take action. More proactive approaches have emerged, trying to predict when a transaction is likely to abort so its execution can be delayed. Such techniques are limited, as they do not replace the doomed transaction by another or, when they do, they rely on the operating system for that, having little or no control on which transaction should run. In this paper we propose LUTS, a Lightweight User-Level Transaction Scheduler, which is based on an execution context record mechanism. Unlike other techniques, LUTS provides the means for selecting another transaction to run in parallel, thus improving system throughput. Moreover, it avoids most of the issues caused by pseudo parallelism, as it only launches as many system-level threads as the number of available processor cores. We discuss LUTS design and present three conflict-avoidance heuristics built around LUTS scheduling capabilities. Experimental results, conducted with STMBench7 and STAMP benchmark suites, show LUTS efficiency when running high contention applications and how conflict-avoidance heuristics can improve STM performance even more. In fact, our transaction scheduling techniques are capable of improving program performance even in overloaded scenarios. © 2011 Springer-Verlag.

Is it possible to make pixel-based radar image classification user-friendly?

In this paper we would like to shed light the problem of efficiency and effectiveness of image classification in large datasets. As the amount of data to be processed and further classified has increased in the last years, there is a need for faster and more precise pattern recognition algorithms in order to perform online and offline training and classification procedures. We deal here with the problem of moist area classification in radar image in a fast manner. Experimental results using Optimum-Path Forest and its training set pruning algorithm also provided and discussed. © 2011 IEEE.

REDATAM: manual del usuario = REDATAM: user's manual

Incluye Bibliografía

User manual for the QUANTUM system: a system to exercise a step by step control over the receipt and key entry of survey questionnaires using a microcomputer, version 1.00

Manual del sistema QUANTUM desarrollado para controlar la recepción y entrega de cuestionarios de una encuesta, por microcomputador, usando dBASE III.