ppxscal/embedding_network huggingface dataset:
Interactions of nonlinear ion-acoustic waves in a collisionless plasma
Authors: Hilmi Demiray
Venue: Journal of Computational and Applied Mathematics (2007)

In the present work, based on a one-dimensional model, the interaction of two solitary waves propagating in opposite directions in a collisionless plasma is investigated by use of the extended Poincare-Lighthill-Kuo (PLK) method. It is shown that bi-directional solitary waves are propagated and the head-on collision of these two solitons occur. The phase shifts and the trajectories of these two solitons after the collision are obtained.
Using SAML and XACML for Complex Authorisation Scenarios in Dynamic Resource Provisioning
Authors: Yuri Demchenko, Leon Gommans, Cees de Laat
Venue: Proceedings of the The Second International Conference on Availability, Reliability and Security (2007)

This paper presents ongoing research and current results on the development of flexible access control infrastructures for complex resource provisioning in Grid-based collaborative applications and on-demand network services provisioning. The paper identifies basic resource provisioning models and specifies major requirements to Authorisation (AuthZ) service infrastructure to support these models and focus on two main issues - AuthZ session support and policy expression for complex resource models. For the practical implementation, we investigate the use of two popular standards SAML and XACML for complex authorisation scenarios in dynamic resource provisioning across multiple administrative and security domains. The paper describes a proposed XML based AuthZ ticket format that is capable of supporting extended AuthZ session context. Additionally, the paper discusses what specific functionality should be added to existing Grid-oriented authorization frameworks to handle dynamic domainrelated security context including AuthZ session support. The paper is based on experiences gained from major Grid based and Grid oriented projects such as EGEE, NextGrid, Phosphorus and GigaPort Research on Network.
Evaluating Usability of a Long Query Meta Search Engine
Authors: Isak Taksa, Amanda Spink
Venue: Proceedings of the 40th Annual Hawaii International Conference on System Sciences (2007)

Usability is an important factor for search engine acceptance. This paper examines usability of a long query meta search engine. The engine was designed to accept and process an unlimited size query expressed in natural language. We briefly review current search engine usability research and then apply some of the common metrics to various tasks of the search and retrieval process beginning with query formulation and concluding with knowledge discovery in relevant search results. We report on users' utilization of many features offered by the engine which enhance the search experience, increase the quality of the search results and improve the usability measurements. Additionally, the implications of this study on the advancement of search engine development are discussed.
Interface Adaptation Based on User Expectation
Authors: Xiaoyan Peng, Daniel L. Silver
Venue: Proceedings of the 21st International Conference on Advanced Information Networking and Applications Workshops - Volume 02 (2007)

A theoretical model of the relationship between user expectations and the changing state of a User Adapted Interface is presented. The usability of an intelligent email client that learns to filter spam emails is tested under three variants of adaptation: no user modeling, user modeling with fixed (optimal) spam cut-offs, and user modeling with user adjustable spam cut-offs. The results supported our hypothesis that user control over adaptation is preferred over no control because the user can maintain the system's interaction state within their region of expectation. The study suggests that this remains true even when performance of the system (accuracy of spam filtering) degrades because of errors in user control (adjustment of spam cut-offs).
Mathematical Theory Exploration
Authors: Bruno Buchberger
Venue: Proceedings of the Eighth International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (2006)

Mathematics is characterized by its method of gaining knowledge, namely reasoning. The automation of reasoning has seen significant advances over the past decades and, thus, the expectation was that these advances would also have significant impact on the practice of doing mathematics. However, so far, this impact is small. We think that the reason for this is the fact that automated reasoning so far concentrated on the automated proof of individual theorems whereas, in the practice of mathematics, one proceeds by building up entire theories in a step-by-step process. This process of exploring mathematical theories consists of the invention of notions, the invention and proof of propositions (lemmas, theorems), the invention of problems, and the invention and verification of methods (algorithms) that solve problems.
Modeling the Effect of Size on Defect Proneness for Open-Source Software
Authors: A. Gunes. Koru, Dongsong Zhang, Hongfang Liu
Venue: Proceedings of the 29th International Conference on Software Engineering Workshops (2007)

Quality is becoming increasingly important with the continuous adoption of open-source software. Previous research has found that there is generally a positive relationship between module size and defect proneness. Therefore, in open-source software development, it is important to monitor module size and understand its impact on defect proneness. However, traditional approaches to quality modeling, which measure specific system snapshots and obtain future defect counts, are not well suited because open-source modules usually evolve and their size changes over time. In this study, we used Cox proportional hazards modeling with recurrent events to study the effect of class size on defectproneness in the Mozilla product. We found that the effect of size was significant, and we quantified this effect on defect proneness.
GPU-Based Distance Map Calculation for Vector Field Haptic Rendering
Authors: Alexander Barlit, Matthias Harders
Venue: Proceedings of the Second Joint EuroHaptics Conference and Symposium on Haptic Interfaces for Virtual Environment and Teleoperator Systems (2007)

Our current research focuses on haptically assisted fragment reassembly. To this end, we examined vector field methods for handling collisions of complex, non-convex, rigid objects as well as for haptic rendering. A GPUbased approach is used to pre-compute 3D Voronoi cells. Furthermore, inside/outside information, normals and distances to object surfaces are determined on a sample grid.
Wavelet networks for nonlinear system modeling
Authors: Seda Postalcioglu, Yasar Becerikli
Venue: Neural Computing and Applications (2007)

This study presents a nonlinear systems and function learning by using wavelet network. Wavelet networks are as neural network for training and structural approach. But, training algorithms of wavelet networks is required a smaller number of iterations when the compared with neural networks. Gaussian-based mother wavelet function is used as an activation function. Wavelet networks have three main parameters; dilation, translation, and connection parameters (weights). Initial values of these parameters are randomly selected. They are optimized during training (learning) phase. Because of random selection of all initial values, it may not be suitable for process modeling. Because wavelet functions are rapidly vanishing functions. For this reason heuristic procedure has been used. In this study serial-parallel identification model has been applied to system modeling. This structure does not utilize feedback. Real system outputs have been exercised for prediction of the future system outputs. So that stability and approximation of the network is guaranteed. Gradient methods have been applied for parameters updating with momentum term. Quadratic cost function is used for error minimization. Three example problems have been examined in the simulation. They are static nonlinear functions and discrete dynamic nonlinear system.
Programming the internet from the server-side with Tcl and Audience1TM
Authors: Adam Sah, Kevin Brown, Eric Brewer
Venue: Proceedings of the 4th conference on USENIX Tcl/Tk Workshop, 1996 - Volume 4 (1996)

Although innovations on the World Wide Web are currently dominated by exciting client-side products (ie. Java, VRML, Netscape Plug-Ins, etc.), we believe that there is an equally rich server-side programming opportunity. In this paper, we argue that server-side programming will remain an important part of client-server Web applications. We then argue that server language(s) and client-side languages have very different requirements, and don't have to be the same language. As a running example, we present Audience1TM, an end-to-end publishing tool for the World Wide Web, which uses Tcl and MTtcl, a multi-threaded Tcl extension library. Currently, Audience1 is providing web service and mass customization features for the HotBot search engine (a joint venture between Inktomi and HotWired). HotBot can be found at http://www.hotbot.com.
Quasistatic evolution of damage in an elastic body: numerical analysis and computational experiments
Authors: M. Campo, J. R. Fernández, K. L. Kuttler, M. Shillor
Venue: Applied Numerical Mathematics (2007)

The processes of quasistatic evolution of the mechanical state of an elastic body, and the development of material damage which results from internal compression or tension, are modelled and numerically analyzed. The problem is formulated as an elliptic system for the displacements coupled with a parabolic equation for the damage field. The existence of the unique local weak solution is stated. Then, a fully discrete scheme is introduced using the finite element method to approximate the spatial variable and an Euler scheme to discretize the time derivatives. Error estimates are derived on the approximate solutions, from which the linear convergence of the algorithm is deduced. Finally, two two-dimensional numerical simulations are performed to show the accuracy of the scheme and the behaviour of the solution.
Strategies for the Massively Parallel Simulation of Interconnection Networks
Authors: M. Jurczyk, T. Schwederski, R. Born, H. J. Siegel, S. Abraham
Venue: Proceedings of the 1994 International Conference on Parallel Processing - Volume 01 (1994)

Methods for enhancing multistage interconnection network simulators running on massively parallel SIMD computers are presented. Aspects of parallel simulation of interconnection networks are discussed and different strategies of mapping the architecture of the network to be simulated onto the parallel machine are studied and compared. As case studies, two strategies of mapping synchronous multistage cube networks onto the MasPar MP-1 SIMD machine are explored and their implementations are compared. The methods result in an efficient simulator which can process 10^9 data packets in 40 minutes.
Proceedings of the 2007 international symposium on Software testing and analysis
Venue: International Symposium on Software Testing and Analysis (2007)

It is our great pleasure to welcome you to London for the 2007 ACM International Symposium on Software Testing and Analysis--ISSTA07. This year's symposium continues its tradition of being the premier forum for presentation of research results on leading edge issues related to software testing and analysis. Responding to the growth and impact of our thriving community, this year marks the move from a biannual schedule to an annual schedule for the symposium. The call for research papers attracted over 100 submissions, which is a record for ISSTA. The program committee accepted 22 papers that cover a variety of topics, including fault isolation, testing, model checking, and various hybrid analysis approaches. In addition, the program includes two keynote speakers and three satellite workshops (PADTAD, A-MOST, and WISEST) that will offer attendees the chance to present work and exchange ideas on focused topics of shared interest.
The Impact of National Culture and Social Pr esence on Trust and Communication Quality within Collabor ative Groups
Authors: Paul Benjamin Lowry, Dongsong Zhang, Lina Zhou, Xiaolan Fu
Venue: Proceedings of the 40th Annual Hawaii International Conference on System Sciences (2007)

In this empirical study we examine the impact of national culture and social presence on interpersonal trust in both culturally homogeneous and heterogeneous groups. Results demonstrate that interpersonal trust is higher in homogeneous, lowindividualism groups (represented by Chinese participants) than that in homogeneous, highindividualism groups (represented by U.S. participants); however, interpersonal trust in heterogeneous groups is lower for low-individualism than high-individualism group members. It is also found that social presence has a positive impact on interpersonal trust; however, a difference in social presence between groups supported by two collaborative technologies is not detected In addition, perceived communication quality is reported highest in face-to-face (FtF) groups without the support of collaborative software (CS), followed by FtF, CSsupported groups, and then virtual, CS groups. These findings have important implications for trust building in global groups as well as for the design of collaborative technologies in support of virtual groups.
Path-based faliure and evolution management
Authors: Mike Y. Chen, Anthony Accardi, Emre Kiciman, Jim Lloyd, Dave Patterson, Armando Fox, Eric Brewer
Venue: Proceedings of the 1st conference on Symposium on Networked Systems Design and Implementation - Volume 1 (2004)

We present a new approach to managing failures and evolution in large, complex distributed systems using runtime paths. We use the paths that requests follow as they move through the system as our core abstraction, and our "macro" approach focuses on component interactions rather than the details of the components themselves. Paths record component performance and interactions, are user- and request-centric, and occur in sufficient volume to enable statistical analysis, all in a way that is easily reusable across applications. Automated statistical analysis of multiple paths allows for the detection and diagnosis of complex failures and the assessment of evolution issues. In particular, our approach enables significantly stronger capabilities in failure detection, failure diagnosis, impact analysis, and understanding system evolution. We explore these capabilities with three real implementations, two of which service millions of requests per day. Our contributions include the approach; the maintainable, extensible, and reusable architecture; the various statistical analysis engines; and the discussion of our experience with a high-volume production service over several years.
Resource access control for an internet user agent
Authors: Nataraj Nagaratnam, Steven B. Byrne
Venue: Proceedings of the 3rd conference on USENIX Conference on Object-Oriented Technologies (COOTS) - Volume 3 (1997)

The rapid increase in the Internet's connectivity has lead to proportional increase in the development of Web-based applications. Usage of downloadable content has proved effective in a number of emerging applications including electronic commerce, software components on-demand, and collaborative systems. In all these cases, Internet user agents (like browsers, tuners) are widely used by the clients to utilize and execute such downloadable content. With this new technology of using downloadable content comes the problem of the downloaded content obtaining unauthorized access to the client's resources. In effect, granting a hostile remote principal the requested access to client's resources may lead to undesirable consequences. Hence it is important for the browsers to provide a framework such that the user can fine tune his system according to his trust relationship with the content authors. Currently available systems either do not allow the downloaded content to access any of the local resources or allows all the contents to have the same privileges. In this paper, we present the design and implementation of a model that provides resource access control of a finer granularity for an user agent. Using our model, the client will be able to selectively grant access to resources based on a trust relationship with the principal, who has certified the authenticity of the contents.
A fuzzy neural network model for predicting clothing thermal comfort
Authors: Xiaonan Luo, Wenbang Hou, Yi Li, Zhong Wang
Venue: Computers Mathematics with Applications (2007)

This paper presents a Fuzzy Neural Network (FNN) based local to overall thermal sensation model for prediction of clothing thermal function in functional textile design system. Unlike previous experimental and regression analysis approaches, this model depends on direct factors of human thermal response - body core and skin temperatures. First the local sensation is predicted by a FNN network using local body part skin temperatures, their change rates, and core temperature as inputs; then the overall sensation is predicted. This is also performed by a FNN network. The FNN networks are developed on the basis of the Feed-Forward Back-Propagation (FFBP) network; the advantage of using fuzzy logic here is to reduce the requirement of training data. The simulation result shows a good correlation between predicted and the traditional experimental data.
MiXer: the communication entertainment content by using "entrainment phenomenon" and "bio-feedback"
Authors: Tomohisa Tomida, Anna Ishihara, Ueki Atsuro, Yoshitaka Tomari, Kensuke Fukushima, Masa Inakage
Venue: Proceedings of the international conference on Advances in computer entertainment technology (2007)

We suggest a new communication entertainment content to create a nonverbal connecting in communication by using human physical information. The "miXer" we produce is a content of attraction type for two people by applying medical discovery such "bio-feedback" and "entrainment phenomenon". In the "miXer" it senses a physical information and feed back them in the information like visualization, sound, and vibration we can recognize, so you can enjoy an unprecedented communication in this fantastic space.
Fair Game-Theoretic Resource Management in Dedicated Grids
Authors: Krzysztof Rzadca, Denis Trystram, Adam Wierzbicki
Venue: Proceedings of the Seventh IEEE International Symposium on Cluster Computing and the Grid (2007)

We study two problems directly resulting from organizational decentralization of the Grid. Firstly, the problem of fair scheduling in systems in which the grid scheduler has complete control of processors' schedules. Secondly, the problem of fair and feasible scheduling in decentralized case, in which the grid scheduler can only suggest a schedule, which can be later modified by a processor's owner. Using game theory, we show that scheduling in decentralized case is analogous to the Prisoner's Dilemma game. Moreover, the Nash equilibrium results in significant performance drop. Therefore, a strong community control is required to achieve acceptable performance.
Nonlinear filtering for speaker tracking in noisy and reverberant environments
Authors: J. Vermaak
Venue: Proceedings of the Acoustics, Speech, and Signal Processing, 2001. on IEEE International Conference - Volume 05 (2001)

This paper addresses the problem of speaker tracking in a noisy and reverberant environment using time delay of arrival (TDOA) measurements at spatially distributed microphone pairs. The tracking problem is posed within a state-space estimation framework, and models are developed for the speaker motion and the likelihood of the speaker location in the light of the TDOA measurements. The resulting state-space model is nonlinear and nonGaussian, and consequently no closed-form solutions exist for the filtering distributions required to perform tracking. Here sequential Monte Carlo (SMC) methods are applied to approximate the true filtering distribution with a set of samples. The resulting tracking algorithm requires no triangulation, is computationally efficient, and can straightforwardly be extended to track multiple speakers.
Multi-level strategies to achieve resilience for an organisation operating at capacity: a case study at a trauma centre
Authors: Anne Miller, Yan Xiao
Venue: Cognition, Technology and Work (2007)

Healthcare services are examples of organisations that operate frequently at capacity, as reflected by periods of high demand and hospital overcrowding. Using the safe operating envelope framework (Qual Saf Health Care 14:130&#x2013;134, 2005), this study identifies the strategies hospital staff use to respond to high patient demand pressures. A surgical unit (SU) in a dedicated trauma hospital provides the context for the study. Results are based on the outcomes of structured, critical decision method and contextual interviews involving six participants selected according to their roles in relation to resource allocation within the SU. The study&#x2019;s central findings are (1) that temporally nested patterns of emergency patient admissions are the dominant influence on three levels of management decision making in the SU and (2) that compensatory buffers are actively planned at multiple levels of work organisation. These results are discussed in terms of their theoretical implications and implications for technological design. The methodological limitations of the research are also discussed.
Some potential pitfalls with s to z-plane mappings
Authors: R. Harvey
Venue: Proceedings of the Acoustics, Speech, and Signal Processing, 2000. on IEEE International Conference - Volume 06 (2000)

Design of digital infinite impulse response (IIR) filters is a compulsory topic in most signal processing courses. Most often, it is taught by using the bilinear transform to map an analogue counterpart into the corresponding digital filter. The usual approach is to define a mapping between the complex variables s and z, and hence, by substitution, derive a mapping between /spl omega/, analogue frequency, and /spl theta/, sampled frequency. This is rather elliptical, since the real aim is to establish the correspondence between the frequency response of a prototype analogue system H(j/spl omega/), and H(e/sup j/spl theta//), the response of the sampled system. Here we provide a rigorous analysis for the mutual invertibility between the analogue frequency /spl omega/, and the digital frequency /spl theta/ for this case. Based upon the definition of the tan and arctan functions, conditions of existence, uniqueness and continuity of such a mutually inverse mapping are derived. Based upon these results, simple proofs for the mutually inverse mappings /spl omega//spl rarr//spl theta/ and /spl theta//spl rarr//spl omega/ are given. This is supported by appropriate diagrams. This problem arose as a student question while teaching DSP.
Dynamic data warehouse design as a refinement in ASM-based approach
Authors: Henning Koehler, Klaus-Dieter Schewe, Jane Zhao
Venue: Proceedings of the fourth Asia-Pacific conference on Comceptual modelling - Volume 67 (2007)

On-line analytical processing (OLAP) systems deal with analytical tasks in businesses. As these tasks do not depend on the latest updates by transactions, it is assumed that the data used in OLAP systems are kept in a data warehouse, which separates the input from operational databases from the outputs to OLAP. Typical OLAP queries are data intensive, and thus time consuming. In order to speed up the query computation, it is a common practice to materialize some of the computations as views based on a set of queries given. In general we wish to optimize query time under a given maintenance constraints. However, OLAP queries are not static and may change over time. Thus designing data warehouse is an ongoing task. This process is also called dynamic or incremental design. In this paper, we approach this issue as a refinement step in our Abstract State Machine (ASM) based data warehouse design, and support it by a set of standard refinement rules.