ppxscal/embedding_network huggingface dataset:
A comparison of file system workloads
Authors: Drew Roselli, Jacob R. Lorch, Thomas E. Anderson
Venue: Proceedings of the annual conference on USENIX Annual Technical Conference (2000)

In this paper, we describe the collection and analysis of file system traces from a variety of different environments, including both UNIX and NT systems, clients and servers, and instructional and production systems. Our goal is to understand how modern workloads affect the ability of file systems to provide high performance to users. Because of the increasing gap between processor speed and disk latency, file system performance is largely determined by its disk behavior. Therefore we primarily focus on the disk I/O aspects of the traces. We find that more processes access files via the memory-map interface than through the read interface. However, because many processes memory-map a small set of files, these files are likely to be cached. We also find that file access has a bimodal distribution pattern: some files are written repeatedly without being read; other files are almost exclusively read. We develop a new metric for measuring file lifetime that accounts for files that are never deleted. Using this metric, we find that the average block lifetime for some workloads is significantly longer than the 30-second write delay used by many file systems. However, all workloads show lifetime locality: the same files tend to be overwritten multiple times.
Capacitive humidity sensor using a polyimide sensing film
Authors: J. Laconte, V. Wilmart, J.-P. Raskin, D. Flandre
Venue: Proceedings of the Symposium on Design, Test, Integration and Packaging of MEMS/MOEMS (2003)

This paper investigates novel isolation and patterning schemes to increase the sensitivity of a capacitive humidity sensor based on a polyimide sensitive layer. We obtained an optimum sensitivity of 23% using aluminum interdigitated electrodes with fingers of 1 /spl mu/m width separated by 1 /spl mu/m, deposited on a first insulating polyimide layer and covered by two more polyimide layers whose upper one features a regular array of holes to increase the active surface area. A mathematical model was developed to optimize its sensitivity regarding water absorption factor, electrodes design and ratio between active and parasitic capacitances. Its process was optimized to be fully compatible with usual CMOS-IC processes in order to finally be able to fabricate a humidity smart sensor.
Funding and investment decisions in a stochastic defined benefit pension plan with several levels of labor-income earnings
Authors: Ricardo Josa-Fombellida, Juan Pablo Rincón-Zapatero
Venue: Computers and Operations Research (2008)

In this paper we consider the optimal management of an aggregated dynamic pension fund. There are n classes of workers whose salaries are stochastic. A portion of the salary is contributed to the funding process and the manager invests in a portfolio with m risky assets and a risk-free security. The main objective is to minimize the cost of contributions in a bounded horizon T and to maximize the utility of final surplus, measured as the relative fund level respect to the mean salary. The aim of the paper is to describe the properties of fund allocation and optimal contribution when salaries differ across contributors to the fund.
Predictors of student rating accuracy
Authors: T. P. McAnear
Venue: Proceedings of the 30th Annual Frontiers in Education - Volume 02 (2000)

Teamwork has become an integral part of modern engineering practice. Likewise, teaching students to work effectively in teams has become an important component of engineering education. However, evaluating individual student contributions to team development and performance has been difficult. The paper explores the use of peer ratings for evaluation of individual contributions to team performance. Peer ratings are susceptible to bias when, for example, team members either unfairly gang up on an unpopular individual or protect an undeserving student. Therefore, it would be helpful to know if some students provide more accurate ratings than others and what the characteristics of accurate raters might be. The study looked for predictors of rating accuracy by comparing how an individual rated their own team behavior with how their fellow team members rated them on those same behaviors. Specifically, we used the Team Developer instrument to obtain self-ratings and team ratings on a variety of team behaviors. The discrepancy between self and peer ratings provided a measurement of rating accuracy. We then compared rating accuracy with demographic and academic variables to determine possible predictors of rating accuracy. Our results showed a tendency toward self-enhancement in the ratings across all four behavioral dimensions. Limited support was demonstrated for higher rating accuracy in higher performing students and lower accuracy in lower performing students. Implications for student evaluation are discussed, along with limitations of the study and suggestions for future research.
Deconvolution of electrograms to detect infarcted myocardium
Authors: W. S. Ellis
Venue: Proceedings of the Acoustics, Speech, and Signal Processing, 1996. on Conference Proceedings., 1996 IEEE International Conference - Volume 03 (1996)

Ablation to prevent cardiac arrhythmias requires interpretation of electrograms to locate the arrhythmogenic tissue. This study examined a novel signal processing technique employing deconvolution to calculate electrograms which best fit observed electrograms. We hypothesize that the power of difference between the calculated and the observed electrogram detects changes in morphology resulting from myocardial infarction. 380 electrograms were recorded from 10 dogs. Scintigraphic studies with Thallium-201 identified recording sites as normal or infarcted tissue. The power of the difference increased 65 percent for infarcted tissue as compared to normal tissue (p
Development of a Long-Distance-Controlled Robot System Using the Web for International Exchange
Authors: Akiyuki Minamide, Kazuya Takemata, Nobuyuki Naoe, Pee Suat Hoon
Venue: Proceedings of the The First IEEE International Workshop on Digital Game and Intelligent Toy Enhanced Learning (2007)

This paper described the outline of a Long- Distance-Controlled Robot System for international exchange. In this system, the players operate the robots on one physical site via the Internet. To confirm whether the developed system was able to be used, we held exchange association between the elementary schools in Japan by the robot game named "Ball Rolling Game' using this system. It was clarified that our system could be used for the exchange association between the elementary schools from the results of the questionnaire. In addition, we tried the international exchange between Singapore and Japan using the system.
A Characterization of Global Entanglement
Authors: Peter J. Love, Alec Maassen Brink, A. Yu. Smirnov, M. H. Amin, M. Grajcar, E. Il'Ichev, A. Izmalkov, A. M. Zagoskin
Venue: Quantum Information Processing (2007)

We define a set of 2 n¿1¿1 entanglement monotones for n qubits and give a single measure of entanglement in terms of these. This measure is zero except on globally entangled (fully inseparable) states. This measure is compared to the Meyer---Wallach measure for two, three, and four qubits. We determine the four-qubit state, symmetric under exchange of qubit labels, which maximizes this measure. It is also shown how the elementary monotones may be computed as a function of observable quantities. We compute the magnitude of our measure for the ground state of the four-qubit superconducting experimental system investigated in [M. Grajcar et al., Phys. Rev. Lett. 96, 047006 (2006)], and thus confirm the presence of global entanglement in the ground state.
Empirical Studies of Open Source Software Development
Authors: Kevin Crowston, Hala Annabi
Venue: Proceedings of the 40th Annual Hawaii International Conference on System Sciences (2007)

In its third year, the minitrack on Open Source Software (OSS) Development continues to provide a forum for discussion of an increasingly important mode of software development. OSS is a broad term used to embrace software that is developed and released under some sort of "open source" license. OSS development creates new challenges to software development, as team members typically work in a distributed environment and often as volunteers rather than employees. Researchers from a variety of disciplines have turned their attention to the phenomenon of OSS development as a successful and intriguing form of Internet supported work.
Video content extraction and representation using a joint audio and video processing
Authors: C. Saraceno
Venue: Proceedings of the Acoustics, Speech, and Signal Processing, 1999. on 1999 IEEE International Conference - Volume 06 (1999)

Computer technology allows for large collections of digital archived material. At the same time, the increasing availability of potentially interesting data makes difficult the retrieval of desired information. Currently, access to such information is limited to textual queries or characteristics such as color or texture. The demand for new solutions allowing common users to easily access, store and retrieve relevant audio-visual information is becoming urgent. One possible solution to this problem is to hierarchically organize the audio-visual data so as to create a nested indexing structure which provides efficient access to relevant information at each level of the hierarchy. This work presents an automatic methodology to extract and hierarchically represent the semantics of the contents, based on a joint audio and visual analysis. Descriptions on each media (audio, video) are used to recognize higher level of meaningful structures, such as specific types of scenes, or, at the highest level, correlations beyond the temporal organization of information, allowing it to reflect classes of visual or audio or audio-visual types. Once a hierarchy is extracted from the data analysis, a nested indexing structure can be created to access relevant information at a specific level of detail, according to the user requirements. The ACM Portal is published by the Association for Computing Machinery. Copyright © 2010 ACM, Inc. Terms of Usage Privacy Policy Code of Ethics Contact Us Useful downloads: Adobe Acrobat QuickTime Windows Media Player Real Player
Using Tcl/Tk to program a full functional geographic information system
Authors: George C. Moon, Alex Lee, Stephen Lindsey
Venue: Proceedings of the 3rd Annual USENIX Workshop on Tcl/Tk - Volume 3 (1995)

Tcl/tk is used to provide programming constructs and easy to build graphical user interfaces for a full functional Geographical Information System (GIS). This paper defines the term GIS, explains why tcl/tk is used, discusses which extensions to tcl/tk are used, and describes what extensions are added to support the GIS. Examples are provided. The GIS system is part of a commercial product family internally referred to as Harbour GIS (HG). Tcl/tk and the GIS extensions are used to build common graphical user interface widgets for GIS program developers and to build GIS specific applications for GIS end users. This paper presents the extensions using simple examples that should be easy to follow without need for specific domain knowledge. By presenting simple examples of how the extensions are used, it is hoped that others may gain insights into how one commercial vendor has approached adding significant functionality to tcl/tk.
Active speech source localization by a dual coarse-to-fine search
Authors: R. Duraiswami
Venue: Proceedings of the Acoustics, Speech, and Signal Processing, 2001. on IEEE International Conference - Volume 05 (2001)

Accurate and fast localization of multiple speech sound sources is a significant problem in videoconferencing systems. Based on the observation that the wavelengths of the sound from a speech source are comparable to the dimensions of the space being searched, and that the source is broadband, we develop an efficient search strategy that finds the source(s) in a given space. The search is made efficient by using coarse-to-fine strategies in both space and frequency. The algorithm is shown to be robust compared to typical delay-based estimators and fast enough for real-time implementation. Its performance can be further improved by using constraints from computer vision.
Evaluating the Comprehension of Euler Diagrams
Authors: Florence Benoy, Peter Rodgers
Venue: Proceedings of the 11th International Conference Information Visualization (2007)

We describe an empirical investigation into layout criteria that can help with the comprehension of Euler diagrams. Euler diagrams are used to represent set inclusion in applications such as teaching set theory, database querying, software engineering, filing system organisation and bio-informatics. Research in automatically laying out Euler diagrams for use with these applications is at an early stage, and our work attempts to aid this research by informing layout designers about the importance of various Euler diagram aesthetic criteria. The three criteria under investigation were: contour jaggedness, zone area inequality and edge closeness. Subjects were asked to interpret diagrams with different combinations of levels for each of the criteria. Results for this investigation indicate that, within the parameters of the study, all three criteria are important for understanding Euler diagrams and we have a preliminary indication of the ordering of their importance.
Formal Specification of Web Service Contracts for Automated Contracting and Monitoring
Authors: Steffen Lamparter, Stefan Luckner, Sybille Mutschler
Venue: Proceedings of the 40th Annual Hawaii International Conference on System Sciences (2007)

Service-oriented computing as a concept for providing interoperability and flexibility within heterogeneous environments has gained much attention within the last few years. Dynamically integrating external Web services into enterprise applications requires automatic contracting between service requestors and providers and automatic contract monitoring. This paper suggests a semi-automatic approach since in the current legal environment full automation is not feasible. We elaborate on the content of Web service contracts from a legal perspective and derive a set of legal requirements. Based on these requirements we propose an ontology-based representation of contract clauses as well as monitoring information. We can thus automatically evaluate whether a service execution meets the requirements expressed in a contract.
An implementation of the Yarrow PRNG for FreeBSD
Authors: Mark R. V. Murray
Venue: Proceedings of the BSD Conference 2002 on BSD Conference (2002)

Computers are by their definition predictable. The problem of obtaining good-quality random numbers is well known. There is a great need for entropy in the running kernel, as well as in user-space. The kernel needs to randomise TCP sequences, seed keys for IPSec, randomise PIDs, and so on. Starvation of these random numbers is a critical problem. Users need random keys, random filenames, nondeterministic games, random numbers for Monte-Carlo simulation and so on. Kelsey, Schneier and Ferguson proposed an improved algorithm for providing statistically random numbers, at the same time cryptographically protecting their sequence and state. This is the Yarrow algorithm. This work presents an implementation of this algorithm as the entropy device (/dev/random) in FreeBSD's kernel.
A practical method to reduce a number of reference signals for the ANC system
Authors: M. Akiho
Venue: Proceedings of the Acoustics, Speech, and Signal Processing, 1999. on 1999 IEEE International Conference - Volume 04 (1999)

We propose a practical method to reduce a number of reference signals for an active noise cancellation (ANC) system and the filter characteristics to generate the reduced number of reference signals, which maintain the original value of the coherence function. This method finds the number of independent noise sources and provides the filter characteristics based on SVD (singular value decomposition) of the power spectrum matrix of the reference signals. Then, we also use the multiple coherence function analysis to select dominant components in the reference signals. The method contributes greatly in reducing the number of reference signals for the ANC system that uses the large number of reference signals. We also discuss the characteristics of the filters that synthesizes the new set of reference signals. An experimental test is also performed to confirm the theory.
Two-phase imse-optimal latin hypercube design for computer experiments
Authors: Kurt Palmer
Venue:  (2006)

With the increasing use of simulation codes in many fields, the subject of optimal design for computer experiments has received considerable amount of attention from the researchers. This thesis develops a two-phase approach to create IMSE-optimal Latin hypercube design (LHD) for the Kriging model. It calls for supplementing an initial LHD with additional observations to produce a new optimal LHD with regard to the IMSE criterion. Three issues need to be addressed in order to implement the two-phase approach successfully. They are (1) the determination of sample size; (2) the point allocation strategy and (3) the estimations of unknown model parameters that are necessary for constructing Kriging models. This thesis first conducts a comprehensive empirical study to address the sample size issue. A series of test functions were used to examine the relationship between the sample size and the fidelity of the fitted Kriging model for a wide variety of surfaces with as many as four input variables. This thesis develops an experiential source of recommendations for the sample size required to produce a Kriging model with the desired level of accuracy. Then a genetic algorithm used to generate the two-phase IMSE-optimal LHDs was developed. The performances of the two-phase IMSE-optimal LHDs were evaluated and compared to the performances of some other computer experimental designs. The results indicate that the performances of the two-phase IMSE-optimal LHDs are promising when the training points are appropriately allocated between two phases. The third part investigates the impact of the point allocation strategy. The results show that allocating a relatively large portion of the training points to the first phase to obtain decent estimates of unknown parameters is of special importance. The last part investigates the small sample behavior of the model parameter's maximum likelihood estimators (MLE). The results indicate that small sample sizes may yield poor MLE for the unknown model parameters. The penalized NILE should be employed to estimate unknown parameters and was shown very beneficial for constructing two-phase IMSE-optimal LHDs when the number of training points allocated to the first phase is small.
A Refined Goal Model for Semantic Web Services
Authors: Michael Stollberg, Barry Norton
Venue: Proceedings of the Second International Conference on Internet and Web Applications and Services (2007)

The idea of service orientation envisions dynamic detection and execution of suitable Web services for solving a particular request. Most realization approaches pay only little attention to the client side of such architectures. We therefore promote a goal-driven approach: a client merely specifies the objective to be achieved in terms of a goal, and the system resolves this by automated detection, composition, and execution of Web services. Extending the WSMO framework, we present a model for describing goals as formalized client objectives that carry all information relevant for automated detection and execution of Web services.
A documental approach to adventure game development
Authors: Pablo Moreno-Ger, José Luis Sierra, Iván Martínez-Ortiz, Baltasar Fernández-Manjón
Venue: Science of Computer Programming (2007)

In this paper, we propose a documental approach to the development of graphical adventure videogames. This approach is oriented to the production and maintenance of adventure videogames using the game's storyboard as the key development element. The videogame storyboard is marked up with a suitable domain-specific descriptive markup language, from which the different art assets that are needed are referred to, and then the final executable videogame itself is automatically produced by processing the marked storyboard with a suitable processor for such a language. This document-oriented approach opens new authoring possibilities in videogame development and allows a rational collaboration between the different communities that participate in the development process: game writers, artists, and programmers. We have implemented the approach in the context of the project, by defining a suitable markup language for the storyboards (the language), and by building a suitable processor for this language (the engine).
A Low-Cost RF MIMO Test Method Using a Single Measurement Set-up
Authors: Erkan Acar, Sule Ozev, Kevin B. Redmond
Venue: Proceedings of the 25th IEEE VLSI Test Symmposium (2007)

Multiple Input Multiple Output (MIMO) based systems have recently received a lot of attention as their projected data rate is twice as fast as the currently available systems. Due to the increased number of RF paths, the testing becomes more complicated, thereby increasing the overall test cost of these devices. In this paper, we propose a low costMIMO test solution which targets critical specifications that are fundamental to the MIMO system operation, such as gain, IIP3, and phase imbalances between the RF paths. Our test methodology measures these parameters with a single test setup that enables the calculation of the relevant performance parameters. Using the proposed test method, RF MIMO systems can be tested using a mixed signal tester, and on-board circuitry with a reasonable accuracy. Both simulation and measurement results confirm the high accuracy and repeatability of our test technique.
A compositional approach to the combination of combinational and sequential equivalence checking of circuits without known reset states
Authors: In-Ho Moon, Per Bjesse, Carl Pixley
Venue: Proceedings of the conference on Design, automation and test in Europe (2007)

As the pressure to produce smaller and faster designs increases, the need for formal verification of sequential transformations increases proportionally. In this paper we describe a framework that attempts to extend the set of designs that can be equivalence checked. Our focus lies in integrating sequential equivalence checking into a standard design flow that relies on combinational equivalence checking today. In order to do so, we can not make use of reset state or reset sequence information (as this is not given in combinational equivalence checking), and we need to mitigate the complexity inherent in the traditional sequential equivalence checking algorithms. Our solution integrates combinational and sequential equivalence checking in such a way that the individual analyses benefit from each other. The experimental results show that our framework can verify designs which are out of range for pure sequential equivalence checking methods aimed designs with unknown reset states.