Bribery in voting with CP-nets

We investigate the computational complexity of finding optimal bribery schemes in voting domains where the candidate set is the Cartesian product of a set of variables and voters use CP-nets, an expressive and compact way to represent preferences. To do this, we generalize the traditional bribery problem to take into account several issues over which agents vote, and their inter-dependencies. We consider five voting rules, three kinds of bribery actions, and five cost schemes. For most of the combinations of these parameters, we find that bribery in this setting is computationally easy.     

Exploring creative intersections: Ernest Edmonds and his time-based generative art

This article focuses on the experience of British artist Ernest Edmonds and the influences that have informed his art practice in the past forty years. How are these influences connected? The article has an historical focus. It develops the themes within Edmonds's art and shows his connections with the ‘Systems’ artists and their forebears. In particular, the article concentrates on the encounter of Edmonds with artistic thinking about systems and process in the broad sense, as well as digital and interactive work developed from the early 1980s. As the article will demonstrate, a passion for colour, time and structure, the encounter with a number of artists inspired by Constructivism in the early 1980s, and the educational context in which Edmonds has worked from the late 1960s until the present, have offered great opportunities of interdisciplinary exchanges and ideas that had a profound impact upon the nature of his art. These influences have enabled Edmonds to explore new constructs in art through the use of technology that are a constant stimulus in his creative research, both as an artist and as an academic.     

On the human ability to discriminate audio ambiances from similar locations of an urban environment

When developing advanced location-based systems augmented with audio ambiances, it would be cost-effective to use a few representative samples from typical environments for describing a larger number of similar locations. The aim of this experiment was to study the human ability to discriminate audio ambiances recorded in similar locations of the same urban environment. A listening experiment consisting of material from three different environments and nine different locations was carried out with nineteen subjects to study the credibility of audio representations for certain environments which would diminish the need for collecting huge audio databases. The first goal was to study to what degree humans are able to recognize whether the recording has been made in an indicated location or in another similar location, when presented with the name of the place, location on a map, and the associated audio ambiance. The second goal was to study whether the ability to discriminate audio ambiances from different locations is affected by a visual cue, by presenting additional information in form of a photograph of the suggested location. The results indicate that audio ambiances from similar urban areas of the same city differ enough so that it is not acceptable to use a single recording as ambience to represent different yet similar locations. Including an image was found to increase the perceived credibility of all the audio samples in representing a certain location. The results suggest that developers of audio-augmented location-based systems should aim at using audio samples recorded on-site for each location in order to achieve a credible impression.     

Development of a genetic algorithm for component placement sequence optimization in printed circuit board assembly

This paper describes the development and evaluation of a custom application exploring the use of genetic algorithms (GA) to solve a component placement sequencing problem for printed circuit board (PCB) assembly. In the assembly of PCB’s, the component placement process is often the bottleneck, and the equipment to complete component placement is often the largest capital investment. The number of components placed on a PCB can range from few to hundreds. As a result, developing an application to determine an optimal or near-optimal placement sequence can translate into reduced cycle times for the overall assembly process and reduced assembly costs. A custom application was developed to evaluate the effectiveness of using GA’s to solve the component placement sequencing problem. A designed experiment was used to determine the best representation and crossover type, crossover rate, and mutation rate to use in solving a component sequencing problem for a PCB consisting of 10 components being placed on a single-headed placement machine. Three different representations (path, ordinal, and adjacency) and six appropriate crossover types (partially mapped, ordered, cycle, classical, alternating edges, and heuristic) were evaluated at three different mutation rates and at 11 crossover rates. Two algorithm response variables, the total distance traveled by the placement head and the algorithm solution efficiency (measured as number of generations and algorithm solution time) were used to evaluate the different GA applications. The combination of representation and crossover type along with mutation rate were found to be the most significant parameters in the algorithm design. In particular, path representation with order crossover was found to produce the best solution as measured by the total distance traveled as well as the solution generation efficiency. Increasing the mutation rate led to slightly improved solutions in terms of head travel, but also resulted in increased solution time.     

METIS-II: low resource machine translation

METIS-II was an EU-FET MT project running from October 2004 to September 2007, which aimed at translating free text input without resorting to parallel corpora. The idea was to use “basic” linguistic tools and representations and to link them with patterns and statistics from the monolingual target-language corpus. The METIS-II project has four partners, translating from their “home” languages Greek, Dutch, German, and Spanish into English. The paper outlines the basic ideas of the project, their implementation, the resources used, and the results obtained. It also gives examples of how METIS-II has continued beyond its lifetime and the original scope of the project. On the basis of the results and experiences obtained, we believe that the approach is promising and offers the potential for development in various directions.     

Self-adaptive utility-based web session management

In the Internet, where millions of users are a click away from your site, being able to dynamically classify the workload in real time, and predict its short term behavior, is crucial for proper self-management and business efficiency. As workloads vary significantly according to current time of day, season, promotions and linking, it becomes impractical for some ecommerce sites to keep over-dimensioned infrastructures to accommodate the whole load. When server resources are exceeded, session-based admission control systems allow maintaining a high throughput in terms of properly finished sessions and QoS for a limited number of sessions; however, by denying access to excess users, the website looses potential customers.In the present study we describe the architecture of AUGURES, a system that learns to predict Web user’s intentions for visiting the site as well its resource usage. Predictions are made from information known at the time of their first request and later from navigational clicks. For this purpose we use machine learning techniques and Markov-chain models. The system uses these predictions to automatically shape QoS for the most profitable sessions, predict short-term resource needs, and dynamically provision servers according to the expected revenue and the cost to serve it. We test the AUGURES prototype on access logs from a high-traffic, online travel agency, obtaining promising results.     

Thymosin β4 is differentially expressed in the cerebrospinal fluid of Creutzfeldt‐Jakob disease patients: a MALDI‐TOF MS protein profiling study

MALDI‐TOF protein profiling analysis permits the detection of peptides and small proteins in complex protein mixtures with great accuracy. We applied this analysis to cerebrospinal fluid (CSF) from 15 patients affected by Creutzfeldt‐Jakob disease (CJD). We compared the levels of the normalized ion signals of 11 sporadic and 4 genetic CJD forms with those from ten healthy control subjects and eight non‐CJD relapsing‐remitting multiple sclerosis patients. In so doing, we detected 61 differentially expressed ion signals in CJD samples compared to controls. Among the 61 signals, 3 signals had significantly increased levels with high statistical significance (p <0.0001) and were located at 3238.3 m/z, 4963.7 m/z, and 8565.3 m/z. We characterized the 5.0 and 8.6 kDa proteins as thymosin β4 N‐acetylated and free ubiquitin, respectively, while the 3.2‐kDa peptide remained uncharacterized. Although elevated ubiquitin levels have previously been described in CJD, we have demonstrated for the first time the involvement of thymosin β4 in a neurodegenerative disease. To support the validity of thymosin β4 levels obtained by MALDI‐TOF analysis, an independent enzyme immunoassay analysis was performed. Moreover, a validation cohort consisting of CSF from three CJD patients, five healthy subjects, and six non‐CJD relapsing‐remitting multiple sclerosis patients was analyzed in a similar way, yielding superimposable results. We propose that thymosin β4 is a potential new candidate marker for the ante mortem diagnosis of CJD disease.     

Further results on controllability properties of discrete-time nonlinear systems

Controllability questions for discrete-time nonlinear systems are addressed in this paper. In particular, we continue the search for conditions under which the group-like notion of transitivity implies the stronger and semigroup-like property of forward accessibility. We show that this implication holds, pointwise, for states which have a weak Poisson stability property, and globally, if there exists a global attractor for the system.This research was supported in part by US Air Force Grant AFOSR-91-0346, and also by an INDAM (Istituto Nazionale di Alta Matematica Francesco Severi, Italy) fellowship.