Lexicografia pedagógica: atores e interfaces

Os dicionários para aprendizes de línguas estrangeiras são obras relativamente recentes no mercado editorial e atendem uma demanda por obras pedagógicas que foi ignorada pelos lexicógrafos durante muito tempo. Esse segmento do mercado lexicográfico vem se revelando promissor, com diversas possibilidades de inovações. A fim de delinear o campo de desenvolvimento da Lexicografia Pedagógica, este artigo analisa-a sob duas perspectivas: a de suas interfaces com outras áreas da Lingüística e a de seus atores, pessoas cuja atuação influencia a produção de suas obras. Esta exposição tem o objetivo de despertar o interesse de pesquisadores brasileiros pela Lexicografia Pedagógica e, indiretamente, promover a produção nacional de dicionários pedagógicos.

Water at interfaces and its influence on the electrical properties of adsorbed films

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)

An extended query-the-user tool for expert systems

An extended version of HIER, a query-the-user facility for expert systems is presented. HIER was developed to run over Prolog programs, and has been incorporated to systems that support the design of large and complex applications. The framework of the extended version is described,; as well as the major features of the implementation. An example is included to illustrate the use of the tool, involving the design of a specific database application.

A Dielectric Model of Self-Assembled Monolayer Interfaces by Capacitive Spectroscopy

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)

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

Includes bibliography

Legal and economic interfaces between antidumping and competition policy

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