In this extended abstract, we summarize our study on implementing tautology checking, a fundamental logic synthesis algorithm, using an FPGA-based reconfgurable applicationspecific coprocessor. The use of the tautology checking algorithm is first discussed followed by the specifics of hardware accelerator implementation and intetiace to application sofrware. We compare our hardware accelerator ...

Close to 30% of the US population experiences at least one mental or substance abuse disorder each year. Given the prevalence of mental health issues, this paper analyzes the role of mental health and cognitive functioning in household portfolio choice decisions. Generally, we find that households affected by mental health issues decrease investments in risky instruments. Various mental health ...

We identify the rate of off-label use of prescription drugs in the United States during 1993-2008. We apply Detection Controlled Estimation to a comprehensive crosssection of prescriptions and find that rates of off-label use rise from 30.2% to 39.1% during this period. This coincides with a surge in settlements of Department of Justice lawsuits for off-label marketing. Additionally, physicians...

Excess zeros are encountered in many empirical count data applications. We provide a new explanation of extra zeros, related to the underlying stochastic process that generates events. The process has two rates, a lower rate until the first event, and a higher one thereafter. We derive the corresponding distribution of the number of events during a fixed period and extend it to account for obse...

This study examines the work capacity of older adults in Japan. First, we estimate the relationship between a variety of health indicators and work status. Work status is divided into full-time work, part-time work, and retired for those in their 50s who are not yet age-eligible for public pension benefits. Then, we simulate work capacity for those in their pension-eligible 60s and the first ha...

BACKGROUND The general anesthetic etomidate acts via gamma-aminobutyric acid type A (GABA(A)) receptors, enhancing activation at low GABA and prolonging deactivation. Azi-etomidate is a photo-reactive etomidate derivative with similar pharmacological actions, which has been used to identify putative binding sites. The authors examine the irreversible effects of azi-etomidate photo-modification ...

شاخص سطح برگ استخراج‌شده (LAI) از تصاویر سنجش دور پارامتر مهمی، به‌منظور مدل‌سازی مکانی تولید پوشش گیاهی، محسوب می‌شود. معمولاً شاخص‌های گیاهی که با بازتاب طول موج‌های قرمز و مادون نزدیک محاسبه می‌شوند، در برآورد LAI استفاده روش‌های آماری، به‌کار می‌روند اما بسیاری این شاخص‌ها مقادیر متفاوت به اشباع می‌رسند. برای رفع محدودیت، محدودة لبة شده است؛ بنابراین، باید قابلیت داده‌های دور، ذرت علوفه‌ای، ...