Sharing through Collaborative Spaces: Enhancing Collaborative Networks Interoperability

Part 14: Interoperability and Integration

Truncated projective spaces, Brown–Gitler spectra and indecomposable A(1)-modules

MSC 19L41; 55S10.

Convolution of Orbital Measures on Symmetric Spaces of type Cp and Dp

International audience

Smallest disentangling state spaces for general entangled bipartite quantum states

Entangled quantum states can be given a separable decomposition if we relax the restriction that the local operators be quantum states. Motivated by the construction of classical simulations and local hidden variable models, we construct `smallest' local sets of operators that achieve this. In other words, given an arbitrary bipartite quantum state we construct convex sets of local operators that allow for a separable decomposition, but that cannot be made smaller while continuing to do so. We then consider two further variants of the problem where the local state spaces are required to contain the local quantum states, and obtain solutions for a variety of cases including a region of pure states around the maximally entangled state. The methods involve calculating certain forms of cross norm. Two of the variants of the problem have a strong relationship to theorems on ensemble decompositions of positive operators, and our results thereby give those theorems an added interpretation. The results generalise those obtained in our previous work on this topic [New J. Phys. 17, 093047 (2015)].

Las ilhas de Porto : un análisis socio-morfo-tipológico

La “ilha” es un tipo de vivienda clandestina para las clases trabajadoras que surge en la segunda mitad del S.XIX, fruto de la necesidad habitacional de una gran cantidad de población que abandonaba el rural en busca de empleo, en la emergente industria de Oporto. Estas viviendas de bajo coste, fueron declaradas insalubres y elementos a eliminar a partir del s. XX, existiendo numerosos planes para demolerlas. Puede ser la hora de cambiar la forma de pensar, definiendo una política de revitalización de los espacios urbanos, paralela a la búsqueda de nuevas formas de ver las “ilhas” y la ciudad de Oporto. El trabajo comienza con la idea de preguntar si la noción de “ilha” tiene algún significado en la ciudad. Saber qué hacen las “ilhas” - si es que lo hacen - que pueda ser útil a la ciudad de Oporto y cómo lo hacen. En respuesta a la problemática identificada se establecen dos objetivos. El primero se centra en Clasificar matrices morfo-tipológicas de las “ilhas” en la parroquia del Bonfim, para así conocer las diferentes formas y tipologías de las “ilhas”, seleccionando tres casos de estudio. Con los datos extraídos poder abordar el segundo objetivo que propone Definir principios para la valorización del carácter distintivo de las “ilhas” en el contexto urbano portuense. La investigación se estructura en siete capítulos, la fundamentación teórica como reflexión del urbanismo reciente, sobre las diferentes vertientes del urbanismo moderno y como éstas han afectado a las “ilhas” y a la ciudad de Oporto. Destaca la morfología urbana como ciencia que estudia la ciudad y el estado del arte que ha ayudado a poner de relieve las investigaciones realizadas sobre el tema en la actualidad. El siguiente capítulo explica la especificidad del urbanismo portugués y como a partir de éste surgen las “ilhas”, una nueva tipología de Oporto. Posteriormente con base en el análisis documental se escoge la parroquia del Bonfim para delimitar el ámbito, analizando tres casos de estudio con los datos necesarios para la obtención de respuestas y desenvolvimiento de las conclusiones finales. La metodología utilizada está dividida en dos fases: una primera fase corresponde con un marco muestral de las “Ilhas” del Bonfim (estudio mayormente cuantitativo) donde se clasifican todas las comunidades “ilha” que componen la parroquia. Y una segunda fase, estudio cualitativo, donde se analizan de manera individual tres casos de estudio, que se seleccionaran según criterios definidos, para después realizar un análisis comparativo. En conclusión, las “ilhas” se integran en una estructura social que las caracteriza, marcada por la arquitectura y apropiación del espacio que simbolizan estos núcleos habitacionales. Son ejemplo de la utilización del espacio público como espacio de convivencia, frente a multitud de unidades habitacionales con espacios públicos descuidados, sin uso, abandonados, espacios donde las personas no se identifican con el lugar convertidas en sobrantes entre los edificios o territorios vacios. Las “ilhas” muestran unos principios básicos para el diseño y la relevancia de un buen sistema de espacios públicos que permitan vivir mejor.

On Gruenhage spaces, separating σ-isolated families, and their relatives

We prove that, given a topological space X, the following conditions are equivalent. (α) X is a Gruenhage space. (β) X has a countable cover by sets of small local diameter (property SLD) by F∩G sets. (γ) X has a separating σ-isolated family M⊂F∩G. (δ) X has a one-to-one continuous map into a metric space which has a σ-isolated base of F∩G sets. Besides, we provide an example which shows Fragmentability ⇏ property SLD ⇏ the space to be Gruenhage.

Generating Effective Test Suites for Model Transformations Using Classifying Terms

Generating sample models for testing a model transformation is no easy task. This paper explores the use of classifying terms and stratified sampling for developing richer test cases for model transformations. Classifying terms are used to define the equivalence classes that characterize the relevant subgroups for the test cases. From each equivalence class of object models, several representative models are chosen depending on the required sample size. We compare our results with test suites developed using random sampling, and conclude that by using an ordered and stratified approach the coverage and effectiveness of the test suite can be significantly improved.

WEAK ISOMETRIES OF HAMMING SPACES

In this thesis we study weak isometries of Hamming spaces. These are permutations of a Hamming space that preserve some but not necessarily all distances. We wish to find conditions under which a weak isometry is in fact an isometry. This type of problem was first posed by Beckman and Quarles for Rn. In chapter 2 we give definitions pertinent to our research. The 3rd chapter focuses on some known results in this area with special emphasis on papers by V. Krasin as well as S. De Winter and M. Korb who solved this problem for the Boolean cube, that is, the binary Hamming space. We attempted to generalize some of their methods to the non-boolean case. The 4th chapter has our new results and is split into two major contributions. Our first contribution shows if n=p or p < n2, then every weak isometry of Hnq that preserves distance p is an isometry. Our second contribution gives a possible method to check if a weak isometry is an isometry using linear algebra and graph theory.

Resistance performances: (Re)constructing spaces of resistance and contention in the 2010-2011 University of Puerto Rico student movement

On the night of April 20, 2010, a group of students from the University of Puerto Rico (UPR), Río Piedras campus, met to organize an indefinite strike that quickly broadened into a defense of accessible public higher education of excellence as a fundamental right and not a privilege. Although the history of student activism in the UPR can be traced back to the early 1900s, the 2010-2011 strike will be remembered for the student activists’ use of new media technologies as resources that rapidly prompted and aided the numerous protests. ^ This activist research entailed a critical ethnography and a critical discourse analysis (CDA) of traditional and alternative media coverage and treatment during the 2010 -2011 UPR student strike. I examined the use of the 2010-2011 UPR student activists’ resistance performances in constructing local, corporeal, and virtual spaces of resistance and contention during their movement. In particular, I analyzed the different tactics and strategies of resistance or repertoire of collective actions that student activists used (e.g. new media technologies) to frame their collective identities via alternative news media’s (re)presentation of the strike, while juxtaposing the university administration’s counter-resistance performances in counter-framing the student activists’ collective identity via traditional news media representations of the strike. I illustrated how both traditional and alternative media (re)presentations of student activism developed, maintained, and/or modified students activists’ collective identities. ^ As such, the UPR student activism’s success should not be measured by the sum of demands granted, but by the sense of community achieved and the establishment of networks that continue to create resistance and change. These networks add to the debate surrounding Internet activism and its impact on student activism. Ultimately, the results of this study highlight the important role student movements have had in challenging different types of government policies and raising awareness of the importance of an accessible public higher education of excellence.^

Rota's universal operators and invariant subspaces in Hilbert spaces

A Hilbert space operator is called universal (in the sense of Rota) if every operator on the Hilbert space is similar to a multiple of the restriction of the universal operator to one of its invariant subspaces. We exhibit an analytic Toeplitz operator whose adjoint is universal in the sense of Rota and commutes with a quasi-nilpotent injective compact operator with dense range. In particular, this new universal operator invites an approach to the Invariant Subspace Problem that uses properties of operators that commute with the universal operator.

Equivalent norms in polynomial spaces and applications.

In this paper, equivalence constants between various polynomial norms are calculated. As an application, we also obtain sharp values of the Hardy Littlewood constants for 2-homogeneous polynomials on l(p)(2) spaces, 2 < p <= infinity. We also provide lower estimates for the Hardy-Littlewood constants for polynomials of higher degrees.

Classifying And Predicting Software Security Vulnerabilities based on Reproducibility

Security defects are common in large software systems because of their size and complexity. Although efficient development processes, testing, and maintenance policies are applied to software systems, there are still a large number of vulnerabilities that can remain, despite these measures. Some vulnerabilities stay in a system from one release to the next one because they cannot be easily reproduced through testing. These vulnerabilities endanger the security of the systems. We propose vulnerability classification and prediction frameworks based on vulnerability reproducibility. The frameworks are effective to identify the types and locations of vulnerabilities in the earlier stage, and improve the security of software in the next versions (referred to as releases). We expand an existing concept of software bug classification to vulnerability classification (easily reproducible and hard to reproduce) to develop a classification framework for differentiating between these vulnerabilities based on code fixes and textual reports. We then investigate the potential correlations between the vulnerability categories and the classical software metrics and some other runtime environmental factors of reproducibility to develop a vulnerability prediction framework. The classification and prediction frameworks help developers adopt corresponding mitigation or elimination actions and develop appropriate test cases. Also, the vulnerability prediction framework is of great help for security experts focus their effort on the top-ranked vulnerability-prone files. As a result, the frameworks decrease the number of attacks that exploit security vulnerabilities in the next versions of the software. To build the classification and prediction frameworks, different machine learning techniques (C4.5 Decision Tree, Random Forest, Logistic Regression, and Naive Bayes) are employed. The effectiveness of the proposed frameworks is assessed based on collected software security defects of Mozilla Firefox.

Lighting ambiances and materialities of wood in architecture: a comparative evaluation of the quality of spaces in relation to interior finishes

Le bois est un matériau souvent utilisé par les architectes pour améliorer l’ambiance générale d’un espace, mais peu de recherches en présentent l’impact réel du matériau sur les impressions visuelles et les effets lumineux. Cette recherche étudie l’influence de la matérialité du bois par rapport à la création d’ambiances d’éclairage spécifiques dans l’architecture. Plus particulièrement, elle se concentre sur l’impact des panneaux décoratifs en bois à générer de la diversité lumineuse dans les espaces intérieurs et son potentiel à améliorer la satisfaction environnementale et l’efficacité énergétique. La recherche utilise des maquettes à l’échelle pour leur précision dans la représentation des ambiances lumineuses d’espaces éclairés naturellement ainsi que les technologies récentes d’imagerie digitale pour capturer et analyser les résultats. La méthodologie permet la comparaison entre les différents réglages des espaces intérieurs créés par une sélection des types de matérialités du bois: la réflectance (valeur), la couleur et la réflectivité. Les modalités spatiales sont comparées en présence d’ensoleillement direct et sous des conditions de ciel couvert puisque les modèles d’éclairage et les ambiances diffèrent considérablement. Les résultats permettent d’établir une discussion sur les ambiances en termes de brillance et de contraste, sur la couleur ainsi que la répartition des zones lumineuses dans l’espace. La recherche souligne le rôle des matérialités que peuvent prendre le bois pour optimiser la diversité lumineuse et la création d’ambiances visuellement confortables, ainsi que ses possibilités d’améliorer les ambiances architecturales par rapport à la lumière.

Using syntactic and semantic features for classifying mo- dal values in the portuguese language

This paper presents a study made in a field poorly explored in the Portuguese language – modality and its automatic tagging. Our main goal was to find a set of attributes for the creation of automatic tag- gers with improved performance over the bag-of-words (bow) approach. The performance was measured using precision, recall and F1. Because it is a relatively unexplored field, the study covers the creation of the corpus (composed by eleven verbs), the use of a parser to extract syntac- tic and semantic information from the sentences and a machine learning approach to identify modality values. Based on three different sets of attributes – from trigger itself and the trigger’s path (from the parse tree) and context – the system creates a tagger for each verb achiev- ing (in almost every verb) an improvement in F1 when compared to the traditional bow approach.