ppxscal/embedding_network huggingface dataset:
Analysis of the Signal Transduction Network Characteristics of Non-small Cell Lung Cancer
Authors: Gui-zhong Liu
Venue: Proceedings of the 2009 International Conference on Computational Intelligence and Natural Computing - Volume 02 (2009)

Drafting the topological graph of the transduction network characteristics of non-small cell lung cancer signal by Pajek software, analyzing the characteristic quantities such as node degree, clustering coefficient and betweens that construct the complicated system, seeking the key regulating locus (or the local regulating center) that regulates the proliferation and apoptosis of tumor cells, utilizing the regulating system of signal transduction will declare the apoptosis-induced local regulating center to be mostly FADD, Cytc, P53 and CASP3, CASP8, CASP7, CASP9 of the caspase family, the apoptosis-resistant local regulating center to be mostly PI3K 和 PKB/Akt and the cell-proliferating local regulation center mostly to be Raf. The main target of apoptosis induction would be TRAIL, Fas-L, TNFα, IL-1, ATR, ATM and Apaf-1. And the main regulating target of apoptosis resisting inhibition and proliferating inhibition would be EGF, NGF, TGFα and IL-3. Inhibiting the over-expression of cell proliferation is also an effective curing method.
Alternative emergency communication channel through television cable
Authors: C. Chandramouli, Vivek Agarwal
Venue: Proceedings of the 2009 IEEE International Workshop on Medical Measurements and Applications (2009)

This paper studies the feasibility of deploying an alternative communication channel using domestic TeleVision (TV) set with minor modification in hardware and software. The remote control, video and audio circuits are modified while a new component - Communication Transceiver (CT), is introduced between the cable entry point and the TV set. With the proposed system, the user can plug in a normal telephone to the CT to make and receive calls. In addition to this, textual messaging is also possible with the help of the remote control unit and the TV. Due to the wide spread use of television sets in homes, this alternative communication can be particularly effective during medical or other emergencies for information transfer, broadcast of announcements etc. It may also be useful for other applications such as an ‘intercom’ is societies living in clusters. Similarly, options for telemedicine are explored. All the details of this work are presented.
A model for employee performance trend analysis of distribution centers
Authors: Yu-Jen Wu, Jiang-Liang Hou
Venue: Human Factors in Ergonomics Manufacturing (2009)

To enhance the operational efficiency of a distribution center (DC), the DC managers have to identify the variations of employee performance with time and use the appropriate management strategies for employee rewards and training. However, the DC managers usually lack a systematic approach for analyzing the employee performance trend to determine the employees to be rewarded or trained. To solve the issue, this research develops a model for analysis of employee performance trend based on an employee performance estimation model. The proposed model consists of two main modules&mdash;namely, Derivation of Performance Control Limits (DPCL) and Appraisal of Performance Trend (APT). In the DPCL module, the employee performance can be estimated and the upper and lower control limits of employee performance can be determined. After that, by application of the APT module, the indices of employee performance trend can be derived and can be represented visually for efficient decision of DC managers. On the basis of the proposed model, this research also establishes a Web-based system for employee performance trend analysis (namely, EPTA platform). Furthermore, a real-world case was used to evaluate the applicability of the proposed model and platform. By application of the improved analysis diagram generated by the EPTA platform, the uncertain variations of performance trend can be removed to enhance the accuracy of performance trend analysis. As a result, the DC managers can efficiently determine whether the performance trends of employees indicate significant performance increases or decreases by using the proposed model and system. &copy; 2009 Wiley Periodicals, Inc.
On Deciding Satisfiability by DPLL($\Gamma+{\mathcal T}$) and Unsound Theorem Proving
Authors: Maria Paola Bonacina, Christopher Lynch, Leonardo Moura
Venue: Proceedings of the 22nd International Conference on Automated Deduction (2009)

Applications in software verification often require determining the satisfiability of first-order formulæ with respect to some background theories. During development, conjectures are usually false. Therefore, it is desirable to have a theorem prover that terminates on satisfiable instances. Satisfiability Modulo Theories (SMT) solvers have proven highly scalable, efficient and suitable for integrated theory reasoning. Superposition-based inference systems are strong at reasoning with equalities, universally quantified variables, and Horn clauses. We describe a calculus that tightly integrates Superposition and SMT solvers. The combination is refutationally complete if background theory symbols only occur in ground formulæ, and non-ground clauses are variable inactive. Termination is enforced by introducing additional axioms as hypotheses. The calculus detects any unsoundness introduced by these axioms and recovers from it.
An Adaptive Filter Model Based on Wavelet Transform
Authors: Wang Jianhui, Xiao Qian, Jiang Yan, Guan Shouping, Gu Shusheng
Venue: Proceedings of the 2009 WRI Global Congress on Intelligent Systems - Volume 03 (2009)

Due to the fact that it is not easy to filter out the overlap noise between noisy signal and noise using the traditional method of wavelet denoising, an adaptive filter model based on the wavelet transform is constructed. In this model, the adaptive filter is used to filter out noise secondary on the basis of first wavelet denoising on the original noisy signal. The experimental results show that the model can effectively remove the noise. And comparing with the original method of wavelet denosing, the SNR of the signal which uses the model to filter out noise is much higher, reaching a better filtering effect.
MPC-MPI: An MPI Implementation Reducing the Overall Memory Consumption
Authors: Marc Pérache, Patrick Carribault, Hervé Jourdren
Venue: Proceedings of the 16th European PVM/MPI Users' Group Meeting on Recent Advances in Parallel Virtual Machine and Message Passing Interface (2009)

Message-Passing Interface (MPI) has become a standard for parallel applications in high-performance computing. Within a single cluster node, MPI implementations benefit from the shared memory to speed-up intra-node communications while the underlying network protocol is exploited to communicate between nodes. However, it requires the allocation of additional buffers leading to a memory-consumption overhead. This may become an issue on future clusters with reduced memory amount per core. In this article, we propose an MPI implementation built upon the MPC framework called MPC-MPI reducing the overall memory footprint. We obtained up to 47% of memory gain on benchmarks and a real-world application.
A new learning algorithm with logarithmic performance index for complex-valued neural networks
Authors: R. Savitha, S. Suresh, N. Sundararajan, P. Saratchandran
Venue: Neurocomputing (2009)

In a fully complex-valued feed-forward network, the convergence of the Complex-valued Back Propagation (CBP) learning algorithm depends on the choice of the activation function, learning sample distribution, minimization criterion, initial weights and the learning rate. The minimization criteria used in the existing versions of CBP learning algorithm in the literature do not approximate the phase of complex-valued output well in function approximation problems. The phase of a complex-valued output is critical in telecommunication and reconstruction and source localization problems in medical imaging applications. In this paper, the issues related to the convergence of complex-valued neural networks are clearly enumerated using a systematic sensitivity study on existing complex-valued neural networks. In addition, we also compare the performance of different types of split complex-valued neural networks. From the observations in the sensitivity analysis, we propose a new CBP learning algorithm with logarithmic performance index for a complex-valued neural network with exponential activation function. The proposed CBP learning algorithm directly minimizes both the magnitude and phase errors and also provides better convergence characteristics. Performance of the proposed scheme is evaluated using two synthetic complex-valued function approximation problems, the complex XOR problem, and a non-minimum phase equalization problem. Also, a comparative analysis on the convergence of the existing fully complex and split complex networks is presented.
Facial Expressions Recognition from Image Sequences
Authors: Zahid Riaz, Christoph Mayer, Michael Beetz, Bernd Radig
Venue: Cross-Modal Analysis of Speech, Gestures, Gaze and Facial Expressions: COST Action 2102 International Conference Prague, Czech Republic, October 15-18, 2008 Revised Selected and Invited Papers (2009)

Human machine interaction is one of the emerging fields for the coming years. Interacting with others in our daily life is a face to face interaction. Faces are the natural way of interaction between humans and hence also useful in human machine interaction.This paper describes a novel technique to recognize the human facial expressions and manipulating this task for human machine interaction. We use 2D model based approach for human facial expression recognition. An active shape model (ASM) is fitted to the face image and texture information is extraced. This shape and texture information is combined with optical flow based temporal information of the image sequences to form a feature vector for the image. We experimented on image sequences of 97 different persons of Cohn-Kanade-Facial Expression Database. A classification rate of 92.4% is obtained using a binary decision tree classifier, whereas a classification rate of 96.4% is obtained using pairwise classifier based on support vector machines. This system is capable to work in realtime.
Integrating description logics and action formalisms: first results
Authors: Franz Baader, Carsten Lutz, Maja Miličic, Ulrike Sattler, Frank Wolter
Venue: Proceedings of the 20th national conference on Artificial intelligence - Volume 2 (2005)

We propose an action formalism that is based on description logics (DLs) and may be viewed as an instance of the Situation Calculus (SitCalc). In particular, description logic concepts can be used for describing the state of the world, and the pre- and post-conditions of actions. The main advantage of such a combination is that. on the one hand, the expressive power for describing world states and conditions is higher than in other decidable fragments of the Sitcalc, which are usually propositional. On the other hand, in contrast to the full Sitcalc, effective reasoning is still possible. In this paper, we perform a detailed investigation of how the choice of the DL influences the complexity of the standard reasoning tasks executability and projection in the corresponding action formalism. We also discuss semantic and computational problems in natural extensions of our framework.
Evidence-Based Clustering of Reads and Taxonomic Analysis of Metagenomic Data
Authors: Gianluigi Folino, Fabio Gori, Mike S. Jetten, Elena Marchiori
Venue: Proceedings of the 4th IAPR International Conference on Pattern Recognition in Bioinformatics (2009)

The rapidly emerging field of metagenomics seeks to examine the genomic content of communities of organisms to understand their roles and interactions in an ecosystem. In this paper we focus on clustering methods and their application to taxonomic analysis of metagenomic data. Clustering analysis for metagenomics amounts to group similar partial sequences, such as raw sequence reads, into clusters in order to discover information about the internal structure of the considered dataset, or the relative abundance of protein families. Different methods for clustering analysis of metagenomic datasets have been proposed. Here we focus on evidence-based methods for clustering that employ knowledge extracted from proteins identified by a BLASTx search (proxygenes). We consider two clustering algorithms introduced in previous works and a new one. We discuss advantages and drawbacks of the algorithms, and use them to perform taxonomic analysis of metagenomic data. To this aim, three real-life benchmark datasets used in previous work on metagenomic data analysis are used. Comparison of the results indicates satisfactory coherence of the taxonomies output by the three algorithms, with respect to phylogenetic content at the class level and taxonomic distribution at phylum level. In general, the experimental comparative analysis substantiates the effectiveness of evidence-based clustering methods for taxonomic analysis of metagenomic data.
Efficient haplotype inference with answer set programming
Authors: Esra Erdem, Ferhan Türe
Venue: Proceedings of the 23rd national conference on Artificial intelligence - Volume 1 (2008)

Identifying maternal and paternal inheritance is essential to be able to find the set of genes responsible for a particular disease. However, due to technological limitations, we have access to genotype data (genetic makeup of an individual), and determining haplotypes (genetic makeup of the parents) experimentally is a costly and time consuming procedure. With these biological motivations, we study a computational problem, called Haplotype Inference by Pure Parsimony (HIPP), that asks for the minimal number of haplotypes that form a given set of genotypes. HIPP has been studied using integer linear programming, branch and bound algorithms, SAT-based algorithms, or pseudo-boolean optimization methods. We introduce a new approach to solving HIPP, using Answer Set Programming (ASP). According to our experiments with a large number of problem instances (some automatically generated and some real), our ASP-based approach solves the most number of problems compared with other approaches. Due to the expressivity of the knowledge representation language of ASP, our approach allows us to solve variations of HIPP, e.g., with additional domain specific information, such as patterns/parts of haplotypes observed for some gene family, or with some missing genotype information. In this sense, the ASP-based approach is more general than the existing approaches to haplotype inference.
Effect of emulated head-tracking for reducing localization errors in virtual audio simulation
Authors: György Wersényi
Venue: IEEE Transactions on Audio, Speech, and Language Processing (2009)

Virtual audio simulation uses head-related transfer function (HRTF) synthesis and headphone playback to create a sound field similar to real-life environments. Localization performance is influenced by parameters such as the recording method and the spatial resolution of the HRTFs, equalization of the measurement chain as well as common headphone playback errors. The most important errors are in-the-head localization and front-back reversals. Among other cues, small movements of the head are considered to be important to avoid these phenomena. This study uses the BEACHTRON sound card and its HRTFs for emulating small head-movements by randomly moving the virtual sound source to emulate head-movements. This method does not need any additional equipment, sensors, or feedback. Fifty untrained subjects participated in the listening tests using different stimuli and presentation speed. A virtual target source was rendered in front of the listener by random movements of 1°-7°. Experiments showed that this kind of simulation can be helpful to resolve in-the-head localization, but there is no clear benefit for resolving front-back errors. Emulation of small head-movements of 2° could actually increase externalization rates in about 21% of the subjects while presentation speed is not significant.
Reasoning about concurrent execution, prioritized interrupts, and exogenous actions in the situation calculus
Authors: Giuseppe De Giacomo, Yves Lesperance, Hector J. Levesque
Venue: Proceedings of the Fifteenth international joint conference on Artifical intelligence - Volume 2 (1997)

As an alternative to planning, an approach to highlevel agent control based on concurrent program execution is considered. A formal definition in the situation calculus of such a programming language is presented and illustrated with a detailed example. The language includes facilities for prioritizing the concurrent execution, interrupting the execution when certain conditions become true, and dealing with exogenous actions. The language differs from other procedural formalisms for concurrency in that the initial state can be incompletely specified and the primitive actions can be user-defined by axioms in the situation calculus.
A Priority Based Transaction mechanism towards high reliable RFID services
Authors: Ching-Hsien Hsu, Shih-Chang Chen, Chia-Hao Yu
Venue: International Journal of Ad Hoc and Ubiquitous Computing (2009)

With the emergence of RFID technologies, the problem of scheduling reader-tag transmissions in dynamic systems has been arousing attention. This paper presents a priority based approach to coordinate simultaneous communications among multiple readers in order to increase the overall read rate in dynamic RFID systems. Through a contention-free scheduling, the reader-tag transmissions can be performed without collisions even the environment has hidden terminal. To evaluate the effectiveness of the proposed techniques, both network density and mobility of readers' join and leave are conducted in the tests. Experimental results show that the proposed techniques provide superior system throughput in both static and dynamic circumstances.
A QoS-Based Selection Mechanism Exploiting Business Relationships in Workflows
Authors: Dimosthenis Kyriazis, Konstantinos Tserpes, Ioannis Papagiannis, Kleopatra Konstanteli, Theodora Varvarigou
Venue: Proceedings of the 6th International Workshop on Grid Economics and Business Models (2009)

This paper deals with the problem of selecting service instances to execute workflow processes by not only taking into consideration Quality of Service (QoS) constraints, posed by the end-users, but also the business relationships between different service providers. These business / strategic relationships, the providers have, may affect the parameters of the service instances regarding the offered QoS level, and therefore the relationships need to be modeled and expressed with specific metrics. In this paper we present an innovative algorithm that maps workflow processes to service instances by taking into account the aforementioned metrics during the selection process. We also demonstrate the operation of the implemented algorithm and evaluate its effectiveness using a scenario, based on a 3D image rendering application.
Humanoid Robot Head Interaction Based on Face Recognition
Authors: Xiai Chen, Hong Xu, Ling Wang, Bingrui Wang, Chenna Yang
Venue: Proceedings of the 2009 Asia-Pacific Conference on Information Processing - Volume 01 (2009)

A humanoid robot head was developed with function of face detection, face recognition and face automatic follow. AdaBoost algorithm was used to detect face from video image and 2DPCA algorithm was used to realize face recognition. With mechanical structure design of two degrees of freedom and through control of motor, the humanoid robot head can track the objective face, which imitate the interaction between human.
Medication Adherence among the Elderly and Technology Aids: Results from an Online Survey Study
Authors: Huijuan Wu, A. Ant Ozok
Venue: Proceedings of the 3d International Conference on Online Communities and Social Computing: Held as Part of HCI International 2009 (2009)

Appropriate use of medications can improve the health of seniors and other patients, but inappropriate use or misuse can lead to adverse side effects, deterioration, and other conditions that may result in either more medical visits, hospitalizations or even death. This study aimed at exploring how senior people manage their daily medication and the acceptance towards the medication management technology and the service in assisted living facilities. Results of an online questionnaire survey with senior participants suggested that the online senior communities manage their medication in three ways: managed based on memory or routines, assisted by medication management tools, or helped by other members in the family. Although medication management technology is in low usage rate, participants showed positive attitude towards medication management service and accepting technology as a method to improve medication adherence, with the concerning issues on user acceptance, usability, and user preference.
Self-dual Codes over Small Prime Fields from Combinatorial Designs
Authors: Christos Koukouvinos, Dimitris E. Simos
Venue: Proceedings of the 3rd International Conference on Algebraic Informatics (2009)

In this paper, we give some new extremal ternary self-dual codes which are constructed by skew-Hadamard matrices. This has been achieved with the aid of a recently presented modification of a known construction method. In addition, we survey the known results for self-dual codes over GF(5) constructed via combinatorial designs, i.e. Hadamard and skew-Hadamard matrices, and we give a new self-dual code of length 72 and dimension 36 whose minimum weight is 16 over GF(5) for the first time. Furthermore, we give some properties of the generated self-dual codes interpreted in terms of algebraic coding theory, such as the orders of their automorphism groups and the corresponding weight enumerators.
Technology Research on Energy-Saving Transform of Existing Residential Buildings in Han Dan City
Authors: Wang Chang-long, Li Yao
Venue: Proceedings of the 2009 International Conference on Computational Intelligence and Natural Computing - Volume 02 (2009)

According to the climate characteristics of Handan, the existing residential building in Handan is studied and present characteristics of the existing residential building are analyzed in order to improve residential environment and condition, reduce energy consumption of existing residential buildings in cold regions and realize sustainable development. Practical technology and methods from the wall, roof, windows and balcony are put forward to provide basis and reference in terms of economy and energy-saving policy and scheme optimization of existing residential building.
A Reliable Skin Detection Using Dempster-Shafer Theory of Evidence
Authors: Mohammad Shoyaib, Mohammad Abdullah-Al-Wadud, Oksam Chae
Venue: Proceedings of the International Conference on Computational Science and Its Applications: Part II (2009)

Efficient skin detection can be considered as a primary work for so many vital applications in the image processing arena. For the last few years researchers have been trying in several ways to solve this problem. But most of the methods suffer from accuracy and reliability when applied to a variety of images. This happens due to some significant factors such as error in skin model, use of predefined threshold. We combine these issues by proposing an improved approach for skin detection that uses Dempster Shafer Theory of evidence to build a skin prediction model with better reliability. The proposed approach gives higher accuracy for a variety of skin images than existing methods in considerable computation time (similar to Bayesian classifier) and suitable for real-time applications.