ppxscal/embedding_network huggingface dataset:
Self-organising swarm (SOSwarm)
Authors: Michael O&#x2019;Neill, Anthony Brabazon
Venue: Soft Computing - A Fusion of Foundations, Methodologies and Applications (2008)

This paper introduces a novel version of the particle swarm optimisation (PSO) algorithm which we call self-organising swarm SOSwarm. SOSwarm can be used for unsupervised learning. In the algorithm, input vectors are projected into a lower-dimensional map space producing a visual representation of the input data in a manner similar to a self-organising map (SOM). In SOSwarm, particles react to input data during the learning process by modifying their velocities using an adaptation of the PSO velocity update function. SOSwarm is successfully applied to ten benchmark problems drawn from the UCI Machine Learning repository. The paper also demonstrates how the canonical SOM can be explored within the PSO paradigm. Illustrating this linkage between the heretofore distinct literatures of SOM and PSO opens up several new avenues of research for the development of novel self-organising algorithms.
Leveraging analysis-aided design decision knowledge in UML-based development of embedded systems
Authors: Huascar Espinoza, David Servat, Sébastien Gérard
Venue: Proceedings of the 3rd international workshop on Sharing and reusing architectural knowledge (2008)

Many important works have been carried out to provide modeling languages (e.g., UML, SDL) with expressiveness to support embedded system design, validation and verification. A fundamental shortcoming in current model-driven approaches is the inability to explicitly capture design decisions and trade-offs between different non-functional parameters, among which timeliness, memory usage, and power consumption are of primary interest. This paper highlights technical limitations in UML to specify complex non-functional evaluation scenarios of candidate architectures, and outlines our current work to provide straightforward solutions.
A single fuzzy rule to smooth the sharpness of mixed data: Time and frequency domains analysis
Authors: H. Shakouri G, M. B. Menhaj
Venue: Fuzzy Sets and Systems (2008)

An essential part of any scientific study on any time series analysis depends strongly on availability of reliable data. It is a fact that experimental data records are always contaminated by inaccurate information, not only due to measurement errors but also due to ambiguity of measuring concepts. This occurs especially in fields related to the human science, where unexpected sharp signals are observed. However, due to lack of admissible error descriptions, fuzzy smoothing methods can be potentially considered as proper candidates for data processing. This paper presents a novel procedure based on a single fuzzy rule for smoothing out the sharpness of data curves which have mixed sample values. It further analyzes performance of the proposed method experimentally by focusing on both time domain properties and power spectrums. The proposed fuzzy smoothing filter checks for coarseness of the signal and then performs fine tunings of sharp points found in the signal by sharing their values with their neighboring points. A survey of both time and frequency domain performance reveals the superiority of the proposed method compared to other classical smoothing methods cited in the literature. Some applications are presented to better highlight the merit of the proposed method.
IP-checksum incremental update method proposal for efficient use of energy in wireless environments
Authors: Domingos S. S. Carneiro, Paulo V. A. Pinheiro, Pedro H. Prudêncio, Daniel N. S. Cavalcante, Diego V. S. Sousa, Rudy M. Braquehais, Thially V. P. Marrocos, Marcial P. Fernandez
Venue: Proceedings of the 2007 Euro American conference on Telematics and information systems (2007)

The use of Wireless Mesh Networks has growing use in areas without telecommunication infrastructure. One of the main problems is the network performance due to the low capacity of the processors used in intermediary mesh nodes. We propose a hardware implementation of IP Checksum incremental update in FPGA (Field Programmable Gate Array) or ASIC (Application Specific Integrated Circuits). Then, this implementation is compared with the kernel Linux TCP/IP implementation.
Genetic Algorithm that can Dynamically Change Number of Individuals and Accuracy
Authors: Akihiko Tsukahara, Akinori Kanasugi
Venue: Proceedings of the 2007 Frontiers in the Convergence of Bioscience and Information Technologies (2007)

This paper proposes a novel processor for genetic algorithm (GA) that can dynamically change number of individuals and accuracy. In conventional GA, number of population and accuracy are fixed. However, the accuracy of solution is low at first-half stage. Therefore, the number of population is doubled at expense of the accuracy of solution, and the searching ability is improved at first-stage in the proposed GA processor. Then, the number of population is reduced by half, and the accuracy is improved at second-half stage. As a result, the searching ability is improved. The proposed GA processor was designed by using VHDL and verified. The effectiveness of proposed method was confirmed by applying to the knapsack problem.
Output-sensitive autocompletion search
Authors: Holger Bast, Christian W. Mortensen, Ingmar Weber
Venue: Information Retrieval (2008)

We consider the following autocompletion search scenario: imagine a user of a search engine typing a query; then with every keystroke display those completions of the last query word that would lead to the best hits, and also display the best such hits. The following problem is at the core of this feature: for a fixed document collection, given a set D of documents, and an alphabetical range W of words, compute the set of all word-in-document pairs (w, d) from the collection such that w ¿ W and d ¿ D. We present a new data structure with the help of which such autocompletion queries can be processed, on the average, in time linear in the input plus output size, independent of the size of the underlying document collection. At the same time, our data structure uses no more space than an inverted index. Actual query processing times on a large test collection correlate almost perfectly with our theoretical bound.
Efficient Metadata Management for Flash File Systems
Authors: Jaegeuk Kim, Heeseung Jo, Hyotaek Shim, Jin-Soo Kim, Seungryoul Maeng
Venue: Proceedings of the 2008 11th IEEE Symposium on Object Oriented Real-Time Distributed Computing (2008)

NAND flash memory becomes one of the most popular storage for portable embedded systems. Although many flash-aware file systems, such as JFFS2 and YAFFS2, were proposed, the large memory consumption and the longmount delay have been serious obstacles for large-capacity NAND flash memory. In this paper, we present a new flash-aware file system called DFFS (Direct Flash File System) which fetches only the needed metadata on demand from flash memory. In addition, DFFS employs two novel metadata management schemes, inode embedding scheme and hybrid inode indexing scheme, to improve the performance of metadata operations. Comprehensive evaluation results using microbenchmark, postmark, and Linux kernel compilation trace, show that DFFS has comparable performance to JFFS2 and YAFFS2, while achieving a small memory footprint and instant mount time.
Navigation in ACL reconstruction - Comparison with conventional measurement tools
Authors: D. Kendoff, R. Meller, M. Citak, A. Pearle, S. Marquardt, C. Krettek, T. Hüfner
Venue: Technology and Health Care (2007)

Restoration of rotational and translational stability is a goal of ACL reconstruction. Intraoperative instability measurements of AP translation and rotation are not well established clinically. We compared navigated measurements of tibial AP translation and rotation with mechanical measuring devices: the KT 1000 and a modified goniometer tool. Tests were repeated with intact and dissected ACLs, and measures of translation and rotation statistically compared. There was no significant difference in AP translation between navigation, 3.2 mm (range 1-6 mm) and the KT 1000, 4.8 mm (range, 4-7 mm) in our experimental set up (p>0.05). Tibial rotation revealed no significant difference, 0.12&deg; (range, 0&deg;-1&deg;) between navigation and goniometer (p>0.05). Total range of rotation was 4.2&deg; (range, 2&deg;-6&deg;) in intact and 7.05&deg; (range, 4&deg;-9&deg;) in dissected ACLs (p<0.05). Stability parameters in ACL navigation can be measured precisely under laboratory conditions and results are not significantly different from mechanical testing devices.
The Study on Network Collaborative Manufacturing System
Authors: Feng Xiong, ZhongZhen Zhang, YanWu Liu
Venue: Proceedings of the First International Workshop on Knowledge Discovery and Data Mining (2008)

A framework of network collaborative manufacturing system is proposed in this paper, which is an integration of several functional systems and mainly consists of ISS, CMSS and LTS. It puts forward CMSS based on net manufacturing information, describes the destination of the system, the system structure, principal functions and working flow. With the system the enterprises achieve information communication, information sharing and information service, finish the punctual supervision in the process of products manufacturing, coordination of produce progress between up-stream and down-stream corporations, adjustment of produce task, resource sharing, allocation and delivery between collaborative enterprises; and the product flowing is also efficiently controlled in logics circle to make sure that products can be delivered safely and quickly. Keywords: collaborative manufacturing system; Long-range supervising system; Logistics tracking system.
Validation of MERIS Level-2 products in the Baltic Sea, the Namibian coastal area and the Atlantic Ocean
Authors: T. Ohde, H. Siegel, M. Gerth
Venue: International Journal of Remote Sensing (2007)

Measurements of water-leaving reflectance and optically active water constituents in the Baltic Sea, the Namibian coastal area and the Atlantic Ocean were performed to validate MERIS Level-2 products. Two different validation methods were applied with the recommended match-up analysis based on comparison of in situ measurements with MERIS Level-2 products of simultaneous Envisat overpasses and the second analysis on comparison of natural variation ranges with derived MERIS product ranges. The MERIS water-leaving reflectances correlate to in situ shapes and magnitudes in all investigated areas. The comparison shows mean deviations of MERIS reflectances between 23% and 26% for the current official instrument processing facility (IPF 4.07) but only 20% for the prototype version 7.0 up to now only available to the validation team. The comparison of water constituents shows the underestimation of MERIS ALGAL_2 index, YSBPA and TSM in turbid waters of the Baltic Sea of the current instrument processing facility (IPF 4.07). The mean MERIS ALGAL_1 index is close to in situ values but the mean MERIS ALGAL_2 index, the MERIS YSBPA and MERIS TSM products are still too low in Namibian coastal areas for the prototype version 7.0. The investigations demonstrate the quality improvement of all MERIS Level-2 products from the current official instrument processing facility to the prototype version 7.0.
Filling voids of SRTM with Landsat sensor imagery in rugged terrain
Authors: F. Ling, Q. W. Zhang, C. Wang
Venue: International Journal of Remote Sensing (2007)

The Shuttle Radar Topography Mission (SRTM) delivered a free digital elevation model (DEM) with a spatial resolution of 3'' at near global coverage. However, there are many data voids in the SRTM data that need to be filled before their application. In this Letter, a novel void-filling method, which uses Landsat sensor imagery to provide detailed information on terrains for the filling procedure, is proposed. Valleys are extracted from Landsat sensor imagery first, then elevation values of SRTM voids along valleys are interpolated, and finally the remaining voids are patched with the global coarse resolution DEM. The test results show that the elevation values filled with the proposed method perform better than those filled with the traditional method and local geomorphological features can be maintained with the proposed method.
Mapping the distribution of coral reefs and associated sublittoral habitats in Pacific Panama: a comparison of optical satellite sensors and classification methodologies
Authors: S. L. Benfield, H. M. Guzman, J. M. Mair, J. A. T. Young
Venue: International Journal of Remote Sensing (2007)

This research compared the ability of Landsat ETM+, Quickbird and three image classification methods for discriminating amongst coral reefs and associated habitats in Pacific Panama. Landsat ETM+ and Quickbird were able to discriminate coarse and intermediate habitat classes, but this was sensitive to classification method. Quickbird was significantly more accurate than Landsat (14% to 17%). Contextual editing was found to improve the user's accuracy of important habitats. The integration of object-oriented classification with non-spectral information in eCognition produced the most accurate results. This method allowed sufficiently accurate maps to be produced from Landsat, which was not possible using the maximum likelihood classifier. Object-oriented classification was up to 24% more accurate than the maximum likelihood classifier for Landsat and up to 17% more accurate for Quickbird. The research indicates that classification methodology should be an important consideration in coral reef remote sensing. An object-oriented approach to image classification shows potential for improving coral reef resource inventory.
Implementing Requirements Engineering Processes: Using Cooperative Self-Assessment and Improvement
Authors: Jörg Dörr, Sebastian Adam, Michael Eisenbarth, Michael Ehresmann
Venue: IEEE Software (2008)

As enterprises become increasingly aware of requirements engineering's importance, many have been tempted to invest in improving corresponding processes. Unfortunately, many process improvement approaches for requirements engineering don't meet small enterprises' needs and are often hard to apply in small companies. The ReqMan process improvement approach considers small organizations' specific needs by involving employees in the improvement process, enabling them to make improvement decisions rather than having external consultants make the decisions. During the last two years, this approach has been successfully applied in case studies, resulting in strong, positive stakeholder participation in the improvement discussion and high acceptance of the improvements, even by persons who were normally skeptical about improvement activities.
Three optimizations for Assume---Guarantee reasoning with L*
Authors: Sagar Chaki, Ofer Strichman
Venue: Formal Methods in System Design (2008)

The learning-based automated Assume---Guarantee reasoning paradigm has been applied in the last few years for the compositional verification of concurrent systems. Specifically, L* has been used for learning the assumption, based on strings derived from counterexamples, which are given to it by a model-checker that attempts to verify the Assume---Guarantee rules. We suggest three optimizations to this paradigm. First, we derive from each counterexample multiple strings to L*, rather than a single one as in previous approaches. This small improvement saves candidate queries and hence model-checking runs. Second, we observe that in existing instances of this paradigm, the learning algorithm is coupled weakly with the teacher. Thus, the learner completely ignores the details of the internal structure of the system and specification being verified, which are available already to the teacher. We suggest an optimization that uses this information in order to avoid many unnecessary membership queries (it reduces the number of such queries by more than an order of magnitude). Finally, we develop a method for minimizing the alphabet used by the assumption, which reduces the size of the assumption and the number of queries required to construct it. We present these three optimizations in the context of verifying trace containment for concurrent systems composed of finite state machines. We have implemented our approach in the ComFoRT tool, and experimented with real-life examples. Our results exhibit an average speedup of between 4 to 11 times, depending on the Assume---Guarantee rule used and the set of activated optimizations.
An Integer Linear Programming Approach for Dedicated Machine Constraint
Authors: Huy Nguyen Anh Pham, Arthur Shr, Peter P. Chen
Venue: Proceedings of the Seventh IEEE/ACIS International Conference on Computer and Information Science (icis 2008) (2008)

Dedicated machine constraint is one of the new challenges introduced in photolithography machinery of the semiconductor manufacturing system due to natural bias. Previous researches either did not take the constraint into account or the proposed heuristic approach might not fit the fast-changing market of semiconductor manufacturing. In this paper, we propose a new framework for the issue of the dedicated machine constraint in semiconductor manufacturing based on an Integer Linear Program (ILP) framework. The ILP framework provides an efficient approach to minimize the producing cost and obtain a global optimal solution in an efficient time. We also present the experiments to validate the proposed approach.
Can design pattern detection be useful for legacy systemmigration towards SOA?
Authors: Francesca Arcelli, Christian Tosi, Marco Zanoni
Venue: Proceedings of the 2nd international workshop on Systems development in SOA environments (2008)

Legacy systems maintenance involves different decisions, often very complex and sometimes requiring high costs and time. Hence studying and applying the right system modernization technique becomes very important for systems evolution. One of the solutions often adopted to modernize a system is the possibility to migrate it towards a SOA architecture. A lot of works in the literature have been done in this direction, which propose methodologies that provide some kind of migration strategy. In the migration process one of the main tasks is related to system comprehension. We often have to analyze not well documented systems, where it is difficult to identify the components which could become services or to recognize the possible problems we could face during the migration process. Software architecture reconstruction is certainly a relevant key activity, which is used for these purposes. In this paper we explore if design pattern detection could be also useful in the migration process: knowing that some design patterns have been applied in the system could give relevant hints to take decisions during migration.
P2P IPTV measurement: a case study of TVants
Authors: Thomas Silverston, Olivier Fourmaux
Venue: Proceedings of the 2006 ACM CoNEXT conference (2006)

With the success of P2P file sharing applications, new emerging P2P applications arise on the Internet for broadcasting new content like voice (VoIP) or video (IPTV). Nowadays, there are a lot of works measuring file sharing [2] or telephony P2P applications [1], but there is still no comprehensive study about P2P IPTV applications [3]. However, we think P2P IPTV applications will be massively used in the future and it is very important to study the effect they will have on the network. We measured network traffic generated by P2P IPTV users watching the last FIFA world cup. We used several applications in different network environments to collect a large amount of various data. FIFA world cup is a large-scale event with live interest and we believe this will allow us to have a representative sample of large-scale P2P IPTV applications. With the huge amount of collected data, we can study users/applications behavior for P2P live streaming system and their impact on the traffic network.
ShareX3D, a scientific collaborative 3D viewer over HTTP
Authors: Sebastien Jourdain, Julien Forest, Christophe Mouton, Bernard Nouailhas, Gerard Moniot, Franck Kolb, Sophie Chabridon, Michel Simatic, Zied Abid, Laurent Mallet
Venue: Proceedings of the 13th international symposium on 3D web technology (2008)

In scientific visualization data are becoming more and more complex and implies cooperative effort for their post-processing analysis as well as high performance processing resources. Moreover experts are frequently geographically distributed and existing post-processing tools do not provide high performance capability with collaborative features. To solve this limitation, a prospective action has been recently initiated in the frame of the ANR SCOS project, with the development of a web based post-processing framework called V3D. SCOS/V3D is based on two innovating concepts: the sharing of the processing results via the transfer of a X3D data file corresponding to the final virtual reality scene and communications based on HTTP to by-pass standard proxies and firewalls limitations. To test this approach, a proof of concept prototype, called shareX3D, has been developed, especially focusing on the events notification, with an implementation of the long polling technique. The architecture of ShareX3D and first tests are presented and discussed.