The adenovirus late IVa2 protein is required for maximally efficient transcription from the viral major late (ML) promoter, and hence, the synthesis of the majority of viral late proteins. This protein is a sequence-specific DNA-binding protein that also promotes the assembly of progeny virus particles. Previous studies have established that a IVa2 protein dimer (DEF-B) binds specifically to an...

This paper is concerned with the type analysis of logic programs where, by type, we mean a property closed under instantiation. We define a chain of abstractions from Herbrand constraints to logical formulas via the set of their solutions. Every step of the chain is an instance of abstract interpretation. The use of logical formulas for type analysis is a generalization of the traditional Boole...

In this paper, we study the following extremal problem and its relevance to the sum of the so-called superoptimal singular values of a matrix function: Given an m × n matrix function Φ, when is there a matrix function Ψ * in the set A n,m k such that Z T trace(Φ(ζ)Ψ * (ζ))dm(ζ) = sup Ψ∈A n,m k ˛ ˛ ˛ ˛ Z T trace(Φ(ζ)Ψ(ζ))dm(ζ) ˛ ˛ ˛ ˛ ? The set A n,m k is defined by A n,m k def = n Ψ ∈ H 1 0 (Mn...

Grafting novel and nature-inspired phenolic esters onto cellulose nanocrystals (CNCs) provides nanofibers with excellent protection against UV radiation when incorporated into a polymer matrix. In this work, CNCs decorated UV-absorbing diester (CNC-diethyl ferulate or CNC-DEF) obtained via click-type copper-catalyzed azide/alkyne cycloaddition reaction were polyvinyl alcohol (PVA) matrix to pro...

In this study, we propose a three-stage weighted sum method for identifying the group ranks of alternatives. In the first stage, a rank matrix, similar to the cross-efficiency matrix, is obtained by computing the individual rank position of each alternative based on importance weights. In the second stage, a secondary goal is defined to limit the vector of weights since the vector of weights ob...

BACKGROUND Free radical injury contributes to cardiac dysfunction during ischemia-reperfusion. Detoxification of free radicals requires maintenance of reduced glutathione (GSH) by NADPH. The principal mechanism responsible for generating NADPH and maintaining GSH during periods of myocardial ischemia-reperfusion remains unknown. Glucose-6-phosphate dehydrogenase (G6PD), the rate-limiting enzyme...

in recent years, there has been greater attempt to find numerical solutions of differential equations using wavelet's methods. the following method is based on vector forms of haar-wavelet functions. in this paper, we will introduce one dimensional haar-wavelet functions and the haar-wavelet operational matrices of the fractional order integration. also the haar-wavelet operational matrice...

The Australian Defence Standard Def (Aust) 5679, entitled “The Procurement of Computer-Based Safety-Critical Systems”, was originally published in August, 1998. Def (Aust) 5679 is currently undergoing revision. This paper describes the standard and discusses the issues that have been highlighted during the revision process.