Miracle-dz/UniFAR-FTUs huggingface dataset:
Limpieza del PVC plastificado: metodología aplicable a obras de arte y objetos de museo

La cantidad de objetos de plastico que se encuentra en las colecciones de los museos es, sin lugar a dudas, cada vez mayor. Por ello, no es de sorprender que la conservacion de los objetos realizados en materiales plasticos este ganando cada vez mayor interes y atencion. Existen numerosos articulos publicados acerca de la composicion, fabricacion y reciclado de plasticos, pero no tanto sobre su degradacion, y muy pocos sobre su limpieza y conservacion. Durante los ultimos anos, algunas instituciones han desarrollado proyectos relacionados con la limpieza de plasticos o cursos de formacion sobre la conservacion de materiales modernos. Algunas de estas instituciones son: el ICN, (“Netherlands Institute of Cultural Heritage”), el “Institute for Conservation Sciences of Cologne” y la “School of Conservation of Copenhagen”, esta ultima en colaboracion con el “Statens Museum for Kunst” o el “Nacional Museum of Denmark”. Otros, como el Getty Conservation Institute o el proyecto POPART (Preservation of Plastic ARTefacts in museums) se han centrado en extensos programas e investigaciones sobre la limpieza de plasticos. Por otra parte, la limpieza de la superficie es una parte fundamental en el campo de la conservacion activa de los materiales plasticos, lo que requiere un profundo conocimiento de dichos materiales, su reactividad y degradacion, resultando en muchos casos dificil para conservadores y cientificos. Por tanto, la limpieza de plasticos puede considerarse un tema complejo, pero al mismo tiempo interesante y necesario, lo que lo convierte en un desafio dentro del mundo de la conservacion.
La necesidad de la naturalidad en la reformulación en la traducción jurídica en la 'era de la automatización' de las traducciones

The translation of electronic contracts in which the applicable law is the target culture's one, either because there's a specific law or rule that protects the consumer or because a specific clause in the contract says so, presents a new paradigm in the translation of contracts—the instrumental translation in the legal domain. The theoretical framework developed by Christiane Nord, where she makes the distinction between instrumental and documentary translation, was of little practical application to the translation of contracts, since in most cases the translation of contracts is documentary. However, this new situation makes it necessary to re-examine the method and techniques that are most appropriate for the translation of contracts to which the applicable law is that of the target culture. In this article we describe the factors involved in the transfer of legal concepts, we examine the main approaches to solve terminological problems and we call the attention towards an aspect of translation that is often ‘left behind’ in the automatic or semiautomatic processes of translation and yet is essential for the target text to be a good quality translation: the need to make idiomatic translations.
Electroencephalogram Analysis Regarding Visual Information Processing in a Grapheme-color Synesthete

Synesthesia is the phenomena in which one sensory stimulus automatically activates the sensation of two or more sensory modalities [1,2]. For instance, people with grapheme-color synesthesia perceive a color when they are shown a number or letter [3-9]. In order to explore the mechanisms underlying this process in grapheme-color synesthesia, an ‘embedded shape task’ was used in the psychological studies [10-14] along with imaging studies [15]. In the ‘embedded shape task’, some graphemes, which people with synesthesia perceive in color, were arranged into certain shapes within arrays of achromatic graphemes. It has been found that there is a region in the fusiform gyrus that indicates abnormal crossactivation between regions involved in color analysis and regions involved in the analysis of shapes [15], and that causing grapheme-color synesthesia needs spatial attention [13], or a pre-attentive process [7,14]. However, using the “embedded shape task”, the temporal characteristics of information processing in grapheme-color synesthesia have not been studied in detail. On the other hand, it has been found that the parieto-occipital area is important for visual information processing in synesthesia [6,7,13-15]. Because the parietal cortex is important for awareness and attention process [6] and causing grapheme-color Abstract In order to explore characteristics of visual information processing in grapheme-color synesthesia, we examined behavior (response correctness and reaction time) and temporal activities of EEG during the performance of two kinds of “embedded shape tasks” in one synesthete and 16 nonsynesthetic subjects. We used three black capital letters, including one letter which a synesthetic subject perceived in color. The target grapheme was made of a letter which a synesthetic subject perceived in color (TASK1), and one that was not perceived in color (TASK2). There was a significant difference in reaction time between the two tasks. Measuring the difference in amplitude of EEG activity at P4 between the two tasks, biphasic activity change was observed. At 232.5 ms in the late phase, the bilateral occipital and parietal lobes, and the left frontal lobe were activated. These results suggest that biphasic activity change is related to different visual information processing in synesthesia; the early phase is related to directing attention to a shape with color, while the late phase to the recognition of a shape with color. It is also suggested that activated areas of the brain in the late phase function separately in causing grapheme-color synesthesia. (Accepted May 21, 2010)
Phonetic similarity, syllabification and phonotactic constraints in the acquisition of a second language contrast (2002)

This thesis examines the acquisition of the English lax-tense contrast in front vowels (/i/-/I/, /e I /-/e/) by adult Catalan learners of English as a second language. The English lax-tense distinction is based on differences in tongue position, duration and phonotactic distribution, where lax vowels are restricted to closed syllables. Importantly, Catalan has a similar vowel height distinction (/i/, /e/, /e/), but no duration contrast or phonotactic restrictions for vowels. Further, English, but not Catalan, has ambisyllabic consonants. These specific differences raise the following two questions: How do second language learners acquire a novel segmental contrast, and how does the acquisition of nonsegmental information interact with the acquisition of segmental structure? These questions are addressed in a series of perception, production and psycholinguistic experiments. The perceptual similarity of English and Catalan vowels is assessed to predict relative success in vowel acquisition. Results from perception and production experiments illustrate that perceived similarity alone does not predict the likelihood of accurate perception and production. Specifically, duration, a non-L1 feature, was used to establish a contrast for a vowel that had no close match in Catalan. This in turn influenced the cues used in the categorization of the other vowel in the pair despite having a near identical match in the L1. Further, differences in L1 and L2 cue weighting for highly similar vowels may affect perception accuracy. These findings demonstrate that factors such as relative weighting of phonetic cues and the need to establish oppositions must be taken into account when predicting success in acquisition. The role of nonsegmental information is investigated using syllable manipulation and picture matching tasks. Catalan learners of English demonstrate knowledge of English vowel phonotactics. However, use of this constraint is limited by interference from L1 syllabification, which in turn may affect production ability. Additional evidence for the interaction of segmental and nonsegmental structure in L2 acquisition comes from correlated results across experiments. Taken together, the findings underscore the need to regard vowels as members of a contrastive system rather than individually acquired categories and to consider nonsegmental information in the acquisition of L2 phonological structure.
How Much Matter Probabilities in Information Security Quantitative Risk Assessment?

The starting point of this research essay is a critical review of two methods to conduct a quantitative analysis of information systems security risks: 1) Management of Risk: Guidance for Practitioners and 2) a cost model based on annual loss expectancy. We are focusing on these methods with a perspective that highlights the limits of both empiricism and the theoretical elements that underlie them. From an epistemological point of view we have considered the logical syntax of the two models, the semantics included in statements and the pragmatics of the scientific discourse: the use of models to demonstrate the risk assessment thesis, to solve the problems of risks in the human judgment versus mathematical calculus controversy. The major issues that we are discussing in this article imply various perspectives on scientific criteria, the choice among various theories and the structuring of problems proposed to be solved. We argue that the models that have been developed so far, the top-down approach (which involves well defined and well understood rules), as well as the demonstrations based on the induction method, cannot be applied in a lot of scenarios, because information systems, considered as a complex whole made up of various components, is primarily not a positivistic science solely described by mathematics. The main research question to be answered in this paper is: What are the limits of knowledge in probabilistic computations for information systems security risk assessment? Our purpose is to demonstrate the epistemological limits of the two models and the error of generalizing probability calculus using the interpretive approach.
언어 네트워크 분석 방법을 활용한 학술논문의 내용분석

본 연구의 목적은 국내 학술논문 데이터베이스에서 검색한 언어 네트워크 분석 관련 53편의 국내 학술논문들을 대상으로 하는 내용분석을 통해, 언어 네트워크 분석 방법의 기초적인 체계를 파악하기 위한 것이다. 내용분석의 범주는 분석대상의 언어 텍스트 유형, 키워드 선정 방법, 동시출현관계의 파악 방법, 네트워크의 구성 방법, 네트워크 분석도구와 분석지표의 유형이다. 분석결과로 나타난 주요 특성은 다음과 같다. 첫째, 학술논문과 인터뷰 자료를 분석대상의 언어 텍스트로 많이 사용하고 있다. 둘째, 키워드는 주로 텍스트의 본문에서 추출한 단어의 출현빈도를 사용하여 선정하고 있다. 셋째, 키워드 간 관계의 파악은 거의 동시출현빈도를 사용하고 있다. 넷째, 언어 네트워크는 단수의 네트워크보다 복수의 네트워크를 구성하고 있다. 다섯째, 네트워크 분석을 위해 NetMiner, UCINET/NetDraw, NodeXL, Pajek 등을 사용하고 있다. 여섯째, 밀도, 중심성, 하위 네트워크 등 다양한 분석지표들을 사용하고 있다. 이러한 특성들은 언어 네트워크 분석 방법의 기초적인 체계를 구성하는 데 활용할 수 있을 것이다.
Automating Topology Aware Mapping for Supercomputers

Petascale machines with hundreds of thousands of cores are being built. These machines have varying interconnect topologies and large network diameters. Computation is cheap and communication on the network is becoming the bottleneck for scaling of parallel applications. Network contention, specifically, is becoming an increasingly important factor affecting overall performance. The broad goal of this dissertation is performance optimization of parallel applications through reduction of network contention. Most parallel applications have a certain communication topology. Mapping of tasks in a parallel application based on their communication graph, to the physical processors on a machine can potentially lead to performance improvements. Mapping of the communication graph for an application on to the interconnect topology of a machine while trying to localize communication is the research problem under consideration. The farther different messages travel on the network, greater is the chance of resource sharing between messages. This can create contention on the network for networks commonly used today. Evaluative studies in this dissertation show that on IBM Blue Gene and Cray XT machines, message latencies can be severely affected under contention. Realizing this fact, application developers have started paying attention to the mapping of tasks to physical processors to minimize contention. Placement of communicating tasks on nearby physical processors can minimize the distance traveled by messages and reduce the chances of contention. Performance improvements through topology aware placement for applications such as NAMD and OpenAtom are used to motivate this work. Building on these ideas, the dissertation proposes algorithms and techniques for automatic mapping of parallel applications to relieve the application developers of this burden. The effect of contention on message latencies is studied in depth to guide the design of mapping algorithms. The hop-bytes metric is proposed for the evaluation of mapping algorithms as a better metric than the previously used maximum dilation metric. The main focus of this dissertation is on developing topology aware mapping algorithms for parallel applications with regular and irregular communication patterns. The automatic mapping framework is a suite of such algorithms with capabilities to choose the best mapping for a problem with a given communication graph. The dissertation also briefly discusses completely distributed mapping techniques which will be imperative for machines of the future.
A new technique for short-term residential electric load forecasting including weather and lifestyle influences

A stochastic physically based residential load forecasting technique that accounts for random influences on the load is proposed. The proposed forecasting approach is based on forecasting the weather-dependent and weather-independent components separately. The weather-dependent component is modeled via a stochastic physically based model. From the physically based model, the maximum likelihood duty cycle is deduced and used to predict the weather-dependent component. The weather-independent component is modeled by an autoregressive (AR) model. Addition of the two predictions yields the total residential load forecast. This algorithm overcomes the problem of obtaining the weather-load relationship that has placed most existing forecasting methods at a disadvantage. From the data gathered in the Athens load control experiment, one set of data is used to estimate the parameters of the proposed load prediction method. Other sets of data are used to verify the prediction and provide a measure of the success of the proposed forecasting technique. Very good correlation is observed between the prediction and measurement. <<ETX>>
Gradual Featherweight Typestate (CMU-ISR-10-116R)

Typestate oriented programming integrates notions of typestate directly into the semantics of an objectoriented programming language. This document presents the formalization of Gradual Featherweight Typestate, a typestate oriented language modeled after Featherweight Java. This language supports a classesas-states model of typestates, and utilizes a flow-sensitive type system for checking access permissions and state guarantees, thereby enabling safe and modular typestate checking. This research is supported by grants from the National Science Foundation and from IBM. This work was supported by the National Science Foundation under Grant #0937060 to the Computing Research Association for the CIFellows Project.
An Effective XML Identifying Feedback Documents Method Based on Two-Stage Ranking Model for Pseudo-Relevance Feedback

Although pseudo relevant feedback is an effective query expansion method, query drift away from the topic has been occurred frequently. Therefore, the first important problem is how to identify relevant documents in the top retrieved set and form the good feedback source. In this paper, an effective XML identifying feedback documents method is proposed, in which a two-stage ranking model is presented and the relevant XML documents are found. The experiment results show that the proposed method is reasonable and the quality of feedback source is ensured.
Adsorpsi Bahan Organik Alami (Boa) Air Gambut Pada Tanah Lempung Gambut Alami Dan Teraktivasi: Studi Kesetimbangan Isoterm Dan Kinetika Adsorpsi

Tanah lempung gambut (TLG) merupakan tanah lempung yang berada di bawah lapisan tanah gambut. Keberadaannya di Indonesia sangat berlimpah dan potensial digunakan sebagai adsorben murah. Penelitian ini bertujuan untuk menentukan model isoterm dan model kinetika yang sesuai pada adsorpsi bahan organik alami (BOA)terhadap TLG, sehingga dapat membantu mempelajari mekanisme penyisihan yang terjadi. Fraksi BOA yang hidrofobik dan BOA dengan BM besar memberikan kontribusi yang paling besar terhadap warna air gambut. Pada pH asam, komponen BOA air gambut dengan SUVA rendah (fraksi hidrofilik dan BM rendah) lebih baik disisihkan oleh adsorben TLG, dan sebaliknya pada pH yang lebih tinggi komponen BOA dengan SUVA tinggi yaitu BOA dengan karakter hidrofobik, aromatik dan BM tinggi dapat disisihkan dengan lebih baik. Pada tahap-tahap awal adsorpsi sampai waktu kontak 10 menit, fraksi BOA dengan SUVA besar merupakan fraksi BOA yang paling mudah diadsorp oleh TLG, dan pada tahap selanjutnya yaitu waktu kontak >10menit, TLG dapat mengadsorp fraksi BOA dengan SUVA kecil. Model isoterm Langmuir merupakan model isoterm yang sesuai untuk adsorpsi BOA air gambut terhadap TLG alami, sedangkan model isoterm Freundlich sesuai untuk adsorpsi BOA terhadap TLG teraktivasi dan PAC. Model kinetika pseudo-second-order adalah model kinetika yang cocok digunakan untuk adsorpsi BOA air gambut terhadap ketiga jenis adsorben: TLG alami, TLG teraktivasi dan PAC.
Choosing and using educational software: a teachers' guide

Educational Software Selecting Educational Software Checklists for Software Assessment Examination of the Checklist Approach in Software Selection Problems with the Checklist Approach to Software Selection Frameworks for Studying Educational Software A Perspectives Interactions Paradigm for Studying Educational Software The Teacher and Student Perspectives Interaction The Designer and Student Perspectives Interaction The Designer and Teacher Perspectives Interaction Choosing and Using Educational Software.
Distributed state reconstruction for discrete event systems

We consider the state estimation problem for stochastic discrete event dynamic system (DEDS) obtained by the parallel composition of several subsystems. A distributed inference algorithm is developed in the case of distributed observations. It is composed of asynchronous agents that only have a local view of the model and of observations. This algorithm only handles local states of subsystems, which is a way of avoiding the state explosion difficulty of large concurrent systems.
Circular Polarization Correlation Coefficient for Detection of Non-natural Targets Aligned Not Parallel to SAR Flight Path in the X-band POLSAR Image Analysis

This paper proposes a method to detect buildings and houses whose walls are not parallel to Synthetic Aperture Radar (SAR) flight path. Experimental observations show that it is difficult to detect these targets because of small backscattering characteristics. The detection method is based on the correlation coefficient in the circular polarization basis, taking full advantage of Polarimetric SAR (POLSAR) data. Since the correlation coefficient is real-valued for natural distributed targets with reflection symmetry and for non-natural targets orthogonal to illumination direction, and it becomes a complex number for non-natural targets aligned not orthogonal to radar Line-Of-Sight (LOS), the value seems to be an effective index for detection of obliquely aligned non-natural targets. The detection results are shown using the X-band Polarimetric and Interferometric SAR (Pi-SAR) single-path data set in conjunction with other polarimetric indices.
RoboFácil: Especificação e Implementação de um Kit de Robótica para a Realidade Educacional Brasileira

Este artigo apresenta as tecnologias associadas a um kit de robotica de baixo custo com fins educacionais desenvolvido com o intuito de promover um maior acesso a esse tipo de recurso didatico nas escolas brasileiras. Para alcancarmos esse objetivo, primeiramente realizamos estudos comparativos entre os diferentes kits comercializados no mercado, focados nos custos e nos recursos de hardware e software desses produtos. Baseado nesse levantamento, que nos proporcionou um maior entendimento das necessidades de projeto e do seu aproveitamento em sala de aula, chegamos a especificacao e a implementacao de hardware e de software do kit de robotica educacional denominado RoboFacil.
Non-uniform APSK optimization for BICM systems

Traditional Amplitude Phase Shift Keying (APSK) consists of rings with points uniformly spaced. By giving up this uniform-spacing feature, we propose an APSK optimization method based on the uniform APSK with Gray labeling (Gray-APSK). The aim of the optimization is to maximize the Generalized Mutual Information (GMI) of Bit-Interleaved Coded Modulation (BICM) for the targeted code rate and channel. We show that our optimized non-uniform APSK could offer further performance gain compared with the conventional uniform Gray-APSK and considerably outperforms the traditional quadrature amplitude modulation at the targeted SNR and channel.
Vision-based reaching for autonomous virtual humans

A method for the generation of realistic real-time goal-directed virtual human arm motion is presented. Agents are endowed with a rudimentary synthetic vision and memory system that is used to gather and store data about objects in the vicinity. Agents then use the perceived object data rather than global database object data for the planning of reaching arm motions. Our method differs from previous attempts at goal-directed motion generation in that it uses sensory information available to the agent in order to distinguish between movements towards those objects visible to the agent, and movements towards memorised object locations. The generation of appropriate arm configurations under these circumstances is based on results from neurophysiology.
Synthesis of Embedded Software for Sensor Nodes

Abstract : In this work, we address the synthesis of embedded software for sensor nodes in two important, specialized contexts. In the first context, an optimization framework is designed to automate the design space exploration of application-specific wireless sensor networks in order to adjust configuration parameters for deriving a streamlined overall implementation of the system. The framework is built around the particle swarm optimization technique and adapted especially for the optimization of a line-crossing detection application. The second synthesis context draws from the potential effectiveness of using dataflow graphs for the implementation of DSP applications for sensor nodes to explore a context switching mechanism facilitating concurrent execution of multiple dataflow graphs on a single embedded processor. Our model for context switch implementation uses compile-time information to optimize runtime scheduling. Simulation results in both cases support the applicability of the adopted approaches for optimized operation of application-specific sensor nodes.