Miracle-dz/UniFAR-FTUs huggingface dataset:
Boosting the Correspondence between Description Logics and Propositional Dynamic Logics

One of the main themes in the area of Terminological Reasoning has been to identify description logics (DLs) that are both very expressive and decidable. A recent paper by Schild showed that this issue can be profitably addressed by relying on a correspondence between DLs and propositional dynamic logics (PDL). However Schild left open three important problems, related to the translation into PDLs of functional restrictions on roles (both direct and inverse), number restrictions, and assertions on individuals. The work reported in this paper presents a solution to these problems. The results have a twofold significance. From the standpoint of DLs, we derive decidability and complexity results for some of the most expressive logics appeared in the literature, and from the standpoint of PDLs, we derive a general methodology for the representation of several forms of program determinism and for the specification of partial computations.
Vers des asservissements visuels sur des scènes inconnues

HAL is a multi-disciplinary open access archive for the deposit and dissemination of scientific research documents, whether they are published or not. The documents may come from teaching and research institutions in France or abroad, or from public or private research centers. L’archive ouverte pluridisciplinaire HAL, est destinée au dépôt et à la diffusion de documents scientifiques de niveau recherche, publiés ou non, émanant des établissements d’enseignement et de recherche français ou étrangers, des laboratoires publics ou privés. Vers des asservissements visuels sur des scènes inconnues Collewet Christophe
USENIX Association Proceedings of the General Track : 2003

A virtual-machine monitor (VMM) is a useful technique for adding functionality below existing operating system and application software. One class of VMMs (called Type II VMMs) builds on the abstractions provided by a host operating system. Type II VMMs are elegant and convenient, but their performance is currently an order of magnitude slower than that achieved when running outside a virtual machine (a standalone system). In this paper, we examine the reasons for this large overhead for Type II VMMs. We find that a few simple extensions to a host operating system can make it a much faster platform for running a VMM. Taking advantage of these extensions reduces virtualiza-tion overhead for a Type II VMM to 14-35% overhead, even for workloads that exercise the virtual machine intensively.
Toward a quantifiable definition of software faults

An important aspect of developing models relating the number and type of faults in a software system to a set of structural measurement is defining what constitutes a fault. By definition, a fault is a structural imperfection in a software system that may lead to the system's eventually failing. A measurable and precise definition of what faults are makes it possible to accurately identify and count them, which in turn allows the formulation of models relating fault counts and types to other measurable attributes of a software system. Unfortunately, the most widely-used definitions are not measurable; there is no guarantee that two different individuals looking at the same set of failure reports and the same set of fault definitions will count the same number of underlying faults. The incomplete and ambiguous nature of current fault definitions adds a noise component to the inputs used in modeling fault content. If this noise component is sufficiently large, any attempt to develop a fault model will produce invalid results. As part of our on-going work in modeling software faults, we have developed a method of unambiguously identifying and counting faults. Specifically, we base our recognition and enumeration of software faults on the grammar of the language of the software system. By tokenizing the differences between a version of the system exhibiting a particular failure behavior, and the version in which changes were made to eliminate that behavior, we are able to unambiguously count the number of faults associated with that failure. With modern configuration management tools, the identification and counting of software faults can be automated.
Self-Employment and Unemployment in Spanish Regions in the Period 1979-2001

ev an Stel Abstract This chapter investigates the relation between changes in self-employment and changes in unemployment at the regional level in Spain in the period 1979-2001. We estimate a vector autoregression model as proposed by Audretsch, Carree, van Stel and Thurik (2005) using a data base for Spanish regions. By estimating the model we are able to empirically distinguish between two directions of causality. On the one hand increases in self-employment may contribute to lower unemploy- ment rates (the 'entrepreneurial' effect). On the other hand, higher unemployment rates may push individuals into self-employment, thereby contributing to higher self-employment rates (the 'refugee' effect). In our analysis of these two effects we distinguish between higher and lower income regions within Spain. We find empirical support for the 'entrepreneurial' effect to exist, both in higher income and in lower income regions. As regards the 'refugee' effect, the evidence is mixed. We find empirical support for this effect for higher income regions. Remarkably, we do not find evidence for a 'refugee' effect in lower income regions of Spain, even though unemployment rates are on average higher in these regions. We argue that this may be partly related to a lack of incentives for unemployed individuals in these regions to find paid employment.
A resource-shared VLIW processor architecture for area-efficient on-chip multiprocessing

We propose an area-efficient resource-shared VLIW processor (RSVP) for future leaky nm process technologies. It consists of several single-way independent processor units (IPUs) that share parallel processor resources. Each IPU works as a variable-way VLIW processor sharing the parallel resources according to priorities of given tasks. RSVP allocates shared parallel resources to the IPUs cycle by cycle. It can minimize the number of NOPs that waste power. The performance per power (P3) of a 4-parallel 4-way RSVP that corresponds to four 4way VLIWs is 3.7% better than a conventional 4-parallel 4-way VLIW multiprocessor in the current 90nm process. We estimate that the RSVP achieves 36% less leakage power and 28% better P3 in the future 25nm process. We have fabricated an RSVP test chip that contains two IPU and a shared resource equivalent to two 2way VLIWs in a 180nm process. It is functional at 100MHz clock speed and its power is 130mW.
An Empirical Research on the Route Selection of the Employees' Knowledge Reception

Through 335 questionnaires collected from 22 corporations in our survey, the two key factors which can influence the employee's knowledge reception readiness in the process of knowledge transfer, namely the degree of knowledge customization and the reliability of the knowledge source, are studied empirically. Moreover, the mediate effect of the employees' involvement degree and specialization degree to the route is analyzed. Therefore, increase the requirement of the external knowledge customization as well as the authority of the external consultants will be help to advance the employees' knowledge reception readiness, and then make an influence to the work performance. When receiving the external knowledge, it is important to not only enhance the employees' involvement and specialization but also to pay attention to the employees' attitude to the reform brought by the external knowledge as well as the resistance caused by the reform so that the external knowledge could be evaluated properly and received. Finally, the suggestions for the managerial practice as well as the future research direction are proposed.
Demonstration of Time-Reversal in Indoor Ultra-Wideband Communication: Time Domain Measurement

Using time domain measurements, we assess the feasibility of time-reversal technique in ultra-wideband (UWB) communication. A typical indoor propagation channel is selected for the exploration. The channel response between receive and transmit antenna pairs is measured using time domain equipments which include an arbitrary wave generator (AWG) and a digital storage oscilloscope (DSO). The time-reversed version of the channel response is constructed with AWG and retransmitted in the channel. The equivalent time reversed channel response is recorded. The properties of the time reversal technique in the line of sight (LOS) co-polar and cross-polar scenarios are measured.
A dynamic programming algorithm for haplotype block partitioning

We develop a dynamic programming algorithm for haplotype block partitioning to minimize the number of representative single nucleotide polymorphisms (SNPs) required to account for most of the common haplotypes in each block. Any measure of haplotype quality can be used in the algorithm and of course the measure should depend on the specific application. The dynamic programming algorithm is applied to analyze the chromosome 21 haplotype data of Patil et al. [Patil, N. , Berno, A. J., Hinds, D. A. , Barrett, W. A. , Doshi, J. M. , Hacker, C. R. , Kautzer, C. R. , Lee, D. H. , Marjoribanks, C. , McDonough, D. P., et al. (2001) Science 294, 1719–1723], who searched for blocks of limited haplotype diversity. Using the same criteria as in Patil et al., we identify a total of 3,582 representative SNPs and 2,575 blocks that are 21.5% and 37.7% smaller, respectively, than those identified using a greedy algorithm of Patil et al. We also apply the dynamic programming algorithm to the same data set based on haplotype diversity. A total of 3,982 representative SNPs and 1,884 blocks are identified to account for 95% of the haplotype diversity in each block.
UAM Text Tools - a flexible NLP architecture

The paper presents a new language processing toolkit developed at Adam Mickiewicz University. Its functionality includes currently tokenization, sentence splitting, dictionary-based morphological analysis, heuristic morphological analysis of unknown words, spelling correction, pattern search, and generation of concordances. It is organized as a collection of command-line programs, each performing one operation. The components may be connected in various ways to provide various text processing services. Also new user-deoned components may be easily incorporated into the system. The toolkit is destined for processing raw (not annotated) text corpora. The system was originally intended for Polish, but its adaptation to other languages is possible.
Meaning based covert speech classification for brain-computer interface based on electroencephalography

In this study, we investigated that whether covertly spoken words with different meaning are discriminable during electroencephalography (EEG) recording. Neural activities were recorded from 30 channel 10-20 system electrodes. By employing a paired T-test, we briefly identify the difference in spatio-spectro-temporal characteristics between two categories of meaning (number and face). EEG features were then classified by support vector machine. On average, 71.69% of the trials were correctly classified. After extract optimized features using support vector machine based recursive feature elimination, the accuracy was improved up to 92.46%. Our preliminary results shed light on the construction of meaning based speech brain-computer interface.
Waveguide-Based Differentially Fed Dual-Polarized Magnetoelectric Dipole Antennas

This paper proposes a concept of waveguide-based dual-polarized magnetoelectric (ME) dipole antenna. Based on this concept, two antenna designs with rectangular and triangular-shaped E-dipoles are studied and presented. The former is differentially fed by $four$ probes and the latter by a turnstile junction orthomode transducer feed. Using 3-D printing technique, the corresponding prototypes are fabricated for demonstration. Experimental results show that the rectangular-shaped E-dipole design has a wide impedance bandwidth of 55.1% from 7.5 to 13.2 GHz and a stable gain of 6 ± 1.5 dBi. On the other hand, the triangular-shaped E-dipole design can achieve 62.8% impedance bandwidth from 7 to 13.4 GHz and 5.15 ± 0.95 dBi gain over the operating frequencies. Furthermore, it is found that both antennas have low cross polarization and backlobe radiation, both characteristics of ME dipoles. Due to the waveguide configuration, the proposed antennas have good mechanical and electrical performances. They can be easily implemented and applied for various high power capacity applications. With these advantages, the proposed antennas are good candidates for the satellite and other wireless communication systems.
An Approach to the Problem of Detranslation of Computer Programs

A crucial problem in the decompilation or disassembly of computer programs is the identification of executable code, i.e. the separation of instructions from data. This problem, for most computer architectures, is equivalent to the Halting Problem and is therefore unsolvable in general. The problem of identifying instructions is examined in this paper and an algorithm that will 'usually' perform a correct analysis is described. In addition, other aspects of disassembly are discussed and algorithms outlined. (Received October 1978; revised May 1979)
An Efficient Real-Time Traffic Sign Recognition System for Intelligent Vehicles with Smart Phones

In recent years, intelligent vehicles and smart phones have become more and more popular. The traffic sign recognition system is one kind of driving assistance system (DAS) which is used to automatically inform the driver the traffic sign information by a head up display (HUD), monitor, or speaker device. Hence this system is helpful to reduce driver distraction to increase driver safety. In this paper, an efficient real-time traffic sign recognition scheme is proposed for intelligent vehicles. The proposed scheme can integrate in-vehicle computing devices and smart phones to construe an in-vehicle traffic sign recognition system. This scheme contains four major stages: video frame capturing and transmitting, image preprocess, traffic sign detection, and character/icon extraction and recognition. The smart phone first captures videos and then extracts video frames in certain frame-rate. These extracted frames can be transmitted to an in-vehicle computing device by a wireless network (Bluetooth, WiMAX, Wi-Fi etc.) The preprocess employs some image processing to improve and transform the video frames to keep a stable quality for following detection and recognition schemes. At following stages, this paper presents some efficient and accurate traffic sign detection and recognition schemes which contain color selection, shape recognition, character/icon extraction and recognition. The experimental results shows that the proposed scheme only averagely spends 0.085 seconds for a video frame and its average accuracy can achieve about 98%. Hence, the proposed scheme can keep lower computing complexity, however it still can obtain a well accuracy.
Neuropsychiatric complications of patients with obstructive sleep apnea syndrome.

Objective: Patients with obstructive sleep apnea (OSA) associated with neuropsychological deficits and altered quality of life. This study aimed to assess cognitive functions, quality of life (QOL), and mood changes in patients with obstructive sleep apnea (OSA). Methods: This study included 37 patients who diagnosed as obstructive sleep apnea compared with 34 subjects with age and sex matched healthy persons as control group. They were assessed by using Short-Form 36 Health Survey questionnaire (SF-36), the Epworth sleepiness scale (ESS) and sleep disorders questionnaire, Hamilton depression and anxiety scales (HADS), Cognitive Abilities Screening Instruments (CASI) and mini mental state examination (MMSE). Results: Patients with OSA had significant lower scores in all domains of SF-36 (5.4±1.2; 10.7±2.2; 7.2±1.5; 4.5±0.8; 31.6±2.9; 3.8±0.8; 10.2±2.2 and 3.5±0.8), compared to control group. Mean scores of the Hamilton questionnaires (depression 7.7±8.3; anxiety 6.4±1.3) were Original Research Article Shehata et al.; BJMMR, 7(9): 732-743, 2015; Article no.BJMMR. 2015.383 733 significantly higher in patients than control group. Most domains of SF-36 were also significantly correlated with AHI, slowest heart rate, sleep disorders questionnaires, and different variables of studied cognitive function. Conclusion: Cognitive functions, mood and QOL of patients with OSA were markedly affected compared with normal control subjects. Early recognition and treatment of OSA could reduce disability and improve the quality of life of patients with OSA.
Differential geometry-based solvation and electrolyte transport models for biomolecular modeling: A review

This chapter reviews the differential geometry-based solvation and electrolyte transport for biomolecular solvation that have been developed over the past decade. A key component of these methods is the differential geometry of surfaces theory, as applied to the solvent-solute boundary. In these approaches, the solvent-solute boundary is determined by a variational principle that determines the major physical observables of interest, for example, biomolecular surface area, enclosed volume, electrostatic potential, ion density, electron density, etc. Recently, differential geometry theory has been used to define the surfaces that separate the microscopic (solute) domains for biomolecules from the macroscopic (solvent) domains. In these approaches, the microscopic domains are modeled with atomistic or quantum mechanical descriptions, while continuum mechanics models (including fluid mechanics, elastic mechanics, and continuum electrostatics) are applied to the macroscopic domains. This multiphysics description is integrated through an energy functional formalism and the resulting Euler-Lagrange equation is employed to derive a variety of governing partial differential equations for different solvation and transport processes; e.g., the Laplace-Beltrami equation for the solvent-solute interface, Poisson or Poisson-Boltzmann equations for electrostatic potentials, the Nernst-Planck equation for ion densities, and the Kohn-Sham equation for solute electron density. Extensive validation of these models has been carried out over hundreds of molecules, including proteins and ion channels, and the experimental data have been compared in terms of solvation energies, voltage-current curves, and density distributions. We also propose a new quantum model for electrolyte transport.
Oscillatory behavior of ventricular action potential duration in heart failure patients at respiratory rate and low frequency

Oscillations of arterial pressure occur spontaneously at a frequency of approximately 0.1 Hz coupled with synchronous oscillations of sympathetic nerve activity (“Mayer waves”). This study investigated the extent to which corresponding oscillations may occur in ventricular action potential duration (APD). Fourteen ambulatory (outpatient) heart failure patients with biventricular pacing devices were studied while seated upright watching movie clips to maintain arousal. Activation recovery intervals (ARI) as a measure of ventricular APD were obtained from unipolar electrograms recorded from the LV epicardial pacing lead during steady state RV pacing from the device. Arterial blood pressure was measured non-invasively (Finapress) and respiration monitored. Oscillations were quantified using time frequency and coherence analysis. Oscillatory behavior of ARI at the respiratory frequency was observed in all subjects. The magnitude of the ARI variation ranged from 2.2 to 6.9 ms (mean 5.0 ms). Coherence analysis showed a correlation with respiratory oscillation for an average of 43% of the recording time at a significance level of p < 0.05. Oscillations in systolic blood pressure in the Mayer wave frequency range were observed in all subjects for whom blood pressure was recorded (n = 13). ARI oscillation in the Mayer wave frequency range was observed in 6/13 subjects (46%) over a range of 2.9 to 9.2 ms. Coherence with Mayer waves at the p < 0.05 significance level was present for an average of 29% of the recording time. In ambulatory patients with heart failure during enhanced mental arousal, left ventricular epicardial APD (ARI) oscillated at the respiratory frequency (approximately 0.25 Hz). In 6 patients (46%) APD oscillated at the slower Mayer wave frequency (approximately 0.1 Hz). These findings may be important in understanding sympathetic activity-related arrhythmogenesis.
Self-Mixing Interferometry for Biomedical Signals Sensing

Self-mixing interferometry is a noncontact method well suited for measuring a variety of biological signals, like blood pressure wave at wrist and thorax (the optical stethoscope), blood velocity in vein and in external circulation, THz echoes from skin, ear drum vibration, and oculomotor reflex measurements. In this review, after presenting the underlying theory and the main developments of self-mixing, we analyze the applications to biosignal measurement reported so far, and illustrate potentialities and perspectives of the technique.
High-Throughput Sequencing-Based Immune Repertoire Study during Infectious Disease

The selectivity of the adaptive immune response is based on the enormous diversity of T and B cell antigen-specific receptors. The immune repertoire, the collection of T and B cells with functional diversity in the circulatory system at any given time, is dynamic and reflects the essence of immune selectivity. In this article, we review the recent advances in immune repertoire study of infectious diseases, which were achieved by traditional techniques and high-throughput sequencing (HTS) techniques. HTS techniques enable the determination of complementary regions of lymphocyte receptors with unprecedented efficiency and scale. This progress in methodology enhances the understanding of immunologic changes during pathogen challenge and also provides a basis for further development of novel diagnostic markers, immunotherapies, and vaccines.
Nanosilver Particle Production Using Juglans Regia L. (Walnut) Leaf Extract

Background The production of nanoparticles using a biosystem is considered green chemistry. Application of plant extracts as a biological process has been proven to be suitable for synthesis of nanoparticles. Objectives This study designed in order to evaluate the production of silver nanoparticles using Juglans regia leaf extract and to compare the outcome of different preparation methods of plant extracts (ethanolic extract, boiling water extract and plant powder) for the generation of nanoparticles. Materials and Methods The reaction mixture contained the following ingredients: AgNO3 (10 mM) as the biotransformation substrate, plant extract or powder as the biocatalyst, glucose (560 mM) as the electron donor, phosphate buffer (pH = 7, 100 mM) and ethanol 70% as the solvent in the reaction mixture. The samples were taken from the reaction mixtures at different times, and the absorbance (450 nm) of the colloidal suspensions of silver nanoparticle hydrosols was recorded immediately following dilution (1:80) so as to preserve its freshness. Results UV-visible spectrophotometer analysis revealed that the direct application of powder of the walnut leaf was the most efficient technique. TEM (Transmission electron microscopy) micrograph obtained by using this method revealed the generation of aggregated polydisperse, quasi-spherical nanoparticles in sizes of 10-50 nm. Ethonolic extract resulted in single silver nanoparticles which were nearly monodisperse, spherical, and individual nanoparticles ranged in size from 1-5 nm. Therefore, using direct powder of Walnut created more particles but applying ethanolic extract synthesized particles with smaller dimensions and no aggregation. Conclusions Different preparation methods of Juglans regia influence silver nanoparticles formation.