ppxscal/embedding_network huggingface dataset:
Everyday Life Discoveries: Mining and Visualizing Activity Patterns in Social Science Diary Data
Authors: Katerina Vrotsou, Kajsa Ellegard, Matthew Cooper
Venue: Proceedings of the 11th International Conference Information Visualization (2007)

The ability to identify and examine patterns of activities is a key tool for social and behavioural science. In the past this has been done by statistical or purely visual methods but automated sequential pattern analysis through sophisticated data mining and visualization tools for pattern location and evaluation can open up new possibilities for interactive exploration of the data. This paper describes the addition of a sequential pattern identification method to the visual activity-analysis tool, VISUAL-TimePAcTS, and its effectiveness in the process of pattern analysis in social science diary data. The results have shown that the method correctly identifies patterns and conveys them effectively to the social scientist in a manner that allows them quick and easy understanding of the significance of the patterns.
Evaluation of a non-point source pollution model, AnnAGNPS, in a tropical watershed
Authors: V. Polyakov, A. Fares, D. Kubo, J. Jacobi, C. Smith
Venue: Environmental Modelling Software (2007)

Impaired water quality caused by human activity and the spread of invasive plant and animal species has been identified as a major factor of degradation of coastal ecosystems in the tropics. The main goal of this study was to evaluate the performance of AnnAGNPS (Annualized Non-Point Source Pollution Model), in simulating runoff and soil erosion in a 48km^2 watershed located on the Island of Kauai, Hawaii. The model was calibrated and validated using 2years of observed stream flow and sediment load data. Alternative scenarios of spatial rainfall distribution and canopy interception were evaluated. Monthly runoff volumes predicted by AnnAGNPS compared well with the measured data (R^2=0.90, P
Social Network and Genre Emergence in Amateur Flash Multimedia
Authors: John C. Paolillo, Jonathan Warren, Breanne Kunz
Venue: Proceedings of the 40th Annual Hawaii International Conference on System Sciences (2007)

Research on digital media tends to characterize the emergence of new genres without reference to social networks, even though "community" and "social interaction" are invoked. In this paper, we examine Flash animations posted to Newgrounds.com, a major web portal for amateur Flash, from a social network perspective. Results indicate that participants' social network positions are strongly associated with the genres of Flash they produce. We argue from these findings that the social networks of Flash authors contribute to the establishment of genre norms, and that a social network approach can be crucial to understanding genre emergence.
Decision Support in Health Care via Root Evidence Sampling
Authors: Benjamin Perry, Eli Faulkner
Venue: Proceedings of the 40th Annual Hawaii International Conference on System Sciences (2007)

Bayesian networks play a key role in decision support within health care. Physicians rely on Bayesian networks to give medical treatment, generate what-if scenarios, and other decision-support tasks. Stochastic sampling from a Bayesian network with some nodes instantiated as evidence is a powerful tool with Bayesian networks. With decision support systems, generating random samples from a Bayesian network is key to simulating possible scenarios and consequences. Some techniques for stochastic sampling, such as Logic Rejection Sampling or Importance Sampling, can be very slow when given unlikely evidence. We propose Root Evidence Sampling (RES), an algorithm that carefully reorganizes some or all of the evidence nodes to be root nodes, computes new conditional probability tables, and then uses simple forward sampling or a hybrid approach to generate samples. We show that RES performs favorably compared to other sampling techniques without sacrificing accuracy, particularly when the evidence is unlikely. We also show that the new network generated by RES has the same inferential capability as the original network, which has implications for structure learning.
Reducing verification effort in component-based software engineering through built-in testing
Authors: Daniel Brenner, Colin Atkinson, Rainer Malaka, Matthias Merdes, Barbara Paech, Dima Suliman
Venue: Information Systems Frontiers (2007)

Today component- and service-based technologies play a central role in many aspects of enterprise computing. However, although the technologies used to define, implement, and assemble components have improved significantly over recent years, techniques for verifying systems created from them have changed very little. The correctness and reliability of component-based systems are still usually checked using the traditional testing techniques that were in use before components and services became widespread, and the associated costs and overheads still remain high. This paper presents an approach that addresses this problem by making the system verification process more component-oriented. Based on the notion of built-in tests (BIT)--tests that are packaged and distributed with prefabricated, off-the-shelf components--the approach partially automates the testing process, thereby reducing the level of effort needed to establish the acceptability of the system. The approach consists of a method that defines how components should be written to support and make use of run-time tests, and a resource-aware infrastructure that arranges for tests to be executed when they have a minimal impact on the delivery of system services. After providing an introduction to the principles behind component-based verification and explaining the main features of the approach and its supporting infrastructure, we show by means of a case study how it can reduce system verification effort.
Test Set Reordering Using the Gate Exhaustive Test Metric
Authors: Kyoung Youn Cho, Edward J. McCluskey
Venue: Proceedings of the 25th IEEE VLSI Test Symmposium (2007)

When a test set size is larger than desired, some patterns must be dropped. This paper presents a systematic method to reduce test set size; the method reorders a test set using the gate exhaustive test metric and truncates the test set to the desired size. To determine the effectiveness of the method, test sets with 1,556 test patterns were applied to 140 defective Stanford ELF18 test cores. The original test set required 758 test patterns to detect all defective cores, while the test set reordered using the presented method required 286 test patterns. The method also reduces the test application time for defective cores.
DVGen: a test generator for the transmeta Efficeon VLIW processor
Authors: K. D. Rich, S. G. Govindaraju, R. Shaw, D. Dobrikin
Venue: Proceedings of the High-Level Design Validation and Test Workshop, 2005. on Tenth IEEE International (2005)

This paper describes DVGen, a tool that significantly improves the productivity of the verification engineer by facilitating the generation of self-checking tests from high-level specifications of test intent. DVGen automates resource management, instruction scheduling and computation of self-check reference values, allowing the engineer to focus on test intent through minimally-constrained specifications. It provides the control afforded by writing tests in assembly language as well as the power and flexibility afforded by writing tests in a high-level language. This paper details the scheduling of instructions and the methods of controlling code generation. The power of DVGen's interface with the architectural reference simulator is explored. Techniques employed by DVGen to perturb test generation in order to increase coverage from existing test specifications are presented. Following that, the ability of DVGen to combine diverse specifications intelligently in order to create tests that setup and trigger concurrent interesting events is discussed. The paper concludes with a high-level discussion of DVGen's most salient features.
Exploring artistic possibilities of sensory fusion of color and music
Authors: Asako Fukumoto, Koji Tsukada, Jun Kurumizawa, Dong Sheng Cai
Venue: Proceedings of the 4th symposium on Applied perception in graphics and visualization (2007)

Many scientists and artists explored association between color and music applying various theories (eg., perceptional experiments and tone-color correspondence schemes)._For example, Scriabin, and Kandinsky explored the artistic possibilities of the simultaneous playing of colors and music by playing color organ. They explored the emotional and perceptual dynamics of simultaneous presentations of color and sound.
A statistical subspace method for blind channel identification in OFDM communications
Authors: Xiangyang Zhuang
Venue: Proceedings of the Acoustics, Speech, and Signal Processing, 2000. on IEEE International Conference - Volume 05 (2000)

This paper presents a subspace method for blind channel estimation based on A a special output correlation matrix. The approach relies on the i.i.d. assumption of the data sequence and uses the cyclic prefix redundancy present in OFDM systems or single-carrier systems with frequency domain equalization. This method has an important feature that allows channels to be longer than the cyclic prefix. In addition, unknown frame synchronization can be accommodated. There is no constraint on the zero locations of the channel and the performance is asymptotically independent of white noise. The method is compared with a simple correlation approach and a deterministic subspace method.
High-performance local area communication with fast sockets
Authors: Steven H. Rodrigues, Thomas E. Anderson, David E. Culler
Venue: Proceedings of the annual conference on USENIX Annual Technical Conference (1997)

Modern switched networks such as ATM and Myrinet enable low-latency, high-bandwidth communication. This performance has not been realized by current applications, because of the high processing overheads imposed by existing communications software. These overheads are usually not hidden with large packets; most network traffic is small. We have developed Fast Sockets, a local-area communication layer that utilizes a high-performance protocol and exports the Berkeley Sockets programming interface. Fast Sockets realizes round-trip transfer times of 60 microseconds and maximum transfer bandwidth of 33 MB/second between two UltraSPARC 1s connected by a Myrinet network. Fast Sockets obtains performance by collapsing protocol layers, using simple buffer management strategies, and utilizing knowledge of packet destinations for direct transfer into user buffers. Using receive posting, we make the Sockets API a single-copy communications layer and enable regular Sockets programs to exploit the performance of modern networks. Fast Sockets transparently reverts to standard TCP/IP protocols for wide-area communication.
The effects of web-based technologies on knowledge transfer
Authors: Waymond Rodgers, Solomon Negash
Venue: Communications of the ACM (2007)

Does using enhanced Web-based services increase problem-solving skills?
Managing end-to-end quality of service in multiple heterogeneous wireless networks
Authors: Punit Ahluwalia, Upkar Varshney
Venue: International Journal of Network Management (2007)

Supporting quality of service (QoS) in wireless networks has been a very rich and interesting area of research. Many significant advances have been made in supporting QoS in single wireless networks. However, the support for QoS across multiple heterogeneous wireless networks will be required in future wireless networks. In connections spanning multiple wireless networks, end-to-end QoS will depend on several factors such as mobility patterns, connection patterns, and the QoS policies in each of the networks. In this paper, we present an architecture for multiple heterogeneous wireless networks, several QoS schemes, a simulation model and several interesting results. The simulation model can evaluate the QoS performance under a variety of network configurations, user and mobility types, and network resources. Our results show that end-to-end QoS depends on several factors, including system utilization, mobility levels, and the individual QoS schemes implemented in individual networks. We also show how the QoS ideas presented in this paper can be used by wireless carriers for improved QoS support and management.
Design of Two-Stage Miller-Compensated Amplifiers Based on an Optimized Settling Model
Authors: Hamed Aminzadeh, Mohammad Danaie, Reza Lotfi
Venue: Proceedings of the 20th International Conference on VLSI Design held jointly with 6th International Conference: Embedded Systems (2007)

A new methodology for the design of two-stage Millercompensated operational amplifiers in closed-loop applications is proposed in this paper. This methodology that is based upon a new fundamental settling-based analysis specifies the proper open-loop parameters of the opamp regarding to its desired closed-loop specifications. As the conventional model for the step settling response of two-stage opamps have always been overestimated, a simple yet accurate settling model is also suggested to optimize the methodology. The proposed methodology is especially helpful in those applications where the settling response is important. Simulation results are presented to show the effectiveness of the design methodology and to compare the proposed model with the conventional model.
Modeling RTOS for Reactive Embedded Systems
Authors: Wei-Tsun Sun, Zoran Salcic
Venue: Proceedings of the 20th International Conference on VLSI Design held jointly with 6th International Conference: Embedded Systems (2007)

A large number of embedded systems that can be classified as reactive rely on software implementation of functionality on computer platform with a real-time operating system (RTOS). Many of those systems do not require full RTOS, but a reduced functionality that can be implemented in software, hardware or their combination. Modeling of such systems requires RTOS functional model at different levels of abstraction that may be suitable for hardware/software partitioning and implementation. This paper presents a methodology of modeling the RTOS functionality as a center of entire reactive embedded system model and illustrates its usage on an example.
A model-driven approach to design pattern visualization and evolutions
Authors: Jing Dong
Venue:  (2006)

Design patterns are generic design solutions which can be applied and composed in different applications where pattern-related information is generally implicit in the UML diagrams. It is unclear which pattern instances each modeling element, such as class, attribute and operation, participates. Consequently, the benefits of design patterns are compromised because the designers cannot communicate with each other in terms of the design patterns they use and their design decisions and tradeoffs. In the document of each design pattern, in addition, the evolution information is generally not explicitly specified. As a result, the changes can be tedious and error-prone. In this paper, we present a UML profile which defines new stereotypes, tagged values and constraints for tracing design patterns in UML diagrams based on the Model Driven Architecture. These new stereotypes and tagged values, which is an extension to UML meta-model, are attached to a modeling element to explicitly represent the role the modeling element plays in a design pattern so that the user can identify the pattern in a UML diagram. Based on this profile, we also develop a web service (tool) for explicitly visualizing design patterns in UML diagrams. With this service, users are able to trace design patterns in their applications and compositions since pattern-related information can be dynamically displayed. Furthermore, we propose two-level transformations (primitive-level and pattern-level) to capture the evolution processes of design patterns, which are generally implicit in the descriptions of design patterns. The evolution processes are specified formally in description logics and automated based on XML Metadata Interchange (XMI) format to transform the UML models of design pattern applications. We also automate such evolution processes based on XSLT and the Query, View, Transformation (QVT). In this way, a software system design with the applications of design patterns represented in UML model may be automatically evolved to a new design based on the model transformation rules defined for the corresponding design patterns applied. Semantic Web Consistency Checker is also proposed to ensure the consistency of the evolved software system. Three case studies and a comparative experiment are also conducted to evaluate our approach.
Writing, supporting, and evaluating tripwire: a publically available security tool
Authors: Gene H. Kim, Eugene H. Spafford
Venue: Proceedings of the USENIX Applications Development Symposium Proceedings on USENIX Applications Development Symposium Proceedings (1994)

Tripwire is an integrity checking program written for the Unix environment that gives system administrators the ability to monitor file systems for added, deleted, and modified files. First released in November of 1992, Tripwire has undergone several updates and is in current use at thousands of machines worldwide. This paper begins with a brief overview of what Tripwire does and how it works. We discuss how certain implementation decisions affected the course of Tripwire development. We also present other applications that have been found for Tripwire. These unanticipated uses guided the demands of some users, and we describe how we addressed some of these demands without compromising the ability of Tripwire to serve as a useful security tool. We also discuss the process of releasing, and then supporting, a widely available and widely used tool across the Internet, and how meeting users' high expectations affects this process. How these issues affected Tripwire, done as as an independent study by an undergraduate, is also discussed. Software tools that were used in developing and maintaining Tripwire are presented. Finally, we discuss problems that remain unresolved and some possible solutions
Process Variations and Process-Tolerant Design
Authors: Swarup Bhunia, Saibal Mukhopadhyay, Kaushik Roy
Venue: Proceedings of the 20th International Conference on VLSI Design held jointly with 6th International Conference: Embedded Systems (2007)

While CMOS technology has served semiconductor industry marvelously (by allowing nearly exponential increase in performance and device integration density), it faces some major roadblocks at sub-90nm process nodes due to the intrinsic physical limitations of the devices. One of the major barriers that the CMOS devices face at nanometer scale is increasing process parameter variations. Due to limitations of the fabrication process (e.g. sub-wavelength lithography and etching) and variations in the number of dopants in the channel of short channel devices, device parameters such as length (L), width 0, oxide thickness (T,), threshold voltage (VTH) etc. suffer large variations. Variations in the device parameters, both systematic and random, translate into variations in circuit parameters like delay and leakage power, leading to loss in parametric yield. To deal with increasing parameter variations, it is important to accurately model the impact of device parameter variations at circuit level and develop process-tolerant design techniques for both logic and memory. This article analyzes the impact of process parameter variations on logic circuits and memory and focuses on some major works in the area of process-tolerant design methodology at circuit/architecture level.
Simulation of Soft Bodies with Pressure Force and the Implicit Method
Authors: Jaruwan Mesit, Ratan K. Guha
Venue: Proceedings of the First Asia International Conference on Modelling & Simulation (2007)

The implicit approach can be used to efficiently model realistically deformable objects for large constraints such as stiffness or time. In soft bodies with pressure forces, models are composed of mesh points connected by springs and applied with pressure forces. System parameters such as spring constant, damping constant, etc. are defined to describe the behaviors of the deformable objects. Since the simulation of soft bodies with pressure force fails when the constraints are large, this paper proposes the method to solve this problem by using the implicit integration method for soft bodies with particular force. The results show that our method can realistically simulate the soft bodies when large constraints are applied.
Limits for generalized sidelobe cancellers with embedded acoustic echo cancellation
Authors: W. Herbordt
Venue: Proceedings of the Acoustics, Speech, and Signal Processing, 2001. on IEEE International Conference - Volume 05 (2001)

This paper analyzes positive synergies and theoretical limits of the combination of acoustic echo cancellation (AEC) and generalized sidelobe cancellers (GSC) for the removal of echoes of loudspeaker signals and local interferers. While the proposed system only requires one AEC for an arbitrary number of microphones, the array gain is limited by the number of sensor channels when all interferers arrive from different directions-of-arrival (DOAs). The paper also shows that the degrees of freedom of the adaptive sidelobe cancelling path are not sufficient when local interferers and acoustic echoes have common DOAs.
Multiresolution stochastic models for the efficient solution of large-scale space-time estimation problems
Authors: T. T. Ho
Venue: Proceedings of the Acoustics, Speech, and Signal Processing, 1996. on Conference Proceedings., 1996 IEEE International Conference - Volume 06 (1996)

The successful application of a previously developed tree-based multiscale estimation framework to large-scale static estimation problems has proven the statistical flexibility and the computational efficiency of the framework. However, the estimation of processes evolving in time remains a considerable challenge. We address this challenge by investigating multiscale models for the steady-state estimation of dynamic systems. In particular, we build such models for 1-D and 2-D heat diffusion processes, making use of a canonical correlations realization technique. The problem of the assimilation of satellite altimetric measurements of the dynamic ocean surface over time is also addressed.
3D facial expression analysis and deformation
Authors: Jacey-Lynn Minoi, Duncan Gillies
Venue: Proceedings of the 4th symposium on Applied perception in graphics and visualization (2007)

Facial expressions are an important channel of non-verbal communication. An expression is a dynamic change of visual appearance involving the shape and position of facial features (the eyes, eyebrows, nose, and mouth), the coloration and condition of the skin and wrinkles. The main source that contributes to expression variation is facial muscular movements. We have used a registration framework, based on selected facial landmarks, to create expressions on surface models of the face. Deformation is applied to 3D face models with neutral expression to synthesize a corresponding model with some expression. Likewise when applied to 3D faces with expression the neutral expression can be synthesized. In addition to this work, we also analyse the optimal placement of landmarks to control facial expressions through deformation.