ppxscal/embedding_network huggingface dataset:
Automatic Data Acquisition and Signal Processing in the Field of Virology
Authors: Radu Dobrescu, Loretta Ichim
Venue: Proceedings of the 3rd international conference on Advances in Mass Data Analysis of Images and Signals in Medicine, Biotechnology, Chemistry and Food Industry (2008)

This paper presents an original experimental optical device (design and construction), based on the Light Scattering Spectroscopy (LSS) and microscopically control of the investigated field. The optical device used for automatic data acquisition in conjunction with a data processing module and fractal analysis. A light beam distributions mathematical model for experimental system is presented. Fractal analysis for Mie light scattering signals are used to extract information about cell nuclei size distributions and could be a useful tool to clearly discriminate between non-infected and virus infected cultures.
Prover's Palette: A User-Centric Approach to Verification with Isabelle and QEPCAD-B
Authors: Laura I. Meikle, Jacques D. Fleuriot
Venue: Proceedings of the 20th international conference on Computer Aided Verification (2008)

We present Prover's Palette, a general framework for formal verification using multiple tools, centred around the user. We illustrate the framework by describing a concrete integration of the theorem prover Isabelle with the computer algebra system QEPCAD-B.
Coal Gangue Image Process Approaches with Wavelet Analysis
Authors: Xianmin Ma, Jie Zang
Venue: Proceedings of the 2008 Congress on Image and Signal Processing, Vol. 4 - Volume 04 (2008)

According to main distribution regions of coal resource and the characteristic of gangues, a novel image process method of separating gangues from coal is proposed with wavelet analysis in this article. Under the different frequency ranges, a series of image processing approaches are exerted on coal gangue images with wavelet transform. Images of gangues and coal are first collected by means of the measurement system, and then are denoised. The image edges are detected by fast multi-scale edge detection. Images are segmented by algorithm of self-adaptive threshold. Using the multi-resolution merit of wavelet analysis, gangues images decomposition are especially stressed on, which provides the important data for selecting gangues from the coal. The coal gangues automatic separation system is realized by means of a newly ARM microprocessor, which has characteristics of high-performance, low power dissipation and low-cost exactly. The experiments result reveals that the proposed methods are efficient and practicable compared to traditional methods. And the suggested system is satisfied with accuracy requirements and real-time performance.
Complex Permittivity Estimation by Bio-inspired Algorithms for Target Identification Improvement
Authors: David Poyatos, David Escot, Ignacio Montiel, Ignacio Olmeda
Venue: Proceedings of the 2nd international work-conference on Nature Inspired Problem-Solving Methods in Knowledge Engineering: Interplay Between Natural and Artificial Computation, Part II (2007)

Identification of aircrafts by means of radar when no cooperation exists (Non-Cooperative Target Identification, NCTI) tends to be based on simulations. To improve them, and hence the probability of correct identification, right values of permittivity and permeability need to be used. This paper describes a method for the estimation of the electromagnetic properties of materials as a part of the NCTI problem. Different heuristic optimization algorithms such as Genetic Algorithms (GA) and Particle Swarm Optimization (PSO), as well as other approaches like Artificial Neural Networks (ANN), are applied to the reflection coefficient obtained via free-space measurements in an anechoic chamber. Prior to the comparison with real samples, artificial synthetic materials are generated to test the performance of these bio-inspired algorithms.
Mapping High-Level Syntax And Structure into Assembly Language
Authors: M. Smith, Y. Hoffner, M. Sealey
Venue: IEEE Micro (1985)

Does the mapping of mnemonics into high-level notation make assemblers easier to use? The autors' experience suggests that it does not.
Can Multi-Agents Wake Us from IC Design Productivity Nightmare?
Authors: Peter Staa, Christian Sebeke
Venue: Proceedings of the 3rd international conference on Industrial Applications of Holonic and Multi-Agent Systems: Holonic and Multi-Agent Systems for Manufacturing (2007)

Integrated Circuits (ICs) development fuels the whole semiconductor industry with ever complex designs. They are created in the microcosms of design teams, embedded in a demanding environment made up of customers, research, manufacturing, marketing and accounting. Best productivity wins in the market place, and therefore it is key to optimise the work that is left when the small deterministic part of it has been done. In this talk we will outline boundary conditions and external influences as well as specific characteristics of this world, and emphasise the particular challenges of automotive microelectronics. We will show how far our classic approaches regarding modelling and analysis go and highlight the potential for Multi-Agent Systems (MAS), to finally gain a common understanding and work out the prospective links.
Perfect Constraints Are Tractable
Authors: András Z. Salamon, Peter G. Jeavons
Venue: Proceedings of the 14th international conference on Principles and Practice of Constraint Programming (2008)

By using recent results from graph theory, including the Strong Perfect Graph Theorem, we obtain a unifying framework for a number of tractable classes of constraint problems. These include problems with chordal microstructure; problems with chordal microstructure complement; problems with tree structure; and the "all-different" constraint. In each of these cases we show that the associated microstructure of the problem is a perfect graph, and hence they are all part of the same larger family of tractable problems.
Authentication Binding between TLS and HTTP
Authors: Takamichi Saito, Kiyomi Sekiguchi, Ryosuke Hatsugai
Venue: Proceedings of the 2nd international conference on Network-Based Information Systems (2008)

As Secure Socket Layer or Transport Layer Security (SSL/ TLS) provides secure communication over the internet, there is no password-based authentication mechanism in original one. Then web application utilizes Hyper Text Transport Protocol (HTTP) authentication such like basic or digest with and over SSL/TLS. In the way, there are two authentications in HTTP over SSL/TLS session separately. It could be improper rather than inconvenient to establish secure communication. Then, we provide a way of authentication binding between them without modifying the protocols and implementation to show its effectiveness.
A brief response to J. A. Cohen's joint review
Authors: George Grätzer
Venue: ACM SIGACT News (2008)

Would not call this a rebuttal. I agree with most everything the reviewer writes, and I thank him for his effort. Nevertheless, as the author of the two books under review, I see some things differently.
Multi-Scale Kernel Latent Variable Models for Nonlinear Time Series Pattern Matching
Authors: B. Venkataramana Kini, C. Chandra Sekhar
Venue: Neural Information Processing: 14th International Conference, ICONIP 2007, Kitakyushu, Japan, November 13-16, 2007, Revised Selected Papers, Part II (2008)

In this paper we propose a method for nonlinear time series pattern matching: "Multi-Scale Kernel Latent Variable (MSKLV) models". The pattern matching methodology includes multi-scale analysis using wavelet decomposition of time series and finding latent vectors in the kernel feature space at different scales of wavelet decomposition. Latent vectors so obtained are matched for similarity with the corresponding latent vectors obtained for time series in the historical database. The proposed methodology is applied on time series generated in the evolving stages of disturbances of Tennesse Eastman challenge problem and MSKLV models are found to be superior to Multi-scale Latent Variable (MSLV) models.
A Local Move Set for Protein Folding in Triangular Lattice Models
Authors: Hans-Joachim Böckenhauer, Abu Zafer Dayem Ullah, Leonidas Kapsokalivas, Kathleen Steinhöfel
Venue: Proceedings of the 8th international workshop on Algorithms in Bioinformatics (2008)

The HP model is one of the most popular discretized models for the protein folding problem, i.e., for computationally predicting the three-dimensional structure of a protein from its amino acid sequence. This model considers the interactions between hydrophobic amino acids to be the driving force in the folding process. Thus, it distinguishes between polar and hydrophobic amino acids only and asks for an embedding of the amino acid sequence into a rectangular grid lattice which maximizes the number of neighboring pairs (contacts) of hydrophobic amino acids in the lattice.In this paper, we consider an HP-like model which uses a more appropriate grid structure, namely the 2D triangular grid and the face-centered cubic lattice in 3D. We consider a local-search approach for finding an optimal embedding. For defining the local-search neighborhood, we design a move set, the so-called pull moves, and prove its reversibility and completeness. We then use these moves for a tabu search algorithm which is experimentally shown to lead into optimum energy configurations and improve the current best results for several sequences in 2D and 3D.
Development of Internet Phone (VoIP) for Voice Security on VPN Environment
Authors: Sang-Jo Youk, Seung-Sun Yoo, Bong-Keun Lee, Chang-Yong Lee, Geuk Lee
Venue: Proceedings of the 2008 International Conference on Convergence and Hybrid Information Technology (2008)

The VoIP(Voice over IP) has been worldwide used and already put to practical use in many fields. However, it is needed to ensure secret of VoIP call in a special situation. It is relatively difficult to eavesdrop the commonly used PSTN in that it is connected with 1:1 circuit. However, it is difficult to ensure the secret of call on Internet because many users can connect to the Internet at the same time. Therefore, this paper suggests a new model of Internet telephone for eavesdrop prevention enabling VoIP (using SIP protocol) to use the VPN protocol and establish the probability of practical use comparing it with Internet telephone.
Using Folksonomies to Improve Peer-to-Peer Knowledge Sharing
Authors: Gaofeng Zhang, Zhiyi Qu, Adi Guo
Venue: Proceedings of the 2008 International Symposiums on Information Processing (2008)

It is important to sharing knowledge among the variant actors in universities and institutes. However today’s widely used tools for knowledge sharing are much ineffective, which displays as either lack of semantics or inconvenience to use. In order to resolve the both deficiencies, paper introduces to P2P knowledge sharing system with folksonomies. A unified concept named knowledge space for representing various types of knowledge objects and its representation based on folksonomies are defined. Paper then gives two methods based on folksonomies to measure the similarity between different knowledge spaces and partition a knowledge space into several knowledge sub-spaces. Aiming at improving knowledge sharing more effective, paper proposes a semantic handshake process to form semantic communities, which fully applies the intelligence and negotiation of collectivity. At last architecture of P2P knowledge sharing system based on folksonomies is given and according to it a prototype system is implemented.
How to improve intrinsic and extrinsic reliability of vias by process optimization
Authors: Sabine Penka, Susanne Schulte, Markus Czekalla, Jakob Kriz, Martina Hommel
Venue: Microelectronic Engineering (2008)

A systematic study of various processes and their impact on intrinsic reliability has been performed on Cu dual damascene interconnects. The most significant improvement for intrinsic reliability is the 'break-through' liner. A strong impact on stressmigration (SM) was revealed using a HDP based SiN deposition on top of Cu lines. Early failures in electromigration (EM) studies are present with insufficient cleaning processes. No reliability impact was detected with different plating and slurry chemistries and liner thickness increase. Extrinsic via reliability is assessed with a special test chip comprising 3E9 via/wafer. High ohmic vias are identified before and after thermal stress. As an example, the failure rates in Cu dual damascene levels with relaxed pitch before and after cleaning optimization are discussed.
Accelerated Keypoint Extraction
Authors: Rémi Trichet, Bernard Mérialdo
Venue: Proceedings of the 2008 Ninth International Workshop on Image Analysis for Multimedia Interactive Services (2008)

Keypoints have become a fundamental feature in image and video processing. This article presents a wavelet-inspired structure to speed up the keypoint extraction process. The method restricts the extraction process to high variation areas solely, deemed likely to provide keypoints. The variation is calculated at different scales according to a hierarchical structure inspired from the Haar wavelets. This structure is also used for a fast access to the regions retained for processing. Experimental results are provided to show the efficiency of the method and the influence of the main parameters.
Content Collection for the Labelling of Health-Related Web Content
Authors: K. Stamatakis, V. Metsis, V. Karkaletsis, M. Ruzicka, V. Svátek, E. Amigó, M. Pöllä, C. Spyropoulos
Venue: Proceedings of the 11th conference on Artificial Intelligence in Medicine (2007)

As the number of health-related web sites in various languages increases, so does the need for control mechanisms that give the users adequate guarantee on whether the web resources they are visiting meet a minimum level of quality standards. Based upon state-of-the-art technology in the areas of semantic web, content analysis and quality labelling, the MedIEQ project, integrates existing technologies and tests them in a novel application: the automation of the labelling process in health-related web content. MedIEQ provides tools that crawl the web to locate unlabelled health web resources, to label them according to pre-defined labelling criteria, as well as to monitor them. This paper focuses on content collection and discusses our experiments in the English language.
An efficient immune-based symbiotic particle swarm optimization learning algorithm for TSK-type neuro-fuzzy networks design
Authors: Cheng-Jian Lin
Venue: Fuzzy Sets and Systems (2008)

In this paper, we propose a new learning algorithm that can be used to design TSK-type neuro-fuzzy networks. Though there has been a great deal of interest in the use of immune algorithms (IAs) for computer science and engineering, in terms of fundamental methodologies, they are not dramatically different from other algorithms. In order to enhance the IA performance, we propose the immune-based symbiotic particle swarm optimization (ISPSO) for use in TSK-type neuro-fuzzy networks for solving the prediction and skin color detection problems. The proposed ISPSO embeds the symbiotic evolution scheme in an IA and utilizes particle swarm optimization (PSO) to improve the mutation mechanism. In order to avoid trapping in a local optimal solution and to ensure the search capability of a near global optimal solution, mutation plays an important role. Therefore, we employed the advantages of PSO to improve the mutation mechanism and used a method that introduces chaotic mapping with certainty, ergodicity and the stochastic property into PSO to improve global convergence. Unlike the IA that uses each individual in a population as a full solution to a problem, symbiotic evolution assumes that each individual in a population represents only a partial solution to a problem. Complex solutions combine several individuals in the population.
Particle Based Model of Tumor Progression Stimulated by the Process of Angiogenesis
Authors: Rafał Wcisło, Witold Dzwinel
Venue: Proceedings of the 8th international conference on Computational Science, Part II (2008)

We discuss a novel metaphor of tumor progression stimulated by the process of angiogenesis. The realistic 3-D dynamics of the entire system consisting of the tumor, tissue cells, blood vessels and blood flow can be reproduced by using interacting particles. The particles mimic the clusters of tumor cells. They interact with their closest neighbors via semi-harmonic forces simulating mechanical resistance of the cell walls and the external pressure. The particle dynamics is governed by both the Newtonian laws of motion and the rules of cell life-cycle. The particles replicate by a simple mechanism of division, similar to that of a single cell reproduction and die due to necrosis or apoptosis. We conclude that this concept can serve as a general framework for designing advanced multi-scale models of tumor dynamics. In respect to spatio-temporal scale, the interactions between particles can define e.g., cluster-to-cluster, cell-to-cell, red blood cells and fluid particles interactions, cytokines motion, etc. Consequently, they influence the macroscopic dynamics of the particle ensembles in various sub-scales ranging from diffusion of cytokines, blood flow up to growth of tumor and vascular network expansion.
MAPGEN: Mixed-Initiative Planning and Scheduling for the Mars Exploration Rover Mission
Authors: Mitchell Ai-Chang, John Bresina, Len Charest, Adam Chase, Jennifer Cheng-jung Hsu, Ari Jonsson, Bob Kanefsky, Paul Morris, Kanna Rajan, Jeffrey Yglesias, Brian G. Chafin, William C. Dias, Pierre F. Maldague
Venue: IEEE Intelligent Systems (2004)

Science is the Mars Exploration Rover mission's primary driver, so making best use of the scientific instruments, within the available resources, is a crucial aspect of the mission. To address this criticality, the MER project team selected MAPGEN (Mixed Initiative Activity Plan GENerator) as an activity-planning tool.
Embedding finite automata within regular expressions
Authors: Shoham Ben-David, Dana Fisman, Sitvanit Ruah
Venue: Theoretical Computer Science (2008)

Regular expressions and their extensions have become a major component of industry-oriented specification languages such as IEEE PSL [IEEE Standard for Property Specification Language (PSL). IEEE Std 1850(TM)-2005]. The model checking procedure of regular expression based formulas, involves constructing an automaton which runs in parallel with the model. In this paper we re-examine the automata construction. We propose an algorithm that allows an intermediate representation mixing both regular expressions and automata. This representation can be thought of as plugging an automaton inside a regular expression, to replace an existing sub-expression. In order to be verified, the intermediate representation is then translated into another automaton, resulting in a set of automata running in parallel. A key feature of this algorithm is that the plug-in automaton is independent of the regular expression from which it originated, and thus can be used in several different properties. We demonstrate the usefulness of our method by providing a set of applications. We show how the use of our method allows modularity and flexibility of the automata construction, and can increase expressiveness when seres are mixed with ctl. We give two applications for which it significantly reduces the size of the automata built for formulas, thus reducing the overall run time of the model checking procedure.
Screenwriting for Requirements Engineers
Authors: Barbara Norden
Venue: IEEE Software (2007)

Requirements engineers can learn from dramatic writers how to write better scenarios by appreciating some key characteristics of screenwriting.
Scheduling Trajectories on a Planar Surface with Moving Obstacles
Authors: Emmanuel Stefanakis
Venue: Informatica (2006)

An algorithm for scheduling the trajectory of a point object, which moves on a plane surface comprising a set of moving obstacles, is introduced. Different quantitative criteria may be met by the schedule, e.g., the course connecting two individual locations being the shortest in length, the least expensive, the fastest as regard to its duration, etc. A prototype system that implements the algorithm is presented. Several example scenarios are also discussed.
Reconstruction of convex lattice sets from tomographic projections in quartic time
Authors: Sara Brunetti, Alain Daurat
Venue: Theoretical Computer Science (2008)

Filling operations are procedures which are used in Discrete Tomography for the reconstruction of lattice sets having some convexity constraints. Many algorithms have been published giving fast implementations of these operations, and the best running time [S. Brunetti, A. Daurat, A. Kuba, Fast filling operations used in the reconstruction of convex lattice sets, in: Proc. of DGCI 2006, in: Lecture Notes in Comp. Sci., vol. 4245, 2006, pp. 98-109] is O(N^2logN) time, where N is the size of projections. In this paper we improve this result by providing an implementation of the filling operations in O(N^2). As a consequence, we reduce the time-complexity of the reconstruction algorithms for many classes of lattice sets having some convexity properties. In particular, the reconstruction of convex lattice sets satisfying the conditions of Gardner-Gritzmann [R.J. Gardner, P. Gritzmann, Discrete tomography: Determination of finite sets by X-rays, Trans. Amer. Math. Soc. 349 (1997) 2271-2295] can be performed in O(N^4)-time.
Automatic Annotation of Direct Reported Speech in Arabic and French, According to a Semantic Map of Enunciative Modalities
Authors: Motasem Alrahabi, Jean-Pierre Desclés
Venue: Proceedings of the 6th international conference on Advances in Natural Language Processing (2008)

We present an analysis of the linguistic markers of the enunciative modalities in direct reported speech, in a multilingual framework concerning Arabic and French. Furthermore, we present a platform for automatic annotation of semantic relations, based on the Contextual Exploration method. This platform allows the automatic annotation and categorisation of quotational segments in both languages, exploiting a semantic map based on the notion of speaker commitment in enunciation.
Test Length in a Self-Testing Environment
Authors: Thomas Williams
Venue: IEEE Design Test (1985)

Two ideas are Coupled to help determine the Pseudorandom test length in a self-testing environment. The first is that yield,defect level after test, and test coverage are related. Tbe second is that Fault Coverage as ta function of the number ofpseudorandom test patterns can be approximated on semilogarithmic paper an exponential curve, with statistical confidenceintervals. Merging these two concepts allows one to relate the shipped defect level as a function of the number of radomppattterns and yield, With this knowledge, the test length of pseudorandom patterns Can be Predicted in a self-test environment.
A Real-Time Programming Model for Heterogeneous MPSoCs
Authors: Torsten Limberg, Bastian Ristau, Gerhard Fettweis
Venue: Proceedings of the 8th international workshop on Embedded Computer Systems: Architectures, Modeling, and Simulation (2008)

Modern multi-core processors suffer from the lack of a programming model which allows efficient utilization of the available hardware. Massive software overhead is required to handle task scheduling and synchronization, resulting in power inefficiencies. In this paper we present a C++ based, real-time enabled task level programming model, which allows efficient hardware utilization. Task scheduling and synchronization is performed by a hardware unit at run-time. The automated scheduler unit is guided by offline information extracted from source code by a specialized compiler