Miracle-dz/UniFAR-FTUs huggingface dataset:
of the 23 rd Annual EMBS International Conference , October 25-28 , Istanbul , Turkey AID TRAINING SYSTEM FOR UPPER EXTREMITY REHABILITATION

This research involves developing an aid training system for the upper extremity rehabilitation. Included in this system are a hand-training unit, a signal converting interface and a computer. The hand-training unit is a platform with multiple reed-relays and a arm-skate for the patients to operate on the platform. The selected items and figures on the computer activate specific designs linking with each reed-relay and are displayed on the computer screen. The patients then draw the same figures on the platform by the arm-skate with their hands. The corrections and time elapsed can be recorded and sent back to computer unit through the signal converting interface. The flexion, extension, and coordination of hand muscle will be achieved after repeatedly performing this training. Meanwhile, in addition to multiple training items of corresponding figures, this system also provides functions for building a patient database to offer clinicians scientific data for long-term monitoring the rehabilitation effects. Keywordsupper exfremity rehabilitation, reed-relay,
DEC dictionnaire explicatif et combinatoire du français contemporain

This dictionary provides systematic descriptions of each entry word. It attempts to furnish explicit and unambiguous definitions, and use them as a basis for a description of the syntactic and lexical combinability of the entry word. The dictionary is: production-oriented so that it aims to help the reader in finding out "how to express X" rather than in understanding "what X means"; semantics-based with the definition serving as a basis for the description of the paradigmatic and syntagmatic relations to the entry word; combinatorial - it describes the syntactic and lexical collocations of the entry word (the latter type of combinability being described by means of the so-called lexical functions) in detail; one in which each entry has the same rigid structure, comprising a definition, a syntactic government pattern, a zone of lexical functions, and examples; and one in which all information is presented in an explicit, systematic and formal manner. The DECFC should be a useful tool for linguists, translators, terminologists, editors, journalists, computer scientists and teachers of French at all levels.
Metadata for Governance: Quantifying Licensing and Redistribution Issues

Like all metadata, the information about data governance, specifically here the rules and rights for usage, is important for users to have readily available in an understandable format. This paper will discuss some issues involved with licensing and redistribution of data, summarize how those issues are handled by some widely-used metadata standards, and outline how data managers at the Federal Reserve Board are building a metadata structure to capture the redistribution information they need to properly support the work done by economists at the US central bank.
Steady State Analysis of Nonlinear Circuits using the Harmonic Balance on GPU

This thesis describes a new approach to accelerate the simulation of the steady-state response of nonlinear circuits using the Harmonic Balance (HB) technique. The approach presented in this work focuses on direct factorization of the sparse Jacobian matrix of the HB nonlinear equations using a Graphics Processing Unit (GPU) platform. This approach exploits the heterogeneous structure of the Jacobian matrix. The computational core of the proposed approach is based on developing a block-wise version of the KLU factorization algorithm, where scalar arithmetic operations are replaced by block-aware matrix operations. For a large number of harmonics, or excitation tones, or both the Block-KLU (BKLU) approach effectively raises the ratio of floating-point operations to other operations and, therefore, becomes an ideal vehicle for implementation on a GPU-based platform. Motivated by this fact, a GPU-based Hybrid Block KLU framework is developed to implement the BKLU. The proposed approach in this thesis is named Hybrid-BKLU. The Hybrid-BKLU is implemented in two parts, on the host CPU and on the graphic card’s GPU, using the OpenCL heterogeneous parallel programming language. To show the efficiency of the Hybrid-BKLU approach, its performance is compared with BKLU approach performing HB analysis on several test circuits. The Hybrid-BKLU approach yields speedup by up to 89 times over conventional BKLU on CPU.
Implementación de un sistema para gestión y seguimiento de los documentos procesados por la facultad de ingenieria en electricidad y computacion

The need for a business processes management system is because in any process the communication between the parties is critic. Many people have to coordinate their activities or at least share information during the development process. Although all these systems are implemented in general on existing tools or packages, there is a key task of defining the rules and procedures, as well as integration with usual tools of the customer, in their computer systems. In order to develop a system that manages processes you should use a Workflow engine to manage the implementation of these. This article shows an analysis of various existing engines in order to show the advantages and limitations that each provides. The analysis is done through the comparison of five engines and non-commercial Workflows based on important features that should provide today's engines. After, you can find a summary about the development of project implementation using one of these analyzed Workflow tools.
Probabilistic load flow computation using Copula and Latin hypercube sampling

A probabilistic load flow (PLF) method using Copula and improved Latin hypercube sampling is proposed. The stochastic dependence between input random variables is considered. Copula theory is adopted to establish the probability distribution of correlated input random variables. Based on discrete data, an improved Latin hypercube sampling is proposed. The accuracy of probability distribution of correlated input random variables established by Copula theory is evaluated by adopting the power output of wind farms located at New Jersey. The performance of the proposed PLF method is investigated using IEEE 14-bus and IEEE 118-bus test systems.
Crawling the web: discovery and maintenance of large-scale web data

This dissertation studies the challenges and issues faced in implementing an effective Web crawler. A crawler is a program that retrieves and stores pages from the Web, commonly for a Web search engine. A crawler often has to download hundreds of millions of pages in a short period of time and has to constantly monitor and refresh the downloaded pages. In addition, the crawler should avoid putting too much pressure on the visited Web sites and the crawler’s local network, because they are intrinsically shared resources. This dissertation studies how we can build an effective Web crawler that can retrieve “high quality” pages quickly, while maintaining the retrieved pages “fresh. ” Towards that goal, we first identify popular definitions for the “importance” of pages and propose simple algorithms that can identify important pages at the early stage of a crawl. We then explore how we can parallelize a crawling process to maximize the download rate while minimizing the overhead from parallelization. Finally, we experimentally study how Web pages change over time and propose an optimal page refresh policy that maximizes the “freshness” of the retrieved pages. This work has been a part of the WebBase project at Stanford University. The WebBase system currently maintains 130 million pages downloaded from the Web and these pages are being used actively by many researchers within and outside of Stanford. The crawler for the WebBase project is a direct result of this dissertation research.
Real-Time: Theory in Practice: Rex Workshop, Mook, the Netherlands, June 3-7, 1991: Proceedings

An old-fashioned recipe for real time. - Verifying automata specifications of probabilistic real-time systems. - The theory of timed automata. - Logics and models of real time: A survey. - The state operator in real time process algebra. - Timed process algebras with urgent interactions and a unique powerful binary operator. - Time in state based formal description techniques for distributed systems. - Real-time and the Mu-Calculus (preliminary report). - Implementing reactive programs on circuits a hardware implementation of LUSTRE. - Semantics and completeness of Duration Calculus. - Timed transition systems. - Compositional verification of real-time systems using extended Hoare triples. - Semantics of reactive systems in abstract time. - Problems, promises and performance: some questions for real-time system specification. - Abstraction in real time process algebra. - (Real) time: A philosophical perspective. - Specification and analysis of resource-bound real-time systems. - Forward and backward simulations for timing-based systems. - Prom timed to hybrid systems. - Coping with implementation dependencies in real-time system verification. - Validating real-time systems by executing logic specifications. - An overview and synthesis on timed process algebras. - From ATP to timed graphs and hybrid systems. - Verification of safety critical systems using TTM/RTTL. - Predicative specification of timed processes. - Putting time into proof outlines. - Timed CSP: Theory and practice. - A specification of the cat and mouse problem. - Layering and action refinement for timed systems.
Implementing Source Code Metrics for Software quality analysis

Developing a high quality software product in an economical way is one of the fundamental goals of any software engineering activity. As computers are being used in almost every conceivable area in the contemporary world, quality of software becomes a key factor in the strategic success of a business and human security in general. Finding determinants of software quality and mapping them into quantitative measures is a crucial factor in sustainable success of an end product. Software metrics as means of quality analysis has attracted a lot of attention among researchers and practitioners in last one decade. Mapping of program characteristics into these metric values indicate structural complexity and behavior of an information system. In this case study, the five software metrics-lines of code (LOC), cyclomatic complexity (MVG), Halstead volume (HV), number of modules (NOM) and lines of comment (COM) have been utilized to analyze a set of three java based sorting programs. Three software measurement tools have been applied on them to judge their performance with respect to the metrics mentioned therein. Also a derived metric maintainability index has been calculated from the base metrics to indicate relative maintainability of the source code. Comparative analysis of the chosen tools have also been undertaken to reveal how they differ in delivering results for the same programs. Further, some other quality factors which can be derived from the constituent metrics are mentioned in a later sub-section.
The influence of a reform-based mathematics program on third, fourth and fifth grade student achievement

The Influence of a Reform-based Mathqmatics Program on Third, Fourth and Fifth Grade StudeBt Achievement This nonexperimental, quantitative, cross-sectio~d, explanatory study (Johnson 2001, p. 10) investigated the differences between a refdrm-based elementary school mathematics program, traditional elementary school mathematics programs, and General Education student achievement in high-socioeconomic districts on the New Jersey Assessment of Skills and Knowledge (NJASK) at grades 3,4, and 5. An analysis using correlational statistics of student scores from the 2007 md 2008 administration of NJASK3, NJASK4, and NJASKS, with a sample population of more than 200 New Jersey DFG-I and J public schools with over 60,000 thikd, fourth, and fifth grade students indicate mixed results for the existence of differences in mean scale scores between schools implementing a traditional mathematics program or a reform-based elementary mathematics program and student achievement on NJASK. The study found statistically significant differenaes in mean school scale scores between fourth grade General Education students using the Everyday Mathematics program and those using a traditional program on the 21007 and 2008 tests. Statistically significant differences were also found between mean ~chool scale scores for fXh grade students using the reform-based program and those using traditional programs on the 2008 NJASKS test. All statistically significant differences favored the Everyday Mathematics schools. Differences on the 2007 and 2008 NJASK3, as well as the 2007 NJASK5 were not found to be significant. Effect sizes, calculated using Cohen's d, ranged from -0.55 to +2.13 for the Everyday Mathematics program.
Identification of dynamic systems using recurrent fuzzy neural network

This study proposes a recurrent fuzzy neural network (RFNN) structure, which is a modified version of a fuzzy neural network (FNN). The proposed RFNN is a recurrent multilayered connective network for realizing the fuzzy inference and can be constructed from a set of fuzzy rules. Adding feedback connections in the second layer of the FNN develops the temporal relations embedded in the RFNN. This modification provides the memory elements of the RFNN and expands the basic ability of the FNN to include temporal problems. Since a recurrent neuron has an internal feedback loop, it captures the dynamic response of a system, thus the network model can be simplified. Finally, the proposed RFNN is applied to identify some nonlinear dynamic systems. Simulation results confirm the effectiveness of the RFNN.
Hybrid ensembles and coincident-failure diversity

This paper presents an approach for constructing hybrid ensembles with two categories of members: trained neural networks and decision trees in the hope of increasing diversity and reducing coincident failures. The diversity among the members of an ensemble has been generally recognised as a key factor for improving the overall performance of the ensemble. Of the two heterogeneous members evaluated with a number of the diversity measures, we found that there is a statistically low level coincident-failure diversity among homogeneous members but a relatively high level diversity between heterogeneous members. This provides theoretical basis for constructing hybrid ensembles with members developed by different methodologies. The hybrid ensembles have been built for a real-world problem: predicting training injury of military recruits. Their performances are evaluated in terms of diversity, reliability and prediction accuracy, and also compared with the homogeneous ensembles of neural nets or decision trees. The results indicate that the hybrid ensembles have a considerably high level diversity and thus are able to produce a better performance.
Strategies for Natural Language Processing

Introducing a new hobby for other people may inspire them to join with you. Reading, as one of mutual hobby, is considered as the very easy hobby to do. But, many people are not interested in this hobby. Why? Boring is the reason of why. However, this feel actually can deal with the book and time of you reading. Yeah, one that we will refer to break the boredom in reading is choosing strategies for natural language processing as the reading material.
The cache memory system for CalmRISC32

The cache memory system for CalmRISC32 embedded processor is described in this paper. A dual data cache system structure called a cooperative cache that takes advantage of design flexibilities of a dual cache structure is used as the cache memory system for CalmRISC32 to improve performance and reduce power consumption. The cooperative cache system is applied to both data cache and instruction cache. This paper describes the structure and operational model of the cache memory system for CalmRISC32. The implementation of the cache memory system for CalmRISC32 is also presented.
An interactive analysis of large scale multi-spectral images using a Hilbert curve

There have been some new developments of an interactive analysis for the multi-spectral images. Recently the authors have proposed an interactive analysis method for classification using a Hilbert curve which is a one-to-one mapping and takes a neighborhood between N-dimensional space and one-dimensional space into consideration. In order to analyze large scale multi-spectral images, the authors divide a large scale image into subimages which can be analyzed using their proposed method. A problem is that after classifying one of the subimages, how they classify the rest of the subimages using this result effectively. They present a solution of this problem using a tree structure expression. They assign a reliability measure to each pixels on the rest. The reliability measure is based on a distance from a center of a cluster, and the center is considered occurrence information. For the low reliable data, they apply their interactive analysis method for classification again. In the experiment using a LANDSAT image data, they confirmed the effectiveness of the reliability measure because category boundaries on the rest have lower reliability.
CDPD traffic performance for fading non-dedicated channels

The Cellular Digital Packet Data (CDPD) system provides a digital data overlay for the AMPS cellular system. CDPD can operate either in dedicated or non-dedicated channel mode at the base station. This paper examines the performance of CDPD over fading channels for both dedicated and non-dedicated channels with Nakagami-faded interference.
An enantiopure bicyclic pentasubstituted piperidine

A single addition product has been confirmed in the radical cyclization of a 1,6-diene by a sulfonyl radical. The product, (3R,4S,5R,6R)-5-[(1R)-1-chloro­(phenyl­methyl)]-3-[(4-methyl­phenyl)­sulfonyl]-4-phenyl-1-aza-8-oxabi­cyclo­[4.3. 0]­nonan-9-one, C27H26ClNO4S, results in a highly substituted piperidine.
Watermarking for the authentication of video on CNN-UM

Digital watermarks have been proposed for authentication of both video and still images. In such applications, the watermark is embedded within a host image such that subsequent alteration to the watermarked image can be detected with high probability. In this paper the possibility of implementing real time watermarking on a video stream is presented. In fact the new CNN-UM implementation offers time operation of only microseconds working on 64/spl times/64 images.
RTL verification strategies

If software studies were applied to ASIC designs using VHDL or Verilog code, we could expect about one to three errors per hundred lines of code. Finding errors accounts for approximately fifty percent of project labor costs. Available verification approaches are testing, design reviews/code inspections, prototype/emulation, requirements tracing, and formal verification. Verification occurs throughout the design flow and should occur at various levels of integration. This paper discusses a strategy of module/unit testing, integration testing, system testing, and regression testing. It describes four test approaches (functional, structural, error-oriented and stress/performance).
Reliability: Modeling, Prediction, and Optimization

CONTEXT OF RELIABILITY ANALYSIS. An Overview. Illustrative Cases and Data Sets. BASIC RELIABILITY METHODOLOGY. Collection and Preliminary Analysis of Failure Data. Probability Distributions for Modeling Time to Failure. Basic Statistical Methods for Data Analysis. RELIABILITY MODELING, ESTIMATION, AND PREDICTION. Modeling Failures at the Component Level. Modeling and Analysis of Multicomponent Systems. Advanced Statistical Methods for Data Analysis. Software Reliability. Design of Experiments and Analysis of Variance. Model Selection and Validation. RELIABILITY MANAGEMENT, IMPROVEMENT, AND OPTIMIZATION. Reliability Management. Reliability Engineering. Reliability Prediction and Assessment. Reliability Improvement. Maintenance of Unreliable Systems. Warranties and Service Contracts. Reliability Optimization. EPILOGUE. Case Studies. Resource Materials. Appendices. References. Indexes.
Simulation of Multicellular Tumor Spheroids Growth Dynamics

The inverse geometric approach to the modeling of the growth of circular objects revealing required features, such as the velocity of the growth and fractal behavior of their contours, is presented. It enables to reproduce some of the recent findings in morphometry of tumors with the possible implications for cancer research. The technique is based on cellular automata paradigm with the transition rules selected by optimization procedure performed by the genetic algorithms.
A GPU algorithm for minimum vertex cover problems

The minimum vertex cover problem is one of the fundamental problems in graph theory and is known to be NP-hard. For data mining in large-scale structured systems, we proposes a GPU algorithm for the minimum vertex cover problem. The algorithm is designed to derive sufficient parallelism of the problem for the GPU architecture and also to arrange data on the device memory for efficient coalesced accessing. Through the experimental evaluation, we demonstrate that our GPU algorithm is quite faster than CPU programs and the speedup becomes much evident when the graph size is enlarged.
Design verification techniques for system level testing using ASIC level BIST implementations

Requirements and design verification techniques for system level testing using BIST implementations in ASICs are discussed. A logic simulation technique is presented which determines whether reproducable BIST results can be obtained during system level testing. Using this approach, problems which could lead to nonreproducible BIST results during system level testing can be easily identified and corrected during device level of design,. <<ETX>>
Fully Integrated HBT MMIC Series‐Type Extended Doherty Amplifier for W‐CDMA Handset Applications

A highly efficient linear and compactly integrated series‐type Doherty power amplifier (PA) has been developed for wideband code‐division multiple access handset applications. To overcome the size limit of a typical Doherty amplifier, all circuit elements, such as matching circuits and impedance transformers, are fully integrated into a single monolithic microwave integrated circuit (MMIC). The implemented PA shows a very low idle current of 25 mA and an excellent power‐added efficiency of 25.1% at an output power of 19 dBm by using an extended Doherty concept. Accordingly, its average current consumption was reduced by 51% and 41% in urban and suburban environments, respectively, when compared with a class‐AB PA. By adding a simple predistorter to the PA, the PA showed an adjacent channel leakage ratio better than —42 dBc over the whole output power range.