|
|
|
|
|
|
Date Reviewed |
|
|
1 - 3 of 3
reviews
|
|
|
|
|
|
|
|
The alienation of fact: digital educational privatization, AI, and the false promise of bodies and numbers Saltman K., MIT Press, Cambridge, MA, 2022. 232 pp. Type: Book (0262544369) What does the alienation of fact and data mean? What are the reasons for these distortions, and why are they dangerous? The book’s subtitle suggests the main causes in the education sector: government’s decreasing role in regulation an...
|
Dec 22 2023 |
|
|
|
|
|
|
Formalization of the resolution calculus for first-order logic Schlichtkrull A. Journal of Automated Reasoning 61(1-4): 455-484, 2018. Type: Article
Are you interested in proof assistants in which human experts guide automatic theorem provers to verify subgoals? The paper focuses on research dedicated to a theoretical aim: applying a special proof assistant to produce human-readabl...
|
Oct 26 2018 |
|
|
|
|
|
|
Data just right: introduction to large-scale data & analytics Manoochehri M., Addison-Wesley Professional, Upper Saddle River, NJ, 2013. 256 pp. Type: Book (978-0-321898-65-4)
Handling large-scale data, or big data, is among the current great trends in information and communications technology (ICT). Other trends (mobility, virtual market places, social networks, and the Internet of Things (IoT) and humans) ...
|
Aug 26 2014 |
|
|
|
|
|
|
|
|
|
|
|