More and more music is being made available to the music listener today, while people have their favorite music on their mobile players. In this paper, we investigate an approach to automatically updating the music on the mobile player based on personal listening behavior. The aim is to automatically discard those pieces of music from the player the listener is fed up with, while new music is a...

This paper concerns a goal directed proof procedure for the propositional fragment of the adaptive logic ACLuN1. The procedure forms an algorithm for final derivability and may easily be generalized for the propositional fragment of all flat adaptive logics. The aim is to articulate a procedure that, if extended to the predicative level, provides criteria for

This panel highlights a selection of the most interesting and provocative papers from the 2004 New Security Paradigms Workshop. This workshop was held September 2004 the URL for more information is . The panel consists of authors of the selected papers, and the session is moderated by the workshop’s general chairs. We present selected papers focusing on exciting major theme...

Abstract Reverse pricing is a market mechanism under which a consumer’s bid for a product leads to a sale if the bid exceeds a hidden acceptance threshold the seller has set in advance. The seller faces two key decisions in designing such a mechanism: First, he must decide where in the process to collect the revenue—that is, whether to commit to a minimum markup above cost (and thus define the ...

Ethnic and gender discrimination in a variety of markets has been documented in several populations. We conducted an online field experiment to examine ethnic and gender discrimination in the private rental housing market in Finland. We sent 1459 inquiries regarding 800 apartments. We compared responses to standardized apartment inquiries including fictive Arabic-sounding, Finnish-sounding or S...

The design of the template for an infonnation extraction application (or exercise) reflects the nature of the task and therefore crucially affects the success of the attempt to capture infonnation from text. This paper addresses the template design requirement by discussing the general principles or desiderata of template design, object-oriented vs. flat template design, and template definition...

This panel highlights a selection of the most interesting and provocative papers from the 2002 New Security Paradigms Workshop. This workshop was held September 2002 the URL for more information is . The panel consists of authors of the selected papers, and the session is moderated by the workshop’s general chairs. We present selected papers focusing on exciting major theme...

The data presented in this article are related to the research article entitled: "Information strategies for energy conservation: a field experiment in India" (Chen et al., 2017) [1]. The availability of high-resolution electricity data offers benefits to both utilities and consumers to understand the dynamics of energy consumption for example, between billing periods or times of peak demand. H...