ppxscal/embedding_network huggingface dataset:
Certificate-based access control policies description language
Authors: Jerzy Pejaś
Venue: Artificial intelligence and security in computing systems (2003)

The paper contains the proposal of the access control policy description language to support security and management of distributed systems. This policy language is based on a declarative, object-oriented Ponder language presented in Damianou [DDL00]. The language is flexible, expressive and extensible to cover the wide range of requirements implied by the current distributed systems paradigms. The additional extensions included into Ponder allow us to implement a certificate-based access control system, which formally has been specified by Kurkowski, et. al. [KUP02].
Moving clocks and bending space: a learning/interactive museum environment (LIME)
Authors: Geralyn Abinader, Joey Stein, Molly Lenore
Venue: ACM SIGGRAPH 2003 Educators Program (2003)

The process of creating a successful exhibition at the American Museum of Natural History involves a dialogue between those who research the science, those who create the content's presentation and the audience. This panel explores creation and evaluation of two non-traditional exhibits (Moving Clocks and You Bend Space-Time) created for the current Einstein exhibition. The panel describes the scientific and philosophical ideas that fueled their conception, explains the design and technological choices, and examines how educational media experiences are evaluated.
Visualization Techniques of Management Rules for Software Development Projects
Authors: Jacinto Mata, José L. Álvarez, José C. Riquelme, Isabel Ramos, Jesús S. Aguilar, Francisco Ferrer
Venue: Proceedings of the Third International Conference on Quality Software (2003)

The application of data mining techniques to themanaging of Software Development Projects (SDP) is notan uncommon phenomenon, as in any other productiveprocess that generates information in the way of inputdata and output variables. In this paper, a set of toolsdeveloped by the authors, that generate, in a visualway, managing rules suitable to cover minimum goalsin a SDP are presented. Although the techniques usedare able to generate quantitative rules, giving numericvalues suitable for these goals, the visual representation ofthese rules helps their easy and quick understanding by amanager of a SDP. The application to a database generatedfrom the simulation of a project allows to establish aprofitable comparison and to demonstrate the validity of thetechniques.
Polymorphous fabric-based systems: model, tools, applications
Authors: Christophe Wolinski, Maya Gokhale, Kevin McCabe
Venue: Journal of Systems Architecture: the EUROMICRO Journal (2003)

A polymorphous fabric-based systems is a parameterized cellular architecture in which an array of computing cells communicates with an embedded processor through a global memory. This architecture is customizable to different classes of applications by functional unit, interconnect, and memory parameters, and can be instantiated efficiently on platform FPGAs. In previous work [IEEE Micro 22(5) (2002)], we have demonstrated the advantage of reconfigurable fabrics for image and signal processing applications. Recently, we have build a fabric generator (FG), a Java-based toolset that greatly accelerates construction of the fabrics. A module-generation library is used to define, instantiate, and interconnect cells' datapaths. FG also generates customized sequencers for individual cells or collections of cells. We describe the fabric-based system model, the FG toolset, and concrete realizations of fabric architectures generated by FG on the Altera Excalibur ARM that can deliver 4.5 GigaMACs/s (8/16 bit data, multiply-accumulate).
Improved p-domain rate control and perceived quality optimizations for MPEG-4 real-time video applications
Authors: Michael Militzer, Maciej Suchomski, Klaus Meyer-Wegener
Venue: Proceedings of the eleventh ACM international conference on Multimedia (2003)

The paper describes bit rate control for a one-pass MPEG-4 video encoding algorithm in order to make it suitable for real-time applications. The proposed control method is of low computational complexity and more accurate than previous approaches. In result, the rate-control buffer size which highly influences the latency between a video sender and receiver can be decreased significantly. Additionally, a solution is proposed for increasing the perceived quality by introducing an advanced bit allocation scheme and by exploiting activity masking. The proposed algorithm has been implemented in the XVID codec, a representative of the MPEG-4 standard. Experiments prove that the proposed algorithm is highly accurate and provides improved perceived visual quality. Moreover, the implementation outperforms other up-to-now bit rate control algorithms.
Searching expenditure and interval graphs
Authors: Fedor V. Fomin
Venue: Discrete Applied Mathematics (2004)

The problem of searching a fugitive in a graph by a team of pursuers is considered. A new criterion of optimal search called the searching expenditure is defined. It is proved that for each graph G, the searching expenditure is equal to the number of edges in the least (with respect to the number of edges) interval graph containing G as a subgraph.
Analysis of Error Mechanisms in Switched-Current Sigma-Delta Modulators
Authors: José M. De La Rosa, Belén Pérez-Verdú, Fernando Medeiro, Rocío Del Río, Angel Rodríguez-Vázquez
Venue: Analog Integrated Circuits and Signal Processing (2004)

This paper presents a systematic analysis of the major switched-current (SI) errors and their influence on the performance degradation of &Sigma;&Delta; Modulators (&Sigma;&Delta;Ms). The study is presented in a hierarchical systematic way. First, the physical mechanisms behind SI errors are explained and a precise modeling of the memory cell is derived. Based on this modeling, the analysis is extended to other circuits of higher level in the modulator hierarchy such as integrators and resonators. After that, the study is extended to the modulator level, considering two fundamental architectures: a 2nd-order LowPass &Sigma;&Delta;M (2nd-LP&Sigma;&Delta;M) and a 4th-order BandPass &Sigma;&Delta;M (4th-BP&Sigma;&Delta;M). The noise shaping degradation caused by the linear part of SI errors is studied in the first part of the paper. This study classifies SI non-idealities in different categories depending on how they modify the zeroes of the quantization noise transfer function. As a result, closed-form expressions are found for the degradation of the signal-to-noise ratio and for the change of the notch frequency position in the case of 4th-BP&Sigma;&Delta;Ms. The analysis is treated considering both the isolated and the cumulative effect of errors. In the second part of the paper the impact of non-linear errors on the modulator performance is investigated. Closed-form expressions are derived for the third-order harmonic distortion and the third-order intermodulation distortion at the output of the modulator as a function of the different error mechanisms. In addition to the mentioned effects, thermal noise is also considered. The most significant noise sources of SI &Sigma;&Delta;Ms are identified and their contributions to the input equivalent noise are calculated. All these analyses have been validated by SPICE electrical simulations at the memory cell level and by time-domain behavioural simulations at the modulator level. As an experimental illustration, measurements taken from a 0.8 &mu;m CMOS SI 4th-BP&Sigma;&Delta;M silicon prototype validate our approach.
Empirical Case Studies of Combining Software Quality Classification Models
Authors: Taghi M. Khoshgoftaar, Erik Geleyn, Laurent Nguyen
Venue: Proceedings of the Third International Conference on Quality Software (2003)

The increased reliance on computer systems in themodern world has created a need for engineering reliabilitycontrol of computer systems to the highest possiblestandards.This is especially crucial in high-assuranceand mission critical systems.Software quality classificationmodels are one of the important tools in achievinghigh reliability.They can be used to calibrate softwaremetrics-based models to detect fault-prone softwaremodules.Timely use of such models can greatlyaid in detecting faults early in the life cycle of the softwareproduct.Individual classfiers (models) may beimproved by using the combined decision from multipleclassifiers.Several algorithms implement this conceptand have been investigated.These combined learnersprovide the software quality modeling community withaccurate, robust, and goal oriented models.This paperpresents a comprehensive comparative evaluation ofthree combined learners, Bagging, Boosting, and Logit-Boost.We evaluated these methods with a strong anda weak learner, i.e., C4.5 and Decision Stumps, respectively.Two large-scale case studies of industrialsoftware systems are used in our empirical investigations.
The PROMPT suite: interactive tools for ontology merging and mapping
Authors: Natalya F. Noy, Mark A. Musen
Venue: International Journal of Human-Computer Studies (2003)

Researchers in the ontology-design field have developed the content for ontologies in many domain areas. This distributed nature of ontology development has led to a large number of ontologies covering overlapping domains. In order for these ontologies to be reused, they first need to be merged or aligned to one another. We developed a suite of tools for managing multiple ontologies. These suite provides users with a uniform framework for comparing, aligning, and merging ontologies, maintaining versions, translating between different formalisms. Two of the tools in the suite support semi-automatic ontology merging: IPROMPT is an interactive ontology-merging tool that guides the user through the merging process, presenting him with suggestions for next steps and identifying inconsistencies and potential problems. ANCHORPROMPT uses a graph structure of ontologies to find correlation between concepts and to provide additional information for IPROMPT.
Control and Observation Structure for Analog Circuits with Current Test Data
Authors: Chun-Lung Hsu
Venue: Journal of Electronic Testing: Theory and Applications (2004)

This work presents a current-mode control and observation structure (CMCOS) for analog circuits with current test data. Current store cells (CSCs) are used in the proposed CMCOS to enhance the controllability and observability. The proposed CMCOS can be used to observe several test points, which can be simultaneously sampled and controlled using current test data. Additionally, the proposed CMCOS enables designers to use one channel of an oscilloscope to monitor simultaneously several output waveforms of analog circuits or systems. The physical chip of a two-stage CMCOS was fabricated using TSMC 1P4M CMOS 0.35 um technology. Also, experiments were performed to confirm the theoretical analysis.
Computer based systems in boiling water reactors
Authors: J. N. Shukla, J. A. Iubelt
Venue: ACM SIGCAS Computers and Society (1980)

This paper describes the application of computers to the General Electric Company's Boilling Water Reactor (BWR) type nuclear power plants. In the GE BWR plants, computers are used for Real Time Process Monitoring, Nuclear Steam Supply Systemn Performance and Core Limit Evaluation, Balance of Plant Performance Evaluation, Historical Recording, and Control Rod Pattern Enforcement. These functions are performed by different systems and subsystems each consisting of one or more computers. This paper discusses the following:Basic design objectives of each System Major Functions performed by each system simplified systems configurations system operation system evaluation and testsThis paper concludes with a brief discussion of computer control and comments on a few anticipated control applications. It suggests that the architecture of the display control system is adaptable to control applications.
Content-based UEP: a new scheme for packet loss recovery in music streaming
Authors: Ye Wang, Ali Ahmaniemi, David Isherwood, Wendong Huang
Venue: Proceedings of the eleventh ACM international conference on Multimedia (2003)

Bandwidth efficiency and error robustness are two essential and conflicting requirements for streaming media content over error-prone channels, such as wireless channels. This paper describes a new scheme called content-based unequal error protection (C-UEP), which aims to improve the user-perceived QoS in the case of packet loss. We use music streaming as an example to show the effectiveness of the new concept. C-UEP requires only a small fraction of the redundancy used in existing forward error correction (FEC) methods. C-UEP classifies every audio segment (e.g. an encoding frame) into different classes to improve encoding efficiency. Salient transients such as drumbeats and note onsets are encoded with more redundancy in a secondary bitstream used to recover lost packets by the receiver. Formal perceptual evaluations show that our scheme improves audio quality significantly over simple muting and packet repetition baselines. This improvement is achieved with a negligible amount of redundancy, which is transmitted to the receiver ahead of playback.
A fuzzy approach to classification of text documents
Authors: Wei Yi Liu, Ning Song
Venue: Journal of Computer Science and Technology (2003)

This paper discusses the classification problems of text documents. Based on the concept of the proximity degree, the set of words is partitioned into some equivalence classes. Particularly, the concepts of the semantic field and association degree are given in this paper. Based on the above concepts, this paper presents a fuzzy classification approach for document categorization. Furthermore, applying the concept of the entropy of information, the approaches to select key words from the set of words covering the classification of documents and to construct the hierarchical structure of key words are obtained.
Advances in direct numerical simulations of 3D wall-bounded flows by Vortex-in-Cell methods
Authors: G.-H. Cottet, P. Poncet
Venue: Journal of Computational Physics (2004)

This paper is devoted to the design of Vortex-In-Cell (VIC) methods for the direct numerical simulations of wall-bounded flows. A first method using body-fitted grid is presented in the particular case of a cylinder wake. This method, which has been used in [Phys. Fluids 14(6) (2002) 2021] to investigate the effect on the wake topology of cylinder rotations, is an extension of the VIC method presented in [J. Comput. Phys. 175 (2002) 702] for periodic geometries. Features of the method that are specific to wall-bounded geometries - interpolation operators, field calculations and vorticity flux formulas to enforce no-slip boundary conditions - are described in details. The accuracy of the method in the calculation of the body forces is investigated by comparisons with experiments and benchmark calculations. A second class of methods is in the spirit of the immersed boundary methods. The paper in particular shows that the no-slip conditions are very naturally handled by the vorficity flux formulas, independently of the relative locations of the particles and the body. Numerical experiments on the test-case of a ring impinging on a cylinder suggest that the method is second-order accurate.
Hypergraph Packing and Graph Embedding
Authors: V. Rödl, A. Ruciński, A. Taraz
Venue: Combinatorics, Probability and Computing (1999)

We provide sufficient conditions for packing two hypergraphs. The emphasis is on the asymptotic case when one of the hypergraphs has a bounded degree and the other is dense. As an application, we give an alternative proof for the bipartite case of the recently developed Blow-up Lemma [12].
Benchmarking Attribute Selection Techniques for Discrete Class Data Mining
Authors: Mark A. Hall, Geoffrey Holmes
Venue: IEEE Transactions on Knowledge and Data Engineering (2003)

Data engineering is generally considered to be a central issue in the development of data mining applications. The success of many learning schemes, in their attempts to construct models of data, hinges on the reliable identification of a small set of highly predictive attributes. The inclusion of irrelevant, redundant, and noisy attributes in the model building process phase can result in poor predictive performance and increased computation. Attribute selection generally involves a combination of search and attribute utility estimation plus evaluation with respect to specific learning schemes. This leads to a large number of possible permutations and has led to a situation where very few benchmark studies have been conducted. This paper presents a benchmark comparison of several attribute selection methods for supervised classification. All the methods produce an attribute ranking, a useful devise for isolating the individual merit of an attribute. Attribute selection is achieved by cross-validating the attribute rankings with respect to a classification learner to find the best attributes. Results are reported for a selection of standard data sets and two diverse learning schemes C4.5 and naive Bayes.
Adoption of Information and Communication Technologies: Key Policy Issues, Barriers and Opportunities for People with Disabilities
Authors: Paul M. A. Baker, Christine Bellordre
Venue: Proceedings of the Proceedings of the 37th Annual Hawaii International Conference on System Sciences (HICSS'04) - Track 5 - Volume 5 (2004)

While wireless communication and other information linked technologies have rapidly achieved widespread levels of adoption, a significant array of stakeholder groups have been effectively excluded, not by as much by active intent as by inadvertent oversight and lack ofawareness. Many of these technologies routinely used by the general population are frequently inaccessible to persons with disabilities. Barriers to the use of these technologies by people with varying disabilities may be subtle and unintentional, but never the less very real. This paper presents preliminary results of policy research designed to develop a framework forassessing the status quo, developing inclusive policy initiatives, and evaluating the efficacy of the research approach.
Algebraic values of analytic functions
Authors: Michel Waldschmidt
Venue: Journal of Computational and Applied Mathematics (2003)

Given an analytic function of one complex variable f, we investigate the arithmetic nature of the values of f at algebraic points. A typical question is whether f(α) is a transcendental number for each algebraic number α. Since there exist transcendental entire functions f such that f(t)(α) ∈ Q[α] for any t ≥ 0 and any algebraic number α, one needs to restrict the situation by adding hypotheses, either on the functions, or on the points, or else on the set of values.Among the topics we discuss are recent results due to Andrea Surroca on the number of algebraic points where a transcendental analytic function takes algebraic values, new transcendence criteria by Daniel Delbos concerning entire functions of one or several complex variables, and Diophantine properties of special values of polylogarithms.
A Quasi Static Model for a Simply Supported Beam in a Circuit Simulation Framework
Authors: S Jairam, C Venkatesh, N Bhat, Shyam Singh, Rudra Pratap
Venue: Proceedings of the 17th International Conference on VLSI Design (2004)

Traditional modeling of systems, for dynamic analyses,involves formulation of a second order differential equation.This method is an approximation for the actual behaviourof the system. Calculating equivalent second order co-efficientscan result in inaccuracies due to approximationsat different stages of modeling. This paper presents a simplesolution for simulation of a Micro-Electro-Mechanicalsimply supported beam with a point load. The model hasbeen compiled in circuit simulation framework. The solutionassumes a quasi static behaviour due to low operatingfrequency of the beam. Static and transient deflection analyseshave been performed. Equivalent capacitance offeredby a deflected beam has also been calculated.
Traversable stack with fewer errors
Authors: Paulo A. S. Veloso
Venue: ACM SIGPLAN Notices (1979)

A complete finite "algebraic" specification for a version of traversable stack with fewer error conditions is presented. This is used to illustrate some issues concerning formal specification of data types, namely naturalness and clarity. Uncontrolled errors are considered harmful and canonical-term specifications are considered helpful.
On irreducible p, q-representations of gl(2)
Authors: Vivek Sahai, Shalini Srivastava
Venue: Journal of Computational and Applied Mathematics (2003)

The theory of irreducible p, q-representations of the complex Lie algebra gl(2) is developed. We construct a one variable model of irreducible p,q-representations of the gl(2) in terms of p,q-derivative operator, and derive a generating function based on it.
Defect Diagnosis Based on Pattern-Dependent Stuck-At Faults
Authors: Irith Pomeranz, Srikanth Venkataraman, Sudhakar M. Reddy, Enamul Amyeen
Venue: Proceedings of the 17th International Conference on VLSI Design (2004)

We propose a unified approach for diagnosis of defects ofdifferent types. We use a new fault model called pattern-dependentstuck-at faults to narrow down the list of candidatedefect sites. The important property of pattern-dependentstuck-at faults is that they encompass thebehavior of other fault models. By using a specific subsetof the pattern-dependent stuck-at faults to perform an initialdiagnosis, we can accurately and efficiently identify alist of candidate defect sites independent of the defecttype. We present experimental results of diagnosis oftransition faults and of bridging faults as examples todemonstrate the proposed approach and its ability to diagnosefaults of different types.
Participatory design approach to information architecture design for children
Authors: Joon Sang Baek, Kun-Pyo Lee
Venue: Proceedings of the 2003 conference on Interaction design and children (2003)

In this paper, two participatory design toolkits for designing information architecture are introduced. They allow children to participate in the design process as design partners and build information structure that reflects their cognitive process. The toolkits were applied to find usability problems in the directory of Korean Yahooligans (kr.kids.yahoo.com). The result shows that children's information architecture differs from that of adults in depth and width, contents, and relationship between keywords; and that the toolkits can elicit users' needs effectively.
Improved Deletions in Dynamic Spatial Approximation Trees
Authors: Gonzalo Navarro, Nora Reyes
Venue: Proceedings of the XXIII International Conference of the Chilean Computer Science Society (2003)

The Dynamic Spatial Approximation Tree (dsa-tree) isa recently proposed data structure for searching in metricspaces. It has been shown that it compares favorablyagainst alternative data structures in spaces of high dimensionor queries with low selectivity. The dsa-tree supportsinsertion and deletions of elements. However, it has beennoted that deletions degrade the structure over time, so thestructure cannot be regarded as fully dynamic in the sensethat deletions are not sustainable for long periods of time.In this paper we propose and study a new method to handledeletions over the dsa-tree, which is shown to be superiorto the former in the sense that it does not affect searchtime at all. Indeed, we show that the resulting tree is exactlyas if the deleted element had never been inserted. Theoutcome is a fully dynamic data structure that can be managedthrough insertions and deletions over arbitrarily longperiods of time without any reorganization.