ppxscal/embedding_network huggingface dataset:
The adoption and use of mobile phone in rural China: A case study of Hubei, China
Authors: Lu Wei, Mingxin Zhang
Venue: Telematics and Informatics (2008)

This paper examines the behavioral and psychological factors influencing the adoption and use of mobile phone in rural China. Based on the diffusion of innovations and perceived needs theory, this research, through a case study of Hubei, China, supports the theoretical model that both behavioral and psychological factors can predict Chinese rural residents' adoption and use of mobile phone. Psychological factors, however, play a weaker role in rural residents' adoption and use of mobile phone than do behavioral factors. Moreover, behavioral factors can significantly predict some of the psychological factors. By adding behavioral factors into the theoretical model, this study supplements the perceived needs theory and extends it from urban setting to rural setting. Implications of the findings have been discussed.
The influence of students and teachers characteristics on the efficacy of face-to-face and computer supported collaborative learning
Authors: Andrea Solimeno, Minou Ella Mebane, Manuela Tomai, Donata Francescato
Venue: Computers Education (2008)

In this paper we compared the efficacy of face-to-face and computer supported collaborative learning (CSCL) in increasing academic knowledge and professional competences. We also explored how students' personality characteristics and learning strategies and teachers' characteristics were associated with better learning outcomes in online or face-to-face contexts. One hundred and seventy students participated in 10 community psychology seminars, five online and five face-to-face. Academic and professional learning increased for participants in both settings. Tutors' characteristics did not influence students' learning. Students who performed better in online and in face-to-face contexts differed in some psychological variables and in their learning strategies. Overall results show that asynchronous collaborative learning online can increase professional competences normally learnt only in small face-to-face educational settings, and that CSCL can be used to provide innovative educational opportunities that fit particular needs of students with low anxiety, high problem solving efficacy, who have time management problems in their learning strategies.
English-Arabic proper-noun transliteration-pairs creation
Authors: Mohamed Abdel Fattah, Fuji Ren
Venue: Journal of the American Society for Information Science and Technology (2008)

Proper nouns may be considered the most important query words in information retrieval. If the two languages use the same alphabet, the same proper nouns can be found in either language. However, if the two languages use different alphabets, the names must be transliterated. Short vowels are not usually marked on Arabic words in almost all Arabic documents (except very important documents like the Muslim and Christian holy books). Moreover, most Arabic words have a syllable consisting of a consonant-vowel combination (CV), which means that most Arabic words contain a short or long vowel between two successive consonant letters. That makes it difficult to create English-Arabic transliteration pairs, since some English letters may not be matched with any romanized Arabic letter. In the present study, we present different approaches for extraction of transliteration proper-noun pairs from parallel corpora based on different similarity measures between the English and romanized Arabic proper nouns under consideration. The strength of our new system is that it works well for low-frequency proper noun pairs. We evaluate the new approaches presented using two different English-Arabic parallel corpora. Most of our results outperform previously published results in terms of precision, recall, and F-Measure. &copy; 2008 Wiley Periodicals, Inc.
On weights of induced paths and cycles in claw-free and K1,r-free graphs
Authors: J. Harant, M. Voigt, S. Jendrol, B. Randerath, Z. Ryjáček, I. Schiermeyer
Venue: Journal of Graph Theory (2001)

Let G be a K1,r -free graph (r&thinsp;&ge;&thinsp;3) on n vertices. We prove that, for any induced path or induced cycle on k vertices in G (k&thinsp;&ge;&thinsp;2r&thinsp;-&thinsp;1 or k&thinsp;&ge;&thinsp;2r, respectively), the degree sum of its vertices is at most (2r&thinsp;-&thinsp;2)(n&thinsp;-&thinsp;&alpha;) where &alpha; is the independence number of G. As a corollary we obtain an upper bound on the length of a longest induced path and a longest induced cycle in a K1,r -free graph. Stronger bounds are given in the special case of claw-free graphs (i.e., r&thinsp;=&thinsp;3). Sharpness examples are also presented. &copy; 2001 John Wiley & Sons, Inc. J Graph Theory 36: 131&ndash;143, 2001
A design-for-digital-testability circuit structure for Σ-Δ modulators
Authors: Hao-Chiao Hong
Venue: IEEE Transactions on Very Large Scale Integration (VLSI) Systems (2007)

A design-for-digital-testability (DfDT) switched-capacitor circuit structure for testing Σ-Δ modulators with digital stimuli is presented to reduce the overall testing cost. In the test mode, the DfDT circuits are reconfigured as a one-bit digital-to-charge converter to accept a repetitively applied Σ-Δ modulated bit-stream as its stimulus. The single-bit characteristic ensures that the generated stimulus is nonlinearity free. In addition, the proposed DfDT structure reuses most of the analog components in the test mode and keeps the same loads for the operational amplifiers as if they were in the normal mode. It thereby achieves many advantages including lower cost, higher fault coverage, higher measurement accuracy, and the capability of performing at-speed tests. A second-order Σ-Δ modulator was designed and fabricated to demonstrate the effectiveness of the DfDT structure. Our experimental results show that the digital test is able to measure a harmonic distortion lower than -106 dBFS. Meanwhile, the dynamic range measured with the digital stimulus is as high as 84.4 dB at an over-sampling ratio of 128. The proposed DfDT scheme can be easily applied to other types of Σ-Δ modulators, making them also digitally testable.
Game Theory Models for Infectious Diseases
Authors: Sheng-He Huang, Wensheng Zhou, Ambrose Jong, Huan Qi
Venue: Proceedings of the 2007 Frontiers in the Convergence of Bioscience and Information Technologies (2007)

The reductionism and Manichaean view of the microbe human host relationship are the two major limitations in the conventional theories of microbial infection. Three focal point theory-based game models (pure cooperative, dilemma and pure conflict) are proposed for resolving those problems. There exists a dynamic duality relationship (DDR) between symbiosis (Sym) and pathogenesis (Pat) in microbial infection, which is the most fundamental problem in infectomics. Our health is associated with the dynamic interactions of three microbial communities [nonpathogenic microbiota (NP) (Cooperation), conditional pathogens (CP) (Dilemma), and unconditional pathogens (UP) (Conflict)] with the hosts at three different health statuses [nonsusceptibility (NS), conditional susceptibility (CS), and unconditional susceptibility (US)]. Sym and Pat can be quantitated by measuring symbiotic index ( SI), which is quantitative fitness for the symbiotic partnership, and pathogenic index ( PI), which is quantitative damage to the symbiotic partnership, respectively. The values of SI and PI can be used for calculation of the symbiotic point (SP).
Federating of MITSIMLab and ns-2 for realistic vehicular network simulation
Authors: Devan Bing Rehunathan, Boon-Chong Seet, Trung-Tuan Luong
Venue: Proceedings of the 4th international conference on mobile technology, applications, and systems and the 1st international symposium on Computer human interaction in mobile technology (2007)

In the near future, more vehicles are expected to be equipped with on-board devices that would permit wireless networking between vehicles on the road, and between vehicles and infrastructure, e.g. base stations, for the purpose of safety, entertainment, and other mobile applications such as mobile gaming and Internet access. For any accurate performance study of vehicular networks using computer simulation, it is important to consider real-life vehicular phenomena such as constrained movement due to road paths and traffic control at signalized street junctions. However, currently few simulators can offer a high degree of realism in modeling both vehicular movements and wireless communication for an accurate performance study of wireless vehicular networks. In this paper, we illustrate for the first time, the feasibility of using an open-source microscopic vehicle simulator MITSIMLab to generate high fidelity vehicle movement traces for a wide range of transport settings, processing the generated traces, and exporting them as mobility profiles of vehicular nodes under study to the popular ns-2 network simulator.
Design and fabrication of a programmable 5-DOF autonomous robotic arm
Authors: Sajid Ghuffar, Javaid Iqbal, Usman Mehmood, Muhammad Zubair
Venue: Proceedings of the 6th WSEAS International Conference on Systems Theory & Scientific Computation (2006)

This paper presents a software architecture required to build a user-friendly interface for a robot manipulator. For this purpose, during research a prototype 5-DOF robotic arm was built. The end effector of this robotic arm is a two-fingered gripper. The interface consists of two components generic to common industrial robot systems present today, first is a teach-pendant and second one is a computer based Integrated Development Environment. The main focus of the project is to develop a Language that provides robot-specific commands along with framework common to all high level languages. A Graphical User Interface has been developed that provides powerful tools for efficient control of the robot manipulator.
Feature extraction techniques using adaptive wavelets for signal classification
Authors: V. Kodogiannis, E. Wadge, M. Boulougoura, K. Christou
Venue: Proceedings of the 2nd WSEAS International Conference on Electronics, Control and Signal Processing (2003)

Neural Networks have shown great success in solving classification problems. One of the most important issues in classification is related to the particular set of features to be extracted using a particular extraction method. Recently, the theory of wavelets has emerged as an alternative time-frequency analysis tool to the Fourier transform. Wavelets have been applied to a variety of problems, most notably data compression and noise reduction. The application of the multi-resolution analysis developed by Mallat to signal classification is explored in this paper. Feature extraction techniques based on the traditional dyadic wavelet decomposition and on the adaptive wavelet representation, have been developed and presented. These methodologies are then tested on a neural network classifier, while results on low frequency Fourier coefficients are provided as baseline comparisons for this study.
Optimizing the BitTorrent performance using an adaptive peer selection strategy
Authors: Kun Huang, Li'e Wang, Dafang Zhang, Yongwei Liu
Venue: Future Generation Computer Systems (2008)

BitTorrent employs a static quota-based peer selection strategy to fixedly allocate upload quotas for the Tit-For-Tat (TFT) choke algorithm and Optimistic Unchoke (OU) algorithm. This static quota allocation scheme would incur a paradox of supply and demand between upload peers and request peers. The paradox of supply and demand means that many request peers stay in the starvation state while many upload quotas stay in the idleness state. We propose a dynamic quota-based peer selection strategy, where request peers are classified by the principle of investment return and each upload peer adaptively allocates upload quotas for the TFT and OU algorithms according to dynamically changed numbers of different request peers. Simulation experiments show that our dynamic quota allocation scheme can eliminate the paradox of supply and demand, increase the resource utility ratio of upload peers, and decrease the file download time, at the cost of uploading more a few file blocks for each upload peer.
Dynamic correction of color appearance on mobile displays
Authors: Clifford Lindsay, Emmanuel Agu, Fan Wu
Venue: Proceedings of graphics interface 2008 (2008)

Technological advances in mobile devices have made them attractive for many previously infeasible image synthesis applications. Mobile users may roam between a wide range of environmental lighting including dim theaters, lit offices, and sunlight. Viewing images in diverse lighting situations poses a challenge: while our eyes can adapt to environmental lighting, changes in lighting can affect the perceived hue, brightness contrast and colorfulness of colors on electronic displays or in print. Consequently, colors in displayed images may appear bleached or be perceived differently from one lighting scenario to another. If these adverse lighting effects are unmitigated, the fidelity of color reproduction could suffer and limit the use of mobile devices in sensitive applications such as medical imaging, visualization, and watching movies. Many mobile devices currently include simple compensation schemes, which adjust their display's brightness in response to the environmental illumination sensed by built-in light sensors. These displays compensate for brightness but neglect the changes in perceived color and contrast caused by environmental lighting. We propose a novel technique to dynamically compensate for changes in color, colorfulness, and hue as mobile users roam. Our adaptation technique is based on the iCam06 color appearance model and uses the mobile device's sensor to continuously sample and feed back environmental lighting information.
"Managerial decision making process and use of information technology for better decision making-an overview of it's content & case analysis"
Authors: Md. Mahfuz Ashraf, Suntu Kumar Ghosh
Venue: Proceedings of the 4th WSEAS International Conference on Telecommunications and Informatics (2005)

Managerial decision- making process is a dynamic process and adapts managerial decision making function ability over time. The aim of this paper is to give a vivid idea on decision-making process as well as managerial decision- making process where Information technology i.e. DSS technology is continuously changing and developing. Significant recent research in the decision support area has been concentrating on the human side of the person-technology relation. Furthermore various information technologies focus the criterion of right or wrong decisions validation as well as validation of information source and systems. Finally we used a case of a telecommunication industry in UK as an implementation of managerial decision-making software tools. The findings have shown that the managerial decision making process based on available knowledge both past and upcoming knowledge which lead to a huge application of effective and efficient managerial decisions.
Visualization summit 2007: ten research goals for 2010
Authors: Remo Aslak Burkhard, Gennady Andrienko, Natalia Andrienko, Jason Dykes, Alexander Koutamanis, Wolfgang Kienreich, Robert Phaal, Alan Blackwell, Martin Eppler, Jeffrey Huang, Mark Meagher, Armin Grün, Silke Lang, Daniel Perrin, Wibke Weber, Andrew Vande Moere, Bruce Herr, Katy Börner, Jean-Daniel Fekete, Dominique Brodbeck
Venue: Information Visualization (2007)

At the first international Visualization Summit, more than 100 international researchers and practitioners defined and assessed nine original and important research goals in the context of Visualization Science, and proposed methods for achieving these goals by 2010. The synthesis of the whole event is presented in the 10th research goal. This article contributes a building block for systemizing visualization research by proposing mutually elaborated research goals with defined milestones. Such a consensus on where to go together is only one step toward establishing visualization science in the long-term perspective as a discipline with comparable relevance to chemistry, mathematics, language, or history. First, this article introduces the conference setting. Second, it describes the research goals and findings from the nine workshops. Third, a survey among 62 participants about the originality and importance of each research goal is presented and discussed. Finally, the article presents a synthesis of the nine research goals in the form of a 10th research goal, namely 'Visualizing Future Cities'. The article is relevant for visualization researchers, trend scouts, research programme directors who define the topics that get funds.
Tracking reliability and helpfulness in agent interactions
Authors: Min Xu, Lin Padgham, Aloys Mbala, James Harland
Venue: Web Intelligence and Agent Systems (2007)

A critical aspect of open systems such as the Internet is the interactions amongst the component agents of the system. Often this interaction is organised around social principles, in that one agent may request the help of another, and in turn may make a commitment to assist another when requested. In this paper we investigate two measures of the social responsibility of an agent known as reliability and helpfulness. Intuitively, reliability measures how good an agent is at keeping its commitments, and helpfulness measures how willing an agent is to make a commitment, when requested for help. We discuss these notions in the context of FIPA protocols. It is important to note that these measures are dependent only on the messages exchanged between the agents, and do not make any assumptions about the internal organisation of the agents. This means that these measures are both applicable to any variety of software agent, and externally verifiable, i.e. able to be calculated by anyone with access to the messages exchanged.
Grid Service Discovery with Rough Sets
Authors: Maozhen Li, Bin Yu, Omer Rana, Zidong Wang
Venue: IEEE Transactions on Knowledge and Data Engineering (2008)

The computational grid is evolving as a service-oriented computing infrastructure that facilitates resource sharing and large-scale problem solving over the Internet. Service discovery becomes an issue of vital importance in utilising grid facilities. This paper presents ROSSE, a Rough sets based search engine for grid service discovery. Building on Rough sets theory, ROSSE is novel in its capability to deal with uncertainty of properties when matching services. In this way, ROSSE can discover the services that are most relevant to a service query from a functional point of view. Since functionally matched services may have distinct non-functional properties related to Quality of Service (QoS), ROSSE introduces a QoS model to further filter matched services with their QoS values to maximise user satisfaction in service discovery. ROSSE is evaluated in terms of its accuracy and efficiency in discovery of computing services.
Improving Fault Tolerance by Virtualization and Software Rejuvenation
Authors: Thandar Thein, Sung-Do Chi, Jong Sou Park
Venue: Proceedings of the 2008 Second Asia International Conference on Modelling & Simulation (AMS) (2008)

The phenomenon that the state of software degrades with time is known as software aging. The primary method to fight aging is software rejuvenation. This paper presents new ways of effective software rejuvenation using virtualization for addressing software aging. This new approach is meant to be the less disruptive as possible for the running service and to get a zero downtime in most of the cases. We construct the state transition models to describe the behaviors of virtualized and non-virtualized application server. We map through the rejuvenation actions to this transition model with stochastic process and express availability, downtime and downtime costs in terms of the parameters in our models. Our results show that virtualization and software rejuvenation can be used to prolong the availability of the services.
An interpolation theorem on cycle spaces for functions arising as integrals of ∂-closed forms
Authors: Takeo Ohsawa
Venue: Publications of the Research Institute for Mathematical Sciences (2007)

It is shown that an interpolation theorem with L1-growth condition holds on the cycle spaces of q-complete manifolds with respect to those holomorphic functions arising as integrals of ∂-closed (q-1, q-1)-forms. The proof is based on the L2-method of Andreotti and Vesentini.
An execution time planner for the ARTIS agent architecture
Authors: Javier Bajo, Vicente Julián, Juan Manuel Corchado, Carlos Carrascosa, Yanira de Paz, Vicente Botti, Juan Francisco de Paz
Venue: Engineering Applications of Artificial Intelligence (2008)

The purpose of this paper is to present an approach for integrating new complex deliberative behaviours in a real-time agent architecture, specifically in the ARTIS agent architecture, which is specially designed for hard real-time environments. The new deliberative agent proposed remakes its plans at runtime conserving the system integrity and its real-time feature. The proposed system has been successfully tested in a robotic test environment. This environment consisted of the automated management of the internal and external mail in a department plant, where the main goal was to ease the workload of a mail-robot. The results obtained increased the flexibility and adaptability of the real-time agent while retaining the temporal restrictions.
Types for atomicity: Static checking and inference for Java
Authors: Cormac Flanagan, Stephen N. Freund, Marina Lifshin, Shaz Qadeer
Venue: ACM Transactions on Programming Languages and Systems (TOPLAS) (2008)

Atomicity is a fundamental correctness property in multithreaded programs. A method is atomic if, for every execution, there is an equivalent serial execution in which the actions of the method are not interleaved with actions of other threads. Atomic methods are amenable to sequential reasoning, which significantly facilitates subsequent analysis and verification. This article presents a type system for specifying and verifying the atomicity of methods in multithreaded Java programs using a synthesis of Lipton's theory of reduction and type systems for race detection. The type system supports guarded, write-guarded, and unguarded fields, as well as thread-local data, parameterized classes and methods, and protected locks. We also present an algorithm for verifying atomicity via type inference. We have applied our type checker and type inference tools to a number of commonly used Java library classes and programs. These tools were able to verify the vast majority of methods in these benchmarks as atomic, indicating that atomicity is a widespread methodology for multithreaded programming. In addition, reported atomicity violations revealed some subtle errors in the synchronization disciplines of these programs.
The Influence of Wireless 802.11g LAN Encryption Methods on Throughput and Round Trip Time for Various Windows Operating Systems
Authors: Shaneel Narayan, Samad S. Kolahi, Yonathan Sunarto, Du D. T. Nguyen, Paul Mani
Venue: Proceedings of the Communication Networks and Services Research Conference (2008)

This paper investigates the impact of various encryption techniques (WEP-64, WEP-128 and WPA) on performance of wireless local area network for Windows operating systems (Windows Server 2003,Windows XP and Windows Vista) and for both TCP and UDP protocols. The parameters considered are throughput and response time. The results indicate that security mechanism does influence the wireless performance and different operating systems providevarious results.