ppxscal/embedding_network huggingface dataset:
Propulsion and levitation H∞ optimal control of underwater linear motor vehicle ME02
Authors: Kinjiro Yoshida, M. El-Nemr, Fayez F. M. El-Sousy
Venue: Proceedings of the 9th WSEAS International Conference on Systems (2005)

The linear motors drives with magnetic levitation (Maglev) technology are the most recommended candidate of the near future ground transportation. The Marine Express is a unique linear motor train able to run both on land and underwater along the same guideway. Due to large uncertainties and nonlinearities exist in the operation of the permanent magnet linear synchronous PM-LSM with combined propulsion and levitation; the control performance may be seriously influenced. As in practical application, strong robustness is always an important property that a good controller should achieve. To ensure the desired robustness, we propose H∞ controller as a new robust motion controller. The controller is combined with model following controllers MFC. The combinations of both controllers would insure the robustness and overcome the uncertainties of the system. Systematic methodology for controllers design is provided. Moreover, a simulated study is carried to testify the performance of the system under the new controllers. The results verify that the proposed controllers provide robust dynamic performance for PM-LSM Maglev drive system.
Using model comparison to maintain model-to-standard compliance
Authors: Martín Soto, Jürgen Münch
Venue: Proceedings of the 2008 international workshop on Comparison and versioning of software models (2008)

Keeping an artifact, such as a an industrial design document or a process description, compliant with a relevant standard or norm is a challenging task. A wide variety of organizations, ranging from software houses to defense contractors, are concerned with this problem, since norm compliance (or lack thereof) can have important technical and business related consequences for them. In this paper, we discuss a compliance maintenance approach for complex structured documents that we are currently developing at Fraunhofer IESE. At the heart of this approach lies our Evolyzer model comparison tool and its underlying model comparison approach, DeltaProcess.
The effect of narrowband interference on ML fractional frequency offset estimator for OFDM
Authors: Mohamed Marey, Heidi Steendam
Venue: Proceedings of the 2nd international conference on Mobile multimedia communications (2006)

In orthogonal frequency division multiplexing (OFDM) systems affected by carrier frequency offsets, the estimation of the frequency offset corresponding to a fractional part of the carrier spacing is a crucial issue. The proper action of the fractional frequency estimator can be strongly affected by the presence of disturbances, like narrowband interference (NBI) signals. In this paper, we derive the data-aided maximum-likelihood (ML) fractional frequency estimator in the presence of (NBI). Based on the ML algorithm which has a high complexity, we propose a number of simplifications to develop a lower complexity algorithm. The susceptibility of the simplified fractional frequency estimator to NBI signals is investigated in an analytical way. The analytical results are verified by means of simulations. Although the simplified estimator turns out to be essentially independent of the bandwidth and the location of interferers, the performance of the estimator is very sensitive to the signal to interference ratio and the number of interferers. In contrast with the simplified estimator, simulation results indicate that the exact ML estimator is essentially independent of the (NBI) signals.
UNCERTAIN SPATIO-TEMPORAL REASONING FOR DISTRIBUTED TRANSPORTATION SCHEDULING PROBLEM
Authors: Maroua Bouzid
Venue: Applied Artificial Intelligence (2007)

Distributed artificial intelligence (DAI) is suitable for applications where there is no central control. One of these applications with which we are concerned is transportation scheduling. We noticed that all the approaches dedicated to this application use a weak representation of time and a simple reasoning. Furthermore, these approaches ignore the uncertain behavior of agents. What we propose is an approach based on fuzzy temporal characteristic functions (FTCF), which allows a powerful representation of agent company behaviors informing us at each time about the degree that the agent is available. Thanks to this representation, we develop a spatio-temporal reasoning allowing a cooperation inter-and intra-companies to allocate trucks and delegate orders. First, we use an offline scheduling algorithm that takes charge of new transportation tasks only when trucks are at a destination. To increase the performance of the system, we need to introduce the ability to take charge of the new transportation task immediately and to delegate it to a truck while this latter is moving toward a destination. For this purpose, the system needs to address two issues: (1) determining the current location of the truck and its proximity to the departure and arrival of the new transportation task and (2) respecting the temporal constraints. For this purpose, we use a spatio-temporal reasoning allowing us to deal with the first issue using a spatial reasoning and then addressing the second issue using a temporal reasoning. This approach is a first step towards a design of a temporally situated multi-agent system that allows us to take location and the time at which agents are at this location to determine the suitable actions.
Modeling and Simulation of an Artificial Stock Option Market
Authors: Sabrina Ecca, Michele Marchesi, Alessio Setzu
Venue: Computational Economics (2008)

Since their introduction in 1973, options have become an important and very popular financial instrument. However, despite much research performed on the subject, the effects of option trading on the underlying asset market are still debated. Both empirical and theoretical studies have failed to point out how price volatility and volumes of the underlying asset are affected. In this paper we present the first study on the effects of an option market related to an underlying stock market, using an artificial financial market based on heterogeneous agents. We modeled a realistic European option using two market models. The microstructure of the first model is kept as simple as possible, being composed only of random traders. The second model is more complex and realistic, involving the presence of various kinds of trading strategies (random, fundamentalist and chartist). We show that the introduction of options, in the proposed models, tends to decrease the volatility of the underlying stock price. Moreover, the traders' wealth can be strongly affected by the use of option hedging.
Determination of Effects of Different Music on Frontal Muscle by Using EMG Signal
Authors: Sadik Kara, Pinar Özel
Venue: Proceedings of the 2007 Frontiers in the Convergence of Bioscience and Information Technologies (2007)

psychological and physiological. However, because the healthful effects of music have not been fully explored scientifically, many questions about the clinical efficacy of music are yet to be answered. In this study the musical selections used were reed flute sound and hard rock music. The information obtained from the present study adds significantly to what is known about the relaxing properties of music, by investigating how exposure to different styles of music the psychophysiological aspects of anxiety. The physiological measure was frontalis electromyography. EMG data taken from individual before music was listened, during listening to reed flute sound and during listening to hard rock music, were examined to extracted power spectral density by welch method which is use to evaluate unstable sign. Power spectral densities of during listening to reed flute and hard rock music were determined differently compared with psd of without music situation. As reed flute sound triggered off the decreased psd value, hard rock music triggered off the increased psd value. There is a reverse ratio between PSD on muscle and relief amount. In conclusion, listening to reed flute music has relaxing property according to hard rock music on frontal muscle. Keywords: Music, Music Therapy Welch Method, Frontalis Eletromyography,
A new way to integrate solid state nanopores for translocation experiments
Authors: E. M. Huisman, A. -L. Biance, A. Madouri, G. Patriarche, E. Bourhis, G. Oukhaled, L. Auvray, J. Gierak
Venue: Microelectronic Engineering (2008)

The integration of the nanopore drilled in a nanometric thin and therefore fragile membrane in a macroscopic set-up necessitates a multiscale approach. An integration technique to select and support such a nanopore is described, using a Pyrex device with a micropore. Therefore, we developed a method to fabricate micrometer sized apertures in Pyrex wafers relying on a specific control of HF etching. The integration of FIB nanodrilled membrane in this Pyrex set-up is here discussed.
Test case generator for GUITAR
Authors: Daniel R. Hackner, Atif M. Memon
Venue: Companion of the 30th international conference on Software engineering (2008)

As GUIs become more popular, the need for GUI testing tools becomes greater. Many current GUI test generation techniques require proprietary tools and can be hard to use to their fullest potential. This paper outlines a new test case generation strategy, which enables testers to automatically produce cases in a widely used format. We hope that this strategy will encourage more complete GUI testing.
A coordinate determination algorithm for USBL systems
Authors: Mikhail Arkhipov
Venue: Proceedings of the 2nd WSEAS International Conference on Circuits, Systems, Signal and Telecommunications (2008)

This paper describes coordinate determination algorithm for ultra-short baseline (USBL) acoustic systems in which the location measurement of the underwater objects is based on the determination of the distance to the object and the angle object position. The case of calculation of the Cartesian coordinates of the object in the carrier coordinate system is considered. Additional receiving bases are added to the USBL antenna to resolve the problem of the low precision coordinate determination for the case the object is found in the plane of receiving bases. The designed algorithm allows the system to take into account the occasional inclination of the USBL antenna in the instant of measurement of the time delays. The space orientation of the antenna is controlled by measurement of the pitch and roll angles. The algorithm utilizes the multiple rotations of basic receiving coordinate systems around mutual orthogonal horizontal and vertical axis.
Security protocols, properties, and their monitoring
Authors: Andreas Bauer, Jan Juerjens
Venue: Proceedings of the fourth international workshop on Software engineering for secure systems (2008)

This paper examines the suitability and use of runtime verification as means for monitoring security protocols and their properties. In particular, we employ the runtime verification framework introduced in [5] to monitor complex, history-based security-properties of the SSL-protocol. We give a detailed account of the methodology, compare its formal expressiveness to prior art, and describe its application to an open-source Java-implementation of the SSLprotocol. In particular, we show how one can make use of runtime verification to dynamically enforce that assumptions on the crypto-protocol implementations (that are commonly made when statically verifying crypto-protocol specifications against security requirements) are actually satisfied in a given protocol implementation at runtime. Our analysis of these properties shows that some important runtime correctness properties of the SSL-protocol exceed the commonly used class of safety properties, and as such also the expressiveness of other monitoring frameworks.
Local vs global interactions in clustering algorithms: Advances over K-means
Authors: Wesam Barbakh, Colin Fyfe
Venue: International Journal of Knowledge-based and Intelligent Engineering Systems (2008)

We discuss one of the shortcomings of the standard K-means algorithm - its tendency to converge to a local rather than a global optimum. This is often accommodated by means of different random restarts of the algorithm, however in this paper, we attack the problem by amending the performance function of the algorithm in such a way as to incorporate global information into the performance function. We do this in three different manners and show on artificial data sets that the resulting algorithms are less initialisation-dependent than the standard K-means algorithm. We also show how to create a family of topology-preserving manifolds using these algorithms and an underlying constraint on the positioning of the prototypes.
Geodetic rays and fibers in periodic graphs
Authors: Peter Niemeyer, Mark E. Watkins
Venue: Journal of Graph Theory (2000)

Using the notion of fibers, where two rays belong to the same fiber if and only if they lie within bounded Hausdorff-distance of one another, we study how many fibers of a graph contain a geodetic ray and how many essentially distinct geodetic rays such &ldquo;geodetic fibers&rdquo; must contain. A complete answer is provided in the case of locally finite graphs that admit an almost transitive action by some infinite finitely generated, abelian group. Such graphs turn out to have either finitely many or uncountably many geodetic fibers. Furthermore, with finitely many possible exceptions, each of these fibers contains uncountably many geodetic rays. &copy; 2000 John Wiley & Sons, Inc. J Graph Theory 34: 67&ndash;88, 2000
A bioinspired algorithm to price options
Authors: Sameer Kumar, Ruppa K. Thulasiram, Parimala Thulasiraman
Venue: Proceedings of the 2008 C3S2E conference (2008)

Computing option prices is a challenging problem. Finding the best time to exercise an option is a even more challenging problem. One has to be watchful for the price changes in the market place and act at the right time. That is, prices need to be policed. This paper proposes a novel idea for pricing options using a nature inspired meta-heuristic algorithm, Ant Colony Optimization (ACO). ACO has been used extensively in combinatorial optimization problems and recently in dynamic applications such as mobile ad-hoc networks. Specifically, we adapt the general ACO algorithm to apply to a totally different application, computational finance, in the current study. We police the prices using ants to decide on the best time to exercise so that the holder of the option contract will get the maximum benefit out of his/her investment. Our algorithm and implementation suggests a better way to price options than traditional numerical techniques such as binomial lattice algorithm. From our results we conclude that reactive ants may be best suited for long-dated options whose performance can still be improved.
A new general method to compute virtual channels occupancy probabilities in wormhole networks
Authors: N. Alzeidi, M. Ould-Khaoua, A. Khonsari
Venue: Journal of Computer and System Sciences (2008)

Virtual channels have been proposed to develop deadlock free routing algorithms and to overcome the performance degradation due to chains of blocked messages in wormhole switched networks. Hence, capturing the effect of virtual channels has always been an important issue in developing analytical performance models for these interconnection networks. Almost all previous models relayed on a method proposed by Dally to compute the probability of the number of busy virtual channels per physical channel. Dally's method is based on a Markov chain and after extensive investigation our results reveal that its accuracy degrades as traffic increases. In this study we propose and validate a new general method to compute this probability. The new general method is based on an M/G/1 queue and it exhibits a good degree of accuracy at different traffic conditions. We further showed that Dally's method can be deduced as a special case of the general method. Predictions from both, Dally's method and the new general method are validated against results obtained from an event-driven simulator that mimics the behaviour of wormhole-switch networks.
Intersection representation of digraphs in trees with few leaves
Authors: In-Jen Lin, Malay K. Sen, Douglas B. West
Venue: Journal of Graph Theory (1999)

The leafage of a digraph is the minimum number of leaves in a host tree in which it has a subtree intersection representation. We discuss bounds on the leafage in terms of other parameters (including Ferrers dimension), obtaining a string of sharp inequalities. &copy; 1999 John Wiley & Sons, Inc. J Graph Theory 32: 340&ndash;353, 1999
Algebraic simplification of circuit models
Authors: Zdenek Kolka, Viera Biolková
Venue: Proceedings of the 5th WSEAS/IASME International Conference on Systems Theory and Scientific Computation (2005)

The paper deals with simplification of symbolic formulas for network functions of linear circuits in the frequency domain. A method has been proposed for algebraic (error-free) simplification performed directly on circuit equations rather then on the resulting expression. The method is based on two-graph circuit representation.
An Autonomic Workflow Management System for Global Grids
Authors: Mustafizur Rahman, Rajkumar Buyya
Venue: Proceedings of the 2008 Eighth IEEE International Symposium on Cluster Computing and the Grid (2008)

Workflow Management System is generally utilized to define, manage and execute workflow applications on Grid resources. However, the increasing scale complexity, heterogeneity and dynamism of Grid environment that includes networks, resources and applications have made such workflow management systems brittle, unmanageable and insecure. Autonomic computing provides a holistic approach for the design and development of systems/applications that can adapt themselves to meet requirements of performance, fault tolerance, reliability, security, etc., without manual intervention. Therefore, this research aims to design and develop mechanisms for building an autonomic workflow management system that will incorporate the properties of autonomic computing and exhibit the ability to reconfigure itself to the changes in the Grid environment, discover, diagnose and react to the disruptions of workflow execution, and monitor and tune Grid resources automatically.
Characterization of a Supercluster of SnoRNA Genes from Rice Genome
Authors: Jun Xie, Fang Fang, HaiRong Hu, Feng Xu, Qi Wu
Venue: Proceedings of the 2008 International Conference on BioMedical Engineering and Informatics - Volume 01 (2008)

Small nucleolar RNAs (snoRNAs) are mainly involved in rRNA processing and modification, including the maturation of precursor ribosomal RNAs (pre-rRNA), and methylation and pseudouridynation of rRNA bases. These moleclules are transcripted independly, along with host gene as an intron or as polycistron, reflecting the different pathways for processing of precursor snoRNAs (pre-snoRNAs) into mature snoRNAs. Analysis of snoRNA gene organizations and sequences will enable us to explore their evolutions. Previously, we have briefly mentioned a surprisingly larg cluster from rice, consisting of 5 duplictions of a cluster. It provides a good opportunity to reveal the evolution machanism of the snoRNA genes. Here detailed examination were performed and the processs of snoRNA gene loss, insertion and tranfer and cluster duplication are highlighted.
Genetic Algorithm Approach to Construction of Specialized Multi-Classifier Systems: Application to DNA Analysis
Authors: Romesh Ranawana, Vasile Palade, Daniel Howard
Venue: Proceedings of the 2007 Frontiers in the Convergence of Bioscience and Information Technologies (2007)

Learning algorithms aim for accuracy of classification but this depends on a choice of heuristic metric to measure performance and also on the proper consideration and addressing of the important requirements of the classification task. This paper introduces a framework, MV Gen, to implement different training heuristics capable of inducing the training algorithm that can provide the desired results while negating detrimental aspects of a training set imbalance. Our experiments indicate that successful classifiers can indeed be built to specialize on the minority class within an imbalanced data set.
Changes in effective work function of HfxRu1-x alloy gate electrode
Authors: T. Nabatame, Y. Nunoshige, M. Kadoshima, H. Takaba, K. Segawa, S. Kimura, H. Satake, H. Ota, T. Ohishi, A. Toriumi
Venue: Microelectronic Engineering (2008)

Effective work function (@f"m","e"f"f) values of Hf"x Ru"1"-"x alloy gate electrodes on SiO"2 metal-oxide-semiconductor (MOS) capacitors were carefully examined to assess whether the @f"m","e"f"f was determined by the crystalline structure or the composition of the Hf"xRu"1"-"x alloy. X-ray diffraction results indicated that the crystalline structures of Hf"xRu"1"-"x alloy were divided into hexagonal-Ru, cubic-HfRu or hexagonal-Hf with the increase of Hf content. The @f"m","e"f"f values could be controlled continuously from 4.6 to 4.0eV by changing the Hf content. The experimental @f"m","e"f"f value showed a good agreement with theoretical results considering the compositional ratio of pure Hf and Ru. These results suggest that the @f"m","e"f"f of Hf"xRu"1"-"x alloy gates on SiO"2 MOS capacitors is dominantly determined by the Hf"xRu"1"-"x composition rather than the crystalline structure.
On Non-sequential Context Modeling with Application to Executable Data Compression
Authors: Wenrui Dai, Hongkai Xiong, Li Song
Venue: Proceedings of the Data Compression Conference (2008)

The sequential context modeling framework is generalized to a non-sequential one by context relaxation from consecutive suffix of the subsequences of symbols to the permutation of the preceding symbols as result of considering complex context structures in such sources as video and program binaries. Context weighting tree is also extended to a series of context trees which are built according to the “model tree”, in which the descendent relationship in the formation of non-sequential context sets is described. Model redundancy and maximum a posteriori model in the framework are discussed and compared. A decision method based on the greedy algorithm is proposed to customize sets of models fitting the concrete sources. Brief description of application to executable data files incorporating with the semantics and syntax constraints are given and experiment are made accordingly as a validation.
Multilinear Volterra equations of the first kind and some problems of control
Authors: A. S. Apartsin
Venue: Automation and Remote Control (2008)

Elements of the theory of the multilinear Volterra equations of the first kind relying on the notion of corresponding majorant (integral, differential, functional) equations were set forth. The relation between the simplest majorant equations and special problems of dynamic system control was demonstrated.
Fuzzy transform in the analysis of data
Authors: Irina Perfilieva, Vilém Novák, Antonín Dvořák
Venue: International Journal of Approximate Reasoning (2008)

Fuzzy transform is a novel, mathematically well founded soft computing method with many applications. In this paper, we present this technique with applications to data analysis. First, we show how it can be used for detection and characterization of dependencies among attributes. Second, we apply it to mining associations that have a functional character. Moreover, the mined associations are characterized linguistically which means that their antecedent consists of fuzzy numbers and the consequent is characterized using pure evaluative linguistic expressions (i.e. expressions such as small, very big, more or less medium, etc).