ppxscal/embedding_network huggingface dataset:
A Newly Computational Intelligence Algorithm for Air Quality Mapping Using SPOT Image over Penang, Malaysia
Authors: C. E. Joanna Tan, H. S. Lim, C. J. Wong, M. Z. MatJafri, K. Abdullah
Venue: Proceedings of the 2008 Fifth International Conference on Computer Graphics, Imaging and Visualisation (2008)

The effect of aerosols on the global climate system is one of the major uncertainties of present climate predictions. This study is dealing with obtaining particulates matter of less than 10-micro in diameter (PM10) using SPOT data. The objectives of this study is to measure air quality parameters and to develop a model for relating ground truth data to the remote sensing images over Penang, Malaysia. In situ data of the PM10 measurements were collected simultaneously with the digital images acquisition using a DustTrak meter. The sun radiation measurements at the ground surface were collected using a handheld spectro radiometer. The digital images were separated into three bands namely red, green and blue bands for multispectral algorithm calibration. The selected parameter was particulate matter less than 10 micron (PM10). The digital numbers of the corresponding in situ data were converted into irradiance and then reflectance. The atmospheric reflectance values were extracted from the satellite observation reflectance values subtrated by the amount given by the surface reflectance. The atmospheric reflectance values were later used for PM10 mapping using the calibrated algorithm. The relationship between the reflectance and the corresponding air quality data was determined using regression analysis. A new algorithm was developed for detecting air pollution from the digital images chosen based on the highest correlation coefficient, R and lowest root mean square error, RMS for PM10. The results show that the use of remotely sensed data produced better spatial resolution air quality map compared to the spacing between ground stations.
MABS Celebrates Its 10th Anniversary!
Authors: Jaime Simão Sichman
Venue: Multi-Agent-Based Simulation VIII: International Workshop, MABS 2007, Honolulu, HI, USA, May 15, 2007, Revised and Invited Papers (2008)

The MABS (multi-agent based simulation) workshop had its first edition in 1998, and hence is celebrating its 10th anniversary. The aim of this paper is to present an historical perspective of the event, by showing some details about each of its editions. Additionally, a statistical summary of submitted and accepted papers is presented.
A Framework for Analyzing and Testing Overlapping Requirements with Actors in Conceptual Graphs
Authors: Bryan J. Smith
Venue: Proceedings of the 15th international conference on Conceptual Structures: Knowledge Architectures for Smart Applications (2007)

Requirements inconsistencies, caught early in a software lifecycle, prevents unnecessary work later in that lifecycle. Testing requirements for consistency early and automatically is a key to catching errors. This paper will share an experience with a mature software project that involved translating software requirements with overlapping definitions into a conceptual graph and recommends the use of several new actors to help automatically test a requirements consistency graph.
Research of guide system utilizing artificial human shadow: proposal of "S3G shadow support guide system"
Authors: Ogawa Manabu, Edwards Sarah, Choh Ikuro
Venue: Proceedings of the 3rd international conference on Digital Interactive Media in Entertainment and Arts (2008)

In Japan today, the composition of public environments are becoming increasingly complex, and in turn, it is becoming increasingly difficult to provide adequate navigation guidance utilizing traditional Sign Systems. This proposed guidance system "Shadow Support Guide System: S3G" utilizes an artificial human shadow (silhouette) to provide navigation through public environments. The system works by navigators unconsciously mimicking the movements of the shadow.
DNA Physical Mapping on a Reconfigurable Platform
Authors: Adriano Idalgo, Nahri Moreano
Venue: Proceedings of the 4th international workshop on Reconfigurable Computing: Architectures, Tools and Applications (2008)

Reconfigurable architectures enable the hardware function to be implemented by the user and, due to its characteristics, have been used in many areas, including Bioinformatics. One application of Bioinformatics is the consecutive ones problem, which consists in finding a permutation of columns in a binary matrix, in such a way that all the ones in each row are consecutive. This matrix represents information about DNA fragments and probes, which allow the determination of the order of the nitrogenated bases that form the original DNA.This work proposes a hybrid software/hardware system for solving the consecutive ones problem. Since this problem processes large volumes of data, the goal is to reduce its execution time, compared to a SW algorithm. We present and analyze several implementations, in the reconfigurable hardware, of sections of this algorithm, using a Virtex-II FPGA. Experiments performed using real chromosomes produced speedups of up to 29.62 and show potential for further optimizations exploiting dynamic reconfiguration.
Towards Relational Inconsistent Databases with Functional Dependencies
Authors: Sergio Greco, Cristian Molinaro
Venue: Proceedings of the 12th international conference on Knowledge-Based Intelligent Information and Engineering Systems, Part II (2008)

This paper the presence of functional dependencies. Specifically, we present a repairing strategy where only tuple updates are allowed in order to restore consistency. The proposed approach allows us to obtain a unique repair which can be computed in polynomial time.
Cooperative control of small and micro air vehicles
Authors: Randal W. Beard
Venue: Proceedings of the 7th international joint conference on Autonomous agents and multiagent systems - Volume 1 (2008)

The focus of this talk will be cooperative control techniques for small and micro air vehicles. There are numerous potential applications of this technology including aerial reconnaissance, border patrol, monitoring forest fires, oil fields, and pipelines, and tracking wildlife. This talk will present a general approach to cooperative control problems which can be summarized in four steps. The first step is to identify the coordination variables which are the minimal information needed to effect cooperation. The second step is to quantify the cooperation constraint and cooperation objective in terms of the coordinate variables. The third step is to develop a centralized cooperation strategy that acts upon the instantaneous values of the coordination variables to achieve the objectives. Finally, the fourth step is to use information consensus schemes to transform the centralized strategy into a decentralized algorithm. The consensus algorithms allow a team of vehicles to agree upon the instantaneous value of the coordination variables while connected through a noisy, intermittent, time-varying communication network. We will also show several applications of our approach in the context of small unmanned air vehicles (UAVs). The first application will be to the problem of cooperative rendezvous. There are numerous military scenarios where it is desirable to have a team of UAVs converges simultaneously to a region of interest. However, pop-up threats, wind, and an unreliable communication environment make this problem extremely challenging for small UAVs. The second application will be distributed fire perimeter monitoring where a team of UAVs is tasked to monitor the border of a forest fire. The nature of the environment only allows communication when the UAVs are in close vicinity of each other. Therefore, cooperation must be achieved with only infrequent communication. The third application will be that of cooperatively tracking and targeting a moving ground target when sensor occlusions are probable.
Sets, Logic and Maths for Computing, 1 edition
Authors: David Makinson
Venue:  (2008)

University studies in computing require the ability to pass from a concrete problem to an abstract representation, reason with the abstract structure, and return with useful solutions to the specific situation. The tools for developing these skills are in part qualitative concepts such as set, relation, function, and structures such as trees and well-founded orders. They are also in part quantitative notably elementary combinatorics and finite probability. Recurring in all of these are instruments of proof, both purely logical ones (such as proof by contradiction) and mathematical (the various forms of induction). Features: Explains the basic mathematical tools required by students as they set out in their studies of Computer or Information Science Explores the interplay between qualitative thinking and calculation Teaches the material as a language for thinking, as much as knowledge to be acquired Uses an intuitive approach with a focus on examples for all general concepts Provides numerous exercises, solutions and proofs to deepen and test the readers understanding Includes highlight boxes that raise common queries and clear away confusions Tandems with additional electronic resources including slides on author's website http://david.c.makinson.googlepages.com This easy-to-follow text allows readers to carry out their computing studies with a clear understanding of the basic finite mathematics and logic that they will need. Written explicitly for undergraduates, it requires only a minimal mathematical background and is ideal for self-study as well as classroom use.
Multi-projection Correlation Imaging as a New Diagnostic Tool for Improved Breast Cancer Detection
Authors: Amarpreet S. Chawla, Ehsan Samei, Joseph Y. Lo, Thomas Mertelmeier
Venue: Proceedings of the 9th international workshop on Digital Mammography (2008)

Multi-projection imaging technique offers an advantage over single projection imaging techniques in rendering pathology that may be surrounded by a complex cloud of anatomical structures. The process of harnessing the geometrical and statistical dependences between the multiple images available in a multi-projection system to determine the final diagnosis is termed Correlation Imaging (CI). In this study, we are investigating the potential improvement in breast cancer detection via CI. As a key step towards that, the acquisition scheme of CI was first optimized to maximize its diagnostic performance. Toward that end, first a clinically-realistic task was designed and each component of acquisition, namely, the acquisition dose level, the number of projections, and their angular span was systematically changed to determine a specific combination that yielded maximum performance in that task. Finally, the performance of the optimized system was compared with that of standard planar mammography. The results indicated that the performance of CI may potentially be optimized between 15-17 projections spanning an angular arc of 45 o . This optimum performance further improved with increasing dose levels; however, at dose level comparable to mammography, CI provided a factor of 1.1 improvement over mammography. The framework developed in this study to evaluate multi-projections system may be applied to any other multi-projection imaging modality, and by including reconstruction, may be extended to digital breast tomosynthesis and breast computed tomography.
Specification and Verification of Multi-agent Systems Interaction Protocols Using a Combination of AUML and Event B
Authors: Leila Jemni Ben Ayed, Fatma Siala
Venue: Interactive Systems. Design, Specification, and Verification: 15th International Workshop, DSV-IS 2008 Kingston, Canada, July 16-18, 2008 Revised Papers (2008)

In this paper, we present a specification and verification technique for interaction protocols in multi-agent systems using a combination of Agent Unified Modeling Language (AUML) and the Event B method. The objective is to improve the semi-formal representation of agents, their precedence relation and protocol states as well as the formal analysis of safety and liveliness. The interaction protocol is initially modeled using the AUML protocol diagram. Then, the resulting model is translated into Event B and enriched with required interaction protocols properties to be verified using a B powerful support tool: B4free. In this paper, we focus on the translation process of AUML protocol diagrams into Event B and we illustrate our technique by an example of multi-agent systems interaction protocol.
Program Repair Suggestions from Graphical State-Transition Specifications
Authors: Farn Wang, Chih-Hong Cheng
Venue: Proceedings of the 28th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems (2008)

In software engineering, graphical formalisms, like state- transition tables and automata, are very often indispensable parts of the specifications. Such a formalism usually leads to specification refinement that maintains the simulation/bisimulation relation between an implementation and a specification. We investigate how to use formal techniques to generate suggestions for repairing a program that breaks the bisimulation relation with a graphical specification. We use state graphs as a unified representation of the program models and specifications. We propose a technique that may evaluate the cost of a repair. We present a PTIME heuristic algorithm that suggests how to repair a model state graph. We then explain how to derive repair suggestions for programs from the repair for state graphs. Finally, we report our experiment that checks the performance of our repair algorithms and the costs of our repairs.
One Lead ECG Based Personal Identification with Feature Subspace Ensembles
Authors: Hugo Silva, Hugo Gamboa, Ana Fred
Venue: Proceedings of the 5th international conference on Machine Learning and Data Mining in Pattern Recognition (2007)

In this paper we present results on real data, focusing on personal identification based on one lead ECG, using a reduced number of heartbeat waveforms. A wide range of features can be used to characterize the ECG signal trace with application to personal identification. We apply feature selection (FS) to the problem with the dual purpose of improving the recognition rate and reducing data dimensionality. A feature subspace ensemble method (FSE) is described which uses an association between FS and parallel classifier combination techniques to overcome some FS difficulties. With this approach, the discriminative information provided by multiple feature subspaces, determined by means of FS, contributes to the global classification system decision leading to improved classification performance. Furthermore, by considering more than one heartbeat waveform in the decision process through sequential classifier combination, higher recognition rates were obtained.
Videocassette Course Development Using Microcomputer Graphics
Authors: Thomas Moher
Venue: IEEE Computer Graphics and Applications (1985)

The blackboard may hold a time-honored place in the classroom, but for videocassette courses a properly integated computer graphics display is vastly superior
Computing Inverse ST in Linear Complexity
Authors: Ge Nong, Sen Zhang, Wai Hong Chan
Venue: Proceedings of the 19th annual symposium on Combinatorial Pattern Matching (2008)

The Sort Transform (ST) can significantly speed up the block sorting phase of the Burrows-Wheeler transform (BWT) by sorting only limited order contexts. However, the best result obtained so far for the inverse ST has a time complexity O(Nlogk) and a space complexity O(N), where N and k are the text size and the context order of the transform, respectively. In this paper, we present a novel algorithm that can compute the inverse ST in an O(N) time/space complexity, a linear result independent of k. The main idea behind the design of the linear algorithm is a set of cycle properties of k-order contexts we explored for this work. These newly discovered cycle properties allow us to quickly compute the longest common prefix (LCP) between any pair of adjacent k-order contexts that may belong to two different cycles, leading to the proposed linear inverse ST algorithm.
Age Determination of Children in Preschool and Primary School Age with GMM-Based Supervectors and Support Vector Machines/Regression
Authors: Tobias Bocklet, Andreas Maier, Elmar Nöth
Venue: Proceedings of the 11th international conference on Text, Speech and Dialogue (2008)

This paper focuses on the automatic determination of the age of children in preschool and primary school age. For each child a Gaussian Mixture Model (GMM) is trained. As training method the Maximum A Posteriori adaptation (MAP) is used. MAP derives the speaker models from a Universal Background Model (UBM) and does not perform an independent parameter estimation. The means of each GMM are extracted and concatenated, which results in a so-called GMM supervector. These supervectors are then used as meta features for classification with Support Vector Machines (SVM) or for Support Vector Regression (SVR). With the classification system a precision of 83 % was achieved and a recall of 66 %. When the regression system was used to determine the age in years, a mean error of 0.8 years and a maximal error of 3 years was obtained. A regression with a monthly accuracy brought similar results.
Quasi-relativistic coupled cluster calculations of electric dipole moments and dipole polarizabilities of GeO, SnO, and PbO
Authors: Vladimír Kellö, Andrej Antušek, Miroslav Urban
Venue: Journal of Computational Methods in Sciences and Engineering (2004)

Electric dipole moments and static dipole polarizabilities of the series of oxides including a heavy atom, GeO, SnO, and PbO in their $^{1}$&Sigma; ground states have been calculated by the Coupled Cluster CCSD(T) method. Scalar relativistic effects were considered by the Douglas-Kroll-Hess (DK) quasirelativistic approach. Both electron correlation and relativistic effects throughout the series are analysed and discussed. Final DK-CCSD(T) dipole moments are &mu; = 1.280, 1.598, and 1.764 a.u. for GeO, SnO, and PbO, respectively. Static dipole polarizabilities for the title molecules are &alpha;$_{zz}$ = 40.33, 56.29, and 62.55; &alpha;$_{xx}$ = 27.62, 37.74, and 37.46 a.u., respectively. Electron correlation effects are much more important than relativistic effects in the dipole moment and the parallel polarizability even in PbO. Only the perpendicular polarizability of PbO is more affected by relativistic effects than by the electron correlation. We note that the dipole moments and the parallel component of polarizability increase with the atomic number. No drop of the polarizability due to the relativistic effects, as it is common for atomic polarizabilities, is observed in the series of calculated molecules. The trends in static dipole polarizabilities within the series are analysed and compared with some related compounds containing a heavy atom.
About of nonlinear digital control for a dc-to-dc power converter
Authors: Jenica Ileana Corcau, Eleonor Stoenescu
Venue: Proceedings of the 7th WSEAS International Conference on Electronics, Hardware, Wireless and Optical Communications (2008)

In this paper is presented closed loop control studies of a power converter. With the rapid advance of digital control hardware, it's time to take the simple but effective PID control technology to the next level of performance and robustness. A nonlinear PID controller is presented in this paper. Analytical and simulation results for a new nonlinear control strategy are discussed and compared with traditional linear control models.
Epistemological perspectives on ontology-based theories for conceptual modeling
Authors: Jan Recker, Björn Niehaves
Venue: Applied Ontology (2008)

Conceptual modeling is a core activity within information systems analysis and design. In response to continuous criticisms targeting the foundation of conceptual modeling, the notion of ontology as a theoretical reference has gained immense popularity over recent decades. At the forefront of these ontology-based theories is the Bunge-Wand-Weber representation model, which has frequently been applied in conceptual modeling research, most notably to the task of evaluating conceptual Information Systems analysis and design models and modeling grammars. Recently, however, ontology-based theories themselves have been subjected to criticisms, in particular in respect to their epistemological presuppositions. In our paper we address the question of epistemology in conceptual modeling research based on ontological theories, and argue that there is an immanent need for publishing the epistemological assumptions of these theories in order to be able to critically evaluate boundaries, scope and limits of these theories for conceptual modeling. We present a discussion framework that facilitates the analysis of epistemological viewpoints and their implications. We apply this framework to the commonly known Bunge-Wand-Weber model and discuss the implications of our findings towards the feasibility of ontology as a reference theory for conceptual modeling.
Interactive Narratives: Exploring the Links between Empathy, Interactivity and Structure
Authors: Stacey Hand, Duane Varan
Venue: Proceedings of the 6th European conference on Changing Television Environments (2008)

Interactive narratives have long been advocated as having the potential to create more immersive and transformative experiences for audiences by adding the pleasure of agency. In practice, however, finding the balance between sufficient interactivity for agency and narrative structure has been difficult. This paper proposed a model of interactive narrative, which encased interactivity within a strong narrative structure, as the best model to increase audience entertainment. In order to test the hypothesis that such a model would out perform its linear counterpart in terms of audience entertainment- two separate audience studies were conducted. The first study tested an interactive drama for television and the second study tested two interactive narrative based advertisements. When anaylsing the two studies there was a surprising result- in each case audience empathy was consistently and significantly increased by the addition of interactivity. This discovery suggests links between empathy and interactivity, and has exciting implications about the role of empathic stress and structure in the creation of future models of interactive narratives.
Computing exact symmetries of dynamical systems from their reduced system of equations can be interesting
Authors: Festus I. Arunaye
Venue: Proceedings of the 7th WSEAS International Conference on Applied Computer and Applied Computational Science (2008)

The symmetry analysis of differential equations in the context of Lie point and nonlocal symmetries is rich in the literature. In this paper we present the computation of the exact symmetry transformations of dynamical systems from their reduced systems using the Kepler problem as vehicle. We also note that this computational technique is applicable to systems that can be reduced to couple oscillator(s) and a conservation law.