ppxscal/embedding_network huggingface dataset:
Global error bounds for the extended vertical LCP
Authors: Chao Zhang, Xiaojun Chen, Naihua Xiu
Venue: Computational Optimization and Applications (2009)

A new necessary and sufficient condition for the row $\mathcal{W}$ -property is given. By using this new condition and a special row rearrangement, we provide two global error bounds for the extended vertical linear complementarity problem under the row $\mathcal{W}$ -property, which extend the error bounds given in Chen and Xiang (Math. Program. 106:513---525, 2006) and Mathias and Pang (Linear Algebra Appl. 132:123---136, 1990) for the P-matrix linear complementarity problem, respectively. We show that one of the new error bounds is sharper than the other, and it can be computed easily for some special class of the row $\mathcal{W}$ -property block matrix. Numerical examples are given to illustrate the error bounds.
On the construction of free algebras for equational systems
Authors: Marcelo Fiore, Chung-Kil Hur
Venue: Theoretical Computer Science (2009)

The purpose of this paper is threefold: to present a general abstract, yet practical, notion of equational system; to investigate and develop the finitary and transfinite construction of free algebras for equational systems; and to illustrate the use of equational systems as needed in modern applications.
Build an operating system from scratch: a project for an introductory operating systems course
Authors: Michael D. Black
Venue: ACM SIGCSE Bulletin (2009)

This paper describes a semester project where students design an operating system from the ground-up, capable of booting from a floppy disk on an actual machine. Unlike previous projects of this kind, this project was designed for students with only one semester of programming experience and no prior exposure to data structures, assembly language, or computer organization. Students nevertheless wrote a full system consisting of system calls, program execution, a file system, a command-line shell, and support for multiprocessing. The project was assigned to a class and successfully completed by nearly every student.
Rough set theory with discriminant analysis in analyzing electricity loads
Authors: Ping-Feng Pai, Tai-Chi Chen
Venue: Expert Systems with Applications: An International Journal (2009)

With the ability to deal with both numeric and nominal information, rough set theory (RST), which can express knowledge in a rule-based form, has been one of the most important techniques in data analysis. However, applications of rough set theory for analyzing electricity loads are not widely discussed. Thus, this investigation employs rough set theory to analyze electricity loads. Additionally, to reduce the time generating reducts by rough set theory, linear discriminant analysis (LDA) is used to generate a reduct for rough set model. Therefore, this study designs a hybrid discriminant analysis and rough set model (DARST) to provide decision rules representing relations in an electric load information system. In this investigation, nine condition factors and variations of electricity loads are employed to examine the feasibility of the hybrid model. Experimental results reveal that the proposed model can efficiently and accurately analyze the relation between condition variables and variations of electricity loads. Consequently, the proposed model is a promising alternative for developing an electric load information system and offers decision rules base for the utility management as well as operations staff.
Overlapped Carrier-Sense Multiple Access (OCSMA) in Wireless Ad Hoc Networks
Authors: Surendra Boppana, John M. Shea
Venue: IEEE Transactions on Mobile Computing (2009)

In wireless ad hoc networks (WANets), multihop routing may result in a radio knowing the content of transmissions of nearby radios. This knowledge can be used to improve spatial reuse in the network, thereby enhancing network throughput. Consider two radios, Alice and Bob, that are neighbors in a WANet not employing spread-spectrum multiple access. Suppose that Alice transmits a packet to Bob for which Bob is not the final destination. Later, Bob forwards that packet on to the destination. Any transmission by Bob not intended for Alice usually causes interference that prevents Alice from receiving a packet from any of her neighbors. However, if Bob is transmitting a packet that he previously received from Alice, then Alice knows the content of the interfering packet, and this knowledge can allow Alice to receive a packet from one of her neighbors during Bob's transmission. In this paper, we develop overlapped transmission techniques based on this idea and analyze several factors affecting their performance. We then develop a MAC protocol based on the IEEE 802.11 standard to support overlapped transmission in a WANet. The resulting overlapped CSMA (OCSMA) protocol improves spatial reuse and end-to-end throughput in several scenarios.
Splitters and barriers in open graphs having a perfect internal matching
Authors: Miklós Bartha, Miklós Krész
Venue: Acta Cybernetica (2008)

A counterpart of Tutte's Theorem and Berge's formula is proved for open graphs with perfect (maximum) internal matchings. Properties of barriers and factor-critical graphs are studied in the new context, and an efficient algorithm is given to find maximal barriers of graphs having a perfect internal matching.
Improving the System-on-a-Chip Performance for Mobile Systems by Using Efficient Bus Interface
Authors: Na Ra Yang, Gilsang Yoon, Jeonghwan Lee, Intae Hwang, Cheol Hong Kim, Sung Woo Chung, Jong Myon Kim
Venue: Proceedings of the 2009 WRI International Conference on Communications and Mobile Computing - Volume 02 (2009)

Minimizing the communication delay is one of the most important design considerations in System-on-a-Chip (SoC) design for mobile systems. In this paper, we present a bus interface design technique, called Efficient Bus Interface (EBI), to reduce the communication delay between the Intellectual Property (IP) core and the memory connected through AMBA3 AXI bus for mobile systems. Several mobile systems require huge multimedia data in the memory to be transferred to the IP core through bus. The EBI is designed to reduce the memory access time by using double buffering, open row access, and bank interleaving. According to our simulations, the proposed EBI improves the performance of the target system by up to 49%.
Cognitive Spectrum and Its Security Issues
Authors: S. Arkoulis, L. Kazatzopoulos, C. Delakouridis, G. F. Marias
Venue: Proceedings of the 2008 The Second International Conference on Next Generation Mobile Applications, Services, and Technologies (2008)

The current trend for opportunistic use of the licensed or licensed-exempt wireless spectrum with limited rules, or even without rules, introduces significant scientific and technical challenges for the Networks of the Future. Until now, for the realization of the cognitive radio paradigm, several spectrum sharing schemes have been proposed, such as centralized and distributed schemes, and cooperative or noncooperative spectrum sharing mechanisms. Unfortunately, some of the existing proposals for spectrum sharing and management introduce significant security leakages, putting into effect unfairness, unavailability, and selfishness, or even malicious behaviors. Additionally, the identification, recording and reporting of selfish, free-riders, malicious and anomalous actions by peers is still an open issue in the majority of the existing spectrum management schemes. This paper discusses and classifies the weak points and the vulnerabilities of the spectrum sharing mechanisms.
Comparative study of the best estimators in a new modeling technique using wireless sensor networks
Authors: Mehrdad Babazadeh, Reiner Jedermann, Walter Lang
Venue: Proceedings of the 8th conference on Simulation, modelling and optimization (2008)

This paper focuses on a comparative study of a new estimation method applied on a wireless sensor network, installed in a closed space container. We would like to pick out the best method among the existing identification methods such as ARX, ARMAX, OE, BJ and SS. we are looking for a way to reduce power consumption due to measuring and transmitting data in some desired sensor nodes (DSNs) and using the models to predict parameters in a fault diagnosis system. The DSNs are either turned to sleeping mode for reducing battery-consumption or may be inactive due to the energy depletion. We will do the estimation procedure with the least amount of computation and high accuracy to estimate temperature, relative humidity, and air flow as environmental parameters (EPs) instead of direct measurement.
Design and Simulation of a Chirp Pulse Compression Ultra-Wideband Communication System
Authors: Yanfen Wang, Ruoshan Chen, Wenjie Zhang
Venue: Proceedings of the 2009 International Conference on Electronic Computer Technology (2009)

Due to the excellent autocorrelation and keen-edged time properties of the chirp pulses generated by the chirp pulse compression technique, we applied this kind of technique to Ultra-Wideband Radio Communication and designed a CSS-BOK-UWB wireless communication system. Then, the simulation waveforms at each point of the system were obtained and the system was compared with the TH-2PAM-UWB system in the simulation characteristics of BER and those of transmission respectively. The results show that the designed CSS-BOK-UWB system has a simpler structure and thus can be realized more easily than the TH-2PAM-UWB system. It’s SNR gain is 3dB higher than that of TH-2PAM-UWB system at the same BER and it can also transmit the signals to the further distances in the same conditions.Thus, the CSS-BOK-UWB system is the optimal choice for the tele-communication.
Future prospects in data processing
Authors: Earl C. Joseph
Venue: Proceedings of the May 19-22, 1975, national computer conference and exposition (1975)

So far, in the seventies, rapid revolutionary developments have occurred in the development and usage of computer systems. Already, we have passed through three generations of microprocessors, the distributed-function architecture (networks) has emerged, dedicated special-purpose systems have reversed the economy-of-scale rule, and operating systems are turning toward easier to use systems. Massive evidence now exists, pointing toward a new computer era for the near and far term futures. These sessions will forecast trends and discuss future prospects relative to the direction that these trends are pushing the computer field especially relative to expected impacts of interest to users. The three sessions will cover the following: Session I---Future Maxi-Micro Technology, Economics and Operations. Session II---Future Distributed Function Networks Technology and Management. Session III---Panel---Expected Future User Impacts.
Kriging Model combined with latin hypercube sampling for surrogate modeling of analog integrated circuit performance
Authors: Hailong You, Maofeng Yang, Dan Wang, Xinzhang Jia
Venue: Proceedings of the 2009 10th International Symposium on Quality of Electronic Design (2009)

The strong nonlinearity brought by the large circuit scale and more complicated physical/electrical models is making traditional response surface model (i.e. linear or quadratic polynomial) unsuitable for the surrogate-modeling of nowadays integrated circuits. Besides, the random-measurement-error-based analysis techniques and principles developed for traditional response surface model may be meaningless facing the deterministic data from circuit simulation experiments, which are not subject to random measurement errors essentially. Further, traditional response surface model can not mimic circuit behaviors in global process/designable parameter space. This paper proposes using Kriging model combined with Latin hypercube sampling to build surrogate model of circuit performance. We firstly introduce and compare the response surface modeling based on traditional design of experiments and the Kriging modeling combined with Latin hypercube sampling, and then apply both methods to circuit performance surrogate-modeling of an integrated operational amplifier. The result shows that Kriging model needs less sample points and provides 2times higher accuracy than quadratic response surface model does. Kriging modeling of circuit performance can be utilized to estimate parametric yield. Besides, it may facilitate the global optimization of parametric yield or circuit performance.
Bridging the gap: software specification meets intrusion detector
Authors: Mathew Graves, Mohammad Zulkernine
Venue: Proceedings of the 2006 International Conference on Privacy, Security and Trust: Bridge the Gap Between PST Technologies and Business Services (2006)

There exist a number of Intrusion Detection Systems (IDSs) that detect computer attacks based on some defined attack scenarios. The attack scenarios or security requirements in some of these IDSs are specified in attack specification languages which are separate from software specification languages. The use of two different languages for software specification and attack specification may generate redundant and conflicting requirements. The advantage of using the same language for both functional specifications and attacks specifications is that software designers can address the two different issues without learning the two types of languages. We present a method of using a software specification language called Abstract State Machine Language (AsmL) as an attack specification language for the open source IDS Snort. This work provides AsmL users an IDS that they can use without knowing how to write Snort rules. We automatically translate attack scenarios written in AsmL into Snort rules with context information. The original Snort is modified so that it can use the rules automatically generated by the translator. Adding context information to Snort rules improves the detection capability of Snort. To show the efficacy of our presented approach, we have built a prototype and evaluated it using a number of well-known attack scenarios.
Fighting for control: children's embodied interactions when using physical and digital representations
Authors: Paul Marshall, Rowanne Fleck, Amanda Harris, Jochen Rick, Eva Hornecker, Yvonne Rogers, Nicola Yuill, Nick Sheep Dalton
Venue: Proceedings of the 27th international conference on Human factors in computing systems (2009)

Tabletop and tangible interfaces are often described in terms of their support for shared access to digital resources. However, it is not always the case that collaborators want to share and help one another. In this paper we detail a video-analysis of a series of prototyping sessions with children who used both cardboard objects and an interactive tabletop surface. We show how the material qualities of the digital interface and physical objects affect the kinds of bodily strategies adopted by children to stop others from accessing them. We discuss how children fight for and maintain control of physical versus digital objects in terms of embodied interaction and what this means when designing collaborative applications for shareable interfaces.
Utilizing identity-by-descent probabilities for genetic fine-mapping in population based samples, via spatial smoothing of haplotype effects
Authors: Linda Hartman, Ola Hössjer, Keith Humphreys
Venue: Computational Statistics Data Analysis (2009)

Genetic fine mapping can be performed by exploiting the notion that haplotypes that are structurally similar in the neighbourhood of a disease predisposing locus are more likely to harbour the same susceptibility allele. Within the framework of Generalized Linear Mixed Models this can be formalized using spatial smoothing models, i.e. inducing a covariance structure for the haplotype risk parameters, such that risks associated with structurally similar haplotypes are dependent. In a Bayesian procedure a local similarity measure is calculated for each update of the presumed disease locus. Thus, the disease locus is searched as the place where the similarity structure produces risk parameters that can best discriminate between cases and controls. From a population genetic perspective the use of an identity-by-descent based similarity metric is theoretically motivated. This approach is then compared to other more intuitively motivated models and other similarity measures based on identity-by-state, suggested in the literature.
An Efficient Method to Convert Arbitrary Quantum Circuits to Ones on a Linear Nearest Neighbor Architecture
Authors: Yuichi Hirata, Masaki Nakanishi, Shigeru Yamashita, Yasuhiko Nakashima
Venue: Proceedings of the 2009 Third International Conference on Quantum, Nano and Micro Technologies (2009)

A variety of quantum circuits have been designed.Most of them assume that arbitrary pairs of qubits can interact.However, several promising implementations of quantum computation rely on a Linear Nearest Neighbor (LNN) architecture, which arranges quantum bits on a line, and allows neighbor interactions only.Therefore, several specific circuits have been designed on an LNN architecture.However, a general and efficient conversion technique for an arbitrary circuit has not been established.Therefore, this paper gives an efficient method that converts an arbitrary quantum circuit to one on an LNN architecture.Our method achieves small overhead and time complexity compared with naive techniques.To develop the method, we introduce two key theorems that may be interesting on their own.In addition, our method also achieves smaller overhead for some known circuits designed on an LNN architecture.
Multi-objective Improvement of Software Using Co-evolution and Smart Seeding
Authors: Andrea Arcuri, David Robert White, John Clark, Xin Yao
Venue: Proceedings of the 7th International Conference on Simulated Evolution and Learning (2008)

Optimising non-functional properties of software is an important part of the implementation process. One such property is execution time, and compilers target a reduction in execution time using a variety of optimisation techniques. Compiler optimisation is not always able to produce semantically equivalent alternatives that improve execution times, even if such alternatives are known to exist. Often, this is due to the local nature of such optimisations. In this paper we present a novel framework for optimising existing software using a hybrid of evolutionary optimisation techniques. Given as input the implementation of a program or function, we use Genetic Programming to evolve a new semantically equivalent version, optimised to reduce execution time subject to a given probability distribution of inputs. We employ a co-evolved population of test cases to encourage the preservation of the program's semantics, and exploit the original program through seeding of the population in order to focus the search. We carry out experiments to identify the important factors in maximising efficiency gains. Although in this work we have optimised execution time, other non-functional criteria could be optimised in a similar manner.
Considerations in the transfer of software engineering technology
Authors: Michael J. McGill
Venue: Proceedings of the May 19-22, 1980, national computer conference (1980)

The development of new and increasingly efficient techniques of software engineering seems to be impressive to everyone except the professional software developers. In a recent summary of a panel discussing software engineering problems to be faced during the 1980's, Wasserman notes: Not surprisingly, the panel concluded that the problems of the '80's look very much like the problems of the '70's and depressingly similar to the problems of the '60's. The basic questions... were presented by the chairman as follows: 1) How can well engineered products and systematic procedures for their creation be developed? 2) How can the body of software engineering techniques be applied to existing systems? 3) How can technology be transferred more effectively from the research community to software developers?
Massive Pruning for Building an Operational Set of Association Rules: Metarules for Eliminating Conflicting and Redundant Rules
Authors: Martine Cadot, Alain Lelu
Venue: Proceedings of the 2009 International Conference on Information, Process, and Knowledge Management (2009)

Extracting a set of Association Rules (AR) is a common method for representing knowledge embedded in a database. As long as many authors have aimed at improving the individual quality of these rules, not so many have considered their global quality and cohesiveness: Our objective is to provide the user with a set of rules he/she may combine to reason with, a consistent set as regards to "common sense logic". As local quality measures offer no warranty in this respect, we have defined patterns of major incoherencies and have associated metarules to them, resulting in a post-treatment cleaning phase for tracking down incoherencies and proposing corrections. We show that on the artificial Lucas0 database of the Causality Challenge, starting from 100 000 rules, we have reduced this rule set by three orders of magnitude, to 69 high-quality condensed rules embedding most of the structure designed by the challenge organizers.
A QoS-aware VoD resource sharing scheme for heterogeneous networks
Authors: Chenn-Jung Huang, Kai-Wen Hu, You-Jia Chen, Chun-Hua Chen, Yun-Cheng Luo
Venue: Computer Networks: The International Journal of Computer and Telecommunications Networking (2009)

In network-aware concept, applications are aware of network conditions and are adaptable to the varying environment to achieve acceptable and predictable performance. Two basic aspects of network-aware applications, network-awareness and network adaptation, have been widely addressed in the literature. In this work, a solution for video on demand service that integrates wireless and wired networks by using the network-aware concepts is proposed to reduce the blocking probability and dropping probability of mobile requests. Fuzzy logic inference system is employed to select appropriate cache relay nodes to cache published video streams and distribute them to different peers through service oriented architecture (SOA). SIP-based control protocol and IMS standard are adopted in this work to ensure the possibility of heterogeneous communication and provide a framework for delivering real-time multimedia services over an IP-based network to ensure interoperability, roaming, and end-to-end session management. The experimental results demonstrate that effectiveness and practicability of the proposed work.
One personal computer to many students in classroom with wireless sensor network technology
Authors: Yi-Shiang Lin, Ben Chang, Tak-Wai Chan
Venue: ACM SIGGRAPH ASIA 2008 educators programme (2008)

In traditional computerized classroom, such as computer laboratory, each kid is equipped with one desktop (or laptop) for learning. This kind of computerized classroom, one kid one desktop, has some disadvantages. For example, the cost of establishing the classroom, like the computer laboratory, is high and the kids are constrained in their seats while having the classroom learning activities. The design concept of this computerized classroom in mine is one computer one kid, which we will argue that is adult-oriented, not kid-oriented. Kids have their requirements in using information technology in classroom. Instead of using monitor, keyboard, and mouse, an alternative way, we think, is allowing kids to input their message via their body motion, such as gesture, which is a much nature way to use the technology in classroom.