Intentions: a confident-based interaction design for smart spaces

The paradigm of ubiquitous computing has become a reference for the design of Smart Spaces. Current trends in Ambient Intelligence are increasingly related to the scope of Internet of Things. This paradigm has the potential to support cost-effective solutions in the fields of telecare, e-health and Ambient Assisted Living. Nevertheless, ubiquitous computing does not provide end users with a role for proactive interactions with the environment. Thus, the deployment of smart health care services at a private space like the home is still unsolved. This PhD dissertation aims to define a person-environment interaction model to foster acceptability and users confidence in private spaces by applying the concept of user-centred security and the human performance model of seven stages of action.

On some sampling-related frames in U-invariant spaces

This paper concerns the characterization as frames of some sequences in U-invariant spaces of a separable Hilbert space H where U denotes an unitary operator defined on H ; besides, the dual frames having the same form are also found. This general setting includes, in particular, shift-invariant or modulation-invariant subspaces in L2 (R), where these frames are intimately related to the generalized sampling problem. We also deal with some related perturbation problems. In so doing, we need that the unitary operator U belongs to a continuous group of unitary operators.

NFC based remote control of services for interactive spaces

Ubiquitous computing (one person, many computers) is the third era in the history of computing. It follows the mainframe era (many people, one computer) and the PC era (one person, one computer). Ubiquitous computing empowers people to communicate with services by interacting with their surroundings. Most of these so called smart environments contain sensors sensing users’ actions and try to predict the users’ intentions and necessities based on sensor data. The main drawback of this approach is that the system might perform unexpected or unwanted actions, making the user feel out of control. In this master thesis we propose a different procedure based on Interactive Spaces: instead of predicting users’ intentions based on sensor data, the system reacts to users’ explicit predefined actions. To that end, we present REACHeS, a server platform which enables communication among services, resources and users located in the same environment. With REACHeS, a user controls services and resources by interacting with everyday life objects and using a mobile phone as a mediator between himself/herself, the system and the environment. REACHeS’ interfaces with a user are built upon NFC (Near Field Communication) technology. NFC tags are attached to objects in the environment. A tag stores commands that are sent to services when a user touches the tag with his/her NFC enabled device. The prototypes and usability tests presented in this thesis show the great potential of NFC to build such user interfaces.

Urban voids, spaces of great expectations

Study and progress of urban voids. opportunities for new urban design.

Classifying GABAergic interneurons with semi-supervised projected model-based clustering

Objectives: A recently introduced pragmatic scheme promises to be a useful catalog of interneuron names.We sought to automatically classify digitally reconstructed interneuronal morphologies according tothis scheme. Simultaneously, we sought to discover possible subtypes of these types that might emergeduring automatic classification (clustering). We also investigated which morphometric properties weremost relevant for this classification.Materials and methods: A set of 118 digitally reconstructed interneuronal morphologies classified into thecommon basket (CB), horse-tail (HT), large basket (LB), and Martinotti (MA) interneuron types by 42 of theworld?s leading neuroscientists, quantified by five simple morphometric properties of the axon and fourof the dendrites. We labeled each neuron with the type most commonly assigned to it by the experts. Wethen removed this class information for each type separately, and applied semi-supervised clustering tothose cells (keeping the others? cluster membership fixed), to assess separation from other types and lookfor the formation of new groups (subtypes). We performed this same experiment unlabeling the cells oftwo types at a time, and of half the cells of a single type at a time. The clustering model is a finite mixtureof Gaussians which we adapted for the estimation of local (per-cluster) feature relevance. We performedthe described experiments on three different subsets of the data, formed according to how many expertsagreed on type membership: at least 18 experts (the full data set), at least 21 (73 neurons), and at least26 (47 neurons).Results: Interneurons with more reliable type labels were classified more accurately. We classified HTcells with 100% accuracy, MA cells with 73% accuracy, and CB and LB cells with 56% and 58% accuracy,respectively. We identified three subtypes of the MA type, one subtype of CB and LB types each, andno subtypes of HT (it was a single, homogeneous type). We got maximum (adapted) Silhouette widthand ARI values of 1, 0.83, 0.79, and 0.42, when unlabeling the HT, CB, LB, and MA types, respectively,confirming the quality of the formed cluster solutions. The subtypes identified when unlabeling a singletype also emerged when unlabeling two types at a time, confirming their validity. Axonal morphometricproperties were more relevant that dendritic ones, with the axonal polar histogram length in the [pi, 2pi) angle interval being particularly useful.Conclusions: The applied semi-supervised clustering method can accurately discriminate among CB, HT, LB, and MA interneuron types while discovering potential subtypes, and is therefore useful for neuronal classification. The discovery of potential subtypes suggests that some of these types are more heteroge-neous that previously thought. Finally, axonal variables seem to be more relevant than dendritic ones fordistinguishing among the CB, HT, LB, and MA interneuron types.

Identification of pore spaces in 3D CT soil images using a PFCM partitional clustering

Recent advances in non-destructive imaging techniques, such as X-ray computed tomography (CT), make it possible to analyse pore space features from the direct visualisation from soil structures. A quantitative characterisation of the three-dimensional solid-pore architecture is important to understand soil mechanics, as they relate to the control of biological, chemical, and physical processes across scales. This analysis technique therefore offers an opportunity to better interpret soil strata, as new and relevant information can be obtained. In this work, we propose an approach to automatically identify the pore structure of a set of 200-2D images that represent slices of an original 3D CT image of a soil sample, which can be accomplished through non-linear enhancement of the pixel grey levels and an image segmentation based on a PFCM (Possibilistic Fuzzy C-Means) algorithm. Once the solids and pore spaces have been identified, the set of 200-2D images is then used to reconstruct an approximation of the soil sample by projecting only the pore spaces. This reconstruction shows the structure of the soil and its pores, which become more bounded, less bounded, or unbounded with changes in depth. If the soil sample image quality is sufficiently favourable in terms of contrast, noise and sharpness, the pore identification is less complicated, and the PFCM clustering algorithm can be used without additional processing; otherwise, images require pre-processing before using this algorithm. Promising results were obtained with four soil samples, the first of which was used to show the algorithm validity and the additional three were used to demonstrate the robustness of our proposal. The methodology we present here can better detect the solid soil and pore spaces on CT images, enabling the generation of better 2D?3D representations of pore structures from segmented 2D images.

Challenges for future of Natural Spaces of Canary Islands, Spain

The preservation of biodiversity is a fundamental objective of a ll policies related to a more sustainable development in any modern society. The rain forest and pine forests are two unique Canarian ecosystems with high importance to global biodiversity, holding a large number of endemic species and subspecies that is a priority to preserve. In this work the challenges that will face the natural areas of the Canary Islands are studied, as well as their fundamental value for economic and environmental development of the islands.

Vacíos urbanos en la ciudad de Zaragoza (1975-2010). Oportunidades para la estructuración y continuidad urbana

La expansión de las ciudades hacia la periferia en las últimas décadas ha generado una serie de tejidos en colisión, donde los intersticios y los espacios residuales muestran la realidad de una ciudad dispersa. A esta serie de espacios intermedios los denominaremos “vacíos urbanos” y determinaremos una serie de factores que hagan posible su identificación Los vacíos urbanos son el objeto de la Tesis. El concepto “vacío urbano” adquiere un determinado significado para la investigación y se acota formulando una serie de parámetros para su definición. Definiremos los “vacíos urbanos” como espacios que han aparecido en el extrarradio de las ciudades, fruto de una expansión sin precedentes de las áreas urbanas. Han surgido como lugares residuales condicionados por elementos naturales o por infraestructuras, ligados a una temporalidad incierta, no inmersos en la dinámicas urbanas o habiendo perdido su funcionalidad. El objetivo de esta investigación es localizar y clasificar los vacíos existentes en la ciudad partiendo de la hipótesis de que es posible establecer una metodología para su reconocimiento y comprobación de los parámetros que los definen. La investigación centra su estudio en la ciudad de Zaragoza, como un ejemplo paradigmático, confirmando que la nueva fenomenología territorial, no sólo se manifiesta en dicha ciudad y en las áreas en concreto donde se ha estudiado, sino que más bien se trata de observarla como una serie de modelos tipológicos que respondan a un proceso de análisis. La propuesta metodológica de loa tesis pasa por reconocerlos, mostrarlos y darles una visibilidad que permita su clasificación, el desarrollo de un estudio de Áreas de la ciudad donde se localizan y un análisis de cada tipología de vacío urbano. Como instrumento metodológico se ha elaborado una detallada cartografía a diferentes escalas. La realización de los planos ha sido el medio de análisis que ha permitido localizar e interpretar los vacíos, complementado con unas escogidas fotografías de estos entornos. La metodología se convierte en un modo de descubrir y analizar los vacíos, el proceso conlleva la comprobación y la clasificación en una tipología. Según se han ido analizando nuevas áreas, se confirma como un hecho repetitivo exitoso y se observa que es aplicable a otras áreas urbanas de similares características, donde se den las condiciones principales de cada tipo. En general, deberán ser espacios localizados en la periferia de núcleos urbanos donde aparezcan fenómenos ligados a una expansión discontinua. Parece probable que el futuro de la ciudad se tenga que resolver en las próximas décadas sobre su actual extensión; bajo este supuesto, es trascendente la función que los vacíos puedan desempeñar en el futuro desarrollo urbano. Toda posibilidad de intervención precisará de una necesaria reinterpretación, puestas las miras en su potencial como elementos capaces de generar una rehabilitación urbana. A su vez se hace conveniente plantear una reflexión sobre estos espacios cargados de una dimensión social y cultural, como lugares capaces de articular y dotar de identidad al medio urbano. Los vacíos deberían protagonizar un papel relevante en la estructuración urbana, abriendo posibilidades para el tramado de la ciudad desde nuevas perspectivas. Una apuesta para que estos espacios libres pasen de ser el objetivo de procesos urbanizadores tradicionales, a ser considerados como oportunos elementos vertebradores de los entornos periurbanos, colaborando en el objetivo de una ciudad contemporánea sostenible. ABSTRACT In the last decades the city periphary expansion has provoked a series of matters to collide, where interstices and waste lands show the reality of a divided city. We shall determine a number of factors allowing us to treat these “in between” spaces, also called "urban voids" as identifiable elements. We will consider them the subject of the thesis and establish them as a "concept", delimiting the meaning of the research specifically acquired, defining, and formulating a set of parameters. "Urban voids" are defined as spaces that have appeared on the outskirts of cities, the result of an unprecedented expansion of urban areas. They have emerged as waste lands, conditioned by natural elements or infrastructure, related to uncertain temporality, not immersed in the urban dynamics, or having lost their functionality. It seems likely that in the upcoming decades, the future of the city will have to resolve its current way of expanding . It is under this assumption that urban voids, as intermediate spaces, will play an important role in future urban developments. Any possible intervention will require a necessary reinterpretation, closely watching their potential as elements capable of generating an urban rehabilitation. At the same time, we wish to reflect on these spaces, in many cases loaded with a social and cultural dimension, as places able to articulate and give identity to the urban environment. Based on the hypothesis that it is possible to establish a methodology for recognition and verification, the purpose of this research is to locate and classify the existing urban voids in the city. The research focuses its study on the city of Saragossa which can be seen as a paradigmatic example. The objective is to confirm that this new territorial phenomenology, not only manifests itself in Saragossa and specific areas under study, but also, can be observed as a series of typological models that respond to a review process. The methodological proposal will recognize, demonstrate, and exhibit these urban voids, in a light that will allow us to classify them, examine the different areas where they can be found, and develop a tipology analysis of each type of urban void found. The technical tool used in this research is a detailed mapping at different scales. A realization of plans, as a mean of analysis, supplemented with a few selected pictures of these environments, will facilitate the location and interpretation of these voids. This scholarly approach to discover and analyze urban voids will involve checking and classifying them in a typology. It has been confirmed as a successful constant regulator while exploring new areas. It will be apply to other urban areas with similar characteristics, that is, spaces located on the periphery of urban areas where expansion is linked to the appearence of discontinuous phenomena. The urban voids play a fundamental role within the urban structure, providing the city a weaving scheme with opportunities of fresh perspectives. The challenge for these free spaces is to move from being the consequence of traditional urban development processes, to being considered opportune backbone elements of peri-urban environments, and to finally contribute to the objectives of a sustainable contemporary city.

New lower bounds for the topological complexity of aspherical spaces

Date of Acceptance: 5/04/2015 15 pages, 4 figures

Nonatomic games on Loeb spaces

In the setting of noncooperative game theory, strategic negligibility of individual agents, or diffuseness of information, has been modeled as a nonatomic measure space, typically the unit interval endowed with Lebesgue measure. However, recent work has shown that with uncountable action sets, for example the unit interval, there do not exist pure-strategy Nash equilibria in such nonatomic games. In this brief announcement, we show that there is a perfectly satisfactory existence theory for nonatomic games provided this nonatomicity is formulated on the basis of a particular class of measure spaces, hyperfinite Loeb spaces. We also emphasize other desirable properties of games on hyperfinite Loeb spaces, and present a synthetic treatment, embracing both large games as well as those with incomplete information.

Knowledge-based analysis of microarray gene expression data by using support vector machines

We introduce a method of functionally classifying genes by using gene expression data from DNA microarray hybridization experiments. The method is based on the theory of support vector machines (SVMs). SVMs are considered a supervised computer learning method because they exploit prior knowledge of gene function to identify unknown genes of similar function from expression data. SVMs avoid several problems associated with unsupervised clustering methods, such as hierarchical clustering and self-organizing maps. SVMs have many mathematical features that make them attractive for gene expression analysis, including their flexibility in choosing a similarity function, sparseness of solution when dealing with large data sets, the ability to handle large feature spaces, and the ability to identify outliers. We test several SVMs that use different similarity metrics, as well as some other supervised learning methods, and find that the SVMs best identify sets of genes with a common function using expression data. Finally, we use SVMs to predict functional roles for uncharacterized yeast ORFs based on their expression data.

Characterizations of logarithmic Besov spaces in terms of differences, Fourier-analytical decompositions, wavelets and semi-groups.

We work with Besov spaces Bp,q0,b defined by means of differences, with zero classical smoothness and logarithmic smoothness with exponent b. We characterize Bp,q0,b by means of Fourier-analytical decompositions, wavelets and semi-groups. We also compare those results with the well-known characterizations for classical Besov spaces Bp,qs.

On paracompactness, completeness and boundedness in uniform spaces

Recently two new types of completeness in metric spaces, called Bourbaki-completeness and cofinal Bourbaki-completeness, have been introduced in [7]. The purpose of this note is to analyze these completeness properties in the general context of uniform spaces. More precisely, we are interested in how they are related with uniform paracompactness properties, as well as with some kind of uniform boundedness.

Two classes of metric spaces

The class of metric spaces (X,d) known as small-determined spaces, introduced by Garrido and Jaramillo, are properly defined by means of some type of real-valued Lipschitz functions on X. On the other hand, B-simple metric spaces introduced by Hejcman are defined in terms of some kind of bornologies of bounded subsets of X. In this note we present a common framework where both classes of metric spaces can be studied which allows us to see not only the relationships between them but also to obtain new internal characterizations of these metric properties.

Classifying image analysis techniques from their output

In this paper we discuss some main image processing techniques in order to propose a classification based upon the output these methods provide. Because despite a particular image analysis technique can be supervised or unsupervised, and can allow or not the existence of fuzzy information at some stage, each technique has been usually designed to focus on a specific objective, and their outputs are in fact different according to each objective. Thus, they are in fact different methods. But due to the essential relationship between them they are quite often confused. In particular, this paper pursues a clarification of the differences between image segmentation and edge detection, among other image processing techniques.