Miracle-dz/UniFAR-FTUs huggingface dataset:
Kernel synthesis for generalized time-frequency distributions using the method of alternating projections onto convex sets

Cohen's generalized time-frequency distribution (GTFR) requires the choice of a two-dimensional kernel. The kernel directly affects many performance attributes of the GTFR such as time resolution, frequency resolution, realness, and conformity to time and frequency marginals. A number of different kernels may suffice for a given performance constraint (high-frequency resolution, for example). Interestingly, most sets of kernels satisfying commonly used performance constraints are convex. We describe a method whereby kernels can be designed that satisfy two or more of these constraints. If there exists a nonempty intersection among the constraint sets, then the theory of alternating projection onto convex sets (POCS) guarantees, convergence to a kernel that satisfies all of the constraints. If the constraints can be partitioned into two sets, each with a nonempty intersection, then POCS guarantees convergence to a kernel that satisfies the inconsistent constraints with minimum mean-square error. We apply kernels synthesized using POCS to the generation of some example GTFRs, and compare their performance to the spectrogram, Wigner distribution, and cone kernel GTFR. >
Analysis of the Digital Fiscal Documents in the Mexican Tributary Administration System

Since January 2005, the Mexican Government, through the Tributary Administration System (SAT), offers the service of generating digital fiscal documents by using the socalled advanced electronic signatures. In this paper we point out several security flaws in the security protocol specified for generating those electronic invoices. Specifically, we show that the authentication process stipulated by SAT implies a critical security gap. We provide recommendations in order to avoid the security problems detected, which includes the usage of alternative authentication protocols, Time Stamps Authorities and Digital Notary.
Non-commercial Research and Educational Use including without Limitation Use in Instruction at Your Institution, Sending It to Specific Colleagues That You Know, and Providing a Copy to Your Institution's Administrator. All Other Uses, Reproduction and Distribution, including without Limitation Comm

In this work, numerical solution of 3D-integral equations of electro-static theory for an infinite homogeneous medium with a heterogeneous isolated inclusion is considered. Gaussian approximating functions are used for discretization of the integral equations of the problem. These functions essentially simplify construction of the matrix of the system of linear algebraic equations to which the problem is reduced after discretization. The developed method is meshfree, and only the coordinates of the nodes (centers of the Gaussian functions) in the region occupied by the inclusion are initial data required for the realization of the method. For acceptable precision of the numerical solutions of 3D-problems, the number of nodes (approximating functions) should be sufficiently large, and after discretization, the original integral equation is reduced to a system of linear algebraic equations with a non-sparse matrix of high dimension. The multipole expansion method is proposed for the iterative solution of this system. The comparison of the numerical and exact distributions of electro-static fields inside spherical inclusions with radially changing properties is presented and analyzed.
Evaluation of memory performance on the cell BE with the SARC programming model

With the advent of multicore architectures, especially with the heterogeneous ones, both computational and memory top performance are difficult to obtain using traditional programming models. Usually, programmers have to fully reorganize the code and data of their applications in order to maximize resource usage, and work with the low-level interfaces offered by the vendor-provided SDKs, to obtain high computational and memory performances. In this paper, we present the evaluation of the SARC programming model on the Cell BE architecture, with respect to memory performance. We show how we have annotated the HPL STREAM and RandomAccess applications, and the memory bandwidth obtained. Results indicate that the programming model provides good productivity and competitive performance on this kind of architectures.
Leisure and Its Relationship to Library and: Information Science: Bridging the Gap

The serious leisure perspective is introduced and its relationship to library and information science (LIS) set out. The relationship is twofold: the perspective offers a distinctive approach both to research and to practice in this discipline. That is, the perspective bridges a critical gap that has separated the fields of LIS and leisure studies, manifested in both as scant concern with the central interest of the other. This gap is bridged by providing the first with a conceptual framework for understanding leisure and leisure activities, which can help guide researchers and practitioners working on the retrieval and dissemination of information bearing on such activities. The serious leisure perspective is the theoretic structure that synthesizes three main forms of leisure. Serious leisure is the systematic pursuit of an amateur, hobbyist, or volunteer core activity that captivates the participant with its challenges and complexity. Casual leisure is an immediately, intrinsically rewarding, relatively short-lived pleasurable core activity, requiring little or no special training to enjoy it. Project-based leisure refers to a short term, reasonably complicated, one-shot or occasional, though infrequent, creative undertaking carried out in free time. Serious leisure is the most complex of these three, offering thereby the richest lode for LIS researchers and practitioners to mine. The perspective is a vehicle for systematically exploring people's use and dissemination of information during free time.
On Event Reproduction Ratio in Stateless and Stateful Replay of Real-World Traffic

Capturing and replaying network flows are important for testing network devices. Replayed traffic should reproduce effects similar to live traffic. This work presents methods to measure the event reproduction ratio, and studies the effectiveness of stateless and stateful traffic replayers based on the events triggered by packets and connections. We use two replayers, SocketReplay and Tcpreplay, and a networking device supporting security services. SocketReplay is a stateful replayer which keeps the state of a connection during replay, while Tcpreplay is a stateless replayer that ignores the connection state. Results indicate that SocketReplay replayed a smaller ratio of the captured traffic and triggered fewer blocking events in subsequent replay tests. Triggering blocking events denotes the replayed traffic cannot fit the onsite context. SocketReplay only replayed 38.74% of the captured TCP traffic, and resulted in an effectiveness of 99.97% (0.00%) in passing (blocking) event ratio. In contrast, Tcpreplay replayed 99.99% of the captured TCP traffic, and resulted in an effectiveness of 99.73% (75.64%) in passing (blocking) event ratio. The choice of a proper replayer and the corresponding replay configuration should depend on the contents of captured traffic and avoid to a significant drop of event reproduction ratio and the effectiveness of replayers.
High-Quality Capture of Documents on a Cluttered Tabletop with a 4K Video Camera

We present a novel system for detecting and capturing paper documents on a tabletop using a 4K video camera mounted overhead on pan-tilt servos. Our automated system first finds paper documents on a cluttered tabletop based on a text probability map, and then takes a sequence of high-resolution frames of the located document to reconstruct a high quality and fronto-parallel document page image. The quality of the resulting images enables OCR processing on the whole page. We performed a preliminary evaluation on a small set of 10 document pages and our proposed system achieved 98% accuracy with the open source Tesseract OCR engine.
Harmonics Plus Noise Model Based Vocoder for Statistical Parametric Speech Synthesis

This article explores the potential of the harmonics plus noise model of speech in the development of a high-quality vocoder applicable in statistical frameworks, particularly in modern speech synthesizers. It presents an extensive explanation of all the different alternatives considered during the design of the HNM-based vocoder, together with the corresponding objective and subjective experiments, and a careful description of its implementation details. Three aspects of the analysis have been investigated: refinement of the pitch estimation using quasi-harmonic analysis, study and comparison of several spectral envelope analysis procedures, and strategies to analyze and model the maximum voiced frequency. The performance of the resulting vocoder is shown to be similar to that of state-of-the-art vocoders in synthesis tasks.
Dynamic User Modelling through Virtual Course : Toward a Cognitive Approach to Represent Knowledge for E-Learning

This paper presents a preliminary work whose purpose is to represent the acquired and/or handled knowledge of an individual learner, engaged in e-learning activities through virtual course. In order to get a better corresponding user model, our approach of structuring knowledge is inspired by cognitive theories. We think that this would be advantageous and practical to identify correct and erroneous acquired knowledge and to suggest the planning of a suitable sequence of a remote pedagogical activities to improve significantly the cognitive level of the learner.
An Oncogene-Induced DNA Damage Model for Cancer Development

Of all types of DNA damage, DNA double-strand breaks (DSBs) pose the greatest challenge to cells. One might have, therefore, anticipated that a sizable number of DNA DSBs would be incompatible with cell proliferation. Yet recent experimental findings suggest that, in both precancerous lesions and cancers, activated oncogenes induce stalling and collapse of DNA replication forks, which in turn leads to formation of DNA DSBs. This continuous formation of DNA DSBs may contribute to the genomic instability that characterizes the vast majority of human cancers. In addition, in precancerous lesions, these DNA DSBs activate p53, which, by inducing apoptosis or senescence, raises a barrier to tumor progression. Breach of this barrier by various mechanisms, most notably by p53 mutations, that impair the DNA damage response pathway allows cancers to develop. Thus, oncogene-induced DNA damage may explain two key features of cancer: genomic instability and the high frequency of p53 mutations.
A supervised two-channel learning method for hidden Markov model and application on lip reading

In this paper, a novel two-channel learning method for hidden Markov model (HMM) is proposed. This method is specially designed to train HMMs for fine recognition from similar observations. The prominent features of this method are 1. ) the criterion function is based on the difference between training sequences, and 2. ) a twochannel structure is adopted to maintain the validity of the HMM. This learning method has been applied on a viseme-level lip reading system. The result shows that the performance of the two channel approach is better than that of the maximum likelihood (ML) estimation.
A sliding mode controller with bound estimation for robot manipulators

A sliding-mode control algorithm combined with an adaptive scheme, which is used to estimate the unknown parameter bounds, is developed for the trajectory control of robot manipulators. The major contribution of this methodology lies in the use of a special matrix, called the regressor, which makes it possible to isolate the unknown parameters from the robotic dynamics. Based on the upper bounds of those unknown parameters, which are estimated by a simple adaptive law, the proposed VSS (variable-structure-system) controller guarantees the stability of the closed-loop system. The robustness analysis shows that in the presence of the uncertainties, which are assumed to be unbounded and rapidly varying, the closed-loop system can still be stabilized. Chattering is reduced by using the boundary layer technique. Simulation results show the validity of the proposed algorithm. >
Interaction Walkthroughs and Improvised Role Play

How do designers of interactive media work on the dynamic aspects of their designs? Previous research has emphasised the role of gestures to express what users and computers do. This paper contributes with a detailed analysis of interaction design master students' enactments. Two kinds of enactive means for expressing behaviour are identified: interaction walkthroughs and improvised role play.
Public Data Integrity Verification for Secure Cloud Storage

Cloud storage can provide a flexible on-demand data storage service to users anywhere and anytime. However, users’ data is owned by cloud service providers physically, and the physical boundary between two users’ data is fuzzy. In this environment not controlled by users, a method to ensure users’ data integrity must be provided. In order to avoid retrieving enormous storage data and users themselves checking, a public auditing protocol was proposed based on the BLS short signature scheme and the homomorphic hash function. The user computed the signatures of the blocks, and moved them to cloud servers to store. Cloud service providers computed the aggregation of the blocks, and the aggregation of signatures. Third party auditor verified whether the aggregate data was consistent with the aggregate signature. If consistent, users’ data integrity was verified. Based on the computational Diffie-Hellman assumption, the presented protocol is secure against the lost attack and tamper attack from cloud service providers. Based on the stream encryption, the proposed protocol is secure against the curious attack from third party auditor. As the independence among blocks and block signatures, this protocol supports blocks’ update, including insertion, modification and deletion. So, the protocol is secure and efficient, and supports for public verification, dynamic update and privacy preserving.
Une logique épistémique modeste basée sur les observations d ’ ordre supérieur

Nous présentons une logique épistémique dynamique basée sur ce qu’un agent peut observer, y compris les observations jointes et l’observation de ce que les autres observent, généralisant ainsi les logiques ECL-PC(PO) et LRC de van der Hoek, Wooldridge et al. où les variables propositionnelles que chaque agent observe sont connaissance commune. Dans notre logique, les propositions ainsi que la visibilité de ces propositions peuvent être modifiées par des programmes d’affectation. Nous montrons comment les opérateurs épistémiques peuvent alors être interprétés. Nous proposons une axiomatisation adéquate et complète et prouvons que le problème de satisfiabilité est PSpace-complet. Enfin, nous montrons comment les annonces publiques et privées peuvent être exprimées dans notre logique.
Assessing the real profit efficiency of banks in less regulated markets

with the sub-prime lending debacle still unfolding, banks are looking for alternative sources of revenue with more discernible risks. in this context, it is timely to examine less regulated markets, such as the Uae, where the focus is on traditional banking practices rather than financial engineering. when evaluating the performance of banks in less regulated markets, however, caution should be exercised as disclosure and market practices in these markets can be quite different from more highly regulated markets.
Research on the Architecture of Trusted Security System Based on the Internet of Things

With the advent of Internet of Things (IoT), information security issues will be a major bottleneck of the future development of IoT. How to resolve the information security problems of IoT effectively has become an important research issue. Firstly, various potential information security issues and preventive measures in the application of IoT are summarized. Then, the general architecture of trusted security system based on IoT is first proposed based on the former researches about trusted computing, trusted network, etc. Finally, according to the general architecture of trusted security system based on IoT, a study of concrete realization of trusted security system based on IoT is made, which mainly includes trusted user module, trusted perception module, trusted terminal module, trusted network module and trusted agent module.
COMPUTATIONALLY EFFICIENT LOCALLY WEIGHTEDKERNEL REGRESSIONJEFF

Locally weighted kernel regression has received much deserved attention in the literature due to its superior sampling properties relative to standard kernel estimators. However, the estimator can be signiicantly more computationally burdensome than standard kernel estimators. The use of data-driven methods such as cross-validation for the purpose of bandwidth selection further increases the computational burden associated with this estimator. This paper outlines a simple but extremely eecient algorithm for computing this estimator which can reduce the computational burden by orders of magnitude. Applications are considered.
Performance improvement of deep packet inspection for Intrusion Detection

The development in anomaly and misuse detection in this decade is crucial as web services grow vast. Managing secure network is a challenge today. The objectives vary according to the infrastructure management and security policy. There are various ways to check stateful packet inspection and Deep Packet inspection (DPI). Identify payload traffic using DPI, Network security, Privacy and QoS. The functions of DPI are protocol detection, anti-virus, anti-malware and Intrusion Detection System (IDS). The detection engine may support by a signatures or heuristics. Most of the algorithms do training and testing, it takes approximately double time. The paper suggests a new model to improve performance of Intrusion detection system by using in/out based attributes of records. It takes a comparative less time and good accuracy than the existing classifiers.
A Hardware Efficient Implementation of a Digital Baseband Receiver for High-Capacity Millimeter-Wave Radios

This paper presents an implementation solution for a digital baseband receiver, which consists mainly of an analog symbol timing recovery (STR) block and a digital carrier recovery block. The STR is realized based on “one-sample-per-symbol” sampling, resulting in relaxed requirement on the A/D converter's sampling speed. In this sense, the proposed implementation solution is hardware efficient. To functionally verify the solution, a proof-of-concept E-band link system is implemented and tested in the laboratory, which supports 5-Gbit/s data traffic using 16 quadrature amplitude modulation. The test results demonstrate that the proposed solution works for high-capacity millimeter-wave radios for point-to-point links, one of the targeted applications.
From language towards formal spatial calculi

We consider mapping unrestricted natural language to formal spatial representations. We describe ongoing work on a two-level machine learning approach. The first level is linguistic, and deals with the extraction of spatial information from natural language sentences, and is called spatial role labeling. The second level is ontological in nature, and deals with mapping this linguistic, spatial information to formal spatial calculi. Our main obstacles are the lack of available annotated data for training machine learning algorithms for these tasks, and the difficulty of selecting an appropriate abstraction level for the spatial information. For the linguistic part, we approach the problem in a gradual way. We make use of existing resources such as The Preposition Project (TPP) and the validation data of General Upper Model (GUM) ontology, and we show some computational results. For the ontological part, we describe machine learning challenges and discuss our proposed approach.
Infrastructure as a service security: Challenges and solutions

Cloud Computing represents a new computing model that poses many demanding security issues at all levels, e.g., network, host, application, and data levels. The variety of the delivery models presents different security challenges depending on the model and consumers' Quality of Service (QoS) requirements. Confidentiality, Integrity, Availability, Authenticity, and Privacy are essential concerns for both Cloud providers and consumers as well. Infrastructure as a Service (IaaS) serves as the foundation layer for the other delivery models, and a lack of security in this layer will certainly affect the other delivery models, i.e., PaaS, and SaaS that are built upon IaaS layer. This paper presents an elaborated study of IaaS components' security and determines vulnerabilities and countermeasures. Finally, as a result of this research, we propose a Security Model for IaaS (SMI) to guide security assessment and enhancement in IaaS layer.
Probabilistic action planning for active scene modeling in continuous high-dimensional domains

In active perception systems for scene recognition the utility of an observation is determined by the information gain in the probability distribution over the state space. The goal is to find a sequence of actions which maximizes the system knowledge at low resource costs. Most current approaches focus either on optimizing the determination of the payoff neglecting the costs or develop sophisticated planning strategies for simple reward models.
Mediators Metadata Management Services : An Implementation Using GOA++ System

The main contribution of this work is the development of a Metadata Manager to interconnect heterogeneous and autonomous information sources in a flexible, expandable and transparent way. The interoperability at the semantic level is reached using an integration layer, structured in a hierarchical way, based on the concept of Mediators. Services of a Mediator Metadata Manager (MMM) are specified and implemented using functions based on the Outlines of GOA++. The MMM services e are available in the form of a GOA++ API and they can be accessed remotely via CORBA or through local API calls. Brugger et al.,Mediators Metadata Management Services, 2(1) 30-47(1999) 31
Outage Probability of Two-Way Full-Duplex Relaying With Imperfect Channel State Information

In this letter, we investigate two-way full-duplex (TWFD) relaying with a residual loop interference (LI). In the TWFD relaying, two full-duplex users exchange data with each other via a full-duplex relay, and each node attempts to subtract the estimate of the residual LI from its received signal. We derive the exact integral and approximate closed-form expressions for the outage probability of the TWFD relaying in case of perfect and imperfect channel state information. Monte Carlo simulations verify the validity of analytical results.