This note studies the learnability of ordered binary decision diagrams (obdds). We give a polynomial-time algorithm using membership and equivalence queries that nds the minimum obdd for the target respecting a given ordering. We also prove that both types of queries and the restriction to a given ordering are necessary if we want minimality in the output, unless P=NP. If learning has to occur ...

This paper presents an optimal control-based inverse method used to determine the distribution of the electrodes for the electroosmotic micromixers with external driven flow from the inlet. Based on the optimal control method, one Dirichlet boundary control problem is constructed to inversely find the optimal distribution of the electrodes on the sidewalls of electroosmotic micromixers and achi...

In this paper we deal with the numerical computation of the optimal form of reinsurance from the ceding company point of view, when the cedent seeks to maximize the adjustment coefficient of the retained risk and the reinsurance loading is an increasing function of the variance. We compare the optimal treaty with the best stop loss policy. The optimal arrangement can provide a significant impro...

Rice (Oryza sativa) is one of the most important food crops in the world. Numerous quantitative trait loci or genes controlling panicle architecture have been identified to increase grain yield. Yet grain yield, defined as the product of the number of well-ripened grains and their weight, is a complex trait that is determined by multiple factors such as source, sink and translocation capacity. ...

Using the intrinsic signal optical recording technique, we reconstructed the two-dimensional pattern of stimulus-evoked neuronal activities in the auditory cortex of anesthetized and paralyzed cats. The average magnitude of intrinsic signal in response to a pure tone stimulus increased steadily as the sound pressure level increased. A detailed analysis demonstrated that the evoked signals at ea...

In this document, we describe two strategies of distribution of computations that can be used to implement parallel solvers for dense linear algebra problems for Heterogeneous Computational Clusters of Multicore Processors (HCoMs). These strategies are called Heterogeneous Process Distribution Strategy (HPS) and Heterogeneous Data Distribution Strategy (HDS). They are not novel and have already...

Inversions are among the most common mutations acting on the order and orientation of genes in a genome, and polynomial-time algorithms exist to obtain a minimal length series of inversions that transform one genome arrangement to another. However, the minimum length series of inversions (the optimal sorting path) is often not unique as many such optimal sorting paths exist. If we assume that a...