University of Mannheim

About: University of Mannheim is a education organization based out in Mannheim, Germany. It is known for research contribution in the topics: Context (language use) & Politics. The organization has 4448 authors who have published 12918 publications receiving 446557 citations. The organization is also known as: Uni Mannheim & UMA.

Symbolic Model Checking for Probabilistic Processes

Abstract: We introduce a symbolic model checking procedure for Probabilistic Computation Tree Logic PCTL over labelled Markov chains as models. Model checking for probabilistic logics typically involves solving linear equation systems in order to ascertain the probability of a given formula holding in a state. Our algorithm is based on the idea of representing the matrices used in the linear equation systems by Multi-Terminal Binary Decision Diagrams (MTBDDs) introduced in Clarke et al [14]. Our procedure, based on the algorithm used by Hansson and Jonsson [24], uses BDDs to represent formulas and MTBDDs to represent Markov chains, and is efficient because it avoids explicit state space construction. A PCTL model checker is being implemented in Verus [9].

Guideline for acute therapy and management of anaphylaxis

Abstract: S2 Guideline of the German Society for Allergology and Clinical Immunology (DGAKI), the Association of German Allergologists (AeDA), the Society of Pediatric Allergy and Environmental Medicine (GPA), the German Academy of Allergology and Environmental Medicine (DAAU), the German Professional Association of Pediatricians (BVKJ), the Austrian Society for Allergology and Immunology (ÖGAI), the Swiss Society for Allergy and Immunology (SGAI), the German Society of Anaesthesiology and Intensive Care Medicine (DGAI), the German Society of Pharmacology (DGP), the German Society for Psychosomatic Medicine (DGPM), the German Working Group of Anaphylaxis Training and Education (AGATE) and the patient organization German Allergy and Asthma Association (DAAB)

A Large Public Corpus of Web Tables containing Time and Context Metadata

Abstract: The Web contains vast amounts of HTML tables. Most of these tables are used for layout purposes, but a small subset of the tables is relational, meaning that they contain structured data describing a set of entities [2]. As these relational Web tables cover a very wide range of different topics, there is a growing body of research investigating the utility of Web table data for completing cross-domain knowledge bases [6], for extending arbitrary tables with additional attributes [7, 4], as well as for translating data values [5]. The existing research shows the potentials of Web tables. However, comparing the performance of the different systems is difficult as up till now each system is evaluated using a different corpus of Web tables and as most of the corpora are owned by large search engine companies and are thus not accessible to the public. In this poster, we present a large public corpus of Web tables which contains over 233 million tables and has been extracted from the July 2015 version of the CommonCrawl. By publishing the corpus as well as all tools that we used to extract it from the crawled data, we intend to provide a common ground for evaluating Web table systems. The main difference of the corpus compared to an earlier corpus that we extracted from the 2012 version of the CommonCrawl as well as the corpus extracted by Eberius et al. [3] from the 2014 version of the CommonCrawl is that the current corpus contains a richer set of metadata for each table. This metadata includes table-specific information such as table orientation, table caption, header row, and key column, but also context information such as the text before and after the table, the title of the HTML page, as well as timestamp information that was found before and after the table. The context information can be useful for recovering the semantics of a table [7]. The timestamp information is crucial for fusing time-depended data, such as alternative population numbers for a city [8].

A cross-country and cross-time comparison of the human values measurements with the second round of the European Social Survey

Abstract: The study reported in this paper assesses the fit of a 21-item instrument measuring values in the second round of the European Social Survey (ESS) to the theory of 10 basic values on which it was based (Schwartz 1992). In particular, the measurement invariance of this instrument for studying value priorities across nations and over time was investigated. In the first part of the study, using multi-group confirmatory factor analysis (MGCFA) of data from the second ESS round, configural, metric, and scalar invariance of the values are assessed across 25 countries. Metric invariance is a necessary condition to insure equivalence of the meaning of factors and a precondition for comparing values’ correlates. Scalar invariance is a precondition for comparing value means. The MGCFA did not support configural and metric invariance across 25 countries. After reducing the number of countries to 14, the MGCFA supported metric invariance of a model with seven distinct values, the same values identified with data from the first ESS round. These value measurements may now be used by researchers to study relationships among values, attitudes, behavior, and sociodemographic characteristics across the 14 nations. Comparing national value means may be possible only across a smaller set of countries where scalar invariance holds. In the second part of the study, metric and scalar invariance were established between the first and the second rounds of the ESS in each of 19 countries separately. Value means may be compared for each of the countries between the first and second ESS rounds (2002-2003 and 2004-2005, respectively).

Messung dispositioneller Selbstkontroll-Kapazität Eine deutsche Adaptation der Kurzform der Self-Control Scale (SCS-K-D)

Abstract: Zusammenfassung. Selbstkontrolle ist definiert als die Uberwindung oder Modifikation von Reaktionstendenzen. Die dispositionelle Selbstkontroll-Kapazitat hangt positiv gerichtet mit einer Vielzahl von Masen adaptiven Verhaltens zusammen. Zur okonomischen Messung dispositioneller Selbstkontroll-Kapazitat wurde in der vorliegenden Arbeit die vornehmlich eingesetzte Kurzform der Self-Control Scale von Tangney, Baumeister und Boone (2004) ins Deutsche adaptiert. Dazu wurde die ubersetzte Gesamtskala bestehend aus 36 Items Studierenden (N = 316, Studie 1) und Schulern (N = 335, Studie 2) vorgelegt. Die in der Gesamtskala enthaltene Kurzskala aus 13 Items erwies sich in beiden Studien als eindimensional, reliabel und valide bezuglich erwarteter Zusammenhange mit Kriteriumsvariablen. Der Vergleich zwischen Kurz- und Gesamtskala zeigte, dass die Kosten der okonomischeren Messung hinsichtlich Reliabilitat und Validitat gering sind.