ppxscal/embedding_network huggingface dataset:
The impact of self-efficacy, ease of use and usefulness on e-purchasing: An analysis of experienced e-shoppers
Authors: Blanca Hernandez, Julio Jimenez, M. Jose Martin
Venue: Interacting with Computers (2009)

The objective of the present research is to study the Internet purchasing behaviour of consumers who are experienced with the channel, employing a dual perspective for the analysis: (1) present e-purchasing behaviour and (2) future repurchasing behaviour measured through repurchasing intentions. On the basis of this approach, we attempt to understand the effect of perceived self-efficacy, ease of use and usefulness on both types of behaviour and the links between them. Furthermore, the research includes other variables related to Internet experience, extracted from models widely tested in the literature. These variables, namely, acceptance, frequency of use and satisfaction with the Internet, act as antecedents of e-purchasing behaviour and permit a deeper analysis of the consumer. The results obtained show that self-efficacy and usefulness are important perceptions in explaining the behaviour of experienced consumers, while ease of use does not have a significant influence.
Bispectral resolution and leakage effect of the indirect bispectrum estimate for different types of 2D window functions
Authors: Teofil-Cristian Oroian, Constantin-Iulian Vizitiu, Florin Serban
Venue: WSEAS Transactions on Signal Processing (2008)

An important practical problem in the area of the higher-order statistical signal processing is to estimate the cumulants and polyspectra of the analyzed signal when a finite sequence of time samples is available. We cannot use the theoretical formula because they are based on the assumption that an infinite sequence of time samples is available, but this is not true in practice. In order to obtain a better estimate for bispectrum of the signal, different types of 2D window functions are used. Also, these windows are investigated in terms of the resolution and leakage effect of the indirect bispectrum estimate.
An Autonomic Multimedia and Information Service Gateway for Mobile Devices
Authors: Yuhong Li, Shuwen Pan, Na He, Yi Zhao, Huichun Su, Kuifei Yu, Jian Ma
Venue: International Journal of Distributed Sensor Networks (2009)

With the increase of the networking functions of the mobile handheld devices, today there is a strong need for receiving multimedia through mobile handheld devices. However, the current streaming technologies cannot well satisfy the users' need due to the large network bandwidth requirement and high price. And the infrastructure of broadcasting oriented for a mobile handheld device, such as DVB-H, are not yet popular in the daily life. Based on these considerations, a new multimedia and information service gateway is proposed, where novel multimedia and information services can be well provided to users with mobile devices. The gateway can connect DVB network, Internet, IPTV etc. media and content provisioning networks with the local area networks such as WLAN and LAN, as well as 3G cellular networks and WiMax which provide access to mobile and portable devices. The gateway aggregates media and Internet information and then distributes them via different access networks to mobile users. The most important feature of the gateway is that it has introduced the idea of the autonomic communications to solve the key problems for providing multimedia services like the video quality and the heterogeneity of mobile devices. Two control loops are designed in the gateway, based on which the autonomic source media transcoding and the dual-driven autonomic channel transcoding techniques are realized. Hence, the gateway system can adapt itself to the varying environments and can therefore provide better multimedia services to users. In general, the gateway can realize the following functions: sending multimedia to individual mobile devices with suitable format, size, and resolution. multicasting multimedia to a group of mobile devices. broadcasting multimedia to the mobile devices in the local area. providing various information services to users through “push” or “pull.” Especially, the gateway has the following three autonomic features: autonomic user management: i.e., it can obtain the users context information automatically and deal with users' subscription of the services. autonomic source media transcoding: i.e., it can adapt the format of the multimedia data received from the media provisioning network according to the capability of the receivers' devices. autonomic channel coding: i.e., it can adapt the coding parameters for the video transmission within WLAN by monitoring the status of the network and the receivers. Simulation and test results show that the proposed service gateway can provide a new solution for multimedia and information service provisioning.
Towards seamless source mobility in SSM: design and evaluation of the Tree Morphing protocol
Authors: Olaf Christ, Thomas C. Schmidt, Matthias Wahlisch
Venue: International Journal of Internet Protocol Technology (2008)

Multimedia networking in the near future is expected to be dominated by group applications such as IPTV. Driven by new services, multicast at the network layer started to disseminate. Currently infotainment is expanding into the mobile world, but a standard design of mobile multicast is still awaited. In this paper, we design and discuss the Tree Morphing (TM) protocol that adaptively manages trees to support seamless handovers for Source Specific Multicast (SSM) sources. Based on a full simulator implementation, we extensively explore its performance. By employing artificial networks, as well as real-world topologies, we analyse the handover behaviour conceptually and in realistic scenarios.
Requirement gathering and tracking process for distributed agile based development
Authors: Rehan Akbar, Muhammad Haris, Majid Naeem
Venue: Proceedings of the 8th conference on Applied informatics and communications (2008)

Requirement management is the most important as well as most neglected area of Software Engineering and Project management. 80% projects get fail due to poor requirement gathering and tracking follow ups. In Process models which are being followed in Software Development requirement gathering process is considered a task. Web development having fast iterations and quick releases mostly follows agile model. The pace and principles of agile development do not allow developers to maintain a proper set of requirement documentation. As per agile manifesto client and developers being in face to face communication minimizes the need of client requirement documentation. The focus is totally on the development and delivery to client in minimum time period. So documentation importance has not been realized in this scenario. But case is different in distributed agile based development, where development resources and client are globally at different locations without any direct and face to face communication. Thus there arises the need of maintaining minimum documentation related to client requirement and tracking to meet and fulfill the client requirements. Proper documentation helps developers to keep track of the client requirements so that they could not miss even a minor task. Therefore, light weight process needs to be introduced so that developers could follow the process of requirement gathering and tracking without putting extra time and effort during their fast paced development. A light weight process for requirement gathering and tracking in distributed agile development is proposed in this research. The process proposed requires minimum resources and very small documentation besides the actual development process. This process improves the client's satisfaction and performance of the developers. It also bridges the communication gap between client and developers.
The influence of boundary objects on group collaboration in construction project teams
Authors: Andreas F. Phelps, Madhu Reddy
Venue: Proceedings of the ACM 2009 international conference on Supporting group work (2009)

This note outlines the critical role that boundary objects play in construction project teams. In this domain, boundary objects extend beyond their traditional role as information artifacts used to communicate between teams to serve a more influential role as guides for team collaboration.
Real time differential GPS and GLONASS vehicle positioning in urban areas
Authors: David Walsh, Stefano Capaccio, David Lowe, Peter Daly, Peter Shardlow, Gordon Johnston
Venue: Space Communications (1997)

This paper describes a research programme carried out by the Institute of Satellite Navigation (ISN) and Racal Survey Ltd. to examine the performance of differential positioning using both the GPS and GLONASS satellite systems for vehicle positioning. The work involved developing a differential GNSS positioning system for a vehicle using GNSS receivers developed by the ISN and Ashtech and using Racal&rsquo;s LandStar regional differential system. The programme has involved extensive real time vehicle positioning trials in urban areas. Two aspects of vehicle positioning performance have been concentrated on, (i) fix density, and (ii) positioning accuracy. The results show that combining GPS and GLONASS significantly improves both stand alone and differential positioning accuracy compared to using just GPS alone. The results also show that combined GNSS supports a greater differential correction age without the same accuracy degradation that GPS exhibits. This, in turn, increases the GNSS fix density. Even with the same correction age, GNSS has a better fix density by about 10%. This increase in fix density will allow improved vehicle positioning in an in-car navigation system with a lower level of augmentation. In summary, these results have shown that GNSS has significant advantages over GPS as the satellite positioning component of a vehicle positioning system.
An Efficient Scaling Algorithm for the Minimum Weight Bibranching Problem
Authors: Maxim A. Babenko
Venue: Proceedings of the 19th International Symposium on Algorithms and Computation (2008)

Let G = (VG, AG) be a digraph and let $S \sqcup T$ be a bipartition of VG. A bibranching is a subset B &sube; AG such that for each node s &epsilon; S there exists a directed s---T path in B and, vice versa, for each node t &epsilon; T there exists a directed S---t path in B. Bibranchings generalize both branchings and bipartite edge covers. Keijsper and Pendavingh proposed a strongly polynomial primal-dual algorithm that finds a minimum weight bibranching in O(n'(m + n logn)) time (where n:=|VG|,m:=|AG|, n':=min(|S,|T|)). In this paper we develop a weight-scaling $O(m \sqrt{n} \; \log n \log(nW))$-time algorithm for the minimum weight bibranching problem (where W denotes the maximum magnitude of arc weights).
Bounds for point recolouring in geometric graphs
Authors: Henk Meijer, Yurai Núòez-Rodríguez, David Rappaport
Venue: Computational Geometry: Theory and Applications (2009)

We examine a recolouring scheme ostensibly used to assist in classifying geographic data. Given a drawing of a graph with bi-chromatic points, where the points are the vertices of the graph, a point can be recoloured if it is surrounded by neighbours of the opposite colour. The notion of surrounded is defined as a contiguous subset of neighbours that span an angle greater than 180 degrees. The recolouring of surrounded points continues in sequence, in no particular order, until no point remains surrounded. We show that for some classes of graphs the process terminates in a polynomial number of steps. On the other hand, there are classes of graphs with infinite recolouring sequences.
Kudan
Authors: Takashi Fukumoto
Venue: ACM SIGGRAPH ASIA 2008 computer animation festival (2008)

Unlike the western mythological creature, the Minotaur, a Japanese monster, Kudan, has a human head and the body of a cow. Kudan is born from a female cow. It speaks a human language, predicts war or disaster, and dies in three days. This story is about a man who is accidentally transformed into a Kudan.
Lasting effects on literacy skills with a computer-assisted learning using syllabic units in low-progress readers
Authors: Jean Ecalle, Annie Magnan, Caroline Calmus
Venue: Computers Education (2009)

This study examines the effects of a computer-assisted learning (CAL) program in which syllabic units were highlighted inside words in comparison with a CAL program in which the words were not segmented, i.e. one requiring whole word recognition. In a randomised control trial design, two separate groups of French speaking poor readers (2*14) in first grade were constituted. They were matched on a range of reading measures and non verbal intelligence and trained intensively over a short period (10h over a period of 5 weeks). Three tasks were proposed using a classical pre-test/training/post-test design, written word recognition, word reading aloud and word spelling. In addition, three post-test sessions were conducted: one just after training, one after 4 months, and a last one after 9 months. The experimental group trained with the CAL using syllabic units outperformed the control group using CAL with whole word recognition in all the three tasks and there were important lasting effects. The results are discussed in the light of the self-teaching hypothesis and phonological recoding.
Using a dataflow abstracted virtual prototype for HdS-design
Authors: Wolfgang Ecker, Stefan Heinen, Michael Velten
Venue: Proceedings of the 2009 Asia and South Pacific Design Automation Conference (2009)

The complexity of Hardware-dependent Software (HdS) continuously grows faster than chip complexity since more and more tasks are moved to software. Clearly, the pressure on the development of new methodologies for early validation of HdS increases as well. Existing methods must be continuously improved and new methods must be developed. This is exemplified with an state-of-the-art Transaction Level (TL) model used for firmware development of a productive wireless communication chip. By discussing the strengths and shortcomings of TL modeling we derive a set of requirements for a future modeling paradigm, which led to the new data flow abstraction approach presented in this paper. Experiments showed that we gain up to 10x performance improvement.
LDYIS: a Framework for Model Checking Security Protocols
Authors: Alessio Lomuscio, Wojciech Penczek
Venue: Fundamenta Informaticae (2008)

We present a formalism for the automatic verification of security protocols based on multi-agent systems semantics. We give the syntax and semantics of a temporal-epistemic securityspecialised logic and provide a lazy-intruder model for the protocol rules that we argue to be particularly suitable for verification purposes. We exemplify the technique by finding a (known) bug in the traditional NSPK protocol.
CATIA V5 FEA Tutorials Release 16
Authors: Nader G. Zamani
Venue:  (2007)

The objective of this tutorial book is to expose the reader to the basic FEA capabilities in CATIA V5. The chapters are designed to be independent of each other allowing the user to pick specific topics without the need to go through the previous chapters. However, the best strategy to learn is to sequentially cover the chapters. In this workbook, the parts created in CATIA are simple enough that can be modeled with minimal knowledge of this powerful software. The reason behind the simplicity is not to burden the reader with the CAD aspects of the package. However, it is assumed that the user is familiar with CATIA V5 interface and basic utilities such as pan, zoom, and rotation. The tutorials are based on release 16; however, other releases can also be used with minor changes. Typically, the differences are not even noticed by a beginner. The workbook was developed using CATIA in a windows XP environment. Nevertheless, it can be used for NT and UNIX platforms without any changes. Table of Contents 1. Introduction 2. Analysis of a Bent Rod with Solid Elements 3. Axially Loaded Block with Stress Concentration 4. Stress Analysis of a Rotating Disk 5. Deformation of an I-beam under Self-weight 6. C-clamp Deformed with Enforced Displacement 7. FEA Modeling of the Bent Rod with Beam Elements 8. Beam Elements under Enforced Displacement 9. Bending of a Notched Specimen with Smooth Virtual Part 10. Analyzing a Loaded Bracket with Shell Elements, Surface Extraction Approach 11. Modeling Mismatch in Shell Thickness and Surface Mesh 12. Analysis of Thin Walled Pressure Vessel using Shell Elements 13. Using the "Surface Mesher" to Simplify Geometry 14. FE Model of a Bearing-Shaft Assembly using Analysis Connection 15. Shrink Fit Analysis 16. Analysis of a Tensile Specimen as an Assembly 17. Analysi
Weaknesses and improvements of the Yoon-Ryu-Yoo remote user authentication scheme using smart cards
Authors: Han-Cheng Hsiang, Wei-Kuan Shih
Venue: Computer Communications (2009)

Remote user authentication scheme is a procedure which allows a server to authenticate a remote user through insecure channel. Recently, Yoon, Ryu and Yoo made an enhancement based on Ku-Chen's remote user authentication scheme by using smart cards. The scheme has the merits of providing mutual authentication, no verification table, freely choosing password, involving only few hashing operations and parallel session attack resistance. In this paper, we point out security flaws of Yoon-Ryu-Yoo's protocols against masquerading attack, off-line password guessing attacks and parallel session attack. An improvement to enhance Yoon-Ryu-Yoo's security scheme is proposed.
Multivariate dependence of spacings of generalized order statistics
Authors: M. Burkschat
Venue: Journal of Multivariate Analysis (2009)

Multivariate dependence of spacings of generalized order statistics is studied. It is shown that spacings of generalized order statistics from DFR (IFR) distributions have the CIS (CDS) property. By restricting the choice of the model parameters and strengthening the assumptions on the underlying distribution, stronger dependence relations are established. For instance, if the model parameters are decreasingly ordered and the underlying distribution has a log-convex decreasing (log-concave) hazard rate, then the spacings satisfy the MTP"2 (S- MRR"2) property. Some consequences of the results are given. In particular, conditions for non-negativity of the best linear unbiased estimator of the scale parameter in a location-scale family are obtained. By applying a result for dual generalized order statistics, we show that in the particular situation of usual order statistics the assumptions can be weakened.
Multi-level fault modeling for transaction-level specifications
Authors: Giovanni Beltrame, Cristiana Bolchini, Antonio Miele
Venue: Proceedings of the 19th ACM Great Lakes symposium on VLSI (2009)

Fault modeling is a fundamental element for several activities, ranging from off- and on-line testing, to fault tolerance and dependability-aware design. These activities are carried out during various design phases, dealing with specifications at different abstraction levels. Therefore, modeling faults across abstraction levels is of paramount importance to introduce dependability-related issues from the early phases of design. This paper analyzes how faults can be modeled at the different levels of abstraction with respect to Transaction Level Models, and how these models are related across levels. The work focuses on soft errors and aims at providing support to dependability analysis. A case study of a Transaction Level specification of a Network-on-Chip switch is used to evaluate the methodology and its applicability.
How to build valid and credible simulation models
Authors: Averill M. Law
Venue: Proceedings of the 40th Conference on Winter Simulation (2008)

In this tutorial we present techniques for building valid and credible simulation models. Ideas to be discussed include the importance of a definitive problem formulation, discussions with subject-matter experts, interacting with the decision-maker on a regular basis, development of a written assumptions document, structured walk-through of the assumptions document, use of sensitivity analysis to determine important model factors, and comparison of model and system output data for an existing system (if any). Each idea will be illustrated by one or more real-world examples. We will also discuss the difficulty in using formal statistical techniques (e.g., confidence intervals) to validate simulation models.
Convergence of a two-layer scheme for equations of gas dynamics in Eulerian variables with geo-physical applications
Authors: F. Criado-Aldeanueva, F. Criado, G. Meladze
Venue: International Journal of Computer Mathematics (2009)

This paper deals with the convergence of a completely conservative, two-layer difference scheme for equations of gas dynamics in Eulerian variables. The convergence of the difference solution to the smooth solution of the original periodic Cauchy problem of order τ2+h2 at layer-by-layer norm L2 is proved, provided that the mesh step sizes are sufficiently small and that τ=h1+ε (ε=constant>0). Several modifications of the proposed method were used for the numerical solution of a one-dimensional mathematical model (on the basis of the shallow water theory), which describes crash events produced by dam collapse.
The moderating role of locus of control on the links between experiential motives and intention to play online games
Authors: Dong-Mo Koo
Venue: Computers in Human Behavior (2009)

Online games represent a burgeoning market sector with growth potential. The distinctive entertainment-oriented features of such games provide experiential motives for users. However, most previous studies have focused on the single dimensional affective motive of online game use. The multi-dimensional affective motivational aspects of entertainment technologies have been relatively neglected. In addition, previous studies report inconsistent relationships between motives and online game usage. To fill these gaps in the literature, the present study proposes five experiential motives such as concentration, enjoyment, escape, epistemic curiosity, and social affiliation as predictors of intention to play online games. External locus of control is also introduced as a moderator in the links between experiential motives and intention. The model was tested with the data from 576 current online game players who answered online survey. Structural equation model analysis confirmed that three experiential motives with the exception of concentration and epistemic curiosity have a positive effect on intention. @g^2 difference test confirmed that the coefficients linking experiential motives such as concentration, enjoyment, and escape to intention are higher for people with external locus of control than for people with internal locus of control. Implications are discussed in conclusion.
Coping with typical unpredictable incidents in a logic fab
Authors: Wolfgang Scholl
Venue: Proceedings of the 40th Conference on Winter Simulation (2008)

Within the last months the semiconductor plant of Infineon in Dresden has converted to a pure manufacturer of logic products. With it, premises for production control have changed to short and, first of all, predictable cycle times. Typical for a logic fab, intelligent performance monitoring and prediction methods have to be installed, coping scheduled and unscheduled disturbances. Most important method is transient fab simulation, giving a 3-months performance forecast based on actual line situation and planned changes in toolset and product mix. This continuous forecast has to be enriched with information to scheduled and unscheduled fab disturbances for just in time initiation of countermeasures in case of foreseeable excursions, e.g. changes in dispatching. In particular, breakdowns have to be analyzed from historical data to find typical patterns, for probability of occurrence and, especially, machine group specific behavior. This paper presents the procedure on the basis of three examples.