Dramatic improvements in SAT solver technology over the last decade and the growing
need for more efficient and scalable verification solutions have fueled research in verification …

Despite recent advances in the pathogenesis, treatment, and public health response to
hepatitis C virus (HCV), HCV as it specifically relates to pregnancy has been a neglected …

This article reviews the medical conditions that are associated with adverse pregnancy
outcomes for women and their offspring. We also present the degree to which specific …

Regional levels of membrane phospholipids [phosphatidylethanolamine (PE), phosphatidylinositol
(PI), phosphatidylcholine (PC)] were measured in the brain of Alzheimer's disease (…

As the mobile platform continues to pervade all aspects of human activity, and mobile
applications, or mobile apps for short, on this platform tend to be faulty just like other types of …

In this paper, we use micro panel data to examine the effects of oil price changes on employment
and real wages, at the aggregate and industry levels. We also measure differences in …

This article addresses the need for age-relevant outcome measures for traumatic brain injury
(TBI) research and summarizes the recommendations by the inter-agency Pediatric TBI …

Object Although long-term neurological outcomes after traumatic brain injury (TBI) sustained
early in life are generally unfavorable, the effect of TBI on the development of academic …

Automated software testing aims to detect errors by producing test inputs that cover as much
of the application source code as possible. Applications for mobile devices are typically …

This paper addresses the problem of combinational equivalence checking (CEC) which
forms one of the key components of the current verification methodology for digital systems. A …