Miracle-dz/UniFAR-FTUs huggingface dataset:
Perceptual performances of force rendering methods

In virtual reality techniques, the force feedback method becomes important especially when manipulating shapes interactively. This paper describes two methods for presenting haptic stimuli, and compares their perceptual effects. One of the methods involves generating undulations by spatially varying the positions where reaction forces are generated while keeping their directions constant, and the other method involves spatially varying the directions of reaction forces while keeping the positions constant. The subjective intensities of undulations generated by the two methods were compared. The results indicated that the subjective intensities depend on their spatial frequencies. Then, two stimuli were superimposed 180 degrees out of phase to check if the two stimuli generated by different methods offset each other. No offset was observed regardless of the spatial frequencies of the stimuli.
Verifying the Interactive Convergence Clock Synchronization algorithm Using the Boyer-Moore Theorem Prover

The application of formal methods to the analysis of computing systems promises to provide higher and higher levels of assurance as the sophistication of our tools and techniques increases. Improvements in tools and techniques come about as we pit the current state of the art against new and challenging problems. A promising area for the application of formal methods is in real-time and distributed computing. Some of the algorithms in this area are both subtle and important. In response to this challenge and as part of an ongoing attempt to verify an implementation of the Interactive Convergence Clock Synchronization Algorithm, we decided to undertake a proof of the correctness of the algorithm using the Boyer-Moore theorem prover. This paper describes our approach to proving the ICCSA using the Boyer-Moore prover.
The Hierarchical Ad Hoc Networks Anonymous Routing Scheme

Abstract—Anonymous routing protocol is designed for avoiding from being leaked by nodes during communication in mobile ad hoc networks and insuring the communication route can’t be discovered. Whereas most proposed anonymous secure routing protocols known in Ad Hoc networks can’t meet anonymity sufficient or apply to hierarchical Ad Hoc networks. In addition, the protocols almost didn’t have formal proof. Our mechanism based on ring signature, looking for honest neighbors. The source node set “trap-door" by using the public key of destination. Adopt the on-demand routing protocol to complete this program. This new protocols meet the hierarchical Ad Hoc networks by joining the network identifier. Finally, we adopt the formal proof tool UC(universally composable model) to prove the safety and anonymity of the new protocols.
Facial EMG signal analysis method and its implementation as a stand-alone system

The original system employed a Fast Fourier Transform (FFT) algorithm to process signals and was successfully used to control devices such as nurse-call equipment and computers. The new design features wavelet processing and is significantly more robust and easier to use. It also has an LCD display (as opposed to LED indicators) that greatly reduces power consumption and allows menu-driven control of a variety of parameters, including variable gain. The built-in rechargeable battery, which lasts at least 40 hours between charges, makes the system completely portable and suitable for wheel-chair applications.
SENTENCE-LEVEL SENTIMENT POLARITY CALCULATION FOR CUSTOMER REVIEWS BY CONSIDERING COMPLEX SENTENTIAL STRUCTURES

People often find themselves in a situation where they need to make simple decisions, for example, what book to read, or which movie to watch, or which smart phone to buy. In these kinds of situations, one often seeks the opinion of others in the form of IMDB (International Movie Database) rating or magazine reviews or online product reviews etc. The general opinion about a product or a publication or a service or a company is usually expressed in the form of customer reviews and the web has facilitated sharing and expressing opinions in the form of free style texts which is unstructured or semi structured. In this paper, we introduce a sentence level, sentiment polarity calculation that identifies complex sentential structures and modifies the sentence polarity accordingly. The sentiment polarity of a text is given by a score that lies in the range [-1,1] and denotes the positivity of the tone of the text’s author. Thus, the sentiment polarity or the sentiment score of a review can be used to perceive the opinion of the reviewer. The average polarity of all the words in a sentence gives the polarity of a sentence. The polarity of all the common words in the English dictionary is retrieved from CLiPS Pattern module (BSD license) for Python. After obtaining the polarity of a sentence, it is modified based on the structure of the sentence which is identified using a set of heuristic rules that use POS (Parts of Speech) tagging to identify relationships between words. Then the average polarity of all the sentences in a review, gives the overall polarity of the review. We have compared the results against the inbuilt function pattern.en. sentiment (sentence) and based on empirical evidence the result are more accurate in many cases and in other cases the results are the same.
A knowledge engineering tool for load forecasting

A description is given of a knowledge engineering tool for short-term load forecasting to be used as an aid in operation and planning of a distribution system. This engineering tool is composed of two parts. First, an artificial neural network is trained to produce the first evaluation of a forecasted load. Then, a fuzzy expert system manipulates actual and forecasted values of real power and weather conditions to find the final forecasted load. Illustrative examples are presented using Hydro-Quebec Power System data. <<ETX>>
The story of relationship: a narrative inquiry into mentor teacher perceptions of their mentoring experiences with teaching candidates

The relationship between pre-service teachers and their mentor teachers has long been defined by roles that mentor teachers play in the relationship. Research indicates that mentor teachers evolve into a variety of roles, from evaluator to critical friend, but we understand very little about how the relationship develops into these different forms, or how to improve relationship development. The purpose of this narrative inquiry was to explore how a mentor teacher experiences the relationship with a pre-service teacher candidate and to compare the relationship to the elements of a story. Data was collected through written story, interviews, and visual representations of the data. The goal of the study was to understand how mentor teachers experienced their relationship with a pre-service teacher candidate through the lens of a common Narrative Story Arc. Data was analyzed using codes determined by the Narrative Story Arc and through emergent codes present in narrative surveys and semi-structured interviews. Themes and codes were then compared between methods and participants, then recoded to explore themes in the data to demonstrate connections between codes. Findings from this research reveal the following: 1. Mentor teachers experience a variety of emotions in their relationship that shift based on the alignment between their expectations and reality; they experience the relationship through collaboration, a desire to help, and concern for their students. 2. Data demonstrates a connection between the teaching candidate’s perceived personality traits and abilities in pedagogy or management and the mentor teacher’s willingness to engage in a positive relationship. 3. Mentor teachers provide access or withhold access to teaching and learning in the practicum placement based in part on the relationship that develops. 4. Mentor teachers conceptualize their relationship with a teaching candidate in terms of a story, indicating that the beginning of the story determines access to teaching; the events of the story
Psychiatry Outpatients’ Willingness to Share Social Media Posts and Smartphone Data for Research and Clinical Purposes: Survey Study

Background Psychiatry research has begun to leverage data collected from patients’ social media and smartphone use. However, information regarding the feasibility of utilizing such data in an outpatient setting and the acceptability of such data in research and practice is limited. Objective This study aimed at understanding the outpatients’ willingness to have information from their social media posts and their smartphones used for clinical or research purposes. Methods In this survey study, we surveyed patients (N=238) in an outpatient clinic waiting room. Willingness to share social media and passive smartphone data was summarized for the sample as a whole and broken down by sex, age, and race. Results Most patients who had a social media account and who were receiving talk therapy treatment (74.4%, 99/133) indicated that they would be willing to share their social media posts with their therapists. The percentage of patients willing to share passive smartphone data with researchers varied from 40.8% (82/201) to 60.7% (122/201) depending on the parameter, with sleep duration being the parameter with the highest percentage of patients willing to share. A total of 30.4% of patients indicated that media stories of social media privacy breaches made them more hesitant about sharing passive smartphone data with researchers. Sex and race were associated with willingness to share smartphone data, with men and whites being the most willing to share. Conclusions Our results indicate that most patients in a psychiatric outpatient setting would share social media and passive smartphone data and that further research elucidating patterns of willingness to share passive data is needed.
Swimming Helps Elderly Population to Improve Mental Speed and Attention

Background and Aim: Swimming is an ideal physical activity for the elderly population because of its low impact on joints and minimal risk of injury. Previous studies have proven that swimming has beneficial effect on skeletal and cardiovascular health. But studies to assess effects of swimming on cognitive health of elderly are lacking. Methods: This study was undertaken to assess and compare the level of cognition among elderly swimmers and non swimmers. 50 elderly subjects who regularly swim and 50 elderly non swimmers were recruited. Digit symbol substitution test and Digit vigilance test were done to assess the mental speed and attention of the subjects. Results: Results were statistically analyzed using students t test to compare between the groups. Swimmers took less time to complete both Digit symbol substitution test and Digit vigilance test than non swimmers. Conclusion: Elderly swimmers had better mental speed and attention compared to non swimmers.
Head-driven phrase structure grammar : eine einführung

Das Werk einschlieslich aller seiner Teile ist uhrheberrechtlich geschutzt. Jede Verwertung auserhalb der engen Grenzen des Urheberrechtsgesetzes ist ohne Zustimmung des Verlages unzulassig und strafbar. Das gilt insbesonder fur Verfielfaltigungen, Ubersetzungen, Mikroverfilmungen und die Einspeicherung und Verarbeitung in elektronischen Systemen. Wenn Sie das Buch weiterempfehlen wollen, verweisen Sie bitte auf die Seite
The Sociolinguistic Integration of Immigrant Populations: Reflections on Its Study

Taking as its main point of departure the research carried out in the Madrid context by the Hispalin-UAH team of the IN.MIGRA2-CM project, the goal of this article is to reflect on the role of the linguistic dimension within the process of the social integration of migrant populations. It trains its sights on the need to work from a cognitive angle which may help to show how those involved in the process construct and re-define the new context, and on the need to consider the host population—as the prime conditioner of the process—and to identify and analyse in depth the components of identity that are modified as a result of cultural contact.
Object Tracking in Frame-Skipping Video Acquired Using Wireless Consumer Cameras

Object tracking is an important and fundamental task in computer vision and its high-level applications, e.g., intelligent surveillance, motion-based recognition, video indexing, traffic monitoring and vehicle navigation. However, the recent widespread use of wireless consumer cameras often produces low quality videos with frame-skipping and this makes object tracking difficult. Previous tracking methods, for example, generally depend heavily on object appearance or motion continuity and cannot be directly applied to frame-skipping videos. In this paper, we propose an improved particle filter for object tracking to overcome the frame-skipping difficulties. The novelty of our particle filter lies in using the detection result of erratic motion to ameliorate the transition model for a better trial distribution. Experimental results show that the proposed approach improves the tracking accuracy in comparison with the state-of-the-art methods, even when both the object and the consumer are in motion.
‘The right not to have anything’: the ‘Nasreddin in Russia’ newspaper

ABSTRACT The Nasreddin in Russia newspaper is part of an initiative undertaken by migrant workers along with a group of local artists in St. Petersburg, Russia. It serves as an alternative platform from which the voices of the migrant workers, often silenced in the traditional media, may be heard. Most of the research dealing with migrant workers in Russia focuses on the legal and political aspects of the issue. The present article is a qualitative study that analyzes the contents of four issues of the newspaper. The article uses thematic analysis and discourse analysis to identify and interpret the main matters of concern raised in the Nasreddin in Russia newspaper.
Recent Development in Polymer Ferroelectric Field Effect Transistor Memory

The article presents the recent research development in polymer ferroelectric non-volatile memory. A brief overview is given of the history of ferroelectric memory and device architectures based on inorganic ferroelectric materials. Particular emphasis is made on device elements such as metal/ferroelectric/metal type capacitor, metal-ferroelectric-insulator-semiconductor (MFIS) and ferroelectric field effect transistor (FeFET) with ferroelectric poly(vinylidene fluoride) (PVDF) and its copolymers with trifluoroethylene (TrFE). In addition, various material and process issues for realization of polymer ferroelectric non-volatile memory are discussed, including the control of crystal polymorphs, film thickness, crystallization and crystal orientation and the unconventional patterning techniques.
On the Impact of Trade in a Common Property Renewable Resource Oligopoly

We consider a common-pool renewable resource differential game. We show that within this dynamic oligopolistic framework, free trade may lead to a lower discounted sum of consumer surplus and of social welfare than autarky. Trade restrictions may be supported based on both resource conservation and effciency motives. A priori, this fi nding is not straightforward; a move from Autarky to Free Trade causes industry output to first increase and then decrease over time. While producers are shown to be always worse off under free trade than under autarky, consumers are better off in the short run and worse off in the long run. We determine the conditions under which the long-run effects outweigh the short-run effects of trade, leading to a decrease in the discounted sum of not only consumer surplus, but also social welfare.
A SCENE-ASSISTED POINT-LINE FEATURE BASED VISUAL SLAM METHOD FOR AUTONOMOUS FLIGHT IN UNKNOWN INDOOR ENVIRONMENTS

Abstract. Since Global Navigation Satellite System may be unavailable in complex dynamic environments, visual SLAM systems have gained importance in robotics and its applications in recent years. The SLAM system based on point feature tracking shows strong robustness in many scenarios. Nevertheless, point features over images might be limited in quantity or not well distributed in low-textured scenes, which makes the behaviour of these approaches deteriorate. Compared with point features, line features as higher-dimensional features can provide more environmental information in complex scenes. As a matter of fact, line segments are usually sufficient in any human-made environment, which suggests that scene characteristics remarkably affect the performance of point-line feature based visual SLAM systems. Therefore, this paper develops a scene-assisted point-line feature based visual SLAM method for autonomous flight in unknown indoor environments. First, ORB point features and Line Segment Detector (LSD)-based line features are extracted and matched respectively to build two types of projection models. Second, in order to effectively combine point and line features, a Convolutional Neural Network (CNN)-based model is pre-trained based on the scene characteristics for weighting their associated projection errors. Finally, camera motion is estimated through non-linear minimization of the weighted projection errors between the correspondent observed features and those projected from previous frames. To evaluate the performance of the proposed method, experiments were conducted on the public EuRoc dataset. Experimental results indicate that the proposed method outperforms the conventional point-line feature based visual SLAM method in localization accuracy, especially in low-textured scenes.
A literature survey of multiple discipline integration keywords, based on a process, model, and knowledge classification

Integration is still one of the main issues that multidisciplinary design faces nowadays. However, due to the lack of a precise definition and variety of contexts that use the term integration, it is very challenging to find relevant literature reviews on the topic. To solve this issue, we used a process, knowledge, and model classification approach, which generated a large set of highly relevant and varied publications. Using this large amount of literature, the contribution of this paper consisted on identifying a set of relevant keywords (~130), grouped in 14 categories. These keywords and categories support the literature search in the topic of integrating the system design with the detail design according to the multiple discipline detail design. Furthermore, by assessing the type of outlets and level of testing, we concluded that the topic is still in its infancy, having a lot of activity in recent years and still establishing possible research directions.
Misbehaving Node Detection in Mobile Ad Hoc Networks using Multi Hop Acknowledgement Scheme

Problem statement: For any node in a Mobile Ad hoc Network conservation of battery power and bandwidth are the priority. Hence, they try to reduce the overload they would otherwise incur when they forward packets. This selfish behavior of a node affects the throughput of the network. The nodes may also choose a back off value of shorter duration. These problems are handled effectively by the methodology proposed in this study. A conscious effort has been made keeping the constraints of the MANETs in mind. Approach: Misbehavior is best identified at the lower levels as the upper levels of the OSI standard primarily deals with the data the packets carry and less about how, so the network and the MAC layers is where the primary focus lies. Thus, keeping these points in mind, we propose algorithms that work along with the 802.11 MAC protocol to monitor the behavior of neighboring nodes by listening to the channel, specifically monitoring parameters like back off values sent by the nodes. A counter is maintained which is incremented every time node misconduct is detected, subsequently after a particular value is cross the node is labeled as misbehaving and the information is broadcast over the network. Results: Performance parameters like throughput, packet delivery ratio were monitored with traffic of the magnitude 10 to 60 nodes. Also the performance of the network based on the percentage of selfish nodes present in the network was monitored and a graph was generated based on the statistics. Conclusion: An algorithmic approach for misbehaving node detection and isolation in ad hoc networks by modifying the protocol being used in the lower layers which consequently improves performance of the network had been proposed. Simulation results show considerable performance increase upon implementing the proposed algorithm. Further research can confirm the practicality of the proposed idea.
Design of fault‐tolerant control for MTTF

Mean time to failure (MTTF) is an important reliability index of fault‐tolerant control systems, which is chosen as a design objective in this paper. However, it is usually evaluated from stochastic reliability models, and no analytical expression is available to relate MTTF to controller parameters. To overcome this difficulty, a two‐stage design scheme is proposed in this paper: A gradient‐based search is firstly carried out on probabilistic H∞ performance characteristics for MTTF requirement; a sequential randomized algorithm with a weighted violation function is then developed for a controller design to satisfy the required H∞ performance, and its convergence is guaranteed with probability 1. Two iterative algorithms are carried out alternately to implement this scheme, and a controller can be designed for MTTF requirement. Copyright © 2008 John Wiley & Sons, Ltd.
Producing cloud free and cloud-shadow free mosaic from cloudy IKONOS images

The Southeast Asia region is always under partial or complete cloud covers. As a result, optical remote sensing images of this region always contain cloud covers and associated shadows. In this paper, we report an operational method for generating a "cloud-free" image mosaic of 1-m resolution IKONOS images. The inputs are several cloudy images acquired by the IKONOS satellite over an area of interest. This technique is especially useful in tropical regions with persistent and extensive cloud cover.
ManTra-Net: Manipulation Tracing Network for Detection and Localization of Image Forgeries With Anomalous Features

To fight against real-life image forgery, which commonly involves different types and combined manipulations, we propose a unified deep neural architecture called ManTra-Net. Unlike many existing solutions, ManTra-Net is an end-to-end network that performs both detection and localization without extra preprocessing and postprocessing. \manifold{} is a fully convolutional network and handles images of arbitrary sizes and many known forgery types such splicing, copy-move, removal, enhancement, and even unknown types. This paper has three salient contributions. We design a simple yet effective self-supervised learning task to learn robust image manipulation traces from classifying 385 image manipulation types. Further, we formulate the forgery localization problem as a local anomaly detection problem, design a Z-score feature to capture local anomaly, and propose a novel long short-term memory solution to assess local anomalies. Finally, we carefully conduct ablation experiments to systematically optimize the proposed network design. Our extensive experimental results demonstrate the generalizability, robustness and superiority of ManTra-Net, not only in single types of manipulations/forgeries, but also in their complicated combinations.