Abstract

Abstract
Learning programming is a complex task that poses significant challenges. Students face different kinds of difficulties at complex levels that traditional teaching/learning methods are nor able to cope with. For this reason, several authors have researched the pedagogical effectiveness of program visualization and animation, and developed some tools. Animation can help students on the analysis and understanding of given programs, and can also guide on the development of new ones. It is very important to give students the opportunity to practice solving programming exercises by themselves. Receiving feedback is essential for knowledge acquisition. New tools arose ( especially in the area of programming contests) to allow for the submission of solutions ( programs developed by the students) to the problem statements presented by the teacher and to assess them, returning immediately information about the submitted answer. These tools can be incorporated into teaching activities, allowing students to test their work getting immediate feedback. Automatic evaluation systems significantly improve students performance. In this article are shown these two approaches, animation and automatic assessment, and proposed a new pedagogical practice resulting from the combination of both.

Abstract
In a bankruptcy situation individuals are not equally affected since each one has its own specific characteristics. These aspects cannot be ignored and may justify an allocation bias in favor of or against some individuals. This paper develops a theory of differentiation in claims problems that considers not only the vector of claims, but also some justified differentiating criteria based on other characteristics (wealth, net-income, GDP, etc.). Accordingly, we propose some progressive transfers from richer to poorer claimants with the purpose of distributing the damage as evenly as possible. Finally, we characterize our solution by means of the Lorenz criterion. Endogenous convex combinations between solutions are also considered.

Abstract
Agents involved in a conflicting claims problem may be concerned with the proportion of their claims that is satisfied, or with the total amount they get. In order to relate both perspectives, we associate to each conflicting claims problem a bargaining-in-proportions set. Then, we obtain a correspondence between classical bargaining solutions and usual claims rules. In particular, we show that the constrained equal losses, the truncated constrained equal losses and the contested garment (Babylonian Talmud) rules can be obtained throughout the Nash bargaining solution. © 2015 by the authors.

Abstract
In the present paper we characterize the optimal use of Poisson signals to establish incentives in the "bad" and "good" news models of Abreu et al. (1991). In the former, for small time intervals the signals' quality is high and we observe a "selective" use of information; otherwise there is a "mass" use. In the latter, for small time intervals the signals' quality is low and we observe a "fine" use of information; otherwise there is a "non-selective" use.

Abstract
Aging is one of the most important biological processes and is a known risk factor for many age-related diseases in human. Studying age-related transcriptomic changes in tissues across the whole body can provide valuable information for a holistic understanding of this fundamental process. In this work, we catalogue age-related gene expression changes in nine tissues from nearly two hundred individuals collected by the Genotype-Tissue Expression (GTEx) project. In general, we find the aging gene expression signatures are very tissue specific. However, enrichment for some well-known aging components such as mitochondria biology is observed in many tissues. Different levels of cross-tissue synchronization of age-related gene expression changes are observed, and some essential tissues (e.g., heart and lung) show much stronger "co-aging" than other tissues based on a principal component analysis. The aging gene signatures and complex disease genes show a complex overlapping pattern and only in some cases, we see that they are significantly overlapped in the tissues affected by the corresponding diseases. In summary, our analyses provide novel insights to the co-regulation of age-related gene expression in multiple tissues; it also presents a tissue-specific view of the link between aging and age-related diseases.