Lower bounds on the information rate of secret sharing schemes with homogeneous access structure

We present some new lower bounds on the optimal information rate and on the optimal average information rate of secret sharing schemes with homogeneous access structure. These bounds are found by using some covering constructions and a new parameter, the k-degree of a participant, that is introduced in this paper. Our bounds improve the previous ones in almost all cases.     

On the hardness of solving edge matching puzzles as SAT or CSP problems

Edge matching puzzles have been amongst us for a long time now and traditionally they have been considered, both, a children’s game and an interesting mathematical divertimento. Their main characteristics have already been studied, and their worst-case complexity has been properly classified as a NP-complete problem. It is in recent times, specially after being used as the problem behind a money-prized contest, with a prize of 2US$ million for the first solver, that edge matching puzzles have attracted mainstream attention from wider audiences, including, of course, computer science people working on solving hard problems. We consider these competitions as an interesting opportunity to showcase SAT/CSP solving techniques when confronted to a real world problem to a broad audience, a part of the intrinsic, i.e. monetary, interest of such a contest. This article studies the NP-complete problem known as edge matching puzzle using SAT and CSP approaches for solving it. We will focus on providing, first and foremost, a theoretical framework, including a generalized definition of the problem. We will design and show algorithms for easy and fast problem instances generation, generators with easily tunable hardness. Afterwards we will provide with SAT and CSP models for the problems and we will study problem complexity, both typical case and worst-case complexity. We will also provide some specially crafted heuristics that result in a boost in solving time and study which is the effect of such heuristics.     

DipGame: A challenging negotiation testbed

There is a chronic lack of shared application domains to test advanced research models and agent negotiation architectures in Multiagent Systems. In this paper we introduce a friendly testbed for that purpose. The testbed is based on The Diplomacy Game where negotiation and the relationships between players play an essential role. The testbed profits from the existence of a large community of human players that know the game and can easily provide data for experiments. We explain the infrastructure in the paper and make it freely available to the AI community.     

Holonomy in mobile robots

The search for a simple and accurate odometry is a main concern when working with mobile robots. This article presents a general analysis of the problem and proposes a particular solution to improve the odometry. The three crucial kinematical aspects of mobile robots (mobility, control, and positioning) are reviewed in detail for vehicles based both in conventional and in omnidirectional wheels. The latter case is more suitable from a maneuvering point of view as it provides the robot frame with the three Degrees Of Freedom (DOF) of plane motion without singular configurations. Moreover, a suitable design of the omnidirectional wheels leads to a strictly invariant Jacobian matrix and thus to a linear control equation with constant coefficients. It is shown that such vehicles may have a holonomic behavior when moving under suitable kinematical restrictions without constraining their trajectory. In that case, the odometry is algebraic (instead of integrative) and thus more accurate. An application case is presented.     

Consistent triangulation for mobile robot localization using discontinuous angular measurements

Localization is a fundamental operation for the navigation of mobile robots. The standard localization algorithms fuse external measurements of the environment with the odometric evolution of the robot pose to obtain its optimal estimation. In this work, we present a different approach to determine the pose using angular measurements discontinuously obtained in time. The presented method is based on an Extended Kalman Filter (EKF) with a state-vector composed of the external angular measurements. This algorithm keeps track of the angles between actual measurements from robot odometric information. This continuous angular estimation allows the consistent use of the triangulation methods to determine the robot pose at any time during its motion. The article reports experimental results that show the localization accuracy obtained by means of the presented approach. These results are compared to the ones obtained applying the EKF algorithm with the standard pose state-vector. For the experiments, an omnidirectional robotic platform with omnidirectional wheels is used.     

Agent-Mediated Electronic Commerce

Electronic commerce has been one of the traditional arenas for agent technology. The complexity of these applications has been a challenge for researchers that have developed methodologies, products, and systems, having in mind the specificities of trade, the interaction particularities of commerce, the strict notion of commitment and contract, and the clearly shaped conventions and norms that structure the field. In this paper I survey some key areas for agent technology which, although general, are of special importance in electronic commerce, namely, solid development methodologies, negotiation technologies and trust-building mechanisms. I give examples of systems in which I have directly participated, although I also try to refer to the work of other AgentLink Special Interest Group members over the last few years.     

Electrode surface treatments in sludge electro-osmosis dewatering

The sewage sludge dewatering produced by wastewater treatment plants (WWTP) is a multifaceted process due to the presence of colloid fractions. Electro-osmosis could be a suitable technique to reduce the water content of the final sludge. Electric fields of 10, 15, and 20?V/cm have been studied for electro-osmosis tests under the pressure of a static or rotating piston, obtaining a dry solids content up to 40–45%, with respect to 25–30% obtained by mechanical methods. In order to optimize the process, the corrosion behavior and the wear of the anodic material appear to be the main critical aspects, due to the high circulating current density and the use of a rotating electrode. We compared the efficiency and the corrosion resistance of dimensionally stable anodes (DSA) with respect to bare stainless steel (AISI 304) and stainless steel coated by PVD technique with TiN, AlTiN, and DLC. Characterization of the anode surfaces by SEM and potentiodynamic tests show that DSA is the most suitable material for our application. However, efficiencies of the electro-osmosis processes have been found comparable, in terms of developed current densities and total energy consumptions, for short-test duration.     

Distributed parameter model simulation tool for PEM fuel cells

In this work, a simulation tool for proton exchange membrane fuel cells (PEMFC) has been developed, based on a distributed parameter model. The tool is designed to perform studies of time and space variations in the direction of the gas channels. Results for steady-state and dynamic simulations for a single cell of one channel are presented and analyzed. Considered variables are concentrations of reactants, pressures, temperatures, humidification, membrane water content, current density, among others that have significant effects on the performance and durability of PEMFC.