ppxscal/embedding_network huggingface dataset:
The Glass Cockpit
Authors: John Knight
Venue: Computer (2007)

Although the avionics system is actually just a collection of computers with specialized peripherals, the real story lies in what it does for the aircraft and its crew.
P-Ware: A precise and scalable component-based simulation tool for embedded multiprocessor industrial applications
Authors: Ismail Assayad, Sergio Yovine
Venue: Proceedings of the 10th Euromicro Conference on Digital System Design Architectures, Methods and Tools (2007)

We present a component-based framework and its supporting simulation tool for joint software-hardware modelling and performance analysis of multiprocessor embedded systems. This joint evaluation enables predicting the impact of hardware configuration on software performance and hardware capability to accommodate other services at design time. The experiments carried out on several reallife industrial-size applications show that our framework is scalable while achieving fast simulation speeds, and delivers correct performance trends which are successfully used for identifying and improving limiting performance factors.
Applying the grey models to binary data-a study about factors impacting on default risk of the issued cash cards
Authors: Ker-Tah Hsu, Tzung-Ming Yan, Kuo-Yen Lo, Fan-Hsiung Chen
Venue: Proceedings of the third conference on IASTED International Conference: Advances in Computer Science and Technology (2007)

The response variable in this study, i.e. occurrence of overdue loans is binary variable. Traditionally, logistic regression has been one of the most preferred methods applied to binary dependent variables. Based on the results of logistic regression analysis, we try to find out the way for applying grey models in binary data and test the applicability of grey models. Before issuing cash card, the issuing banks evaluate the possible default risk according some selected factors. The factors, which are employed by the issuing bank observed in this study, are sex, family status, age, sources of application, income type, occupation, ownership of residence, job seniority and education. Whether these factors are in practice irrelevant and induce huge loss of the issuing banks observed in Taiwan, is the first of our main problems. The factors enter in the final model of logistic regression are income type, ownership of residence and education. Based on these results, we find that the applications of GM (1,N) model and GM (0,N) model in original sequences are not satisfactory. By means of applying GM (0,N) in the grey relation generating data, we can reach the most appropriate results. The results illustrate that the influence of six of nine evaluation factors used by bank personnel are not consistent with expectations.
On categorical models of classical logic and the Geometry of Interaction
Authors: Carsten Führmann, David Pym
Venue: Mathematical Structures in Computer Science (2007)

It is well known that weakening and contraction cause naive categorical models of the classical sequent calculus to collapse to Boolean lattices. In previous work, summarised briefly herein, we have provided a class of models called classical categories that is sound and complete and avoids this collapse by interpreting cut reduction by a poset enrichment. Examples of classical categories include boolean lattices and the category of sets and relations, where both conjunction and disjunction are modelled by the set-theoretic product. In this article, which is self-contained, we present an improved axiomatisation of classical categories, together with a deep exploration of their structural theory. Observing that the collapse already happens in the absence of negation, we start with negation-free models called Dummett categories. Examples of these include, besides the classical categories mentioned above, the category of sets and relations, where both conjunction and disjunction are modelled by the disjoint union. We prove that Dummett categories are MIX, and that the partial order can be derived from hom-semilattices, which have a straightforward proof-theoretic definition. Moreover, we show that the Geometry-of-Interaction construction can be extended from multiplicative linear logic to classical logic by applying it to obtain a classical category from a Dummett category. Along the way, we gain detailed insights into the changes that proofs undergo during cut elimination in the presence of weakening and contraction.
Applying approximate linearization to the design of stable fuzzy controllers
Authors: Julio Concha, Aldo Cipriano
Venue: Journal of Intelligent Fuzzy Systems: Applications in Engineering and Technology (1999)

Fuzzy systems have been successfully applied to the design of knowledge based controllers, yielding very good performance in many cases. However, fuzzy control still lacks general formal analysis and design techniques that allow the designer ensure a priori certain features of the closed-loop system, particularly stability. This article presents a simple systematic design procedure, based on approximate linearization, that guarantees closed-loop asymptotic stability. The method is applicable when a (nonfuzzy) plant model is available and a Takagi-Sugeno fuzzy controller is to be designed. The proposed design method is illustrated with an example and simulation results.
On node isolation in directional sensor networks
Authors: Unoma Ndili Okorafor, Deepa Kundur
Venue: Proceedings of the 5th international conference on Embedded networked sensor systems (2007)

Wireless ad-hoc sensor networks (WSNs) consist of randomly and densely deployed nodes which self-organize to cooperatively maintain multi-hop network connectivity [1]. The nodes act as both environmental sensors and network routers. The ability to set up distributed sensor networks inexpensively, in large-scale, quickly, and without fixed infrastructure makes them a promising candidate for a host of applications, including military surveillance and disaster relief.
Practical Patching for Efficient Bandwidth Sharing in VOD Systems
Authors: Sook-Jeong Ha, Sun-Jin Oh, Ihn-Han Bae
Venue: Proceedings of the Third International Conference on Natural Computation - Volume 05 (2007)

Recursive Patching shares existing video streams recursively with asynchronous clients for efficient multicast in large-scale video-on-demand systems (VOD). In this paper, we propose Practical Patching that removes useless data included in transition streams of Recursive Patching. Practical Patching expands ongoing transition streams dynamically when a new request actually arrives at the server. We evaluate the performance of the proposed Practical Patching technique by a simulation study in terms of service latency and defection rate. Simulation result shows us that the proposed technique is much better than that of Recursive Patching.
Providing location based information/advertising for existing mobile phone users
Authors: Omer Rashid, Paul Coulton, Reuben Edwards
Venue: Personal and Ubiquitous Computing (2008)

In the emerging world of m-commerce potential users consistently cite location based information as one of the emergent services that they would most likely utilise. However, solutions for obtaining the specific location of a mobile user predominately rely on the provision of additional hardware and/or software within either the mobile phone or system infrastructure. Further, these techniques are often inappropriate for indoor and highly urban environments, where they are often most useful, as the line of sight to the location measurement unit is often obscured resulting in inaccurate and unreliable positional information. In this paper we present a system that can be used with any current mobile phone system to provide location based information/advertisements to any mobile phone, equipped with Bluetooth technology, without any necessity of installing client side software. The system is readily deployable and can be used to provide systems such as location based information for tourist in cities or museums or indeed location based advertisements.
Integrating high quality video streams with FTP traffic over a noisy high capacity wireless cellular channel
Authors: Polychronis Koutsakis
Venue: Wireless Personal Communications: An International Journal (2007)

In this paper we propose and evaluate a Medium Access Control (MAC) protocol for the efficient integration of high quality video traffic with ftp data packet traffic over a wireless cellular channel of very high capacity. We envision a system where the mobile terminals are considered to be high performance devices with extended storage capabilities which can act like cache memories streaming multimedia material. Via an extensive simulation study we evaluate the system's performance under a variety of possible loads which consist of actual MPEG-4 streams and ftp sessions, and we show that our scheme outperforms another, well-known MAC protocol for cellular networks.
Perceived Effects of Pair Programming in an Industrial Context
Authors: Jari Vanhanen, Pekka Abrahamsson
Venue: Proceedings of the 33rd EUROMICRO Conference on Software Engineering and Advanced Applications (2007)

We studied the perceived effects of pair programming (PP) compared to solo programming in a large scale, industrial software development context. We surveyed developers (N=28) regarding effects of PP on learning, quality, effort, schedule, and human factors. Our findings support earlier results from studies done with students, or professionals doing small tasks. The positive effects of PP were largest for learning, schedule adherence of tasks, getting to know other developers, and team spirit. A small but clearly positive effect was perceived for various quality aspects, discipline in following work practices, and enjoyment of work. The improvement of estimation accuracy was almost negligible. The amount of refactoring did not change. On the negative side, the development effort for individual features was higher. In the beginning of the adoption, the exhaustiveness of work was perceived higher, but over time it decreased to the level of solo programming.
On the minimization of Xpath queries
Authors: S. Flesca, F. Furfaro, E. Masciari
Venue: Proceedings of the 29th international conference on Very large data bases - Volume 29 (2003)

XML queries are usually expressed by means of XPath expressions identifying portions of the selected documents. An XPath expression defines a way of navigating an XML tree and returns the set of nodes which are reachable from one or more starting nodes through the paths specified by the expression. The problem of efficiently answering XPath queries is very interesting and has recently received increasing attention by the research community. In particular, an increasing effort has been devoted to define effective optimization techniques for XPath queries. One of the main issues related to the optimization of XPath queries is their minimization. The minimization of XPath queries has been studied for limited fragments of XPath, containing only the descendent, the child and the branch operators. In this work, we address the problem of minimizing XPath queries for a more general fragment, containing also the wildcard operator. We characterize the complexity of the minimization of XPath queries, stating that it is NP-hard, and propose an algorithm for computing minimum XPath queries. Moreover, we identify an interesting tractable case and propose an ad hoc algorithm handling the minimization of this kind of queries in polynomial time.
Towards web-mediated learning reinforcement: rewards for online mentoring through effective human-computer interaction
Authors: Elspeth McKay, Mandi Axmann, Nada Banjanin, Anastasia Howat
Venue: Proceedings of the sixth conference on IASTED International Conference Web-Based Education - Volume 2 (2007)

The development of high level skills across the workforce is expensive and requires major investment from individuals, governments and employers. Traditionally, employers view training as an expensive solution that is implemented to fix problems. This paper brings forward a research project that is designed to develop a theory of Web-mediated learning reinforcement as a better basis for investigating qualities of training in context. Currently, the usefulness of online mentoring is largely misunderstood. Online mentoring should not remain stationary; instead it should respond to the context and progressive knowledge development between the mentor and the mentee. Employers need to know the impact of their continual investments in human capital development on institutional effectiveness. Furthermore, with people remaining in the work-force beyond the traditional retirement age; we need to know - what are the consequences of retraining that involves online facilitation, and what are the consequences for retaining a paper-based facilitator-led training program.
Classification in Networked Data: A Toolkit and a Univariate Case Study
Authors: Sofus A. Macskassy, Foster Provost
Venue: The Journal of Machine Learning Research (2007)

This paper is about classifying entities that are interlinked with entities for which the class is known. After surveying prior work, we present NetKit, a modular toolkit for classification in networked data, and a case-study of its application to networked data used in prior machine learning research. NetKit is based on a node-centric framework in which classifiers comprise a local classifier, a relational classifier, and a collective inference procedure. Various existing node-centric relational learning algorithms can be instantiated with appropriate choices for these components, and new combinations of components realize new algorithms. The case study focuses on univariate network classification, for which the only information used is the structure of class linkage in the network (i.e., only links and some class labels). To our knowledge, no work previously has evaluated systematically the power of class-linkage alone for classification in machine learning benchmark data sets. The results demonstrate that very simple network-classification models perform quite well---well enough that they should be used regularly as baseline classifiers for studies of learning with networked data. The simplest method (which performs remarkably well) highlights the close correspondence between several existing methods introduced for different purposes---that is, Gaussian-field classifiers, Hopfield networks, and relational-neighbor classifiers. The case study also shows that there are two sets of techniques that are preferable in different situations, namely when few versus many labels are known initially. We also demonstrate that link selection plays an important role similar to traditional feature selection.
Adaptive Packet Dropping: An Algorithm for Fair Bandwidth Sharing
Authors: Changqing An, Shijing Kong, Jiahai Yang
Venue: Proceedings of the 2007 IFIP International Conference on Network and Parallel Computing Workshops (2007)

This paper proposes a scalable algorithm called APD (Adaptive Packet Dropping) for bandwidth control, which is based on active queue. A flow is mapped to an entry of hash table by hash function, and the counter of a flow can be searched at O(1) time. Theoretical analysis and experiments indicate that APD algorithm has great advantages on speed and space and it can reach predictable accuracy on flow bandwidth control. Theoretical analysis is also used to predict the accuracy for miscellaneous data-flow sizes distribution. A bandwidth control system is realized based on Linux 2.6 kernel. The experimental results show that the system can work properly on gigabit links while keeping enough accuracy on flow based bandwidth control.
A Neuro-Fuzzy approach to diagnosis of neonatal jaundice
Authors: Mohammad Sohani, Kamran Khosrovian Kermani, Behrooz Makki, Ali Riazati, Nasser Sadati
Venue: Proceedings of the 1st international conference on Bio inspired models of network, information and computing systems (2006)

This paper presents an approach that integrates clinical methods with Neuro-Fuzzy system in order to diagnose Neonatal Jaundice in newborns. First, a fuzzy logic system designed with medical rules to model the uncertainty that exists in medical diagnosis. Then a fuzzy neural network with an evolutionary learning helps the system to learn the new data gained from the patient and to help the fuzzy system to update itself in an online manner. By combining the aforementioned systems, the proposed approach can help physicians to diagnose jaundice with low risk cost associated with this disease.
X-SOM: A Flexible Ontology Mapper
Authors: Carlo Curino, Giorgio Orsi, Letizia Tanca
Venue: Proceedings of the 18th International Conference on Database and Expert Systems Applications (2007)

System interoperability is a well known issue, especially for heterogeneous information systems, where ontology-based representations may support automatic and usertransparent integration. In this paper we present X-SOM: an ontology mapping and integration tool. The contribution of our tool is a modular and extensible architecture that automatically combines several matching techniques by means of a neural network, performing also ontology debugging to avoid inconsistencies. Besides describing the tool components, we discuss the prototype implementation, which has been tested against the OAEI 2006 benchmark with promising results.
On Identification of Redundancy and Symmetry of Switching Functions
Authors: S. S. Yau, Y. S. Tang
Venue: IEEE Transactions on Computers (1971)

An algorithm for identifying all redundant variables of switching functions and an algorithm for identifying their symmetries (total or partial) are presented. Both algorithms are straightforward and very efficient. These algorithms are based on manipulating the binary and decimal number representations of the minterms of the switching function under testing.
Leveraging semantic technologies for enterprise search
Authors: Gianluca Demartini
Venue: Proceedings of the ACM first Ph.D. workshop in CIKM (2007)

Enterprise search is very different from Web search (for example in the link structure or in the user's needs and goal)and some steps have been already done to exploit these differences in order to improve the effectiveness of enterprise search. In this paper we present the state of the art of the enterprise search field with some open issues. We also present a research plan that aims at using Information Retrieval, Semantic Web, and User Modelling techniques to cope with these issues improving the current state of enterprise search.
Timing constraint-driven technology mapping for FPGAs considering false paths and multi-clock domains
Authors: Lei Cheng, Deming Chen, Martin D. F. Wong, Mike Hutton, Jason Govig
Venue: Proceedings of the 2007 IEEE/ACM international conference on Computer-aided design (2007)

Modern FPGA chips contain multiple dedicated clocking networks, because nearly all real designs contain multiple clock domains. In this paper, we present an FPGA technology mapping algorithm targeting designs with multi-clock domains such as those containing multi-clocks, multi-cycle paths, and false paths. We use timing constraints to handle these unique clocking issues. We work on timing constraint graphs and process multiple arrival/required times for each node in the gate-level netlist. We also recognize and process constraint conflicts efficiently. Our algorithm produces a mapped circuit with the optimal mapping depth under timing constraints. To the best of our knowledge, this is the first FPGA mapping algorithm working with multi-clock domains. Experiments show that our algorithm is able to improve circuit performance by 16.8% on average after placement and routing for a set of benchmarks with multi-cycle paths, comparing to a previously published depth-optimal algorithm that does not consider multi-cycle paths.
Does Beautiful Code Imply Beautiful Design?
Authors: Rebecca J. Wirfs-Brock
Venue: IEEE Software (2007)

Yukijiro Matsumoto, chief designer of the Ruby programming language, claims brevity is one of the most important contributors to beautiful code. Although brevity can contribute to code beauty—clarity of purpose, expressive use of the programming language, and design elegance also play a part. But is there more to good design than beautiful code?
Illustrative Deformation for Data Exploration
Authors: Carlos Correa, Debora Silver, Mi Chen
Venue: IEEE Transactions on Visualization and Computer Graphics (2007)

Much of the visualization research has focused on improving the rendering quality and speed, and enhancing the perceptibility of features in the data. Recently, significant emphasis has been placed on focus+context (F+C) techniques (e.g., fisheye views and magnification lens) for data exploration in addition to viewing transformation and hierarchical navigation. However, most of the existing data exploration techniques rely on the manipulation of viewing attributes of the rendering system or optical attributes of the data objects, with users being passive viewers. In this paper, we propose a more active approach to data exploration, which attempts to mimic how we would explore data if we were able to hold it and interact with it in our hands. This involves allowing the users to physically or actively manipulate the geometry of a data object. While this approach has been traditionally used in applications, such as surgical simulation, where the original geometry of the data objects is well understood by the users, there are several challenges when this approach is generalized for applications, such as flow and information visualization, where there is no common perception as to the normal or natural geometry of a data object. We introduce a taxonomy and a set of transformations especially for illustrative deformation of general data exploration. We present combined geometric or optical illustration operators for focus+context visualization, and examine the best means for preventing the deformed context from being misperceived. We demonstrated the feasibility of this generalization with examples of flow, information and video visualization.
Exploring Large-Scale CMP Architectures Using ManySim
Authors: Li Zhao, Ravi Iyer, Jaideep Moses, Ramesh Illikkal, Srihari Makineni, Don Newell
Venue: IEEE Micro (2007)

Building a large-scale CMP platform requires a deep investigation of core performance impact, cache hierarchy implications, and on-die and off-die bandwidth requirements. Fundamental challenges in such an evaluation are simulation speed and flexibility. ManySim, a trace-based simulation infrastructure, provides first-order architectural insights into LCMP platforms' performance potential and scalability bottlenecks.
Evaluation of eye-gaze interaction methods for security enhanced PIN-entry
Authors: Alexander De Luca, Roman Weiss, Heiko Drewes
Venue: Proceedings of the 19th Australasian conference on Computer-Human Interaction: Entertaining User Interfaces (2007)

Personal identification numbers (PINs) are one of the most common ways of electronic authentication these days and used in a wide variety of applications, especially in ATMs (cash machines). A non-marginal amount of tricks are used by criminals to spy on these numbers to gain access to the owners' valuables. Simply looking over the victims' shoulders to get in possession of their PINs is a common one. This effortless but effective trick is known as shoulder surfing. Thus, a less observable PIN entry method is desirable. In this work, we evaluate three different eye gaze interaction methods for PIN-entry, all resistant against these common attacks and thus providing enhanced security. Besides the classical eye input methods we also investigate a new approach of gaze gestures and compare it to the well known classical gaze-interactions. The evaluation considers both security and usability aspects. Finally we discuss possible enhancements for gaze gestures towards pattern based identification instead of number sequences.