No description available.

I denna uppsats studerar vi knutar i R3. Vi säger att ett knutdiagram är en projektion av knuten i rummet in i planet. Speciellt är vi intresserade av att undersöka huruvida ett knutdiagram är färläggningsbart, genom att undersöka om reglerna för en Fox p-färgning är uppfyllda. Vi visar att p-färgbarhet är en knutinvariant, vilken är densamma för ekvivalenta knutar, så att den kan användas för att visa att två knutar är olika. Huvudmålet i uppsatsen är att undersöka vad denna p-färgning mäter ur ett geometriskt/algebraiskt perspektiv genom att visa att antalet sätt att p-färga knuten är lika med antalet surjektiva homomorfier från knutgruppen till den dihedrala gruppen D2p. För att göra detta definierar vi knutgruppen genom att första introducera fundamentalgruppen och konceptet homotopi.

Logic simulation is a crucial verification task in processor design. Aiming at significant acceleration of system simulation we have parallelized IBM's cycle-based simulator TEXSIM. The resulting parallelTEXSIM has already been employed successfully in simulating S/390 architectures on IBM SP systems. Here we present parallelTEXSIM together with its model partitioning environment.

No description available.

No description available.

The information ecosystem of social media has resulted in an abundance of opinions on political topics and current events. In order to encourage better discussions, it is important to promote high-quality responses and relegate low-quality ones. We thus focus on automatically analyzing and generating counter-arguments in response to posts on social media with the goal of providing effective responses. This thesis is composed of three parts. In the first part, we conduct an analysis of arguments. Specifically, we first annotate discussions from Reddit for aspects of arguments and then analyze them for their persuasive impact. Then we present approaches to identify the argumentative structure of these discussions and predict the persuasiveness of an argument. We evaluate each component independently using automatic or manual evaluations and show significant improvement in each. In the second part, we leverage our discoveries from our analysis in the process of generating counter-arguments. We develop two approaches in the retrieve-and-edit framework, where we obtain content using methods created during our analysis of arguments, among others, and then modify the content using techniques from natural language generation. In the first approach, we develop an approach to retrieve counter-arguments by annotating a dataset for stance and building models for stance prediction. Then we use our approaches from our analysis of arguments to extract persuasive argumentative content before modifying non-content phrases for coherence. In contrast, in the second approach we create a dataset and models for modifying content -- making semantic edits to a claim to have a contrasting stance. We evaluate our approaches using intrinsic automatic evaluation of our predictive models and an overall human evaluation of our generated output. Finally, in the third part, we discuss the semantic challenges of argumentation that we need to solve in order to make progress in the understanding of arguments. To clarify, we develop new methods for identifying two types of semantic relations -- causality and veracity. For causality, we build a distant-labeled dataset of causal relations using lexical indicators and then we leverage features from those indicators to build predictive models. For veracity, we build new models to retrieve evidence given a claim and predict whether the claim is supported by that evidence. We also develop a new dataset for veracity to illuminate the areas that need progress. We evaluate these approaches using automated and manual techniques and obtain significant improvement over strong baselines. Finally, we apply these techniques to claims in the domain of household electricity consumption, mining claims using our methods for causal relations and then verifying their truthfulness.

No description available.

No description available.

This thesis contains three articles related to operads and moduli spaces of admissible covers of curves. In Paper A we isolate cohomology classes coming from modular forms inside a certain space of admissible covers, thereby showing that this moduli space can be used as a substitute for a Kuga–Sato variety. Paper B contains a combinatorial proof of Ezra Getzler’s semiclassical approximation for modular operads, and a proof of a formula needed in Paper A. In Paper C we explain in what sense spaces of admissible covers form a modular operad, by introducing the notion of an operad colored by a groupoid. / Denna avhandling innehåller tre artiklar relaterade till operader och modulirum för godtagbara övertäckningar av kurvor. I artikel A isoleras kohomologiklasser associerade till modulära former inuti ett visst rum av godtag- bara övertäckningar, vilket visar att detta modulirum kan användas som ett substitut för en Kuga–Sato-varietet. Artikel B innehåller ett kombinatoriskt bevis av Ezra Getzlers semiklassiska approximation för modulära operader, och beviset av en formel som behövs i artikel A. I artikel C förklaras i vilken mening rum av tillåtbara övertäckningar utgör en modulär operad, nämligen en operad färgad av en gruppoid. / QC 20111124

Barcoding is a mathematical tool, to analyze data, which is based on the theory of persistent homology. In this thesis both Hierarchical Clustering and Barcoding are defined and analyzed according to three criterion: Continuity, Computability and Visualizability. It is also presented how the two methods, barcoding and hierarchical clustering, are connected and why barcoding, in some cases, is a generalized method of hierarchical clustering. Lastly some more question of interest, for better understanding barcoding, are stated. / Barcoding är ett matematiskt verktyg, för att analysera data, vilket bygger på teorin om ihållande homologi. I den här uppsatsen år både Hierarkisk Klustring och Barcoding definierade och analyserade med avseende på tre kriterier: Kontinuitet, Beräkningsbarhet och Visualiserbarhet. Det presenteras även hur de två metoderna, barcoding och hierarkisk klustring, är sammanlänkade och varför barcoding, i vissa fall, är en generaliserad metod av hierarkisk klustring. Tillsist är några fler frågor av intresse, för att bättre förstå barcoding, presenterad.