ppxscal/embedding_network huggingface dataset:
Controlling the Dynamics of the Fuzzy Cellular Automaton Rule 90, I.
Authors: Samira Yacoubi, Angelo Mingarelli
Venue: Proceedings of the 8th international conference on Cellular Automata for Reseach and Industry (2008)

Control problems on Cellular Automata (CA) models have been introduced in a rigorous mathematical framework [10]. In this paper, we attempt to apply the control theory concept to the special class of fuzzy CA for which more freedom is gained using a continuum state space. Focusing on the case of fuzzy rule 90, we investigate the possibility of finding a control u = (u 0, u 1, ¿ , u T ¿ 1) which forces the system at a localized cell, to achieve a given desired state at time T. The problem is studied starting from an initial configuration consisting of a single seed on a zero background.
Design and analysis of io consolidation in a general-purpose infrastructure for blade servers
Authors: Jaspal Subhlok
Venue:  (2007)

The goal for this dissertation is to propose and evaluate IO consolidation as a cost-efficient approach to server design. In our context, IO consolidation is to replace network interface devices dedicated to each server and corresponding network switches with lower cost IO switches and fewer shared network interface devices. Our key contributions include: (a) a novel, general-purpose infrastructure (GPI) that seamlessly supports conventional and future interconnect protocols in server blade enclosures; and (b) a quantitative evaluation (and associated cost and performance models) of the efficiency of IO consolidation in relation to conventional network consolidation. In the first part of the dissertation, we focus on the design of a GPI. We combine technology trends and insights into several fabrics' physical layer similarities and discuss tradeoffs in the design to address cost, density, flexibility, and availability issues. We then architect an interconnect infrastructure by volumetric positioning of switch bays and adaptive grouping of signal lanes. The resulting infrastructure can seamlessly support various fabric protocols and provides a mechanism to implement IO consolidation. In the second part, we evaluate performance and cost efficiencies of IO consolidation solutions with respect to a network consolidation solution within a GPI. We choose two industry-standard protocols&mdash;PCI Express as our IO consolidation protocol since it is the IO interface in high-volume computers, and 10Gigabit-Ethernet as our reference network consolidation protocol since it has become the de-facto standard for high-performance networks. Currently, no full systems with IO consolidation exist. Hence, for the purpose of evaluation, we derive our own performance metrics and cost models based on our insights into the characteristics of the protocols, the constraints of the GPI, and the characteristics of datacenter applications. We use a hybrid evaluation method that consists of hardware emulators, a software simulator, and limited-function hardware system prototypes. Our main result proves that IO consolidation can be cost- and performance-efficient within the GPI architecture, but requires careful consideration of tradeoffs. Our results also show that IO fabrics with relatively narrow links are compelling for their dramatic cost savings and scalability, while maintaining acceptable performance with well-balanced bandwidth utilization throughout the infrastructure.
A Developmental Approach to the Uncapacitated Examination Timetabling Problem
Authors: Nelishia Pillay, Wolfgang Banzhaf
Venue: Proceedings of the 10th international conference on Parallel Problem Solving from Nature: PPSN X (2008)

The paper describes a new approach, based on cell biology, to the uncapacitated examination timetabling problem. This approach begins with a single cell which is developed into a fully grown organism through the processes of cell division, cell interaction and cell migration. The mature organism represents a solution to the particular timetabling problem. The paper discusses the performance of this method on the Carter set of benchmark problems. This data set is comprised of real-world timetabling problems. The results obtained using the developmental approach are compared to that obtained by other biologically inspired algorithms applied to the same set of benchmarks and the best results cited in the literature for the Carter data set.
Minimizing the stretch when scheduling flows of divisible requests
Authors: Arnaud Legrand, Alan Su, Frédéric Vivien
Venue: Journal of Scheduling (2008)

In this paper, we consider the problem of scheduling distributed biological sequence comparison applications. This problem lies in the divisible load framework with negligible communication costs. Thus far, very few results have been proposed for this model. We discuss and select relevant metrics for this framework: namely max-stretch and sum-stretch. We explain the relationship between our model and the preemptive single processor case, and we show how to extend algorithms that have been proposed in the literature for the single processor model to the divisible multi-processor problem domain. We recall known results on closely related problems, we show how to minimize the max-stretch on unrelated machines either in the divisible load model or with preemption, we derive new lower bounds on the competitive ratio of any online algorithm, we present new competitiveness results for existing algorithms, and we develop several new online heuristics. We also address the Pareto optimization of max-stretch. Then, we extensively study the performance of these algorithms and heuristics under realistic scenarios. Our study shows that all previously proposed guaranteed heuristics for max-stretch for the single processor model are inefficient in practice. In contrast, we show that our online algorithms based on linear programming are in practice near-optimal solutions for max-stretch. Our study also clearly suggests heuristics that are efficient for both metrics, although a combined optimization is in theory not possible in the general case.
Facial Activation Control Effect (FACE)
Authors: Toni Vanhala, Veikko Surakka
Venue: Proceedings of the 2nd international conference on Affective Computing and Intelligent Interaction (2007)

The present study was the first in line of a series of experiments investigating the possibilities of using voluntarily produced physiological signals in computer-assisted therapy. The current aim was to find out whether computer-guided voluntary facial activations have an effect on autonomous nervous system activity. Twenty-seven participants performed a series of voluntary facial muscle activations, while wireless electrocardiography and subjective experiences were recorded. Each task consisted of activating either the corrugator supercilii muscle (activated when frowning) or the zygomaticus major muscle (activated when smiling) at one of three activation intensities (i.e. low, medium, and high). Our results showed a voluntary facial activation control effect (FACE) on psychological (i.e. level of experience) and physiological activity. Different muscle activations produced both task-specific emotional experiences and significant changes in heart rate and heart rate variability. Low intensity activations of both muscles were the most effective, easy to perform, and pleasant. We conclude that the FACE can clearly open the route for regulating involuntary physiological processes.
Segmentation of Sequences of Stereoscopic Images for Modelling Artificial Muscles
Authors: Santiago González-Benítez, Rafael Verdú-Monedero, Rafael Berenguer-Vidal, Pedro García-Laencina
Venue: Proceedings of the 2nd international work-conference on Nature Inspired Problem-Solving Methods in Knowledge Engineering: Interplay Between Natural and Artificial Computation, Part II (2007)

In this paper, an implementation of the Region Competition algorithm for segmenting stereoscopic video sequences is shown. This algorithm is an essential task in the method in order to obtain a 3D characterization of artificial muscles. Image sequences are acquired by a two-cam computer vision system. Optimal and efficient segmentation of these images is our goal; information obtained from the segmented first frame of the video sequence is used for segmenting the next frame and so on. Redundancy between stereoscopic pairs of images is also used to optimize the segmentation. In this paper, the Region Competition algorithm is described and our own specific implementation is addressed. Particular problems of stereoscopic video segmentation are shown and how they are solved. Finally, results yielded from simulations are presented and conclusions close the paper.
A Novel Explicit 2D+t Cyclic Shape Model Applied to Echocardiography
Authors: Ramón Casero, J. Alison Noble
Venue: Proceedings of the 11th international conference on Medical Image Computing and Computer-Assisted Intervention - Part I (2008)

In this paper, we propose a novel explicit 2D+t cyclic shape model that extends the Point Distribution Model (PDM) to shapes like myocardial contours with cyclic dynamics. We also propose an extension to Procrustes alignment that removes pose and subject size variability while maintaining dynamic effects. Our model draws on ideas from Principal Component Analysis (PCA), Multidimensional Scaling (MDS) and Kernel PCA (KPCA) and solves 3 shortcomings of previous implicit models: 1) cardiac cycles in the data set do not each need to have the same number of frames, 2) the required number of subjects for statistically significant results is substantially reduced and 3) the displacement of contour points incorporates time as an explicit variable. We illustrate our method by computing models of the myocardium in the 4 principal planes of 2D+t echocardiography data.
An autonomic ENUM implementation in network simulator-2
Authors: Sandoche Balakrichenan, Monique Becker
Venue: Proceedings of the 1st international conference on Simulation tools and techniques for communications, networks and systems & workshops (2008)

This paper presents the implementation of an autonomic ENUM simulation model which is validated with real measurements. It explains the approach used to build the model and integrate with NS-2. The main objective for this work is to use this simulation model to use different configurations or algorithms in ENUM system and come up with a promising solution to reduce the global response time for an ENUM query. For ENUM to be used for VoIP solutions, their response time should be as compared to the real time telecommunication systems; otherwise it is not going to be successful. We are convinced that this model could also be used to study different implementation models for a particular ENUM scenario and identify an optimized implementation.
Secure Ubiquitous Health Monitoring System
Authors: Arjan Durresi, Mimoza Durresi, Leonard Barolli
Venue: Proceedings of the 2nd international conference on Network-Based Information Systems (2008)

We propose a distributed and secure system that enables global ubiquitous health monitoring. The biomedical data, collected by wearable sensors will be transmitted using cell phones towards the corresponding Health Monitoring Centers via various wireless networks. The security of personal medical data is paramount. Therefore, we propose a new scheme that enable security communications among cell phones and other wireless networks. In particular, we propose a hybrid authentication scheme that involves both the cellular network and the Health Monitor Centers. Therefore, we take advantage of the strong authentication and non-repudiation provided by the cellular networks. Consequently, our solution guaranties confidentiality, privacy and defences against denial of service attacks.
Hybrid Medium Access Control Scheme to Enhance the Performance of IEEE 802.11s Wireless Mesh Networks
Authors: Bum-Gon Choi, Woo Jin Jung, Min Young Chung, Byung Jun Ahn
Venue: Proceeding sof the international conference on Computational Science and Its Applications, Part I (2008)

In recent years IEEE 802.11 has become the most famous protocol for implementation of wireless local area networks (WLAN). The diffusion and the increasing demand for WLAN coverage make a lot of installation of access points (APs). Although the cost of APs is lower than the cost of cellular equipment, interconnecting APs through wired links requires high cost and complexity. Therefore wireless mesh networks (WMNs) that directly interconnects APs through wireless links become a promising technology for the next-generation wireless networks. One of the important functions in WMNs is multi-hop packet forwarding between source and destination. However, in WMNs based on the IEEE 802.11 DCF, there are many collisions and retransmissions in the nearby mesh portal (MPP) which is bottleneck node of WMNs. In this paper, we propose hybrid medium access control (HMAC) scheme for WMNs and compare performance of the HMAC with that of conventional DCF in terms of throughput and delay. From the result, the HMAC yields better performance than the conventional DCF for WMNs.
Class information predicts activation by object fragments in human object areas
Authors: Yulia Lerner, Boris Epshtein, Shimon Ullman, Rafael Malach
Venue: Journal of Cognitive Neuroscience (2008)

Object-related areas in the ventral visual system in humans are known from imaging studies to be preferentially activated by object images compared with noise or texture patterns. It is unknown, however, which features of the object images are extracted and represented in these areas. Here we tested the extent to which the representation of visual classes used object fragments selected by maximizing the information delivered about the class. We tested functional magnetic resonance imaging blood oxygenation level-dependent activation of highly informative object features in low-and high-level visual areas, compared with noninformative object features matched for low-level image properties. Activation in V1 was similar, but in the lateral occipital area and in the posterior fusiform gyrus, activation by “informative” fragments was significantly higher for three object classes. Behavioral studies also revealed high correlation between performance and fragments information. The results show that an objective class-information measure can predict classification performance and activation in human object-related areas.
Fair Path Planning with a Single Cubic Spiral Segment
Authors: Zulfiqar Habib, Manabu Sakai
Venue: Proceedings of the 2008 Fifth International Conference on Computer Graphics, Imaging and Visualisation (2008)

Spirals are curves of monotone curvature with constant sign and therefore such curves are free from singularities (loops, cusps), inflection points, and local curvature extrema. These properties make the study of spiral segments an interesting problem both in practical and aesthetic applications. An important issue in this paper is to design spiral transitions preserving G^2 Hermite conditions. This paper aims to improve the existing methods of a C-shaped transition between two circles with a single cubic spiral segment.
Internal Wave Packet Characterization from SAR Images Using Empirical Mode Decomposition (EMD)
Authors: Xilin Gan, Weigen Huang, Jingsong Yang, Bin Fu
Venue: Proceedings of the 2008 Congress on Image and Signal Processing, Vol. 4 - Volume 04 (2008)

This paper addresses the problem of the characterization of oceanic internal wave packets from SAR images. Empirical Mode Decomposition (EMD) provides a new strategy for extracting internal wave signatures, and offers the precision, flexibility and accuracy which are proved by Huang et al. in 1998. The EMD is employed in a scale-space analysis of SAR image profiles to locate and characterize the wave parameters of internal waves. First, the EMD is applied for the nonlinear internal wave temporal series of synthetic aperture radar (SAR) decomposition. Second, a criterion based on the theory that the max normalized deflection stands for the largest energy is introduced to detect the internal wave component. The results show that EMD is an excellent tool to detect internal waves against background noise, and to estimate, with a good degree of precision, soliton wavelengths from SAR ocean image profiles.
Extending Graphical Representations for Compact Closed Categories with Applications to Symbolic Quantum Computation
Authors: Lucas Dixon, Ross Duncan
Venue: Proceedings of the 9th AISC international conference, the 15th Calculemas symposium, and the 7th international MKM conference on Intelligent Computer Mathematics (2008)

Graph-based formalisms of quantum computation provide an abstract and symbolic way to represent and simulate computations. However, manual manipulation of such graphs is slow and error prone. We present a formalism, based on compact closed categories, that supports mechanised reasoning about such graphs. This gives a compositional account of graph rewriting that preserves the underlying categorical semantics. Using this representation, we describe a generic system with a fixed logical kernel that supports reasoning about models of compact closed category. A salient feature of the system is that it provides a formal and declarative account of derived results that can include `ellipses'-style notation. We illustrate the framework by instantiating it for a graphical language of quantum computation and show how this can be used to perform symbolic computation.
Visualization of Active Suspension by Robust Controller in Virtual Reality Toolbox
Authors: tepán Oana
Venue: Proceedings of the 2008 19th International Conference on Systems Engineering (2008)

This paper deals with design and visualization of H-∞ robust controller. It gives a brief mathematical description of physical model of suspension system of a car which was chosen as a typical example of robust control use. Therefore, first a quarter car model is introduced. Then comes the main part of solution of this problem, that is detailed design of the controller. Finally, based on real values of parameters together with a vivid visualization using a powerful environment of Virtual Reality Toolbox, it represents a useful aid in education of Modern Control Theory at the Department of Measurement and Control.
Type checking with open type functions
Authors: Tom Schrijvers, Simon Peyton Jones, Manuel Chakravarty, Martin Sulzmann
Venue: ACM SIGPLAN Notices (2008)

We report on an extension of Haskell with open type-level functions and equality constraints that unifies earlier work on GADTs, functional dependencies, and associated types. The contribution of the paper is that we identify and characterise the key technical challenge of entailment checking; and we give a novel, decidable, sound, and complete algorithm to solve it, together with some practically-important variants. Our system is implemented in GHC, and is already in active use.
Varying Density Spatial Clustering Based on a Hierarchical Tree
Authors: Xuegang Hu, Dongbo Wang, Xindong Wu
Venue: Proceedings of the 5th international conference on Machine Learning and Data Mining in Pattern Recognition (2007)

The high efficiency and quality of clustering for dealing with high-dimensional data are strongly needed with the leap of data scale. Density-based clustering is an effective clustering approach, and its representative algorithm DBSCAN has advantages as clustering with arbitrary shapes and handling noise. However, it also has disadvantages in its high time expense, parameter tuning and inability to varying densities. In this paper, a new clustering algorithm called VDSCHT (Varying Density Spatial Clustering Based on a Hierarchical Tree) is presented that constructs a hierarchical tree to describe subcluster and tune local parameter dynamically. Density-based clustering is adopted to cluster by detecting adjacent spaces of the tree. Both theoretical analysis and experimental results indicate that VDSCHT not only has the advantages of density-based clustering, but can also tune the local parameter dynamically to deal with varying densities. In addition, only one scan of database makes it suitable for mining large-scaled ones.
Applying Static and Dynamic Weight Measures in Ensemble Systems
Authors: Raul Paradeda, Joao C. Xavier Junior, Anne M. P. Canuto
Venue: Proceedings of the 2008 10th Brazilian Symposium on Neural Networks (2008)

It is well known that the use of ensemble systems usually increases the accuracy rate of individual machine learning systems. A way of improving the accuracy of these systems even further is through the use of weight measures. This paper analyzes the influence of the use of static and dynamic weights in the accuracy of two structures (homogeneous and heterogeneous) of ensemble systems. Furthermore, it investigates the relation between diversity and the use weights in ensemble system.
The transient phenomena in power systems at the high voltage unloaded line disconnecting
Authors: P. Tusaliu, G. Curcanu, M. Perpelea, D. C. Tusaliu, E. Stoenescu, A. Ozdemir
Venue: Proceedings of the 6th WSEAS International Conference on Applied Electromagnetics, Wireless and Optical (2008)

This paper presents the transient phenomena, which appear, in Power Systems, at the high voltage unloaded line switching. As following of the switching transient phenomena in Electric Power System appear several disturbances, sometimes very dangerous for the electrical equipment life, for the environment and for the human life. Switching transient phenomena produce in Power Systems overvoltages, overcurrents and electrical fields, which haven't to neglect. Thus was modelling and simulated the switching transient phenomena, consequently the electric fields and the possible negative influence about electrical equipment, environment and human life. The simulation was performed using the EMTDC/PSCAD software package, to obtain the transient overvoltages in the transmission line and in the busbars. These computer programs present an efficient graphical user interface integrated with a time domain integration tool, which can be used successfully to simulate power system transients, including network control devices. It provides fast, accurate and flexible solutions, by applying the integration trapezoidal rule to solve the mathematical models. Also, the Math-CAD Program evaluates the electrical fields. After were analysed comparatively these results. The electrical field was calculated using the CIGRE equivalent charge model. The proposed simulation is applied for an unload transmission line connected between KEPEZ and YATAGAN in 380 kV Turkish National Power Transmission Systems, also for a 400 kV unloaded line in Romanian Network.