Описание: "A column by Glenn Garvin on Dec. 20 stated that the National Science Foundation 'funded a study on Jell-O wrestling at the South Pole.' That is incorrect. The event took place during off-duty hours without NSF permission and did not involve taxpayer funds."
Corrections such as this one from the Miami Herald have become a familiar sight for readers, especially as news cycles demand faster and faster publication. While some factual errors can be humorous, they nonetheless erode the credibility of the writer and the organization. And the pressure for accuracy and accountability is increasing at the same time as in-house resources for fact-checking are dwindling. Anyone who needs or wants to learn how to verify names, numbers, quotations, and facts is largely on their own.
Enter The Chicago Guide to Fact-Checking, an accessible, one-stop guide to the why, what, and how of contemporary fact-checking. Brooke Borel, an experienced fact-checker, draws on the expertise of more than 200 writers, editors, and fellow checkers representing the New Yorker, Popular Science, This American Life, Vogue, and many other outlets. She covers best practices for fact-checking in a variety of media--from magazine articles, both print and online, to books and documentaries--and from the perspective of both in-house and freelance checkers. She also offers advice on navigating relationships with writers, editors, and sources; considers the realities of fact-checking on a budget and checking one's own work; and reflects on the place of fact-checking in today's media landscape.
"If journalism is a cornerstone of democracy, then fact-checking is its building inspector," Borel writes. The Chicago Guide to Fact-Checking is the practical--and thoroughly vetted--guide that writers, editors, and publishers need to maintain their credibility and solidify their readers' trust.
Автор: Gilles Barthe; Manuel Hermenegildo Название: Verification, Model Checking, and Abstract Interpretation ISBN: 3642113184 ISBN-13(EAN): 9783642113185 Издательство: Springer Рейтинг: Цена: 12577.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This volume contains the proceedings of the 11th International Conference on Veri?cation, Model Checking, and Abstract Interpretation (VMCAI 2010), held in Madrid, Spain, January 17-19, 2010.
Автор: Chao Wang; Gary D. Hachtel; Fabio Somenzi Название: Abstraction Refinement for Large Scale Model Checking ISBN: 1489993959 ISBN-13(EAN): 9781489993953 Издательство: Springer Рейтинг: Цена: 15672.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book summarizes recent research on abstraction techniques for model checking large digital system. Considering the size of today`s digital systems and the capacity of state-of-the-art verification algorithms, abstraction is the only viable solution for the successful application of model checking techniques to industrial-scale designs.
Автор: Doron A. Peled; M.J. Wooldridge Название: Model Checking and Artificial Intelligence ISBN: 364200430X ISBN-13(EAN): 9783642004308 Издательство: Springer Рейтинг: Цена: 9781.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Constitutes the refereed post-workshop proceedings of the 5th Workshop on Model Checking and Artificial Intelligence, MOCHART 2008, held in Patras, Greece, in July 2008 as a satellite event of ECAI 2008, the 18th biannual European conference on Artificial Intelligence.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
