Automatic Lesser Kestrel’s Gender Identification using Video Processing

Traditionally, animal surveillance is a common task for biologists. However, this task is often accompanied by the inspection of huge amounts of video. In this sense, this paper proposes an automatic video processing algorithm to identify the gender of a kestrel species. It is based on optical flow and texture analysis. This algorithm makes it possible to identify the important information and therefore, minimizing the analysis time for biologists. Finally, to validate this algorithm, it has been tested against a set of videos, getting good classification results.Junta de Andalucía P10-TIC-570

Automatic Software Repair: a Bibliography

This article presents a survey on automatic software repair. Automatic software repair consists of automatically finding a solution to software bugs without human intervention. This article considers all kinds of repairs. First, it discusses behavioral repair where test suites, contracts, models, and crashing inputs are taken as oracle. Second, it discusses state repair, also known as runtime repair or runtime recovery, with techniques such as checkpoint and restart, reconfiguration, and invariant restoration. The uniqueness of this article is that it spans the research communities that contribute to this body of knowledge: software engineering, dependability, operating systems, programming languages, and security. It provides a novel and structured overview of the diversity of bug oracles and repair operators used in the literature

Isomorphisms of scattered automatic linear orders

We prove that the isomorphism of scattered tree automatic linear orders as well as the existence of automorphisms of scattered word automatic linear orders are undecidable. For the existence of automatic automorphisms of word automatic linear orders, we determine the exact level of undecidability in the arithmetical hierarchy

Improving Sweden's Automatic Pension Adjustment Mechanism

The public pension world has seen two innovations in recent years. One is the emergence of notional defined contribution (NDC) plans. The other is the introduction of automatic adjustment mechanisms to help keep pension systems solvent when the economy weakens. This brief looks at the Swedish system to demonstrate how NDCs work and evaluates the work­ings of the automatic adjustment mechanism in the wake of the 2008 financial crisis. Sweden passed reform legislation in 1994 that in­troduced a partially-funded NDC plan.1 The arrange­ment is conceptually similar to a defined contribution plan in that contributions are accumulated in indi­vidual accounts, but different in that the accounts are not fully funded and may be financed entirely on a pay-as-you-go basis. In this setting, the rate of return credited on the account assets is based on a rule rath­er than on actual returns. The Swedish system uses a notional interest rate equal to the rate of growth of average earnings. However, if a calculation suggests a potential deficit, the notional interest rate is auto­matically reduced through a “brake” mechanism. The recent financial crisis has highlighted ways in which the brake mechanism could be improved. This brief proceeds as follows. The first section describes Sweden’s NDC plan. The second describes the Swedish brake mechanism. The third describes two problems with the current adjustment procedure: 1) it creates the likelihood of large shocks for retir­ees; and 2) while disadvantaging retirees, it tends to advantage workers. The fourth section presents pos­sible fixes for the current problems. The final section concludes that the Swedish NDC plan could function more effectively with modest changes to the brake mechanism.

Automatic Hermiticity

We study a diagonalizable Hamiltonian that is not at first hermitian. Requirement that a measurement shall not change one Hamiltonian eigenstate into another one with a different eigenvalue imposes that an inner product must be defined so as to make the Hamiltonian normal with regard to it. After a long time development with the non-hermitian Hamiltonian, only a subspace of possible states will effectively survive. On this subspace the effect of the anti-hermitian part of the Hamiltonian is suppressed, and the Hamiltonian becomes hermitian. Thus hermiticity emerges automatically, and we have no reason to maintain that at the fundamental level the Hamiltonian should be hermitian. If the Hamiltonian is given in a local form, a conserved probability current density can be constructed with two kinds of wave functions. We also point out a possible misestimation of a past state by extrapolating back in time with the hermitian Hamiltonian. It is a seeming past state, not a true one.Comment: 8 pages, references added, typos etc. corrected, the final version to appear in Prog.Theor.Phy

A Critical Review of "Automatic Patch Generation Learned from Human-Written Patches": Essay on the Problem Statement and the Evaluation of Automatic Software Repair

At ICSE'2013, there was the first session ever dedicated to automatic program repair. In this session, Kim et al. presented PAR, a novel template-based approach for fixing Java bugs. We strongly disagree with key points of this paper. Our critical review has two goals. First, we aim at explaining why we disagree with Kim and colleagues and why the reasons behind this disagreement are important for research on automatic software repair in general. Second, we aim at contributing to the field with a clarification of the essential ideas behind automatic software repair. In particular we discuss the main evaluation criteria of automatic software repair: understandability, correctness and completeness. We show that depending on how one sets up the repair scenario, the evaluation goals may be contradictory. Eventually, we discuss the nature of fix acceptability and its relation to the notion of software correctness.Comment: ICSE 2014, India (2014

Automatic transponder

A method and apparatus for the automatic, remote measurement of the internal delay time of a transponder at the time of operation is provided. A small portion of the transmitted signal of the transponder is converted to the receive signal frequency of the transponder and supplied to the input of the transponder. The elapsed time between the receive signal locally generated and the receive signal causing the transmission of the transmitted signal is measured, said time being representative of or equal to the internal delay time of the transponder at the time of operation

Time course analyses confirm independence of automatic imitation and spatial compatibility effects

Automatic imitation has been used as a behavioural index of the functioning of the human mirror system (e.g. Brass, Bekkering, Wohlschlager, & Prinz, 2000; Heyes, Bird, Johnson, & Haggard, 2005; Kilner, Paulignan, & Blakemore, 2003). However, several papers have criticised the assumption that automatic imitation is mediated by the mirror system on the grounds that automatic imitation has been confounded with simple spatial compatibility (Aicken, Wilson, Williams, & Mon-Williams, 2007; Bertenthal, Longo, and Kosobud, 2006; Jansson, Wilson, Williams, & Mon-Williams, 2007). Two experiments are reported in which, in contrast with previous studies, automatic imitation was measured on both spatially compatible and spatially incompatible trials, and automatic imitation was shown to be present regardless of spatial compatibility. Additional features of the two experiments allowed measurement of the time courses of the automatic imitation and spatial compatibility effects both within and across trials. It was found that automatic imitation effects follow a different time course from spatial compatibility effects, providing further evidence for their independence and supporting the use of automatic imitation as a behavioural marker of mirror system functioning