ppxscal/embedding_network huggingface dataset:
Pseudocyclic association schemes arising from the actions of PGL(2, 2m) and PΓL(2, 2m)
Authors: Henk D. L. Hollmann, Qing Xiang
Venue: Journal of Combinatorial Theory Series A (2006)

The action of PGL(2, 2m) on the set of exterior lines to a nonsingular conic in PG(2, 2m) affords an association scheme, which was shown to be pseudocyclic in [H.D.L. Hollmann, Association schemes, Master thesis, Eindhoven University of Technology, 1982]. It was further conjectured in [H.D.L. Hollmann, Association schemes, Master thesis, Eindhoven University of Technology, 1982] that the orbital scheme of PΓL(2, 2m) on the set of exterior lines to a nonsingular conic in PG(2, 2m) is also pseudocyclic if m is an odd prime. We confirm this conjecture in this paper. As a by-product, we obtain a class of Latin square type strongly regular graphs on nonprime-power number of points.
Indexing Time-Evolving Data With Variable Lifetimes
Authors: Lukasz Golab, Piyush Prahladka, M. Tamer Ozsu
Venue: Proceedings of the 18th International Conference on Scientific and Statistical Database Management (2006)

Many applications store data items for a pre-determined, finite length of time. Examples include slidingwindows over on-line data streams, where old data are dropped as the window slides forward. Previous research on management of data with finite lifetimes has emphasized on-line query processing in main memory. In this paper, we address the problem of indexing time-evolving data on disk for off-line analysis. In order to reduce the I/O costs of index updates, existing work partitions the data chronologically. This way, only the oldest partition is examined for expirations, only the youngest partition incurs insertions, and the remaining partitions "in the middle" are not accessed. However, this solution is based upon the assumption that the order in which the data are inserted is equivalent to the expiration order, which means that the lifetime of each data item is the same. We motivate the need to break this assumption, demonstrate that the existing solutions no longer apply, and propose new index partitioning strategies that yield low update costs and fast access times.
Permanence and extinction in nonlinear single and multiple species system with diffusion
Authors: Fengde Chen, Xiangdong Xie
Venue: Applied Mathematics and Computation (2006)

In this paper, we consider the effect of diffusion on the permanence and extinction of single and multiple endangered species that live in changing patch environments. Average conditions are obtained for the permanence and extinction of the systems considered. The results obtained in this paper generalize the main results of Cui and Chen [The effect of diffusion on the time varying logistic population growth, Comput. Math. Appl. 36(3) (1998) 1-9, Permanence and extinction in logistic and Lotka-Volterra systems with diffusion, J. Math. Anal. Appl. 258(2) (2001) 512-535].
Empirical optimization for a sparse linear solver: a case study
Authors: Yoon-Ju Lee, Pedro C. Diniz, Mary W. Hall, Robert Lucas
Venue: International Journal of Parallel Programming (2005)

This paper describes initial experiences with semi-automated performance tuning of a sparse linear solver in LS-DYNA, a large, widely used engineering application. Through a collection of tools supporting empirical optimization, we alleviate the burden of performance tuning for mapping today's sophisticated engineering software to increasingly complex hardware platforms. We describe a tool that automatically isolates code segments to create benchmark subsets for the purposes of performance tuning. We present a collection of automatically generated empirical results that demonstrate the sensitivity of the application's performance to optimization parameters. Through this case study, we demonstrate the importance of developing automatic performance tuning support for performance-sensitive applications.
A Hybrid Group Key Management Scheme for Two-Layered Ad Hoc Networks
Authors: Minghui Zheng, Jianhua Zhu, Guohua Cui
Venue: Proceedings of the 9th International Conference on Information Technology (2006)

A hybrid group key management scheme is proposed in ad hoc networks. The nodes in network are divided into two parties: Cell group and control group. A centralized key management scheme is employed in cell group and a decentralized scheme is employed in control group. An implicitly certified public key approach is used, which reduces the certificate overhead.
The Development of Hybrid-Collaboration Community Model in Bio-informatics Researches
Authors: AeYoung Yoon, JaeJeung Rho, EunJi Ahn
Venue: Proceedings of the 2006 International Conference on Hybrid Information Technology - Volume 01 (2006)

In this paper, we have developed hybrid-collaborative community architecture in bio-information intensive researches, and have also analyzed as the economic value chain model. Bio-informatics researches consist of small size-research unit and operated by apprentice system, so there are the absences of communication and information sharing. In proposed community model, to enhance information sharing in the community for all users, the new knowledge creating process should be rebuild with critical factors available to create more valuable information. This community model consists of a framework, method, and application. The framework among three types of core users such as individual researchers, research team, and research group, is influenced by SECI model. By enforcing the effective information sharing among all users, the new knowledge creating process can be articulated as an iterative collaboration process where the information is tried for new hypothesis for regenerating new valuable knowledge. Consequently, the hybrid-collaborative community model provides the effective and efficient information sharing environment. In addition, we have analyzed this model by using value chain and discussing limitation in two dimensionsnon-technical limitation and technical limitation. We wish to strengthen the research capacity through the hybrid-collaborative community in bio-information intensive research.
Learning and Transfer of an Ipsilateral Coordination Task: Evidence for a Dual-layer Movement Representation
Authors: Sophie Vangheluwe, Nicole Wenderoth, Stephan P. Swinnen
Venue: Journal of Cognitive Neuroscience (2005)

The present study addressed the nature of the memory representation for interlimb coordination tasks. For this purpose, the acquisition of a multifrequency (2:1) task with the ipsilateral limbs and transfer to the ipsilateral and contralateral body side was examined. In particular, subjects practiced a 2:1 coordination pattern whereby the right arm moved twice as fast as the right leg, or vice versa. Subsequently, they transferred the practiced 2:1 task to three different conditions: (1) the converse partner (i.e., the slow-moving limb had to move fast, and vice versa) at the ipsilateral body side, and (2) the identical and (3) converse 2:1 pattern at the contralateral body side. Findings revealed positive transfer of the identical and converse 2:1 pattern to the contralateral body side. However, no transfer of the learned pattern to its converse partner at the same body side was revealed. We propose a new memory representation model for coordination patterns, composed of an effector-independent and effector-specific component (dual-layer model). It is hypothesized that the general movement goal (i.e., moving one limb twice as fast as the other) constitutes the abstract, higher-level representation that may account for positive contralateral transfer. Conversely, the effector-specific component contains task-specific lower-level muscle synergies that are acquired through practice, prohibiting positive transfer when shifting task allocation within the same effectors. These findings are consistent with recent neuroscientific evidence for neuroplastic changes in distributed brain areas.
One-shot cost conscious digital signal processing
Authors: T. Aboulnasr
Venue: Proceedings of the Acoustics, Speech, and Signal Processing, 1995. on International Conference - Volume 02 (1995)

The paper summarizes the approach to teaching digital signal processing at the University of Ottawa. The paper is restricted to one fourth-year all-inclusive course which tries to cover all the basics of DSP while introducing students to software/hardware tools and applications. The author believes that based on a balanced combination of DSP packages, high level programming (using C) and hardware components; it is possible to achieve the objectives in the limited time available.
Provisioning virtual private networks under traffic uncertainty
Authors: A. Altın, E. Amaldi, P. Belotti, M. Ç. Pınar
Venue: Networks (2007)

We investigate a network design problem under traffic uncertainty that arises when provisioning Virtual Private Networks (VPNs): given a set of terminals that must communicate with one another, and a set of possible traffic matrices, sufficient capacity has to be reserved on the links of the large underlying public network to support all possible traffic matrices while minimizing the total reservation cost. The problem admits several versions depending on the desired topology of the reserved links, and the nature of the traffic data uncertainty. We present compact linear mixed-integer programming formulations for the problem with the classical hose traffic model and for a less conservative robust variant relying on the traffic statistics that are often available. These flow-based formulations allow us to solve optimally medium-to-large instances with commercial MIP solvers. We also propose a combined branch-and-price and cutting-plane algorithm to tackle larger instances. Computational results obtained for several classes of instances are reported and discussed. &copy; 2006 Wiley Periodicals, Inc. NETWORKS, Vol. 49(1), 100&ndash;115 2007
Hierarchical production planning using a hybrid system dynamic-discrete event simulation architecture
Authors: Jayendran Venkateswaran, Young-Jun Son, Albert Jones
Venue: Proceedings of the 36th conference on Winter simulation (2004)

Hierarchical production planning provides a formal bridge between long-term plans and short-term schedules. A hybrid simulation-based production planning architecture consisting of system dynamics (SD) components at the higher decision level and discrete event simulation (DES) components at the lower decision level is presented. The need for the two types of simulation has been justified. The architecture consists of four modules: Enterprise-level decision maker, SD model of enterprise, Shop-level decision maker and DES model of shop. The decision makers select the optimal set of control parameters based on the estimated behavior of the system. These control parameters are used by the SD and DES models to determine the best plan based on the actual behavior of the system. High Level Architecture has been employed to interface SD and DES simulation models. Experimental results from a single-product manufacturing enterprise demonstrate the validity and scope of the proposed approach.
Integrated Design for Electronic Experimental System over Internet
Authors: Yichan Lu, Zheying Li
Venue: Proceedings of the 2006 IEEE Asia-Pacific Conference on Services Computing (2006)

A UML model and modeling method of Electronic Experimental System (EES) operated over internet were addressed in this paper. EES operated over internet is a system that can support the operating of electronic instruments and circuits. It is a challenge that the normal running of the electronic instruments and circuits should be guaranteed. The EES is designed for multi-terminal to operate the same experiment circuitry and a set of instruments such as function generator and oscilloscope. After a brief introduction about UML, this article details the modeling procedure with the application of UML, especially use case diagram, class diagram and statechart of the system, and verifies it with SPIN by transforming the model into PROMELA.
Enhanced state-space method for high resolution estimation of multiple 2-D coherent sinusoids
Authors: Jiun-Horng Deng, Jeng-Kuang Hwang
Venue: Proceedings of the Acoustics, Speech, and Signal Processing,1994. on IEEE International Conference - Volume 04 (1994)

We address the problem of estimating the frequency-wavenumber parameters of multiple 2-D sinusoids under coherent situations. Similar to a recent method proposed by Li et al. (see IEEE Trans. CAS, CAS-38, p.800, 1991) an enhanced state-space method is proposed to decompose the problem into two 1-D estimation problems and thus get rid of the costly 2-D searching needed by those conventional 2-D spectral estimation methods, such as 2-D periodogram and AR methods. Furthermore, the state-space formulation enables us to exploit the inherent structure of the data such as to combat the difficulty caused by coherent signals. The simulation results show that while the Li method completely fails under the coherent case, our approach can still perform well.
Usability Evaluation of the LEGO Interface
Authors: Athanasis Karoulis
Venue: Proceedings of the Sixth IEEE International Conference on Advanced Learning Technologies (2006)

The LEGO educational programming environment, called "RoboLab", is a known programming environment for children, aiming to teach basic programming skills. LEGO has already performed numerous evaluations concerning various usability aspects, aimed to enhance the overall usability and utility of the product. This study focuses on a more academic parameter, namely the combination of different usability evaluation methods on the same educational software, as well as on the combination of their results. So, two expert-based methods have been applied, a Cognitive Graphical Walkthrough and a Heuristic Evaluation. The results of the study unveiled some problems and shortcommings of the interface as well as some limitations of the employed methods.
Origins of the Grid Architectural Style
Authors: Jovan Cakic, Richard F. Paige
Venue: Proceedings of the 11th IEEE International Conference on Engineering of Complex Computer Systems (2006)

The Grid represents an emerging class of highly complex distributed systems that aims to realize the full potential of the Web services computational and architectural models. Blueprints and recipes for building Grids do not as of yet exist. We present a Grid architectural style, and describe how it has been designed, and its relationships with other key elements of distributed systems.
Derivation of the linear models for the analysis of the plasma current, position and shape control system in Tokamak devices
Authors: V. A. Belyakov, A. A. Kavin
Venue: Proceedings of the 2003 International Conference on Physics and Control - Volume 3 (2003)

The plasma current, position and shape control subsystem in Tokamaks (especially in tokamak-reactor) is one of the key part in the overall control system of the devices. Therefore to synthesize such subsystem it is necessary to derive the simplified (linear) model of the control object. In this paper one of the modern approach to derivation of the linear models for the analysis of the plasma current, position and shape control system is considered. The problems of the adaptability of the linear models and comparison with other models are discussed as well.
Visual modeling of business problems: workflow and patterns
Authors: Lev Virine, Jason McVean
Venue: Proceedings of the 36th conference on Winter simulation (2004)

Computer-based business analysis relies on models, or algorithmic representations of the business process. Real-life business problems can become very complex, which creates difficulties in generation, analysis, testing, and the actual use of the models. The paper discusses a proposed solution: the visual modeling workflow. A diagram or a group of diagrams represent each step within this workflow. The visual modeling process can be simplified by applying patterns or problem-solution formulas. Such modeling patterns include decoupling, encapsulation, visualization of user workflow, multi-layer visual representation of the calculation logic, and early identification and visualization of uncertainties. The patterns are applied to the visual modeling workflow, which include high level conceptual modeling, using Domain Models and Calculation Diagrams to visualize the calculation logic, visualization of testing and consolidations, and visualization of results of probabilistic analysis and simulation. The described methodology is used in a number of Schlumberger's software application.
Fast communication: The use of total least squares data fitting in the shape-from-moments problem
Authors: M. Schuermans, P. Lemmerling, L. De Lathauwer, S. Van Huffel
Venue: Signal Processing (2006)

In this paper we discuss the problem of recovering the vertices of a planar polygon from its measured complex moments. Because the given, measured moments can be noisy, the recovered vertices are only estimates of the true ones. The literature offers many algorithms for solving such an estimation problem. We will restrict our discussion to the Total Least Squares (TLS) data fitting models HTLS and STLS and the matrix pencil method GPOF. We show the close link between the HTLS and the GPOF method. We use the HTLS method to compute starting values for the STLS method. We compare the accuracy of these three methods on simulated data.
A Junction Tree Propagation Algorithm for Bayesian Networks with Second-Order Uncertainties
Authors: Maurizio Borsotto, Weihong Zhang, Emir Kapanci, Avi Pfeffer, Christopher Crick
Venue: Proceedings of the 18th IEEE International Conference on Tools with Artificial Intelligence (2006)

Bayesian networks (BNs) have been widely used as a model for knowledge representation and probabilistic inferences. However, the single probability representation of conditional dependencies has been proven to be overconstrained in realistic applications. Many efforts have proposed to represent the dependencies using probability intervals instead of single probabilities. In this paper, we move one step further and adopt a probability distribution schema. This results in a higher order representation of uncertainties in a BN.We formulate probabilistic inferences in this context and then propose a mean/covariance propagation algorithm based on the well-known junction tree propagation for standard BNs [1]. For algorithm validation, we develop a two-layered Markov likelihood weighting approach that handles high-order uncertainties and provides "ground-truth" solutions to inferences, albeit very slowly. Our experiments show that the mean/covariance propagation algorithm can efficiently produce high-quality solutions that compare favorably to results obtained through painstaking sampling.
MODIE 2006: modeling and designing user assistance in intelligent environments
Authors: Christoph Stahl, Helder Pinto, Thomas Pederson, Michael Schmitz, Lucia Terrenghi
Venue: Proceedings of the 8th conference on Human-computer interaction with mobile devices and services (2006)

The MODIE workshop is focused on models, principles and methodologie for the modeling and designing of user assistance in intelligent environments. One of the most interesting topics for the MobileHCI community is the question on how the complemetar paradigms of mobile computing and pervasive computing can supplement each other. How can mobile-personal and static-public devices be integrate to form Intelligent Environments, which effectively assist their users in typical activities and situations? We will invite researchers from multiple disciplines to submit short positio papers, which contribute theoretical results and practical insights in order to foster a lively discussion about key research issues.
Known/Chosen Key Attacks against Software Instruction Set Randomization
Authors: Yoav Weiss, Elena Gabriela Barrantes
Venue: Proceedings of the 22nd Annual Computer Security Applications Conference (2006)

Instruction Set Randomization (ISR) has been proposed as a form of defense against binary code injection into an executing program. One proof-of-concept implementation is Randomized Instruction Set Emulator (RISE), based on the open-source Valgrind IA-32 to IA-32 binary translator. Although RISE is effective against attacks that are not RISEaware, it is vulnerable to pure data and hybrid data-code attacks that target its data, as well to some classes of brute-force guessing. In order to enable the design of a production version, we describe implementation-specific and generic vulnerabilities that can be used to overcome RISE in its current form. We present and discuss attacks and solutions in three categories: known-key attacks that rely on the key being leaked and then used to pre-scramble the attacking code; chosen-key attacks that use implementation weaknesses to allow the attacker to define its own key,or otherwise affect key generation; and key-guessing ("brute-force") attacks, about which we explore the design of minimalistic loaders which can be used to minimize the number of mask bytes required for a successful key-guessing attack. All the described attacks were tested in real-world scenarios.
Incoporating Data Mining Applications into Clinical Guildelines
Authors: Reza Sherafat Kazemzadeh, Kamran Sartipi
Venue: Proceedings of the 19th IEEE Symposium on Computer-Based Medical Systems (2006)

Computer based clinical guidelines have been developed to help caregivers in practicing medicine. GLIF3 (Guideline Interchange Format 3) is one of several standards that specify the structure for defining guideline models. The decision making steps within the GLIF3 guidelines are limited to evaluation of basic logic expressions. On the other hand, data mining analyses aim at building descriptive or predictive mining models that contain valuable knowledge. However, this knowledge can not be represented using the current guideline specification standards. In this paper, we focus on encoding and sharing the results obtained from a data mining study in the context of clinical care and hence to make it available at the point of care. For this purpose, we investigate available standards to encode the mining results in an interoperable manner and then elaborate on how to incorporate them in the context of guideline-based clinical decision support systems, and in particular GLIF3 models. Finally, we demonstrate the proposed approach using a developed prototype tool for modeling and execution of knowledge-assisted guideline.
A BGP attack against traffic engineering
Authors: Jintae Kim, Steven Y. Ko, David M. Nicol, Xenofontas A. Dimitropoulos, George F. Riley
Venue: Proceedings of the 36th conference on Winter simulation (2004)

As the Internet grows, traffic engineering has become a widely-used technique to control the flow of packets. For the inter-domain routing, traffic engineering relies on configurations of the Border Gateway Protocol (BGP). While it is recognized that the misconfiguration of BGP can cause negative effects on the Internet, we consider attack methods that disable traffic engineering regardless of the correctness of configurations. We focus on the redirection of traffic as our attack objective, and present attack scenarios on some dominant sample network topologies to achieve this objective. We also evaluate and validate these attacks using two different discrete-event simulators, one that models BGP behavior on a network, and another that emulates it using direct-execution of working BGP code.