Miracle-dz/UniFAR-FTUs huggingface dataset:
An Extended DIG Description Logic Interface for Prolog

Abstract.EU-IST Integrated Project (IP) IST-2003-506826 SEKTDeliverable D3.4. 1.2 (WP3.4)This document presents a DIG description logic interface extension for high-level programminglanguages like Prolog. The extension introduces the notion of an intermediate server, which pro-vides both client side and server side processing facilities, i.e. intermediate Prolog-based extendeddescription logic servers can call a standard DL reasoner that supports the DIG interface, in orderto provide regular DL services to client applications. In addition, such an intermediate servercan also act as an extended DL reasoner, which provides additional reasoning and processingcapabilities to client applications.Currently, we have implemented the extended DIG DL interface as an SWI-Prolog package. Thisdocument describes the extended framework and discusses several examples to show how it canbe used to develop hybrid Prolog / DL reasoners.Keywords: Description Logics, DIG interface, Logic Programming, Ontology ManagementCopyright c 2004 Department of Artiﬁcial Intelligence, Vrije Universiteit AmsterdamDocument Id.ProjectDateDistributionSEKT/2004/D3.4. 1.2/v1.0SEKT EU-IST-2003-506826August 25, 2004public
The Influence of Surface Bioactivated Modification on Titanium Percutaneous Implants Anchored in Bone

In order to achieve biological sealing and resist mechanical damage of load-bearing percutaneous devices, Ti with excellent mechanical properties was anodic-oxidized to be endowed with bioactivity, with plasma-sprayed hydroxyapatite coated Ti as control. Similar to previous works, hydroxyapatite coating could bond tightly with living tissues, resulting in implant stability for whole implantation periods. Meanwhile, when anodic-oxidized bioactivated Ti was implanted percutaneously in vivo, it could induce a layer of calcium phosphate at the interface of tissues/implant. This layer of Ca-P not only induced the fibrous tissue or collagen ingrowth in its structure, but also improved the osteointegration between the bone and the implant. There was no significant biological response difference for the anodic-oxidized Ti and HA coated Ti at different implantation period with histological statistical analysis (p>0.05). Accordingly, suitable bioactivated modified surface of Ti by anodic-oxidized method could not only obtain the same results as the HA coating, but also might avoid some drawbacks of plasma-sprayed HA coatings to achieve biological sealing for a long period in vivo.
Performance of noise excitation for unvoiced speech

Recent interest in nonlinear modeling of speech has brought up the need to re-assess the performance limitations of linear speech models. While nonlinearity is essential in the production mechanism of speech, it need not be reflected in a speech-signal model. This paper addresses the question what perceptual quality can be achieved for unvoiced speech by a linear model with white noise excitation. Formal MOS test results demonstrate that this linear model results in unvoiced speech of high perceptual quality.
Robot Hand with a Sensor for Cloth Handling

A robot or robot system is regarded as a general-purpose machine system that, like a human, can perform many tasks under conditions un-known a priori. In this paper, it was shown that a robot hand to handle pieces of cloth was manufactured for trial and plural functions of the hand was studied experimentally. The results obtained were as follows. (1) The robot hand was able to separate a piece of cloth (about 0.5mm in thickness) from a stack of pieces of cloth. (2) The output signal from the strain gauge of the hand considered to be nearly in proportion to the thickness of pieces of cloth (0.1mm N 3.0mm in thickness, under a pressure of 2.5N/cm2) held by the hand and by the signal, it was possible to distinguish thickness of the pieces of cloth. (3) The tension of a piece of cloth could be controlled between 0.09 N 0.12N by the arm and the hand.
Vision model based perceptual post filtering of JPEG2000 coded colour images

This paper presents a perceptual post filtering coder for digital colour images in YCrCb colour space. The approach builds on our earlier perceptual coder (PC) and exploits intra-band and inter-orientation masking properties of Human Visual System (HVS) to identify, estimate and recover the amount of perceived visual information loss due to compression. The proposed technique applies to our earlier perceptual coder (PC) which retains most of the embedded Block Coding with Optimized Truncation (EBCOT) features and is bit-stream compliant to the JPEG2000 standard. We use PC coder to compress images with some information loss and hence loss of quality. The images are then reconstructed from the compressed bit-stream with our proposed post filtering coding technique that attempts to recover the perceived loss of visual information with a HVS model. The simulation results have shown that our proposed perceptual post filtering coder achieves comparable or superior visual performance over that of our PC, and that of JPEG2000 verification model 8.0 coder with both MSE and visual masking.
Control parameters for retinex

The recently published Matlab implementation of the retinex algorithm has free parameters for the user to specify. The parameters include the number of iterations to perform at each spatial scale, the viewing angle, image resolution, and the lookup table function (post-lut) to be applied upon completion of the main retinex computation. These parameters were specifically left unspecified in since the previous descriptions of retinex upon which the new Matlab implementations were based do not define them. In this paper we determine values for these parameters based on a best fit to the experimental data provided by McCann et. al.
Abnormal Voice Detection Algorithm Based on Semi-Supervised Co-Training Algorithm

The AR-Tri-training algorithm is proposed for applying to the abnormal voice detection, and voice detection software is designed by mixed programming used Matlab and VC in this paper. Firstly, training samples are collected and the features of each sample are extracted including centroid, spectral entropy, wavelet and MFCC. Secondly, the assistant learning strategy is proposed, AR-Tri-training algorithm is designed by combining the rich information strategy. Finally, Classifiers are trained by using AR-Tri-training algorithm, and the integrated classifier is applied to voice detection. As can be drawn from the experimental results, AR-Tri-training not only removes mislabeled examples in training process, but also takes full advantage of the unlabeled examples and wrong-learning examples on validation set
Real-time lane and obstacle detection on the GOLD system

This paper describes the GOLD (generic obstacle and lane detection) system, a stereo vision-based hardware and software architecture developed to increment road safety of moving vehicles: it allows detection of both generic obstacles (without constraints on symmetry or shape) and the lane position in a structured environment (with painted lane markings). It has been implemented on the PAPRICA system and works at a rate of 10 Hz.
Providing automatic multilingual text generation to artificial cognitinive systems

This contribution addresses the incorporation of a module for advanced user interaction into an artificial cognitive vision system to include the human-in-the-loop. Specifically, the document describes a method to automatically generate natural language textual descriptions of meaningful events and behaviors, in a controlled scenario. One of the goals of the system is to be capable of producing these descriptions in multiple languages. We will introduce some relevant stages of the whole system, and concentrate on the linguistic aspects which have been taken into account to derive surface text from conceptual predicates. Some experimental results are provided for the description of simple and complex behaviors of pedestrians in an intercity crosswalk, for Catalan, English, Italian, and Spanish languages.
Some techniques for avoiding dips of antenna radiation efficiency on improved Wheeler method

When the efficiency of a monopole is measured by determining the radiation efficiency of a small antenna based on a waveguide and a movable short, there are dips at certain frequencies. In this paper, a transmission line model considering the loss in the movable short is introduced and the efficiency dip phenomena are explained. A method for avoiding the dip is presented. When two movable shorts on the left and right inserted into the waveguide are moved, an efficiency dip occurs at the resonant frequency of the cavity. Therefore, the movable range of the two movable shorts that will avoid the efficiency dip is investigated. When one of the movable shorts is fixed at an arbitrary location, there is a dip in the radiation efficiency at a specific frequency. Therefore, it is confirmed that the dip can be avoided by limiting the range of the fixed location of the movable short. © 2006 Wiley Periodicals, Inc. Electron Comm Jpn Pt 1, 90(1): 35–44, 2007; Published online in Wiley InterScience (www.interscience.wiley.com). DOI 10.1002/ecja.20323
How to: Bronchial thermoplasty in asthma

Educational aims To provide an overview on how to perform bronchial thermoplasty for the treatment of asthma To summarise the development, mode of action and evidence for the effectiveness of bronchial thermoplasty as well as its place in the management of asthma Summary Bronchial thermoplasty, which involves the delivery of radio frequency energy to the airways, is a nonpharmacological intervention developed for the treatment of moderate-to-severe asthma. The mode of action of bronchial thermoplasty is not established, but could be due to reduction in airway smooth muscle mass induced by thermal energy. Bronchial thermoplasty results in modest improvements in asthma quality of life questionnaire scores and clinically worthwhile reductions in severe exacerbations and emergency department visits in the year post-treatment, which may persist for up to 5 years. The procedure involves systematic, controlled heating of the airways using dedicated radiofrequency equipment during a series of three bronchoscopy sessions. Bronchial thermoplasty causes short-term increases in asthma-related morbidity, including hospital admissions. Follow-up data, to date, supports the long-term safety of the procedure. Bronchial thermoplasty is a novel treatment option for selected patients with moderate-to-severe asthma that is poorly controlled despite maximal therapy. Key points Bronchial thermoplasty, which involves the delivery of radio frequency energy to the airways, is a nonpharmacological intervention developed for the treatment of patients with moderate-to-severe asthma that is poorly controlled despite maximal therapy Randomised controlled clinical trials of bronchial thermoplasty in patients with moderate and severe asthma have shown modest improvements in asthma quality of life and clinically worthwhile reductions in severe exacerbations and emergency department visits The treatment involves three bronchoscopy sessions with repeated, precise and carefully recorded activations of a radiofrequency catheter within the medium and large airways Bronchial thermoplasty causes short-term increases in asthma-related morbidity including increased admissions to hospital for asthma; follow-up data, to date, supports the longterm safety of the procedure
An Improved Framework for Requirement Change Management in Global Software Development

In this research, an improved framework for requirement change management in global software development (RCM_GSD) has been presented. The objective is to manage the change in requirement specifically in global software development in an appropriate manner. The proposed frame-work RCM_GSD follows the required processes of RCM and reduces the concerns of GSD. Systematic Literature Review (SLR) was conducted for exploration of relevant research. During literature study, it is analyzed that the existing techniques of change management were not suitable for global software development (GSD). The change in requirements becomes more complicated in distributed environment due to the lack of communication and collaboration among globally dispersed stakeholders. The proposed model is compared with other models proposed in recent literature and analysis is made between them; feedback was obtained from the domain experts as well. The feedback and comparison results show that the proposed model provides an appropriate solution for requirement change management in GSD.
A new algorithm for the estimation of hidden Markov model parameters

Discusses the problem of estimating the parameter values of hidden Markov word models for speech recognition. The authors argue that maximum-likelihood estimation of the parameters does not lead to values which maximize recognition accuracy and describe an alternative estimation procedure called corrective training which is aimed at minimizing the number of recognition errors. Corrective training is similar to a well-known error-correcting training procedure for linear classifiers and works by iteratively adjusting the parameter values so as to make correct words more probable and incorrect words less probable. There are also strong parallels between corrective training and maximum mutual information estimation. They do not prove that the corrective training algorithm converges, but experimental evidence suggests that it does, and that it leads to significantly fewer recognition errors than maximum likelihood estimation. <<ETX>>
INDEPENDENCE ASSUMPTIONS FOR MULTI-RELATIONAL CLASSIFICATION

Link-based classification (LBC) is the problem of predicting the class attribute of a target entity given the attributes of entities linked to it. A natural approach to relational classification is to upgrade standard classification methods from the propositional, single-table learning. Decision trees and Bayesian networks are two of the widely used single-table classification models. In this thesis, we propose two algorithms for upgrading decision tree and Bayes net learners for LBC. One of the issues that make LBC difficult compared to single table learning is the large number of different types of dependencies that a model may have to consider. A principled way to approach the complexity of correlation types is to consider model classes with explicitly stated independence assumptions. We define two independence assumptions weaker than relational naive Bayes assumption to formulate our classification formulas. We enhance the performance of our upgraded decision tree by applying logistic regression to prune irrelevant tables and consider different weights for information from different tables. Moreover, we describe a fast Bayes net structure learning algorithm for our upgraded Bayes net learner. We investigate the performance of our models on three real world datasets. Experimental results indicate that our models are very fast and achieve better classification performance compared to a variety of relational classifiers.
Automatically measuring the effect of strategy drawing features on pupils’ handwriting and gender

Children’s dynamic drawing strategies have been recently recognized as indicators of handwriting ability. However the influence of each feature in predicting handwriting is unknown due to lack of a measuring system. An automated measuring algorithm suitable for psychological assessment and non-subjective scoring is presented here. Using the weight vector and classification rate of a machine learning algorithm, an overall feature’s effect is calculated which is comparable in different groupings. In this study thirteen previously detected drawing strategy features are measured for their influence on handwriting and gender. Features are extracted from drawing a triangle, Beery VMI and Bender Gestalt tangent patterns. Samples are related to 203 pupils (77 below average writers, and 101 female). The results show that the number of strokes in drawing the triangle pattern plays a major role in both groupings; however Left Tendency flag feature is affected by children’s handwriting about 2.5 times greater than their gender. Experiments indicate that different forms of a feature sometimes show different influences.
Mining the Web for IP Address Geolocations

, a system that mines Webpages for IP address geolocations. In Structon, we ﬂrst ex-tract geolocation information from every crawled Web pages,we then devise a serial of information clustering, false-inform-ation ﬂltering, error-correction, and location inferring algo-rithms to map IP addresses to geolocations. We have run ouralgorithms on top of a set of 74M Chinese Web pages, fromwhich we are able to identify the geolocations for 8.2M IPaddresses, which contain addresses for not only Web serversbut also client hosts. We have veriﬂed our result with anIP address location table of a major Chinese ISP, the ver-iﬂcation shows that the accuracy of Structon is 94.4% atprovince level.
Identification and Expression Analysis of Regulatory Genes Induced by Near-Ultraviolet Irradiation in Bipolaris oryzae

Bipolaris oryzae is the causal agent of brown leaf spot disease in rice, and its asexual spore (conidium) formation is known to be induced by near-ultraviolet (NUV) irradiation. In order to reveal the photomorphogenic response and to identify new genes upregulated by NUV irradiation, suppression subtractive hybridization (SSH) was carried out in B. oryzae. To confirm the differential gene expression in NUV-irradiated mycelia, quantitative real-time PCR (qRT-PCR) analysis was performed among 301 genes arbitrarily chosen from 1170 cDNA clones. The expression of 46 genes (named NUV01 to NUV46) was found to be significantly enhanced (>4-fold) by NUV irradiation. Sequence analysis revealed that 23 out of the 46 sequences (50%) showed significant matches to known fungal genes. The 46 genes were categorized as either BLR1-dependent or BLR1-independent expression groups using the BLR1-deficient mutant, which presumably lacks the blue/UVA-absorbing photoreceptor. This finding demonstrates that NUV irradiation can induce gene regulation, and that this response may be mediated by both a blue/UVA-absorbing photoreceptor and an as-yet-unidentified photoreceptor in B. oryzae.
Continuous hidden Markov modeling for speaker-independent word spotting

A word-spotting system using Gaussian hidden Markov models is presented. Several aspects of this problem are investigated. Specifically, results are reported on the use of various signal processing and feature transformation techniques. The authors have observed that performance can be greatly affected by the choice of features used, the covariance structure of the Gaussian models, and transformations based on energy and feature distributions. Due to the open-set nature of the problem, the specific techniques for modeling out-of-vocabulary speech and the choice of scoring metric can have a significant effect on performance. <<ETX>>
Differential Response to Moderate UV-B Irradiation of Two Heterocystous Cyanobacteria Isolated from a Temperate Ricefield

In cyanobacteria both photosynthesis and nitrogen fixation can be affected by UV radiation. Two of the most abundant heterocystous cyanobacteria isolates from a temperate ricefield in Uruguay belonging to Anabaena and Calothrix genus were exposed for 1 or 3 hours to UV-B dosis similar to those to which they are exposed in summer. Anabaena survival after 1 h of UV-B exposure was 10% whereas in Calothrix’s was 30%. Both the quantum yields of photosybtem II fluorescence and O2 photoevolution decreased with time of UV-B exposure for Calothrix and only till 1 h for Anabaena. Only the Calothrix strain presented phycoerithryn as antenna pigment and constitutive UV-B screening mycosporine like aminoacids. In the Anabaena strain, nitrogenase activity was drastically reduced with UV-B irradiation but in Calothrix was not affected. Proline content and lipid peroxidation increased after 3 hours of UV-B exposure only in Anabaena sp. The antioxidant enzyme activities evaluated followed different trends for both isolates, with an increase in superoxide dismutase activity in the Calothrix isolate. These results show that the two nitrogen-fixing cyanobacteria studied have different responses to UV-B radiation and that cyanobacteria diversity may be considered when selecting strains to be used as biofertilizers.
A GPU Implementation of a Bit-parallel Algorithm for Computing the Longest Common Subsequence

: The longest common subsequence (LCS) for two given strings has various applications, such as for the comparison of deoxyribonucleic acid (DNA). In this paper, we propose a graphics processing unit (GPU) algorithm to accelerate Hirschberg’s LCS algorithm improved with Crochemore et al.’s bit-parallel algorithm. Crochemore et al.’s algorithm includes bitwise logical operators, which can be computed easily in parallel because they have bitwise parallelism. However, Crochemore et al.’s algorithm also includes an operator with less parallelism, i.e., an arithmetic sum. In this paper, we focus on how to implement these operators e ﬃ ciently in parallel and experimentally show the following results. First, the proposed GPU algorithm with a 2.67GHz Intel Core i7 920 CPU and GeForce GTX 580 GPU performs a maximum of 12.81 times faster than the bit-parallel CPU algorithm using a single-core 2.67GHz Intel Xeon X5550 CPU. Subsequently, the proposed GPU algorithm executes a maximum of 4.56 times faster than the bit-parallel CPU algorithm using a four-core 2.67GHz Intel Xeon X5550 CPU. Furthermore, the proposed algorithm with GeForce 8800 GTX performs 10.9 to 18.1 times faster than Kloetzli et al.’s existing GPU algorithm with the same GPU.
Procedures for supporting the selection of courseware by secondary school teachers

The selection of courseware is a difficult problem in the use of computers in education. A dissemination procedure for a courseware selection instrument involving workshops for computer coordinators is described. Computer coordinators of 267 Dutch secondary schools were asked how they used certain sources of information in selecting courseware. Many used results of evaluations by the Softand Courseware Evaluation Centre for the Netherlands, but expressed the need for additional information. Six secondary schools participated in a workshop for computer coordinators who were taught to use an instrument called "The Courseware Selector" to evaluate courseware. The coordinators were expected to disseminate the information in their schools through further workshops. A multiple case study design was used to compare developments in the six schools involved in this cascade approach. In general, effects on the overall selection of courseware were not large, but promising effects did appear related to teachers becoming better acquainted with courseware and reducing their computer phobia. A critical variable in implementation was the level of experience in computers at the school initially. (Contains 7 references.) (SLD) *********************************************************************** Reproductions suppliel by EDRS are the best that can be made from the original document. *********************************************************************** U.S. OGIDARTMUIT OP SOUCATION Office or EclocahonM Reemecn and Improvement EDUCATIONAL RESOURCES INFORMATION CENTER (ERIC) O The Oocurnord has been oroduced Is recrowse trom the person or orpenizahon orIginatIrp 0 A40,0r C1,110Q0/1 Rave 000 mad* 10 . rhorove rproch.choh Quality Pants ol vow or conform stated ,h I he documon, do not notollatraY rOresent &hew OERI Waitron or Dolce A PROCEDURE FOR SUPPORTING THE SELECTION OF COURSEWARE BY SECONDARY SCHOOL TEACHERS Baukje J. van Kesteren, Gerrit J. Carleer, Betty A. Collis, and Tjeerd Plomp Paper presented at the European Conference on Educational Research Enschede (The Netherlands), 22-25 June, 1992