UNLABELLED BACKGROUND Historically, acid pretreatment technology for the production of bio-ethanol from corn stover has required severe conditions to overcome biomass recalcitrance. However, the high usage of acid and steam at severe pretreatment conditions hinders the economic feasibility of the ethanol production from biomass. In addition, the amount of acetate and furfural produced during...

There are several methods introduced to refining the accuracy of Photonic structures. No one has as yet studied the effect of Neural Networks in refining the accuracy of the photonic structure of the Photonic Crystal Fibers. In this paper we use The simulation that will be conducted using artificial neural networks to refining the accuracy of the photonic crystal fibers &.Artificial neural netw...

The study of protein subcellular localization is important to elucidate protein function. Even in well-studied organisms such as yeast, experimental methods have not been able to provide a full coverage of localization. The development of bioinformatic predictors of localization can bridge this gap. We have created a Bayesian network predictor called PSLT2 that considers diverse protein charact...

Abstract interpretation techniques prove properties of programs by computing abstract fixpoints. All such analyses suffer from the possibility of false errors. We present three techniques to automatically refine such abstract interpretations to reduce false errors: (1) a new operator called interpolated widen, which automatically recovers precision lost due to widen, (2) a new way to handle dis...

Several conceptual points are made concerning communication in games of asymmetric information. Equilibrium refinements of Sender-Receiver cheap-talk games that are based on the concept of a putative equilibrium, and which rely on the presence of a rich language with literal meanings, are discussed. Three nested criteria are proposed: strong announcement-proofness, announcement-proofness, and w...

Principal component analysis (PCA) is a well-established tool for making sense of high dimensional data by reducing it to a smaller dimension. Its extension to sparse principal component analysisprincipal component analysis!sparce, which provides a sparse low-dimensional representation of the data, has attracted alot of interest in recent years (see, e.g., [1, 2, 3, 5, 6, 7, 8, 9]). In many app...

Reasoning about concurrent programs can be very difficult due to the possibility of interference. The fundamental insight of Rely-Guarantee thinking is that developing concurrent designs can only be made compositional if the development method offers ways to record and reason about the interference that is inherent in concurrency. The original presentation of rely-guarantee rules used keywords ...