The Experts below are selected from a list of 526407 Experts worldwide ranked by ideXlab platform
Deepak Kumar - One of the best experts on this subject based on the ideXlab platform.
-
MCM-test: a fuzzy-set-Theory-Based Approach to differential analysis of gene pathways
BMC Bioinformatics, 2008Co-Authors: Lily R Liang, Vinay Mandal, Deepak KumarAbstract:Abstract Background Gene pathway can be defined as a group of genes that interact with each other to perform some biological processes. Along with the efforts to identify the individual genes that play vital roles in a particular disease, there is a growing interest in identifying the roles of gene pathways in such diseases. Results This paper proposes an innovative fuzzy-set-Theory-Based Approach, Multi-dimensional Cluster Misclassification test (MCM-test), to measure the significance of gene pathways in a particular disease. Experiments have been conducted on both synthetic data and real world data. Results on published diabetes gene expression dataset and a list of predefined pathways from KEGG identified OXPHOS pathway involved in oxidative phosphorylation in mitochondria and other mitochondrial related pathways to be deregulated in diabetes patients. Our results support the previously supported notion that mitochondrial dysfunction is an important event in insulin resistance and type-2 diabetes. Conclusion Our experiments results suggest that MCM-test can be successfully used in pathway level differential analysis of gene expression datasets. This Approach also provides a new solution to the general problem of measuring the difference between two groups of data, which is one of the most essential problems in most areas of research.
-
MCM-test: a fuzzy-set-Theory-Based Approach to differential analysis of gene pathways.
BMC bioinformatics, 2008Co-Authors: Lily R Liang, Vinay Mandal, Deepak KumarAbstract:Gene pathway can be defined as a group of genes that interact with each other to perform some biological processes. Along with the efforts to identify the individual genes that play vital roles in a particular disease, there is a growing interest in identifying the roles of gene pathways in such diseases. This paper proposes an innovative fuzzy-set-Theory-Based Approach, Multi-dimensional Cluster Misclassification test (MCM-test), to measure the significance of gene pathways in a particular disease. Experiments have been conducted on both synthetic data and real world data. Results on published diabetes gene expression dataset and a list of predefined pathways from KEGG identified OXPHOS pathway involved in oxidative phosphorylation in mitochondria and other mitochondrial related pathways to be deregulated in diabetes patients. Our results support the previously supported notion that mitochondrial dysfunction is an important event in insulin resistance and type-2 diabetes. Our experiments results suggest that MCM-test can be successfully used in pathway level differential analysis of gene expression datasets. This Approach also provides a new solution to the general problem of measuring the difference between two groups of data, which is one of the most essential problems in most areas of research.
Tomasz Truderung - One of the best experts on this subject based on the ideXlab platform.
-
Reducing Protocol Analysis with XOR to the XOR-Free Case in the Horn Theory Based Approach
Journal of Automated Reasoning, 2010Co-Authors: Ralf Küsters, Tomasz TruderungAbstract:In the Horn Theory Based Approach for cryptographic protocol analysis, cryptographic protocols and (Dolev---Yao) intruders are modeled by Horn theories and security analysis boils down to solving the derivation problem for Horn theories. This Approach and the tools Based on this Approach, including ProVerif, have been very successful in the automatic analysis of cryptographic protocols. However, dealing with the algebraic properties of operators, such as the exclusive OR (XOR), which are frequently used in cryptographic protocols has been problematic. In particular, ProVerif cannot deal with XOR. In this paper, we show how to reduce the derivation problem for Horn theories with XOR to the XOR-free case. Our reduction works for an expressive class of Horn theories. A large class of intruder capabilities and protocols that employ the XOR operator can be modeled by these theories. Our reduction allows us to carry out protocol analysis using tools, such as ProVerif, that cannot deal with XOR, but are very efficient in the XOR-free case. We implemented our reduction and, in combination with ProVerif, used it for the fully automatic analysis of several protocols that employ the XOR operator. Among others, our analysis revealed a new attack on an IBM security module.
-
Reducing Protocol Analysis with XOR to the XOR-free Case in the Horn Theory Based Approach
arXiv: Cryptography and Security, 2008Co-Authors: Ralf Kuesters, Tomasz TruderungAbstract:In the Horn Theory Based Approach for cryptographic protocol analysis, cryptographic protocols and (Dolev-Yao) intruders are modeled by Horn theories and security analysis boils down to solving the derivation problem for Horn theories. This Approach and the tools Based on this Approach, including ProVerif, have been very successful in the automatic analysis of cryptographic protocols w.r.t. an unbounded number of sessions. However, dealing with the algebraic properties of operators such as the exclusive OR (XOR) has been problematic. In particular, ProVerif cannot deal with XOR. In this paper, we show how to reduce the derivation problem for Horn theories with XOR to the XOR-free case. Our reduction works for an expressive class of Horn theories. A large class of intruder capabilities and protocols that employ the XOR operator can be modeled by these theories. Our reduction allows us to carry out protocol analysis by tools, such as ProVerif, that cannot deal with XOR, but are very efficient in the XOR-free case. We implemented our reduction and, in combination with ProVerif, applied it in the automatic analysis of several protocols that use the XOR operator. In one case, we found a new attack.
-
ACM Conference on Computer and Communications Security - Reducing protocol analysis with XOR to the XOR-free case in the horn Theory Based Approach
Proceedings of the 15th ACM conference on Computer and communications security - CCS '08, 2008Co-Authors: Ralf Küsters, Tomasz TruderungAbstract:In the Horn Theory Based Approach for cryptographic protocol analysis, cryptographic protocols and (Dolev-Yao) intruders are modeled by Horn theories and security analysis boils down to solving the derivation problem for Horn theories. This Approach and the tools Based on this Approach, including ProVerif, have been very successful in the automatic analysis of cryptographic protocols w.r.t. an unbounded number of sessions. However, dealing with the algebraic properties of operators such as the exclusive OR (XOR) has been problematic. In particular, ProVerif cannot deal with XOR. In this paper, we show how to reduce the derivation problem for Horn theories with XOR to the XOR-free case. Our reduction works for an expressive class of Horn theories. A large class of intruder capabilities and protocols that employ the XOR operator can be modeled by these theories. Our reduction allows us to carry out protocol analysis by tools, such as ProVerif, that cannot deal with XOR, but are very efficient in the XOR-free case. We implemented our reduction and, in combination with ProVerif, applied it in the automatic analysis of several protocols that use the XOR operator. In one case, we found a new attack.
Lily R Liang - One of the best experts on this subject based on the ideXlab platform.
-
MCM-test: a fuzzy-set-Theory-Based Approach to differential analysis of gene pathways
BMC Bioinformatics, 2008Co-Authors: Lily R Liang, Vinay Mandal, Deepak KumarAbstract:Abstract Background Gene pathway can be defined as a group of genes that interact with each other to perform some biological processes. Along with the efforts to identify the individual genes that play vital roles in a particular disease, there is a growing interest in identifying the roles of gene pathways in such diseases. Results This paper proposes an innovative fuzzy-set-Theory-Based Approach, Multi-dimensional Cluster Misclassification test (MCM-test), to measure the significance of gene pathways in a particular disease. Experiments have been conducted on both synthetic data and real world data. Results on published diabetes gene expression dataset and a list of predefined pathways from KEGG identified OXPHOS pathway involved in oxidative phosphorylation in mitochondria and other mitochondrial related pathways to be deregulated in diabetes patients. Our results support the previously supported notion that mitochondrial dysfunction is an important event in insulin resistance and type-2 diabetes. Conclusion Our experiments results suggest that MCM-test can be successfully used in pathway level differential analysis of gene expression datasets. This Approach also provides a new solution to the general problem of measuring the difference between two groups of data, which is one of the most essential problems in most areas of research.
-
MCM-test: a fuzzy-set-Theory-Based Approach to differential analysis of gene pathways.
BMC bioinformatics, 2008Co-Authors: Lily R Liang, Vinay Mandal, Deepak KumarAbstract:Gene pathway can be defined as a group of genes that interact with each other to perform some biological processes. Along with the efforts to identify the individual genes that play vital roles in a particular disease, there is a growing interest in identifying the roles of gene pathways in such diseases. This paper proposes an innovative fuzzy-set-Theory-Based Approach, Multi-dimensional Cluster Misclassification test (MCM-test), to measure the significance of gene pathways in a particular disease. Experiments have been conducted on both synthetic data and real world data. Results on published diabetes gene expression dataset and a list of predefined pathways from KEGG identified OXPHOS pathway involved in oxidative phosphorylation in mitochondria and other mitochondrial related pathways to be deregulated in diabetes patients. Our results support the previously supported notion that mitochondrial dysfunction is an important event in insulin resistance and type-2 diabetes. Our experiments results suggest that MCM-test can be successfully used in pathway level differential analysis of gene expression datasets. This Approach also provides a new solution to the general problem of measuring the difference between two groups of data, which is one of the most essential problems in most areas of research.
Bruce Gurd - One of the best experts on this subject based on the ideXlab platform.
-
quantity of material handling equipment a queuing Theory Based Approach
Robotics and Computer-integrated Manufacturing, 2009Co-Authors: Dhamodharan Raman, Sev V Nagalingam, Bruce GurdAbstract:In this paper, we discuss the development of a two step analytical Approach to determine the quantity of material handling equipment (MHE) required for effective handling of products among facilities. In the first step, a preliminary solution is obtained by considering the time required for loading and unloading of products, loaded travelling, empty travelling and breakdown of MHE. A detailed model, which integrates both operational and cost performance factors such as utilisation of MHE, work-in-process at the MHS and life-cycle cost, is then utilised to rank alternatives that are generated from the preliminary solution. The stochastic nature of a manufacturing system, which is not adequately addressed in the literature, is best modelled using queuing Theory. An illustrative problem is given, and it is shown that for all the considered problems our Approach outperforms the existing methods. The influence of various other factors including the operational characteristics of processing facilities, layout design, maintenance function, MHE speed and batch size in selection of the quantity of MHE is also demonstrated. Thus we show the significance of our proposed Approach and its capability to support an integrated decision making process.
Vinay Mandal - One of the best experts on this subject based on the ideXlab platform.
-
MCM-test: a fuzzy-set-Theory-Based Approach to differential analysis of gene pathways
BMC Bioinformatics, 2008Co-Authors: Lily R Liang, Vinay Mandal, Deepak KumarAbstract:Abstract Background Gene pathway can be defined as a group of genes that interact with each other to perform some biological processes. Along with the efforts to identify the individual genes that play vital roles in a particular disease, there is a growing interest in identifying the roles of gene pathways in such diseases. Results This paper proposes an innovative fuzzy-set-Theory-Based Approach, Multi-dimensional Cluster Misclassification test (MCM-test), to measure the significance of gene pathways in a particular disease. Experiments have been conducted on both synthetic data and real world data. Results on published diabetes gene expression dataset and a list of predefined pathways from KEGG identified OXPHOS pathway involved in oxidative phosphorylation in mitochondria and other mitochondrial related pathways to be deregulated in diabetes patients. Our results support the previously supported notion that mitochondrial dysfunction is an important event in insulin resistance and type-2 diabetes. Conclusion Our experiments results suggest that MCM-test can be successfully used in pathway level differential analysis of gene expression datasets. This Approach also provides a new solution to the general problem of measuring the difference between two groups of data, which is one of the most essential problems in most areas of research.
-
MCM-test: a fuzzy-set-Theory-Based Approach to differential analysis of gene pathways.
BMC bioinformatics, 2008Co-Authors: Lily R Liang, Vinay Mandal, Deepak KumarAbstract:Gene pathway can be defined as a group of genes that interact with each other to perform some biological processes. Along with the efforts to identify the individual genes that play vital roles in a particular disease, there is a growing interest in identifying the roles of gene pathways in such diseases. This paper proposes an innovative fuzzy-set-Theory-Based Approach, Multi-dimensional Cluster Misclassification test (MCM-test), to measure the significance of gene pathways in a particular disease. Experiments have been conducted on both synthetic data and real world data. Results on published diabetes gene expression dataset and a list of predefined pathways from KEGG identified OXPHOS pathway involved in oxidative phosphorylation in mitochondria and other mitochondrial related pathways to be deregulated in diabetes patients. Our results support the previously supported notion that mitochondrial dysfunction is an important event in insulin resistance and type-2 diabetes. Our experiments results suggest that MCM-test can be successfully used in pathway level differential analysis of gene expression datasets. This Approach also provides a new solution to the general problem of measuring the difference between two groups of data, which is one of the most essential problems in most areas of research.