ppxscal/embedding_network huggingface dataset:
Plenary lecture III: symbolic computing in engineering simulations and education
Authors: Marcin Kaminski
Venue: Proceedings of the 12th WSEAS international conference on Computers (2008)

Symbolic computations nowadays still extend the area of potential applications in a variety of the fundamental and applied sciences and, especially, in different branches of the modern engineering. Now, using such computer systems as MAPLE, MATHEMATICA, MATLAB or MATHCAD for instance, it is possible to solve the complex systems of partial differential, make precise visualizations of the observed dynamical systems or to perform some statistic or stochastic simulations of the non-deterministic systems. The quality of those computer environments in terms of interoperability with the other programs (like the Finite or Boundary Element as well as Finite Difference Methods source codes), computer time cost, visualization tools and the number of ready-touse available applications still dramatically increases. Relatively simple differentiation methods, both symbolic and numerical, frequently leed the users to apply symbolic computations programs to sensitivity and optimization studies, whereas a wide range of statistical tools enables uncertainty inclusion and estimation in various unstable systems computations finished with the reliability prognoses. At the same time symbolic computer systems are very valuable educational tools for mathematicians, physicians and the engineers because the students after primary demonstration of some problem solution may easily follow the teacher, whereas the powerful visualization may help to understand the methods not only by numbers and symbols but also using the graphs and animations. Therefore, the main aim of the lecture is to make a review of the recent advances in designing, capabilities, implementation, various machines and operating systems performance as well as the applications for the symbolic computer programs using, as the example, the system MAPLE. The recent research applications in composite materials modeling and stochastic analysis will be shown together with the case studies used in the civil and mechanical engineering practice and some examples used in undergraduate, graduate and doctoral courses. Some new ideas concerning the symbolic computations packages and their general ideas will be also discussed.
Fast Partial Distortion Elimination Algorithm Using Probability Improvement of Sub-block Uniform Distribution
Authors: Taekyung Ryu, Kwangseok Moon, Jongnam Kim
Venue: Proceedings of the 3rd International Symposium on Advances in Computation and Intelligence (2008)

Full search motion estimation in real-time video coding requires large amount of computations. Reducing computational cost for full search motion estimation is critical research issue for enabling fast real-time video coding such as MPEG-4 advanced video coding. In this paper, we propose a fast partial distortion algorithm using probability improvement of sub-block uniform distribution. Our algorithm uses normalized dithering matching scan to get uniform distribution of partial distortion, and based on normalized dithering order matching scan and calibration of threshold error using LOG value for each sub-block continuously for efficient elimination of unlike candidate blocks fast while keeping the same prediction quality compared with the full search algorithm. Our algorithm reduces about 65% of computations for block matching error compared with conventional PDE(partial distortion elimination) algorithm without any prediction quality.
A novel hybrid training method for hopfield neural networks applied to routing in communications networks
Authors: W. H. Schuler, C. J. A. Bastos-Filho, A. L. I. Oliveira
Venue: International Journal of Hybrid Intelligent Systems (2009)

Efficient routing algorithms are very important for the operation of communication networks, including the Internet. This article presents a hybrid intelligent method for routing which combines Hopfield Neural Networks (HNN) and simulated annealing (SA). The proposed method introduces a modified version of the discrete-time equation used to calculate the new neuron input. The novel version of the equation aims to improve the HNN convergence, thereby decreasing the computation cost. In our method, the SA algorithm is used to obtain the optimal parameters of the HNN. Simulations reported in this paper show that the proposed method outperforms previous approaches, by computing routes using smaller number of iterations and smaller error.
Wu elimination method applied in analytical solution of the power system voltage stability
Authors: Qing Zhang, Chen Chen
Venue: Proceedings of the 8th conference on Systems theory and scientific computation (2008)

Wu Elimination Method is applied to obtain analytical solution of power flow equations without either extraneous roots or missing roots. The symbolic process of Wu Elimination is implemented by software package MAPLE. A minor group of solutions is obtained under low load other than the major group of solutions. Based on computation, analytical V-P and V-Q curves are obtained as well as the steady state operation area. The results are compared with the results of Homotopy Method.
An Efficient Multi-Channel MAC Protocol for Mobile Ad Hoc Networks
Authors: Wen-Hwa Liao, Wen-Chin Chung
Venue: Proceedings of the 2009 WRI International Conference on Communications and Mobile Computing - Volume 02 (2009)

This paper proposes a novel multi-channel MAC protocol for mobile ad hoc networks that enables the nodes to transmit packets in distributed channels. In our protocol, the ATIM window is divided into two windows. The first window is called deciding channel window (DCW). The source nodes and destination nodes can negotiate to decide a channel that can be used to compete the final data channel in the DCW. The second window is called exchanging packet window (EPW). The pair source node and destination node can compete to get a channel to transfer packets in the EPW. This mechanism can distribute pair source node and destination node to compete data channel. Hence, the collisions can be avoided greatly and throughput can be increased. The simulation results show that our protocol successfully exploits to use bandwidth of multiple channels effectively.
Introduction to Simio
Authors: C. Dennis Pegden
Venue: Proceedings of the 40th Conference on Winter Simulation (2008)

This paper describes a new modeling system -- Simio&trade;-that is designed to simplify model building by promoting a modeling paradigm shift from the process orientation to an object orientation. Simio is a simulation modeling framework based on intelligent objects. The intelligent objects are built by modelers and then may be reused in multiple modeling projects. Although the Simio framework is focused on object-based modeling, it also supports a seamless use of multiple modeling paradigms including event, process, object, and agent-based modeling.
An alternate design paradigm for robust spin-torque transfer magnetic RAM (STT MRAM) from circuit/architecture perspective
Authors: Jing Li, Patrick Ndai, Ashish Goel, Haixin Liu, Kaushik Roy
Venue: Proceedings of the 2009 Asia and South Pacific Design Automation Conference (2009)

Spin-Torque Transfer Magnetic RAM (STT MRAM) is a promising candidate for future embedded applications. It provides desirable memory attributes such as fast access time, low cost, high density and non-volatility. However, variations in process parameters can lead to a large number of cells to fail, severely affecting the yield of the memory array. In this paper, we provide a thorough analysis of the impact of design parameters on parametric failures due to process variations. To achieve high memory yield without incurring expensive technology modification, we developed an alternate design paradigm ---circuit/architecture co-design --- to take advantage of different levels of design hierarchy (circuit and architecture) to improve the yield and memory density. The technique decouples the conflicting design requirements for read stability/writability and density. Consequently, the memory cell failure probability reduces by 48% and cell area reduces by 21% with negligible performance degradation (~0.4%).
Aspect-oriented generation of the API documentation for AspectJ
Authors: Michihiro Horie, Shigeru Chiba
Venue: Proceedings of the 4th workshop on Domain-specific aspect languages (2009)

Through the development of a framework or a class library, writing the document on their application programming interface (API) is essential. The document on the API, which we call the API documentation, is mainly read by programmers who want to develop their applications on top of that framework or library. In this paper, we present a tool named CommentWeaver, which generates the API documentation of a framework/library written in AspectJ. CommentWeaver extracts the descriptions for the API documentation from both classes and aspects in the source files, and then it weaves them for generating the API documentation in HTML. Although ajdoc similarly generates the API documentation for AspectJ, the generated API documentation does not directly present the exact behavior of the API if it is affected by aspects.
Simulation of Self-Similar Traffic in Switches Using Crossbar and Prioritized VOQs
Authors: Xia Yu, Zhu Juhua
Venue: Proceedings of the 2009 International Conference on Computer Modeling and Simulation (2009)

In this paper, analysis and simulations of splitting and merging self-similar traffic are done on a router/switch which uses prioritized VOQs (Virtual Output Queue) as its input queues and crossbar as its switch fabric. The results of the simulations say that merge traffic with the same Hurst values (no matter what the data rate is) will not change the Hurst value of merged traffic, but merge traffic with different Hurst values (short-range dependent traffic can be considered as the case in which its Hurst value equals 0.5) will result in a traffic whose Hurst value is no more than the maximum and no less than the minimum. Also the splitting of traffic will have a great influence on resulting traffic, even the degree of LRD (Long-Range dependence) is very high in the original traffic, after being split twice at VOQs and priority queues, the degree of LRD is greatly decreased.
Optimal pricing model for electronic products
Authors: Mohammad Fathian, Seyed J. Sadjadi, Samaneh Sajadi
Venue: Computers and Industrial Engineering (2009)

Electronic commerce encompasses all electronically conducted business activities, operations, and transaction processing. With the development of electronic commerce via Internet, during the past decade, many companies have changed the way they connect to and deal with their customers and partners. In this paper we introduce a Geometric Programming (GP) based model to analyze the pricing method and the service quality for E-business companies. The proposed method of this paper considers electronic products which are all kinds of products to be sold via web supermarkets. Therefore, they can cover pure digital and also non-digital products. The model proposed in this research work, deals with non-digital goods, which are supplied through web. The resulted non-linear model is directly solved by using Geometric Programming (GP) and a closed form of solution is presented. We assume that the demand is influenced by price, marketing and service expenditures. We also assume that the cost of production is affected by demand. We analyze the solution in different cases, in order to study the behavior of the model and for each case numerical examples are used to demonstrate the implementation of our analysis. The sensitivity analysis is also presented at the end to analyze the behavior of the model.
A comparison of two types of rough sets induced by coverings
Authors: Guilong Liu, Ying Sai
Venue: International Journal of Approximate Reasoning (2009)

Rough set theory is an important technique in knowledge discovery in databases. In covering-based rough sets, many types of rough set models were established in recent years. In this paper, we compare the covering-based rough sets defined by Zhu with ones defined by Xu and Zhang. We further explore the properties and structures of these types of rough set models. We also consider the reduction of coverings. Finally, the axiomatic systems for the lower and upper approximations defined by Xu and Zhang are constructed.
Oblivious Transfer à la Merkle
Authors: Gilles Brassard, Louis Salvail, Alain Tapp
Venue: Proceedings of the 2009 Third International Conference on Quantum, Nano and Micro Technologies (2009)

Oblivious transfer (OT) is a fundamental primitive in cryptography. It is known that unconditionally secure OT is impossible, even with the help of quantum mechanics. Furthermore, no classical OT scheme has been proven to offer computational security in the usual super-polynomial model, and there is evidence that such schemes cannot be based on one-way permutations. Nevertheless, inspired by Ralph Merkle's 1974 key distribution scheme, we offer a novel classical OT scheme based on one-way permutations and prove its polynomial security: the effort to cheat it scales as t^{3/2}, where t is the legitimate effort needed to implement it. Unfortunately, our scheme melts down under the onslaught of a quantum adversary after an effort merely in the order of t^{5/6}, so that it is actually easier to subvert it than to use it legitimately! By allowing the honest parties to use quantum computation as well, however, it may be that our OT scheme can be repaired so as to resist modest quantum attacks.
Predicting the financial crisis by Mahalanobis-Taguchi system - Examples of Taiwan's electronic sector
Authors: Yu-Cheng Lee, Hsiao-Lin Teng
Venue: Expert Systems with Applications: An International Journal (2009)

In the past researches of financial crisis early-warning model, multiple regression, linear probability model, and multiple discriminate analysis are commonly adopted, all of which have generated good discrimination effects, with over 90% accuracy. Dr. Taguchi, well known for his robust design, has lately brought up a new method - Mahalanobis-Taguchi System (MTS), which is mainly used to conduct multivariate diagnoses and forecasts. This study attempts to use MTS to build up a financial crisis early-warning model for Taiwan's companies. It chooses both in financial sound judgment and in financial trouble TSE- and OTC-listed electronic companies in 2005 as training set and uses both in financial sound judgment and in financial trouble TSE- and OTC-listed electronic companies in 2006 as testing set to verify the accuracy of this model. There are two phases in our research, in which we firstly use MTS, logistic regression and neural network to establish the financial crisis early-warning model, followed by a comparative analysis of average accuracy rate of financial prediction in the second phase. The result of experiment shows that the accuracy rate of financial crisis early-warning system established by MTS, logistic regression and neural network are 96.1%, 92.3%, and 96.1%, respectively, indicating that MTS provides greater application effect in predicting financial crisis.
Joint Audio-Video Processing of MPEG Encoded Sequences
Authors: Giuseppe Boccignone, Massimo de Santo, Gennaro Percannella
Venue: Proceedings of the 1999 IEEE International Conference on Multimedia Computing and Systems - Volume 02 (1999)

The current research efforts in the field of video parsing and analysis are focused on the use of pictorial information, while neglecting an important supplementary source of content information such as the embedded audio or soundtrack. In contrast, in this paper we address the issue of scene change detection with the use of video and audio information. We also discuss how joint exploitation of audio and video can be thoroughly performed on MPEG encoded video sequences. First experimental results are presented and discussed.
Atomic quake: using transactional memory in an interactive multiplayer game server
Authors: Ferad Zyulkyarov, Vladimir Gajinov, Osman S. Unsal, Adrián Cristal, Eduard Ayguadé, Tim Harris, Mateo Valero
Venue: ACM SIGPLAN Notices (2009)

Transactional Memory (TM) is being studied widely as a new technique for synchronizing concurrent accesses to shared memory data structures for use in multi-core systems. Much of the initial work on TM has been evaluated using microbenchmarks and application kernels; it is not clear whether conclusions drawn from these workloads will apply to larger systems. In this work we make the first attempt to develop a large, complex, application that uses TM for all of its synchronization. We describe how we have taken an existing parallel implementation of the Quake game server and restructured it to use transactions. In doing so we have encountered examples where transactions simplify the structure of the program. We have also encountered cases where using transactions occludes the structure of the existing code. Compared with existing TM benchmarks, our workload exhibits non-block-structured transactions within which there are I/Ooperations and system call invocations. There are long and short running transactions (200-1.3M cycles) with small and large read and write sets (a few bytes to 1.5MB). There are nested transactions reaching up to 9 levels at runtime. There are examples where error handling and recovery occurs inside transactions. There are also examples where data changes between being accessed transactionally and accessed non-transactionally. However, we did not see examples where the kind of access to one piece of data depended on the value of another.
Developing a Multi-professional e-Learning Mentor Update Package
Authors: Karen J. Ousey, Stephen A. White
Venue: Proceedings of the 2009 International Conference on Mobile, Hybrid, and On-line Learning (2009)

Students from healthcare programmes within the United Kingdom are supported in their clinical placements by appropriately qualified members of staff who require annual updates to maintain their currency in this role; a professional and regulatory body stipulation. In response to increasing pressures within the workplace that are negatively impacting upon opportunities to access the current method for delivering these updates, an alternative has been sought. In a cross-Department initiative at the University of Huddersfield, an online, multi-professional package (currently for Nursing, Midwifery and Operating Department Practitioners (ODPs)) is in development. It is designed to replace the traditional face-to-face delivery method whilst maintaining the required quality and standards inherent within a professional programme. This paper will outline the process to-date, discuss how design and content issues are being addressed towards producing a tool which aims to meet the demands of all stakeholders, and consider future directions for the project.
A stochastic perturbative approach to design a defect-aware thresholder in the sense amplifier of crossbar memories
Authors: M. Haykel Ben Jamaa, David Atienza, Yusuf Leblebici, Giovanni De Micheli
Venue: Proceedings of the 2009 Asia and South Pacific Design Automation Conference (2009)

The use of nanowire crossbars to build devices with large storage capabilities is a very promising architectural paradigm for forthcoming nanoscale memory devices. However, this new type of memory devices raises questions regarding how to test their correct operation. In particular, the variability affecting the decoder is expected to make very complex the test of these new devices. In this paper we present a method to simplify the test of these new devices by using a current thresholder to detect badly addressed nanowires. In the proposed method, the thresholder design is based on a stochastic and perturbative model of the current through the nanowires. Thus, the calculated thresholder parameters are robust against technology variation. As our experimental results indicate, the thresholder error probability is initially only ~ 10-4, which can be also reduced further (up to ~ 60x) by trading-off only ~ 35% area overhead in the memory.
FCM algorithm based on unsupervised mahalanobis distances with better initial values and separable criterion
Authors: Jeng-Ming Yih, Yuan-Horng Lin, Hsiang-Chuan Liu
Venue: Proceedings of the 8th conference on Applied computer scince (2008)

The fuzzy partition clustering algorithms are most based on Euclidean distance function, which can only be used to detect spherical structural clusters. Gustafson-Kessel (GK) clustering algorithm and Gath-Geva (GG) clustering algorithm, were developed to detect non-spherical structural clusters, but both of them based on semi-supervised Mahalanobis distance needed additional prior information. An improved Fuzzy C-Mean algorithm based on unsupervised Mahalanobis distance, FCM-M, was proposed by our previous work, but it didn't consider the relationships between cluster centers in the objective function. In this paper, we proposed an improved Fuzzy C-Mean algorithm, FCM-MS, which is not only based on unsupervised Mahalanobis distance, but also considering the relationships between cluster centers, and the relationships between the center of all points and the cluster centers in the objective function, the singular and the initial values problems were also solved. A real data set was applied to prove that the performance of the FCM-MS algorithm gave more accurate clustering results than the FCM and FCM-M methods, and the ratio method which is proposed by us is the better of the two methods for selecting the initial values.
Study on Near-infrared Spectroscopy Signal Pre-processing and Model Building
Authors: Zhang Xiaochao, Zhang Yinqiao, Wang Hui
Venue: Proceedings of the 2009 International Conference on Advanced Computer Control (2009)

The technology of Near-infrared Spectroscopy analysis plays a very important role in quality detection of farm produce. This thesis analyzed grainy wheat quality with 900nm-1700nm wave raster near-infrared spectroscopy analysis system, filtered signal with wavelet packet analyses system, disposed signal with second order differential equipment, built and contrasted models of Partial Least Square (PLS) and Support Vector Machines (SVM). The results showed that the Near-infrared Spectroscopy analysis system can suit farm produce quality analysis well.
The effects of quantum dot coverage in InAs/(In)GaAs nanostructures for long wavelength emission
Authors: G. Trevisi, L. Seravalli, P. Frigeri, M. Prezioso, J. C. Rimada, E. Gombia, R. Mosca, L. Nasi, C. Bocchi, S. Franchi
Venue: Microelectronics Journal (2009)

We present a study on the effects of quantum dot coverage on the properties of InAs dots embedded in GaAs and in metamorphic In0.15Ga0.85As confining layers grown by molecular beam epitaxy on GaAs substrates. We show that redshifted emission wavelengths exceeding 1.3&mu;m at room temperature were obtained by the combined use of InGaAs confining layers and high quantum dot coverage. The use of high InAs coverage, however, leads to detrimental effects on the optical and electrical properties of the structures. We relate such behaviour to the formation of extended structural defects originating from relaxed large-sized quantum dots that nucleate in accordance to thermodynamic equilibrium theories predicting the quantum dot ripening. The effect of the reduced lattice-mismatch of InGaAs metamorphic layers on quantum dot ripening is discussed in comparison with the InAs/GaAs system.