ppxscal/embedding_network huggingface dataset:
Interpreting Gene Expression Data by Searching for Enriched Gene Sets
Authors: Igor Trajkovski, Nada Lavrač
Venue: Proceedings of the 11th conference on Artificial Intelligence in Medicine (2007)

This paper presents a novel method integrating gene-gene interaction information and Gene Ontology (GO) for the construction of new gene sets that are potentially enriched. Enrichment of a gene set is determined by Gene Set Enrichment Analysis. The experimental results show that the introduced method improves over existing methods, i.e. that it is capable to find new descriptions of the biology governing the experiments, not detectable by the traditional methods of evaluating the enrichment of predefined gene sets, defined by a single GO term.
New Doppler-Based Imaging Method in Echocardiography with Applications in Blood/Tissue Segmentation
Authors: Sigve Hovda, Håvard Rue, Bjørn Olstad
Venue: Medical Imaging and Informatics: 2nd International Conference, MIMI 2007, Beijing, China, August 14-16, 2007 Revised Selected Papers (2008)

Knowledge Based Imaging is suggested as a method to distinguish blood from tissue signal in transthoracial echocardiography. Parametric model for the autocorrelation functions for turbulent blood flow and slowly moving tissue are augmented for in this paper. The model also includes the presence of stationary clutter noise and system white noise. Knowledge Based Imaging utilizes the maximum likelihood function to classify blood and tissue signal. In amplitude imaging blood and tissue are separated by their difference in signal powers. This effect is also present in Knowledge Based Imaging. In addition, this method utilizes the fact that blood flow is turbulent and moves faster than tissue. Some images of Knowledge Based Imaging with different parameter settings are visually compared with Second-Harmonic Imaging, Fundamental Imaging and Bandwidth Imaging [1].
An Evidence-Based Approach to Handle Semantic Heterogeneity in Interoperable Distributed User Models
Authors: Francesca Carmagnola, Vania Dimitrova
Venue: Proceedings of the 5th international conference on Adaptive Hypermedia and Adaptive Web-Based Systems (2008)

Nowadays, the idea of personalization is regarded as crucial in many areas. This requires quick and robust approaches for developing reliable user models. The next generation user models will be distributed (segments of the user model will be stored by different applications) and interoperable (systems will be able to exchange and use user model fractions to enrich user experiences). We propose a new approach to deal with one of the key challenges of interoperable distributed user models - semantic heterogeneity. The paper presents algorithms to automate the user model exchange across applications based on evidential reasoning and advances in the Semantic Web.
Dealing with the Perspective Distortion to Detect Overtaking Cars for Driving Assistance
Authors: S. Mota, E. Ros, J. Díaz, R. Agís, R. Rodriguez, R. Carrillo
Venue: Proceedings of the 3rd Iberian conference on Pattern Recognition and Image Analysis, Part I (2007)

The driver's loss of attention is an important problem in which are spent considerable research efforts in different areas such as psychology, automobile technology, computer vision and driving assistance. We use here a simple algorithm based on rigid-body and motion detection. This scheme efficiently segments moving objects using the visual field of the driver's rear-view mirror. The overtaking scene in the rear-view mirror is distorted due to perspective, making it difficult to detect the overtaking car. Thus we propose two alternative methods to deal with this problem and compare the results in different overtaking sequences.
Genetic-Based Active Disturbance Rejection Controller for Super-Heated Steam Temperature Regulation
Authors: Qing Wang, Jing Yao, Jiaqing Wang
Venue: Proceedings of the 2008 Second International Conference on Genetic and Evolutionary Computing (2008)

There are many complex industrial processes with highly nonlinear and uncertain characteristics which are generally difficult to control by well known PID controllers. Active Disturbance Rejection Control (ADRC), a relatively recent nonlinear control method, is an alternative framework which has the advantages on simple algorithm, strong robustness, and less dependence on the mathematical models of the plant. However, owing to the large number of free control parameters for ARDC, the design is not straightforward, i.e., the proper state observer gains are mostly done on a trial and error basis. In this paper, a genetic based new design scheme is proposed, and a digital control solution to super-heated steam temperature regulation of a thermal power plant is presented. For comparison purposes, a PID cascade controller is considered as a base line. The simulation experiments of robustness tests and disturbance rejection tests have proved that the proposed method has outstanding adaptability to the variety of operating regime, can effectively estimate and compensate the plant perturbations of parameters and external disturbances in the regulation system.
Visual Terrain Traversability Estimation Using a Combined Slope/Elevation Model
Authors: Tim Braun, Henning Bitsch, Karsten Berns
Venue: Proceedings of the 31st annual German conference on Advances in Artificial Intelligence (2008)

A stereo vision based terrain traversability estimation method for offroad mobile robots is presented. The method models surrounding terrain using either sloped planes or a digital elevation model, based on the availability of suitable input data. This combination of two surface modeling techniques increases range and information content of the resulting terrain map.
Identification of Bibliographic Information Written in Both Japanese and English
Authors: Yuko Taniguchi, Hidetsugu Nanba
Venue: Proceedings of the 12th European conference on Research and Advanced Technology for Digital Libraries (2008)

We have studied the automatic construction of a multilingual citation index by collecting Postscript and PDF files from the Internet [2], and in this paper, we propose a method that can identify duplicate bibliographic information written in both Japanese and English, which will be an indispensable module for the construction of a multilingual citation index.
Convex decomposition of U-polygons
Authors: Paolo Dulio
Venue: Theoretical Computer Science (2008)

When parallel X-rays are considered in any finite set U of directions, switching components with respect to U can be constructed. This is true for U@?R^n, and also for any finite set of lattice directions. R.J. Gardner raised the problem of looking for a characterization of switching components. In 2001, L. Hajdu and R. Tijdeman gave an answer by proving that a switching component is always the linear combination of switching elements. Though splendid, this result fails to be a characterization theorem inside the class of convex bodies, meaning that the switching element of the linear combination could be not convex even if the switching component is convex. The purpose of this paper is to investigate the problem in the plane, where a convex switching component with respect to U is a U-polygon. We prove that a U-polygon can always be decomposed as a linear sum inside the class of U-polygons.
Reproducibility Analysis of Event-Related fMRI Experiments Using Laguerre Polynomials
Authors: Hong-Ren Su, Michelle Liou, Philip E. Cheng, John A. Aston, Shang-Hong Lai
Venue: Neural Information Processing: 14th International Conference, ICONIP 2007, Kitakyushu, Japan, November 13-16, 2007, Revised Selected Papers, Part I (2007)

In this study, we introduce the use of orthogonal causal Laguerre polynomials for analyzing data collected in event-related functional magnetic resonance imaging (fMRI) experiments. This particular family of polynomials has been widely used in the system identification literature and recommended for modeling impulse functions in BOLD-based fMRI experiments. In empirical studies, we applied Laguerre polynomials to analyze data collected in an event-related fMRI study conducted by Scott et al. (2001). The experimental study investigated neural mechanisms of visual attention in a change-detection task. By specifying a few meaningful Laguerre polynomials in the design matrix of a random effect model, we clearly found brain regions associated with trial onset and visual search. The results are consistent with the original findings in Scott et al. (2001). In addition, we found the brain regions related to the mask presence in the parahippocampal, superior frontal gyrus and inferior parietal lobule. Both positive and negative responses were also found in the lingual gyrus, cuneus and precuneus.
Translation of QVT Relations into QVT Operational Mappings
Authors: Raphael Romeikat, Stephan Roser, Pascal Müllender, Bernhard Bauer
Venue: Proceedings of the 1st international conference on Theory and Practice of Model Transformations (2008)

Model transformations play a key role in Model-Driven Engineering solutions. To efficiently develop, specify, and manage model transformations, it is often necessary to use a combination of languages that stand for different transformation approaches. To provide a basis for such hybrid model transformation specification solutions, we developed and implemented a translation of the declarative QVT Relations into the imperative QVT Operational Mappings language.
Some Important Computers of Japanese Design
Authors: Hidetosi Takahasi
Venue: IEEE Annals of the History of Computing (1980)

Rapid growth of the computer industry is one of the most striking events in the "miraculous" industrial explosion of postwar Japan. At the time the ENIAC was completed at the Moore School of Electrical Engineering, we were on the verge of starvation in the ruin of our defeated country. When we learned of the astonishing power of the "giant brain," it seemed indeed to be something belonging to another world. We were starved for knowledge as well as for food, and some of us who were optimistic enough were inspired by this fascinating new technology. We decided to make our own computers, and the study of "mechanical brains" got under way in Japan. The ACM Portal is published by the Association for Computing Machinery. Copyright © 2010 ACM, Inc. Terms of Usage Privacy Policy Code of Ethics Contact Us Useful downloads: Adobe Acrobat QuickTime Windows Media Player Real Player
Emerging Web Graphics Standards and Technologies
Authors: Rynson W. H. Lau, Frederick Li, Tosiyasu L. Kunii, Baining Guo, Bo Zhang, Nadia Magnenat-Thalmann, Sumedha Kshirsagar, Daniel Thalmann, Mario Gutierrez
Venue: IEEE Computer Graphics and Applications (2003)

This article investigates existing work on some of the important areas of Web graphics.First, the authors look at the current status and future trends of Web graphics standards.Second, they review current work on the development of systems to support distributed virtual environments (DVEs). Finally, they look at the application of human modeling on the Web.
The mutator pattern
Authors: Mirko Raner
Venue: Proceedings of the 2006 conference on Pattern languages of programs (2006)

The Mutator pattern is a simple behavioral pattern that applies a series of successive modifications to a mutable object. The Mutator pattern is similar to the Iterator pattern but operates only on a single object as opposed to a collection of objects. Mutators have a significant performance benefit in situations where a small modification to an existing object is more efficient than creating a new object from scratch.
Detecting Invisible Relevant Persons in a Homogeneous Social Network
Authors: Yoshiharu Maeno, Kiichi Ito, Yukio Ohsawa
Venue: Proceedings of the 7th international conference on Computational Science, Part IV: ICCS 2007 (2007)

An algorithm to detect invisible relevant persons in a homogeneous social network is studied with computer simulation. The network is effective as a model for contemporary inter-working terrorists where large hub persons do not exist. Absense of large hub persons results in that the observed communication flow is also homogeneous. Clues regarding invisible relevant persons are hardly found in communication records. This task is, therefore, generally difficult. We demonstrate that our algorithm identifies the portion of the market baskets representing communication records, where invisible relevant persons are likely to be hidden, with good precision.
Transforming Process Algebra Models into UML State Machines: Bridging a Semantic Gap?
Authors: M. F. Amstel, M. G. Brand, Z. Protić, T. Verhoeff
Venue: Proceedings of the 1st international conference on Theory and Practice of Model Transformations (2008)

There exist many formalisms for modeling the behavior of (software) systems. These formalisms serve different purposes. Process algebras are used for algebraic and axiomatic reasoning about the behavior of distributed systems. UML state machines are suitable for automatic software generation. We have developed a transformation from the process algebra ACP into UML state machines to enable automatic software generation from process algebra models. This transformation needs to preserve both behavioral and structural properties. The combination of these preservation requirements gives rise to a semantic gap. It implies that we cannot transform ACP models into UML state machines on a syntactic level only.We address this semantic gap and propose a way of bridging it. To validate our proposal, we have implemented a tool for automatic transformation of ACP process algebra models into UML state machines.
VIMED: Fish-Tank Approach to Nurse Practical Training
Authors: Jonathan Barr, Fatma Mili, Laura Pittiglio, Margaret Harris
Venue: Proceedings of the 2008 21st IEEE International Symposium on Computer-Based Medical Systems (2008)

The education of students in Medical and Nursing Schools is a prime candidate to benefit from the promises of simulation-based learning tools. Well designed computer based systems have been shown to have a dramatic impact on the learning of students. At the same time, the design of these learning tools is still a pain staking task. In this paper, we share our experience at developing and testing a game-based environment for training nursing students.
Data Flow Analysis and Testing of Abstract State Machines
Authors: Alessandra Cavarra
Venue: Proceedings of the 1st international conference on Abstract State Machines, B and Z (2008)

This paper introduces an approach to apply data flow testing techniques to Abstract State Machines specifications. Since traditional data flow coverage criteria are strictly based on the mapping between a program and its flow graph, they cannot be directly applied to ASMs. In this context we are interested in tracing the flow of data between states in ASM runs as opposed to between nodes in a program's flow graph. Therefore, we revise the classical concepts in data flow analysis and define them on two levels: the syntactic (rule) level, and the computational (run) level. We also specify a family of ad hoc data flow coverage criteria and introduce a model checking-based approach to generate automatically test cases satisfying a given set of coverage criteria from ASM models.
QFD in the Architecture Development Process
Authors: Murat Erder, Pierre Pureur
Venue: IT Professional (2003)

Quality function deployment ensures that the new design in an enterprise IT architecture project fully implements functional and nonfunctional requirements so that planned IT systems can support the business.
Web application fault classification - an exploratory study
Authors: Yuepu Guo, Sreedevi Sampath
Venue: Proceedings of the Second ACM-IEEE international symposium on Empirical software engineering and measurement (2008)

Controlled experiments in web application testing use seeded faults to evaluate the effectiveness of the testing technique. However, the classes of seeded faults are not always experimentally supported by real-world fault data. In this paper, we conduct an exploratory study on two large open source web systems to identify a fault classification that is representative of and supported by real world faults. Through our study we provide support to several categories of an existing web application fault classification, and identify one new fault category and six new sub-categories. Researchers and experimenters will find the proposed fault classification useful when evaluating techniques for testing web applications.
Verifying Design with Proof Scores
Authors: Kokichi Futatsugi, Joseph A. Goguen, Kazuhiro Ogata
Venue: Verified Software: Theories, Tools, Experiments: First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions (2005)

Verifying design instead of code can be an effective and practical approach to obtaining verified software. This paper argues that proof scores are an attractive method for verifying design, in that they achieve a balance in which the respective capabilities of humans and machines are utilized optimally.
BGPeep: An IP-Space Centered View for Internet Routing Data
Authors: James Shearer, Kwan-Liu Ma, Toby Kohlenberg
Venue: Proceedings of the 5th international workshop on Visualization for Computer Security (2008)

We present BGPeep, a tool for visualizing Border Gateway Protocol traffic at a detailed level, using a novel depiction of IP-space. This new visualization renders the network prefixes involved with such traffic using a method that leverages the peculiarities of BGP traffic to gain insight and highlight potential router misconfigurations. BGPeep utilizes a simple interface and several methods of interaction to allow users to quickly focus on the data of interest. Our tool highlights aspects of BGP data which have received less attention in previous visualization applications, in order to help form a more complete picture of this vital part of the Internet communications infrastructure.
Fuzzy Indices of Document Reliability
Authors: Célia Costa Pereira, Gabriella Pasi
Venue: Proceedings of the 7th international workshop on Fuzzy Logic and Applications: Applications of Fuzzy Sets Theory (2007)

This paper presents a first step toward the formalization of the concept of document reliability in the context of Information Retrieval (and Information Filtering). Our proposal is based on the hypothesis that the evaluation of the relevance of a document can also depend on the concept of reliability of a document. This concept has the following properties: (i) it is user-dependent, i.e., a document may be reliable for a user and not reliable for another user; (ii) it is source-dependent, i.e., the source which a document comes from may influence its reliability for a user; and (iii) it is also author-dependent, i.e., the information about who wrote the document may also influence the user when assessing the reliability of a document.
Requirements for a Method of Software Accessibility Conformity Assessment
Authors: Fernando Alonso, José L. Fuertes, Ángel L. González, Loïc Martínez
Venue: Proceedings of the 11th international conference on Computers Helping People with Special Needs (2008)

Given the current trend of public procurement of accessible products and services, including software, there is a need for the suppliers to demonstrate that a software product conforms to accessibility requirements. This is called software accessibility conformity assessment. Today, the evaluation process, and the techniques and tools required to do this, is not as well defined as it is in other contexts, such as web accessibility. Based on our experience in evaluating accessibility, this paper outlines a set of requirements for a method of software accessibility conformity assessment. These requirements will apply across the four conformity assessment functions: selection, determination, review and attestation, and, finally, surveillance.
Incorporating Preferences to a Multi-objective Ant Colony Algorithm for Time and Space Assembly Line Balancing
Authors: Manuel Chica, Óscar Cordón, Sergio Damas, Jordi Pereira, Joaquín Bautista
Venue: Proceedings of the 6th international conference on Ant Colony Optimization and Swarm Intelligence (2008)

We present an extension of a multi-objective algorithm based on Ant Colony Optimisation to solve a more realistic variant of a classical industrial problem: Time and Space Assembly Line Balancing. We study the influence of incorporating some domain knowledge by guiding the search process of the algorithm with preferences-based dominance. Our approach is compared with other techniques, and every algorithm tackles a real-world instance from a Nissan plant. We prove that the embedded expert knowledge is even more justified in a real-world problem.
Using slice join for efficient evaluation of multi-way joins
Authors: Ramon Lawrence
Venue: Data Knowledge Engineering (2008)

A standard hash join algorithm joins two relations at a time and requires reading the entire smaller input before results are generated. There has been recent focus on constructing join algorithms that produce results faster and can join more than two relations simultaneously. Early joins that are capable of producing results before reading the smaller relation are useful for network joins where the input arrival rates may vary as the operator can adapt without explicit query re-optimization. Multi-way joins improve performance by reducing the number of intermediate results generated and are more resilient to poor estimates by the query optimizer. The only join algorithm that combines the two features of multi-way support and early result production is limited to processing joins where all inputs are joined on the same attribute. In this work, we propose a new hash-based join algorithm called slice join. Slice join is an early, multi-way join algorithm capable of joining relations on common attributes and relations connected by a sequence of functional dependencies. Slice join is useful for a larger number of query plans, performs fewer disk operations, and has a simpler duplicate detection technique than previous approaches. Experimental results demonstrate that slice join outperforms other multi-way join operators and binary join plans.
Sequence Controllers with Standard Hardware and Custom Firmware
Authors: R. Tabachnick, P. Zsombor-murray, L. Vroomen, Tho Le-Ngoc
Venue: IEEE Micro (1981)

A sequencing system that utilizes programming capability and bus-orinted, modular hardware replaces solid state or relay-based control logic with custom firmware.
Role-based teamwork activity recognition in observations of embodied agent actions
Authors: Linus J. Luotsinen, Ladislau Bölöni
Venue: Proceedings of the 7th international joint conference on Autonomous agents and multiagent systems - Volume 2 (2008)

Recognizing team actions in the behavior of embodied agents has many practical applications and had seen significant progress in recent years. One approach with proven results is based on HMM-based recognition of spatio-temporal patterns in the behavior of the agents. While it had been shown to work on real-world datasets, this approach was found to be brittle. In this paper we present two contributions which together can significantly increase the robustness of teamwork activity recognition. First we introduce a technique to reduce high dimensional continuous input data to a set of discrete features, which capture the essential components of the team actions. Second, we prefix the actual team action recognition with a role recognition module, which allows us to present the recognizer with arbitrarily shuffled input, and still obtain high recognition rates. We validate the improved accuracy and robustness of the team action recognizer on datasets derived from captured real world data.