Miracle-dz/UniFAR-FTUs huggingface dataset:
A new Fault Toletant Nonlinear Model Predictive Controller based on an adaptive extended kalman filter

This paper presents a new Fault Tolerant Nonlinear Model Predictive Controller (FTNMPC). The proposed controller utilizes a Fault Detection and Identification (FDI) scheme based on a novel adaptive extended Kalman filter (EKF) technique. For this purpose a Multi Sensor Data Fusion (MSDF) methodology is incorporated to enhance the estimation accuracy and reliability. A series of illustrative sensor test scenarios has been organized in a Continuous Stirred Tank Reactor (CSTR) benchmark process, which is a typical nonlinear process case study, to comparatively assess the resulting performances of the proposed FTNMPC against typical sensor faults consisting of calibration biases and excessive-variance noises.
Improving the Dependability of Machine Learning Applications

As machine learning (ML) applications become prevalent in various aspects of everyday life, their dependability takes on increasing importance. It is challenging to test such applications, however, because they are intended to learn properties of data sets where the correct answers are not already known. Our work is not concerned with testing how well an ML algorithm learns, but rather seeks to ensure that an application using the algorithm implements the specification correctly and fulfills the users’ expectations. These are critical to ensuring the application’s dependability. This paper presents three approaches to testing these types of applications. In the first, we create a set of limited test cases for which it is, in fact, possible to predict what the correct output should be. In the second approach, we use random testing to generate large data sets according to parameterization based on the application’s equivalence classes. Our third approach is based on metamorphic testing, in which properties of the application are exploited to define transformation functions on the input, such that the new output can easily be predicted based on the original output. Here we discuss these approaches, and our findings from testing the dependability of three real-world ML applications.
Information retrieval via WWW image searching: A reality check

On the one hand, information storage and retrieval through the Internet has made spectacular progress. On the other hand, practical searching for information still confronts us with retrieval systems that are far from perfect. The purpose of this contribution is to clarify the practical state of the art of finding information through image web search systems in a particular subject domain and to derive recommendations from the outcome of the investigation. The method of investigation consisted of submitting queries to public access WWW image search engines followed by a quantitative evaluation of the 20 individual results that were ranked highest for each search query; the scoring method leads to a positive score related to precision between 0 and 20 and to a negative score related to misinformation between 0 and minus 20. This has lead to the following findings: Most positive scores were much lower than the ideal maximum, even though the queries contained very specific words and names as formulated by a user familiar with the subject domain. In other words, many image search results lead to information that is irrelevant, so that users lose time and may lose interest. Furthermore and worse, a significant number of search results may even mislead users who are unfamiliar with the selected subject domain. In conclusion, information retrieval from the WWW through image searching is attractive, simple and fast, but precision is far from perfect and users can be misinformed. Recommendations are formulated to authors, publishers, librarians and end-users of image information retrieval systems.
Differential Relationships Between the Dimensions of Psychopathy and Intelligence

Previous research with adult mental health and adolescent forensic samples has found that intelligence is differentially related to the four dimensions of psychopathy. The current study evaluated the relations between the Psychopathy Checklist: Screening Version (PCL:SV) factors and full-scale intelligence (FIQ) in 100 males detained in a county jail. Structural equation modeling results revealed that the PCL:SV interpersonal factor had a strong positive relationship to the FIQ latent variable, whereas the antisocial factor was moderately positively associated with FIQ. In contrast, FIQ was negatively related to both the affective and lifestyle PCL:SV factors. Overall, the psychopathy factors accounted for 25% of the variance of FIQ. The current study adds to a growing literature suggesting that features of psychopathy are differentially related to intellectual functioning.
SenPro: concurrent system profiling for wireless sensor networks

In this demo, we present SenPro, a profiling tool that profiles the run-time behaviors of a deployed wireless sensor network (WSN). SenPro runs concurrently with the WSN application and provides information of system execution in a minimally intrusive manner, without requiring any modification to the application being observed. We demonstrate, for a broad class of data gathering applications, how SenPro helps the designer to understand the application behavior by collecting and analyzing the metrics at the centralized sink.
Prevalence and Determinants of High-Risk Human Papillomavirus Infection in Male Genital Warts

Purpose To evaluate the prevalence and type distribution of high-risk human papillomavirus (HPV) infection in genital warts of Korean men, and for the first time, to describe the risk factors associated with high-risk HPV infection in male genital warts. Materials and Methods In a single private clinic, 150 consecutive male patients with histopathologic-confirmed genital warts who underwent HPV genotyping by use of polymerase chain reaction (PCR) were included in this study. We detected HPV DNA in male genital warts and evaluated HPV type distribution, especially high-risk HPV types, by use of PCR. The associations between HPV prevalence and various characteristics, such as age, circumcision status, type of genital warts diagnosis (new vs. recurrent), number of lesions, site of lesions, and gross morphology, were assessed by use of unconditional multiple logistic regression. Results High-risk HPV types were detected in 31 cases (23.5%), and of these, 27 cases (20.5%) contained both high-risk and low-risk HPV types. The most frequently detected high-risk HPV types were HPV16 (6.8%), HPV33 (4.5%), HPV18 (2.3%), and HPV68 (2.3%). In particular, the prevalence of infection with HPV16 and/or HPV18 was 8.3% (11 of 132). In the multivariate analysis, lesions located at sites including the base of the penis or the pubic area, papular or mixed genital warts, and lack of circumcision significantly increased the association with high-risk HPV infection in male genital warts. Conclusions The prevalence of high-risk HPV infection was substantial in male genital warts. The site and morphology of lesions and circumcision status were significantly associated with the prevalence of high-risk HPV infection.
The European Union, education governance and international education surveys

The European Union – comprising 28 member states with individual sovereignty in the formation and implementation of education policy – has developed research and communication strategies to facilitate the exchange of best practices, gathering and dissemination of education statistics and, perhaps most importantly, advice and support for national policy reform. Additionally, shared programs have been implemented across the union, which have led to the formation of one of the largest transnational policy networks in the world. This paper examines the influence of international education surveys administered by the Organisation for Economic Cooperation and Development, outlining the key characteristics of the surveys and the most salient findings. We discuss the contribution of emerging European Union governance for the quality of education while also looking at the challenges ahead. These challenges include developing assessments to include value added, revising assessments to include broader skills and providing assessment feedback to teachers within an EU context in which national and Organisation for Economic Cooperation and Development assessments become complementary, rather than overlapping, survey measures.
An efficient error concealment method for mobile TV broadcasting

Nowadays, TV broadcasting has found its application in mobile terminal, however, due to the prediction structure of video coding standards, compressed video bitstreams are vulnerable to wireless channel disturbances for real-time transmission. In this paper, we propose a novel temporal error concealment method for mobile TV sequences. The proposed ordering methods utilizes continuity feature among adjacent frames, so that both inter and intra error propagation are alleviated. Combined with our proposed fuzzy metric based Boundary Matching Algorithm (FBMA) which provides more accurate distortion function, experiment results show our proposal achieves better performance under error-prone channel, compared existing error concealment algorithms.
A Hybrid Systems Framework for Multi-robot Control and Programming

In this paper, we present a framework and the software architecture for the deployment of multiple autonomous robots in an unstructured and unknown environment with applications ranging from scouting and reconnaissance, to search and rescue and manipulation tasks. Our software framework provides the methodology and the tools that enable robots to exhibit deliberative and reactive behaviors in autonomous operation, to be reprogrammed by a human operator at run-time, and to increase system reliability in unstructured, dynamic environments.
The Helium spectrum in erupting solar prominences

Even quiescent solar prominences may become active and sometimes erupt. These events are occasionally linked to coronal mass ejections. However we know very little about the plasma properties during the activation and eruption processes. We present new computations of the helium line profiles emitted by an eruptive prominence. The prominence is modelled as a plane-parallel slab standing vertically above the solar surface and moving upward as a solid body. The helium spectrum is computed with a non local thermodynamic equilibrium radiative transfer code. The effect of Doppler dimming / brightening is investigated in the resonance lines of He I and He II formed in the EUV, as well as on the He I 10830 A and 5876 A lines. We focus on the line profile properties and the resulting integrated intensities. It is shown that the helium lines are very sensitive to Doppler dimming effects. We also study the effect of frequency redistribution in the formation mechanisms of the resonance lines and find that it is necessary to use partial redistribution in frequency for the resonance lines.
Simulation of a ring-resonator based optical beamformer system for phased array receive antennas

A new simulator tool is described that can be used in the field of RF photonics. It has been developed on the basis of a broadband, continuously tunable optical beamformer system for phased array receive antennas. The application that is considered in this paper is airborne satellite reception of digital television. The simulator tool has been developed in LabVIEW. The simulation model comprises a dynamical implementation of the optical beamforming network, such that beamforming can be performed for any number of antenna elements (AEs). The scalability of the model has been investigated by determining the computational complexity relations of the most critical blocks. It was found that a simulation of a full-scale beamformer can be performed within a reasonable amount of time.
Effects of multiple scatter on the propagation and absorption of electromagnetic waves in a field-aligned-striated cold magneto-plasma: implications for ionospheric modification experiments

Abstract. A new theory of the propagation of low power electromagnetic test waves through the upper-hybrid resonance layer in the presence of magnetic field-aligned plasma density striations, which includes the effects of multiple scatter, is presented. The case of sinusoidal striations in a cold magnetoplasma is treated rigorously and then extended, in an approximate manner, to the broad-band striation spectrum and warm plasma cases. In contrast to previous, single scatter theories, it is found that the interaction layer is much broader than the wavelength of the test wave. This is due to the combined electric fields of the scattered waves becoming localised on the contour of a fixed plasma density, which corresponds to a constant value for the local upper-hybrid resonance frequency over the whole interaction region. The results are applied to the calculation of the refractive index of an ordinary mode test wave during modification experiments in the ionospheric F-region. Although strong anomalous absorption arises, no new cutoffs occur at the upper-hybrid resonance, so that in contrast to the predictions of previous single scatter theories, no additional reflections occur there. These results are consistent with observations made during ionospheric modification experiments at Tromso, Norway. Key words. Ionosphere (active experiments; ionospheric irregularities) Radio science (ionospheric propagation)
Can I Help You Setting Your Privacy? A Survey-based Exploration of Users' Attitudes towards Privacy Suggestions

Even avid users of mobile applications turn a blind eye to privacy settings. Still mobile applications remain the key means by which users share sensitive personal information. It is unclear if users just do not care, if they are missing the appropriate tools or user interfaces, or if they live in the delusion of being in control of their data. We argue that non-user-friendly design presents a key obstacle in making privacy controls work: it hinders users to effectively set up and maintain privacy settings. Our ultimate goal is to support the user by automatically suggesting access control lists based on an analysis of her communication metadata. To guide us in the design of such privacy suggestions, we perform an explorative questionnaire-based study with 42 participants. Our results confirm that users are overtaxed with existing schemes. We identify the expectations and preferences of users, thus facilitating the design of improved solutions.
Delay-Dependent Stability for Recurrent Neural Networks With Time-Varying Delays

This brief is concerned with the stability for static neural networks with time-varying delays. Delay-independent conditions are proposed to ensure the asymptotic stability of the neural network. The delay-independent conditions are less conservative than existing ones. To further reduce the conservatism, delay-dependent conditions are also derived, which can be applied to fast time-varying delays. Expressed in linear matrix inequalities, both delay-independent and delay-dependent stability conditions can be checked using the recently developed algorithms. Examples are provided to illustrate the effectiveness and the reduced conservatism of the proposed result.
PLAN EXECUTION INTERCHANGE LANGUAGE (PLEXIL) FOR EXECUTABLE PLANS AND COMMAND SEQUENCES

Space mission operations require flexible, efficient and reliable plan execution. In typical operations command sequences (which are a simple subset of general executable plans) are generated on the ground, either manually or with assistance from automated planning, and sent to the spacecraft. For more advanced operations more expressive executable plans may be used; the plans might also be generated automatically on board the spacecraft. In all these cases, the executable plans are received by a software system that executes the plan. This software system, often called an executive, must ensure that the execution of the commands and response of the fault protection system conforms to pre-planned behaviour. This paper presents a language, called PLEXIL, that is designed specifically for flexible and reliable command execution. It is designed to be portable, lightweight, predictable, and verifiable, and at the same time it is more expressive than command sequencing languages currently used on space missions.
A Pragmatic System-failure Assessment and Response Model

Several attack models exist today that attempt to describe cyber-attacks to varying degrees of granularity. Fast and effective decision-making during cyber-attacks is often vital, especially during incidents in which reputation, finance and physical damage can have a crippling effect on people and organisations. Such attacks can render an organisation paralysed, and it may cease to function, we refer to such an incident as a “System Failure”. In this paper we propose a novel conceptual model to help analysts make pragmatic decisions during a System Failure. Our model distils the essence of attacks and provides an easy-to-remember framework intended to help analysts ask relevant questions at the right time, irrespective of what data is available to them. Using abstraction-based reasoning our model allows enterprises to achieve “some” situational awareness during a System Failure, but more importantly, enable them to act upon their understanding and to justify their decisions. Abstraction drives the reasoning process making the approach relevant today and in the future, unlike several existing models that become deprecated over time (as attacks evolve). In the future, it will be necessary to trial the model in exercises to assess its value.
TrueRefactor : An Automated Refactoring Tool to Improve Legacy System and Application Comprehensibility

Manual refactoring is a complicated process requiring intimate knowledge of the software design and underlying intended behavior of a system. This knowledge is not always available. Fully automated refactoring, using a meta-heuristic based search that is dependent on software quality metrics and code smells as a guide, eliminates the need for the developer to be intimately connected to the software under modification. Computer applications in industry and engineering benefit significantly from new approaches to self-correcting refactoring software. TrueRefactor is an automated refactoring tool that significantly improves the comprehensibility of legacy systems. The goal of TrueRefactor is to modify legacy object-oriented systems in order to increase the understandability, maintainability and reusability aspects of legacy software, and to simultaneously generate new UML documentation in order to help developers understand the changes being made. This paper presents the research behind the design, as well as a technical overview of the implementation of TrueRefactor. We summarize the research goals that TrueRefactor addresses, and identify opportunities where it can be actively utilized.
Cortical Excitability Measured with nTMS and MEG during Stroke Recovery

Objective. Stroke alters cortical excitability both in the lesioned and in the nonlesioned hemisphere. Stroke recovery has been studied using transcranial magnetic stimulation (TMS). Spontaneous brain oscillations and somatosensory evoked fields (SEFs) measured by magnetoencephalography (MEG) are modified in stroke patients during recovery. Methods. We recorded SEFs and spontaneous MEG activity and motor threshold (MT) short intracortical inhibition (SICI) and intracortical facilitation (ICF) with navigated TMS (nTMS) at one and three months after first-ever hemispheric ischemic strokes. Changes of MEG and nTMS parameters attributed to gamma-aminobutyrate and glutamate transmission were compared. Results. ICF correlated with the strength and extent of SEF source areas depicted by MEG at three months. The nTMS MT and event-related desynchronization (ERD) of beta-band MEG activity and SICI and the beta-band MEG event-related synchronization (ERS) were correlated, but less strongly. Conclusions. This first report using sequential nTMS and MEG in stroke recovery found intra- and interhemispheric correlations of nTMS and MEG estimates of cortical excitability. ICF and SEF parameters, MT and the ERD of the lesioned hemisphere, and SICI and ERS of the nonlesioned hemisphere were correlated. Covarying excitability in the lesioned and nonlesioned hemispheres emphasizes the importance of the hemispheric balance of the excitability of the sensorimotor system.
Predicting Employability from User Personality using Ensemble Modelling

In field of machine learning numerous down to earth executions have been done for diverse purposes. Be that as it may, less work has been done in field of psychology research taking help of machine learning and data mining strategies. Big five identity model is the most broadly acknowledged psychology research identity display that is acknowledged in the field of applied psychology. Five variables can characterize one's identity as indicated by Big five model and they are Openness, Conscientiousness, Extrovertness, Agreeableness, and Neuroticism, subsequently the acronym OCEAN. In the data that has been prepared and tried for the outcomes that are given in this paper, aggregate of 19719 perceptions have been recorded where each individual has given their reactions to aggregate of 50 inquiries. 10 inquiries for every identity attribute were inquired. Theory has been taken to choose the order of individual, in the event that he/she is employable taking into account a few scopes of diverse identity components. At last, 6 machine learning models have been checked for their exhibitions to foresee the employability of 70-30 model. Models with 90% above precision have been checked with their changes and blends for checking which of the mix is anticipating the best result i.e. with most astounding exactness and ensemble model for this assignment is chosen. Group procedure verifies that the proposed model will perform on mixture of datasets with high precision. On the off chance that base models don't give adequate result, ensemble model will beat any base model with best result conceivable.
fMRI Evidence for Dual Routes to the Mental Lexicon in Visual Word Recognition

Event-related fMRI was used to investigate lexical decisions to words of high and low frequency of occurrence and to pseudowords. The results obtained strongly support dual-route models of visual word processing. By contrasting words with pseudowords, bilateral occipito-temporal brain areas and posterior left middle temporal gyrus (MTG) were identified as contributing to the successful mapping of orthographic percepts onto visual word form representations. Low-frequency words and pseudowords elicited greater activations than high-frequency words in the superior pars opercularis [Brodmann's area (BA) 44] of the left inferior frontal gyrus (IFG), in the anterior insula, and in the thalamus and caudate nucleus. As processing of these stimuli during lexical search is known to rely on phonological information, it is concluded that these brain regions are involved in grapheme-to-phoneme conversion. Activation in the pars triangularis (BA 45) of the left IFG was observed only for low-frequency words. It is proposed that this region is involved in processes of lexical selection.