Nonlinear PI control of uncertain systems: an alternative to parameter adaptation

n/

The Cop Number of the One-Cop-Moves Game on Planar Graphs

Cops and robbers is a vertex-pursuit game played on graphs. In the classical cops-and-robbers game, a set of cops and a robber occupy the vertices of the graph and move alternately along the graph's edges with perfect information about each other's positions. If a cop eventually occupies the same vertex as the robber, then the cops win; the robber wins if she can indefinitely evade capture. Aigner and Frommer established that in every connected planar graph, three cops are sufficient to capture a single robber. In this paper, we consider a recently studied variant of the cops-and-robbers game, alternately called the one-active-cop game, one-cop-moves game or the lazy-cops-and-robbers game, where at most one cop can move during any round. We show that Aigner and Frommer's result does not generalise to this game variant by constructing a connected planar graph on which a robber can indefinitely evade three cops in the one-cop-moves game. This answers a question recently raised by Sullivan, Townsend and Werzanski.Comment: 32 page

A database of whole-body action videos for the study of action, emotion, and untrustworthiness

We present a database of high-definition (HD) videos for the study of traits inferred from whole-body actions. Twenty-nine actors (19 female) were filmed performing different actions—walking, picking up a box, putting down a box, jumping, sitting down, and standing and acting—while conveying different traits, including four emotions (anger, fear, happiness, sadness), untrustworthiness, and neutral, where no specific trait was conveyed. For the actions conveying the four emotions and untrustworthiness, the actions were filmed multiple times, with the actor conveying the traits with different levels of intensity. In total, we made 2,783 action videos (in both two-dimensional and three-dimensional format), each lasting 7 s with a frame rate of 50 fps. All videos were filmed in a green-screen studio in order to isolate the action information from all contextual detail and to provide a flexible stimulus set for future use. In order to validate the traits conveyed by each action, we asked participants to rate each of the actions corresponding to the trait that the actor portrayed in the two-dimensional videos. To provide a useful database of stimuli of multiple actions conveying multiple traits, each video name contains information on the gender of the actor, the action executed, the trait conveyed, and the rating of its perceived intensity. All videos can be downloaded free at the following address: http://www-users.york.ac.uk/~neb506/databases.html. We discuss potential uses for the database in the analysis of the perception of whole-body actions

ADVISE: Symbolism and External Knowledge for Decoding Advertisements

In order to convey the most content in their limited space, advertisements embed references to outside knowledge via symbolism. For example, a motorcycle stands for adventure (a positive property the ad wants associated with the product being sold), and a gun stands for danger (a negative property to dissuade viewers from undesirable behaviors). We show how to use symbolic references to better understand the meaning of an ad. We further show how anchoring ad understanding in general-purpose object recognition and image captioning improves results. We formulate the ad understanding task as matching the ad image to human-generated statements that describe the action that the ad prompts, and the rationale it provides for taking this action. Our proposed method outperforms the state of the art on this task, and on an alternative formulation of question-answering on ads. We show additional applications of our learned representations for matching ads to slogans, and clustering ads according to their topic, without extra training.Comment: To appear, Proceedings of the European Conference on Computer Vision (ECCV

Human-Computer Music Performance: From Synchronized Accompaniment to Musical Partner

Live music performance with computers has motivated many research projects in science, engineering, and the arts. In spite of decades of work, it is surprising that there is not more technology for, and a better understanding of the computer as music performer. We review the development of techniques for live music performance and outline our efforts to establish a new direction, Human-Computer Music Performance (HCMP), as a framework for a variety of coordinated studies. Our work in this area spans performance analysis, synchronization techniques, and interactive performance systems. Our goal is to enable musicians to ncorporate computers into performances easily and effectively through a better understanding of requirements, new techniques, and practical, performance-worthy implementations. We conclude with directions for future work

Superconducting properties of the attractive Hubbard model

A self-consistent set of equations for the one-electron self-energy in the ladder approximation is derived for the attractive Hubbard model in the superconducting state. The equations provide an extension of a T-matrix formalism recently used to study the effect of electron correlations on normal-state properties. An approximation to the set of equations is solved numerically in the intermediate coupling regime, and the one-particle spectral functions are found to have four peaks. This feature is traced back to a peak in the self-energy, which is related to the formation of real-space bound states. For comparison we extend the moment approach to the superconducting state and discuss the crossover from the weak (BCS) to the intermediate coupling regime from the perspective of single-particle spectral densities.Comment: RevTeX format, 8 figures. Accepted for publication in Z.Phys.

Heterosis Increases Fertility, Fecundity and Survival of Laboratory-Produced F1 Hybrid Males of the Malaria Mosquito Anopheles coluzzii

The success of vector control strategies aiming to decrease disease transmission via the release of sterile or genetically-modified male mosquitoes critically depends on mating between laboratory-reared males and wild females. Unfortunately, mosquito colonization, laboratory rearing, and genetic manipulations can all negatively affect male competitiveness. Heterosis is commonly used to produce domestic animals with enhanced vigor and homogenous genetic background and could therefore potentially improve the mating performance of mass-reared male mosquitoes. Here, we produced enhanced hybrid males of the malaria mosquito Anopheles coluzzii by crossing two strains colonized 35+ and 8 years ago. We compared the amount of sperm and mating plug proteins they transferred to females, as well as their insemination rate, reproductive success and longevity under various experimental conditions. Across experiments widespread adaptations to laboratory mating were detected in the older strain. In large-group mating experiments, no overall hybrid advantage in insemination rates and the amount of sperm and accessory gland proteins transferred to females was detected. Despite higher sperm activity, hybrid males did not appear more fecund. However, individual-male mating and laboratory-swarm experiments revealed that hybrid males, while inseminating fewer females than older inbred males, were significantly more fertile, producing larger mating plugs and drastically increasing female fecundity. Heterotic males also showed increased longevity. These results validate the use of heterosis for creating hybrid males with improved fitness from long-established inbred laboratory strains. Therefore, this simple approach could facilitate disease control strategies based on male mosquito releases with important ultimate benefits to human health

Using Bayesian networks to guide the assessment of new evidence in an appeal case.

When new forensic evidence becomes available after a conviction there is no systematic framework to help lawyers to determine whether it raises sufficient questions about the verdict in order to launch an appeal. This paper presents such a framework driven by a recent case, in which a defendant was convicted primarily on the basis of audio evidence, but where subsequent analysis of the evidence revealed additional sounds that were not considered during the trial. The framework is intended to overcome the gap between what is generally known from scientific analyses and what is hypothesized in a legal setting. It is based on Bayesian networks (BNs) which have the potential to be a structured and understandable way to evaluate the evidence in a specific case context. However, BN methods suffered a setback with regards to the use in court due to the confusing way they have been used in some legal cases in the past. To address this concern, we show the extent to which the reasoning and decisions within the particular case can be made explicit and transparent. The BN approach enables us to clearly define the relevant propositions and evidence, and uses sensitivity analysis to assess the impact of the evidence under different assumptions. The results show that such a framework is suitable to identify information that is currently missing, yet clearly crucial for a valid and complete reasoning process. Furthermore, a method is provided whereby BNs can serve as a guide to not only reason with incomplete evidence in forensic cases, but also identify very specific research questions that should be addressed to extend the evidence base and solve similar issues in the future.This research was funded by the Engineering and Physical Sciences Research Council of the UK through the Security Science Doctoral Research Training Centre (UCL SECReT) based at University College London (EP/G037264/1), and the European Research Council (ERC-2013-AdG339182-BAYES_KNOWLEDGE)

Cooper pairing near charged black holes

We show that a quartic contact interaction between charged fermions can lead to Cooper pairing and a superconducting instability in the background of a charged asymptotically Anti-de Sitter black hole. For a massless fermion we obtain the zero mode analytically and compute the dependence of the critical temperature T_c on the charge of the fermion. The instability we find occurs at charges above a critical value, where the fermion dispersion relation near the Fermi surface is linear. The critical temperature goes to zero as the marginal Fermi liquid is approached, together with the density of states at the Fermi surface. Besides the charge, the critical temperature is controlled by a four point function of a fermionic operator in the dual strongly coupled field theory.Comment: 1+33 pages, 4 figure

In search of a working notion of lex sportiva

The emergence of a lex specialis regime and its interaction with the established, governing lex generalis in their overlapping spheres of application is always an intriguing legal relationship to explore. In this article, the focus will be on the development of legal principles and rules that have been/can be collectively described as lex sportiva. However, it is notable that those involved in the consideration, usage and application of this notion have not agreed as to the scope and delimitation of the concept. It is debated whether lex sportiva exists in the first place, its legal sources and its purpose. The risk is for the concept becoming redundant when not vilified as a hidden strategy to exclude non-sports-related law from the ambit of sport. Through an examination of the different propositions to the framework of the term, this article will shed light on the existence, utility and limits of the development of this conceptualisation