منابع مشابه
Falling Back on Executable Specifications
We describe a new approach to employing specifications for software reliability. Rather than only using specifications to validate implementations, we additionally employ specifications as a reliable alternative to those implementations. Our approach, which we call Plan B, performs dynamic contract checking of methods. However, instead of halting the program upon a contract violation, we employ...
متن کاملMaking waste management public (or falling back to sleep)
Human-produced waste is a major environmental concern, with communities considering various waste management practices, such as increased recycling, landfilling, incineration, and waste-to-energy technologies. This article is concerned with how and why publics assemble around waste management issues. In particular, we explore Noortje Marres and Bruno Latour's theory that publics do not exist pr...
متن کاملCharity ratings
How do charitable donors respond to the third party ratings that signal the quality of charities? I investigate this question using a novel data set from Charity Navigator which provides quality ratings for 5400 charities. Since Charity Navigator prominently displays a charity’s star rating which is assigned based on its overall rating, one can identify the causal impact of a one star increase ...
متن کاملHealth Reform’s Impact on Charity Care
harity care programs (CCPs) have historically provided access to care and subsidized health coverage for uninsured and underinsured populations in the U.S. With the implementation of the Affordable Care Act (ACA), these safety‐net programs are adjusting to the new health care environment. Many individuals who previously used charity care services now have health coverage options through the ACA...
متن کاملFalling on deaf neurons
The brain of a bird that is singing appears to be able to block out certain signals and prevent them from influencing brain activity.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: BMJ
سال: 1996
ISSN: 0959-8138,1468-5833
DOI: 10.1136/bmj.313.7072.1566