ppxscal/embedding_network huggingface dataset:
Parallel simulation of petri nets on desktop pc hardware
Authors: Robert Geist, Jacob Hicks, Mark Smotherman, James Westall
Venue: Proceedings of the 37th conference on Winter simulation (2005)

A comparatively simple approach to highly parallel simulation of Petri nets on commodity, desktop PC hardware is suggested. A mapping, described in the programming language Cg, of Petri net semantics to the SIMD architecture of NVidia 5-series and 6-series GPUs is provided, and a prototype simulator is tested on both conflict-intensive and conflict-free Petri net models. In all cases, the prototype parallel simulator is seen to deliver substantial performance gains over its serial counterparts. Limitations of the approach and open design issues are also described.
Representation in stochastic search for phylogenetic tree reconstruction
Authors: Griffin Weber, Lucila Ohno-Machado, Stuart Shieber
Venue: Journal of Biomedical Informatics (2006)

Phylogenetic tree reconstruction is a process in which the ancestral relationships among a group of organisms are inferred from their DNA sequences. For all but trivial sized data sets, finding the optimal tree is computationally intractable. Many heuristic algorithms exist, but the branch-swapping algorithm used in the software package PAUP* is the most popular. This method performs a stochastic search over the space of trees, using a branch-swapping operation to construct neighboring trees in the search space. This study introduces a new stochastic search algorithm that operates over an alternative representation of trees, namely as permutations of taxa giving the order in which they are processed during stepwise addition. Experiments on several data sets suggest that this algorithm for generating an initial tree. When followed by branch-swapping, can produce better trees for a given total amount of time.
Software reliability forecasting by support vector machines with simulated annealing algorithms
Authors: Ping-Feng Pai, Wei-Chiang Hong
Venue: Journal of Systems and Software (2006)

Support vector machines (SVMs) have been successfully employed to solve non-linear regression and time series problems. However, SVMs have rarely been applied to forecasting software reliability. This investigation elucidates the feasibility of the use of SVMs to forecast software reliability. Simulated annealing algorithms (SA) are used to select the parameters of an SVM model. Numerical examples taken from the existing literature are used to demonstrate the performance of software reliability forecasting. The experimental results reveal that the SVM model with simulated annealing algorithms (SVMSA) results in better predictions than the other methods. Hence, the proposed model is a valid and promising alternative for forecasting software reliability.
An Empirical Study of Iterative Data-Flow Analysis
Authors: Keith D. Cooper, Timothy J. Harvey, Ken Kennedy
Venue: Proceedings of the 15th International Conference on Computing (2006)

The iterative algorithm is widely used to solve instances of data-flow analysis problems. The algorithm is attractive because it is easy to implement and robust in its behavior. The theory behind the iterative algorithm establishes a set of conditions where the algorithm runs in at most d(G)+3 passes over the graph  a round-robin algorithm, running a "rapid framework, on a reducible graph [15]. Fortunately, these restrictions encompass many practical analyses used in code optimization. Even when the rapid restrictions are not met, the iterative algorithm still terminates and produces correct results for a broad class of problems. Given the ubiquity of the iterative algorithm, it is important for compiler writers to understand the performance tradeoffs of different implementations of the algorithm. This paper lays out a number of different data structures to speed up the iterative algorithm using a worklist approach and shows carefully designed experiments using three different iteration-based analyses. Our experience shows not only that the worklist algorithm is significantly faster than the round-robin approach, but that this advantage can be reversed if mistakes are made in the worklist implementation.
Running the manual: an approach to high-assurance microkernel development
Authors: Philip Derrin, Kevin Elphinstone, Gerwin Klein, David Cock, Manuel M. T. Chakravarty
Venue: Proceedings of the 2006 ACM SIGPLAN workshop on Haskell (2006)

We propose a development methodology for designing and prototyping high assurance microkernels, and describe our application of it. The methodology is based on rapid prototyping and iterative refinement of the microkernel in a functional programming language. The prototype provides a precise semi-formal model, which is also combined with a machine simulator to form a reference implementation capable of executing real user-level software, to obtain accurate feedback on the suitability of the kernel API during development phases. We extract from the prototype a machine-checkable formal specification in higher-order logic, which may be used to verify properties of the design, and also results in corrections to the design without the need for full verification. We found the approach leads to productive, highly iterative development where formal modelling, semi-formal design and prototyping, and end use all contribute to a more mature final design in a shorter period of time.
Mapping FrameNet and SUMO with WordNet Verb: Statistical Distribution of Lexical-Ontological Realization
Authors: Ian C. Chow, Jonathan J. Webster
Venue: Proceedings of the Fifth Mexican International Conference on Artificial Intelligence (2006)

Automatic acquisition of lexical knowledge is critical to a wide range of natural language processing tasks. Verb knowledge is especially important in semantic parsing. Verbs denote relational information of lexicogrammar and semantically state the participants and event involved in the meaning construed. This paper describes a statistical distribution approach to reuse and integrate information from the Suggested Upper Merged Ontology (SUMO), WordNet and FrameNet. The mapping between word-meanings, frame-semantics and world concepts suggests a heuristic approach for linking WordNet verbs and FrameNet frames providing a knowledge base for Semantic Role Labeling(SRL), identifying the appropriate range of possible semantic roles with respect to the event evoked by verb. This is accomplished through the verbs covered by both FrameNet and WordNet, taking the shared lexical knowledge as learning data to map SUMO concepts with FrameNet frames. The exploitation of the mapping aims at automatic populating WordNet data to FrameNet frames constructing a knowledge base for semantic parsing.
Stochastic programming methods applied to network optimization
Authors: Xian Liu, Yupo Chan, Wilsun Xu
Venue: Performance Evaluation (2006)

As communication technologies evolve, it becomes necessary to incorporate the stochastic effect of traffic flows into network models. This paper introduces the stochastic programming (SP) methodology for characterizing traffic. Two SP approaches, here-and-now (HN) and scenario tracking (ST), are described through case studies for a prototype network. A numerical optimization procedure is used to perform the simulation. It is clearly demonstrated that when the probability distributions can be estimated analytically, the HN approach can be attractive. Otherwise, the ST approach may be more appropriate.
The Euler-Lagrange theory for Schur's algorithm: algebraic exposed points
Authors: S. Khrushchev
Venue: Journal of Approximation Theory (2006)

In this paper the ideas of Algebraic Number Theory are applied to the Theory of Orthogonal polynomials for algebraic measures. The transferring tool are Wall continued fractions. It is shown that any set of closed arcs on the circle supports a quadratic measure and that any algebraic measure is either a Szegö measure or a measure supported by a proper subset of the unit circle consisting of a finite number of closed arcs. Singular parts of algebraic measures are finite sums of point masses.
Enhancing mathematical discourse in elementary classrooms
Authors: Mitzi Lewison, Ingrid Graves, Lenny Sanchez
Venue: Proceedings of the 7th international conference on Learning sciences (2006)

Using conversational formative routines among students, this study focuses on the discursive practices found in two fifth-grade mathematics classrooms. The analysis considers student identity work situated in meaningful engagement in knowledge practices. Particular attention is paid to how students become proficient in speaking the language of mathematical communities and the relationship this has on their identity within the group.
Component-based performance modeling of a storage area network
Authors: Nava Aizikowitz, Alex Glikson, Ariel Landau, Bilha Mendelson, Tommy Sandbank
Venue: Proceedings of the 37th conference on Winter simulation (2005)

This work explores performance issues of system-level interactions by means of performance modeling. We focus on I/O performance in a storage area network (SAN), namely, the performance of I/O interactions of host servers and storage subsystems via the SAN fabric. We present a component-based simulation performance model, which supports a rich variety of both existing and future storage subsystems, allows for some basic network configurations, and addresses the major I/O aspects of the server operating system. The model's flexibility allows for easy parameter modifications, configuration adjustments, architecture manipulations, and experimentation. The experiments presented in this paper demonstrate some of the ways this model can be utilized, such as data placement, I/O manipulation, and the evaluation of execution alternatives, and shows the types of performance insights that may be gained.
On Design of Agricultural Semantic Grid Portal and Implementation
Authors: LI Ai-Ping, Jia Yan, WU Quan-Yuan
Venue: Proceedings of the 2006 International Conference on Hybrid Information Technology - Volume 01 (2006)

We analyses the state of the art and the research challenges that are involved in developing the computing infrastructure needed for e-Science in agricultural Semantic Grid portal. In so doing, a conceptual architecture for the agricultural Semantic Grid is presented. This architecture adopts a serviceoriented perspective in which distinct stakeholders in the agricultural process provide services to one another in various forms of marketplace. The view presented in the paper is holistic, considering the requirements of e-Agriculture and the agricultural expert at the data/computation, information and knowledge layers. The data, computation and information aspects are discussed from a distributed systems viewpoint and in the particular context of the Web as an established large scale infrastructure. These techniques are shown to be the key to working with heterogeneous information and also to working with experts and establishing communities of e-Scientists in agriculture.
Ecrash: debugging without core dumps
Authors: David Frascone
Venue: Linux Journal (2006)

You don't have to take a core dump to debug your programs.
Visualization of construction graphics in outdoor augmented reality
Authors: Amir H. Behzadan, Vineet R. Kamat
Venue: Proceedings of the 37th conference on Winter simulation (2005)

This paper describes research that investigates the application of Augmented Reality (AR) in 3D animation of simulated construction operations. The objective is an AR-based platform that can be used together with corresponding equipment (HMD, GPS receiver, and a portable computer) to generate a mixed view of the real world and superimposed virtual simulation objects in an outdoor environment. The characteristic that distinguishes the presented work from indoor AR applications is the capability to produce real time updated output as the user moves around while applying minimum constraints over the user's position and orientation. The ability to operate independently of environmental factors (e.g. lighting conditions and terrain variations) makes the described framework a powerful tool for outdoor AR applications. This paper presents initial results and an AR platform prototype (UMAR-GPS-ROVER) that is able to place 3D graphical objects at any desired location in outdoor augmented space.
Rule Management in Active Database Systems
Authors: Sidney Viana, Judith Pavon, Jorge Rady de Almeida Junior
Venue: Proceedings of the 15th International Conference on Computing (2006)

Generally, there is a large number of rules and data in information systems, and both change frequently in response to business changes. In this context, Active Database Systems (ADBSs) represent a powerful mean to implement an appropriate environment to manage rules and data in a uniform approach, but unfortunately they do not have efficient rule management mechanisms. ADBSs provide a good infrastructure to define and execute rules, but they do not satisfy completely the necessities of rules management that demand current business applications. This paper discusses the main problems of rule management in ADBSs and analyzes the current solutions presented in literature. After that, we propose a rule meta-model for ADBSs, which goal is to represent graphically the anatomy of rules, their properties and the different kind of relationships. This meta-model is the base to extend the current rule models of ADBSs in order to add efficient rule management mechanisms.
Progressive crack growth analysis using interface element based on the virtual crack closure technique
Authors: De Xie, Sherrill B. Biggers,  Jr.
Venue: Finite Elements in Analysis and Design (2006)

This paper introduces an interface element to solve 2D progressive crack growth problems under mixed-mode loading. The interface element is developed to calculate the strain energy release rates based on the virtual crack closure technique (VCCT) in conjunction with finite element analysis (FEA). A very stiff spring is placed between the node pair at the crack tip to calculate the internal forces. Dummy nodes are introduced to extract information for displacement openings behind the crack tip and the virtual crack jump ahead of the crack tip. Therefore, with this interface element, strain energy release rates (GI and GII) can be calculated simultaneously as FEA is performed. Furthermore, with the implementation of fracture criteria, crack growth can be also directly analyzed with a fracture mechanics approach. Three classic examples for stationary cracks and three benchmark examples for static crack growth were examined. The accuracy of the element is validated by the excellent agreement with analytical solutions of these examples. No convergence difficulty has been encountered during the crack growth analyses. The fracture interface element for VCCT is, therefore, simple, efficient and robust in analyzing any 2D crack growth problems. This element has been implemented into commercial FEA software ABAQUS® with UEL and should be very useful in designing for enhanced structural integrity in general cases where crack initiation, crack growth, and crack arrest features are of concern.
Developing Gestalt-based design guidelines for multi-sensory displays
Authors: Dempsey Chang, Keith V. Nesbitt
Venue: Proceedings of the 2005 NICTA-HCSNet Multimodal User Interaction Workshop - Volume 57 (2006)

Multi-sensory displays try to take advantage of a range of human senses, for example, displaying information visually and also with sound and haptic feedback. Designing multi-sensory displays is complex and needs to carefully consider human perceptual capabilities. Developing guidelines to support designers of multi-sensory displays is an important way to capture and communicate existing knowledge in this cross-discipline domain. However, the study of multi-sensory display is still an immature field and so work in this area is somewhat fragmented. Despite this many useful guidelines have been applied to visual, auditory and even haptic displays. Categorising these existing guidelines in a way to better support multi-sensory display and also developing guidelines explicitly concerned with multi-sensory design are the two overall aims of this research. One relevant area of study that has yet to be applied to multi-sensory design is Gestalt theory. Gestalt theory, originally described in 1910, can be used to explain the way we perceive and recognize patterns. Using Gestalt theory as a foundation, this paper develops a new framework to help categorise existing guidelines. This framework is also intended as a basis for developing new guidelines. The key feature of this framework is that it uses a few high-level Gestalt-based principles to help organise a large number of more detailed design guidelines.
Parametrical Adjusting of a Hybrid System for the Vehicle Routing Problem with Time Windows
Authors: Humberto Cesar Brandao de Oliveira, Germano Crispim Vasconcelos, Rafael Vargas Mesquita, Mariane Moreira de Souza
Venue: Proceedings of the Sixth International Conference on Hybrid Intelligent Systems (2006)

This work employs statistical methods -- variance and linear regression analysis -- to determine the significance degree of parameters of a hybrid system originally proposed for solving the vehicle routing problem with time windows (VRPTW). It is shown how to adjust those parameters to obtain better and more reliable system performance. As a result, it is shown a new best result for solving the instance RC208 of the Solomon's benchmark considering the minimization of the total distance covered for the VRPTW.
Comparing instructional methods for teaching technology in education to preservice teachers using logistic regression
Authors: Dongping Zheng, Michael Young
Venue: Proceedings of the 7th international conference on Learning sciences (2006)

This analysis was completed in the context of an ongoing design project for a junior level course (Technology in Education) in the teacher preparation program in a large New England public university. We implemented a design during Fall 2003 comparing two types of instruction: problem---based learner-centered learning cycles (PBLC) and didactic direct instruction (DI), both of which reflected our previous research findings concerning best instructional practices. Analysis using Logistic Regression identified a model that differentiated the PBLC and DI approaches in areas of preservice teachers' perceived knowledge of technology integration and technology competencies, and revealed that preservice teachers who reported more favorable computer use and more knowledge of e-portfolio development were more likely to be in the PBLC approach.
Measurement of air traffic control situational awareness enhancement through radar support toward operating envelope expansion of an unmanned aerial vehicle
Authors: Maj James Denford, John A. Steele, Roger Roy, Eugenia Kalantzis
Venue: Proceedings of the 36th conference on Winter simulation (2004)

Current airspace restrictions in Kabul limit the potential capability of the Tactical Unmanned Air Vehicle (TUAV) within the area of operations of the Kabul Multinational Brigade. An experiment was conducted using the OneSAF Testbed Baseline and a range of virtual simulations to examine the impact of five different radar options and three different information displays on the level of airspace situational awareness (SA) of the air traffic control officer (ATCO). The use of SAGAT, SART and NASA-TLX techniques were effective in determining differences in workload, situational awareness and understanding. Simultaneous data capture through shared EXCEL workbooks and VBA macros permitted near real time analysis. The Mann-Whitney U test, used due to the nature and limited size of the data sets, showed that any of the radars examined in this experiment would assist in the establishment of positive control over TUAV operations in the controlled airspace over Kabul.
Estimating Software Quality with Advanced Data Mining Techniques
Authors: Matej Mertik, Mitja Lenic, Gregor Stiglic, Peter Kokol
Venue: Proceedings of the International Conference on Software Engineering Advances (2006)

Current software quality estimation models often involve the use of supervised learning methods for building a software fault prediction models. In such models, dependent variable usually represents a software quality measurement indicating the quality of a module by risk-basked class membership, or the number of faults. Independent variables include various software metrics as McCabe, Error Count, Halstead, Line of Code, etc... In this paper we present the use of advanced tool for data mining called Multimethod on the case of building software fault prediction model. Multimethod combines different aspects of supervised learning methods in dynamical environment and therefore can improve accuracy of generated prediction model. We demonstrate the use Multimethod tool on the real data from the Metrics Data Project Data (MDP) Repository. Our preliminary empirical results show promising potentials of this approach in predicting software quality in a software measurement and quality dataset.
A Briefing Tool that Learns Individual Report-Writing Behavior
Authors: Mohit Kumar, Nikesh Garera, Alexander I. Rudnicky
Venue: Proceedings of the 18th IEEE International Conference on Tools with Artificial Intelligence (2006)

We describe a briefing system that learns to predict the contents of reports generated by users who create periodic (weekly) reports as part of their normal activity. We ad- dress the question whether data derived from the implicit supervision provided by end-users is robust enough to sup- port not only model parameter tuning but also a form of feature discovery. The system was evaluated under realis- tic conditions, by collecting data in a project-based univer- sity course where student group leaders were tasked with preparing weekly reports for the benefit of the instructors, using the material from individual student reports.
A Novel Cluster Parallel File System
Authors: Wenguo Wei, Shoubin Dong, Ling Zhang, Jialin Li
Venue: Proceedings of the 17th International Conference on Database and Expert Systems Applications (2006)

We propose a novel cluster parallel file system: High-throughput & Scalable Parallel File System (HTSPFS). There are some new features in it such as automatic adaptive file striping policy based on file size, request arrival rate, concurrent of accessing files, storage servers' networking and disk performance; prefetching read-request and writing behind writerequest to enable a higher throughput in HTSPFS. We give a detail discuss of Markov spatial predicting method for read request, experiment results show that Markov predicting technology has high prediction veracity. Overall, HTSPFS has some autonomics characteristics.
Towards Explanation-Aware Selection in Internet-Scale Infrastructures: Generating Rationale forWeb Services Ratings and Reputation
Authors: Wanita Sherchan, Seng W. Loke, Shonali Krishnaswamy
Venue: Proceedings of the 10th IEEE on International Enterprise Distributed Object Computing Conference Workshops (2006)

A collection of 1 billion publicly available web services can form an internet-scale infrastructure for building diverse applications. For a given application, selection of services and service providers from this collection becomes important and reputation is recognized as a key factor for this purpose. However, current reputation systems are limited in their ability to exchange reputation information between heterogeneous systems. To facilitate meaningful exchange and reuse of reputation information and for the overall determination of reputation, we identify the need to infer and explicate rationale for ratings. We present our knowledge based approach to inferring and explicating rationale for ratings. We show that this approach facilitates detection of deception and collusion, user preferences elicitation, explication of rationale behind user ratings and generation of personalized service recommendations.