ppxscal/embedding_network huggingface dataset:
A New Paradigm for the Enactment and Dynamic Adaptation of Data-Driven Process Structures
Authors: Dominic Müller, Manfred Reichert, Joachim Herbst
Venue: Proceedings of the 20th international conference on Advanced Information Systems Engineering (2008)

Industry is increasingly demanding IT support for large engineering processes, i.e., process structures consisting of hundreds up to thousands of processes. Developing a car, for example, requires the coordination of development processes for hundreds of components. Each of these development processes itself comprises a number of interdependent processes for designing, testing, and releasing the respective component. Typically, the resulting process structure becomes very large and is characterized by a strong relation with the assembly of the product. Such process structures are denoted as data-driven. On the one hand, the strong linkage between data and processes can be utilized for automatically creating process structures. On the other hand, it is useful for (dynamically) adapting process structures at a high level of abstraction. This paper presents new techniques for (dynamically) adapting data-driven process structures. We discuss fundamental correctness criteria needed for (automatically) detecting and disallowing dynamic changes which would lead to an inconsistent runtime situation. Altogether, our COREPRO approach provides a new paradigm for changing data-driven process structures at runtime reducing costs of change significantly.
Using Web Content Management Systems for Accessibility: The Experience of a Research Institute Portal
Authors: Laura Burzagli, Francesco Gabbanini, Marco Natalini, Enrico Palchetti, Alessandro Agostini
Venue: Proceedings of the 11th international conference on Computers Helping People with Special Needs (2008)

A vast number of guidelines have been set up to regulate accessibility and conformance to standards of web pages. However, it is a fact that the percentage of fully accessible web sites is still low. When designing accessible web portals, knowledge of technologies and a good familiarity with interpreting guidelines are certainly required, but other factors have to be considered. This paper describes the process of implementation of the web site of the e-Inclusion Lab research group, using an Open Source Web Content Management System, and hopefully offers an overview and constitutes an example of good practice in how accessibility can be made mainstream in a research portal. The experience revealed that key factors for mainstreaming accessibility also include the acceptance of the overall solution by content authors and the system administrators.
Using Multi-core to Support Security-Related Applications
Authors: Wanlei Zhou, Yang Xiang
Venue: Proceedings of the 8th international conference on Algorithms and Architectures for Parallel Processing (2008)

This tutorial introduces the challenges of modern security-related applications and the opportunities that multi-core technology brings. We envision that multi-core supported security applications will become the killer applications for next generation personal computers.
Proceedings of the third ACM international workshop on Underwater Networks
Venue: International Conference on Mobile Computing and Networking (2008)

Welcome to the Third International Workshop on Underwater Networks (WUWNet'08). Underwater Networking is an emerging area of research, which has a profound impact on many civilian and military applications including environmental monitoring, marine biology, earthquake detection, weather forecasting. Water systems are of vital importance to climate regulation, agriculture, nutrient production, oil retrieval and transportation, yet they represent one of the least explored frontiers. As such, there is significant interest in real-time, in-situ monitoring of aquatic environments for scientific, environmental, commercial, safety and military applications. Underwater networking has attracted strong attention in the recent few years. Although there is a long history of underwater acoustic communication, many new applications require networking of multiple nodes, either static or mobile, and potentially over multiple hops. The physical challenges of acoustic channel and the complexity of diverse aquatic environments require us to completely re-think network design for underwater environments. Some major challenges at the physical layer and higher layers include the severely limited range-dependent bandwidth and attenuation, extensive time-varying multi-path propagation, the low speed of sound in water that is five orders of magnitude less than that of radio waves in air. In addition, underwater nodes are neither inexpensive nor easy to deploy. These distinct features yield grand challenges to every layer of the protocol suite in underwater networks. The call for papers attracted 26 submissions from the United States, Singapore, Italy, Switzerland, Norway, Canada and Tunisia. The program committee accepted 10 full-length papers and 5 short papers (to be presented as posters). We are also delighted to include an invited speaker, Dr. Hanumant Singh, of the Woods Hole Oceanographic Institution. The papers cover a variety of topics in underwater communications, networking, and applications. Specifically, they address acoustic modem technology, methods for localization, network topology, energy efficiency, media access control, routing protocols, and deployment considerations. We hope these proceedings will serve as a valuable reference for users, engineers, and researchers interested in underwater networks. The goal of WUWNet is, in fact, to bring together researchers and practitioners in all areas relevant to underwater networks. Thus, all layers of the protocol stack, from the physical layer to application, will be represented. Its objective is to serve as a forum for presenting state of the art research, exchanging ideas and experiences, and facilitating interaction and collaboration.
A Study on the Design Supporting System for Cylinder Using Pro/PROGRAM
Authors: Seoung Soo Lee, Chang Wan Kim, Kyung Tae Kim, Nam Ki Lee, Keun Sang Park
Venue: Proceeding sof the international conference on Computational Science and Its Applications, Part I (2008)

Though the cylinder shape is similar, the shape of the cylinder changes from model to model. Therefore the time consuming procedure of forming cylinder should be repeated for every type of cylinders. Consequently, a new design system is highly demanded to reduce those undesirable time. In this study a 3-D cylinder design supporting system has been developed using Pro/PROGRAM of the widespread CAD software Pro/ENGINEER. With the input geometric data of piston, tube, cover, this 3-D design supporting system could complete the basic design process. This new design system showed remarkable design efficiency also when it was applied to the case of redesign and modification of the previous standard output for a different cylinder type.
Mechanical Verification of Transactional Memories with Non-transactional Memory Accesses
Authors: Ariel Cohen, Amir Pnueli, Lenore D. Zuck
Venue: Proceedings of the 20th international conference on Computer Aided Verification (2008)

Transactional memory is a programming abstraction intended to simplify the synchronization of conflicting memory accesses (by concurrent threads) without the difficulties associated with locks. In a previous work we presented a formal framework for proving that a transactional memory implementation satisfies its specifications and provided with model checking verification of some using small instantiations. This paper extends the previous work to capture non-transactional accesses to memory, which occurs, for example, when using legacy code. We provide a mechanical proof of the soundness of the verification method, as well as a mechanical verification of a version of the popular tcc implementation that includes non-transactional memory accesses. The verification is performed by the deductive temporal checker tlpvs.
Fault Tolerance in Regular Network Architectures
Authors: C. Raghavendra
Venue: IEEE Micro (1984)

Computer systems with large numbers of processors pose serious reliability problems. One solution is to build redundant communication paths and dynamic reconfiguration into network designs.
A Hybrid Model of Sprouting Angiogenesis
Authors: Florian Milde, Michael Bergdorf, Petros Koumoutsakos
Venue: Proceedings of the 8th international conference on Computational Science, Part II (2008)

We present a computational model of tumor induced sprouting angiogenesis that involves a novel coupling of particle-continuum descriptions. The present 3D model of sprouting angiogenesis accounts for the effect of the extracellular matrix on capillary growth and considers both soluble and matrix-bound growth factors. The results of the simulations emphasize the role of the extracellular matrix and the different VEGF isoforms on branching behavior and the morphology of generated vascular networks.
Towards a Less Destructive Crossover Operator Using Immunity Theory
Authors: Yingzhou Bi, Lixin Ding, Weiqin Ying
Venue: Proceedings of the 7th international conference on Computational Science, Part IV: ICCS 2007 (2007)

When searching for good scheme, a good solution can be destroyed by an inappropriate choice of crossover points. Furthermore, because of the randomicity of crossover, mutation and selection, a better solution can hardly reach in last stage in EA, and the solution always traps in local optimal. Faced to "exploding" solution space, it is tough to find high quality solution just by increasing the population size, diversity of searching, and the number of iteration. In this paper, we design the immunity operator to improve the crossover result by utilizing the immunity theory. As the "guided mutation operator", the immunity operator substituted the "blind mutation operator" in normal EA, to restrain the degenerate phenomenon during the evolutionary process. We examine the algorithm with examples of TSP and gain promising result.
An Algorithm to Assess the Reliability of Hierarchical Clusters in Gene Expression Data
Authors: Roberto Avogadri, Matteo Brioschi, Francesca Ruffino, Fulvia Ferrazzi, Alessandro Beghini, Giorgio Valentini
Venue: Proceedings of the 12th international conference on Knowledge-Based Intelligent Information and Engineering Systems, Part III (2008)

The validation of clusters discovered in bio-molecular data is a central issue in bioinformatics. Recently, stability-based methods have been successfully applied to the analysis of the reliability of clusterings characterized by a relatively low number of examples and clusters. Nevertheless, several problems in functional genomics are characterized by a very large number of examples and clusters. We present a stability-based algorithm to discover significant clusters in hierarchical clusterings with a large number of examples and clusters. Preliminary results on gene expression data of patients affected by Human Myeloid Leukemia, show how to apply the proposed method when thousands of gene clusters are involved.
Embedded system protocol design flow based on SDL: from specification to hardware/software implementation
Authors: Daniel Dietterle
Venue: Proceedings of the 1st international conference on Simulation tools and techniques for communications, networks and systems & workshops (2008)

SDL (Specification and Description Language) is popular for communication protocol design. SDL tools allow simulating and verifying SDL models. In this paper, we show how SDL models can be transformed into hardware/software implementations for embedded systems. Our design flow contains a lightweight operating system integration layer and a cosimulation framework that supports hardware/software partitioning. The design methodology has been applied to an implementation of the IEEE 802.15.3 MAC protocol. We present results from a prototypical system including a protocol accelerator.
A Low-Cost Intelligent Gas Sensing Device for Military Applications
Authors: Robert F. Kennedy, Saeid Nahavandi
Venue: Proceedings of the 2008 Congress on Image and Signal Processing, Vol. 4 - Volume 04 (2008)

The field of electronic noses and gas sensing has been developing rapidly since the introduction of the silicon based sensors. There are numerous systems that can detect and indicate the level of a specific gas. We introduce here a system that is low power, small and cheap enough to be used in mobile robotic platforms while still being accurate and reliable enough for confident use. The design is based around a small circuit board mounted in a plastic case with holes to allow the sensors to protrude through the top and allow the natural flow of gas evenly across them. The main control board consists of a microcontroller PCB with surface mount components for low cost and power consumption. The firmware of the device is based on an algorithm that uses an Artificial Neural Network (ANN) which receives input from an array of gas sensors. The various sensors feeding the ANN allow the microcontroller to determine the gas type and quantity. The Testing of the device involves the training of the ANN with a number of different target gases to determine the weightings for the ANN. Accuracy and reliability of the ANN is validated through testing in a specific gas filled environment.
Influence of Model Resolution on Ozone Predictions over Madrid Area (Spain)
Authors: Marta G. Vivanco, Mauricio Correa, Oier Azula, Inmaculada Palomino, Fernando Martín
Venue: Proceeding sof the international conference on Computational Science and Its Applications, Part I (2008)

Modeling has become a very useful tool in air quality management. The use of an air quality model requires comparison between model results and previous observations in order to determine the capacity of the model to reproduce air pollution episodes. In this paper the influence of three different model resolutions on model predictions has been analyzed over Madrid area for 2004. A lower mean normalized absolute error was found for the highest resolution domain, when comparing hourly-predicted ozone to 2004 observations. The improvement of model predictions is more clearly observed for NO2. When considering an episode occurred in July, 2004, this improvement in model performance is significantly reduced. For this episode, meteorological evaluation indicates that temperature and speed predictions for the coarsest domain present worse agreement to observations than those for the other two domains.
Validation of a miniaturized wireless network testbed
Authors: Yang Su, Thomas Gross
Venue: Proceedings of the third ACM international workshop on Wireless network testbeds, experimental evaluation and characterization (2008)

Experimentation with wireless network testbeds is preferred to simulations for performing high fidelity testing. However, realistic experimentation with full-scale networks is difficult, time-consuming, and expensive. To side-step some of these problems, we have built IvyNet, a miniaturized wireless mesh network testbed, where a high degree of attenuation (up to 60dB) is applied to the wireless radios for multi-hop network testing. In this paper, we present a validation study of the miniaturized wireless networks via experiments in the IvyNet testbed. Our results show that IvyNet is able to facilitate convenient experimentation over multi-hop networks within a small space; at the same time, it preserves reasonable fidelity compared to real-world fullscale networks. Because IvyNet is based upon commodity hardware, the principal observations from the IvyNet experiments also apply to other miniaturized wireless networks.
Two Evolutionary Methods for Learning Bayesian Network Structures
Authors: Alain Delaplace, Thierry Brouard, Hubert Cardot
Venue: Computational Intelligence and Security: International Conference, CIS 2006, Guangzhou, China, November 3-6, 2006, Revised Selected Papers (2007)

This paper describes two approaches based on evolutionary algorithms for determining Bayesian networks structures from a database of cases. One major difficulty when tackling the problem of structure learning with evolutionary strategies is to avoid the premature convergence of the population to a local optimum.In this paper, we propose two methods in order to overcome this obstacle.The first method is a hybridization of a genetic algorithm with a tabu search principle whilst the second method consists in the application of a dynamic mutation rate. For both methods, a repair operator based on the mutual information between the variables was defined to ensure the closeness of the genetic operators. Finally, we evaluate the influence of our methods over the search for known networks.
Achieving efficient and equitable collaboration among selfish agents using spender-signed currency
Authors: Geert Jonker, Frank Dignum, John-Jules Ch. Meyer
Venue: Proceedings of the 7th international joint conference on Autonomous agents and multiagent systems - Volume 3 (2008)

We study collaboration among selfish agents in the tactical airport planning domain. This can be seen as a social exchange scenario, in which the efforts of performing tasks are the resources that are being exchanged. We investigate conditions under which a market mechanism with the use of standard currency leads to efficient and equitable exchange among benevolent agents. We show that, if some agents are selfish, the mechanism can become inequitable and therefore unacceptable. A straight forward penalty rule is not enough to restore equity. as it is attractive to deviate from such a rule. As a solution, we present an novel currency system, under which malicious agents can be punished, resulting in efficient and equitable exchange.
Corner Detection Using Difference Chain Code as Curvature
Authors: Neeta Nain, Vijay Laxmi, Bhavitavya Bhadviya, Arpita Gopal
Venue: Proceedings of the 2007 Third International IEEE Conference on Signal-Image Technologies and Internet-Based System (2007)

Discontinuity detection plays an important role in image analysis applications like image registration, comparison, segmentation, time sequence analysis and object recognition. This paper presents a new approach for Corner Detection using First Order Difference Chain-Encoding. The proposed method is based on integer operations it is very simple and efficient. Preliminary results are presented and evaluation with respect to standard corner detectors like Harris and Yung is done as a benchmark.
LiSA: A Robot Assistant for Life Sciences
Authors: Erik Schulenburg, Norbert Elkmann, Markus Fritzsche, Angelika Girstl, Stefan Stiene, Christian Teutsch
Venue: Proceedings of the 30th annual German conference on Advances in Artificial Intelligence (2007)

This paper presents a project that is developing a mobile service robot to assist users in biological and pharmaceutical laboratories by executing routine jobs such as filling and transporting microplates. A preliminary overview of the design of the mobile platform with a robotic arm is provided. Moreover, the approaches to localization and intuitive multimodal human-machine interaction using speech and touchpad input are described. One focus of the project is aspects of safety since the robot and humans will share a common environment.
CoVaC: Compiler Validation by Program Analysis of the Cross-Product
Authors: Anna Zaks, Amir Pnueli
Venue: Proceedings of the 15th international symposium on Formal Methods (2008)

The paper presents a deductive framework for proving program equivalence and its application to automatic verification of transformations performed by optimizing compilers. To leverage existing program analysis techniques, we reduce the equivalence checking problem to analysis of one system --- a cross-product of the two input programs. We show how the approach can be effectively used for checking equivalence of consonant (i.e., structurally similar) programs. Finally, we report on the prototype tool that applies the developed methodology to verify that a compiler optimization run preserves the program semantics. Unlike existing frameworks, CoVaC accommodates absence of compiler annotations and handles most of the classical intraprocedural optimizations such as constant folding, reassociation, common subexpression elimination, code motion, dead code elimination, branch optimizations, and others.
Calibration of optical see through head mounted displays for augmented reality
Authors: Charles B. Owen
Venue:  (2007)

Optical See-Through Head-Mounted Displays (OSTHMDs) superimpose computer-generated imagery on the user's view to enhance the user's visual perception and task performance in the Augmented Reality (AR) applications. Calibration is a crucial step for OSTHMD-based AR systems to achieve the required accurate registration between the virtual and physical objects in the composite environment presented to the user. The OSTHMD calibration is a challenging problem because of the complexity of handling the indispensable human factors in the computational model and operational procedure. The existing techniques are either unstable or inaccurate because of excessive dependence on the user procedure or lack of user adjustment design. This dissertation presents the Display Relative Calibration (DRC) method, a flexible two-phase technique which provides an effective solution to satisfy the accuracy and usability requirements for the OSTHMD calibration. The DRC method is based on a virtual camera model which establishes the computational relationships of the OSTHMD imaging system involving the user's eyes. The analysis of the virtual camera parameters allows the design of a two-phase approach which gives a close estimation of all parameters in the first phase and refines the user-dependent parameters in the second phase. To produce stable results without relying on the user performance, the DRC phase I involves no user interaction by using a calibrated camera in place of the user's eye. The DRC phase II provides multiple options of user procedures to accommodate different AR applications and user groups. This dissertation also describes the implementation of the DRC virtual camera model and presents analyses of the sensitivity and errors. Furthermore, an experimental user study is conducted to evaluate the performance of the DRC method in contrast to the existing OSTHMD calibration techniques. The design and results of this experiment are described in detail.
An FPTAS for parallel-machine scheduling under a grade of service provision to minimize makespan
Authors: Min Ji, T. C. E. Cheng
Venue: Information Processing Letters (2008)

We consider the m parallel-machine scheduling problem that process service requests from various customers who are entitled to different levels of grade of service (GoS). The objective is to minimize the makespan. We give a fully polynomial-time approximation scheme for the case where m is fixed.