Stepping Stones to Inductive Synthesis of Low-Level Looping Programs

Inductive program synthesis, from input/output examples, can provide an opportunity to automatically create programs from scratch without presupposing the algorithmic form of the solution. For induction of general programs with loops (as opposed to loop-free programs, or synthesis for domain-specific languages), the state of the art is at the level of introductory programming assignments. Most problems that require algorithmic subtlety, such as fast sorting, have remained out of reach without the benefit of significant problem-specific background knowledge. A key challenge is to identify cues that are available to guide search towards correct looping programs. We present MAKESPEARE, a simple delayed-acceptance hillclimbing method that synthesizes low-level looping programs from input/output examples. During search, delayed acceptance bypasses small gains to identify significantly-improved stepping stone programs that tend to generalize and enable further progress. The method performs well on a set of established benchmarks, and succeeds on the previously unsolved "Collatz Numbers" program synthesis problem. Additional benchmarks include the problem of rapidly sorting integer arrays, in which we observe the emergence of comb sort (a Shell sort variant that is empirically fast). MAKESPEARE has also synthesized a record-setting program on one of the puzzles from the TIS-100 assembly language programming game.Comment: AAAI 201

Zero gravity separator Patent

Describing apparatus for separating gas from cryogenic liquid under zero gravity and for venting gas from fuel tan

Learning Word Relatedness over Time

Search systems are often focused on providing relevant results for the "now", assuming both corpora and user needs that focus on the present. However, many corpora today reflect significant longitudinal collections ranging from 20 years of the Web to hundreds of years of digitized newspapers and books. Understanding the temporal intent of the user and retrieving the most relevant historical content has become a significant challenge. Common search features, such as query expansion, leverage the relationship between terms but cannot function well across all times when relationships vary temporally. In this work, we introduce a temporal relationship model that is extracted from longitudinal data collections. The model supports the task of identifying, given two words, when they relate to each other. We present an algorithmic framework for this task and show its application for the task of query expansion, achieving high gain.Comment: 11 pages, EMNLP 201

Automatic landmarking for building biological shape models

We present a new method for automatic landmark extraction from the contours of biological specimens. Our ultimate goal is to enable automatic identification of biological specimens in photographs and drawings held in a database. We propose to use active appearance models for visual indexing of both photographs and drawings. Automatic landmark extraction will assist us in building the models. We describe the results of using our method on drawings and photographs of examples of diatoms, and present an active shape model built using automatically extracted data

Violent behaviour detection using local trajectory response

Surveillance systems in the United Kingdom are prominent, and the number of installed cameras is estimated to be around 1.8 million. It is common for a single person to watch multiple live video feeds when conducting active surveillance, and past research has shown that a person’s effectiveness at successfully identifying an event of interest diminishes the more monitors they must observe. We propose using computer vision techniques to produce a system that can accurately identify scenes of violent behaviour. In this paper we outline three measures of motion trajectory that when combined produce a response map that highlights regions within frames that contain behaviour typical of violence based on local information. Our proposed method demonstrates state-of-the-art classification ability when given the task of distinguishing between violent and non-violent behaviour across a wide variety of violent data, including real-world surveillance footage obtained from local police organisations

Analysing co-evolution among artificial 3D creatures

This paper is concerned with the analysis of coevolutionary dynamics among 3D artificial creatures, similar to those introduced by Sims (1). Coevolution is subject to complex dynamics which are notoriously difficult to analyse. We introduce an improved analysis method based on Master Tournament matrices [2], which we argue is both less costly to compute and more informative than the original method. Based on visible features of the resulting graphs, we can identify particular trends and incidents in the dynamics of coevolution and look for their causes. Finally, considering that coevolutionary progress is not necessarily identical to global overall progress, we extend this analysis by cross-validating individuals from different evolutionary runs, which we argue is more appropriate than single-record analysis method for evaluating the global performance of individuals

Frequency of neurolopsychological deficits after traumatic brain injury

El traumatismo craneoencefálico (TCE) puede conllevar impactantes cambios en la vida cotidiana, que incluyen alteraciones a nivel social, profesional, comunicativo y cognitivo (dificultades atencionales, mnemónicas y ejecutivas). Este estudio tuvo por objeto caracterizar la ocurrencia de déficits neuropsicológicos post-TCE y constatar el impacto ocasionado por el nivel de severidad del trauma en el desempeño cognitivo de los pacientes. Participaron 96 adultos en la muestra total, que fue dividida en dos grupos para evaluar el nivel de severidad del trauma: TCE leve (n=39) y TCE grave (n=77). La gravedad de la lesión se clasificó por medio de la Escala de Coma de Glasgow, por la duración de la pérdida de consciencia, o por la amnesia post-traumática. No había diferencias entre la edad y la escolaridad de los participantes. Para la comparación entre los grupos en cuanto a la distribución de ocurrencia de déficits neuropsicológicos, se utilizó el Chi-cuadrado. Se utilizó una batería de evaluación neuropsicológica flexible conformada por tareas verbales y visoespaciales de habilidades lingüísticas, mnemónicas y ejecutivas. Los grupos no se diferenciaron en cuanto a las variables sociodemográficas. Los pacientes con TCE leve tuvieron mejores puntajes comparados con los de TCE grave (número de errores y categorías completadas del Test de clasificación de tarjetas de Wisconsin- [WCST, por sus siglas en inglés]; errores en la parte B del Test de Hayling; y en la interferencia retro y proactiva del Test de aprendizaje auditivo verbal de Rey [RAVLT, por sus siglas en inglés]. El nivel de severidad del trauma parece mostrar diferencias en los individuos en cuanto al desempeño en memoria episódica de información nueva y en el control de interferencia entre los recuerdos; lo mismo se aplica a las funciones de flexibilidad e inhibición. Estos resultados sugieren que es necesaria una mayor inversión en acciones de políticas públicas, priorizando intervenciones neurocognitivas reeducativas y métodos de prevención de accidentes relacionados con lesiones traumáticas que tengan alta incidencia de secuelas.El traumatismo craneoencefálico (TCE) puede conllevar impactantes cambios en la vida cotidiana, que incluyen alteraciones a nivel social, profesional, comunicativo y cognitivo (dificultades atencionales, mnemónicas y ejecutivas). Este estudio tuvo por objeto caracterizar la ocurrencia de déficits neuropsicológicos post-TCE y constatar el impacto ocasionado por el nivel de severidad del trauma en el desempeño cognitivo de los pacientes. Participaron 96 adultos en la muestra total, que fue dividida en dos grupos para evaluar el nivel de severidad del trauma: TCE leve (n=39) y TCE grave (n=77). La gravedad de la lesión se clasificó por medio de la Escala de Coma de Glasgow, por la duración de la pérdida de consciencia, o por la amnesia post-traumática. No había diferencias entre la edad y la escolaridad de los participantes. Para la comparación entre los grupos en cuanto a la distribución de ocurrencia de déficits neuropsicológicos, se utilizó el Chi-cuadrado. Se utilizó una batería de evaluación neuropsicológica flexible conformada por tareas verbales y visoespaciales de habilidades lingüísticas, mnemónicas y ejecutivas. Los grupos no se diferenciaron en cuanto a las variables sociodemográficas. Los pacientes con TCE leve tuvieron mejores puntajes comparados con los de TCE grave (número de errores y categorías completadas del Test de clasificación de tarjetas de Wisconsin- [WCST, por sus siglas en inglés]; errores en la parte B del Test de Hayling; y en la interferencia retro y proactiva del Test de aprendizaje auditivo verbal de Rey [RAVLT, por sus siglas en inglés]. El nivel de severidad del trauma parece mostrar diferencias en los individuos en cuanto al desempeño en memoria episódica de información nueva y en el control de interferencia entre los recuerdos; lo mismo se aplica a las funciones de flexibilidad e inhibición. Estos resultados sugieren que es necesaria una mayor inversión en acciones de políticas públicas, priorizando intervenciones neurocognitivas reeducativas y métodos de prevención de accidentes relacionados con lesiones traumáticas que tengan alta incidencia de secuelas.Traumatic brain injury (TBI) can lead to significant changes in daily life, as well as in social, labor, communicative, and cognitive domains (attention, memory and executive functions). This study aimed to characterize the occurrence of post-TBI neuropsychological deficits as well as to determine whether there is an impact related to the level of severity of the trauma on the patient's performance. Ninety-six adults participated in the study, who were divided in two groups to assess the trauma's level of severity: mild TBI (n=39) and severe TBI (n=57). This severity was classified by the Glasgow Coma Scale, by the duration of consciousness loss, or by post-traumatic amnesia. There were no differences between the groups regarding variables of age and years of schooling. A Chi- square test was used to do a comparison between the two groups in terms of occurrence of neuropsychological deficits. Verbal, visuospatial, mnemonic, linguistic and executive tests composed a flexible neuropsychological battery. Patients with mild TBI had better scores compared to those with severe TBI (number of errors and in completed categories of the Modified Wisconsin Card Sorting Test (MWCST); errors in Part B of The Hayling Test; and proactive and retroactive interference in the Rey Auditory Verbal Learning Test (RAVLT). The severity of the trauma seems to differentiate individual's performance on episodic memory of new information and in the control of interference between memories; the same is applied to flexibility and inhibition functions. These results suggest the need for more investments in public health policy actions, prioritizing neurocognitive remedial intervention and prevention methods for such condition with high incidence of sequelae

Excitability in autonomous Boolean networks

We demonstrate theoretically and experimentally that excitable systems can be built with autonomous Boolean networks. Their experimental implementation is realized with asynchronous logic gates on a reconfigurabe chip. When these excitable systems are assembled into time-delay networks, their dynamics display nanosecond time-scale spike synchronization patterns that are controllable in period and phase.Comment: 6 pages, 5 figures, accepted in Europhysics Letters (epljournal.edpsciences.org

The multi-modal nature of trustworthiness perception

Most past work on trustworthiness perception has focused on the structural features of the human face. The present study investigates the interplay of dynamic information from two channels – the face and the voice. By systematically varying the level of trustworthiness in each channel, 49 participants were presented with either facial or vocal information, or the combination of both, and made explicit judgements with respect to trustworthiness, dominance, and emotional valence. For most measures results revealed a primacy effect of facial over vocal cues. In examining the exact nature of the trustworthiness - emotion link we further found that emotional valence functioned as a significant mediator in impressions of trustworthiness. The findings extend previous correlational evidence and provide important knowledge of how trustworthiness in its dynamic and multi-modal form is decoded by the human perceiver. Index Terms: trustworthiness, face, voice, emotion, dynamic, multi-moda

Novelty Search in Competitive Coevolution

One of the main motivations for the use of competitive coevolution systems is their ability to capitalise on arms races between competing species to evolve increasingly sophisticated solutions. Such arms races can, however, be hard to sustain, and it has been shown that the competing species often converge prematurely to certain classes of behaviours. In this paper, we investigate if and how novelty search, an evolutionary technique driven by behavioural novelty, can overcome convergence in coevolution. We propose three methods for applying novelty search to coevolutionary systems with two species: (i) score both populations according to behavioural novelty; (ii) score one population according to novelty, and the other according to fitness; and (iii) score both populations with a combination of novelty and fitness. We evaluate the methods in a predator-prey pursuit task. Our results show that novelty-based approaches can evolve a significantly more diverse set of solutions, when compared to traditional fitness-based coevolution.Comment: To appear in 13th International Conference on Parallel Problem Solving from Nature (PPSN 2014