Ramond-ramond central charges in the supersymmetry algebra of the superstring

The free action for the massless sector of the type II superstring was recently constructed using closed Ramond-Neveo-Schwarz superstring field theory. The supersymmetry transformations of this action are shown to satisfy an N = 2 D = 10 supersymmetry algebra with Ramond-Ramond central charges.

BRST cohomology and nonlocal conserved charges

A relation is found between nonlocal conserved charges in string theory and certain ghost-number two states in the BRST cohomology. This provides a simple proof that the nonlocal conserved charges for the superstring in an AdS 5 × S5 background are BRST-invariant in the pure spinor formalism and are κ-symmetric in the Green-Schwarz formalism. © SISSA/ISAS 2005.

User Manual for the Gender Equality Observatory for Latin America and the Caribbean

Includes bibliography

Module for the analysis of growth in international commerce (MAGIC Plus): user guide (updated)

Includes bibliography

LUTS: A lightweight user-level transaction scheduler

Software Transactional Memory (STM) systems have poor performance under high contention scenarios. Since many transactions compete for the same data, most of them are aborted, wasting processor runtime. Contention management policies are typically used to avoid that, but they are passive approaches as they wait for an abort to happen so they can take action. More proactive approaches have emerged, trying to predict when a transaction is likely to abort so its execution can be delayed. Such techniques are limited, as they do not replace the doomed transaction by another or, when they do, they rely on the operating system for that, having little or no control on which transaction should run. In this paper we propose LUTS, a Lightweight User-Level Transaction Scheduler, which is based on an execution context record mechanism. Unlike other techniques, LUTS provides the means for selecting another transaction to run in parallel, thus improving system throughput. Moreover, it avoids most of the issues caused by pseudo parallelism, as it only launches as many system-level threads as the number of available processor cores. We discuss LUTS design and present three conflict-avoidance heuristics built around LUTS scheduling capabilities. Experimental results, conducted with STMBench7 and STAMP benchmark suites, show LUTS efficiency when running high contention applications and how conflict-avoidance heuristics can improve STM performance even more. In fact, our transaction scheduling techniques are capable of improving program performance even in overloaded scenarios. © 2011 Springer-Verlag.

Is it possible to make pixel-based radar image classification user-friendly?

In this paper we would like to shed light the problem of efficiency and effectiveness of image classification in large datasets. As the amount of data to be processed and further classified has increased in the last years, there is a need for faster and more precise pattern recognition algorithms in order to perform online and offline training and classification procedures. We deal here with the problem of moist area classification in radar image in a fast manner. Experimental results using Optimum-Path Forest and its training set pruning algorithm also provided and discussed. © 2011 IEEE.

REDATAM: manual del usuario = REDATAM: user's manual

Incluye Bibliografía

User manual for the QUANTUM system: a system to exercise a step by step control over the receipt and key entry of survey questionnaires using a microcomputer, version 1.00

Manual del sistema QUANTUM desarrollado para controlar la recepción y entrega de cuestionarios de una encuesta, por microcomputador, usando dBASE III.

REDATAM: manual del usuario = REDATAM: User's manual

Manual del sistema REDATAM, de Recuperación de Datos Censales para Areas Pequenas por Microcomputador, desarrollado por CELADE. Se señalan sus capacidades y los requerimientos para su implementación, las instrucciones específicas para su instalación y manejo, y las diferentes funciones y comandos.

Paquete para Análisis Demográfico por Microcomputador (PANDEM), versión 2.00 (agosto 1988): manual del usuario = Package for Demographic Analysis by Microcomputer (PANDEM), versión 2.00 (August 1988): user's manual

Incluye Bibliografía

User-producer interaction in the Brazilian oil industry: The relationship between petrobras and its suppliers of wet Christmas tree

The objective of this work is to analyze the importance of the user-producer interaction for the innovative process of the Brazilian oil industry from the 2000s. To do so, we selected two of the three providers installed in Brazil that produce the set of valves used in the oil wellhead to control its production, set which is called wet Christmas tree (WCT), the Norway's Aker Solutions and the American FMC Technologies. The results of this analysis indicate not only the development of the oil industry in Brazil is marked by a strategy of cooperative innovation, but they also reveal the importance of geographical proximity and direct cooperation, especially between the centers of engineering and research and development of companies. Furthermore, these partnerships are not limited to the adaptation of products to new needs, but they also include the development of new systems. © Universidad Alberto Hurtado, Facultad de Economía y Negocios.

Report on the Workshop on User Education Techniques for Use in Special Libraries

Informe del Taller efectuado para identificar una definicion de educacion del usuario que sea apropiada para las bibliotecas especializadas del Sistema de Informacion del Caribe; para analizar el punto de vista del usuario de los sistemas de informacion; y para revisar algunas tecnicas que permitan el uso de los medios de comunicacion para llegar al usuario.