Abstract Superoptimization is a compilation technique that searches for the optimal sequence of instructions semantically equivalent to given (loop-free) initial sequence. With advent SMT solvers, it has been successfully applied LLVM code (to reduce number instructions) and Ethereum EVM bytecode its gas consumption). Both applications, when proven practical, have left out memory operations thu...

To test the hypothesis that in patients with acute myocardial infarction (AMI), changes in the concentrations of the serum carboxy-terminal peptide of type I procollagen (PICP) and the carboxy-terminal telopeptide of type I collagen (ICTP) reflect extracellular matrix reformation and degradation, respectively, in the infarct healing processes, we measured these serum concentrations by RIA and c...

1 Faculté des Sciences Technique de Mohammedia (FSTM), B.P. 146 Mohammedia, Maroc. 2 Agence Nationale de Réglementation des Télécommunications (ANRT), Complexe d’Affaires aile sud Ar-ryad, Hay riad 10100, BP 2939 Rabat Maroc 3 Laboratoire PRiSM, Universite de Versailles,45 avenue des Etats-Unis,78035 Versailles Cedex France. E-mail:{[email protected];[email protected], Karine.Zeitouni...

to study drought resistance indices of eight potato cultivars and to determine the most tolerant variety, two experiments were conducted in the form of complete randomized block design with three replications (stress and non-stress conditions) in 2002. seven indices, ssi, tol, sti, msti, gmp, tol , and mp were used to determine tolerant varieties. it was found that mp, sti, gmp, and msti were a...

T his article discusses a set of integrated , performance measurement techniques that increased Northrop Grumman Corporation's software success. These techniques can enable excellent project management in the following ways: • Defining effective metrics for sizing the project and measuring progress. • Using Earned Value Management (EVM) as the key, integrating tool for control. • Defining quali...

BACKGROUND We investigated correlations between lung volume collapsibility indices and pulmonary function test (PFT) results and assessed lobar differences in chronic obstructive pulmonary disease (COPD) patients, using paired inspiratory and expiratory three dimensional (3D) computed tomography (CT) images. METHODS We retrospectively assessed 28 COPD patients who underwent paired inspiratory...

Abstract The High Dimensional Model Representation (HDMR) method has been applied in several previous studies to obtain global sensitivity indices of uncorrelated model parameters in combustion systems. The method is based on a decomposition of the model output in terms of a hierarchy of cooperative effects among the model inputs, which is unique when the input parameters are independent. Howev...

As economic pressure and competition for budget among federal agencies has increased, there has been an increasing need for more granular data and robust management information systems. This is especially true for the execution of major civilian space programs. This need has resulted in new program management requirements being implemented in an attempt to limit cost and schedule growth. In par...