Miracle-dz/UniFAR-FTUs huggingface dataset:
An analysis for fast construction of states in the bottom-up tree pattern matching scheme

In this paper, we propose an efficient method of constructing states in bottom-up tree pattern matching with dynamic programming technique for optimal code generation. This method can be derived from precomputing the analysis which is needed for constructing states. The proposed scheme is more efficient than other scheme because we can avoid unfruitful tests in constructing states at compile time. Furthermore, the relevant analyses needed for this proposal are largely achieved at compile-compile time, which secures actual efficiency at compile time. key words: compilers, code generator generator, tree grammar, dynamic programming
A methodology for workload characterization of file-sharing peer-to-peer networks

The main characteristic of peer-to-peer (P2P) networks is that the hosts in the network may act as both clients and servers at the same time, being called servents. These networks have been widely adopted for sharing idle computational resources available in the Internet, improving content accessibility while reducing costs and response latency, although host availability and content coherence is not usually guaranteed. As a consequence, traditional workload characterization strategies are not suitable for analyzing and understanding these networks, motivating the design of specific strategies for their characterization. In this article we present a novel workload characterization methodology for P2P networks, which account for the main features of these networks. We validate our methodology through the characterization of the Gnutella network, through which we are able to characterize file-sharing patterns, the availability of the servents, and the search patterns, among others.
Augmented Learning: Research and Design of Mobile Educational Games

New technology has brought with it new tools for learning, and research has shown that the educational potential of video games resonates with scholars, teachers, and students alike. In Augmented Learning, Eric Klopfer describes the largely untapped potential of mobile learning games--games played on such handheld devices as cell phones, Game Boys, and Sony PSPs--to make a substantial impact on learning. Examining mobile games from both educational and gaming perspectives, Klopfer argues that the strengths of the mobile platform--its portability, context sensitivity, connectivity, and ubiquity--make it ideal for learning games in elementary, secondary, university, and lifelong education. Klopfer begins by exploring the past and present of education, educational technology, "edutainment," and mobile games, and then offers a series of case studies of mobile educational games that have been developed and implemented in recent years. These games--either participatory (which require interaction with other players) or augmented reality (which augment the real world with virtual information)--can be produced at lower cost than PC or full-size console games. They use social dynamics and real-world contexts to enhance game play, can be integrated into the natural flow of instruction more easily than their big-screen counterparts, and can create compelling educational and engaging environments for learners. They are especially well-suited for helping learners at every level develop twenty-first century skills--including the ability to tackle complex problems and acquire information in "just-in-time" fashion. All of this, Klopfer argues, puts mobile learning games in a unique and powerful position within educational technology.
3D object recognition using deformable model for negating sensing error

Focusing on 3D object recognition for handling-robot tasks, we developed a registration method for point data measured from a real object and model surfaces. On the basis of the iterative-closest-point (ICP) algorithm, we proposed a registration technique that deforms model shapes instead of correcting measured range data including distance errors. We call our technique a "viewpoint-dependent remodeling ICP" algorithm. Even when a laser range finder only is used, this technique can reduce the effects of errors depending on surface characteristics such as colors and reflectance properties. In the preliminary stages, the relationships between distance errors and surface characteristics of points on object surfaces are determined and added to the models. In object recognition stages, we measure point data, and do registration while changing the model position and attitude and deforming the model shape. The deformation depends on the relationships and the relative positions of the model surfaces and the sensor position. In preliminary experimental tests, we measured distances to black and white papers and evaluated the distance errors. Moreover, we simulated recognizing the bottle covered with these papers. In this simulation, it was verified that our technique has convergence and improves accuracy of correspondence estimations between measured data and models.
Adaptive Decision Feedback Space-Time Equalization With Generalized Sidelobe Cancellation

In wireless communications, cochannel interference (CCI) and intersymbol interference (ISI) are two main factors that limit system performance. Conventionally, a beamformer is used to reduce CCI, whereas an equalizer is used to compensate for ISI. These two devices can be combined into one as space-time equalizer (STE). A training sequence is usually required to train the STE prior to its use. In some applications, however, spatial information corresponding to a desired user is available, but the training sequence is not. In this paper, we propose an adaptive decision feedback STE to cope with this problem. Our scheme consists of an adaptive decision feedback generalized sidelobe canceller (DFGSC), a blind decision feedback equalizer (DFE), and a channel estimator. Due to the feedback operation, the proposed DFGSC is not only superior to the conventional generalized sidelobe canceller but also robust to multipath channel propagation and spatial signature error. Theoretical results are derived for optimum solutions, convergence behavior, and robustness properties. With the special channel-aided architecture, the proposed blind DFE can reduce the error propagation effect and be more stable than the conventional blind DFE. Simulation results show that the proposed STE is effective in mitigating both CCI and ISI, even in severe channel environments.
Excitation modeling in a homomorphic vocoder

An efficient dynamic excitation modeling which emphasizes either the pitch-dependent periodic nature or the more random nature of the sound sources depending on the voicing state of the speech signal is applied to the homorphic vocoder. In this excitation modeling scheme, the cepstral peak value is used as the basis for classifying a given speech segment into three different classes: voiced, unvoiced, and mixed. Different excitation modeling strategies are used for the different classes. The algorithm is simulated, and clear improvement in the speech quality is shown. <<ETX>>
Aplikasi Programmable Logic Controller (PLC) Omron CPM2A Sebagai Komponen Utama Sistem Pengukur Kecepatan Putar (RPM) Motor DC

PLC (Programmable Logic Control) is widely used in the industry as the main control unit on production machines. PLC is a set of electronic switches that can be set when to ON and when to OFF in accordance with the laws of logic control has been programmed. One of the advantages of PLC is that it can be used to control machine tools are different just by changing the existing program in the PLC without having to change the hardware. In this reseacrh will be designed to drive the motor and read speed of rotation (RPM).
TR-MAC: An enhancement of IEEE 802.11 DCF using tacit reservations

Presented is a novel MAC protocol based on the IEEE 802.11 distributed coordination function (DCF). It incorporates a new function that allows stations to use tacit reservations for transmissions; thus the stations can avoid random access attempts. Tacit reservation is assumed without any control messages, and it enables contention-free transmissions. The performance of the proposed protocol is evaluated using simulations, and it is shown that it outperforms legacy DCF, DCF with optimal contention window, and ideal DCF with respect to channel utilisation.
Experimental system of free viewpoint television

In this paper, we proposed a new realtime dynamic ray data acquisition and rendering system named the “Free Viewpoint Television” or “FTV”. With this system, the user can freely control the viewpoint position of any dynamic real-world scene in realtime. The basic idea of this system is based on the ray-space method in which an arbitrary photo-realistic view can be generated from a collection of real view images. Since the system is aimed for realtime operation, the collection of images is obtained through an array of cameras where the generation of the missing ray information can be obtained by interpolation of data between cameras. The prototype system used here includes 16 CCD cameras forming a camera array. The interpolation is based on the adaptive filtering ray-space data interpolation technique. Between each pair of cameras, up to 15 interpolated views can be generated to ensure that no aliasing occurs. The system fully operates under consumer-class hardware. The results achieved from the system are good in terms of both image quality and rendering speed.
A Journey into E-Resource Administration Hell

ABSTRACT The author discusses the administrative problems which can still occur when looking after a large and complex portfolio of electronic resources, and focuses on some of the recurring ‘nightmares’ involving e-journals in particular. Amongst the subjects discussed are lost archives, activation codes which change without anyone being told, unreasonable expiry dates, poor service, wandering URLs, lack of publicity, failure to keep licensing conditions, and title changes. The article ends with a look at some emerging examples of excellent practice to do with e-journal management, proving all parties involved can work together to ensure a smooth and efficient service.
A Hybrid Optimization Based on GPU Parallel Computing Method and its Application of Three Dimensional Large Eddy Simulations

Using compute Unified device architecture (CUDA), a traditional computational fluid dynamics (CFD) program is paralleled and optimized based on graphic processing unit (GPU). The calculation process is divided into two parts as serial and parallel. Their main characteristics are analyzed and different optimization schemes are given. CPU (central processing unit) and GPU work respectively as flow control and high-speed parallel computation. Bandwidth between devices is applied effectively. Data transfer between devices is moderately improved to simplify algorithm. Finally, the method is verified by simulating a three-dimensional isotropic homogeneous turbulence flow field. The calculation uses large eddy simulation (LES) method with secondary filter and solves the three-dimensional N-S equations. The maximum grid number achieves 8,000,000 and takes 33 seconds each step. All calculations are using ordinary single desktop computer, optimized acceleration ratio can reach 9.
A Smart Management Approach Investigation for Hybrid Autonomous Power System

A novel design of system management based on multi-agents approach applied to an autonomous hybrid power system is proposed and investigated. The system under study integrates few elements, some serve to provide power requirements, while the others used to store energy. Among these items, we can mention a Solar Power Source namely (SPS) which works as primary source to feed a DC electric load. The system integrates also a secondary power source namely Power Recovery Source (PRS) based on a fuel cell technology used to compensate the power deficit if required. More than two kinds of energy storage, the first called Hydrogen Generation Element (HGE) including a water electrolyzer to store the energy in hydrogen form, while the second uses an Ultracapacitor Element (UE) to store the energy in its electrical form. To reach the well functioning of the system in order to satisfy the load requirements whatever the facts, an intelligent energy management approach based on multi-agent modeling is implemented and verified. Hence, the reliability and the effectiveness of the applied management strategy, which allows the coordination between the different energy sources and protects the system against any fluctuation, are proved by the obtained results from Matlab/Simulink.
Building an NLP pipeline within a digital publishing workflow

Outside the laboratory environment, NLP tool developers have always been obliged to use robust techniques in order to clean and streamline the ubiquitous formats of authentic texts. In most cases, the cleaned version simply consisted of the bare text discarded of all typographical information, tokenised in such a way that even the reconstruction of a simple sentence resulted in a displeasing layout. In order to integrate the NLP output within the production workﬂow of digital publications, it is necessary to keep track of the original layout. In this paper, we present an example of an NLP pipeline developed to meet the requirements of real-world applications of digital publications. The NLP pipeline presented here was developed within the framework of the iRead+ project, a cooperative research project between several industrial and academic partners in Flanders. The pipeline aims at enabling automatic enrichment of texts with word-speciﬁc and contextual information in order to create an enhanced reading experience on tablets and to support automatic generation of grammatical exercises. The enriched documents contain both linguistic annotations (part-of-speech and lemmata) and semantic annotations based on the recognition and disambiguation of named entities. The whole enrichment process, provided via a web service, can be integrated into an XML-based production ﬂow. The input of the NLP enrichment engine consists of two documents: a well-formed XML source ﬁle and a control ﬁle containing XPath expressions describing the nodes in the source ﬁle to be annotated and enriched. As nodes may contain a pre-deﬁned set of mixed data, reconstruction of the original document (with selected enrichments) is enabled.
Bibliography of Self-Organizing Map (SOM) Papers: 1981-1997

The Self-Organizing Map (SOM) algorithm has attracted an ever increasing amount of interest among researches and practitioners in a wide variety of elds. The SOM and a variant of it, the LVQ, have been analyzed extensively, a number of variants of them have been developed and, perhaps most notably, they have been applied extensively within elds ranging from engineering sciences to medicine, biology, and economics. We have collected a comprehensive list of 3343 scienti c papers that use the algorithms, have bene ted from them, or contain analyses of them. The list is intended to serve as a source for literature surveys. We have provided both a thematic and a keyword index to help nding articles of interest.
Implementation and applications of a combined CT/SPECT system

Combined radionuclide/radiographic (e.g., SPECT/CT, PET/CT) imaging systems are being developed for correlation of structure and function, primarily for assessment of patients with cancer. Another important aspect of these approaches is the possibility of using anatomical data from CT to derive patient-specific compensations for perturbations in the radionuclide data. For example, a patient-specific attenuation map can be derived from CT and incorporated into an iterative reconstruction algorithm to correct the radionuclide image for photon attenuation. In addition, the geometry, location, and configuration of anatomical regions can be determined using CT, from which recovery coefficients or other geometrical factors can be derived to compensate the radionuclide data for errors caused by the limited spatial resolution of radionuclide images. The use of CT to derive correction factors for these perturbations allows combined X-ray/radionuclide imaging techniques to achieve a high degree of accuracy in the absolute quantitation of radiopharmaceuticals.
FEASIBLE software supports the ROC evaluation of digital imaging systems

A software package has been developed to aid psychophysical studies on diagnostic image quality. The program, called FEASIBLE, supports all phases of experiments to evaluate the diagnostic quality of PACS components, image acquisition and manipulation methods and display techniques. The software allows the user to design any such an evaluation study, to perform an arbitrary number of psychophysical sessions and to statistically analyze the collected data with the Receiver Operating Characteristics (ROC) technique. Furthermore, the calculated ROC curves can be plotted in graphs to be integrated in publications. Within the scope of the Dutch PACS project, a PACS research project jointly carried out by the Utrecht University Hospital, BAZIS and Philips, FEASIBLE has been used to investigate the diagnostic accuracy of the PACS prototype that was clinically evaluated. The package has been sent - upon request - to more than 20 scientists in the field of radiological imaging. This paper explains the backgrounds and the features of the latest version of the program, and the way to use it in an actual ROC study.
Linked Data and the LOCAH project

The popularity of the Semantic Web has been growing in recent years. Introduced by Tim Berners-Lee in 2001, the vision of the Semantic Web is of a web of data, negotiable by machines. One of the main components of this is Linked Data, which describes things and the relationships between them using controlled ontologies and HTTP URIs. This article provides a clear explanation of the fundamentals of Linked Data, and discusses how these are being used by the JISC-funded LOCAH project, which aims to make bibliographic and archival data from the Copac and the Archives Hub available as open Linked Data. Providing data as Linked Data creates links with other data sources, and allows the development of new channels into the data. Bibliographic and archive data is especially rich in the kind of data that can enhance existing knowledge and conceptions. The author also looks at the power and the potential of Linked Data, the growth in its application, and concludes with some of the ways businesses (BBC, Vodaphone, and the oil and gas industries) are beginning to use Linked Data.
A method of estimating antenna effective gain in land mobile communication environments

A method for estimating the average effective gain of mobile antennas in a multipath propagation environment is discussed. The effective gain is defined as the ratio of the average received power of mobile antennas to the sum of the incident power of the vertically polarized (VP) waves and the horizontally polarized (HP) waves. This is called the average field gain (AFG). The expression for the AFG is derived by introducing a statistical model in which incident plane waves are distributed uniformly in azimuth and described by a Gaussian distribution in elevation. It is confirmed through 900-MHz-band measurements carried out in an urban area that the average distributions of incident waves can be approximated with this theoretical model. It is shown that the theoretical gain characteristics of half-wavelength dipole antennas inclined from the vertical closely agree with the experimental results. It is concluded that this method is useful in estimating the effective gain of mobile antennas in various mobile communication environments. <<ETX>>
Capacity Bounds for Simple Recurrent Networks

We have determined upper and lower bounds for the computational capacity of Elman and Jordan simple recurrent threshold networks. The question of how many examples a network can remember is not only addressed in terms of the number of examples in general position, but also in terms of the Vapnik-Chervonenkis dimension. We have also corrected some mistakes in a proof for determining an upper bound for the capacity of feedforward threshold networks.
Implementing the distributed consensus-based estimation of environmental variables in unattended wireless sensor networks

In this paper, the prototype implementation of a scalable, distributed protocol for calculating the global average of sensed environmental variables in unattended wireless sensor networks (WSNs) is presented. The design and implementation of the protocol introduces a communication scheme for discovering the WSN topology. Such scheme uses a synchronous flooding algorithm, which was implemented over an unreliable radiogram-based wireless channel. The topology discovery protocol has been synchronized with sampling time of the WSN and must be executed before the consensus-based estimation of the global averages. An average consensus algorithm, suited for clustered WSNs with static topologies, was selected from the literature. The algorithm was properly modified so that its implementation guarantees that the convergence time is bounded and less than the sampling time of the WSN. Moreover, to implement the consensus algorithm, a reliable packet-passing protocol was designed to exchange the weighting factors among the sensor nodes. Since the amount of data exchanged in each packet is bounded by the degree of the WSN, the scalability of the protocol is guaranteed to be linear. The proposed protocol was implemented in the Sun SPOT hardware/software platform using the Java programming language. All the radio communications were implemented over the IEEE 802.15. 4 standard and the sensed environmental variables corresponded to the temperature and luminosity.
Multiple Factors Integration Based Text Alignment for Medical Database

The analysis and processing of medical data is very valuable, and the alignment for medical database in sentence level plays an important role in which. Among the existing sentence alignment approaches, the error propagation problem highly impacts the precision of the alignment result. This paper proposed a multiple factors integration based sentence alignment model (MFI). The MFI model integrated multiple factors to acquire the similarity map for sentence aligning; and used optimization matching strategy to get the alignment between the bilingual text. Experiments showed that, due to the introduction of the MFI model, the error propagation was avoid or relieved. And the overall error rate of sentence alignment was reduced by 20%.