ppxscal/embedding_network huggingface dataset:
A General Neural Network-Based Approach to Modeling Sensors in PSPICE Simulation
Authors: Lian Ming Wang, Lin Yun Ma, Ying Huang
Venue: Proceedings of the Third International Conference on Natural Computation - Volume 03 (2007)

Most sensors can not be modeled easily, which leads to the problem that a circuit with sensors can not be simulated in PSPICE. A method based on the neural network for modeling sensors in PSPICE is presented to solve the problem. Firstly, a multi-layer feedforward neural network is used to approximate the characteristics of a sensor. Secondly, the achieved structure of the neural network is described in the PSPICE language to form a subcircuit. Finally, the subcircuit is used as the sensor model when the changes of a non-electric quantity imposed on the sensor in real applications is replaced with that of an electric quantity in PSPICE simulation. The availability of this method is exemplified by modeling a negative temperature coefficient (NTC) thermistor.
A fuzzy approach to build an intelligent data warehouse
Authors: P. Radha Krishna, Supriya Kumar De
Venue: Journal of Intelligent Fuzzy Systems: Applications in Engineering and Technology (2001)

Data warehousing is emerging as one of the hottest areas of growth in global business and the critical component and tool for business intelligence. In the data warehouse environment, the level of summarization plays an important role. Some Data Warehouse applications, directly account for the uncertainty and vagueness often associated with time-series and enterprise-wide decision making. In this paper, we enhance the concept of summarization using fuzzy technology, keeping in view the time-series and enterprise-wide data. This enhancement, which extends the aggregation process used in data warehouse, provides insightful information intelligently and allows greater facility for modeling human decision making.
A Study of Superdistribution Model for Family Domain in DRM System
Authors: Bohyun Wang, Zonghua Liu, Byungwook Lee
Venue: Proceedings of the The 2007 International Conference Computational Science and its Applications (2007)

The traditional superdistribution model supports the contents distribution only between users. In this paper, we are presenting the enhanced superdistribution model in order to support the fair use of contents as including the content distribution within family domain as well. Family domain consists of user owned devices. In addition that we propose the license model, using information of distribution history for the secure management of the enhanced superdistribution. The history information is composed of device identifiers. The use of history information makes the contents used only in granted superdistribution and family domain. The history information is protected with asymmetric encryption method to prevent from privacy information leakage. The enhanced superdistribution model and the proposed license model are applicable for the various types of fair use for user and those models enable providers to develop new business models.
Alternative Approximation of Check Node Algorithm for DVB-S2 LDPC Decoder
Authors: O. Eljamaly Toumaz, P. Sweeney
Venue: Proceedings of the Second International Conference on Systems and Networks Communications (2007)

In this paper, a new approximation of the check node rule algorithm is proposed for updating the check nodes messages in LDPC decoding. The new technique evaluates the check node min-sum magnitude algorithm using the Taylor series and results in reduced computational complexity and hardware implementation. The architecture of a check node processing unit, implementing the new alternative approximation of the check node, is also presented. The proposed method can achieve the same BER performance with a reduction of ~20% hardware complexity in the LDPE decoder. The simulation results obtained shows that the packet error rate performance of 10^-7 , which is the DVB-S2 requirement for MPEG packets transmitted, can be achieved with this new method.
Human strategies based allocation of two-dimensional irregular shapes
Authors: Yousef Al-Assaf
Venue: Journal of Intelligent Fuzzy Systems: Applications in Engineering and Technology (2003)

In this work a heuristic approach for nesting irregular shapes is considered. The approach is based on extracting some of the human intuitive thoughts, and has the feature of minimizing raw material waste. We have tested the proposed algorithm assuming requirements that resemble various industrial stock cut needs. Our results were compared with those obtained from experienced operators and other heuristic approaches. It is demonstrated that our new approach yields good utilization performance, comparable to that achieved by expert operators, even for small-scale problems.
Viability of Mobile Devices Integration in Higher Education: Faculty Perceptions and Perspective
Authors: Despo Ktoridou, George Gregoriou, Nikleia Eteokleous
Venue: Proceedings of the The 2007 International Conference on Next Generation Mobile Applications, Services and Technologies (2007)

Mobile devices are everywhere and mobile learning (m-learning) has emerged as a potential educational environment to support learning. Mobile tools immerse in the learning environment and surround the educators, the students and the environment they operate in. These tools can be directly integrated in classroom activities in order to enhance and promote new ways of teaching and learning. The purpose of this research work is to evaluate the viability of integrating mobile technology into the teaching and learning processes in higher education from the faculty perspective.
Alignment of videos recorded from moving vehicles
Authors: Joan Serrat, Ferran Diego, F. Lumbreras, J. M. Alvarez
Venue: Proceedings of the 14th International Conference on Image Analysis and Processing (2007)

We address the synchronization of a pair of video sequences captured from moving vehicles and the spatial registration of all the temporally corresponding frames. This is necessary in order to perform the pixel wise comparison of a pair of videos. The novelty of our method is that is free from three common restrictions of most previous works. First, it does not require that the two cameras be rigidly fixed to each other, since they can move independently. Second, the temporal correspondence does not assume a linear mapping. Third, it does not rely on the complete trajectories of image features. We present our results in the context of two applications, outdoor surveillance at night and the comparison of vehicle headlights systems.
Toward a New Analyzable Architectural Description Language based on OSAN
Authors: Ali Kamandi, Jafar Habibi
Venue: Proceedings of the International Conference on Software Engineering Advances (2007)

In the last two decades, a number of architecturebased software development notations, methods, techniques, and tools were formulated. Of particular interest to the software architecture researchers and practitioners were the notations and languages for modeling software architectures, known as ADLs. Object Stochastic Activity Network (OSAN) is a new model which inherits useful features from Petri nets, stochastic activity networks and queue networks, which made it a powerful and flexible tool to model concurrent systems and evaluate and verify them. This paper introduces OSAN as a new analyzable architecture description language, which can be used both for modeling architectural aspects of software systems and evaluating and analyzing them.
Analog placement with common centroid constraints
Authors: Qiang Ma, Evangeline F. Y. Young, K. P. Pun
Venue: Proceedings of the 2007 IEEE/ACM international conference on Computer-aided design (2007)

In order to reduce parasitic mismatch in analog circuits, some groups of devices are required to share a common centroid while being placed. Devices are split into smaller ones and placed with a common center point. We will address this problem of handling common centroid constraint in placement. A new representation called Center-based Corner Block List (C-CBL) is proposed which is a natural extension of Corner Block List (CBL) [1] to represent a common centroid placement of a set of device pairs. C-CBL is complete and non-redundant in representing any common centroid mosaic packings with pairs of blocks to be matched. To address the same problem with an additional constraint that devices are required to be placed uniformly to average out the parasitic errors, a grid-based approach is proposed. Experimental results show that both approaches are fast and promising, and have high scalability that even large data sets can be handled effectively.
Layout Based Information Extraction from HTML Documents
Authors: R. Burget
Venue: Proceedings of the Ninth International Conference on Document Analysis and Recognition - Volume 02 (2007)

We propose a method of information extraction from HTML documents based on modelling the visual informa- tion in the document. A page segmentation algorithm is used for detecting the document layout and subsequently, the extraction process is based on the analysis of mutual po- sitions of the detected blocks and their visual features. This approach is more robust that the traditional DOM-based methods and it opens new possibilities for the extraction task specification.
Multicommodity network flow approach to the railroad crew-scheduling problem
Authors: B. Vaidyanathan, K. C. Jha, R. K. Ahuja
Venue: IBM Journal of Research and Development (2007)

We present our solution to the crew-scheduling problem Jor North American railroads. (Crew scheduling in North America is very different from scheduling in Europe, where it has been well studied.) The crew-scheduling problem is to assign operators to scheduled trains over a time horizon at minimal cost while honoring operational and contractual requirements. Currently, decisions related to crew are made manually. We present our work developing a network-flow-based crew-optimization model that can be applied at the tactical, planning, and strategic levels of crew scheduling. Our network flow model maps the assignment of crews to trains as the flow of crews on an underlying network, where different crew types are modeled as different commodities in this network. We formulate the problem as an integer programming problem on this network, which allows it to be solved to optimality. We also develop several highly efficient algorithms using problem decomposition and relaxation techniques, in which we use the special structure of the underlying network model to obtain significant increases in speed. We present very promising computational results of our algorithms on the data provided by a major North American railroad. Our network flow model is likely to form a backbone for a decision-support system for crew scheduling.
Comparison of Different Preprocessing and Feature Extraction Methods for Offline Recognition of Handwritten ArabicWords
Authors: Haikal El Abed, Volker Margner
Venue: Proceedings of the Ninth International Conference on Document Analysis and Recognition - Volume 02 (2007)

Preprocessing and feature extraction are very important steps in automatic cursive handwritten word recognition. Based on an offline recognition system for Arabic handwritten words which uses a semi-continuous 1-dimensional Hidden Markov Model recognizer, different preprocessing combined with different feature sets are presented. The dependencies of the feature sets from preprocessing steps are discussed and their performances are compared using the IFN/ENIT-database of handwritten Arabic words. As the lower and upper baseline of each word are part of the ground truth of the database, the dependency of the feature set from the accuracy of the estimated baseline is evaluated.
A case study of instant workbench for InterProScan by Knoppix high throughput computing edition
Authors: F. Konishi, S. Ohki, Y. Hamano, M. Ishii
Venue: Proceedings of the High Performance Distributed Computing, 2005. HPDC-14. Proceedings. 14th IEEE International Symposium (2005)

We have developed an instant environment for protein sequence profile scanning application by re-mastering Knoppix distribution as high throughput computing edition. This is an integrated environment with bioinformatics applications, parallel file system and scheduler. The integrated environment allows biology researchers to perform scanning applications immediately on their computational pool without any system configuration changed.
Rteq: modeling and validating infinite-state hard-real-time systems
Authors: Robert J. Hall
Venue: Proceedings of the twenty-second IEEE/ACM international conference on Automated software engineering (2007)

Complex, interrupt-driven hard real time control software is difficult to design and validate. It does not line up well with traditional state-based, timed-transition approaches to real time system specification, due to the complexity of timers and the pending interrupt queue. The present work takes a new approach to the problem of modeling and tool-supported reasoning about such systems based on infinite-state modeling of the temporal event queue. This approach, RTEQ, can be used in any formalism or tool set supporting event queue modeling. This paper briefly overviews the approach and its application to a novel wireless medium access controller
Towards a theory of data entanglement
Authors: James Aspnes, Joan Feigenbaum, Aleksandr Yampolskiy, Sheng Zhong
Venue: Theoretical Computer Science (2007)

We give a formal model for systems that store data in entangled form. We propose a new notion of entanglement, called all-or-nothing integrity (AONI) that binds the users' data in a way that makes it hard to corrupt the data of any one user without corrupting the data of all users. AONI can be a useful defense against negligent or dishonest storage providers who might otherwise be tempted to discard documents belonging to users without much clout. We show that, if all users use a fixed standard recovery algorithm, we can implement AONI using a MAC, but, if some of the users adopt instead a non-standard recovery algorithm provided by the dishonest storage provider, AONI can no longer be achieved. However, even for the latter scenario, we describe a simple entangling mechanism that provides AONI for a restricted class of destructive adversaries.
Properties of Waveforms Obtained by Nonrecursive Digital Filtering of Pseudorandom Binary Sequences
Authors: A. C. Davies
Venue: IEEE Transactions on Computers (1971)

This paper derives and discusses statistical properties (probability density function, moments, power spectrum, and autocorrelation function) of waveforms obtained by nonrecursive digital filtering of pseudorandom linear binary sequences. This filtering may be achieved in practice by forming a weighted summation of binary digits passing along a shift register.
An Interactive Diagnosis and Repair of OWL Ontology
Authors: Lu Lu, Nandan Parameswaran, Pradeep Kumar Ray
Venue: Proceedings of the International Conference on Semantic Computing (2007)

Ontology diagnosis is an important phase in the process of knowledge base development and management. In the various applications of semantic computing, ontology is not static, but keeps changing over time due to changes in the local environments. A change is typically effected by adding new axioms or modifying parts of existing axioms in the ontology. Such arbitrary changes might result in conflicts in the knowledge base and how to diagnose and repair the conflict in the knowledge base is an interesting but hard problem. In this paper, we propose an interactive strategy for maintaining knowledge base consistency by identifying the unsatisfiable concepts in the knowledge base, and eliminating them using suggestions obtained from the knowledge engineer (user).
Fuzzy immune sliding mode control based hydro turbine governor
Authors: Xiangyang Yu, Feng Yang, Yongxuang Huang, Haipeng Nan
Venue: Proceedings of the Third International Conference on Natural Computation - Volume 01 (2007)

To meet the increasing requirements on the performance, a new type of fuzzy immune sliding mode controller(FISMC) for the hydraulic turbine governing system is presented. Controller is finished by incorporating sliding mode control theory, immune algorithm with fuzzy control technology. First, a fuzzy model of the governing system is constructed to represent the local dynamic behaviors of the governing system. A global controller is then derived by combining all local state feedback controllers and a global supervisory sliding mode controller. For improving robustness and tracking performance, immune feedback control is paralleled with sliding mode control. The simulation results show the effectiveness and feasibility of the integrated controller.
A speech codec for the Skyphone service
Authors: I. Boyd, C. B. Southcott
Venue: BT Technology Journal (2007)

British Telecom International is to introduce an aeronautical telephone service to be known as the Skyphone. This service will use 9.6 kbit/s speech codecs because of the limited satellite power available. The codec to be used will be chosen from a number of codecs developed in several different countries. This paper gives a brief description of the Skyphone and the factors which influence the speech codec design. It then describes the codec proposed by British Telecom Research Laboratories as a candidate for the service. Subjective test results show this codec to be better than the other candidates declared to date.
A novel fabrication process of MEMS devices on polyimide flexible substrates
Authors: S. Y. Xiao, L. F. Che, X. X. Li, Y. L. Wang
Venue: Microelectronic Engineering (2008)

Micro-electro-mechanic-system (MEMS) devices on flexible substrate are important for non-planar and non-rigid surface applications. In this paper, a novel and cost-effective fabrication process for an 8x8 MEMS temperature sensor array with a lateral dimension of 2.5mmx5.5mm on a polyimide flexible substrate is developed. A 40@mm thick polyimide substrate is formed on a rigid silicon wafer using as a mechanical carrier throughout the fabrication by four successive spin coating liquid polyimide. The arrayed temperature sensing elements made of 1200A sputtered platinum thin film on polyimide substrate show excellent linearity with a temperature coefficient of resistance of 0.0028/^oC. The purposed sensor obtains a high sensitivity of 0.781@W/^oC at 8mA at constant drive current. Because of the low heat capacity and excellent thermal isolation, the temperature sensing element shows excellent high sensitivity and a fast thermal response. The finished devices are flexible enough to be folded and twisted achieving any desired shape and form. Employing spin-coated liquid polyimide substrate instead of solid polyimide sheet minimizes the thermal cycling as well as improves the production yield. This fabrication technique first introduces the spin-coated PDMS (Polydimethylsiloxane) interlayer between the silicon carrier and the polyimide substrate and makes the polyimide-based devices separate much easier and greatly simplifies the fabrication process with a high production yield. A non-successive two-stage cure procedure for the polyimide precursor is developed to meet low-temperature requirement of the PDMS interlayer. The fabrication procedure developed in this research is compatible with conventional MEMS technology through an optimized integration process. The novel flexible MEMS technology can benefit the development of other new flexible polyimide-based devices.
Semantic Model Based Heterogeneous Databases Integration Platform
Authors: Han Zhao, Shusheng Zhang, Jingtao Zhou, Mingwei Wang
Venue: Proceedings of the Third International Conference on Natural Computation - Volume 05 (2007)

Enterprise need integrate all relevant heterogeneous databases in semantic level to react to requirements of their customers, collaborate with partners, identify and exploit new business opportunities quickly and effectively. In this context, a semantic model based Integration platform is developed to cover the whole integration process. The platform includes three modules corresponding to different integration stages: 1) metadata abstraction module is used to get available metadata for attribute correspondence identification. 2) semantic matching module is applied to analyze the metadata and find attributes in different databases that represent the same real-world concept. 3) user checking module adopt semantic model construction principle to describe the matching results as a draft semantic model and provide user editing tool to check and improve the draft model. This document describes the architecture of our platform, walks through its most important two features: machine learning technology based attributes matching and semantic model construction principle.
Research on adaptive Error Concealment for Video Transmission over Packet-lossy Channel
Authors: Yin Ming, Xie Yun, Guo Fen, Cai Shuting
Venue: Proceedings of the Eighth ACIS International Conference on Software Engineering, Artificial Intelligence, Networking, and Parallel/Distributed Computing - Volume 02 (2007)

Due to the error concealment recommended by H.264 cannot reconstruct the loss image effectively, an efficient error concealment method is proposed in this paper. The proposed scheme adaptively selects a proper concealment candidate to conceal the artifact of a lost block. To determine the best concealment candidate, a trial process in which the concealment candidates are examined based on analyzing motion activity of the MBs. Simulations show that the proposed scheme outperforms the existing method both on PSNR and visual quality obviously.
Preliminary Design of the Hybrid Air-launching Rocket for Nanosat
Authors: Jae-Woo Lee, Kyung-Ho Noh, Yung-Hwan Byun
Venue: Proceedings of the The 2007 International Conference Computational Science and its Applications (2007)

Air-Launching is an effective method that can launch the 'Nanosat' for low launching cost. In this study, the preliminary design of the air-launching micro rocket was performed. Mission and trajectory optimization was performed and the propulsion system was designed based on the mission design. A supersonic air launching rocket with total weight of 830.95 kg, the payload weight of 3.56 kg and the propulsion system length of 5.89 m has been designed.
Dependency-aware Maintenance for Dynamic Grid Services
Authors: Hai Jin, Li Qi, Song Wu, Yaqin Luo, Jie Dai
Venue: Proceedings of the 2007 International Conference on Parallel Processing (2007)

Any mistaken maintenance for the complicated and distributed grid can bring unpredictable disaster. Here we focus on the system availability issues caused by service dependencies during the maintenance in grid. A novel mechanism, called Cobweb Guardian, is proposed in this paper. It provides multiple granularities (service-, container-, and node-level) maintenance for service components in grid. By using the Cobweb Guardian, grid administrators can execute the maintaining task safely in runtime with high availability. The evaluation results show that our proposed dependency-aware maintenance can make the grid management more automatic and available.