In the research strand ‘Virtual Biography’ the Ludwig Boltzmann Institute for the History and Theory of Biography explores the methods and possibilities of arranging biographical data online in ‘bits and pieces’. In two pilot projects on the Austrian writers Ernst Jandl (1925-2000) and Karl Kraus (1874-1936), heterogeneous concepts of structuring and linking big biographical data sets are being...

Implementing efficient algorithms for combining decision procedures has been a challenge and their correctness precarious. In this paper we describe an inference system that has the classical Nelson-Oppen procedure at its core and includes several optimizations: variable abstraction with sharing, canonization of terms at the theory level, and Shostak’s streamlined generation of new equalities f...

Translation is an indispensable tool for communication between the diverse linguistic groups. It opens new horizons for the people living in a country so that it makes changes and improvements in their society, especially in the literature. Through the translation process, some literary principles and elements are introduced into the home literature which did not exist before. These features em...

The South Asian American diasporic writer, Jhumpa Lahiri has been widely acclaimed by the first-world intellectuals for her truthful representations of diasporic experience. In recent years, however, some scholars have drawn upon Gayatri Spivak’s notion of “Native Informant” to interrogate the controversial canonization of Lahiri in the West, and point instead to her disavowed participation in ...

Canon, tradition, and origin anchor developmental accounts of Black literary history, describing the forward movement from a singular beginning in terms birth, maturation, inheritance. This model delimits specialized field study, but also obscures texts, practices, archives that do not cohere with it. In study slave testimony, canonization Anglo-American poets like Phillis Wheatley Jupiter Hamm...

signed ordinances are a major part of religious ordinances having existed as normative before the institution of divine canonization and having been approved without any or with slight modification by the legislator and having entered the canon law. some neo-mu‘tazilites believe these ordinances are related to the praxes of the time of legislation, and by the disappearance of those customs they...

We say that a first order formula Φ distinguishes a graph G from another graph G′ if Φ is true on G and false on G′. Provided G and G′ are non-isomorphic, let D(G,G′) denote the minimal quantifier rank of a such formula. Let n denote the order of G. We prove that, if G′ has the same order, then D(G,G′) ≤ (n+3)/2. This bound is tight up to an additive constant of 1. Furthermore, we prove that no...

Popularity of data-driven software engineering has led to an increasing demand on the infrastructures to support efficient execution of tasks that require deeper source code analysis. While task optimization and parallelization are the adopted solutions, other research directions are less explored. We present collective program analysis (CPA), a technique for scaling large scale source code ana...