Miracle-dz/UniFAR-FTUs huggingface dataset:
Improvement of coverage probability by subband scheme in CDMA macro-micro cellular system

When fast-moving users pass through microcellular systems, some problems arise, such as a large amount of handoff trials and instability of handoff control. To overcome these problems, macro-micro cellular systems have been proposed recently. The interference, however, between both cell classes in the macro-micro cellular system is a critical problem, particularly in CDMA systems. This report describes the performance of a CDMA subband system in which the CDMA frequency band is divided into several subbands and both cell classes use the subbands simultaneously. Through evaluations of the uplink simulation, it is found that the characteristics of coverage probability are improved at both the macrocell and microcell by the CDMA frequency band division.
The Grace Programming Language Draft Specification Version 0.3.1261

• collection syntax and collection literals • tuples vs multiple values vs multiple returns • nested static type system (although we’ve made a start) • encapsulation system • module system • metadata (Java’s @annotations, C] attributes, final, abstract etc) • purity and non-nulls. • reflection • assertions, data-structure invariants, pre & post conditions, contracts • regexps • test support • libraries, including more Numeric types
SQLIJHS : SQL Injection Attack Handling System

The Database Security is major and important part of any business. The business must provide a non-vulnerable interface and assurance of security of customer’s data stored on their server. SQL Injection is of the type of attack used to access information illegally from stored data. In this paper we have given in detail description of SQL Injection attack. We have proposed SQL Injection Handling System (SQLIJHS) which will act as middle ware between user and database. SQLIJHS will help to Detect Mechanism, Avoid Mechanism and Recover Mechanism to secure database form theft.
Getting started with R

At its most basic, R is a free, open-source statistical computing and graphics environment. Anyone can download it via the link http://cran.r-project.org/. Click on whichever operating platform listed – Linux, MacOS X, or Windows – is appropriate for the computer you will be working on, and follow the stated instructions. (Note to Windows users: You must click base to access the download page.) Once installed, click the generated icon to run the program, which should automatically display an R console on your monitor, similar to the one shown here. As a first example, let us type an easy mathematical expression after the prompt (>) at the start of the command line, such as that shown below, followed by Enter. The [1] in front simply indicates that there is only one row of values displayed in the output; more on this later. The first line assigns the value of 2 + 3 to the variable x, the second line calls the result of this operation. (Note: The first line could also be written as x <-2 + 3.) Another approach to the same problem:
A game theoretical approach to resource allocation in wireless networks

A multiuser wireless environment is a highly structured system where competition and cooperation coexist. The aim of this thesis is to illustrate the role and the applications of game theory to the resource allocation problem in selforganizing multiuser wireless networks. Various game-theoretical tools will be considered, including strategic form games with complete information, potential games, Bayesian games, and Nash bargaining games. There are four main results in this thesis. First, non-cooperative games with complete information are introduced to study the resource allocation problem in the context of small-cell wireless networks. It is shown that this game can be viewed as a potential game. Thus, the existence and convergence of equilibrium can be readily addressed. Second, non-cooperative games with incomplete information are introduced to study a distributed resource allocation problem in the context of fading multiple access channels. This Bayesian game formulation is important from a practical point of view, as wireless devices can have local information but can barely access to global information on the network status. Further, coupled constraints games as well as various fairness concepts are introduced to study the rate allocation problem in the capacity region of multiple access channels. The concept of normalized equilibrium is adopted to address the equilibrium selection problem. Finally, Nash bargaining games are introduced to improve the non-cooperative system performance of the small-cell wireless networks.
Distributed control of close formation flight

Applied new structured distributed control methods to an experimental apparatus representing aerial vehicles flying in close formation for the purpose of induced drag reduction. Four wings with roll and lateral degrees of freedom are set in a wind tunnel in a half-vee formation. Upon system identification via grey box modelling, the performance of three types of control were compared, by applying the control to a model of the experimental apparatus and to a simulation of a larger array of wings. The hypothesis states that the centralized controller will result in the smallest closed-loop gains, but that the distributed controller will perform substantially better than the decentralized controller. Experimental results support this hypothesis, so that the distributed, scheme can provide much of the performance of the centralized approach, while presenting a much more tractable synthesis problem.
RECOMMENDATIONS FOR BETTER QUALITY ONTOLOGY MATCHING EVALUATIONS

Evaluating and comparing different ontology matching techniques is a complex multifaceted problem. Currently, diverse golden standards and various practices are used for evaluations. In this paper we show that, by following certain rules, the quality of the evaluations can be significantly improved, particularly in regard to the accuracy of precision and recall measures obtained.
Cryptanalysis and improvement of an efficient password authentication scheme based on smart card

User authentication is an important technology to guarantee that only the legal users can access resources from the remote server. In 2013, based on chaotic maps, Guo and Chang proposed an efficient mutual authentication protocol with user anonymity for the smart card. Unfortunately, this study will demonstrate their scheme could not achieve the user anonymity property, and do not allow changing password freely for the user. Then, we proposed a new method to remedy the weaknesses. The proposed method is secure even if the secret information stored in the smart card is compromised. Only one-way hash function and simple polynomial computations are involved in our protocol. It is more suitable for practice implementation.
Automated Generation of Three-Dimensional Virtual Worlds for Task Explanation

Abstract : During the second quarter of our contract, we did further work on the software infrastructure needed to support our research, expanding on the testbed for knowledge-based augmented reality that we had begun to build in September 1991. We concentrated on low-level graphics systems programming needed to improve our support for multiple 3D trackers and to increase the functionality of the 3D graphics package we are using with our head-mounted display, two of the areas detailed in our previous report. In addition, we learned that the paper on this research that we had submitted to Graphics Interface 92 was accepted.
Multiple Band-Pass Autoregressive Demodulation for Rolling-Element Bearing Fault Diagnosis

This paper presents a novel method to enhance the detection and diagnosis of low-speed rolling-element bearing faults based on discrete wavelet packet analysis (DWPA). The method involves the automatic extraction of wavelet packets containing bearing fault-related features from the discrete wavelet packet analysis representation of machine vibrations. Automated selection of the wavelet packets of interest is achieved via an adaptive network-based fuzzy inference system (ANFIS), which can be implemented on-line. The resultant signal extracted by this technique is essentially an optimal multiple band-pass filter of the high-frequency bearing impact transients. Used in conjunction with the autoregressive (AR) spectrum of the envelope signal, a sensitive diagnosis of the bearing condition can be made. The discrete wavelet packet analysis multiple band-pass filtering of the signal results in a significantly improved signal-to-noise ratio compared to its high-pass counterpart, with an exceptional capacity to exclude contaminating sources of vibration. A more modest increase in the signal-to-noise ratio is achieved when compared to digital band-pass filtering, with the filter range adjusted to obtain the best possible isolation of the bearing transients.
A High Speed Firewall Architecture for ATM/OC-3c

The goal of ATM is high-performance wide area connectivity both site to site and end-point to end-point. Moving ATM from the labs and LANs to the MANs and WANs is not possible for many because of a lack of data str eam policy, audit, commercial privacy, data integrity and authentication within existing ATM switches, end-points or network offerings. This paper describes a device whose intended purpose is to add these security f eat res while maintaining the end-to-end high-performance nature of ATM and to create the general direction that high-performance network security may take in the future.
Sensitivity Analysis: Introduction†

Sensitivity analysis is a reassessment of the model used for data summary that attempts to detect whether changing any of its assumptions leads to different interpretations of the outcome. Sensitivity analysis can be carried out simply by varying parameter values to assess whether a different interpretation of the response emerges, or more elaborate ideas from Monte Carlo analysis and factorial experiments can also be used. Sensitivity analyses have been used recently for meta-analysis. Other techniques such as graphical displays and comparison of alternative model formulations are also briefly mentioned. Keywords: Monte Carlo methods; factorial experiments; meta-analysis; graphics
Secure random number generation using chaotic circuits

The authors show how to use a chaotic circuit as a secure random number generator and given an example using a first-order, nonuniformly sampling, digital phase-locked loop (DPLL) operating in a chaotic regime. The security of the proposed generators is estimated from the information loss property of chaotic systems. For a generator implemented using a chaotic DPLL, two important cases are considered. First, given no prior information concerning the initial conditions of a continuously running circuit, the authors establish how long one should wait after taking a bit before one can securely take another bit. Secondly, given knowledge of the initial conditions at startup (up to measurement and noise uncertainty), they show how long one should wait before starting the bit sampling. <<ETX>>
Software engineering ontology : a development methodology

Thus, ontologies represent a consensual, shared description of the pertinent objects considered as existing in a certain domain of knowledge (the domain of discourse). They constitute a special kind of software artefact conveying a certain view of the world (conceptualization), specifically designed with the purpose of explicitly expressing the intended meaning of a set of agreed existing objects.
Transcutaneous powering of implantable micro-stimulators for functional restoration of impaired gastrointestinal motility

Recent experiments in functional electrical stimulation of gastrointestinal organs have demonstrated effective techniques for producing controlled movement of content in dogs and humans. However, as a result of the substantive power requirements of the proposed stimulation techniques, which impede the use of traditional power supply methods such as implantable batteries, the feasibility of transcutaneously powering multiple implanted micro-stimulators through inductive coupling remains an unresolved issue. This paper proposes the use of a well-established circuit model for calculating the transcutaneous power transfer to an implanted micro-stimulator. In addition, techniques for modeling all aspects of the inductive link are proposed. The comprehensive model is then used in the design of an inductive link capable of delivering over 80 mW of power to multiple implanted micro-stimulators.
Effects of swarm size on Cooperative Particle Swarm Optimisers

Particle Swarm Optimisation is a stochastic global optimisation technique making use of a population of particles, where each particle represents a solution to the problem being optimised. The Cooperative Particle Swarm Optimiser (CPSO) is a variant of the original Particle Swarm Optimiser (PSO). This technique splits the solution vector into smaller vectors, where each sub-vector is optimised using a separate PSO. This paper investigates the effect of swarm size on the CPSO, showing that the CPSO does not exhibit the same general trend as the original PSO.
From Dependencies to Constituents in the Reference Corpus for the Processing of Basque (EPEC)

In this paper the process for turning a dependency-based corpus to a constituent- based one is explained. For this purpose, first both the Dependency and the Constituent formalism are analized and then the corresponding equivalences of linguistic phenomena are treated. This process has had different phases in which the linguistic equivalences have been improved. Finally, the evaluation process is briefly explained and, as a result, we get corpora annotated in the two different formalisms usually proposed for syntactic tagging. If the linguistic equivalences are the same, the conversion process could be expanded to other corpus; otherwise, new equivalences should be defined.
Virtual Community Participation and Motivation: Cross-disciplinary Theories

Virtual Community Participation and Motivation: Cross-Disciplinary Theories offers in-depth coverage of state-ofthe-art research on virtual community participation. This book appeals to those interested not only in virtual communities, but also in virtual worlds, virtual teams, and even online shopping. Virtual community researchers, as well as researchers from diverse fields--computer science, information systems, psychology, sociology, and telecommunications--will find valuable motivation theories discussed in this book.
Automating the generation of objects

The paper reports progress in research in the automation of the modelling and generation of OMG-compliant objects by individual developers. A six stage research project was undertaken to investigate the nature of key concepts such as portability and interoperability inherent in the object/client/server environment in order to develop an OMG-compliant distributed object system. Following a discussion of key characteristics and requirements for OMG-compliant objects, the interoperative environment and interaction between clients and servers are described. Progress to date, including a demonstrable prototype IDL Generator, is reviewed. The paper concludes with a discussion of preliminary testing efforts, a brief account of initial testing procedures and indications to date, and recommendations for further research and development.
Shakespeare and the Versification of English Drama, 1561-1642

1 Why Study Versification? Versification Analysis Tests 2 How It All Began: From Surrey's Aeneid to Marlowe's Tamburlaine 3 Early Elizabethan Playwrights: Kyd, Marlowe, Greene, Peele, Early Shakespeare. 2, 3 Henry VI and Arden of Faversham 4 Shakespeare's Versification: Evolution. Co-Authored Plays. The Poem A Lover's Complaint 5 Jacobean and Caroline Playwrights: From Shakespeare to Shirley 6 Conclusions: Shakespeare and Versification, 1540s - 1640s Appendix A: Verse Form and Meaning: Rhythmical Italics Appendix B: General Tables B.1 - B.16
Efficient quadratic approximation for statistical design

A highly efficient approach to quadratic approximation of circuit responses is presented. Because it uses a fixed pattern of base points, this approach requires extremely small amounts of CPU time and storage space. Using this approach, a major obstacle for the traditional quadratic approximation for dealing with large problems, namely, the prohibitive requirement for storage and computational effort, is effectively eliminated. The accuracy and efficiency of this quadratic approximation approach are demonstrated by two statistical circuit design examples. >
Real Time Image Security For Mobile Communication Using Image Steganography

The fascinating rise in Mobile communication in the last few decades, leads the requirement of the secure communication of data between mobile receivers. Especially security matters a lot during transmission of images and videos. This is a new technique for secured image transmission, in this method a dummy image will be used as a carrier of main image and main image will be hidden inside the dummy image using the most efficient LSB modification algorithm. In addition to this to hide main image inside the dummy image a random key will be used, the key and the main image both simultaneously embedded on the dummy image. The same key will be then used by the receiver to extract the hidden image inside the dummy image.
A Compiler for an Action-Based Object-Oriented Programming Language

Lime is an action-based object-oriented concurrent programming language, which was developed by Dr. Sekerinski from McMaster University. The development of Lime is based on the observation that more and more applications will be implemented on networks of processors in the future and those are significantly more ambitious than current applications. It is difficult for programmers to do multiprogramming using current object-oriented programming languages. Action systems, which model concurrency by nondeterministic choice among atomic actions (e.g. Lamport’s Temporal Logic of Actions, J. Misra and K. M. Chandy’s Unity Logic and Back’s Action Systems), can help us to simplify both the specification and design of concurrent applications. But all of that is still theoretical. Such action systems have not been implemented and experimented with very thoroughly. Lime is an object-oriented programming language that is based on the action system. The closest approach is Seuss, which was developed by J. Misra et.al. at The University of Texas at Austin, but the limitation of Seuss is that it is not fully object-oriented. One purpose of my research is to find out how to schedule actions for applications running on a multiprocessor environment. I implemented a compiler for this new technique that can translate programs written in Lime to Java assembly language. Object-oriented programming techniques are used widely in software development, and Lime can make a good combination of these techniques and action systems. So we can make the development of object-oriented concurrent programs much easier and efficient.
Three dimensional edge detection using wavelet and shearlet analysis

Edge detection determines the boundary of objects in an image. A sequence of images records a 2D representation of a scene changing over time, giving 3D data. New 3D edge detectors, particularly ones we developed using shearlets and hybrid shearlet-Canny algorithms, identify edges of complicated objects much more reliably than standard approaches, especially under high noise conditions. We also use edge information to track the position and velocity of objects using an optimization algorithm.
Combining incrementally evolved neural networks based on cellular automata for complex adaptive behaviors

There has been extensive work to construct an optimal controller for a mobile robot by evolutionary approaches such as genetic algorithm, genetic programming, and so on. However, evolutionary approaches have a difficulty to obtain the controller for complex and general behaviors. In order to overcome this shortcoming, we propose an incremental evolution method for neural networks based on cellular automata (CA) and a method of combining several evolved modules by a rule-based approach. The incremental evolution method evolves the neural network by starting with simpler environment needed simple behavior and gradually making it more complex and general for complex behaviors. The multimodules integration method can make complex and general behaviors by combining several modules evolved or programmed to do simple behavior. Experimental results show the potential of the incremental evolution and multi-modules integration methods as techniques to make the evolved neural network to do complex and general behaviors.
The Design of Wide-Band Transistor Feedback Amplifiers

A design technique is developed which apparently overcomes all the limitations of common-emitter transistor video amplifiers. This technique is based on the use of the impedance mismatch which occurs between stages having alternate series and shunt feedback. It is shown that the realizable gain-bandwidth product is in excess of 0. 9ωT, the gain and bandwidth are insensitive to transistor parameter variations, and large output voltages may be obtained. The equations for both gain and bandwidth are developed in a form which is particularly suited to practical design work, and are accurate despite their comparative simplicity.In addition to the main treatment, the design of terminal stages and of multi-stage feedback loops is considered in detail, and some aspects of the theory of noise in feedback amplifiers are discussed.Two complete design examples are described. These are a 20dB 25Mc/s amplifier for 75Ω lines using two OC170 transistors, and a vidicon head-amplifier which achieves 3 × 10−9 A noise at the input in a 5 Mc/s bandwidth.
A novel method for 3 D reconstruction : Division and merging of overlapping B-spline surfaces

B-spline surfaces, extracted from scanned sensor data, are usually required to represent objects in inspection, surveying technology, metrology and reverse engineering tasks. In order to express a large object with a satisfactory accuracy, multiple scans, which generally lead to overlapping patches, are always needed due to, inter-alia, practical limitations and accuracy of measurements, uncertainties in measurement devices, calibration problems aswell as skills of the experimenter. In this paper, we propose an action sequence consisting of division and merging. While the former divides a B-spline surface into many patches with corresponding scanned data, the latter merges the scanned data and its overlapping B-spline surface patch. Firstly, all possible overlapping cases of two B-spline surfaces are enumerated and analyzed from a view of the locations of the projection points of four corners of one surface in the interior of its overlapping surface. Next, the general division and merging methods are developed to deal with all overlapping cases, and a simulated example is used to illustrate aforementioned detailed procedures. In the sequel, two scans obtained from a three-dimensional laser scanner are simulated to express a large house with B-spline surfaces. The simulation results show the efficiency and efficacy of the proposed method. In thiswhole process, storage space of data points is not increasedwithnewobtained overlapping scans, and none of the overlapping points are discarded which increases the representation accuracy. We believe the proposedmethod has a number of potential applications in the representation and expression of large objects with three-dimensional laser scanner data. © 2016 Elsevier Ltd. All rights reserved.