ppxscal/embedding_network huggingface dataset:
Hard Fun: Cognition and Emotion at Play
Authors: Clark Quinn
Venue: Proceedings of the The First IEEE International Workshop on Digital Game and Intelligent Toy Enhanced Learning (2007)

Is there any reason to believe that we really can blend fun and learning? And if so, can we do it systematically? In this talk, we will develop the alignment between learning and engagement, highlighting the synergy between cognitive and emotional elements that tell us that we should make learning 'hard fun'. Then we'll talk about the learning design process, and show how these elements can be developed during a systematic design process that yields deeply contextualized challenging practice. In short, why learning can be 'hard fun'. The result is an optimal balance that promises more meaningful learning and more engaging experiences!.
Architecture-driven modelling and analysis
Authors: David Garlan, Bradley Schmerl
Venue: Proceedings of the eleventh Australian workshop on Safety critical systems and software - Volume 69 (2007)

Over the past 15 years there has been increasing recognition that careful attention to the design of a system's software architecture is critical to satisfying its requirements for quality attributes such as performance, security, and dependability. As a consequence, during this period the field of software architecture has matured significantly. However, current practices of software architecture rely on relatively informal methods, limiting the potential for fully exploiting architectural designs to gain insight and improve the quality of the resulting system. In this paper we draw from a variety of research results to illustrate how formal approaches to software architecture can lead to enhancements in software quality, including improved clarity of design, support for analysis, and assurance that implementations conform to their intended architecture.
Accurate Haptic Teleoperation on Soft Tissues through Slave Friction Compensation by Impedance Reflection
Authors: Pauwel Goethals, Gudrun De Gersem, Mauro Sette, Dominiek Reynaerts
Venue: Proceedings of the Second Joint EuroHaptics Conference and Symposium on Haptic Interfaces for Virtual Environment and Teleoperator Systems (2007)

Although touch clues are very important during manual surgical procedures, none of the commercial robotic tele- operation systems for soft tissue surgery offer force feed- back from the slave robot to the master controller. The search for ideal telemanipulation, whereby the operator feels as if he is manipulating the remote environment di- rectly, is often hampered by the disturbing friction forces in the slave manipulator. These mask and distort the minute interaction forces occurring during manipulation of soft tissues during surgery. In this paper, impedance reflection is put forward as a powerful means to neutralise the negative influence of dis- turbance forces in the slave manipulator in robotised la- paroscopic surgery. Experimental evidence obtained with a Storz endoscopic robot prototype shows that almost ideal force reflection can be achieved, even in the presence of high levels of friction.
Application of homotopy-perturbation and variational iteration methods to nonlinear heat transfer and porous media equations
Authors: D. D. Ganji, A. Sadighi
Venue: Journal of Computational and Applied Mathematics (2007)

Perturbation methods depend on a small parameter which is difficult to be found for real-life nonlinear problems. To overcome this shortcoming, two new but powerful analytical methods are introduced to solve nonlinear heat transfer problems in this article; one is He's variational iteration method (VIM) and the other is the homotopy-perturbation method (HPM). The VIM is to construct correction functionals using general Lagrange multipliers identified optimally via the variational theory, and the initial approximations can be freely chosen with unknown constants. The HPM deforms a difficult problem into a simple problem which can be easily solved. Nonlinear convective-radiative cooling equation, nonlinear heat equation (porous media equation) and nonlinear heat equation with cubic nonlinearity are used as examples to illustrate the simple solution procedures. Comparison of the applied methods with exact solutions reveals that both methods are tremendously effective.
Brightness Control Methods for Illumination and Visible-Light Communication Systems
Authors: Hidemitsu Sugiyama, Shinichiro Haruyama, Masao Nakagawa
Venue: Proceedings of the Third International Conference on Wireless and Mobile Communications (2007)

We have developed two brightness control methods for illumination and visible-light communication systems. One method is Pulse Width Modulation (PWM), the other is changing modulation depth. Using these proposed methods, we can achieve both dimmer i.e. brightness control and wireless communication at the same time. We discussed the relationship between PWM frequency, LED brightness, and communication performance. The results show that we can control brightness from 0% to 87.5% when we use PWM and data transmission possible when PWM frequency is high enough. Brightness can be controlled from 0% to 100% and communication performance is better than that of PWM when we change modulation depth.
Turning the AIX operating system into an MP-capable OS
Authors: Jacques Talbot
Venue: Proceedings of the USENIX 1995 Technical Conference Proceedings on USENIX 1995 Technical Conference Proceedings (1995)

This paper describes those MP features that Bull and IBM together introduced into the AIX operating system to support the Symmetric Multiprocessor machine marketed by Bull under the Escala name and by IBM under the RS/6000 Models G30, J30 and R30 names. The PowerPC architecture and the AIX operating system present some specific challenges. We present the major problems encountered and how they were solved.
Design patterns for dealing with dual inheritance hierarchies in C++
Authors: Robert C. Martin
Venue: Proceedings of the 2nd conference on USENIX Conference on Object-Oriented Technologies (COOTS) - Volume 2 (1996)

Dual Hierarchies are a common element of significant Object-Oriented applications. They arise out of the need to seperate concerns. Despite their prevalance, they present problems to the designer that are often solvable only by using techniques that are generally considered unsafe. This paper presents three patterns that can be employed to deal with the problems of dual hierarchies. The patterns may be used in isolation, to solve specific application related problems, or they can be used together as a small pattern language in order to more comprehensively address the issues in a larger application. The patterns are called RUNGS OF A DUAL HIERARCHY, INTELLIGENT CHILDREN, and STAIRWAY TO HEAVEN. In addition, another pattern, RTTI VISITOR, is presented as an ancillary pattern that supports the others.
IDSX: A Cluster Based Collaborative Intrusion Detection Algorithm for Mobile Ad-Hoc Network
Authors: Rituparna Chaki, Nabendu Chaki
Venue: Proceedings of the 6th International Conference on Computer Information Systems and Industrial Management Applications (2007)

Ad hoc mobile networks (MANET) vary greatly depending on their application area and environment in which they work. We have presented a brief review of the state of the art security scenario for MANETs and also pinpointed some of the loopholes of the existing Intrusion Detection Systems (IDS) before we proposed a new collaborative algorithm called IDSX. The proposed IDSX offers an extended architecture and is compatible with heterogeneous IDS already deployed in the participating nodes. While maintaining a high level of intrusion detection, the proposed solution virtually eliminates the problem of phantom intrusion detection to a great extent by aggregating the locally generated alerts to keep or discard a suspected intruder in a two step process.
Understanding student information behavior in relation to electronic information services: Lessons from longitudinal monitoring and evaluation, Part 2
Authors: Christine Urquhart, Jennifer Rowley
Venue: Journal of the American Society for Information Science and Technology (2007)

This second part of a two-part article establishes a model of the mediating factors that influence student information behavior concerning the electronic or digital information sources used to support learning. This part discusses the findings of the Joint Information Systems Committee User Behavior Monitoring and Evaluation Framework (1999&ndash;2004) and development of a model that includes both the individual (micro) and organizational (macro) factors affecting student information behavior. The macro factors are information resource design, information and learning technology infrastructure, availability and constraints to access, policies and funding, and organizational leadership and culture. The micro factors are information literacy, academics' information behavior, search strategies, discipline and curriculum, support and training, and pedagogy. We conclude that the mediating factors interact in unexpected ways and that further research is needed to clarify how those interactions, particularly between the macro and micro factors, operate. &copy; 2007 Wiley Periodicals, Inc.
A low-complexity suboptimal filter for continuous-discrete linear systems with parametric uncertainties
Authors: Vladimir Shin, Du Yong Kim, Georgy Shevlyakov, Kiseon Kim
Venue: Signal Processing (2007)

We present a novel suboptimal filtering algorithm addressing estimation problems that arise in mixed continuous-discrete linear time-varying systems with stochastic parametric uncertainties. The suboptimal state estimate is formed by summing of local Kalman estimates with weights depending only on time instants t"k. In contrast to optimal weights, the suboptimal weights do not depend on current measurements, and thus the proposed filter is of a low-complexity and it can easily be implemented in real-time. High accuracy and efficiency of the suboptimal filter are demonstrated on the damper harmonic oscillator motion and the vehicle motion constrained to a plane.
Unveiling the strategic value of mobile technologies in the New Zealand Real-estate industry
Authors: Eusebio Scornavacca, Federico Herrera
Venue: Proceedings of the International Conference on the Management of Mobile Business (2007)

Mobile business solutions are rapidly being deployed in many industries around the world. This paper investigates the perceived strategic value of mobile technologies in the New Zealand Realestate industry. It was found that mobile technologies have a high potential strategic value to the industry. In addition, the use of data is still in an embryonic stage while voice remains the most used application. The paper concludes with recommendations for future practice and research.
Partially-adaptive array design using the singular value decomposition
Authors: Ho Yang
Venue: Proceedings of the Acoustics, Speech, and Signal Processing, 1996. on Conference Proceedings., 1996 IEEE International Conference - Volume 05 (1996)

The objective of partially-adaptive array design is to reduce the number of adaptive weights without significantly degrading the performance of the adaptive array. Previous work includes numerical techniques for approximately minimizing the average generalized sidelobe canceller (GSC) output power for a desired number of adaptive weights, where the average is over a range of jammer parameters. Our new approach also minimizes the average GSC output power, but under the constraint that the reduced-dimensional solutions for all of the scenario trials lie in the same subspace. This constraint allows us to use the singular value decomposition to get the solution, thereby simplifying the optimization problem. Although the subspace constraint yields a theoretically suboptimum solution, the solution yields lower output power in comparison with a previously reported example that used the numerical methods. Also, the simplicity of the method allows large ranges of jammer parameters to be considered. Computer simulations are given to demonstrate effectiveness.
The Dimensions of Tacit & Explicit Knowledge: A Description and Measure
Authors: Michael A. Chilton, James M. Bloodgood
Venue: Proceedings of the 40th Annual Hawaii International Conference on System Sciences (2007)

Knowledge workers are often employed to extract knowledge from domain experts in order to codify knowledge held by these experts. The extent to which workers rely on tacit or explicit knowledge may produce inefficiencies and reduce productivity if the information is not shared among those who need it or it encapsulates strategic goals and is inadvertently shared with those who might undermine the firm's competitive advantage. This paper discusses the nature of tacit versus explicit knowledge in terms of the dimensions thought to contribute to its degree of tacitness. We present an instrument designed to elicit perceptions regarding the nature of knowledge used by workers and their degree of reliance on tacit knowledge. Use of this instrument by managers would help them identify pockets of tacit knowledge within the firm that could either be made explicit so that other workers can benefit from it or prevented from becoming explicit should its strategic value require protection.
Authorizing applications in singularity
Authors: Ted Wobber, Aydan Yumerefendi, Martín Abadi, Andrew Birrell, Daniel R. Simon
Venue: ACM SIGOPS Operating Systems Review (2007)

We describe a new design for authorization in operating systems in which applications are first-class entities. In this design, principals reflect application identities. Access control lists are patterns that recognize principals. We present a security model that embodies this design in an experimental operating system, and we describe the implementation of our design and its performance in the context of this operating system.
Explicitly Controlling the Fair Service for Busy Web Servers
Authors: Zhanwen Li, David Levy, Shiping Chen, John Zic
Venue: Proceedings of the 2007 Australian Software Engineering Conference (2007)

There is a growing demand for web applications to provide fair service to the highly concurrent requests. In this paper, we present an approach to addressing this requirement. Based on the Staged Event-Driven Architecture (SEDA), our design takes advantage of global control strategy to balance the loadings across the staged network, makes use of system identification to automatically model performance, and applies control theory to automatically control performance fairness. By implementing our design on a web server and evaluating the performance with unpredictable dynamic loadings, we demonstrate that our design is able to yield superior performance on fairness, showing high accuracy and good robustness.
Dynamic Task Migration from SPMD to SIMD Virtual Machines
Authors: James B. Armstrong, Howard Jay Siegel, William E. Cohen, Min Tan, Henry G. Dietz, Jose A. B. Fortes
Venue: Proceedings of the 1994 International Conference on Parallel Processing - Volume 02 (1994)

A method to migrate a task dynamically from a virtual SPMD machine to a virtual SIMD machine is proposed. It is assumed that the SIMD and SPMD virtual machine models only differ to support the different modes of parallelism, and that the program was coded in a mode-independent programming language. The migration procedure does not require the SPMD PEs to be at the same location in the SPMD program at the time of the migration. This work is directly applicable to mixed-mode hybrid SIMDISPMD systems and part of the general problem of task migration in SIMDISPMD mixed-machine heterogeneous systems.
Swarm: a log-structured storage system for Linux
Authors: Ian Murdock, John H. Hartman
Venue: Proceedings of the annual conference on USENIX Annual Technical Conference (2000)

Swarm [3] is a storage system for Linux that provides scalable, reliable, and cost-effective data storage. At its lowest level, Swarm implements a log-structured interface to a cluster of storage devices. Above the log, Swarm provides an infrastructure that allows high-level abstractions and functionality to be implemented easily and efficiently. This paper describes the design and implementation of Swarm, paying particular attention to the Swarm infrastructure and how it has been used to construct two storage systems: Sting, a log-structured file system for Linux, and ext2fs/Swarm, a Swarm-based version of the Linux ext2 file system that runs unmodified above ablock device compatibility layer. The paper concludes with a discussion of our experiences using Linux as a platform for research.
A new cumulant-based lattice algorithm for adaptive identification of non-Gaussian bidimensional AR processes
Authors: V. Buzenac
Venue: Proceedings of the Acoustics, Speech, and Signal Processing, 1996. on Conference Proceedings., 1996 IEEE International Conference - Volume 05 (1996)

This paper deals with bidimensional modeling using cumulants. Two main contributions are provided. Firstly, we show that the cumulant matrix involved in the 2D normal equations can be seen as the cumulant matrix of a multichannel process. Secondly, we use this equivalence to derive a 2D adaptive lattice algorithm based on cumulants, which can be seen as an extension of Swami's method (1988) to the 2D case. The proposed algorithm has the advantage of yielding non-biased estimates of the 2D-AR parameters even when the image under study is disturbed by Gaussian noise.
Multimedia design and development for distance teaching of electronics
Authors: M. Castro
Venue: Proceedings of the Frontiers in Education Conference, 2001. 31st Annual - Volume 02 (2001)

Distance teaching and learning involve some definite problems. One of them has to deal with the loneliness that the student faces and that he has to assume the whole responsibility of the learning process. This requires considerable motivation and a strong tendency to exert himself. The CAEE workgroup in the Electric Engineering and Computer Department of the Spanish University for Distance Education is working to design and develop multimedia applications for distance teaching of electronics engineering and checking its appropriateness. The main target of this work is to profit from the advantages of the multimedia applications to the transfer of information and to the learning process. It is verified that a correctly designed multimedia application produces reinforcement, and a greater and better assimilation in the learning process. Therefore, in order to ensure the correct profit of the multimedia applications advantages, developers must be very careful in using the right methodology.
Report on the INEX 2005 interactive track
Authors: Saadia Malik, Birger Larsen, Anastasios Tombros
Venue: ACM SIGIR Forum (2007)

The overall motivation for the Interactive Track (iTrack) at INEX is twofold. First, to investigate the behaviour of users when interacting with components of XML documents, and secondly to investigate and develop approaches for XML retrieval which are effective in user-based environments. One of the major outcomes of the track in 2004 was the need to investigate methods that can be supportive during the search process based on features extracted from the XML formatting[1][2]. Problems that might be solved using such methods include overlapping components and the presentation of retrieved elements in the result list. In the experimental system that was offered in 2005, these two issues were addressed. This offered the opportunity to study how overall user search behaviour was affected by these changes when compared to the behaviour observed in 2004. In addition, the following issues were addressed in 2005, following the recommendations of the INEX Methodology Workshop at the Glasgow IR Festival1.
ATLAS: a chip-multiprocessor with transactional memory support
Authors: Njuguna Njoroge, Jared Casper, Sewook Wee, Yuriy Teslyar, Daxia Ge, Christos Kozyrakis, Kunle Olukotun
Venue: Proceedings of the conference on Design, automation and test in Europe (2007)

Chip-multiprocessors are quickly becoming popular in embedded systems. However, the practical success of CMPs strongly depends on addressing the difficulty of multithreaded application development for such systems. Transactional Memory (TM) promises to simplify concurrency management in multithreaded applications by allowing programmers to specify coarse-grain parallel tasks, while achieving performance comparable to fine-grain lock-based applications. This paper presents ATLAS, the first prototype of a CMP with hardware support for transactional memory. ATLAS includes 8 embedded PowerPC cores that access coherent shared memory in a transactional manner. The data cache for each core is modified to support the speculative buffering and conflict detection necessary for transactional execution. We have mapped ATLAS to the BEE2 multi-FPGA board to create a full-system prototype that operates at 100MHz, boots Linux, and provides significant performance and ease-of-use benefits for a range of parallel applications. Overall, the ATLAS prototype provides an excellent framework for further research on the software and hardware techniques necessary to deliver on the potential of transactional memory.
Adaptive and Evolvable Software Systems: Techniques, Tools and Applications
Authors: Jeff Gray, Raymond Klefstad, Yvonne Coady
Venue: Proceedings of the 40th Annual Hawaii International Conference on System Sciences (2007)

Software's ability to adapt is typically performed at two different stages: modifiability during development, and adaptation during execution. The first type of adaptation is concerned with design-time, or compile-time, techniques that permit the modification of the structure and function of a software representation in order to address changing stakeholder requirements. The second type of adaptation occurs at run-time during the execution of the program. This type of adaptation refers to a system's ability to modify itself and to respond to changing conditions in its external environment.
An Empirical Study of Web-Based Knowledge Community Success
Authors: Hui Lin, Weiguo Fan, Linda Wallace, Zhongju Zhang
Venue: Proceedings of the 40th Annual Hawaii International Conference on System Sciences (2007)

Web-based knowledge communities (WKCs) allow individuals with similar interests to collectively engage in knowledge acquisition and exchange. In spite of increased research interest in the topic of on-line knowledge exchange and social interaction, few studies have identified factors that contribute to WKC success. In this study we apply Preece's community success framework of usability and sociability and the Information System (IS) success model as conceptual foundations for an investigation into the factors that lead to WKC success. We present and empirically test a research model for WKC success using survey data from an IT-related WKC. We find that both usability and sociability factors have a significant effect on user satisfaction which leads to increased sense of community and a greater frequency of WKC usage. This research is one of the first attempts to empirically examine Web-based knowledge community success. The implications for research and practice are also discussed.