The original top scoring pair (TSP) classifier was proposed by Geman et al. (2004) for binary classification of diseases based on genetic profiles. We show the consistency of two versions of the TSP classifier and their two cross-validated counterparts relative to two different risks: the classical misclassification risk and an asymmetric version of this risk which gives more weight to the rare...

This paper suggests an approach to the development of software testing and debugging automation tools based on precise program behavior models. The program behavior model is defined as a set of events (event trace) with two basic binary relations over events -precedence and inclusion, and represents the temporal relationship between actions. A language for the computations over event traces is ...

A strategy is presented that allows a causal analysis of co-expressed genes, which may be subject to common regulatory influences. A state-of-the-art promoter analysis for potential transcription factor (TF) binding sites in combination with a knowledge-based analysis of the upstream pathway that control the activity of these TFs is shown to lead to hypothetical master regulators. This strategy...

Research Theme 1. Quantification of trace amount of proteins (Etsuro Ito, Mika Morikawa, Mugiho Kaneda) We are developing the method to detect and quantify very tiny amount of a given protein in a small volume, such as in a single cell. We aim at establishing an enterprise to commercialize protein quantification reagents and kits based on this technique. Using our “enzyme cycling method”, it is...

[1] We present a novel explanation of the physical processes behind one type of cloud and ground-level tornadogenesis within a supercell. We point out that the charge separation naturally found in these large thunderstorms can potentially serve to contract the preexisting angular momentum through the additional process of the electric force. On the basis of this, we present a plausible geometry...

Homomorphic signatures (HS) allows the derivation of the signature of the message-function pair (m, g), where m = g(m1, . . . ,mK), given the signatures of each of the input messages mk signed under the same key. Multi-key HS (M-HS) introduced by Fiore et al. (ASIACRYPT’16) further enhances the utility by allowing evaluation of signatures under different keys. While the unforgeability of existi...

Recent developments in voting theory show that Condorcet profiles embedded in electorates are responsible for conflicts between pairwise voting methods and for reversals of rankings under positional methods whenever candidates are dropped or added. Because of the strong symmetry of the rankings of the candidates within these profiles, it can be argued that Condorcet profiles represent complete ...

In this article, multiple-product PVRP with pickup and delivery that is used widely in goods distribution or other service companies, especially by railways, was introduced. A mathematical formulation was provided for this problem. Each product had a set of vehicles which could carry the product and pickup and delivery could simultaneously occur. To solve the problem, two meta-heuristic methods...

Axial temperature profiles of the vapor phase can provide valuable indication condensation process along heat transfer path and highlight impact non-condensable gases on a unit's performance. The local measurements at moderate vacuum conditions for binary mixture are presented alongside implementation assessment optical sensors in process. results show good depiction characteristic behavior dur...

binary decision diagram (bdd) is a data structure proved to be compact in representation and efficient in manipulation of boolean formulas. using binary decision diagram in network reliability analysis has already been investigated by some researchers. in this paper we show how an exact algorithm for network reliability can be improved and implemented efficiently by using cudd - colorado univer...