Reasoning about natural language phrases for semantic goal driven exploration

This paper presents a symbolic navigation system that uses spatial language descriptions to inform goal-directed exploration in unfamiliar office environments. An abstract map is created from a collection of natural language phrases describing the spatial layout of the environment. The spatial representation in the abstract map is controlled by a constraint based interpretation of each natural language phrase. In goal-directed exploration of an unseen office environment, the robot links the information in the abstract map to observed symbolic information and its grounded world representation. This paper demonstrates the ability of the system, in both simulated and real-world trials, to efficiently find target rooms in environments that it has never been to previously. In three unexplored environments, it is shown that on average the system travels only 8.42% further than the optimal path when using only natural language phrases to complete navigation tasks.

Immigrant Associations in the Metropolitan Area of Finland : Forms of Mobilisation, Participation and Representation

This study examines the role of immigrant associations in the societal and political integration of immigrants into Finnish society. The societal focus is on the ability of immigrant associations to mobilise their ethnic group members to participate in the socio-economic, cultural and political domains of Finnish society and in certain cases even beyond. The political integrative aims are the opportunities of immigrant associations to participate and represent the interests of their ethnic group in local and national policy making. This study focuses on associations in the Metropolitan Area of Finland, (Espoo, Helsinki and Vantaa).The qualitative research consisted of 71 interviews conducted with members of immigrant associations and civil servants. These interviews were mainly semi-structured, including some additional open-ended questions. Additional data consisted of documents, planning reports and of follow-up enquiries. -- In the analysis of the data I categorised thirty-two immigrant associations according to the activity forms and the description of the goals by the members. The four categories consisted of integrative, societal, ethno-cultural and transnational immigrant associations. Most of the immigrant associations belonged to the integrative category (15 of 32 associations). On the one hand the aims of these associations are to provide access for their ethnic group members into Finnish society, while on the other to strengthen the ethnic identity of their members by organising ethno-cultural activities. The societal associations only focused on activities with the objective of including immigrants into the Finnish labour market and educational system. The goal of ethno-cultural associations was to strengthen the ethnic identity of their ethnic group members. The transnational associations aimed at improving the living conditions of women and children in the members' country of origin. The possibilities for immigrant associations to mobilise their members depends partly on external financing. Subsidies have been allocated for societal activities in particular. There remains a risk of the crowding out of ethno-cultural activities: something which has already taken place in several European countries. Immigrant associations aim to strengthen the identity of immigrants mainly by organising social and ethno-cultural activities. Another important target was to provide peer support and therapy courses. Additionally, immigrant women's associations offer assistance to women who have encountered violence by providing counselling and in some cases access to shelter. The data showed that there is an ever growing need to pay heed to the well-being of women, children and elderly immigrants. The participation of immigrant associations in the municipalities' integrative issues takes place mainly through cooperative projects. Until the end of the 1990s there had not been much cooperation. The problem with the projects was that they had mainly been managed by civil servants, whereas members from immigrant associations had remained in a more passive position. Representation of immigrant associations in councils has been fairly weak. Immigrant associations are included in the multicultural councils of Espoo and Vantaa, but only in the planning stages. The municipality of Helsinki does not include immigrant associations due to the large number of organisations which causes problems in finding fair, democratic representation. At the national level, the ‘Advisory Board for Ethnic Relations’ – ETNO didn’t chose its members based on membership of ethnic associations, but based on belongingness to one of the larger language groups spoken by the foreign population in Finland. Since ETNO’s third period (2005-2007), the representatives of immigrant associations and ethnic minority groups have been chosen from proposed candidates. Key words: immigrant associations, integration, mobilisation, participation, representation, the Metropolitan area of Finland, immigrant (women), civil servants

PolyGLoT: A Polyhedral Loop Transformation Framework for a Graphical Dataflow Language

Polyhedral techniques for program transformation are now used in several proprietary and open source compilers. However, most of the research on polyhedral compilation has focused on imperative languages such as C, where the computation is specified in terms of statements with zero or more nested loops and other control structures around them. Graphical dataflow languages, where there is no notion of statements or a schedule specifying their relative execution order, have so far not been studied using a powerful transformation or optimization approach. The execution semantics and referential transparency of dataflow languages impose a different set of challenges. In this paper, we attempt to bridge this gap by presenting techniques that can be used to extract polyhedral representation from dataflow programs and to synthesize them from their equivalent polyhedral representation. We then describe PolyGLoT, a framework for automatic transformation of dataflow programs which we built using our techniques and other popular research tools such as Clan and Pluto. For the purpose of experimental evaluation, we used our tools to compile LabVIEW, one of the most widely used dataflow programming languages. Results show that dataflow programs transformed using our framework are able to outperform those compiled otherwise by up to a factor of seventeen, with a mean speed-up of 2.30x while running on an 8-core Intel system.

Ontologies for representation of folk song metadata

The digital management of collections in museums, archives, libraries and galleries is an increasingly important part of cultural heritage studies. This paper describes a representation for folk song metadata, based on the Web Ontology Language (OWL) implementation of the CIDOC Conceptual Reference Model. The OWL representation facilitates encoding and reasoning over a genre ontology, while the CIDOC model enables a representation of complex spatial containment and proximity relations among geographic regions. It is shown how complex queries of folk song metadata, relying on inference and not only retrieval, can be expressed in OWL and solved using a description logic reasoner.

On innate and specific aspects of human language

Mixel Aurnague, Kepa Korta and Jesus M. Larrazabal (eds.)

Tense, Aspect and the Cognitive Representation of Time

This paper explores the relationships between a computation theory of temporal representation (as developed by James Allen) and a formal linguistic theory of tense (as developed by Norbert Hornstein) and aspect. It aims to provide explicit answers to four fundamental questions: (1) what is the computational justification for the primitive of a linguistic theory; (2) what is the computational explanation of the formal grammatical constraints; (3) what are the processing constraints imposed on the learnability and markedness of these theoretical constructs; and (4) what are the constraints that a linguistic theory imposes on representations. We show that one can effectively exploit the interface between the language faculty and the cognitive faculties by using linguistic constraints to determine restrictions on the cognitive representation and vice versa. Three main results are obtained: (1) We derive an explanation of an observed grammatical constraint on tense?? Linear Order Constraint??m the information monotonicity property of the constraint propagation algorithm of Allen's temporal system: (2) We formulate a principle of markedness for the basic tense structures based on the computational efficiency of the temporal representations; and (3) We show Allen's interval-based temporal system is not arbitrary, but it can be used to explain independently motivated linguistic constraints on tense and aspect interpretations. We also claim that the methodology of research developed in this study??oss-level" investigation of independently motivated formal grammatical theory and computational models??a powerful paradigm with which to attack representational problems in basic cognitive domains, e.g., space, time, causality, etc.

TYPICAL: A Knowledge Representation System for Automated Discovery and Inference

TYPICAL is a package for describing and making automatic inferences about a broad class of SCHEME predicate functions. These functions, called types following popular usage, delineate classes of primitive SCHEME objects, composite data structures, and abstract descriptions. TYPICAL types are generated by an extensible combinator language from either existing types or primitive terminals. These generated types are located in a lattice of predicate subsumption which captures necessary entailment between types; if satisfaction of one type necessarily entail satisfaction of another, the first type is below the second in the lattice. The inferences make by TYPICAL computes the position of the new definition within the lattice and establishes it there. This information is then accessible to both later inferences and other programs (reasoning systems, code analyzers, etc) which may need the information for their own purposes. TYPICAL was developed as a representation language for the discovery program Cyrano; particular examples are given of TYPICAL's application in the Cyrano program.

The Territory of Television: S4C and the Representation of the 'Whole of Wales'

Jones, E. (2007). The Territory of Television: S4C and the Representation of the 'Whole of Wales.' In M. Cormack and N. Hourigan (Eds.), Minority Language Media: Concepts, Critiques and Case Studies (pp.188-211). No. 138. Bristol: Multilingual Matters. RAE2008

Extending snBench to Support a Graphical Programming Interface for a Sensor Network Tasking Language (STEP)

The purpose of this project is the creation of a graphical "programming" interface for a sensor network tasking language called STEP. The graphical interface allows the user to specify a program execution graphically from an extensible pallet of functionalities and save the results as a properly formatted STEP file. Moreover, the software is able to load a file in STEP format and convert it into the corresponding graphical representation. During both phases a type-checker is running on the background to ensure that both the graphical representation and the STEP file are syntactically correct. This project has been motivated by the Sensorium project at Boston University. In this technical report we present the basic features of the software, the process that has been followed during the design and implementation. Finally, we describe the approach used to test and validate our software.

Standardizing clinical trials workflow representation in UML for international site comparison.

BACKGROUND: With the globalization of clinical trials, a growing emphasis has been placed on the standardization of the workflow in order to ensure the reproducibility and reliability of the overall trial. Despite the importance of workflow evaluation, to our knowledge no previous studies have attempted to adapt existing modeling languages to standardize the representation of clinical trials. Unified Modeling Language (UML) is a computational language that can be used to model operational workflow, and a UML profile can be developed to standardize UML models within a given domain. This paper's objective is to develop a UML profile to extend the UML Activity Diagram schema into the clinical trials domain, defining a standard representation for clinical trial workflow diagrams in UML. METHODS: Two Brazilian clinical trial sites in rheumatology and oncology were examined to model their workflow and collect time-motion data. UML modeling was conducted in Eclipse, and a UML profile was developed to incorporate information used in discrete event simulation software. RESULTS: Ethnographic observation revealed bottlenecks in workflow: these included tasks requiring full commitment of CRCs, transferring notes from paper to computers, deviations from standard operating procedures, and conflicts between different IT systems. Time-motion analysis revealed that nurses' activities took up the most time in the workflow and contained a high frequency of shorter duration activities. Administrative assistants performed more activities near the beginning and end of the workflow. Overall, clinical trial tasks had a greater frequency than clinic routines or other general activities. CONCLUSIONS: This paper describes a method for modeling clinical trial workflow in UML and standardizing these workflow diagrams through a UML profile. In the increasingly global environment of clinical trials, the standardization of workflow modeling is a necessary precursor to conducting a comparative analysis of international clinical trials workflows.

FROM THE AETHIOPICA TO THE RENAISSANCE: RECOVERING A STAGE TRADITION OF POSITIVE REPRESENTATION OF AFRICANS IN EARLY MODERN ENGLAND

This dissertation looks at the connection between Heliodorus's fifth-century prose romance, An Aethiopian History, certain Renaissance texts, and how these texts helped influence an alternate representation of Africans in the early modern world. Through their portrayals of Africans, early modern English playwrights frequently give the impression that Africans, especially black Africans, were people without accomplishments, without culture. Previously, however, this was not the case. Africans were depicted with dignity, as a tradition existed for this kind of representation--and Renaissance Europe had long been acquainted with the achievements of Africans, dating back to antiquity. As the source of several lost plays, the Aethiopica is instrumental in dramatizing Africans favorably, especially on the early modern stage, and helped shape a stage tradition that runs alongside the stereotyping of Africans. This Heliodoran tradition can be seen in works of Greene, Heywood, Jonson, Shakespeare, and others in the motifs of crosscultural and transracial romance, male and female chastity, racial metamorphosis, lost or abandoned babies, wandering heroes, and bold heroines. In Jonson's Masque of Blackness and Masque of Beauty, I establish a connection between these two masques and Heliodorus's Aethiopica and argue for a Heliodoran stage tradition implicit in both masques through the conceit of blanching. In The English Moore, I explore how Richard Brome uses the Heliodoran and Jonsonian materials to create a negative quality of blackness that participates in the dramatic tradition of the degenerate African on the English Renaissance stage. With Othello, I contend that it is a drama that can be seen in the Heliodoran tradition by stressing certain motifs found in the play that derives from the Aethiopica. Reading Othello this way provides us with a more layered and historicized interpretation of Shakespeare's protagonists. Othello's nationality and faith make his exalted position in Venice and the Venetian army credible and logical. His nobility and heroic status become more sharply defined, giving us a fuller understanding of the emphasis he places on chastity--both for himself and for Desdemona. Instead of a traditional, compliant, and submissive Desdemona, a courageous, resourceful, witty, and pure heroine emerges--one who lives by the dictates of her conscience than by the constraints of societal norms. Recovering the tradition of positive portrayal of Africans that originated from the Aethiopica necessitated an examination of eleven plays that I contend helped to frame the dramatic tradition under investigation. Six of these plays are continental dramas, and five are English. Although three of the English plays are lost and the other two are seventeenth-century dramas, their titles and names of their protagonists, like those of the six extant continental plays, share the names of Heliodorus's hero and heroine, making an exploration of the continental plays imperative to facilitate their use as paradigms in reconstructing the three lost English plays. These continental dramas show that plays whose titles derive from the Aethiopica itself or reflect the names of its major characters follow Heliodorus's text closely, enabling an investigation of the Heliodoran tradition on the early modern English stage. Recovering the Heliodoran tradition adds to the exploration of racial politics and the understanding of the dramatic tradition that constrained and enabled Renaissance playwrights' representation of race and gender.

Language-universal Sensory Deficits in Developmental Dyslexia: English, Spanish, and Chinese

Studies in sensory neuroscience reveal the critical importance of accurate sensory perception for cognitive development. There is considerable debate concerning the possible sensory correlates of phonological processing, the primary cognitive risk factor for developmental dyslexia. Across languages, children with dyslexia have a specific difficulty with the neural representation of the phonological structure of speech. The identification of a robust sensory marker of phonological difficulties would enable early identification of risk for developmental dyslexia and early targeted intervention. Here, we explore whether phonological processing difficulties are associated with difficulties in processing acoustic cues to speech rhythm. Speech rhythm is used across languages by infants to segment the speech stream into words and syllables. Early difficulties in perceiving auditory sensory cues to speech rhythm and prosody could lead developmentally to impairments in phonology. We compared matched samples of children with and without dyslexia, learning three very different spoken and written languages, English, Spanish, and Chinese. The key sensory cue measured was rate of onset of the amplitude envelope (rise time), known to be critical for the rhythmic timing of speech. Despite phonological and orthographic differences, for each language, rise time sensitivity was a significant predictor of phonological awareness, and rise time was the only consistent predictor of reading acquisition. The data support a language-universal theory of the neural basis of developmental dyslexia on the basis of rhythmic perception and syllable segmentation. They also suggest that novel remediation strategies on the basis of rhythm and music may offer benefits for phonological and linguistic development.

Neural basis of language switching in the brain: fMRI evidence from Korean-Chinese early bilinguals

Using fMRI, we conducted two types of property generation task that involved language switching, with early bilingual speakers of Korean and Chinese. The first is a more conventional task in which a single language (L1 or L2) was used within each trial, but switched randomly from trial to trial. The other consists of a novel experimental design where language switching happens within each trial, alternating in the direction of the L1/L2 translation required. Our findings support a recently introduced cognitive model, the 'hodological' view of language switching proposed by Moritz-Gasser and Duffau. The nodes of a distributed neural network that this model proposes are consistent with the informative regions that we extracted in this study, using both GLM methods and Multivariate Pattern Analyses: the supplementary motor area, caudate, supramarginal gyrus and fusiform gyrus and other cortical areas. 

Knowledge representation for data integration and exploration in translational medicine

Tese de doutoramento, Informática (Bioinformática), Universidade de Lisboa, Faculdade de Ciências, 2014

Robust handling of out-of-vocabulary words in deep language processing

Tese de doutoramento, Informática (Ciências da Computação), Universidade de Lisboa, Faculdade de Ciências, 2014