155,211 research outputs found

    A Graphical Analysis of Some Basic Results in Social Choice

    Get PDF
    We use a simple graphical approach to represent Social Welfare Functions that satisfy Independence of Irrelevant Alternatives and Anonymity. This approach allows us to provide simple and illustrative proofs of May's Theorem, of variants of classic impossibility results, and of a recent result on the robustness of Majority Rule due to Maskin (1995). In each case, geometry provides new insights on the working and interplay of the axioms, and suggests new results including a new characterization of the entire class of Majority Rule SWFs, a strengthening of May's Theorem, and a new version of Maskin's Theorem.

    Learning interaction patterns using diagrams varying in level and type of interactivity

    Get PDF
    An experiment was conducted to investigate the differences between learners when using computer based learning environments (CBLEs) that incorporated different levels of interactivity in diagrams. Four CBLEs were created with combinations of the following two interactivity properties: (a) the possibility to rotate the whole diagram (b) the possibility to move individual elements of the diagram in order to apprehend the relationships between them. We present and discuss the qualitative findings from the study in terms of the learners’ interaction patterns and their relevance for the understanding of performance scores. This supports our previous quantitative analysis showing an interaction between cognitive abilities and interactivity. Based on our findings we reflect on the possibilities to inform CBLEs with relevant information regarding learners’ cognitive abilities and representational preferences

    Actor Network Procedures as Psi-calculi for Security Ceremonies

    Full text link
    The actor network procedures of Pavlovic and Meadows are a recent graphical formalism developed for describing security ceremonies and for reasoning about their security properties. The present work studies the relations of the actor network procedures (ANP) to the recent psi-calculi framework. Psi-calculi is a parametric formalism where calculi like spi- or applied-pi are found as instances. Psi-calculi are operational and largely non-graphical, but have strong foundation based on the theory of nominal sets and process algebras. One purpose of the present work is to give a semantics to ANP through psi-calculi. Another aim was to give a graphical language for a psi-calculus instance for security ceremonies. At the same time, this work provides more insight into the details of the ANPs formalization and the graphical representation.Comment: In Proceedings GraMSec 2014, arXiv:1404.163

    Human emotional response to energy visualisations

    Get PDF
    This is the post-print version of the final paper published in International Journal of Industrial Ergonomics. The published article is available from the link below. Changes resulting from the publishing process, such as peer review, editing, corrections, structural formatting, and other quality control mechanisms may not be reflected in this document. Changes may have been made to this work since it was submitted for publication. Copyright @ 2012 Elsevier B.V.Past research has found that frequent energy usage feedback is an important factor in reducing home energy consumption, and that the sensory appeal and cognitive relevance of the feedback are key components of user engagement with energy systems. The visual design of the information interface is important not just due to its role in communicating data of cognitive relevance, but also because the choice of information type and format is important towards achieving interactive Hebbian learning. The objective of the current research study was to investigate the possible effect of image format on the human emotional response to scenes of energy systems, and to evaluate whether any gender related differences in emotional response occurred. An automated PC-based test was developed which utilised five visual image formats (Optical Gray-Scale, Optical Coloured, Optical Augmented, Infrared Gray-Scale and Infrared Blue-Red) and nine home energy scenes (hot water boiler, radiator, water faucet, kitchen oven, tea kettle, toaster, electrical connector, laptop computer and tea mug). The emotional response of the participant was measured in the automated test by means of a Self-Assessment Manikin (SAM) which provided symbolic graphical representations of the human body under various degrees of emotional response, and associated Likert format rating scales for the valence and activation level of the emotional response. Comparison of the results obtained for the different visual scenes suggests that the greatest level of human emotional activation was achieved by the Infrared Blue-Red (thermal image) format, and that, generally, coloured images provided higher levels of emotional activation than gray-scale images. The increased activation achieved by the infrared images suggests attention capturing potential due to novelty, or due to the direct link to heat and energy, or both. Significant differences in emotional response (both activation and valence) were found to occur as a function of gender. The current results provide first guidance which a designer can use when choosing image spectrum and colours to represent energy systems on the displays of thermostats, smart meters and the energy devices. Relevance to industry - The current results provide first guidance which a designer can use when choosing image spectrum and colours to represent energy systems on the displays of thermostats, smart meters and the energy devices. Such design guidance is currently lacking internationally but is of increasing importance due to the expansion of digital devices, internet services and the upcoming internet-of-things

    The students' point of view about quality of educational multimedia software

    Get PDF
    The study reported here is part of an international project supported by EU (PEDACTICE - Educational Multimedia in Compulsory School: From Pedagogical Assessment to Product Assessment) and had as main goal to know the opinion and the perception of the Portuguese students about criteria of quality of educational multimedia software. In order to obtain elements on the student`s point of view about educational multimedia software, we decided to interview small groups of pupils who are involved in the work with multimedia materials and than gather, organize and analyse the information got. The sample of interviewed pupils can be considered as representative of the Lisbon schools attended by teachers and pupils very much interested in multimedia materials which these students use not only as an aid to learning activities but also as a support to home and school work. As main results of the study we can refer: a) the confirmation of the success of computers and multimedia among the young Portuguese student population, being manifest either in their attitudes or in the diversity of their experiences, including the technical mastery of informas; b) the acknowledgment, by the students, of the role of the school and of those of their teachers who had till now led the process; c) an unexpected emphasis attached by the students, mainly by the older ones, to the use of computer as a resource for school work which, till now, was done without it; and d) the rare use of the computer for supporting tasks of creative or autonomous nature.European Comissio
    • …
    corecore