ppxscal/embedding_network huggingface dataset:
Mutation Analysis for Testing Finite State Machines
Authors: Jin-hua Li, Geng-xin Dai, Huan-huan Li
Venue: Proceedings of the 2009 Second International Symposium on Electronic Commerce and Security - Volume 01 (2009)

Mutation analysis is a program testing method which seeds a fault in a program and tries to identify it with test data, thus promoting the test efficiency. The paper investigates the application of mutation analysis in model-based testing for the modeling language of finite state machines (FSM). We describe a set of mutation operators for FSM based on the fault category; present an algorithm of selecting a test suite for the mutation testing of system models in FSM. In an experiment, other five methods of test suites generating and selecting for FSM are chosen to compare with the mutation testing method. The experiment shows that in respect of faults detecting in FSM, the mutation testing is more effective and efficient than the other FSM testing methods including D-method, W-method and T-method.
Prediction of wall-pressure fluctuation in turbulent flows with an immersed boundary method
Authors: Seongwon Kang, Gianluca Iaccarino, Frank Ham, Parviz Moin
Venue: Journal of Computational Physics (2009)

The objective of this paper is to assess the accuracy and efficiency of the immersed boundary (IB) method to predict the wall pressure fluctuations in turbulent flows, where the flow dynamics in the near-wall region is fundamental to correctly predict the overall flow. The present approach achieves sufficient accuracy at the immersed boundary and overcomes deficiencies in previous IB methods by introducing additional constraints - a compatibility for the interpolated velocity boundary condition related to mass conservation and the formal decoupling of the pressure on this surfaces. The immersed boundary-approximated domain method (IB-ADM) developed in the present study satisfies these conditions with an inexpensive computational overhead. The IB-ADM correctly predicts the near-wall velocity, pressure and scalar fields in several example problems, including flows around a very thin solid object for which incorrect results were obtained with previous IB methods. In order to have sufficient near-wall mesh resolution for LES and DNS computations, the present approach uses local mesh refinement. The present method has been also successfully applied to computation of the wall-pressure space-time correlation in DNS of turbulent channel flow on grids not aligned with the boundaries. When applied to a turbulent flow around an airfoil, the computed flow statistics - the mean/RMS flow field and power spectra of the wall pressure - are in good agreement with experiment.
On Quality of Different Annotation Sources for Gene Expression Analysis
Authors: Francesca Mulas, Tomaz Curk, Riccardo Bellazzi, Blaz Zupan
Venue: Proceedings of the 12th Conference on Artificial Intelligence in Medicine: Artificial Intelligence in Medicine (2009)

Mining of biomedical data increasingly relies on utility of knowledge repositories. In gene expression analysis, these are often used for gene labeling with an assumption that similarly annotated genes have similar expression profiles. In the paper we use this assumption to craft a method with which we scored six different annotation sources (e.g., Gene Ontology, PubMed, and MeSH annotations) for their utility in gene expression data analysis. Experiments show that the sources that include manual curation perform well and, for instance, score better than automatic annotation from gene-related PubMed abstracts. We also show that there is no clear winner, pointing at the need for methods that could successfully integrate annotations from different sources.
Global spread of usability expertise
Authors: Ian Douglas
Venue: Proceedings of the 2008 Euro American Conference on Telematics and Information Systems (2008)

Concern with usability in the design of technology has developed rapidly over the last decade. Although this concern has been mainly located in the U.S. and Western Europe, there is evidence of a global spread, and moves to outsource this activity. As marketplaces become global, it is necessary to adapt testing procedures for different cultures. This paper will illustrate the global spread of usability expertise by presenting data collected from usability testing centers and laboratories around the world. It will discuss the possibilities for future expansion and global networking of usability expertise and knowledge.
Zigbee Based Reconfigurable Clustered Home Area Network
Authors: Saad Ahmad Khan, Fahad Ahmad Khan, Arslan Shahid, Zubair Ahmad Khan
Venue: Proceedings of the 2009 Third International Conference on Sensor Technologies and Applications (2009)

Zigbee technology is here to stay. With current market trends it is to be understood that it will play a vital and major role in low rate wireless personal area networks. Zigbee networks facilitate numerous applications such as consumer electronics, home area networks, health care monitoring and environmental monitoring. Effective routing in wireless sensor networks is critical to conserve energy resources for the longevity of the network. In this paper we propose energy efficient cluster tree architecture for home area network. The reconfigurable architecture improves the Zigbee network performance by distributing equivalent load among its data fusing heads on basis of leftover energy. Simulations show that using such self organizing cluster tree topology is most effective in terms of energy consumption as compared to simple Zigbee mesh networks.
Neurophysiological Measures of Brain Activity: Going from the Scalp to the Brain
Authors: Phan Luu, Catherine Poulsen, Don M. Tucker
Venue: Proceedings of the 5th International Conference on Foundations of Augmented Cognition. Neuroergonomics and Operational Neuroscience: Held as Part of HCI International 2009 (2009)

Behavior, such as reaction time and correctness of a response, is the most studied output of the mind in the fields of psychology and human factors. With the advent of modern neuroimaging technologies, opportunities exist for direct study of the mind's machinery: the brain. Moreover, there are opportunities for applying these technologies to solve a host of educational and engineering challenges, such as how to design better interfaces with computer systems or how to better educate and train students. The electroencephalogram (EEG) is a direct reflection of the functioning brain, and technologies that enable recording of the EEG have been in existence for more than 50 years. Within the past decade substantial progress has been made in EEG technology, permitting a direct view into the brain. We cover these advances in this paper, which include dense-sensor array technology and physics-based computational head models, and present several examples of how they have been applied.
Lift the hood, go to jail?
Authors: Fred von Lohmann
Venue: netWorker (2009)

Preserve consumers' right to tinker and innovate with the gadgets they own.
The general result of Gol'dberg's theorem concerning the growth of meromorphic solutions of algebraic differential equations
Authors: Wenjun Yuan, Bing Xiao, Jianjun Zhang
Venue: Computers Mathematics with Applications (2009)

In this paper, we give a general estimate result of Gol'dberg's theorem concerning finite growth order of meromorphic solutions of first-order algebraic differential equations by using the normal family theory. It is an extending result of corresponding theorem for Bergweiler and Barsegian and so on. We also give some examples to show that our result is sharp in special case.
Towards generation of fluent referring action in multimodal situations
Authors: Tsuneaki Kato, Yukiko I. Nakano
Venue: Referring Phenomena in a Multimedia Context and their Computational Treatment (1997)

Referring actions in multimodal situations can be thought of as linguistic expressions well coordinated with several physical actions. In this paper, what patterns of linguistic expressions are commonly used and how physical actions are temporally coordinated to them are reported based on corpus examinations. In particular, by categorizing objects according to two features, visibility and membership, the schematic patterns of referring expressions are derived. The difference between the occurrence frequencies of those patterns in a multimodal situation and a spoken-mode situation explains the findings of our previous research. Implementation based on these results is on going.
Duality for digital sequences
Authors: Josef Dick, Harald Niederreiter
Venue: Journal of Complexity (2009)

A duality theory for digital nets, i.e., for finite point sets with strong uniformity properties, was introduced by Niederreiter and Pirsic. This duality theory is based on the concept of the dual space M of a digital net. In this paper we extend the duality theory from (finite) digital nets to (infinite) digital sequences. The analogue of the dual space is now a chain of dual spaces (M"m)"m">="1 for which a certain projection of M"m"+"1 is a subspace of M"m. As an example of the use of dual space chains, we show how a well-known construction of digital sequences by Niederreiter and Xing can be achieved in a simpler manner by using our duality theory for digital sequences.
A formula for inserting point masses
Authors: Manwah Lilian Wong
Venue: Journal of Computational and Applied Mathematics (2009)

Let d@m be a probability measure on the unit circle and d@n be the measure formed by adding a pure point to d@m. We give a formula for the Verblunsky coefficients of d@n, based on a result of Simon.
Bias-driven revision of logical domain theories
Authors: Moshe Koppel, Ronen Feldman, Alberto Maria Segre
Venue: Journal of Artificial Intelligence Research (1993)

The theory revision problem is the problem of how best to go about revising a deficient domain theory using information contained in examples that expose inaccuracies. In this paper we present our approach to the theory revision problem for propositional domain theories. The approach described here, called PTR, uses probabilities associated with domain theory elements to numerically track the "flow" of proof through the theory. This allows us to measure the precise role of a clause or literal in allowing or preventing a (desired or undesired) derivation for a given example. This information is used to efficiently locate and repair flawed elements of the theory. PTR is proved to converge to a theory which correctly classifies all examples, and shown experimentally to be fast and accurate even for deep theories.
Rubbing Fault Diagnosis of Rotary Machinery Based on Wavelet and Support Vector Machine
Authors: Jin Zhihao, Ji Shangwei, Jin Wen, Wen Bangchun
Venue: Proceedings of the 2009 First International Workshop on Database Technology and Applications (2009)

The diagnosis method of rubbing fault in rotary machinery was investigated by support vector machine combined with wavelet transform. The rubbing fault of a rotary machine was simulated with a rubbing-block. The decomposed signals at every level were continuous for the case without rubbing fault, while the decomposed signals were bursting signals at level 1, level 2 and level 3, and continuous signals at level 4, level 5 for the case with rubbing fault. The correct rate of test samples was more than 92%, which indicated that the method can be used to identify rubbing faults effectively. The complexity of the SVM model was decreased and the calculation was simplified by using wavelet transform.
Updating the Dynamic Fuzzy Sets Based on Immune Evolutionary
Authors: Tao Peng, Minghua Jiang, Ming Hu
Venue: Proceedings of the 2009 IITA International Conference on Services Science, Management and Engineering (2009)

Fuzzy clustering plays a very important role in clustering analyze and the fuzzy set is the base of the fuzzy clustering. Dynamic fuzzy set can be changed with the environment; in a real process task; the dynamic fuzzy set should be updated, which make the fuzzy set fit the environment well. In this paper, we apply the immune evolutionary into the update of the dynamic fuzzy set; the fitness degree is used as the criteria of update, with the experiment, the schema worked well.
Clustering on complex graphs
Authors: Bo Long, Mark Zhang, Philip S. Yu, Tianbing Xu
Venue: Proceedings of the 23rd national conference on Artificial intelligence - Volume 2 (2008)

Complex graphs, in which multi-type nodes are linked to each other, frequently arise in many important applications, such as Web mining, information retrieval, bioinformatics, and epidemiology. In this study, We propose a general framework for clustering on complex graphs. Under this framework, we derive a family of clustering algorithms including both hard and soft versions, which are capable of learning cluster patterns from complex graphs with various structures and statistical properties. We also establish the connections between the proposed framework and the traditional graph partitioning approaches. The experimental evaluation provides encouraging results to validate the proposed framework and algorithms.
The design and application of technology-based courses in the mathematics classroom
Authors: Joey Offer, Beth Bos
Venue: Computers Education (2009)

It is difficult to examine the effectiveness of technology-based courses (TBC) without understanding the design and application in classrooms. There is evidence of disconnects among the theory for designing, the theory used to apply TBCs in classrooms, and the theory used to research and evaluate TBCs [Hickey, D. T. (1997). Motivation and contemporary socio-constructivist instructional perspectives. Educational Psychologist, 32(3), 175-193]. Comments provided by administrators, teachers and students may lead researchers to determine whether or not the original TBC course goals have been attained. In this paper, we first discuss examples of theoretical disconnects found in other technology-based research [Aleven, V. E., Stahl, E., Schworm, S., Fischer, F., & Wallace, R. (2003). Help seeking and help design in interactive learning environments. Review of Educational Research, 73(3), 277-320; Hickey, D. T., & McCaslin, M. (2001). A comparative, sociocultural analysis of context and motivation. In S. Volet, & S. Jarvela (Eds.), Motivation in learning contexts: Theoretical advances and methodological implications (pp. 33-55). Elmsford, NY: Pergamon Press]. Then, we describe the course design of the mathematics TBC used in this study, the reasons the principal and the teacher's believe the software will benefit their mathematics students, and the perceptions of mathematics students regarding the effectiveness of the technology in their classroom. In conclusion, we will discuss how this preliminary qualitative data shaped our future research questions.
Shared Potential Fields and their place in a multi-robot co-ordination taxonomy
Authors: Joseph L. Baxter, Edmund K. Burke, Jonathan M. Garibaldi, Mark Norman
Venue: Robotics and Autonomous Systems (2009)

Previously our novel Shared Potential Field (SPF) method has been introduced and compared against a non-sharing control in both simulation and laboratory settings. In this paper, extended from a paper presented at the CIRAS 2008 conference, we compare the SPF against an existing type of robot architecture, a hybrid robotic system. The SPF method is compared to the traditional potential field method, and it is shown that the SPF is less susceptible to the traditional limitations of potential fields. The SPF method's position in Farinelli's multi-robot taxonomy is also discussed, and it is shown that rather than being placed in one category it encompasses two, corresponding to the two levels of control within the architecture. In experiments, the multi-robot systems are given the task of traversing an unknown environment, in an attempt to locate a target. The metric of performance for this task was the time taken to find the target. Experiments show that the hybrid system showed similar performance to the non-sharing control. In contrast, our Pessimistic variant of the SPF outperformed the hybrid system in the cluttered environment, and the Optimistic SPF variant outperformed the hybrid system in the sparse environment. We conclude that the SPF method reacts more robustly to the dynamic nature of the real world, and so performed significantly better throughout the experimentation.
Story segmentation of brodcast news in English, Mandarin and Arabic
Authors: Andrew Rosenberg, Julia Hirschberg
Venue: Proceedings of the Human Language Technology Conference of the NAACL, Companion Volume: Short Papers on XX (2006)

In this paper, we present results from a Broadcast News story segmentation system developed for the SRI NIGHTINGALE system operating on English, Arabic and Mandarin news shows to provide input to subsequent question-answering processes. Using a rule-induction algorithm with automatically extracted acoustic and lexical features, we report success rates that are competitive with state-of-the-art systems on each input language. We further demonstrate that features useful for English and Mandarin are not discriminative for Arabic.
Ambient Compass: One Approach to Model Spatial Relations
Authors: Petr Aksenov, Geert Vanderhulst, Kris Luyten, Karin Coninx
Venue: Proceedings of the 2nd International Conference on Digital Human Modeling: Held as Part of HCI International 2009 (2009)

The knowledge of spatial arrangements of objects is an important component for the design of migratable user interfaces that target pervasive environments. Objects in these environments are often moving around individually, which leads to a highly dynamic and unpredictable environment. Due to its nature, spatial information cannot be described exhaustively, and uncertainty and imprecision need to be taken into account during both the design phase and at runtime. We present an approach to model dynamic spatial information, providing it with the ability to interpret to some extent uncertain and imprecise knowledge. We then integrate this type of spatial-awareness into ReWiRe, a framework for designing interactive pervasive environments, in order to improve its user-interface distribution techniques.
Workflow Management for Symbolic Grid Services
Authors: Alexandru Carstea, Georgiana Macariu, Marc Frincu, Dana Petcu
Venue: Proceedings of the 2008 10th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (2008)

The development of software systems for scientificexploration and discovery through computation has an importantissue to address: the management of underlying computationalsteps. To support composition ofWeb and Grid services, standardworkflow languages and workflow execution engines were builtbut management capabilities are not yet entirely explored. In thecontext of Grid services, we propose a solution for controlling theexecution of workflows without the assistance of a user interfaceoriented workflow engine. We also investigate the capabilitiesthat our solution may offer for related features such as dynamicretrieval of partial results, steering and provenance.
A Data Warehouse Based on University Human Resource Management of Performance Evaluation
Authors: Dan-Ping Zhang
Venue: Proceedings of the 2009 International Forum on Information Technology and Applications - Volume 03 (2009)

Based on an actual dataset of University human resource,this paper processes applying on university human resource management by reduces and categorizes features. It proposes the class label evaluating teachers' scientific research abilities. On this basis, we analyzed the data warehouse technologies and combined them with the pracical work. We described the snowflake structure about a data warehouse of university human resource and constructed the data warehouse. It contributes to management and decisioh.
Representation Method for Engineering Perspective
Authors: Gaku Ishii, Masatake Sakuma
Venue: Proceedings of the Symposium on Human Interface 2009 on ConferenceUniversal Access in Human-Computer Interaction. Part I: Held as Part of HCI International 2009 (2009)

For most Japanese Companies, knowledge succession is important for retaining technical competitiveness in the context of the rapid change of human resources. While efficient and effective knowledge succession requires the support of an IT system, the requirements for the supporting system are severe. That is, the system not only must offer the knowledge users need, but also must represent how to apprehend and utilize the knowledge.This paper introduces a method of representing technical knowledge considered in the development process of a knowledge succession support system (IVYs). It focuses on the user interface representing the standard or situation-dependent perspective of technical knowledge that experts define.
Blind Super-Resolution Image Reconstruction Based on POCS Model
Authors: Wei Xie, Feiyan Zhang, Hao Chen, Qianqing Qin
Venue: Proceedings of the 2009 International Conference on Measuring Technology and Mechatronics Automation - Volume 01 (2009)

Due to the high cost and physical limitations of the high precision image sensors, it is not easy to directly obtain the desired high resolution (HR) images from sensors in many cases. A new iterative super-resolution (SR) algorithm based on projection onto convex sets (POCS) model is proposed. In this method, a new algorithm is adopted to estimate subpixel shift of the low-resolution (LR) images and do motion compensation. The main stage of the algorithm employs the iterative method of POCS model, utilizing some new constraint operators. The experiment shows the method is robust and effective. The disadvantage is that the convergence of the algorithm is not very fast.
Nonparametric estimation of the threshold at an operating point on the ROC curve
Authors: Waleed A. Yousef, Subrata Kundu, Robert F. Wagner
Venue: Computational Statistics Data Analysis (2009)

In the problem of binary classification (or medical diagnosis), the classification rule (or diagnostic test) produces a continuous decision variable which is compared to a critical value (or threshold). Test values above (or below) that threshold are called positive (or negative) for disease. The two types of errors associated with every threshold value are Type I (false positive) and Type II (false negative) errors. The Receiver Operating Curve (ROC) describes the relationship between probabilities of these two types of errors. The inverse problem is considered; i.e., given the ROC curve (or its estimate) of a particular classification rule, one is interested in finding the value of the threshold @x that leads to a specific operating point on that curve. A nonparametric method for estimating the threshold is proposed. Asymptotic distribution is derived for the proposed estimator. Results from simulated data and real-world data are presented for finite sample size. Finding a particular threshold value is crucial in medical diagnoses, among other fields, where a medical test is used to classify a patient as ''diseased'' or ''nondiseased'' based on comparing the test result to a particular threshold value. When the ROC is estimated, an operating point is obtained by fixing probability of one type of error, and obtaining the other one from the estimated curve. Threshold estimation can then be viewed as a quantile estimation for one distribution but with the utilization of the second one.