We introduce a new type of generalized Turing machines (GTMs), which is intended as a tool for the mathematician who studies computability in Analysis. In a single tape cell a GTM can store a symbol, a real number, a continuous real function or a probability measure, for example. The model is based on TTE, the representation approach for computable analysis. As a main result we prove that the f...

Marcos Hervás 1,*, Rosa Ma Alsina-Pagès 1,† and Martí Salvador 2,† 1 GTM—Grup de Recerca en Tecnologies Mèdia, La Salle—Universitat Ramon Llull, C/Quatre Camins, 30, 08022 Barcelona, Spain; [email protected] 2 KAL, John Cotton Building, Sunnyside, Edinburgh EH7 5RA, United Kingdom; [email protected] * Correspondence: [email protected]; Tel.: +34-932-902-445 † These authors contribute...

The topic of this paper contributes to understand the process of decision-making under uncertainty and complexity. The researcher’s main concern is to explain how decision-makers within uncertain and complex contexts make a decision. The methodology selected was Grounded Theory Methodology (GTM) which aims to develop a theory grounded in empirical data obtained in the research context.

This document lists a wide variety of articles and books in the area of arithmetic dynamics. It also includes some additional material that was referenced in The Arithmetic of Dynamical Systems (Springer-Verlag GTM 241) and some miscellaneous articles and books that I’ve referenced in my own work. Note that the numbering in this document does not match the numbering of references in GTM 241. Fu...

The objective of the NASA Aviation Safety Program is to improve the safety of current and future aircraft operating in the National Airspace System. Research under this program has focused on vehicle design, construction, operation and maintenance. Reducing aircraft loss of control accidents is critical to increasing aviation safety as it is the largest and most fatal aircraft accident category...

We examine correlations between native speaker judgements on automatically generated German text against automatic evaluation metrics. We look at a number of metrics from the MT and Summarisation communities and find that for a relative ranking task, most automatic metrics perform equally well and have fairly strong correlations to the human judgements. In contrast, on a naturalness judgement t...

Résumé. Les méthodes factorielles d’analyse exploratoire statistique définissent des directions orthogonales informatives à partir d’un ensemble de données. Elles conduisent par exemple à expliquer les proximités entre individus à l’aide d’un groupe de variables caractéristiques. Dans le contexte du datamining lorsque les tableaux de données sont de grande taille, une méthode de cartographie sy...

This paper presents the “Adaptive Control Technology for Safe Flight (ACTS)” architecture, which consists of a non-adaptive controller that provides satisfactory performance under nominal flying conditions, and an adaptive controller that provides robustness under off nominal ones. The design and implementation procedures of both controllers are presented. The aim of these procedures, which enc...

Sensory maps, such as the representation of mouse facial whiskers, are conveyed throughout the nervous system by topographic axonal projections that preserve neighboring relationships between adjacent neurons. In particular, the map transfer to the neocortex is ensured by thalamocortical axons (TCAs), whose terminals are topographically organized in response to intrinsic cortical signals. Howev...

This paper addresses the related issues of statistical analysis of text corpora and of intuitivelyaccessible representation of the results of such analysis, with reference to the Newcastle-Poitiers Electronic Corpus of Tyneside English (NPECTE) project. It proposes topographic mapping as a tool for analysis and visualization of the NPECTE corpus, and is in three main parts. The first gives a br...