“Coffee Heaven - an ethnological study of the logic of sustainability, justice and Swedishness through coffee consumption in Sweden” is the english title of this essay. The purpose of the study is to identify and analyze different logics that produce, negotiate and stabilize coffee consumption as a culture phenome, based on the logics expressed and used in actors’ statements about coffee, sustainability and social justice. The analysis takes place through a logic perspective that focuses on how the production and consumption of coffee as an idea is motivated in a time where consumption and production of coffee involve a range of power relations that can be understood as incompatible with just a sustainable climate. Furthermore, the social context of coffee, conceptions of Swedishness and how actors construct sustainability as a cultural concept is studied. The study is based mainly on interviews and digital ethnography of Sweden's four largest roasteries. The result of the study is that coffee consumption is naturalized and illuminated with a sustainability perspective, so the actors use various anthropocentric logics to understand the continued production and consumption of coffee. Sustainability is cultivated in the actor’s statements to conform to their own existing contexts, which can validate coffee as a sustainable av just practice.

The purpose of the thesis is to identify if and how specific institutional logics are expressed in municipal disability care, and if so, answer if the multiple logics create tension or coherence. The research is motivated by the critique aimed towards market influences in Swedish public services, and also by the fact that disability care is understudied. With inspiration from grounded theory the institutional logics perspective, consisting of a market logic (NPM) and aclient logic focused on the individuals receiving care, has developed over time. More correctly, the thesis has an abductive approach since the analysis has progressed from switching between theory and empirical data. The results from the case study show that both a NPM-logic and a client logic is present in Malmö’s municipal disability care, both in managing documents and in practical work. The NPM-logic conveys through goal management, quality work and administrative tasks. The client logic is expressed by a will to include disabled individuals, civic participation in decision making, dialogue and client-focused approach. Lastly, both tension and coherence is identified between present logics. For reasons of space, somewhat simplified; goal management creates tensions through centralized goals, but coherence through decentralized goals. Quality work creates tension since it focuses on measurement which excludes other perspectives. At the same time coherence is identified as clients impact decision making. Lastly, tension is identified through the administrative burden - first-line-managers get no time for clients. Coherence is identified through operative coworkers perspective since the administrative tasks do not affect the time spent with clients. Future studies can aim towards certain aspects in-depth, such as the consequences of identified tensions.

B corporations är en form av hybridorganisation som avser att balansera ekonomisk avkastning med sociala- och miljömässiga mål, något företagen själva talar om som “profit and purpose”. Dessa verksamheter beskrivs som en form av hållbart företagande, som kombinerar marknadslogik med social logik, något som historiskt ansetts omöjligt att kombinera. Genom 8 intervjuer med 9 olika företrädare inom b corporations har denna undersökning studerat hur dessa företag hanterar två traditionellt konflikterande syften, “profit and purpose”, och hur de arbetar med prestationsmätningar, målformulering och värdeskapande i relation till sina intressenter. En analysmodell utformades utifrån befintlig teoretisk kunskap om institutionella logiker, prestationsmätningar och målsättningar från vilken resultatet analyserades. Studiens visar att företrädare för b corporations inte upplever den sociala logiken och marknadslogiken som konflikterande. Dock förmedlar respondenterna i sina intervjuer spänningar mellan de två logikerna då de gör avkall på den ena logiken för att prioritera den andra på kort sikt, vilket indikerar konflikter. Detta signalerar att b corporations snarare kombinerar än balanserar logiker på kort sikt. Graden av komplexitet vid målformulering kopplat till hållbarhet varierade mellan företag. Bland de företag där man arbetade mer aktivt med målformulering kopplat till den sociala logiken, bröts visioner ned till konkreta delmål. Dessa förtydligades sedan gentemot intressenter med hjälp av prestationsmätningar och här kunde även ett större engagemang och involvering av intressenter i hållbarhetsarbetet urskiljas. Studien föreslår därför att prestationsmått kan tydliggöra mål kopplade till den sociala logiken och på så vis underlätta värdeskapande i hybridorganisationer.

In this thesis we investigate the moduli space M3[2] of curves of genus 3 equipped with a symplectic level 2 structure. In particular, we are interested in the cohomology of this space. We obtain cohomological information by decomposing M3[2] into a disjoint union of two natural subspaces, Q[2] and H3[2], and then making S7- resp. S8-equivariantpoint counts of each of these spaces separately. / Målet med denna uppsats är att undersöka modulirummet M3[2] av kurvor av genus 3 med symplektisk nivå 2 struktur. Mer specifikt vill vi hitta informationom kohomologin av detta rum. För att uppnå detta delar vi först upp M[2] i en disjunkt union av två naturliga delrum, Q[2] och H3[2], och räknar därefter punkterna av dessa rum S7- respektive S8-ekvivariant.

Gegenstand dieser Arbeit ist CL(S), das Termersetzungssystem mit der einzigen Regel: Sxyz -> xz(yz) Sie ist ein Schritt auf dem Weg, an dessen Ziel man sich die Lösung des Wortproblems für CL(S) erhofft. Waldmann zeigte, daß in CL(S) die Termination entscheidbar ist und daß jede unendliche Reduktion top-terminiert. Daraus folgt, daß unendliche Normalformen existieren und das Wortproblem gelöst wäre, könnte man diese Normalformen effektiv finden und vergleichen. Deswegen untersuche ich in der vorliegenden Arbeit unendliche Reduktionsketten in CL(S). Es wird vermutet, daß sie im wesentlichen durch Muster wie z.B. M^n+1 := SS M^n beschreibbar sind. ... Darüberhinaus wird vermutet, daß tatsächlich jeder Term aus CL(S) ohne endliche Normalform eine unendliche Reduktionskette mit einem Muster Muster aufweist. Ich präsentiere vier Beweisschemata, mit deren Hilfe sich unendliche Reduktionsketten in allen bisher untersuchten Termen ohne Normalform beweisen lassen. Zudem definiere ich das Konzept der allgemeinsten Muster, mit denen sich Muster klassifizieren lassen, und beweise, daß die Menge der allgemeinsten Muster unendlich ist. Außerdem beschreibe ich, wie man Muster automatisch findet und verifiziert. Schließlich stelle ich einen Beweisansatz vor, mit dem die zwingende Existenz von Mustern belegbar wäre. Als eine Folgerung aus diesem Beweis ergäbe sich weiterhin die Schleifenfreiheit von CL(S). ...

Bäume sind wichtige Strukturen in der Informatik. Sie repräsentieren zum Beispiel Programmcode oder Datenstrukturen. Ihre quantitativen Eigenschaften, wie zum Beispiel ihr Ressourcenverbrauch, können mittels gewichteten Baumautomaten un- tersucht werden. Wir definieren neue gewichtete endliche Bottom-Up-Baumautoma- ten mit Gewichten aus Baumbewertungsmonoiden. Baumbewertungsmonoide sind verallgemeinerte Bewertungsmonoide mit einer Bewertungsfunktion, die auf Bäumen operiert. Sie ermöglichen es, unter anderem, den durchschnittlichen Ressourcenver- brauch zu modellieren. Des Weiteren führen wir eine gewichtete Logik für Bäume mit Gewichten aus Baumbewertungsmonoiden ein und zeigen, in Abhängigkeit von den Eigenschaften des Bewertungsmonoids, dass Fragmente dieser Logik die Klasse der erkennbaren Baumreihen über dem Baumbewertungsmonoid charakterisieren. Damit verallgemeinern wir das Resultat von Droste und Meinecke [17] von Wort- reihen über Bewertungsmonoiden auf Baumreihen über Baumbewertungsmonoiden. Schließlich geben wir Beispiele an, die die Notwendigkeit der Einschränkung der betrachteten Baumbewertungmonoide belegen.

This article deals with the recognition of recurring multivariate time series patterns modelled sample-point-wise by parametric fuzzy sets. An efficient classification-based approach for the online recognition of incompleted developing patterns in streaming time series is being presented. Furthermore, means are introduced to enable users of the recognition system to restrict results to certain stages of a pattern’s development, e. g. for forecasting purposes, all in a consistently fuzzy manner.

The present article dedicates itself to fuzzy modelling of data-inherent structures. In particular two main points are dealt with: the introduction of a fuzzy modelling framework and the elaboration of an automated, data-driven design strategy to model complex data-inherent structures within this framework. The innovation concerning the modelling framework lies in the fact that it is consistently built around a single, generic type of parametrical and convex membership function. In the first part of the article this essential building block will be defined and its assets and shortcomings will be discussed. The novelty regarding the automated, data-driven design strategy consist in the conservation of the modelling framework when modelling complex (nonconvex) data-inherent structures. Instead of applying current clustering methods the design strategy uses the inverse of the data structure in order to created a fuzzy model solely based on convex membership functions. Throughout the article the whole model design process is illustrated, section by section, with the help of an academic example.

This article proposes knowledge-based short-time prediction methods for multivariate streaming time series, relying on the early recognition of local patterns. A parametric, well-interpretable model for such patterns is presented, along with an online, classification-based recognition procedure. Subsequently, two options are discussed to predict time series employing the fuzzified pattern knowledge, accompanied by an example. Special emphasis is placed on comprehensible models and methods, as well as an easy interface to data mining algorithms.

1) Das niedrige und bezueglich einer eventuellen Logik unzureichende Niveau der Aristoteles‘schen Syllogismen sollte spaetestens nach diesem Aufsatz klar sein. Falls darueberhinaus die oft fehlende Deduktion unsererseits zurecht kritisiert wurde, so war dies moeglich durch die Eigenentwicklung einer Regel, die die Rangfolge von Begriffen, Woertern und Inhalten definiert. Auch die Tatsache, dass Aristoteles gemaess dieser Regel in unterschiedliche Richtungen argumentiert hat, liess sich mit dieser Regel belegen. 2) Es wird in diesem Aufsatz folgerichtig vorgeschlagen, a) sich nur noch zweier (2-er) logischer Operatoren zu bedienen, b) die Benennungen fuer die Informatiker in Richtung groesserer Klarheit und Zeitgewinn zu aendern und c) im Falle der „Castell-Logik“ (interne Bezeichnung) die 2 o.g. logischen Operatoren durch die analogen arithmetischen zu ersetzen. 3) Auch die Reflexionen ueber den Begriff „Logik“ in diesem Aufsatz sind entweder total neu (wir haben sie in der Literatur nirgends definiert vorgefunden) oder wurden zumindest hier erstmalig konsequent angewandt. Obwohl auch sie simpel sind, hat diese stringente und einheitlich angewendete Logik-Definition (z.B. „Die Realitat gibt uns die Gesetzmaessigkeiten vor. Und wir stellen sie nach“ ....und zwar fuer Rekonstruktionen der Vergangenheit oder Planungen fuer die Zukunft) den vorliegenden Aufsatz erst ermoeglicht.:Deduktives Folgern in den Syllogismen des Aristoteles? Die behauptete Ueberlegenheit der mathematischen Logik vs. Sprachlogik. Definition des Begriffs Logik. Ein Beispiel aus der sog. Sprachlogik. 'Wenn-dann' als logischer Operator. 'Wenn-dann' in der eigenen Castell-Logik.