ppxscal/embedding_network huggingface dataset:
The use of plasmodes as a supplement to simulations: A simple example evaluating individual admixture estimation methodologies
Authors: Laura K. Vaughan, Jasmin Divers, Miguel A. Padilla, David T. Redden, Hemant K. Tiwari, Daniel Pomp, David B. Allison
Venue: Computational Statistics Data Analysis (2009)

With the advent of powerful computers, simulation studies are becoming an important tool in statistical methodology research. However, computer simulations of a specific process are only as good as our understanding of the underlying mechanisms. An attractive supplement to simulations is the use of plasmode datasets. Plasmodes are data sets that are generated by natural biologic processes, under experimental conditions that allow some aspect of the truth to be known. The benefit of the plasmode approach is that the data are generated through completely natural processes, thus circumventing the common concern of the realism and accuracy of computer simulated data. The estimation of admixture, or the proportion of an individual's genome that originates from different founding populations, is a particularly difficult research endeavor that is well suited to the use of plasmodes. Current methods have been tested with simulations of complex populations where the underlying mechanisms such as the rate and distribution of recombination are not well understood. To demonstrate the utility of this method, data derived from mouse crosses is used to evaluate the effectiveness of several admixture estimation methodologies. Each cross shares a common founding population so that the ancestry proportion for each individual is known, allowing for the comparison of true and estimated individual admixture values. Analysis shows that the different estimation methodologies (Structure, AdmixMap and FRAPPE) examined all perform well with simple datasets. However, the performance of the estimation methodologies varied greatly when applied to a plasmode consisting of three founding populations. The results of these examples illustrate the utility of plasmodes in the evaluation of statistical genetics methodologies.
Novel delay-dependent criteria for global robust exponential stability of delayed cellular neural networks with norm-bounded uncertainties
Authors: Cheng-De Zheng, Huaguang Zhang, Zhanshan Wang
Venue: Neurocomputing (2009)

The problem ensuring the global robust exponential stability of a class of delayed cellular neural networks with norm-bounded uncertainties is studied. Without assuming the boundedness of the activation functions, by applying the idea of vector Lyapunov function and linear matrix inequality (LMI) techniques, some sufficient conditions for the global robust exponential stability of uncertain cellular neural networks and the existence, uniqueness, global exponential stability of cellular neural networks are obtained, which generalize the previous results in the literature. The criteria are easy to be verified, since they take the form of LMI. Three illustrative examples are given to demonstrate the effectiveness of the proposed results.
FDR Explorer
Authors: Leo Freitas, Jim Woodcock
Venue: Formal Aspects of Computing (2009)

We describe: (1) the internal structures of FDR, the refinement model checker for Hoare&#x2019;s Communicating Sequential Processes (CSP); and (2) an application-programming interface (API) that allows users to interact more closely with FDR and to have finer-grain control over its behaviour and data structures. This API makes it possible to create optimised CSP code to perform refinement checks that are more space or time efficient, enabling the analysis of more complex and data-intensive specifications. The API can be used either by those constructing CSP models or by tools that automatically generate CSP code. We present examples of using our tool, including handling advanced FDR features such as transparent functions, which compress state spaces before checking. We also show how to transform FDR&#x2019;s graph format into a graph notation such as JGraph, enabling visualisation of labelled transition systems of CSP specifications.
A Karaka Based Annotation Scheme for English
Authors: Ashwini Vaidya, Samar Husain, Prashanth Mannem, Dipti Misra Sharma
Venue: Proceedings of the 10th International Conference on Computational Linguistics and Intelligent Text Processing (2009)

The paper describes an annotation scheme for English based on Panini's concept of karakas. We describe how the scheme handles certain constructions in English. By extending the karaka scheme for a fixed word order language, we hope to bring out its advantages as a concept that incorporates some `local semantics'. Our comparison with PTB-II and PropBank brings out its intermediary status between a morpho-syntactic and semantic level. Further work can show how this could benefit tasks like semantic role labeling and automatic conversion of existing English treebanks into this scheme.
Burst Handling of Digital Video Traffic
Venue: Proceedings of the 1996 International Conference on Multimedia Computing and Systems (1996)

Digital video traffic is inherently bursty for two reasons: inherent motion of objects and cameras, and the artifacts of compression algorithms. Because digital video playback requires bandwidth guarantees from the underlying I/O and network systems, the bursty nature of video traffic forces the bandwidth reservations to be made at the level of peak data rates rather than average data rates. This work addresses the burstiness problem in digital video traffic by proposing changes to the MPEG compression/decompression algorithm. The resulting algorithm, block-by-block (BBB) difference coding, successfully minimizes the difference between peak and average bit rates by a factor of 2 to 3 in average, without compromising the compression efficiency, coding speed and video quality. The ACM Portal is published by the Association for Computing Machinery. Copyright © 2010 ACM, Inc. Terms of Usage Privacy Policy Code of Ethics Contact Us Useful downloads: Adobe Acrobat QuickTime Windows Media Player Real Player
From Laws to Requirements
Authors: Alberto Siena, John Mylopoulos, Anna Perini, Angelo Susi
Venue: Proceedings of the 2008 Requirements Engineering and Law (2008)

Legal prescriptions are increasingly impacting on infor- mation systems and on organisations that must comply with them in order to avoid to be prosecuted or fined. Addressing law compliance in early phases of the requirements analy- sis helps in improving the alignment of information systems with the law. In this paper, we point out ontological dif- ferences between legal concepts and requirements and set the basis for a systematic process able to support decision making about requirements for law compliant systems.
Online updating belief rule based system for pipeline leak detection under expert intervention
Authors: Zhi-Jie Zhou, Chang-Hua Hu, Jian-Bo Yang, Dong-Ling Xu, Dong-Hua Zhou
Venue: Expert Systems with Applications: An International Journal (2009)

A belief rule base inference methodology using the evidential reasoning approach (RIMER) has been developed recently, where a new belief rule base (BRB) is proposed to extend traditional IF-THEN rules and can capture more complicated causal relationships using different types of information with uncertainties, but these models are trained off-line and it is very expensive to train and re-train them. As such, recursive algorithms have been developed to update the BRB systems online and their calculation speed is very high, which is very important, particularly for the systems that have a high level of real-time requirement. The optimization models and recursive algorithms have been used for pipeline leak detection. However, because the proposed algorithms are both locally optimal and there may exist some noise in the real engineering systems, the trained or updated BRB may violate some certain running patterns that the pipeline leak should follow. These patterns can be determined by human experts according to some basic physical principles and the historical information. Therefore, this paper describes under expert intervention, how the recursive algorithm update the BRB system so that the updated BRB cannot only be used for pipeline leak detection but also satisfy the given patterns. Pipeline operations under different conditions are modeled by a BRB using expert knowledge, which is then updated and fine tuned using the proposed recursive algorithm and pipeline operating data, and validated by testing data. All training and testing data are collected from a real pipeline. The study demonstrates that under expert intervention, the BRB expert system is flexible, can be automatically tuned to represent complicated expert systems, and may be applied widely in engineering. It is also demonstrated that compared with other methods such as fuzzy neural networks (FNNs), the RIMER has a special characteristic of allowing direct intervention of human experts in deciding the internal structure and the parameters of a BRB expert system.
Power-Aware Design via Micro-architectural Link to Implementation
Authors: Yoni Aizik, Gila Kamhi, Yael Zbar, Hadas Ronen, Muhammad Abozaed
Venue: Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation: 18th International Workshop, PATMOS 2008, Lisbon, Portugal, September 10-12, 2008. Revised Selected Papers (2009)

Micro-architectural power macro-models dictate the power budget of a new chip design. Based on the early feasibility studies, power specification of new features are defined and then verified all through the design cycle. In this paper, we introduce a novel power-aware design paradigm that aligns power macro-models by mapping power-significant events at all levels of design hierarchy. We apply this paradigm on a state-of-the-art 65nm high-performance micro-processor and demonstrate significant benefits in power optimization at RTL implementation.Moreover, this approach facilitates a feedback loop from the design implementation to higher level (micro-architectural) power models and thus has built-in potential for more accurate power models.
The Differential Privacy Frontier (Extended Abstract)
Authors: Cynthia Dwork
Venue: Proceedings of the 6th Theory of Cryptography Conference on Theory of Cryptography (2009)

We review the definition of differential privacy and briefly survey a handful of very recent contributions to the differential privacy frontier.
Mixed reality robotic user interface: virtual kinematics to enhance robot motion
Authors: Noriyoshi Shimizu, Maki Sugimoto, Dairoku Sekiguchi, Shoichi Hasegawa, Masahiko Inami
Venue: Proceedings of the 2008 International Conference on Advances in Computer Entertainment Technology (2008)

A Robotic User Interface (RUI) is part of a concept in which a robot is used as an interface for human behavior. By combining the RUI with Mixed Reality (MR) technology, we propose a MR RUI system that enables the presentation of enhanced visual information of a robot existing in the real world. In this paper, we propose the virtual kinematics to enhance robot motion. A MR RUI system with virtual kinematics can present a selection of visual information by controlling the robot through physical simulation and by changing the parameter dynamically.
The hidden injuries of overloading 'ADT'
Authors: Duane Buck, David J. Stucki
Venue: Proceedings of the 40th ACM technical symposium on Computer science education (2009)

The most commonly stated definition of abstract data type (ADT) is that it is a domain of values and the operations over that domain. So, for example, a language's built-in types, like int are seen to be ADTs. It is our opinion that a pure interpretation of this definition yields a semantics in which using an ADT is the same as using built-in types: the operations are side effect free and there is no concern over alias, shallow copy or synchronization problems. Unfortunately, the term abstract data type has over time been associated with at least three distinct meanings, and those incompatible definitions have often been conflated, causing confusion to students and textbook authors alike. We believe that this has resulted in a loss of appreciation for the value-based semantics of ADTs.
An efficient traitor tracing scheme based on MDS code
Authors: Yang Bo, Wang Qin
Venue: Proceedings of the 2006 International Conference on Privacy, Security and Trust: Bridge the Gap Between PST Technologies and Business Services (2006)

A traitor tracing scheme is very useful for preventing piracy in the context of digital content broadcast. The traitor tracing procedure allows the data-suppliers to reveal the identities of the subscribers that were implicated in the construction of a pirate-device that illegally receives the digital content. In this paper, a traitor tracing scheme based on MDS (Maximum Distance Separable) code is proposed. The scheme is collusion-resistant, and its main complexity overload is solving linear equations system, it is more efficient than other available schemes in terms of computation complexity.
Privacy in video surveilled areas
Authors: Torsten Spindler, Christoph Wartmann, Ludger Hovestadt, Daniel Roth, Luc van Gool, Andreas Steffen
Venue: Proceedings of the 2006 International Conference on Privacy, Security and Trust: Bridge the Gap Between PST Technologies and Business Services (2006)

We present a system prototype for self-determination and privacy enhancement in video surveilled areas by integrating computer vision and cryptographic techniques into networked building automation systems. This paper describes research work that has been done within the first half of the collaborative blue-c-II project and is conducted by an interdisciplinary team of researchers. Persons in a video stream control their visibility on a per-viewer base and can choose to allow either the real view or an obscured image to be seen. The parts of the video stream that show a person are protected by an AES cipher and can be sent over untrusted networks. Experimental results are presented by the example of a meeting room scenario. The paper concludes with remarks on the usability and encountered problems.
A Bayesian Game Approach for Preventing DoS Attacks in Wireless Sensor Networks
Authors: Maryam Mohi, Ali Movaghar, Pooya Moradian Zadeh
Venue: Proceedings of the 2009 WRI International Conference on Communications and Mobile Computing - Volume 03 (2009)

Wireless sensor networks (WSNs) are new technologies, foreseen to be used increasingly in the near future, and security is an important issue for them. However because of the nodes resource limitations, other schemes proposed for securing general ad hoc networks, are not appropriate for WSNs. Usually some nodes act maliciously and they are able to do different kinds of DoS attacks. In order to make the network more secure, malicious nodes should be isolated from the network. In this paper, we model the interaction of nodes in WSN and intrusion detection system (IDS) as a Bayesian game formulation and use this idea to make a secure routing protocol. By this approach nodes are motivated to act normally and gain reputation, and IDS can perform better by using the history of the game. As this game approaches to Nash equilibrium, it leads to a defense strategy for the network.
Whadget: animation using perceptual interaction through personified hand gestures
Authors: Yu Nagao, Haruka Yamaguchi, Kazuhiro Harada, Kaori Omura, Kenta Kawano, Masa Inakage
Venue: Proceedings of the 2008 International Conference on Advances in Computer Entertainment Technology (2008)

Our research is about interactions using personified gesture movements of a hand. Multi-touch gesture interaction has become a popular genre for usage both commercial and experimental alike, as they are being applied to various interfaces. However, those fingertip gestures are used in tool-like ways, such as tapping, dragging, and pinching digital objects. Whadget focuses on the human-like gestures our hands can perform such as by pointing the index and middle fingers downward and making strides with them, which is a form of non-tool-like and expressive use of hand. Through distinguishing various personified hand gestures, users are able to interact and play alongside with digital creatures, while those creatures treat your personified hand as a unique and independent character.
Toward a Regional ICT Hub: Need for Cyber Laws in Kenya
Authors: Alexander Mwaura Ng'ang'a
Venue: Information Security Journal: A Global Perspective (2009)

This paper discusses potential security issues in business process outsourcing environment arising due to lack of cyber legislation. A set of solutions based on existing cyber laws in developed nations is discussed, suggesting the need for implementation of cyber laws in Kenya and other developing nations wishing to take part in the business process outsourcing industry.
Design and Implementation of WEB Log Mining System
Authors: Xianjun Ni
Venue: Proceedings of the 2009 International Conference on Computer Engineering and Technology - Volume 02 (2009)

As the fast development of Internet, the Web log mining technology has wide application in E-commerce and personal Web areas. The design and implementation process of the WEB mining system based on XML are introduced in detail. It uses some pre-process methods to analyze Web log, which can recognize the user and conversation accurately. When logic modeling, it adopts star logic modeling, and designs using a lot of redundant dimension data to improve the information index function.
Analysis of the nonlinear dynamic stability for an electrically actuated viscoelastic microbeam
Authors: Y. M. Fu, Jin Zhang, R. G. Bi
Venue: Microsystem Technologies (2009)

In this article, based on the standard linear solid model, the Euler-Bernoulli hypothesis and the Galerkin method, an analysis of the nonlinear dynamic stability for a clamped-guided viscoelastic microbeam under both a periodic axial force and a symmetric electrostatic load is presented. By using the incremental harmonic balanced method, the boundary of the principal region of instability is got. In the numerical calculation, the effect of the environmental and inner damping, geometric nonlinear, creep quantity and the symmetric electrostatic load on the principal region of instability is discussed.
Indentify malay sentence similarity based on pola grammar algorithm
Authors: Mohd Juzaiddin Ab Aziz, Fatimah Dato' Ahmad, Abdul Azim, Abdul Ghani dan Ramlan Mahmod
Venue: Proceedings of the 12th WSEAS international conference on Computers (2008)

This paper discusses an issue of identifying whether Malay sentences from two different resources are similar when they are compared. The problem arises when the sentences could not be identified by matching them directly as they are constructed using different words, phrases and structure. To overcome the problem, pola grammar algorithm is introduced to extract the grammatical relations and then used them as the elements to identify the sentences similarity. To evaluate the works, the sentences that are constructed by the students in a short answers essay typed examination are used as the sample. The sentences are compared to the sentences that are prepared for the marking scheme. The result has proven that the similarity can be identified using the comparison of the grammatical relations of the sentence.
Eight conference on software engineering research and practice in Sweden (SERPS'08)
Authors: Richard Torkar, Tony Gorschek, Robert Feldt
Venue: ACM SIGSOFT Software Engineering Notes (2009)

The eight conference on software engineering research and practice in Sweden (SERPS'08) was held in Karlskrona, Sweden, on the 4th-5th of Nov. 2008. The aim with SERPS'08 is to bring researchers and industry practitioners together to discuss software engineering issues, problems, solutions and experiences, not necessarily from a Swedish perspective. During the conference a number of research and industry papers were presented and questions in connection to the presentations were discussed. This paper is a report on the discussions that took place, pointing towards needs and challenges as well as areas of interest in both academia and industry.
Optimal Contracting for E-Mall Services
Authors: Manoj Parameswaran, Dongsoo Shin
Venue: Proceedings of the 2008 10th IEEE Conference on E-Commerce Technology and the Fifth IEEE Conference on Enterprise Computing, E-Commerce and E-Services (2008)

We discuss an agency model for an e-market place. When a marketplace goes from brick-and-mortar to virtual, incentive issues according to asymmetric information of e-mall providers become significant because contracting for an e-mall service can be "outcome-based." We discuss the internet firm's incentives associated with the cost of operating an e-mall and different types of contracting policy.
Mathematical foundation of the MFS for certain elliptic systems in linear elasticity
Authors: Yiorgos-Sokratis Smyrlis
Venue: Numerische Mathematik (2009)

The method of fundamental solutions (MFS) is a Trefftz&#x2013;type technique in which the solution of an elliptic boundary value problem is approximated by a linear combination of translates of fundamental solutions with singularities placed on a pseudo&#x2013;boundary, i.e., a surface embracing the domain of the problem under consideration. In this work, we develop a mathematical framework for the numerical implementation of the MFS in elliptic systems. We obtain density results, with respect to the C &#x2113;-norms, which establish the applicability of the method in certain systems arising from the theory of elastostatics and thermo-elastostatics. The domains in our density results may possess holes and they satisfy the segment condition.
PrintMarmoset: redesigning the print button for sustainability
Authors: Jun Xiao, Jian Fan
Venue: Proceedings of the 27th international conference on Human factors in computing systems (2009)

In this paper, we discuss some unique challenges of sustainable interaction design (SID) and present our work that aims to reduce paper waste from web printing. We conducted a two-month field study of current behaviors and attitudes around printing, and the results confirmed the affordances of paper, but also revealed many problems associated with printing web content. We then designed and implemented a browser extension, PrintMarmoset, that targets these problems while simultaneously addressing user needs and environmental responsibility. It allows users to effortless select or remove web content for printing. We have also incorporated a data sharing mechanism into our solution to assist in the adoption of the tool and created visualizations to encourage user reflection and exploration.
Base Station Scheduler Scheme of IEEE 802.16 Mesh Mode
Authors: Mohammed H. M. Algamali, Jianxin Wang, Radman A. Alhamidi
Venue: Proceedings of the 2009 WRI International Conference on Communications and Mobile Computing - Volume 02 (2009)

In IEEE 802.16 Mesh mode, MAC supports two scheduling methods: centralized scheduling and distributed scheduling. In the centralized scheduling, the IEEE 802.16 base station must run an algorithm to allocate slots to each mesh subscriber node (SS). This algorithm is not defined in the IEEE 802.16 specification but rather is open for alternative implementations. In this paper, Base Station Scheduler Scheme of IEEE 802.16 Mesh mode is proposed. Taking special considerations on transmission delay of each mesh subscriber node (SS), our method makes scheduling decision based on traffic demand of each SS in IEEE 802.16 Mesh mode. The main idea behind our method is to provide differentiated services based on the nodes' traffic demand, in which the node with the lower traffic demand will be at the top of the list and thus will be granted transmission time before nodes with the higher traffic demand. Extensive simulation results show that our proposed has reduces the transmission delay for each SS as well as more number of requests are served.