ppxscal/embedding_network huggingface dataset:
Lwt: a cooperative thread library
Authors: Jérôme Vouillon
Venue: Proceedings of the 2008 ACM SIGPLAN workshop on ML (2008)

We present a cooperative thread library for Objective Caml. The library is entirely written in Objective Caml and does not rely on any external C function. Programs involving threads are written in a monadic style. This makes it possible to write threaded code almost as regular ML code, even though it has a different semantics. Cooperative threads are especially well suited for concurrent network applications, where threads perform little computation and spend most of their time waiting for input or output, at which time other threads can run. This library has been successfully used in the Unison file synchronizer and the Ocsigen Web server.
Query Answering in the Description Logic Horn-$\mathcal{SHIQ}$
Authors: Thomas Eiter, Georg Gottlob, Magdalena Ortiz, Mantas Šimkus
Venue: Proceedings of the 11th European conference on Logics in Artificial Intelligence (2008)

We provide an ExpTime algorithm for answering conjunctive queries (CQs) in Horn-$\mathcal{SHIQ}$, a Horn fragment of the well-known Description Logic $\mathcal{SHIQ}$ underlying the OWL-Lite standard. The algorithm employs a domino system for model representation, which is constructed via a worst-case optimal tableau algorithm for Horn-$\mathcal{SHIQ}$; the queries are answered by reasoning over the domino system. Our algorithm not only shows that CQ answering in Horn-$\mathcal{SHIQ}$ is not harder than satisfiability testing, but also that it is polynomial in data complexity, making Horn-$\mathcal{SHIQ}$ an attractive expressive Description Logic.
The essential order of approximation for Suzuki's neural networks
Authors: Feng-Jun Li, Zong-Ben Xu, Yue-Ting Zhou
Venue: Neurocomputing (2008)

For three kinds of neural networks constructed by Suzuki [Constructive function approximation by three layer artificial neural networks, Neural Networks 11 (1998) 1049-1058], by establishing both upper and lower bound estimations on approximation order, the essential approximation order of these networks is estimated and the theorem of saturation (the largest capacity of approximation) is proved. These results can precisely characterize the approximation ability of these networks and clarify the relationship among the rate of approximation, the number of hidden-layer units and the properties of approximated functions. Our paper extends and perfects the error estimations of Suzuki [Constructive function approximation by three layer artificial neural networks, Neural Networks 11 (1998) 1049-1058]. On the basis of the numerical example, we can conclude that the accuracy of our estimations outperform to the Suzuki's results.
Study on a parabolic reflector fed by L-band multi-port eleven antenna
Authors: Jungang Yin, Per-Simon Kildal
Venue: Proceedings of the 6th WSEAS International Conference on Applied Electromagnetics, Wireless and Optical (2008)

The paper studies the properties of the far field of a primary-fed parabolic reflector fed by a four-port L-band Eleven antenna. The sum beam as well as difference beams in two orthogonal planes after the reflector, which are necessary for the mono-pulse tracking, have been numerically evaluated. In addition, the relationship between the spacing between two parallel folded dipoles and the matching as well as radiation properties has been investigated.
Dynamic Data Driven Applications Systems --- DDDAS 2008
Authors: Craig C. Douglas
Venue: Proceedings of the 8th international conference on Computational Science, Part III (2008)

This workshop is centered about the recently emerged paradigm of Dynamic Data Driven Applications Systems (DDDAS). The DDDAS concept has already been established as a revolutionary new approach of a symbiotic relation between application and measurement systems, where applications can accept and respond dynamically to new data injected into the executing application, and reversely, the ability of such application systems to dynamically control the measurement processes. The synergistic feedback control-loop between application simulations and measurements can open new domains in the capabilities of simulations with high potential pay-off: create applications with new and enhanced analysis and prediction capabilities and enable a new methodology for more efficient and effective measurement processes. This new paradigm has the potential to transform the way science and engineering are done, with major impact in the way many functions in our society are conducted, such as manufacturing, commerce, transportation, hazard prediction/management, and medicine. The workshop will present such new opportunities, as well as the challenges and approaches in the applications', algorithms' and systems' software technologies needed to enable such capabilities, and will showcase ongoing research in these aspects with examples from several important application areas.
Visual Analytical Methods to Identify Family Clustered Diseases
Authors: Christian Fuchsberger, Lukas Forer, Cristian Pattaro, Andrew Hicks, Peter Pramstaller, Silvia Miksch
Venue: Proceedings of the 2008 21st IEEE International Symposium on Computer-Based Medical Systems (2008)

The study of isolated populations is a promising approach for the identification of genes conferring susceptibility to disease. Due to the complex genealogies of such populations epidemiological studies are challenging.We present ongoing research to using a visual analytics based approach for the identification of diseases that cluster in families, risk factors and heritability patterns.
How to Interconnect Operational and Behavioral Views of Web Applications
Authors: Daniela Carneiro da Cruz, Ruben Filipe Cardoso da Fonseca, Pedro Manuel Rangel Santos Henriques, Maria João Varanda Pereira
Venue: Proceedings of the 2008 The 16th IEEE International Conference on Program Comprehension (2008)

In the context of our research project, we are looking for program comprehension tools that are able to interconnect operational and behavioral views, aiming at aiding the programmer to relate problem and program domains to reach a full understanding of software systems. In particular we have been studying the adaptation of that principle to web applications. In this context, we had designed and implemented a tool called WebAppViewer. In this paper, we emphasize the development of the module (BORS) that is responsible for providing interconnection functionalities and we propose a tool demonstration. A dedicated web server is included in the system to allow the execution of the piece of code selected by the user. This feature is used to relate the source text (html, php, etc) executed by the server, with the web page received by the client. Code instrumentation is used to collect dynamic information.
What's a Typical Commit? A Characterization of Open Source Software Repositories
Authors: Abdulkareem Alali, Huzefa Kagdi, Jonathan I. Maletic
Venue: Proceedings of the 2008 The 16th IEEE International Conference on Program Comprehension (2008)

The research examines the version histories of nine open source software systems to uncover trends and characteristics of how developers commit source code to version control systems (e.g., subversion). The goal is to characterize what a typical or normal commit looks like with respect to the number of files, number of lines, and number of hunks committed together. The results of these three characteristics are presented and the commits are categorized from extra small to extra large. The findings show that approximately 75% of commits are quite small for the systems examined along all three characteristics. Additionally, the commit messages are examined along with the characteristics. The most common words are extracted from the commit messages and correlated with the size categories of the commits. It is observed that sized categories can be indicative of the types of maintenance activities being performed.
Adaptive Olfactory Encoding in Agents Controlled by Spiking Neural Networks
Authors: Nicolas Oros, Volker Steuber, Neil Davey, Lola Cañamero, Rod Adams
Venue: Proceedings of the 10th international conference on Simulation of Adaptive Behavior: From Animals to Animats (2008)

We created a neural architecture that can use two different types of information encoding strategies depending on the environment. The goal of this research was to create a simulated agent that could react to two different overlapping chemicals having varying concentrations. The neural network controls the agent by encoding its sensory information as temporal coincidences in a low concentration environment, and as firing rates at high concentration. With such an architecture, we could study synchronization of firing in a simple manner and see its effect on the agent's behaviour.
Evaluation of a Java Computer Algebra System
Authors: Heinz Kredel
Venue: Computer Mathematics: 8th Asian Symposium, ASCM 2007, Singapore, December 15-17, 2007. Revised and Invited Papers (2008)

This paper evaluates the suitability of Java as an implementation language for the foundations of a computer algebra library. The design of basic arithmetic and multivariate polynomial interfaces and classes have been presented in [1]. The library is type-safe due to its design with Java's generic type parameters and thread-safe using Java's concurrent programming facilities. We evaluate some key points of our library and differences to other computer algebra systems.
Visual Robot Localization and Mapping Based on Attentional Landmarks
Authors: Simone Frintrop
Venue: Proceedings of the 30th annual German conference on Advances in Artificial Intelligence (2007)

In this paper, we present a system for simultaneous localization and map building of a mobile robot, based on an attentional landmark detector. A biologically motivated attention system finds regions of interest which serve as visual landmarks for the robot. The regions are tracked and matched over consecutive frames to build stable landmarks and to estimate the 3D position of the landmarks in the environment. Furthermore, matching of current landmarks to database entries enables loop closing and global localization. Additionally, the system is equipped with an active camera control, which supports the system with a tracking, a re-detection, and an exploration behaviour.
Defects Identification in Textile by Means of Artificial Neural Networks
Authors: Vitoantonio Bevilacqua, Lucia Cariello, Giuseppe Mastronardi, Vito Palmieri, Marco Giannini
Venue: Proceedings of the 4th international conference on Intelligent Computing: Advanced Intelligent Computing Theories and Applications - with Aspects of Artificial Intelligence (2008)

In this paper we use a neural network approach for defects identification in textile. The images analyzed came from an artificial vision system that we used to acquire and memorize them in bitmap file format. The vision system is made of two grey scale line scan camera arrays and each array is composed of four CCD cameras with a sensor of 2048 pixels. Every single camera has a field of view of 600mm. The big amount of pixels to be studied to determine whether the texture is defective or not, requires the implementation of some encoding technique to reduce the number of the significant elements. The artificial neural networks (ANN) are manipulated to compress a bitmap that may contain several defects in order to represent it with a number of coefficients that is smaller than the total number of pixel but still enough to identify all kinds of defects classified. An error back propagation algorithm is also used to train the neural network. The proposed technique includes, also, steps to break down large images into smaller windows or array and eliminate redundant information.
Are disks the dominant contributor for storage failures?: A comprehensive study of storage subsystem failure characteristics
Authors: Weihang Jiang, Chongfeng Hu, Yuanyuan Zhou, Arkady Kanevsky
Venue: ACM Transactions on Storage (TOS) (2008)

Building reliable storage systems becomes increasingly challenging as the complexity of modern storage systems continues to grow. Understanding storage failure characteristics is crucially important for designing and building a reliable storage system. While several recent studies have been conducted on understanding storage failures, almost all of them focus on the failure characteristics of one component&mdash;disks&mdash;and do not study other storage component failures. This article analyzes the failure characteristics of storage subsystems. More specifically, we analyzed the storage logs collected from about 39,000 storage systems commercially deployed at various customer sites. The dataset covers a period of 44 months and includes about 1,800,000 disks hosted in about 155,000 storage-shelf enclosures. Our study reveals many interesting findings, providing useful guidelines for designing reliable storage systems. Some of our major findings include: (1) In addition to disk failures that contribute to 20--55&percnt; of storage subsystem failures, other components such as physical interconnects and protocol stacks also account for a significant percentage of storage subsystem failures. (2) Each individual storage subsystem failure type, and storage subsystem failure as a whole, exhibits strong self-correlations. In addition, these failures exhibit &ldquo;bursty&rdquo; patterns. (3) Storage subsystems configured with redundant interconnects experience 30--40&percnt; lower failure rates than those with a single interconnect. (4) Spanning disks of a RAID group across multiple shelves provides a more resilient solution for storage subsystems than within a single shelf.
Temperature effects and accuracy of MOS radiation dosimeters
Authors: G. Sarrabayrouse, S. Siskos
Venue: Proceedings of the 7th WSEAS International Conference on Microelectronics, Nanoelectronics, Optoelectronics (2008)

The influence of the irradiation dose on the parameters which control the temperature sensitivity of thick oxide p-MOS ionising radiation dosimeters is investigated. The temperature sensitivity of the threshold voltage, the carrier mobility and the minimum temperature coefficient current appear to be dose-dependent contrary to what is generally considered. The consequences on the dose measurement accuracy of the dosimeter is discussed with respect to the measurement procedure.
Haskell: batteries included
Authors: Duncan Coutts, Isaac Potoczny-Jones, Don Stewart
Venue: Proceedings of the first ACM SIGPLAN symposium on Haskell (2008)

The quality of a programming language itself is only one component in the ability of application writers to get the job done. Programming languages can succeed or fail based on the breadth and quality of their library collection. Over the last few years, the Haskell community has risen to the task of building the library infrastructure necessary for Haskell to succeed as a programming language suitable for writing real-world applications. This on-going work, the Cabal and Hackage effort, is built on the open source model of distributed development, and have resulted in a flowering of development in the language with more code produced and reused now than at any point in the community's history. It is easier to obtain and use Haskell code, in a wider range of environments, than ever before. This demonstration describes the infrastructure and process of Haskell development inside the Cabal/Hackage framework, including the build system, library dependency resolution, centralised publication, documentation and distribution, and how the code escapes outward into the wider software community. We survey the benefits and trade-offs in a distributed, collaborative development ecosystem and look at a proposed Haskell Platform that envisages a complete Haskell development environment, batteries included.
Improvement of Noise Filtering and Image Registration Methods for the Pressure Sensitive Paint Experiments
Authors: N. Fujimatsu, Y. Tamura, K. Fujii
Venue: Journal of Visualization (2005)

Image processing procedures for noise reduction and image registration in the Pressure Sensitive Paint (PSP) experiments are investigated. A several types of filter are examined for the removal of shot noise. An algorithm to detect a marker cell located on the model surface is proposed and an appropriate marker size is discussed. The digital processing based on the wavelet transform is effective to reduce the shot noise and to enhance the edge of the model. The algorithm to sharpen the edge of the model using wavelet transforms is developed. The results indicate that the methods developed in this study effectively remove the shot noise and correct the displacement of the model on the images taken during the wind-on.
MobGeoSen: facilitating personal geosensor data collection and visualization using mobile phones
Authors: Eiman Kanjo, Steve Benford, Mark Paxton, Alan Chamberlain, Danae Stanton Fraser, Dawn Woodgate, David Crellin, Adrain Woolard
Venue: Personal and Ubiquitous Computing (2008)

Mobile sensing and mapping applications are becoming more prevalent because sensing hardware is becoming more portable and more affordable. However, most of the hardware uses small numbers of fixed sensors that report and share multiple sets of environmental data which raises privacy concerns. Instead, these systems can be decentralized and managed by individuals in their public and private spaces. This paper describes a robust system called MobGeoSens which enables individuals to monitor their local environment (e.g. pollution and temperature) and their private spaces (e.g. activities and health) by using mobile phones in their day to day life. The MobGeoSen is a combination of software components that facilitates the phone's internal sensing devices (e.g. microphone and camera) and external wireless sensors (e.g. data loggers and GPS receivers) for data collection. It also adds a new dimension of spatial localization to the data collection process and provides the user with both textual and spatial cartographic displays. While collecting the data, individuals can interactively add annotations and photos which are automatically added and integrated in the visualization file/log. This makes it easy to visualize the data, photos and annotations on a spatial and temporal visualization tool. In addition, the paper will present ways in which mobile phones can be used as noise sensors using an on-device microphone. Finally, we present our experiences with school children using the above mentioned system to measure their exposure to environmental pollution.
Credentials-Based Authorization: Evaluation and Implementation
Authors: Fred B. Schneider
Venue: Proceedings of the 34th international colloquium on Automata, Languages and Programming (2007)

Nexus is a new operating system that runs on computers equipped with tamperproof secure co-processors; it is designed to support the construction of trustworthy applications-applications where actions can be attributed with some measure of confidence and where trust assumptions are explicit.
Electric polarizabilities of the C$_x$Si$_{4-x}$ (0 &les; x &les; 4) clusters. A conventional and time-dependent density functional theory study
Authors: Demetrios Xenides, Christos S. Garoufalis
Venue: Journal of Computational Methods in Sciences and Engineering (2007)

The dipole polarizabilities of the pure tetramers (C$_4$, Si$_4$) and mixed carbon silicon hetero-clusters (C$_x$Si$_{4-x}$, 0&les; x &les; 4) have been calculated within the framework of time independent and Time-Dependent (TD) Density Functional Theory (DFT) methods. The convergence of the two approaches is remarkably good revealing the absence of any systematic error. The Si- substitution leads to clusters with enhanced properties. The effect is more pronounced in the case of second hyperpolarizability (x 10$^3 e^4a_0^4E_h^{-3}$): 8.51(C$_4$) &rarr; 18.04(SiC$_3$) &rarr; 32.45(Si$_2$C$_2$) &rarr; 60.45(Si$_3$C) &rarr; 100.79(Si$_4$). To further extend our study, we have performed a spectral decomposition of dipole polarizabilities by employing the TD excitation energies and their corresponding oscillator strengths. Such a decomposition allows for a pictorial insight into some of the factors controlling the evolution of the property for these clusters.
Product Form Approximations for Communicating Markov Processes
Authors: Peter Buchholz
Venue: Proceedings of the 2008 Fifth International Conference on Quantitative Evaluation of Systems (2008)

Exact product form solutions have been found for several classes of stochastic models including some networks of stochastic automata or communicating Markov chains. In this paper a theory of approximate product forms is presented. The idea is to define an approximate product form solution as a Kronecker product of vectors that minimizes the Euclidean norm of the residual vector for arbitrary networks of communicating Markov processes. By adopting ideas from numerical analysis to approximate a matrix by a sum of Kronecker products of small matrices, higher order product forms that result in better approximations are defined.The paper presents the general theory of product form approximations for communicating Markov processes and it introduces first algorithms to compute product form solutions. By means of some examples it is shown that the approach allows one to compute approximations with increasing accuracy by increasing the order of the product form.
FPGA Based Implementation of Real-Time Video Watermarking Chip
Authors: Yong-Jae Jeong, Kwang-Seok Moon, Jong-Nam Kim
Venue: Proceedings of the 3rd international conference on Embedded Software and Systems (2007)

In this paper, we propose a real-time video watermarking chip and system which is hardware based watermark embedding system of SD/HD (standard definition/high definition) video with STRATIX2 FPGA device from ALTERA. There was little visual artifact due to watermarking in subjective quality evaluation between the original video and the watermarked one. Embedded watermark was all extracted after a robustness test called natural video attacks such as A/D (analog/digital) conversion and MPEG compression. Our implemented watermarking hardware system can be useful in movie production and broadcasting companies that requires real-time based copyright protection system.
International symposium of memory management (ISMM 2008)
Authors: Richard Jones, Steve Blackburn
Venue: ACM SIGPLAN Notices (2008)

The ACM SIGPLAN International Symposium on Memory Management (ISMM) is a premier forum for research in the management of dynamically allocated memory. We interpret this remit widely: areas of interest include but are not limited to explicit storage allocation and deallocation; garbage collection algorithms and implementations; compiler analyses to aid memory management; interactions with languages, operating systems and hardware (especially the memory system); memory management related tools; and empirical studies of allocation and referencing behavior in programs that make significant use of dynamic memory.