Miracle-dz/UniFAR-FTUs huggingface dataset:
The design of a dual-structured measurement matrix in compressed sensing

The design of measurement matrices is one of the key contents of the compressed sensing (CS) theory. This paper constructs a new dual-structured measurement matrix-unit array + random matrix, by combining the advantages of the random measurement matrices with high recovery probability and the structured measurement matrices of low storage. The experiments show that the reconstruction errors can be gotten lower through using the measurement matrix designed than those of the simple application of the random measurement matrix. Then a method of sub-frame overlapping is proposed for reconstructing the entire signal, which can remove large errors caused by unit array in the measurement matrix, and ensure the stability of the whole signal reconstruction. Simulation results demonstrate that the signal to noise ratio (SNR) is increased significantly and the reconstruction performance of signal is improved remarkably.
Hierarchical-object-oriented extraction and visualization of species identification for Species Identification

Biologists have huge collection of plant data. Among them is local plant checklist used to identify species. However, the way the data is stored makes identification a tedious task and time consuming if done manually. This paper proposes a method to extract and visualize the information kept in the checklist in a structured manner to improve the retrieval process. Findings show that the method could improve the conventional identification process.
A Comment on “Fast Bloom Filters and Their Generalization”

A Bloom filter is a data structure that provides probabilistic membership checking. Bloom filters have many applications in computing and communications systems. The performance of a Bloom filter is measured by false positive rate, memory size requirement, and query (or memory look-up) overhead. A recent paper by Qiao et al. proposes the Fast Bloom Filter, also called Bloom-1, which requires only a single memory look-up for a membership test. Bloom-1 achieves a reduced query overhead at the expense of a slightly higher false positive rate for a given memory size. The false positive rate of Bloom-1 has been analyzed theoretically by Qiao et al. relying on a well-known, but flawed, approximation for the false positive rate for a Bloom filter. In this comment paper we show that the Qiao et al. analysis of Bloom-1 under-estimates the false positive rate for low loads. We provide a correct analysis of Bloom-1 yielding an expression for the exact false positive rate.
Prostate Cancer Expression Profiles Reveals Pathway Dysregulation in Meta-Analysis of Microarrays : Interstudy Validation of Gene Updated

The increasing availability and maturity of DNA microarray technology has led to an explosion of cancer profiling studies. To extract maximum value from the accumulating mass of publicly available cancer gene expression data, methods are needed to evaluate, integrate, and intervalidate multiple datasets. Here we demonstrate a statistical model for performing meta-analysis of independent microarray datasets. Implementation of this model revealed that four prostate cancer gene expression datasets shared significantly similar results, independent of the method and technology used (i.e., spotted cDNA versus oligonucleotide). This interstudy cross-validation approach generated a cohort of genes that were consistently and significantly dysregulated in prostate cancer. Bioinformatic investigation of these genes revealed a synchronous network of transcriptional regulation in the polyamine and purine biosynthesis pathways. Beyond the specific implications for prostate cancer, this work establishes a much-needed model for the evaluation, cross-validation, and comparison of multiple cancer profiling studies.
Traveling Wave Based Distribution Lines Fault Location Using Hilbert-Huang Transform

A new traveling wave based distribution line fault location method using Hilbert-Huang transform (HHT) is presented in this paper. The intrinsic mode function (IMF) components of the fault generated traveling wave are extracted by empirical mode decomposition (EMD), and the instantaneous frequency changing time of each IMF component is obtained through Hilbert transform. The traveling wave arrival time in global position system (GPS) can thus be detected according to its high frequency sudden change point which is extracted in the instantaneous frequency diagram. The HHT based fault location scheme is comparing with that based on wavelet transform. ATP simulation results show that the HHT method can more effectively extract the characteristics of traveling wave, and the fault location error is not more than plusmn150 m.
Detection and identification of human targets in radar data

Radar offers unique advantages over other sensors, such as visual or seismic sensors, for human target detection. Many situations, especially military applications, prevent the placement of video cameras or implantment seismic sensors in the area being observed, because of security or other threats. However, radar can operate far away from potential targets, and functions during daytime as well as nighttime, in virtually all weather conditions. In this paper, we examine the problem of human target detection and identification using single-channel, airborne, synthetic aperture radar (SAR). Human targets are differentiated from other detected slow-moving targets by analyzing the spectrogram of each potential target. Human spectrograms are unique, and can be used not just to identify targets as human, but also to determine features about the human target being observed, such as size, gender, action, and speed. A 12-point human model, together with kinematic equations of motion for each body part, is used to calculate the expected target return and spectrogram. A MATLAB simulation environment is developed including ground clutter, human and non-human targets for the testing of spectrogram-based detection and identification algorithms. Simulations show that spectrograms have some ability to detect and identify human targets in low noise. An example gender discrimination system correctly detected 83.97% of males and 91.11% of females. The problems and limitations of spectrogram-based methods in high clutter environments are discussed. The SNR loss inherent to spectrogram-based methods is quantified. An alternate detection and identification method that will be used as a basis for future work is proposed.
Theoretical X-ray line profiles from colliding wind binaries

We present theoretical X-ray line profiles from a range of model colliding wind systems. In particular, we investigate the effects of varying the stellar mass-loss rates, the wind speeds and the viewing orientation. We find that a wide range of theoretical line profile shapes is possible, varying with orbital inclination and phase. At or near conjunction, the lines have approximately Gaussian profiles, with small widths (HWHM ∼ 0.1v∞) and definite blueshifts or redshifts (depending on whether the star with the weaker wind is in front or behind). When the system is viewed at quadrature, the lines are generally much broader (HWHM ∼v∞), flat-topped and unshifted. Local absorption can have a major effect on the observed profiles – in systems with mass-loss rates of a few times 10−6 M⊙ yr−1 the lower energy lines (E ≲ 1 keV) are particularly affected. This generally results in blueward-skewed profiles, especially when the system is viewed through the dense wind of the primary. The orbital variation of the linewidths and shifts is reduced in a low-inclination binary. The extreme case is a binary with i= 0°, for which we would expect no line profile variation.
Distributed , Asynchronous , Model Predictive Control

Model predictive control (MPC) has become one the best technologies for controlling complex processes, to a great extent, as a result of its flexibility and explicit handling of constraints. Given a dynamic problem (DP), MPC converts DP into a series of static optimization problems, thereby allowing the use of standard optimization techniques to compute the control signals. The reliance of MPC on centralized computations, however, stands as a barrier to its utilization in the real-time operation of large, dynamic networks. To this end, this paper proposes an extension to MPC by decomposing DP into a network of small, but coupled subproblems and solving them with a network of asynchronous agents. The net result, after each agent applies MPC to its dynamic problem, is a series of sets of static problems. The focus is on the simultaneous solution of these sets of problems. The paper delivers a framework for carrying out the decomposition and develops conditions under which the iterative, synchronous processes of the agents converge to solutions. Further, it proposes heuristics for asynchronous convergence and reports experimental results, from prototypical dynamic networks, demonstrating the effectiveness of the proposed extension.
Journal of Neuroengineering and Rehabilitation Open Access Review on Solving the Forward Problem in Eeg Source Analysis

Background: The aim of electroencephalogram (EEG) source localization is to find the brain areas responsible for EEG waves of interest. It consists of solving forward and inverse problems. The forward problem is solved by starting from a given electrical source and calculating the potentials at the electrodes. These evaluations are necessary to solve the inverse problem which is defined as finding brain sources which are responsible for the measured potentials at the EEG electrodes.
Classification and discrimination of singel, complex, and interpolated speechlike timuli

Perceptual processing of single and complex (multi-formant) CV-like and VC-like sounds, as well as interpolated natural speech-based syllables is examined in forced-choice classification and ABX discrimination tasks. The sounds have short and rapid plosive-like vocalic transitions, and are preceded or followed by an /a/-like or /u/-like stationary part. Twelve seven-item /b/-/d/ continua were created with interstimulus step sizes based on the difference limens in endpoint frequency (for the formant stimuli). It was expected that the processing strategy would depend on the stimulus complexity, i.e., that the number of discriminable or identifiable stimuli would decrease with increasing stimulus complexity. It is found that resolution varies with stimulus complexity and methodological paradigm, but that it is not controlled by speech specific properties. Perception of the single formant stimuli can approach the limits of the auditory system, because these stimuli are processed in an analytical listening mode. Complex stimuli are perceived less analytically, presumably because the additional formants partially mask the varying cue, and because the `speechlike' character of the sound hinders within-category discrimination. Our results suggest that listeners process the stimuli in a temporary memory: internal representations for each of the stimuli of the continua under test are created, which enables them to distinguish the stimuli within the /b/ and /d/ categories. Although the interpolated speech-based sounds are perceived more categorically than the formant stimuli, the data give no clear evidence that these stimuli are processed by a long-term phoneme-labelling mechanism.
Temporal aspects of CARE-based multimodal fusion: from a fusion mechanism to composition components and WoZ components

The CARE properties (Complementarity, Assignment, Redundancy and Equivalence) define various forms that multimodal input interaction can take. While Equivalence and Assignment express the availability and respective absence of choice between multiple input modalities for performing a given task, Complementarity and Redundancy describe relationships between modalities and require fusion mechanisms. In this paper we present a summary of the works we have carried using the CARE properties for conceiving and implementing multimodal interaction, as well as a new approach using WoZ components. We present different technical solutions for implementing the Complementarity and Redundancy of modalities with a focus on the temporal aspects of the fusion. Starting from a monolithic fusion mechanism, we then explain our component-based approach and the composition components (i.e., Redundancy and Complementarity components). As a new contribution for exploring design solutions before implementing an adequate fusion mechanism as well as for tuning the temporal aspects of the performed fusion, we introduce Wizard of Oz (WoZ) fusion components. We illustrate the composition components as well as the implemented tools exploiting them using several multimodal systems including a multimodal slide viewer and a multimodal map navigator.
RECOMMENDING SERVICES IN A DIFFERNTIATED TRUST-BASED DECENTRALIZED USER MODELING SYSTEM

Trust and reputation mechanisms are often used in peer-to-peer networks, multi-agent systems and online communities for trust-based interactions among the users. Trust values are used to differentiate among members of the community as well as to recommend service providers. Although different users have different needs and expectations in different aspects of the service providers, traditional trust-based models do not use trust values on neighbors for judging different aspects of service providers. In this thesis, I use multi-faceted trust models for users connected in a network who are looking for suitable service providers according to their preferences. Each user has two sets of trust values: i) trust in different aspects of the quality of service providers, ii) trust in recommendations provided for these aspects. These trust models are used in a decentralized user modeling system where agents (representing users) have different preference weights in different criteria of service providers. My approach helps agents by recommending the best possible service provider for each agent according to its preferences. The approach is evaluated by conducting simulation on both small and large social networks. The results of the experiments illustrate that agents find better matches or more suitable service providers for themselves using my trust-based recommender system without the help of any central server. To the best of my knowledge this is the first system that uses multi-faceted trust values both in the qualities of service-providers and in other users’ ability to evaluate these qualities of service providers in a decentralized user modeling system.
Consistent stakeholder modifications of formal models via a natural language representation

While requirements described in Natural Language are inherently ambiguous and hard to check for consistency, they are intuitively understandable for domain experts. Using formal models, on the other hand, supports requirements engineers to specify requirements correct, consistent and complete. Transformations between these two different representations can become quite complex, since not everything that can be expressed with natural language can be captured in a restricted formal model. We describe a transformation approach that takes the formal modeling operations of story patterns and allows domain experts to transparently apply them on a natural language representation of these formal models. Also, a preliminary evaluation is presented.
Bridging the Gap between Task Planning and Path Planning

Autonomous service robots have to recognize and interpret their environment to be able to interact with it. This paper focuses on service tasks such as serving a glass of water where a humanoid two-arm-system has to acquire an object from the scene. A task planner should be able to autonomously discern the necessary actions to solve the task. In the process, a path planner can be used to compute motion sequences to execute these actions. To plan trajectories, the path planner requires a pair of configurations, the start and the goal configuration of the robot, to be provided e.g. by a task planner. This paper proposes a method to autonomously find the goal configurations necessary to acquire objects from the scene and thus makes an attempt to bridge the gap between task planning and path planning. The method determines where to grasp an object by analyzing the scene and the influence of obstacles on the intended grasp location. For the case where the goal object can not be grasped due to obstructing obstacles, a solution is proposed
An exact dynamic model for the Thomas-K biped robot: New simulator design

In this paper, the dynamic model of the Thomas-K biped robot, which was built at Ohnishi laboratory in Keio University, is derived, and a new efficient dynamic simulator is proposed. Although the dynamic model of bipedal locomotion is considered in this paper, the proposed model can be easily implemented any kind of floating point base robotic systems, such as mobile robots, space robots and so on. The Thomas-K biped robot has totally 16-degrees of freedom, in which 10 degrees of freedom can be controlled directly. Therefore, it is not an easy task to derive the conventional closed form dynamic model of the Thomas-K. Firstly, it is derived by using a Newton-Euler algorithm which is conventionally used to derive the dynamic models of biped robots. However, it does not give deep insight into the dynamics of bipedal locomotion. Besides, the Newton-Euler algorithm provides only inverse dynamics; therefore, it should be run recursively, which increases computational load, to derive the conventional closed form dynamic model, i.e., forward dynamics. Secondly, the inertia matrix and gravity vector are derived analytically. It simplifies the model and gives better insight into the dynamics of bipedal locomotion. However, the Coriolis and centrifugal forces are derived by using the Newton-Euler algorithm. A simple virtual spring-damper collision model is used to simulate the contact between the robot's soles and floor. The virtual spring-damper model makes the contact model easier than the plastic collision one and improves the performance of the simulation, significantly. Center of mass (CoM) of the robot is controlled in the single support phase in order to show the validity of the models.
Les ondelettes à support compact et la solution numérique de l ’ équation de Burgers

On présente dans cette note une méthode de résolution de l’équation de Burgers basée sur la combinaison de techniques classiques de type Galerkin avec des bases fonctionnelles de type ondelettes. Les bases orthonormales d’ondelettes à support compact, dues à I. Daubechies fournissent des solutions stables, même lorsque la viscosité est petite et, eventuellement, nulle. Par rapport à des approximations par différences finies, ou spectrales, les oscillations numériques au voisinage des chocs, associées au phénomène de Gibbs, sont de faible amplitude et restent localisées à proximité des chocs. Compactly supported wavelets and the numerical solution of Burgers’ equation
2,3,7,8-Tetrachlorodibenzo-p-Dioxin Promotes BHV-1 Infection in Mammalian Cells by Interfering with Iron Homeostasis Regulation

Mammalian cells require iron to satisfy metabolic needs or to accomplish specialized functions, and DNA viruses, like bovine herpesvirus 1 (BHV-1), require an iron-replete host to efficiently replicate, so that iron bioavailability is an important component of viral virulence. Cellular iron metabolism is coordinately controlled by the Iron Regulatory Proteins (IRP1 and IRP2), whose activity is affected by 2,3,7,8-tetrachlorodibenzo-p-dioxin (TCDD), a current and persistent environmental contaminant. Considering that TCDD enhances BHV-1 replication, herein we analyzed the effects of TCDD on iron metabolism during BHV-1 infection in MDBK cells, and presented evidences of a divergent modulation of IRP1 and IRP2 RNA-binding capacity. Moreover, an up-regulation of transferrin receptor 1 (TfR1) and a concomitant down-regulation of ferritin were observed. This scenario led to an expansion of the labile iron pool (LIP) and induces a significant enhance of viral titer, as confirmed by increased levels of BHV-1 infected cell protein 0 (bICP0), the major transcriptional regulatory protein of BHV-1. Taken together, our data suggest that TCDD increases the free intracellular iron availability thereby promoting the onset of BHV-1 infection and rendering bovine cells more vulnerable to the virus.
Educator training and support for inclusive education

When the implementation ofinc1usive education was announced by government, it did not come without shared concerns by many parents, educators, lecturers, specialists and learners about the future ofthe educational system in South Africa. Research needs to be done in order to address these concerns. The present study aims to address some ofthose concerns as well as to investigate what is provided to mainstream educators in terms oftraining, support and skills in three schools in the Cape Winelands district of the Western Cape Education Department. These educators have all previously received training in inclusive education. The researcher embarked research to establish whether the educators believed the training and support they received was effective. Previous studies, local as well as abroad, indicate the importance ofeffective training and support for mainstream educators when it comes to the successful implementation of inclusive education. Aspects the researcher attempted to highlight are pre-service and in-service training ofeducators. A closer look is taken at classroom support, collaboration among all parties involved and peer support in order to get a clear understanding ofwhat is needed, with special reference to the issue of support. The researcher also took a closer look at the types of skills that are required for the successful implementation ofinclusive education. Data was collected through the administration ofa questionnaire. The main findings revealed that the majority ofeducators believe that the training, support and skills they received from the Western Cape Education Department were effective. These results were interesting, given the fact that most educators, both locally and abroad, still raise concerns about training and support. Some key focus areas the researcher identified for the successful implementation of inclusive education are the integration ofpre-service and in-service training programmes, parental involvement and collaboration between special and mainstream schools.