Miracle-dz/UniFAR-FTUs huggingface dataset:
Forward error correcting for CDMA systems

Spread spectrum systems especially code division multiple access systems (CDMA) match very well with channel coding employing forward error correcting (FEC) methods. We will cover in this overview article some aspects of FEC channel coding in CDMA systems: CDMA/FEC systems can be viewed as concatenated schemes with inner and outer decoding. We will show how such a system can be improved by using a soft-in/soft-out decoder which transfers a soft decision from the inner to the outer decoder. Further improvement is gained by using another soft-in/soft-out decoder for the outer code. In an iteration the soft values of the outer code bits are then used as a priori values for the inner CDMA decoder/despreader. This can he supplemented by soft decoded bits from the other users' outer decoder similar to an interference cancellation scheme. Applications to the IS 95 system with Hadamard codes show a remarkable gain from the soft-output and from the iterations. 'Turbo' decoding of two and more dimensional product-like codes with iterative decoding using 'soft-in/soft-out' decoders achieves almost channel capacity. We extend this concept to CDMA systems with PN spreading sequences where FEC coding in one dimension is performed in the time direction and FEC coding in the other dimension is performed by a systematic code in the CDMA code direction. The parity bits of this code are transmitted by extra CDMA codes. The additional interference degradation caused hereby is outweighted by the extra FEC coding gain achieved by iterative decoding.
A Compilation Strategy for Numerical Programs Based on Partial Evaluation

This work demonstrates how partial evaluation can be put to practical use in the domain of high-performance numerical computation. I have developed a technique for performing partial evaluation by using placeholders to propagate intermediate results. For an important class of numerical programs, a compiler based on this technique improves performance by an order of magnitude over conventional compilation techniques. I show that by eliminating inherently sequential data-structure references, partial evaluation exposes the low-level parallelism inherent in a computation. I have implemented several parallel scheduling and analysis programs that study the tradeoffs involved in the design of an architecture that can effectively utilize this parallelism. I present these results using the 9- body gravitational attraction problem as an example.
Practical Reasoning in Natural Language

PREFACE TO THE INSTRUCTOR. ACKNOWLEDGMENTS. INTRODUCTION. I. BASIC ANALYSIS OF REASONING. 1. What Is Reasoning. 2. Reasons and Conclusions. 3. Determining the Logical Structure of a Reasoned Discourse. 4. Analyzing the Structure of Longer and More Complicated Arguments. II. BASIC EVALUATION OF REASONING. 1. What Is Good Reasoning? 2. Semantic Clarification. 3. Conditional Relationships. 4. Some Valid Steps of Reasoning Using Conditional and Other Relationahips. 5. The How and Why of Supplying Suppressed Premises. III. CLARIFYING OBSCURE REASONING. 1. Analyzing Muddy Reasoning or Confused Exposition. IV. INFORMAL FALLACIES. 1. Common Mistakes in Reasoning. 2. Additional Common Mistakes in Reasoning. 3. More Common Mistakes in Reasoning. V. PRACTICAL DECISION MAKING. 1. Making Decisions Logically: Reasons For Actions and Reasons Against Actions. 2. Reasons Against the Validity of Other Reasons. VI. ANALYZING MEDIA EDITORIALS. 1. Analyzing Reasoning Expressed in Contemporary Editorial Style. VII. ANALYZING PHILOSOPHICAL REASONING. 1. Analyzing Long Linked Arguments. 2. Analyzing Disorganized or Confused Complex Reasoning. Index.
A Binaural Model to Predict Position and Extension of Spatial Images Created with Standard Sound Recording Techniques

A binaural model was used to investigate different microphone techniques (Blumlein, ORTF, MS, spaced omni). In contrast to previous attempts, the model algorithm was not only designed to predict the position, but also the spatial extent of a reproduced spatial image. The architecture of the model was designed to optimally process binaural cue distributions with multiple peaks as often found in psychoacoustical data. The model also contains elements to simulate the precedence effect, which is required for analyzing spacedmicrophone techniques, and is also useful when measuring the influence of the concert space on the recording.
Evaluation of Information Technology Portfolio Management Software using a Fuzzy Logic Algorithm

There are many Information Technology Portfolio Management Software (ITPM) and one of the important problems in this field is how to choose an ITPM that will be the most effective one and that will satisfy the requirements. In order to help in the solution of this problem, the authors have introduced a computer program to aid in the selection of an ITPM. The introduced system can easily be used over and it is basically a support system used to evaluate ITPM s by using a flexible and smart algorithm derived from fuzzy logic values. The paper describes the ITPM and the steps of the ITPM evaluation system. All things about the concept of the program are describe and only a programmer need to change this to a software evaluation. Keywords : Information Technology, Portfolio Management, Fuzzy Logic Algorithm, EvaluationSoftware
Standard load models for power flow and dynamic performance simulation

The authors recommend standard load models for power flow and dynamic simulation programs. The goal of this paper is to promote better load modeling and advanced load modeling, and to facilitate data exchange among users of various production-grade simulation programs. Flexibility of modeling is an important consideration. For transient stability, longer-term dynamics, and small-disturbance stability programs, the authors recommend the structure of multiple load types connected to a load bus. Load types are static including discharge lighting, induction motors, synchronous motors, and transformer saturation. For each load type, multiple models may be connected to the bus. For longer-term dynamics programs, a model for LTC transformers is also recommended.
Federating heterogeneous digital libraries by metadata harvesting

FEDERATING HETEROGENEOUS DIGITAL LIBRARIES BY METADATA HARVESTING Xiaoming Liu Old Dominion University, 2002 Co-Director: Dr. Kurt Maly Co-Director: Dr. Mohammad Zubair This dissertation studies the challenges and issues faced in federating heterogeneous digital libraries (DLs) by metadata harvesting. The objective of federation is to provide high-level services (e.g. transparent search across all DLs) on the collective metadata from different digital libraries. There are two main approaches to federate DLs: distributed searching approach and harvesting approach. As the distributed searching approach replies on executing queries to digital libraries in real time, it has problems with scalability. The difficulty of creating a distributed searching service for a large federation is the motivation behind Open Archives Initiatives Protocols for Metadata Harvesting (OAI-PMH). OAI-PMH supports both data providers (reposi­ tories, archives) and service providers. Service providers develop value-added services based on the information collected from data providers. Data providers are simply collections of harvestable metadata. This dissertation examines the application of the metadata harvesting approach in DL federations. It addresses the following problems: • Whether or not metadata harvesting provides a realistic and scalable solution for DL federation. • What is the status of and problems with current data provider implementations, and how to solve these problems. • How to synchronize data providers and service providers. • How to build different types of federation services over harvested metadata. • How to create a scalable and reliable infrastructure to support federation ser­ vices. Reproduced with permission of the copyright owner. Further reproduction prohibited without permission. The work done in this dissertation is based on OAI-PMH, and the results have influ­ enced the evolution of OAI-PMH. However, the results are not limited to the scope of OAI-PMH. Our approach is to design and build key services for metadata harvesting and to deploy them on the Web. Implementing a publicly available service allows us to demonstrate how these approaches are practical. The problems posed above are evaluated by performing experiments over these services. To summarize the results of this thesis, we conclude that the metadata harvest­ ing approach is a realistic and scalable approach to federate heterogeneous DLs. We present two models of building federation services: a centralized model and a repli­ cated model. Our experiments also demonstrate that the repository synchronization problem can be addressed by push, pull, and hybrid push/pull models; each model has its strengths and weaknesses and fits a specific scenario. Finally, we present a scalable and reliable infrastructure to support the applications of metadata harvest­ ing. Reproduced with permission of the copyright owner. Further reproduction prohibited without permission.
Computer-Aided Verification of Coordinating Processes: The Automata-Theoretic Approach

Preface Introduction 2 Boolean Algebra 3 L-matrix 4 L-language 5 String Acceptors 6 [omega]-theory: L-automaton/L-process 7 The Selection/Resolution Model 8 Reduction of Verification 9 Structural Induction 10 Binary Decision Diagrams Appendices Bibliography Glossary Index
Community-based user domain model collaborative recommendation algorithm

Collaborative Filtering (CF) is a commonly used technique in recommendation systems. It can promote items of interest to a target user from a large selection of available items. It is divided into two broad classes: memory-based algorithms and model-based algorithms. The latter requires some time to build a model but recommends online items quickly, while the former is time-consuming but does not require pre-building time. Considering the shortcomings of the two types of algorithms, we propose a novel Community-based User domain Collaborative Recommendation Algorithm (CUCRA). The idea comes from the fact that recommendations are usually made by users with similar preferences. The first step is to build a user-user social network based on users' preference data. The second step is to find communities with similar user preferences using a community detective algorithm. Finally, items are recommended to users by applying collaborative filtering on communities. Because we recommend items to users in communities instead of to an entire social network, the method has perfect online performance. Applying this method to a collaborative tagging system, experimental results show that the recommendation accuracy of CUCRA is relatively good, and the online time-complexity reduces to O(n).
Efficacy and Safety of Triple Antihypertensive Therapy with the Olmesartan / Amlodipine / Hydrochlorothiazide Combination

Background:European hypertension guidelines estimate that up to 15–20% of hypertensive patients are not controlled on a dual antihypertensive combination and require three or more different antihypertensive drug classes to achieve blood pressure (BP) control. Objective: This study in patients with moderate-to-severe hypertension assessed the efficacy and safety of adding hydrochlorothiazide (HCTZ) 12.5mg and 25mg to a range of olmesartan medoxomil (OLM)/amlodipine (AML) doses. Study Design: This phase III, multicentre study had a randomized, doubleblind, parallel-group design that included a double-blind safety run-in and a double-blind treatment period. Intervention: Enrolled patients were screened and previous therapy was discontinued if required. During a 2-week, double-blind, safety run-in period (Weeks 0–2), patients were randomized to receive placebo, OLM/AML 20mg/5mg, OLM/AML 40mg/5mg or OLM/AML 40mg/10mg. During an 8-week, double-blind treatment period (Weeks 3–10), patients were allocated to eight groups depending on their initial treatment. They were either randomized to continue with the same dose of OLM/AML, or have HCTZ 12.5mg or 25mg added to treatment. Main Outcome Measure: The primary endpoint was formulated before data collection began. It was the change in mean diastolic BP (DBP) from baseline to Week 10 in groups with HCTZ added to OLM/AML, compared with the corresponding dual OLM/AML therapy. Results:Of 3195 patients who were screened, 2690 were randomized. Patients in every triple OLM/AML/HCTZ group had significantly greater mean reductions in DBP (p £ 0.032 for each comparison) and systolic BP (SBP) by ORIGINAL RESEARCH ARTICLE Clin Drug Investig 2012; 32 (10): 649-664 1173-2563/12/0010-0649/$49.95/0 Adis a 2012 Springer International Publishing AG. All rights reserved.
An efficient algorithm for network reconfiguration in distribution system

This paper presents an efficient algorithm for loss reduction of distribution system by sectionalizing switch operation in the distribution system. Simulated annealing can avoid escape from local minima by accepting improvements in cost, but the use of this algorithm is also responsible for an excessive computation time requirement. To overcome this major limitation of simulated annealing, we may use modified simulated annealing. The polynomial-time cooling schedule is used which is based on the statistics calculation during the search. This approach results in saving CPU time. Numerical examples demonstrate the validity and effectiveness of the proposed methodology.
On-demand mathemagenic content for learners

Adaptive learning systems attempt to adapt learning content to suit the needs of the learners using the system. Most adaptive techniques however are constrained by the pedagogical preference of the author of the system and are always constrained to the system they were developed for and the domain content. Additionally there exist many referencing standards to describe instructional content for reuse. The SCORM model produces instructional content that has vast amounts of metadata however this model like all other referencing models acts like a black box, the metadata describes what the content should be like without analysing the actual content. Furthermore the paper analyses some digital repositories to determine the potential of creating an automated learning component that is able to automatically construct learning content suited to the cognitive ability and pedagogical preference of any learner. The paper details the functionality of a Content Analyser (CA) that was created to bridge the gap between the inconsistencies found in digital repositories. Finally the paper concludes with an example learning component that utilizes the CA for building course content to an expected predetermined minimum learning experience suited to each learner's cognitive ability and pedagogical preference delivered through Moodle.
Characteristics of a simulated fast fading indoor radio channel

The channel characteristics of an indoor radio channel vary very slowly. A simple technique that introduces a fast fading effect on the channel is presented. This scheme requires two or more antennas at the transmitter and has to be used with a suitable channel code. Slow time varying phase offsets are provided to each transmit antenna. Because of the resulting fast fading effect, with this scheme, time diversity can be employed usefully in a coded system. The indoor radio channel is represented by a slow fading Rayleigh channel model, and analytical expressions are provided for the correlation of the received signal in the presence of this simulated fast fading scheme. Expressions are derived for the level crossing rate and the average fade duration of the envelope of the received signal.
The automation of an experiment in inflammation: client/server laboratory automation for pharmaceutical R&D

The process of acquiring and analyzing laboratory data is undergoing a rapid change due to the advent of new data-processing technologies. The author describes the automation of an adjuvant arthritis assay of inflammation using client/server technology. He describes both the specific capabilities of the automated assay, and the characteristics and potential capabilities of client/server development for laboratory automation.
PFS and Patsy: a new file system design methodology

The Pegasus File System (PFS) is a file system framework that has been designed to support a wide variety of (different) workloads. Through this framework many (different) file systems are created to optimize for the expected workloads. Currently we have built a prototype log-structured file system in PFS, as an example of the configurability of PFS. Patsy is a file system simulator framework equivalent to the PFS file system framework. Patsy allows system programmers to experiment with storage algorithms and to measure the performance before those algorithms are integrated into a production file system. Since Patsy has a similar structure to PFS, migrating algorithms from Patsy to PFS is relatively easy. This paper describes the internal structure of PFS and Patsy. Furthermore, this paper describes some of the algorithms that were migrated from Patsy into PFS.
A neural expert system using fuzzy teaching input

The author previously (1990, 1991) proposed a fuzzy neural expert system and provided a method to extract automatically fuzzy IF-THEN rules from a trained neural network. The previous work is extended and a neural expert system is proposed using fuzzy teaching input. The neural expert system can perform generalization of the information derived from training data with fuzzy teaching input and embodiment of knowledge in the form of a fuzzy neural network, where the fuzzy teaching input is subjectively given by domain experts: and extraction of fuzzy IF-THEN rules with linguistic relative importance of each proposition in an antecedent (IF-part) from a trained neural network. A method is proposed to extract automatically fuzzy IF-THEN rules from the trained neural network generated by training data with fuzzy teaching input. <<ETX>>
Computer Structures: Readings and Examples,

Abstract : Computer Structures utilizes a case study approach to cover 40 distinct computer types, and to provide a taxonomical framework for analyzing the 1000 different computers now extant. Of the 40 computers described, 10 are based on unpublished sources. Approximately one-third of the book is devoted to original machine descriptions and new 'framework' material. (Author)
Performance of a new channel estimator for fast fading and high frequency offset in DS-CDMA/QPSK

The bit-error rate (BER) performance of a DS-CDMA/QPSK system taking into account the effect of fast fading and high frequency offset is analyzed. The performance is obtained by deriving the SNR of the demodulated signal as a function of the correlation between received signal values and estimated values of the channel estimator. The derived SNR shows that the conventional channel estimator using a single integrator structure has some problems such as the degradation of estimator's performance from fast phase change. We propose a new channel estimator using a double integrator structure that is not affected by fast phase change. We also show the performance comparison between EQOC-QPSK and NEQOC-QPSK data modulation in third generation DS-CDMA. Finally, chip-based simulation is presented to confirm the derived BER performance.
Second-Year Integrative Project for Computer and Software Engineering Students at Polytechnique Montréal

In 2005, Polytechnique Montreal introduced project-based learning (PBL) in its curriculum. The second-year integrative project for computer and software engineering students is software-oriented, as the main goal is to develop an interactive graphical software application. Students are given a software requirements specification (SRS), which details every feature the application must comply to. The students must then implement these features, starting from a provided framework, and various common software libraries. The main technical concepts integrated in the project are software design patterns, computer graphics, unit testing, and user interface design. Students are also provided with tools to put into practice project management concepts such as scope management, time management, cost management, and risk management. The second-year project is also a good opportunity for students to develop their non-technical skills, such as collaboration, communication and critical thinking.
XML Semantic Schema Annotation for Dependency Relationships

This paper shows that a semantic network structure, named semantic schema , can be used for adequate representation of the syntactic dependency relations existing between the words of a natural language phrase. Such a structure can be further used in various NLP applications that make use of the words interactions inside a phrase. It is also described a wrapper program, that, as a proof of concept, converts the output data of a dependency parser (MINIPAR parser) into semantic schema XML format.
A new approach towards a national inter‐library loan system in The Netherlands: introducing VDX

Purpose – The purpose of this article is to describe the development and implementation of a new service, (zoek&boek), that provides the Dutch public with a resource that allows them to search and request items from regional, provincial and national catalogues should their request be unavailable from their local library. The new digital system is able to handle both the logistic and cost considerations involved. By checking holdings and availability of the requested item, a rota is drawn up listing the libraries that can supply the item, whilst also considering the maximum cost a customer is prepared to pay for their request.Design/methodology/approach – A descriptive approach is provided.Findings – The article finds that Zoek&boek will be implemented during 2006 and available for public use from the autumn. A number of issues relevant to establishing a cultural shift in attitudes to resource sharing are discussed and the article looks at the resulting increased efficiency of such a collaborative approach.
Distributed GIS framework design based on XML and Web Service

Network WebGIS geographic information system is a solution which is more open and conform to the trend of distributed GIS application , the paper discusses the technology and face WebGIS, elaborated the XML Web Service this new dynamic distributed computing model of technology. It put forward to Supermap IS the.net provides Service type GIS platform, based on XML Web Service system design of open mode WebGIS, and how the system plan of superiority and feasibility.
Fault detection in flight control systems based on the generalized variance of the Kalman filter innovation sequence

For multidimensional dynamic systems a sensor fault detection algorithm based on the confidence interval of the generalized variance of the Kalman filter innovation sequence, is presented. The longitudinal dynamics of an aircraft control system, as an example, is considered, and detection of the fault in the air velocity sensor affecting the covariance matrix of the Kalman filter is examined.
Feasibility of a flip-chip approach to integrate an IR filter and an IR detector in a future gas detection cell

In this work we have studied the feasibility of integrating an infrared filter and an infrared detector by means of a flip-chip technique. This filter and detector combination should be the heart of a future gas detection cell based on infrared absorption. In our case the filter is a surface micromachined Fabry-Perot interferometer, and the infrared detector is a bulk micromachined thermopile. The flip-chip technique is an elegant solution to assure the optical micro-alignment of both devices and allows the electrical contact needed to actuate active optical filters.