Miracle-dz/UniFAR-FTUs huggingface dataset:
USING VALUE CLONING TO IMPROVE CODE GENERATION FOR SOFTWARE PIPELINED LOOPS ON VLIW ARCHITECTURES WITH PARTITIONED REGISTER FILES

An improvement in a seat for mounting on pairs of forward and rearward brackets in a vehicle. The seat includes a seat spring for supporting the seat cushion, a pair of connecting members for interconnecting the pairs of forward and rearward brackets, a rearward spring for connecting a rear portion of the seat spring to the rearward connecting member, and a forward spring for connecting a front portion of the seat spring and a rearward portion of the seat spring with the forward connecting member. The forward spring is pivotable and slidable on the forward connecting member.
Learning the Thematic Roles of Words in Sentences via Connectionist Networks that Satisfy Strong Systematicity

This thesis presents two connectionist models, which can learn the thematic roles of words in sentences by receiving aspects of real world situations to which the sentences are referring, and exhibit strong systematicity without prior syntactic knowledge. The models are intended towards cognitively and biologically plausible connectionist models. Current models could be parts of the larger network to represent the meaning of a whole sentence. The first model, closest, of the two models, to being purely connectionist, attains an acceptable result (98.31% of the roles correctly identified). The second one, not purely connectionist, achieves a perfect result. It could be argued that humans learn the thematic roles, as an emergent property of learning the relationship between the words/sentences and the real world situations. However, it is not claimed that the models are the human learning mechanism for language acquisition.
Le Parti des Travailleurs gouverne la ville de Recife

Recife est aujourd’hui une ville strategique pour le PT qui la gouverne depuis 2001 : c’est une des capitales de poids regional encore sous son controle. Le PT a promis une « inversion des priorites » des politiques, en les orientant davantage vers le « social », afin d’ameliorer les indices socio-economiques defavorables d’une ville profondement marquee par la segregation. Au niveau des politiques urbaines, au lieu d’une planification strategique (associee au marche), le gouvernement petiste prone une planification participative. Or, Recife a adopte le discours strategique depuis 1993 et le PT s’est inscrit dans cette logique meme s’il a voulu faire de la planification participative la « marque » de sa politique urbaine. En effet, de nombreux acteurs urbains recifenses ont ete durablement influences par le paradigme strategique. Des lors, la continuite donnee a une double echelle de planification semble en etre le resultat et l’etablissement d’une mixite entre les differentes categories sociales reste improbable. La segregation sociospatiale demeure ainsi une realite.
Improving the Quality of Haptic Feedback Yields Only Marginal Improvements in Teleoperated Task Performance

In teleoperations, haptic feedback allows the human operator to touch the remote environment. Yet it is only partially understood to what extent the quality of haptic feedback contributes to human-in-the-loop task performance. This paper presents a human factors experiment in which telemanipulated task performance is assessed for three stages of haptic feedback: low-frequency haptic feedback, combined low- and high-frequency haptic feedback and a complete spectrum of haptic feedback in a manual equivalent of the task. Four generalized fundamental tasks have been defined, namely i) Free Air Movement Tasks, ii) Contact Transition Task, iii) Constrained Position Tasks and iv) Force Tasks, all of which identified in a single bolt-and-spanner task. The results show that the overall task performance is predominantly improved by providing low-frequency haptic feedback, especially in Constrained Position and Force Tasks. However, by further improving the quality of the haptic feedback, the task performance is only marginally increased.
Making Inclusion Work: Effective Practices for All Teachers

Preface Chapter 1: What Is Special Education? Chapter 2: Why Do We Have Inclusion? Chapter 3: What Is An Individualized Education Program? Chapter 4: What is Classroom Organization? Chapter 5: What Works for Lesson Organization? Chapter 6: What Is Behavior Management and Motivation? Chapter 7: What Works in Teaching Reading? Chapter 8: What Are Cognitive Strategies? Chapter 9: What Are Effective Accommodations and Modifications? Chapter 10: What Works for On-Going Assessment, Data Collection, and Grading? Chapter 11: What Assistance Do Parents/Families Need? Chapter 12: What Works for Collaborating, Consulting, and Communicating with Special Education Professionals? Chapter 13: The End is Just the Beginning Index
Risk assessment of Campylobacter in the Netherlands via broiler meat and other routes

Elk jaar worden mensen ziek door de Campylobacter bacterie. Omdat de overheid wil weten wat zij hier het best tegen kan doen, is dit in het CARMA project onderzocht. Dit rapport beschrijft om te beginnen wat de oorzaken van campylobacterbesmetting zouden kunnen zijn. Direct contact met (huis-)dieren en de consumptie van onverhit voedsel komen naast kippenvlees als belangrijke bronnen naar voren. Kippenvlees zou een aanzienlijk deel van de ziektegevallen kunnen veroorzaken. Er is een wiskundig model gebouwd om meer inzicht te krijgen in het voorkomen en de verspreiding van campylobacter in de productieketen van kippenvlees, van de boerderij tot en met de bereiding van het vlees in de keuken thuis. Met het model is ingeschat waar en hoe het best ingegrepen kan worden om campylobacter te bestrijden met als doel het aantal zieken dat erdoor veroorzaakt wordt effectief te verminderen. Een goede optie lijkt te zijn om zowel het aantal besmette kippen, als de hoeveelheid campylobacters in de kippenmest en op het kippenvlees aan te pakken. Dat kan door extra aandacht te geven aan de hygiene op de boerderij, door tijdens de slacht het lekken van besmette mest uit de karkassen te verminderen en door het kippenvlees met bijvoorbeeld melkzuur te wassen. Er valt dan een aanzienlijke gezondheidswinst te behalen. Gegarandeerd vers campylobactervrij vlees is alleen mogelijk als al het vlees doorstraald zou worden. De meest doelmatige maatregelen zijn echter alleen vast te stellen als ook economische en maatschappelijke aspecten worden meegenomen. Hiervoor wordt verwezen naar andere rapporten die in het kader van dit CARMA project zijn verschenen.
AutoMap 1.2 : extract, analyze, represent, and compare mental models from texts

AutoMapl.2 is a network text analysis tool that extracts, analyzes, represents, and compares mental models from texts. Network text analysis is a specific text analysis method that encodes links between words in a text and builds a network of the linked words. Computational analysis of networks pulled out of textual data is a growing area of research for the following reasons: The large and still growing number of electronically available texts requires the investigation of appropriate methods and tools to analyze large scale collections of texts effectively and efficiently. Today's communication theories are oriented towards complex, large-scale systems, and therefore require methods that provide multi-level access to the meaning of textual data. AutoMap helps users to analyze textual data according to the current requirements. 005.1 C28R 04-100 ; * This work was supported in part by the National Science Foundation under grants: No. ITR/IMIIS-0081219, NSF 0201706 doctoral dissertation award, and NSF IGERT 9972762 in CASOS. Additional support was provided by CASOS and ISRI at Carnegie Mellon University. The views and conclusions contained in this document are those of die authors and should not be interpreted as representing the official policies, either expressed or implied, of the National Science Foundation, or the U.S. government.
Successful Communication Over a Wireless Link Under the Presence of Other Users

The goal of this Master Thesis was to examine the impact of interference on wireless communication under the scope of throughput efficiency. The research focused on two domains. The first domain was the coexistence of wireless systems in the Licence Excempt (LE) domain. The sensitivity of QPSK, 16 QAM, and GFSK modulation systems against interference was investigated. Such measurements can be used to optimize the Medium Usage(ME) by reducing the spatial overlap of interfering systems. The interference of a multicarrier system (802.11g) and a frequency hopping system (Bluetooth) was evaluated through Simulink. The simulations were performed in a flat fading environment.The second domain of investigation was the comparison of Convolutional Coding (CC), Interleaving, and Hard Decoding(HD) versus the Opportunistic Error Correction (OEC) scheme under narrowband interference. The superiority of the OEC scheme, under constant frequency narrowband interferer and under flat and multipath fading was concluded. Finally, the performance of these schemes versus a Bluetooth jammer signal was investigated through measurements. The measurements were inconclusive about which system is superior, under the same effective throughput requirement. Nevertheless, they showed the ability of the OEC scheme to provide successful communication under Bluetooth interference at a constant frequency.
Extract Knowledge from Social Networks

The knowledge extraction using data retrieved from Online Social Networks is mainly done through a manual-programming procedure with the use of Application Programming Interfaces. However, the majority of social science researchers has usually low programming experience. Thus, the procedure from data retrieval to knowledge extraction is not a trivial task for them. With this research we aim in the development of a framework that provides the researcher who has low programming experience with the ability of extracting knowledge from information that is mainly available in Online Social Networking platforms. Additionally, we present a case study where we evaluate the existing framework by extracting knowledge for a private organization from a professional social network, contributing new insights to the study of social networks.
Stochastic Volatility Estimation with GPU Computing

In this paper, we show how to estimate the parameters of stochastic volatility models using Bayesian estimation and Markov chain Monte Carlo (MCMC) simulations through the approximation of the a-posteriori distribution of parameters. Simulated independent draws are made possible by using Graphics Processing Units (GPUs) to compute several Markov chains in parallel. We show that the higher computational power of GPUs can be harnessed and put to good use by addressing two challenges. Bayesian estimation using MCMC simulations benefit from powerful processors since it is a complex numerical problem. Moreover, sequential approaches are characterized for drawing highly correlated samples which reduces the Effective Sample Size (ESS) associated with the simulated values obtained from the posterior distribution under a Bayesian analysis. However, under the proposed parallel expression of the algorithm, we show that a faster convergence rate is possible by running independent Markov chains, drawing lower correlations and therefore increase the ESS. The results obtained with this approach are presented for the Stochastic Volatility (SV) model, basic and with leverage.
WebCluster, a Tool for Mediated Information Access

Mediated access through a clustered collection is a new approach to accessing very large heterogeneous document collections. The user explores a relatively small, homogeneous, pre-clustered, and thus well structured, document collection covering a particular subject domain (called the source collection), in order to understand the concepts encompassed and to clarify and refine his/her information need. The user ostensively indicates clusters and documents of interest and is assisted in formulating a query, based on which a search is done on a large, heterogeneous, nonstructured collection (called the target collection). The original cluster structure is the basis for visualisation tools that allow the user to explore search results.
Bearing-Only Control Laws For Balanced Circular

For a group of constant-speed ground robots, a simple control law is designed to stabilize the motion of the group into a balanced circular formation using a consensus approach. It is shown that the measurements of the bearing angles between the robots are sufficient for reaching a balanced circular formation. We consider two different scenarios that the connectivity graph of the system is either a complete graph or a ring. Collision avoidance capabilities are added to the team members and the effectiveness of the control laws are demonstrated on a group of mobile robots. Comments Reprinted from: Bearing-Only Control Laws For Balanced Circular Formations of Ground Robots. Nima Moshtagh, Nathan Michael, Ali Jadbabaie, Kostas Daniilidis. Presented at Robotics: Science and Systems IV, June 25-28, 2008. Eidgenossiche Technische Hochschule Zurich (ETHZ), Zurich, Switzerland URL: http://www.roboticsproceedings. org/rss04/p16.pdf This conference paper is available at ScholarlyCommons: http://repository.upenn. edu/grasp_papers/7 Bearing-Only Control Laws For Balanced Circular Formations of Ground Robots Nima Moshtagh, Nathan Michael, Ali Jadbabaie, Kostas Daniilidis GRASP Laboratory University of Pennsylvania, Philadelphia, PA 19104 Email: {nima, nmichael, jadbabai, kostas} @grasp.upenn. edu Abstract— For a group of constant-speed ground robots, a simple control law is designed to stabilize the motion of the group into a balanced circular formation using a consensus approach. It is shown that the measurements of the bearing angles between the robots are sufficient for reaching a balanced circular formation. We consider two different scenarios that the connectivity graph of the system is either a complete graph or a ring. Collision avoidance capabilities are added to the team members and the effectiveness of the control laws are demonstrated on a group of mobile robots. For a group of constant-speed ground robots, a simple control law is designed to stabilize the motion of the group into a balanced circular formation using a consensus approach. It is shown that the measurements of the bearing angles between the robots are sufficient for reaching a balanced circular formation. We consider two different scenarios that the connectivity graph of the system is either a complete graph or a ring. Collision avoidance capabilities are added to the team members and the effectiveness of the control laws are demonstrated on a group of mobile robots.
Object-oriented discrete modeling: a modular approach for human body simulation

There are two actual challenges in the simulation of the human body for medical purpose: the ability to model complex structures and their interactions, and the ability to accurately represent reality. In this article we show further developments of a model presented some years ago to address the former and we present some solutions concerning the latter. In this model soft tissues are considered as three−dimensional elastic bodies. Bones are considered as three−dimensional rigid bodies. All these objects are dynamically moving in a viscous medium and are submitted both to internal cohesive forces and to external attractive or interactional forces. Three examples show the qualitative evaluation of this model. The first example demonstrates our modular approach by building a complex object made of soft tissues, muscles, bones and passive layers. The second example show a more realistic object, where the bones of the arm are displaced by a muscle contraction and relaxation. The third example, for which this model was originally developed, shows a human trunk object, reduced o the essential structures, that could simulate the trunk movements. The remaining of the article look into a more quantitative evaluation of the model.
Automatic Test Case Generation for RAISE

In this report we propose an approach to derive test cases from RSL specifications. Our approach integrates the testing techniques for algebraic and model-based specifications. In this approach, Disjunctive Normal Form (DNF) partition analysis is first applied to function definitions to generate test data for the individual functions, then sequences of function calls are formed, and test cases are derived from replacing the variables on both sides of axioms by the sequences of function calls. The test cases not only provide the input data for testing, but also serve as test oracles. A test case generation tool has been developed based on this approach. Li Dan is a Fellow at UNU/IIST on leave from Guizhou Academy of Sciences, China, where he works as an software engineer. His research interests include Object-Oriented method, formal method in software development, and formal anguages. His email address is lidan@iist.unu. edu. Bernhard K. Aichernig is a Research Fellow at UNU/IIST. He is also an assistant professor at the Institute for software Technology at the Graz University of Technology in Austria. His research interests include the synergies of testing and formal development methods, techniques of refinement, and requirements engineering supported by formal specification languages. His email address is bka@iist.unu. edu. Copyright c © 2004 by UNU-IIST, Li Dan and Bernhard K. Aichernig
Modifications à long terme, déjà constatées, de la productivité des forêts françaises.

Plusieurs etudes europeennes recentes ont montre que la croissance des arbres et la production des peuplements forestiers sont en forte augmentation depuis 150 ans. Nous proposons ici une revue critique des methodes employees : analyses retrospectives de la croissance radiale par la methode dendroecologique, de la croissance en hauteur par analyse de tige ; suivi en continu de la production des peuplements grâce a des reseaux de placettes permanentes. Les atouts et faiblesses de ces methodes sont discutes, dans la perspective des etudes sur l'effet des changements environnementaux (CO 2 , apports d'azote, climat) sur la dynamique des forets. Les premiers diagnostics precis a l'echelle de la parcelle commencent a etre disponibles, indiquant une productivite actuelle superieure de 50 % environ a celle constatee au debut du siecle. Des incertitudes subsistent dans quatre domaines : la generalisation des constats, obtenus jusqu'ici pour quelques essences et regions, et rarement au niveau du peuplement ; les changements simultanes pour la qualite du bois ; la comprehension du role des changements environnementaux ; l'evaluation des risques ecologiques associes a la forte productivite. Quoi qu'il en soit, nous estimons que les forestiers devraient des maintenant integrer dans leurs reflexions l'acceleration des cycles de production (revolutions plus courtes, offre de bois accrue, effort de regeneration a intensifier, contribution des forets aux politiques effet de serre…).
USING TASK ANALYSIS TO EXPLORE OLDER NOVICE PARTICIPANTS' EXPERIENCES WITH A HANDHELD TOUCHSCREEN DEVICE

Access to online resources is becoming more important for engagement with society. However, older people with limited experience of digital interfaces can have significant difficulties with access. Touchscreen devices have shown potential to offer advantages to the older and novice user. Usability becomes increasingly important with age related changes in sensory perception, cognition and motor skills. This pilot study has investigated problems caused by lack of prior experience of digital interaction in novice older users. This paper reports their behaviour and errors using a tablet touchscreen device through attempting several tasks. Task analysis and actual user task sequences have been used to highlight the difficulties and errors made by the participants.
Virtual face implant for visual character variations

One of the main goals in populating the virtual environments (VEs) with human body models is to increase the visual realism of the simulation. Population created with a template model cloning technique is perceived by the viewer as a synthetic crowd. To increase the degree of the visual realism, mainly the characters are generated with various body sizes and solid skin colors. In the case of avatars, a geometric model is customized according to the features of the real counterpart. In this paper we represent a simple and efficient method to improve the visual variance of the virtual characters by implanting a low resolution on any portrait face image. The effect of this model customization process is improved by adapting the whole body skin color with the average color tone calculated over the input face image.
Method for Real Time Text Extraction of Digital Manga Comic

Manga is one of popular item in Japan and also in the rest of the world. Hundreds of manga printed everyday in Japan and some of printed manga book was digitized into web manga. People then make translation of Japanese language on manga into other language -in conventional wayto share the pleasure of reading manga through the internet. In this paper, we propose an automatic method for detect and extract Japanese character within a manga comic page for online language translation process. Japanese character text extraction method is based on our comic frame content extraction method using blob extraction function. Experimental results from 15 comic pages show that our proposed method has 100% accuracy of flat comic frame extraction and comic balloon detection, and 93.75% accuracy of Japanese character text extraction.
Social Review-based Recommender Systems from Theory to Practice

Premi al millor PFC en l'Area de Sistemes de la informacio d'Enginyeria de Telecomunicacio o d'Enginyeria Electronica de l'ETSETB-UPC (curs 2013-2014). Atorgat per Catedra Red.es