A Generic Library for GUI Reasoning and Testing

Graphical user interfaces (GUIs) make software easy to use by providing the user with visual controls. Therefore, correctness of GUI's code is essential to the correct execution of the overall software. Models can help in the evaluation of interactive applications by allowing designers to concentrate on its more important aspects. This paper presents a generic model for language-independent reverse engineering of graphical user interface based applications, and we explore the integration of model-based testing techniques in our approach, thus allowing us to perform fault detection. A prototype tool has been constructed, which is already capable of deriving and testing a user interface behavioral model of applications written in Java/Swing.

Multiple centroid method to evaluate the adaptability of alfalfa genotypes

This study aimed to evaluate the efficiency of multiple centroids to study the adaptability of alfalfa genotypes (Medicago sativa L.). In this method, the genotypes are compared with ideotypes defined by the bissegmented regression model, according to the researcher's interest. Thus, genotype classification is carried out as determined by the objective of the researcher and the proposed recommendation strategy. Despite the great potential of the method, it needs to be evaluated under the biological context (with real data). In this context, we used data on the evaluation of dry matter production of 92 alfalfa cultivars, with 20 cuttings, from an experiment in randomized blocks with two repetitions carried out from November 2004 to June 2006. The multiple centroid method proved efficient for classifying alfalfa genotypes. Moreover, it showed no unambiguous indications and provided that ideotypes were defined according to the researcher's interest, facilitating data interpretation.

Dense motion field estimation from myocardial boundary displacements

Minimally invasive cardiovascular interventions guided by multiple imaging modalities are rapidly gaining clinical acceptance for the treatment of several cardiovascular diseases. These images are typically fused with richly detailed pre-operative scans through registration techniques, enhancing the intra-operative clinical data and easing the image-guided procedures. Nonetheless, rigid models have been used to align the different modalities, not taking into account the anatomical variations of the cardiac muscle throughout the cardiac cycle. In the current study, we present a novel strategy to compensate the beat-to-beat physiological adaptation of the myocardium. Hereto, we intend to prove that a complete myocardial motion field can be quickly recovered from the displacement field at the myocardial boundaries, therefore being an efficient strategy to locally deform the cardiac muscle. We address this hypothesis by comparing three different strategies to recover a dense myocardial motion field from a sparse one, namely, a diffusion-based approach, thin-plate splines, and multiquadric radial basis functions. Two experimental setups were used to validate the proposed strategy. First, an in silico validation was carried out on synthetic motion fields obtained from two realistic simulated ultrasound sequences. Then, 45 mid-ventricular 2D sequences of cine magnetic resonance imaging were processed to further evaluate the different approaches. The results showed that accurate boundary tracking combined with dense myocardial recovery via interpolation/ diffusion is a potentially viable solution to speed up dense myocardial motion field estimation and, consequently, to deform/compensate the myocardial wall throughout the cardiac cycle. Copyright © 2015 John Wiley & Sons, Ltd.

A System Dynamics-Based Simulation Experiment for Testing Mental Model and Performance Effects of Using the Balanced Scorecard

This study develops a theoretical model that explains the effectiveness of the balanced scorecard approach by means of a system dynamics and feedback learning perspective. Presumably, the balanced scorecard leads to a better understanding of context, allowing managers to externalize and improve their mental models. We present a set of hypotheses about the influence of the balanced scorecard approach on mental models and performance. A test based on a simulation experiment that uses a system dynamics model is performed. The experiment included three types of parameters: financial indicators; balanced scorecard indicators; and balanced scorecard indicators with the aid of a strategy map review. Two out of the three hypotheses were confirmed. It was concluded that a strategy map review positively influences mental model similarity, and mental model similarity positively influences performance.

The importance of quality of life in patients with multiple sclerosis: do they need auxiliary walking devices?

Objective: To describe the importance of training multiple sclerosis (MS) patients with auxiliary walking devices (walking stick, crutch, or wheelchair) in a way that achieves a better quality of life (QOL). Design: Exploratory and descriptive. Setting: General hospital in Portugal.

Risk assessment of exposure to multiple mycotoxins in food

Moulds may produce a diversity of toxins such as aflatoxins, ochratoxins, trichothecenes, zearalenone, fumonisins and others. Although toxicological, environmental and epidemiological studies have addressed the problem of these toxins one by one, more than one mycotoxin are found usually in the same contaminated food. Risk assessment for humans potentially exposed to multimycotoxins suffers very much from the lack of adequate food consumption data. Furthermore, for a given mycotoxin, synergism and antagonism with other mycotoxins, found in the same food commodities, are not taken into account. Aflatoxin B1 and ochratoxin A belong to the most frequently occurring mycotoxins. This has repeatedly been demonstrated, however, normally, the risk resulting from their simultaneous occurrence is not considered. A descriptive study was developed to monitor air fungal contamination in one hospital food unit.

Tools for testing the Solvency Capital Requirement for life insurance

Longevity risk is one of the major risks that an insurance company or a pension fund has to deal with and it is expected that its importance will grow in the near future. In agreement with these considerations, in Solvency II regulation the Standard formula furnished for calculating the Solvency Capital Requirement explicitly considers this kind of risk. According to the new European rules in our paper we suggest a multiperiod approach to evaluate the SCR for longevity risk. We propose a backtesting framework for measuring the consistency of SCR calculations for life insurance policies.

The importance of the program for the promotion of physical activity in perceived fatigue in people with multiple sclerosis

The aims of the study is to examine for intervention program of physical activity in the perception of fatigue, in patients with multiple sclerosis.

Implication of an intervention program for the promotion of physical activity in the quality of life of people with multiple sclerosis

The aims of this study is to examine the interest for quality of life of an implementation of program physical activity, with patients of multiple sclerosis.

Monitorização da insuficiência cardíaca por parâmetros fisiológicos em portadores de cardioversor-desfibrilhador implantável e/ou sistema de ressincronização cardíaca: HF-PREDICT

Mestrado em Tecnologia de Diagnóstico e Intervenção Cardiovascular. Área de especialização: Intervenção Cardiovascular.

Developing multiple - choice questions in mathematics

In this paper we wish to illustrate different perspectives used to create Multiple-Choice questions and we will show how we can improve these in the construction of math tests. As it is known, web technologies have a great influence on student’s behaviour. Based on an on-line project beginning at 2007 which has been contributing to help students on their individual work, we would like to share our experience and thoughts with colleagues who have a common concern when they have the task of constructing Multiple-Choice tests. We feel that Multiple-Choice tests play an important and a very useful supporting role in selfevaluation or self-examination of our students. Nonetheless, good Multiple–Choice Test Items are generally more complex and time-consuming to create than other types of tests. It requires a certain amount of skill. However, this skill maybe increases through study, practice and experience. This paper discusses a number of issues related to the use of Multiple-Choice questions, lists the advantages and disadvantages of this question format contrasting it with open questions. Some examples are given in this context.

Moodle and multiple-choice tests

Multiple-Choice items are used in many different kinds of tests in several areas of knowledge. They can be considered an interesting tool to the self-assessing or as an alternative or complementary instrument to the traditional methods for assessing knowledge. The objectivity and accuracy of the multiple-choice tests is an important reason to think about. They are especially useful when the number of students to evaluate is too large. Moodle (Modular Object-Oriented Dynamic Learning Environment) is an Open Source course management system centered around learners' needs and designed to support collaborative approaches to teaching and learning. Moodle offers to the users a rich interface, context-specific help buttons, and a wide variety of tools such as discussion forums, wikis, chat, surveys, quizzes, glossaries, journals, grade books and more, that allow them to learn and collaborate in a truly interactive space. Come together the interactivity of the Moodle platform and the objectivity of this kind of tests one can easily build manifold random tests. The proposal of this paper is to relate our journey in the construction of these tests and share our experience in the use of the Moodle platform to create, take advantage and improve the multiple-choices tests in the Mathematic area.

Multiple-choice tests: a tool in assessing knowledge

The purpose of this paper is to analyse if Multiple-Choice Tests may be considered an interesting alternative for assessing knowledge, particularly in the Mathematics area, as opposed to the traditional methods, such as open questions exams. In this sense we illustrate some opinions of the researchers in this area. Often the perception of the people about the construction of this kind of exams is that they are easy to create. But it is not true! Construct well written tests it’s a hard work and needs writing ability from the teachers. Our proposal is analyse the construction difficulties of multiple - choice tests as well some advantages and limitations of this type of tests. We also show the frequent critics and worries, since the beginning of this objective format usage. Finally in this context some examples of Multiple-Choice Items in the Mathematics area are given, and we illustrate as how we can take advantage and improve this kind of tests.

Dispositional optimism is unidimensional or bidimensional? The Portuguese Revised Life Orientation Test

The aim of the study is to adapt and then discuss the appropriateness of the Life Orientation Test as a one or two dimension scale. The research includes two studies; one is composed of a sequential sample of 280 people with multiple sclerosis, 71% female, and another includes a convenience sample of 615 individuals from the community, 51.1% female. Because the construct is built upon a theoretical assumption that has one dimension, we examine the hypothesis of one or two factor solutions through confirmatory factor analysis, and the two-dimension solution premise demonstrates better adjustment for both samples. The other psychometric properties explored show appropriate results for the Portuguese sample, and similar to the original ones; the Test therefore seems appropriate for use in cross cultural studies. Based on our results, we discuss whether the questionnaire is a one or two dimension instrument, concluding that it appears appropriate to accept the recommendations of the original authors to use it as a one-dimensional tool and, when necessary, to use both dimensions. - RESUMO: El objetivo del estudio es adaptar y discutir la adecuación de la prueba de Orientación de la Vida en una o dos escalas de dimensión. La investigación engloba dos estudios, uno constituido por una muestra secuencial de 280 personas con esclerosis múltiple, 71% mujeres y otro con una muestra de conveniencia de la comunidad de 615 individuos, 51,1% del sexo femenino. Como el constructo se asienta sobre la presunción teórica de que tiene una dimensión, inspeccionamos la hipótesis de una o dos soluciones de factor a través del análisis factorial confirmatorio y la hipótesis de dos dimensiones manifiesta un mejor ajuste para ambas muestras. Las otras propiedades psicométricas exploradas muestran los resultados apropiados para la muestra portuguesa, y semejantes a los originales. Parece apropiado para los estudios culturales transversales. Basándonos en nuestros resultados, discutimos si el cuestionario es un instrumento de una o dos dimensiones, concluyéndose que parece conveniente seguir las recomendaciones de los autores originales, para utilizarlo como un instrumento unidimensional y, si fuera necesario necesario, utilizar cada una de las dimensiones.

Augmented LDPC Graph for Distributed Video Coding with Multiple Side Information

The advances made in channel-capacity codes, such as turbo codes and low-density parity-check (LDPC) codes, have played a major role in the emerging distributed source coding paradigm. LDPC codes can be easily adapted to new source coding strategies due to their natural representation as bipartite graphs and the use of quasi-optimal decoding algorithms, such as belief propagation. This paper tackles a relevant scenario in distributedvideo coding: lossy source coding when multiple side information (SI) hypotheses are available at the decoder, each one correlated with the source according to different correlation noise channels. Thus, it is proposed to exploit multiple SI hypotheses through an efficient joint decoding technique withmultiple LDPC syndrome decoders that exchange information to obtain coding efficiency improvements. At the decoder side, the multiple SI hypotheses are created with motion compensated frame interpolation and fused together in a novel iterative LDPC based Slepian-Wolf decoding algorithm. With the creation of multiple SI hypotheses and the proposed decoding algorithm, bitrate savings up to 8.0% are obtained for similar decoded quality.