Mengelkamp, Esther Diesing, Julius Weinhardt, Christof
Published in
it - Information Technology

We conduct a structured literature review on the concept of local energy markets (LEMs). LEMs have gained increasing attention in the last two decades. Yet, a holistic definition and clear demarcation of LEMs is still missing. The review shows current works to shift their focus from conceptual implementation and design to increasingly realistic app...

Hashimoto, Takashi Shinohara, Naoto Egashira, Susumu

Corporate Social Responsibility (CSR), such as pro-environmental behaviour and fair trade, is a kind of normative behaviour by private companies to provide a quasi-public good. We study dissemination mechanism of CSR with a multi-agent model in which corporation agents and consumer agents interact with each other. We show that the mechanism to diss...

Hermelin, Danny Landau, Gad M. Landau, Shir Weimann, Oren

The edit distance problem is a classical fundamental problem in computer science in general, and in combinatorial pattern matching in particular. The standard dynamic-programming solution for this problem computes the edit-distance between a pair of strings of total length $O(N)$ in $O(N^2)$ time. To this date, this quadratic upper-bound has never ...

Bousquet, Nicolas Daligault, Jean Thomasse, Stephan Yeo, Anders

The {sc Multicut In Trees} problem consists in deciding, given a tree, a set of requests (i.e. paths in the tree) and an integer $k$, whether there exists a set of $k$ edges cutting all the requests. This problem was shown to be FPT by Guo and Niedermeyer (2005). They also provided an exponential kernel. They asked whether this problem has a polyno...

Munkelt, Christoph Denzler, Joachim

To obtain complete 3D object reconstructions using optical measurements, several views of the object are necessary. The task of determining good sensor positions to achieve a 3D reconstruction with low error, high completeness and few required views is called the Next Best View (NBV) problem. Solving the NBV problem is an important task for automat...

Arvind, Vikraman Mukhopadhyay, Partha

Motivated by the quantum algorithm for testing commutativity of black-box groups (Magniez and Nayak, 2007), we study the following problem: Given a black-box finite ring by an additive generating set and a multilinear polynomial over that ring, also accessed as a black-box function (we allow the indeterminates of the polynomial to be commuting or n...

Bhattacharyya, Arnab Chen, Victor Sudan, Madhu Xie, Ning

We consider the task of testing properties of Boolean functions that are invariant under linear transformations of the Boolean cube. Previous work in property testing, including the linearity test and the test for Reed-Muller codes, has mostly focused on such tasks for linear properties. The one exception is a test due to Green for {}``triangle fre...

Hummel, Szczepan Michalewski, Henryk Niwinski, Damian

The game tree languages can be viewed as an automata-theoretic counterpart of parity games on graphs. They witness the strictness of the index hierarchy of alternating tree automata, as well as the fixed-point hierarchy over binary trees. We consider a game tree language of the first non-trivial level, where Eve can force that 0 repeats from some m...

Hwang, Seung-won Lee, Mu-Woong

Collaborative filtering has been successfully applied for predicting a person's preference on an item, by aggregating community preference on the item. Typically, collaborative filtering systems are based on based on quantitative preference modeling, which requires users to express their preferences in absolute numerical ratings. However, quantitat...

Das Sarma, Anish de Keijzer, Ander Deshpande, Amol Haas, Peter J. Ilyas, Ihab F. Koch, Christoph Neumann, Thomas Olteanu, Dan Theobald, Martin Vassalos, Vasilis
...

This report briefly summarizes the discussions carried out in the working group on classification, representation and modeling of uncertain data. The discussion was divided into two subgroups: the first subgroup studied how different representation and modeling alternatives currently proposed can fit in a bigger picture of theory and technology int...