DET HÄR ÄR ÄLDREOMSORGEN : Medias skildring av äldreomsorgen i två dagstidningar

Uppsatsens syfte är att studera hur äldreomsorgen skildras i media och hur denna framställning görs. För att besvara syftet gjordes en innehållsanalys med kvantitativ och kvalitativ ansats. För att analysera och förstå resultatet användes tre teoretiska perspektiv: medielogik, dagordningsteorin och socialkonstruktivism. Uppsatsens material inhämtades från två dagstidningar varav den ena utges lokalt och den andra på riksnivå för att ge en bredare uppfattning om medias framställning av äldreomsorgen samt att se om någon skillnad sågs i de olika tidningarna. Urvalet av artiklarna publicerades under två separata månader 2015. Uppsatsens resultat visar tre framstående teman inom äldreomsorgen som ofta förekom i medias framställning och dessa var i huvudsak negativa med fokus på brister. I de två tidningarna var likheterna mellan framställningen mer framträdande än skillnaderna.

Extraction of structured programs from specification proofs

We present a method using an extended logical system for obtaining programs from specifications written in a sublanguage of CASL. These programs are “correct” in the sense that they satisfy their specifications. The technique we use is to extract programs from proofs in formal logic by techniques due to Curry and Howard. The logical calculus, however, is novel because it adds structural rules corresponding to the standard ways of modifying specifications: translating (renaming), taking unions, and hiding signatures. Although programs extracted by the Curry-Howard process can be very cumbersome, we use a number of simplifications that ensure that the programs extracted are in a language close to a standard high-level programming language. We use this to produce an executable refinement of a given specification and we then provide a method for producing a program module that maximally respects the original structure of the specification. Throughout the paper we demonstrate the technique with a simple example.

The Open Provenance Model Core Specification (v1.1)

The Open Provenance Model is a model of provenance that is designed to meet the following requirements: (1) To allow provenance information to be exchanged between systems, by means of a compatibility layer based on a shared provenance model. (2) To allow developers to build and share tools that operate on such a provenance model. (3) To define provenance in a precise, technology-agnostic manner. (4) To support a digital representation of provenance for any 'thing', whether produced by computer systems or not. (5) To allow multiple levels of description to coexist. (6) To define a core set of rules that identify the valid inferences that can be made on provenance representation. This document contains the specification of the Open Provenance Model (v1.1) resulting from a community-effort to achieve inter-operability in the Provenance Challenge series.

Recruiting a Diverse Student Body at Mid-Size Public Master’s Universities

As student demographics change, admissions officers are increasingly recruiting a diverse group of incoming students, including underrepresented minorities. We outline how five public institutions identify and recruit potential applicants and review recruitment strategies and methodologies for expanding target recruitment populations.