ppxscal/embedding_network huggingface dataset:
Intelligent support of engineering analysis using ontology and case-based reasoning
Authors: Peter Wriggers, Marina Siplivaya, Irina Joukova, Roman Slivin
Venue: Engineering Applications of Artificial Intelligence (2007)

Accuracy and reliability of the FEM analysis results depend heavily on the quality of the decisions made during the analysis process. As there are no industry-level systems for support of non-algorithmic tasks of FEM-based engineering analysis, such tasks are carried out by engineers on the basis of expert knowledge and experience. However, to exploit contemporary potentialities of FEM to solve a complex engineering problem requires high level of expertise; this restricts application of achievements of FE analysis in industry. In this paper, the concept of intelligent support of engineering analysis using knowledge-based system is presented, which is a promising way to increase quality of complex analysis.
Automated Detection of Emerging Network Security Threats
Authors: M. S. De-Silva, D. J. Parish, P. Sandford, J. M. Sandford
Venue: Proceedings of the Sixth International Conference on Networking (2007)

System and network security are significant challenges facing the Internet community today. Hi-tech crime is on the increase and is a threat to a budding online business environment. Reconnaissance technologies that enable the security community to keep abreast of new threats have been developed and deployed. These technologies monitor illegitimate Internet traffic but appropriate data analysis is required to identify new and emerging threats amongst the deluge of traffic that is illegitimate but known and understood. This paper presents an approach towards the automation of such an analysis process.
Parameter functionalization and its application to the problem of local bifurcations in dynamic systems
Authors: L. S. Ibragimova, M. G. Yumagulov
Venue: Automation and Remote Control (2007)

The method of parameter functionalization suggested by M.A. Krasnosel'skii for solving problems with parameters and continuums of fixed points is considered. A general scheme of constructing the functionals in the bifurcation problem of small solutions to operator equations is suggested. As an application, we consider problems of local bifurcations in dynamic systems that are topical for the control theory: bifurcations of double equilibrium and forced oscillations and bifurcations of cycles of discrete systems. New sufficient criteria of bifurcations are indicated, an iteration procedure for constructing the solutions and their asymptotic representations are elaborated, and new stability conditions are stated.
Blind source separation of acoustic mixtures using time-frequency domain independent component analysis
Authors: D. S. Jayarman, G. Sitaraman, R. Seshadri
Venue: Proceedings of the The 8th International Conference on Communication Systems - Volume 02 (2002)

Blind source separation of acoustic mixtures aims at providing a solution to the classical cocktail-party problem. The inherent delays and convolutions in microphone recordings, entails a modification in the independent component analysis (ICA), which achieves separation by making the assumption of statistical independence of source signals that are linearly combined. The proposed algorithm provides a solution for the blind source separation problem by shifting the domain of the problem to the time-frequency domain and applying ICA to each of the frequency components individually. Satisfactory results were achieved for speech-music as well as speech-speech separation by adopting the time-frequency domain ICA.
Authorisation Using Attributes from Multiple Authorities
Authors: David W. Chadwick
Venue: Proceedings of the 15th IEEE International Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises (2006)

As attribute based authorisation infrastructures such as XACML gain in popularity, linking together user attributes from multiple attribute authorities (AAs) is becoming a pressing problem. Current models and mechanisms do not support this linking, primarily because the user is known by different names in the different AAs. Furthermore, linking the attributes together poses a potential risk to the user's privacy. This paper provides a model and protocol elements for linking AAs, service providers and user attributes together, under the sole control of the user, thereby maintaining the user's privacy. The paper also shows how the model and protocol elements can be implemented using existing technologies, namely relational databases or LDAP directories, and the SAML protocol.
Modeling disfluency and background events in ASR for a natural language understanding task
Authors: R. C. Rose
Venue: Proceedings of the Acoustics, Speech, and Signal Processing, 1999. on 1999 IEEE International Conference - Volume 01 (1999)

This paper investigates techniques for minimizing the impact of non-speech events on the performance of large vocabulary continuous speech recognition (LVCSR) systems. An experimental study is presented that investigates whether the careful manual labeling of disfluency and background events in conversational speech can be used to provide an additional level of supervision in training HMM acoustic models and statistical language models. First, techniques are investigated for incorporating explicitly labeled disfluency and background events directly into the acoustic HMM. Second, phrase-based statistical language models are trained from utterance transcriptions which include labeled instances of these events. Finally, it is shown that significant word accuracy and run-time performance improvements are obtained for both sets of techniques on a telephone-based spoken language understanding task.
A Faceted Approach to Service Specification
Authors: James Walkerdine, John Hutchinson, Pete Sawyer, Glen Dobson, Victor Onditi
Venue: Proceedings of the Second International Conference on Internet and Web Applications and Services (2007)

Service-centric computing is developing and maturing rapidly as a paradigm for developing distributed systems. In recent years there has been a rapid growth in the number and types of processes being proposed to support aspects of SOC. Many of these processes require that services be modelled in a particular way and this puts great pressure on traditional notions of service specification, questioning the very nature of how services should be described for potential consumers. We present a technique for addressing this theoretical and practical bottleneck: faceted service specification. This allows different specifications to exist side-by-side if they are needed, yet places little obligation on the service provider to support specifications that are judged to be of little or no value. We show how faceted service specification is being used in the SeCSE project to support advanced service-centric system development activities.
Solaris MC: a multi computer OS
Authors: Yousef A. Khalidi, Jose M. Bernabeu, Vlada Matena, Ken Shirriff, Moti Thadani
Venue: Proceedings of the 1996 annual conference on USENIX Annual Technical Conference (1996)

Solaris MC is a prototype distributed operating system for multi-computers (i.e. clusters of nodes) that provides a single-system image: a cluster appears to the user and applications as a single computer running the Solaris®, operating system. Solaris MC is built as a set of extensions to the base Solaris UNIX®, system and provides the same ABI/API as Solaris, running unmodified applications. The components of Solaris MC are implemented in C++ through a CORBA-compliant object oriented system with all new services defined by the IDL definition language. Objects communicate through a runtime system that borrows from Solaris doors and Spring subcontracts. Solaris MC is designed for high availability: if a node fails, the remaining nodes remain operational. Solaris MC has a distributed caching file system with Unix consistency semantics, based on the Spring virtual memory and file system architecture. Process operations are extended across the cluster, including remote process execution and a global /proc file system. The external networks is transparently accessible from any node in the cluster. The prototype is fairly complete--we regularly exercise the system by running multiple copies of an off-the-shelf commercial database system.
Leasing Variants in Distributed Systems
Authors: Michael Schneider, Markus Aleksy, Martin Schader, Makoto Takizawa
Venue: Proceedings of the First International Conference on Complex, Intelligent and Software Intensive Systems (2007)

In recent years, the leasing concept has become increasingly popular in the field of distributed systems; main examples are JINI and the introduction of leasing to the CORBA context. Nevertheless, no detailed analysis of leasing variants and their fields of application has been done yet. In this paper, we give a systematic classification of possible leasing variants, discuss their advantages and disadvantages and point out their possible uses. In this context, we dispose of the restriction that resource claimants are not capable of waiting for a resource; an assumption made in hitherto literature for simplicity reasons. Furthermore, we consider possible mechanisms on which to base lease renewal decisions that go beyond the simple rules examined in previous works. In the process, we hint at how existing leasing approaches have to be enhanced to accomplish these relaxations.
Mutation-based validation of high-level microprocessor implementations
Authors: J. Campos, H. Al-Asaad
Venue: Proceedings of the High-Level Design Validation and Test Workshop, 2004. Ninth IEEE International (2004)

In this paper we present a preliminary method of validating a high-level microprocessor implementation by generating a test sequence for a collection of abstract design error models that can be used to compare the responses of the implementation against the specification. We first introduce a general description of the abstract mutation-based design error models that can be tailored to span any coverage measure for microprocessor validation. Then we present the clustering-and-partitioning technique that single-handedly makes the concurrent design error simulation of a large set of design errors efficient and allows for the acquisition of statistical data on the distribution of design errors across the design space. We finally present a method of effectively using this statistical information to guide the ATPG efforts.
Nonperiodic sampling and reconstruction from averages
Authors: D. Walnut
Venue: Proceedings of the Acoustics, Speech, and Signal Processing, 1999. on 1999 IEEE International Conference - Volume 04 (1999)

We show that recovery of a function from its averages over squares in the plane is closely related to a problem of recovery of bandlimited functions from samples on unions of regular lattices. We use this observation to construct explicit solutions to the Bezout equation which can be easily implemented in software. We also show that these sampling results give a new proof of the "three squares theorem" which says that a function in the plane can be recovered from its averages on translates of three squares oriented parallel to the coordinate axes whose sidelengths are pairwise irrationally related. Other proofs of this theorem and construction of solution to the Bezout equation rely on interpolation methods in the theory of functions of one and several complex variables. Our sampling technique gives much simpler solutions especially in higher dimensions.
Patch32: a system for automated client OS updates
Authors: Gerald Carter
Venue: Proceedings of the 1998 Conference on Large Installation System Administration of Windows NT (1998)

The adage "a chain is only as strong as its weakest link" is true for network security, the link being the host on the network. To secure a network, hosts must be thoughtfully installed and kept updated with the appropriate patches. For hosts running Microsoft Windows 95® or Microsoft Windows NT Workstation® keeping patches current is problematic. Unlike most Unix variants, neither Windows 95 nor NT Workstation ship with a network extensible update mechanism. Though third party solutions are available, they can be costly to implement for large networks. This paper presents a free update mechanism for hosts running Windows 9x or NT Workstation served by Samba (see Appendix A). Developed to patch Microsoft's 32 bit operating systems, the name Patch32 was adopted. Patch32 was developed for an existing network dominated by Sun Microsystems' SPARC servers running Solaris®, however, Patch32 can be used in any environment that provides SMB file services.
A Medical Case-Based Reasoning Component for the Rare Metabolic Diseases Database Ramedis
Authors: Thoralf Topel, Jens Neumann, Ralf Hofestadt
Venue: Proceedings of the Twentieth IEEE International Symposium on Computer-Based Medical Systems (2007)

In the area of diagnosis and therapy of inborn metabolic diseases, the investigation of genetic and clinical data has special importance. These data are the basis of further research and are available in large amounts in the form of case reports within relevant scientific publications and several mutation or disease-oriented databases. However, a successful evaluation of these information is difficult because of the large heterogeneity regarding availability, representation and comparability. Our approach supports clinical researchers of inborn metabolic defects by collecting relevant information of mutations and its corresponding phenotypes in the Rare Metabolic Diseases Database RAMEDIS and their analysis by using a medical case-based reasoning component. Today, on the basis of already over 750 stored case reports, the retrieval of similar cases is possible. The output of the CBR tool is a weighted list of relevant patient cases with according diagnosis and therapy information.
A new electroforming technology in aid of pressure for LIGA process
Authors: Hsiharng Yang, Tsung-Shuin Tsai, Reiyu Chein, Chia-Hua Chang, Jen-Chin Wu
Venue: Proceedings of the Symposium on Design, Test, Integration and Packaging of MEMS/MOEMS (2003)

New microelectroforming technique using air pressure assistance in the electrolyte is introduced. The theoretical model and experiments are reported in this paper. It shows that the pressurized electrolyte reduces hydrogen bubbles formation and defects existing on substrate surface. High pressure in the electrolyte limits bubbles formation in electroforming. It also results in good throwing power from the experimental samples observation. The edges of the electroformed workpiece using the pressurized method are smoother than the conventional electroforming. Metallurgical grains are finer when high pressures applied in the electrolyte based on SEM micrographs. The pressurized electroforming can increase the allowable current density, which can shorten plating time in the LIGA process. High growth rate due to a large applied current density results in large grains of electroforming microstructures, but the surface morphology of the pressurized electroforming is also improved comparing with the conventional method.
Model Checking Networked Programs in the Presence of Transmission Failures
Authors: Cyrille Artho, Christian Sommer, Shinichi Honiden
Venue: Proceedings of the First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering (2007)

Software model checkers work directly on single-process programs, but not on multiple processes. Conversion of processes into threads, combined with a network model, allows for model checking distributed applications, but does not cover potential communication failures. This paper contributes a fault model for model checking networked programs. If a naïve fault model is used, spurious deadlocks may appear, because certain processes are terminated before they can complete a necessary action. Such spurious deadlocks have to be suppressed, as implemented in our model checker extension. Our approach found several faults in existing applications, and scales well because exceptions generated by our tool can be checked individually.
Static Analysis of Programs with Graphical User Interface
Authors: Stefan Staiger
Venue: Proceedings of the 11th European Conference on Software Maintenance and Reengineering (2007)

We describe a new approach for statically analyzing programs which have a graphical user interface (GUI). Our analysis detects the parts of the program which belong to the GUI, it detects widgets and hierarchies they form, and it shows the event handlers connected to events of those widgets. Besides supporting general program understanding, we show that this also supports control-flow analysis, architecture recovery, migration to GUI builders and mapping the visual appearance of the program to source code artefacts. Our tests indicate that the static analysis we propose is fast and useful.
JFS log: how the journaled file system performs logging
Authors: Steve Best
Venue: Proceedings of the 4th annual Linux Showcase & Conference - Volume 4 (2000)

This paper describes the logging done by the Journaled File System (JFS). By logging, JFS can restore the file system to a consistent state in a matter of seconds, versus minutes or hours with non-journaled file systems. This white paper gives an overview of the changes to metadata structures that JFS logs.
AM-FM texture segmentation in electron microscopic muscle imaging
Authors: M. Pattichis
Venue: Proceedings of the Acoustics, Speech, and Signal Processing, 1999. on 1999 IEEE International Conference - Volume 04 (1999)

We segment the structural units of electron microscope muscle images using a novel AM-FM image representation. This novel AM-FM approach is shown to be effective in describing sarcomeres and mitochondrial regions of the electron microscope muscle images.
On adding replies to publish-subscribe
Authors: Gianpaolo Cugola, Matteo Migliavacca, Alessandro Monguzzi
Venue: Proceedings of the 2007 inaugural international conference on Distributed event-based systems (2007)

Recently, the publish-subscribe communication model has attracted the attention of developers as a viable alternative to traditional communication schemas, like request/reply, for the flexibility it brings to the architecture of distributed applications, by allowing components to be easily added or removed at run-time. At the same time, first experiences in building complex distributed applications using such model point out how it is often hard to live without a request/reply facility. We started from this consideration to introduce replies into the publish-subscribe model in a way that could minimize the impact on the positive characteristics of the model. In this paper we describe the resulting model and present four protocols to implement it, comparing them through the analysis of the results we gathered in running a large testbed on the PlanetLab network.
Discriminative spectral-temporal multiresolution features for speech recognition
Authors: P. McMahon
Venue: Proceedings of the Acoustics, Speech, and Signal Processing, 1999. on 1999 IEEE International Conference - Volume 02 (1999)

Multi-resolution features, which are based on the premise that there may be more cues for phonetic discrimination in a given sub-band than in another, have been shown to outperform the standard MFCC feature set for both classification and recognition tasks on the TIMIT database. This paper presents an investigation into possible strategies to extend these ideas from the spectral domain into both the spectral and temporal domains. Experimental work on the integration of segmental models, which are better at capturing the longer term phonetic correlation of a phonetic unit, into the discriminative multi-resolution framework is presented. Results are presented which show that including this supplementary temporal information offers an improvement performance for the phoneme classification task over the standard multi-resolution MFCC feature set with time derivatives appended. Possible strategies for the extension of theses techniques into the area of continuous speech recognition are discussed.
Performance analysis for clusters of symmetric multiprocessors
Authors: F. Almeida, J. A. Gomez, J. M. Badia
Venue: Proceedings of the 15th Euromicro International Conference on Parallel, Distributed and Network-Based Processing (2007)

In this article we analyze and model the performance of a symmetrical multiprocessor cluster. The obtained model takes into account the heterogeneity of the architecture's communications, which allows for a better adjustment and predictive ability of the performance. We used diverse applications with different parallel schemes to check the quality of the adjustments. The adjustment of the theoretical model and the experimental results is clearly improved when we take into account the combination of various mechanisms of communication.
IER clutter reduction in shallow water
Authors: F. B. Shin
Venue: Proceedings of the Acoustics, Speech, and Signal Processing, 1996. on Conference Proceedings., 1996 IEEE International Conference - Volume 06 (1996)

One of the most difficult challenges in shallow water active sonar processing is false alarm rate reduction via active classification. The goal of active classification is to remove as much clutter as possible while maintaining an acceptable P/sub d/ performance. Clutter in this context refers to any nontarget, threshold crossing cluster events. We present a novel approach to clutter reduction in shallow water using an integrated pattern recognition paradigm. With our understanding of target physics, we identify clues or features useful for clutter rejection by projecting raw data onto appropriate transformation spaces to achieve both energy compaction and subspace filtering. We explore various time-frequency distribution (TFD) functions, compressed phase map, and speech related processing domains to extract clues that provide insights into local multipath patterns and detailed signal dynamics. We perform thorough feature fusion and optimization, and evaluate clutter reduction performance in terms of receiver operating characteristic (ROC) curves. Our real data analyses indicate that we can achieve over an order of magnitude performance improvement in clutter reduction over that of the baseline processing.
A Topology Preserving Approach for Image Classification
Authors: Le Dong, Ebroul Izquierdo
Venue: Proceedings of the Eight International Workshop on Image Analysis for Multimedia Interactive Services (2007)

In this paper, an approach for image analysis and classification is presented. It is based on a topology preserving approach to automatically create a relevance map from salient areas in natural images. It also derives a set of well-structured representations from low-level description to drive the final classification. The backbone of this approach is a distribution mapping strategy involving two basic modules: structured low-level feature extraction using convolution neural network and a topology preservation module based on a growing neural gas network. Classification is achieved by simulating the high-level topdown visual information perception in primates followed by incremental Bayesian parameter estimation. The proposed modular system architecture offers straightforward expansion to include user relevance feedback, contextual input, and multimodal information if available.
A Relational Framework For The Integration Of Specifications
Authors: Eerke Boiten, John Derrick
Venue: Journal of Integrated Design Process Science (2003)

We describe a framework for viewpoint specification using formal specification languages. In order to establish consistency and to further develop specifications, specifications need to be integrated ("unified"). This integration is not defined in terms of their semantics, but more abstractly in terms of, so-called, development relations, which represent acceptable "developments" (e.g., refinements) of each of the viewpoint specifications. The framework is motivated by its instantiations with a number of specification languages (e.g., LOTOS and Z) and different development relations.