Set Based Analysis is an e cient and accurate program analysis for higher order lan guages It exploits an intuitive notion of approximation that treats program variables as sets of values We present a new derivation of set based analysis based on a reduc tion semantics that substantially simpli es previous formulations Most importantly the derivation easily extends from a functional core langua...

Results Five cases of CA-MRSA were identified. The isolates had multisensitive pattern on antibiotic susceptibility testing and were resistant to only penicillin and oxacillin. All cases were skin and soft-tissue infections, namely diabetic foot with gangrene, infected scalp haematoma, philtrum abscess in a healthcare worker, thrombophlebitis complicated with abscess and infected bedsore. All f...

Aim of this study was to evaluate, in Renal Transplant Recipients (RTR), a new method to predict Creatinine Clearance (Ccr) from Plasma Creatinine (Pcr) and from the value of Body Cell Mass (BCM). The values of BCM were obtained, from body impedance analysis (BIA) using an impedance plethysmograph, in 87 RTR with different graft function. The ratios of 24-hour Urinary Creatinine Excretion (Ucr)...

Data Envelopment Analysis (DEA) is the use of non-parametric mathematical programming that useful for measuring efficiency Decision Making Unit (DMU) an organization. This study uses Cooper and Rhodes (CCR) method known as DEA-CCR multiplier which aims to determine weight value each input output variable DMU being evaluated, but it not sufficient measure optimization. To get efficient a referen...

OBJECTIVE Although it is accepted that elevated plasma homocysteine (tHcy) levels occur in end-stage renal disease and type 2 diabetes, the changes with milder renal dysfunction (e.g., microalbuminuria) are less clearly established. This study explores the relationship among tHcy, creatinine clearance (Ccr), and albumin excretion rate (AER) in a population with type 2 diabetes. RESEARCH DESIG...

OBJECTIVES Extension of the standard model while retaining compliance with it is a challenging issue because there is currently no method for semantically or syntactically verifying an extended data model. A metadata-based extended model, named CCR+, was designed and implemented to achieve interoperability between standard and extended models. METHODS Furthermore, a multilayered validation me...

conclusions the outcome of this study indicates a higher discriminatory power of the rflp analysis based on the spa gene compared to the coa gene. moreover, the results of our study reveal that the resistance rate of s. aureus to some antimicrobial agents including linezolid is a growing concern. background antibiotic resistant staphylococcus aureus is a serious public health problem worldwide....