|
|
|
|
|
|
Date Reviewed |
|
|
1 - 10 of 71
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 |
|
|
|
|
|
|
Human-machine interaction for automated vehicles: driver status monitoring and the takeover process Zhao Y., Lv C., Yang L., Academic Press, Amsterdam, the Netherlands, 2023. 260 pp. Type: Book (0443189978) Are you interested in the sophisticated application of computer vision, machine learning, and deep learning approaches to enhance cooperation between an intelligent vehicle and its driver? In this book, the authors describe methods and implementat...
|
Oct 30 2023 |
|
|
|
|
|
|
Automated annotations for AI data and model transparency Thirumuruganathan S., Kunjir M., Ouzzani M., Chawla S. Journal of Data and Information Quality 14(1): 1-9, 2022. Type: Article Individuals, organizations, and signals from automatic devices produce enormous amounts of heterogenous data. Data lakes for storage needs are suffice. Beyond storing, the quick deployment of enterprise private data also requires fast analysis. Bu...
|
Mar 1 2023 |
|
|
|
|
|
|
Organizing smart buildings and cities: promoting innovation and participation Magnaghi E., Flambard V., Mancini D., Jacques J., Gouvy N., Springer International Publishing, New York, NY, 2021. 200 pp. Type: Book (978-3-030606-06-0) Cities, institutions, and buildings aim to address the following:...
|
Oct 6 2022 |
|
|
|
|
|
|
Proof theory and algebra in logic Ono H., Springer International Publishing, New York, NY, 2019. 168 pp. Type: Book
If you are interested in mathematical logic and its relationship to algebraic structures, this brief introductory book gives an excellent overview for you. The author of the book, Hiroakira Ono, has been a very active researcher in thi...
|
Mar 3 2021 |
|
|
|
|
|
|
Evolutionary decision trees in large-scale data mining Kretowski M., Springer International Publishing, New York, NY, 2019. 180 pp. Type: Book (978-3-030218-50-8)
Decision trees are valuable counterparts to neural networks in data mining--the book confirms this statement. Evolutionary decision trees in large-scale data mining is a didactic introduction to, and overview of, the al...
|
Feb 15 2021 |
|
|
|
|
|
|
Cross-modality feature learning via convolutional autoencoder Liu X., Wang M., Zha Z., Hong R. ACM Transactions on Multimedia Computing, Communications, and Applications 15(1s): 1-20, 2019. Type: Article
This paper contributes to a hot research area that is the focus of many scientists, developers, and large corporations. The reason for the interest is that many important systems, for instance, ones for social media or data collection,...
|
Dec 10 2020 |
|
|
|
|
|
|
HIFUN - a high level functional query language for big data analytics Spyratos N., Sugibuchi T. Journal of Intelligent Information Systems 51(3): 529-555, 2018. Type: Article
Many big data projects have been developed over the past 15 years, and developments continue today. However, their formalism is different and specific to the implementation. A common formal framework is missing for phrasing analytic qu...
|
Nov 12 2019 |
|
|
|
|
|
|
Relational data factorization Paramonov S., Leeuwen M., Raedt L. Machine Learning 106(12): 1867-1904, 2017. Type: Article
General methods take advantage of developing frameworks for data mining and machine learning that can be specialized for efficiency according to the problem domain. This paper discusses a declarative modeling method as a form of relati...
|
Feb 7 2019 |
|
|
|
|
|
|
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 |
|
|
|
|
|
|
|
|
|
|
|