ppxscal/embedding_network huggingface dataset:
Separation of Distributed Real-Time Embedded Concerns with Theme/UML
Authors: Cormac Driver, Vinny Cahill, Siobhán Clarke
Venue: Proceedings of the 2008 5th International Workshop on Model-based Methodologies for Pervasive and Embedded Software (2008)

Model-driven engineering (MDE) addresses platformcomplexity issues by abstracting platform-independentmodels for subsequent transformation toplatform-specific models. This facilitates the designof a single system model and the subsequent generationof multiple model transformations targeted towardsspecific platforms. However, the increasing complexityof distributed real-time embedded (DRE) systemscomplicates the development of adequate system modelsby requiring multiple concerns, some of which may becrosscutting, to be modelled. Separation of concerns,a software engineering technique that decomposes systemsinto distinct features with minimal overlap, canbe used to manage complexity. Aspect-oriented softwaredevelopment (AOSD) is an emerging technique toseparate crosscutting concerns in software and has beendemonstrated to improve modularity and thereby reducethe complexity of software. In this paper we show howTheme/UML, an aspect-oriented design approach, canbe used to better modularise DRE concerns at the modellevel.
Scientific publishing in the era of Petabyte data
Authors: Alexander S. Szalay
Venue: Proceedings of the 8th ACM/IEEE-CS joint conference on Digital libraries (2008)

Today's scientific datasets are growing into Petabytes. A similar transition is happening in industry and society. Web search companies have to deal routinely with tens of Petabytes, a substantial fraction of the world's computers go into data warehouses of the Big 5. Scientists, librarians and publishers are just beginning to grasp the magnitude and multi-faceted nature of the problems facing us. Every step of the usual scientific process will need to change and change soon. Science in the 21st century will require a different set of skills than previously, more computational and algorithmic thinking and more interdisciplinary interaction will be hallmarks of a successful scientist. The talk will present the challenges and trends in this 'brave new world'.
[Seeding Methods for Run Transferable Libraries] Capturing Domain Relevant Functionality through Schematic Manipulation for Genetic Programming
Authors: Gearoid Murphy, Conor Ryan, Daniel Howard
Venue: Proceedings of the 2007 Frontiers in the Convergence of Bioscience and Information Technologies (2007)

The field of Genetic Programming (GP) is concerned with harnessing the power of simulated evolution to search massive expression spaces, so as to discover a functional mapping between a non-trivial set of inputs to an arbitrary output. The problems that GP are applied to are often NPComplete and intractable by traditional means.
Combining Energy and Wavelet Transform for Epileptic Seizure Prediction in an Advanced Computational System
Authors: Bruno Direito, António Dourado, Marco Vieira, Francisco Sales
Venue: Proceedings of the 2008 International Conference on BioMedical Engineering and Informatics - Volume 02 (2008)

Seizure prediction in epileptic patients will allow a deep improvement in their quality of life. In the paper a new method using energy relative measures in wavelet coefficients is proposed and tested in several patients. The results show the potential of the technique, but also its limitations, stressing the needs for further work in a larger number of patients, using multimodal information and an advanced database with a large features set to be used in seizure prediction An advanced computational framework is under development, using multisensorial information to build a large set of features to be used in a classification system supporting seizure prediction. This system is composed of two main parts the algorithms base and the database, briefly described.
Ridge extraction and its application to surface meshing
Authors: Boris Cl&#x00e9;men&#x00e7;on, Houman Borouchaki, Patrick Laug
Venue: Engineering with Computers (2008)

Geometrical feature lines, such as $${{\mathcal{C}}}^1$$-discontinuity lines, lines of curvature, ridges, asymptotic lines, etc., provide useful information about the surface geometry. The inclusion of these lines into a surface mesh contributes to improving the quality of the geometrical approximation, independently from the element size. In particular, if the element size is locally large with respect to the minimal radius of curvature, then the geometrical approximation of the surface will generally be poor. In this case, the presence of ridges in the mesh improves the geometrical approximation. This paper proposes a new method to extract the extremal graph whose graph nodes are the umbilics and the extremal points, and edges are extremal lines. A function is also introduced to classify the extremal lines to be able to select the ridges from a parametric surface. The resulting graph of ridges is then simplified and integrated as a constraint in a classical surface mesh generation via an indirect approach. A numerical example will illustrate the pertinence of this method.
The control of motion of unmanned underwater vehicle operated near to the bottom sea
Authors: Bogdan Zak, Zygmunt Kitowski
Venue: Proceedings of the 9th WSEAS International Conference on Systems (2005)

In the paper are presented two methods of underwater vehicle position's stabilization. There has been defined application useful for both methods taking vehicle equipment and sea bottom profile into consideration. For both methods has been defined the principle control to use for distance stabilization process.
Radar topography data reveal drainage relics in the eastern Sahara
Authors: E. Ghoneim, C. Robinson, F. El-Baz
Venue: International Journal of Remote Sensing (2007)

The Shuttle Radar Topographic Mission (SRTM) elevation data reveal segments of inactive drainage channel systems in the eastern Sahara. Four sites are investigated and their drainage networks are delineated and compared with processed Synthetic Aperture Radar (SAR) and Enhanced Thematic Mapper Plus (ETM+) images. These include parts of the drainage lines that lead to the Kufra Oasis in Libya; the eastern Gilf Kebir drainage system that straddles the border region between Egypt and Sudan; the lower reach of Wadi Howar, the extinct western Nile tributary in Sudan; and a reversed flow channel of Wadi Kubbaniya northwest of Aswan in Egypt. These features are delineated using SRTM data and a Geographic Information System (GIS) hydrologic routine. The results show that the SRTM signals penetrate the desert-sandy surfaces and map ancient drainage systems in the same way as SAR. The study also demonstrates that SRTM data can be used to confirm or modify pathways of channel courses mapped from radar images alone. Because of this capability, it is also recommended that SRTM data be used in place of GTOPO30 elevation data in hydrologic modelling of sand-covered deserts.
Enhancing Business Impact Analysis and Risk Assessment Applying a Risk-Aware Business Process Modeling and Simulation Methodology
Authors: Simon Tjoa, Stefan Jakoubi, Gerald Quirchmayr
Venue: Proceedings of the 2008 Third International Conference on Availability, Reliability and Security (2008)

Driven by the steadily growing number of natural disasters, the threat of terrorist and other criminal attacks as well as changed legislation and regulations, companies are increasingly forced to prepare against threats that endanger the survivability of crucial business activities. As a consequence, management has to pay more attention to business continuity issues including serious management commitment and more appropriate funding. Business impact analysis and risk assessment concepts enable adequate business continuity planning as they deliver essential information about the impact of resources' disruption on business. In this paper we present how these concepts can be enhanced through the application of the ROPE (Risk-Oriented Process Evaluation) methodology enabling risk-aware business process management and simulation. Moreover, we present essential extensions of the ROPE simulation capabilities leading to a more efficient and effective business continuity planning.
A new active polyphase filter for image rejection using second generation current conveyors
Authors: Ali Abuelma'atti, M. T. Abuelma'atti
Venue: Proceedings of the 9th International Conference on Circuits (2005)

In RF receivers, many interferers accompany the desired signal in its entrance to the front end of the receiver. Of particular interest out of these interferes is the image, which if downconverted with the desired signal by the same local oscillator, severely corrupts the received information. In low IF receivers, the image can only be eliminated after the downconversion by several means, one of which is using a polyphase filter. This paper discusses available current solutions and then introduces a new low power high dynamic range polyphase filter built with the commercially available Plus-Type Second Generation Current Conveyors (CCII+). SPICE simulation results show that image rejection of 15dBs can be achieved using only one stage of this filter.
CERTILOC: Implementation of a Spatial-Temporal Certification Service Compatible with Several Localization Technologies
Authors: José María de Fuentes, Ana Isabel González-Tablas, Arturo Ribagorda
Venue: Proceedings of the 2008 Third International Conference on Availability, Reliability and Security (2008)

Recently researchers are being encouraged to address security and privacy requirements for location information. This work contributes to this area by presenting CERTILOC, a prototype of a spatialtemporal certification service that is interoperable with representative localization technologies (GSM Cell-ID and GPS). Our work is completed with a broad threat analysis on spatial-temporal certification services and an exposition of legal considerations that can be made if used in work scenarios.
Temporal change in the landscape erosion pattern in the Yellow River Basin, China
Authors: W. Siyuan, L. Jingshi, Y. Cunjian
Venue: International Journal of Geographical Information Science (2007)

Using Landsat TM data from 1995 and 2000, changes in the landscape erosion pattern of the Yellow River Basin, China were analysed. The aim was to improve our understanding of soil-erosion change so that sustainable land use could be established. First, a soil-erosion intensity index model was developed to study soil-erosion intensity change in the study area. Over the 5 years, the areas of weak erosion, moderate erosion, severe erosion, and very severe erosion all increased. The area of weak erosion increased dramatically by 7.94×105 ha, and areas of slight erosion and acute erosion decreased by 1.93×106 ha and 4.50×104 ha, respectively. The results show that while the intensity of soil erosion has gradually been decreasing as a whole, in some regions the soil erosion is becoming more severe. Based on landscape indices, the pattern of changes in soil erosion over the past 5 years was analysed. The changes in landscape pattern of soil erosion resulted from human activities. Analysis showed that human impact increases fragmentation, having three major effects on landscape pattern, reduction in patch area, variations in patch shape, and changes in spatial pattern. In the study area, population growth, farming, governmental policy and forest degradation are the major factors causing soil erosion change over a 5-year period.
Proceedings of the fourth international workshop on Software engineering for secure systems
Venue: International Conference on Software Engineering (2008)

This year the program committee selected eight papers to be presented at the workshop. The issues addressed are very diverse, another demonstration of how security cross-cuts all the activities of modern software engineering practice. We will discuss the optimization of XACML policies, the enforcing of privacy-related policies, a formal description of security patterns by Petrinets, the integration of security checks with version control, the feasibility and use of runtime verification as means for monitoring security protocols, automated content-based signature generation resilient to poisoning attacks, coverage metrics which can be useful to assess how complete was the security test of an application in the context of SQL queries, and software security metrics on source code.
Small Robotic Assistant for Knee Surgery in Laboratory
Authors: Wenqiang Zhang, Xuemei Huang
Venue: Proceedings of the 2008 International Conference on BioMedical Engineering and Informatics - Volume 02 (2008)

To increase the accuracy and efficiency of Total Knee Replacement (TKR) surgery, surgical robotic systems are introduced and accepted in the surgical community. However, present surgical robotic systems unfortunately occupy a significant amount of space in operating room and prohibit flexible movement between the patient’s femur and robot. In this paper, a small occupancy assistant for TKR surgery is developed, which consists of three components: articulated manipulator, bone clamp, and mechanical support arm. The detailed design of the three components is presented. The performance of prototype shows that the compact mechanisms solve the above problem absolutely and lead convenience to surgeons. The study provides a significant approach for the following research in TKR surgery.
The evaluation of ARCO: a lesson in curatorial competence and intuition with new technology
Authors: Styliani Sylaiou, M. Economou, A. Karoulis, M. White
Venue: Computers in Entertainment (CIE) (2008)

This article presents the results of the evaluation study of the Augmented Representation of Cultural Objects (ARCO) system which provides software and interface tools to museum curators for the development of virtual museum exhibitions for the World Wide Web or for information kiosks. The aim of the current research is to investigate how a virtual museum system is coping with the demands of museum curators, to examine the needs of virtual museum visitors, and to provide a set of criteria and guidelines for defining effective evaluation of such systems. Evaluation methods such as heuristic evaluation and walkthroughs were employed in the study in order to assess various components and interfaces of the system.
Spatio-temporal discretization for sequential pattern mining
Authors: Juyoung Kang, Hwan-Seung Yong
Venue: Proceedings of the 2nd international conference on Ubiquitous information management and communication (2008)

Spatio-temporal frequent patterns discovered from historical trajectories of moving objects can provide important knowledge for location-based services. To address the problem of finding sequential patterns from spatio-temporal datasets, continuous values of spatial and temporal attributes should be discretized with the minimum loss of information. Since data carries spatio-temporal correlation among attributes, it should be preserved during discretization to derive accurate patterns. In this paper, we define the problem of discretizing spatio-temporal data and propose a discretization method preserving spatio-temporal correlations in the data. Using line simplification, our method first abstracts trajectories into approximations considering the distributions of input data and then clusters them into logical cells. We experimentally analyze the effectiveness of the proposed approach in reducing the size of data and improving efficiency of the mining processes.
Overlapping Communication and Computation with High Level Communication Routines
Authors: Torsten Hoefler, Andrew Lumsdaine
Venue: Proceedings of the 2008 Eighth IEEE International Symposium on Cluster Computing and the Grid (2008)

Collective operations and non-blocking point-to-point operations are two important parts of MPI that each provide important performance and programmability benefits. Although non-blocking collective operations are an obvious extension to MPI, there have been no comprehensive studies of this functionality. This dissertation will study non-blocking collective operations, integrating theory, practice, and application. We use a well-understood network model to found our theoretical analyses and we realize our communication operations as a portable library layered on MPI. A real-world quantum-mechanical application is used as a deployment and evaluation vehicle for our approach.
Report from the Third International Workshop on Computer Vision Meets Databases (CVDB 2007)
Authors: Laurent Amsaleg, Björn pór Jónsson, Vincent Oria
Venue: ACM SIGMOD Record (2008)

This report summarizes the presentations and discussions of the Third International Workshop on Computer Vision meets Databases, or CVDB 2007, which was held in Beijing, China, on June 10, 2007. The workshop was colocated with the 2007 ACM SIGMOD/PODS conferences and attended by twenty-five participants.
User preference choices for complex question answering
Authors: Mingfang Wu, Falk Scholer, Andrew Turpin
Venue: Proceedings of the 31st annual international ACM SIGIR conference on Research and development in information retrieval (2008)

Question answering systems increasingly need to deal with complex information needs that require more than simple factoid answers. The evaluation of such systems is usually carried out using precision- or recall-based system performance metrics. Previous work has demonstrated that when users are shown two search result lists side-by-side, they can reliably differentiate between the qualities of the lists. We investigate the consistency between this user-based approach and system-oriented metrics in the question answering environment. Our initial results indicate that the two methodologies show a high level of disagreement.
Proceedings of the hypertext 2008 workshop on Creating out of the machine: hypertext, hypermedia, and web artists explore the craft
Venue: Conference on Hypertext and Hypermedia (2008)

I'd like to welcome you to Creating out of the Machine, a workshop for ACM SIGWEB's Hypertext 2008 conference. This workshop explores the process behind the creation of complex and interesting works of digital narratives. How do writers manage the link? What's underneath the cortex of a realized hypertext or hypermedia work? This workshop is about how hypertext and hypermedia artists create, what decisions they make, how ideas are realized, and how problems are solved. I'd like to thank the artists and developers who submitted proposals for this workshop: Alan Bigelow, Charles Deemer, Chris Crawford, Susan Gibb, Dene Grigar, Juan Gutierrez, and Mark Marino. I'd also like to thank David Millard and Mark Bernstein for their assistance with organization and for their advice. The presenters for this workshop come from a vast range of contexts. They work with hypertext systems, vector graphics technology, mathematics, drama and programming. In many ways this workshop aims at a basic infinitive: to make. A series of difficult questions follow: make what and make how? The ACM Portal is published by the Association for Computing Machinery. Copyright © 2010 ACM, Inc. Terms of Usage Privacy Policy Code of Ethics Contact Us Useful downloads: Adobe Acrobat QuickTime Windows Media Player Real Player
Regenerating boreal forest structure estimation using SPOT-5 pan-sharpened imagery
Authors: A. L. Wunderle, S. E. Franklin, X. G. Guo
Venue: International Journal of Remote Sensing (2007)

Forested stand structure is an important target variable within the fields of wildlife ecology. Remote sensing has often been suggested as a viable alternative to time consuming field and aerial investigations to determine forest structural attributes. In this study, 44 stands of recently harvested, regenerating, and old growth forest within the Foothills Model Forest in west-central Alberta were selected to test the ability of pan-sharpened SPOT-5 spectral response to classify stand structure. For each stand, a Structural Complexity Index (SCI) was calculated from field data using principal components analysis. To complement the spectral response data set and further increase accuracy, the normalized difference moisture index (NDMI) and three window sizes (5×5, 11×11, and 25×25) of first-(mean and standard deviation) and second-order (homogeneity, entropy, contrast, and correlation) textural measures were calculated over the pan-sharpened image. Stepwise multivariate regression analysis was used to determine the best explanatory model of the SCI using the spectral and textural data. The NDMI, first-order standard deviation and second-order correlation texture measures were better able to explain differences in SCI among the 44 forest stands (r2 = 0.79). The most appropriate window size for the texture measures was 5×5 indicating that this is a measure only detectable at a very high spatial resolution. The resulting classified SCI values were comparable to the actual field level SCI (r2 = 0.74, p = 0.01) and were limited by the strong variability within stands. Future research may find this measure useful either as a separate parameter or as an indicator of forest age for use in wildlife habitat modelling.
On monotone formula closure of SZK
Authors: A. De Santis
Venue: Proceedings of the 35th Annual Symposium on Foundations of Computer Science (1994)

We investigate structural properties of statistical zero knowledge (SZK) both in the interactive and in the non-interactive model. Specifically, we look into the closure properties of SZK languages under monotone logical formula composition. This gives rise to new protocol techniques. We show that interactive SZK for random self reducible languages (RSR) (and for co-RSR) is closed under monotone Boolean operations. Namely, we give SZK proofs for monotone Boolean formulae whose atoms are statements about an SZK language which is RSR (or a complement of RSR). All previously known languages in SZK are in these classes. We then show that if a language L has a non-interactive SZK proof system then honest-verifier interactive SZK proof systems exist for all monotone Boolean formulae whose atoms are statements about the complement of L. We also discuss extensions and generalizations.
An insertion operator preserving infinite reduction sequences
Authors: David Chemouil
Venue: Mathematical Structures in Computer Science (2008)

A common way to show the termination of the union of two abstract reduction systems, provided both systems terminate, is to prove that they enjoy a specific property (some sort of ‘commutation’ for instance). This specific property is actually used to show that, for the union not to terminate, one of the systems must itself be non-terminating, which leads to a contradiction. Unfortunately, the property may be impossible to prove because some of the objects that are reduced do not enjoy an adequate form. Hence the purpose of this paper is threefold: <label>–</label>First, it introduces an operator enabling us to insert a reduction step on such an object, and therefore to change its shape, while still preserving the ability to use the property. Of course, some new properties will need to be verified.<label>–</label>Second, as an instance of our technique, the operator is applied to relax a well-known lemma stating the termination of the union of two termination abstract reduction systems.<label>–</label>Finally, this lemma is applied in a peculiar and then in a more general way to show the termination of some lambda calculi with inductive types augmented with specific reductions dealing with:<label>(i)</label>copies of inductive types;<label>(ii)</label>the representation of symmetric groups.