|
|
|
|
|
|
Date Reviewed |
|
|
1 - 9 of 9
reviews
|
|
|
|
|
|
|
|
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 |
|
|
|
|
|
|
Game theory for data science: eliciting truthful information Faltings B., Radanovic G., Morgan & Claypool Publishers, San Rafael, CA, 2017. 152 pp. Type: Book (978-1-627057-29-5)
Quality is crucial for any use of collected data. In addition to more traditional methods of data cleansing for data warehousing, new kinds of data provided by people have become important. To get truthful information from the answerin...
|
Apr 12 2018 |
|
|
|
|
|
|
Big data analytics in genomics Wong K., Springer International Publishing, New York, NY, 2016. 428 pp. Type: Book (978-3-319412-78-8)
The discovery of the DNA molecule’s structure and sequence underlines the importance of its diverse functions within living organisms. The problem is analogous to, but much more complicated than, reverse-engineering abstract ...
|
Jul 10 2017 |
|
|
|
|
|
|
System verification: proving the design solution satisfies the requirements (2nd ed.) Grady J., Academic Press, Boston, MA, 2016. 414 pp. Type: Book (978-0-128042-21-2)
Do you work on the development of a complex system either as a procurer/sponsor or as a contractor/implementer, or do you intend to become a member of such a team? You will be much more successful if you are familiar with the general n...
|
Mar 2 2017 |
|
|
|
|
|
|
The comprehensibility theorem and the foundations of artificial intelligence Charlesworth A. Minds and Machines 24(4): 439-476, 2014. Type: Article
Kurt Gödel [1] has shown fundamental limits of mathematical logic and the unreality of the program of David Hilbert [2] by its incompleteness theorems published in 1931. Arthur Charlesworth tackles this theme’s development ov...
|
May 26 2015 |
|
|
|
|
|
|
The evolution of global Internet governance: principles and policies in the making Radu R., Chenou J., Weber R., Springer Publishing Company, Incorporated, New York, NY, 2014. 198 pp. Type: Book (978-3-642452-98-7), Reviews: (2 of 2)
There have been efforts to make research into new territories (for example, Antarctica, outer space, and orbs), new intellectual values, or new constructions (for instance, fundamental research in pure/basic sciences, and some technolo...
|
Apr 2 2015 |
|
|
|
|
|
|
Big data: related technologies, challenges and future prospects Chen M., Mao S., Zhang Y., Leung V., Springer International Publishing, Cham, Switzerland, 2014. 89 pp. Type: Book (978-3-319062-44-0), Reviews: (1 of 2)
The challenges of handling the data produced by new application areas are evolving enormously in this century. The life cycle of data, the tools to handle it, the application areas in need of solutions, the application of working but i...
|
Nov 21 2014 |
|
|
|
|
|
|
Temporal data mining Mitsa T., Chapman & Hall/CRC, Boca Raton, FL, 2010. 395 pp. Type: Book (978-1-420089-76-9), Reviews: (2 of 2)
In investigating temporal aspects of data, general knowledge discovery and data mining methods should be refined differently according to the data representation, the method to be applied, and the application domain. In addition to the...
|
Oct 27 2010 |
|
|
|
|
|
|
What motivates Wikipedians? Nov O. Communications of the ACM 50(11): 60-64, 2007. Type: Article
The Internet encyclopedia Wikipedia, an applied open-source project, is a very successful collaborative creation based on the open-source model. The success of volunteers in building this wide-scale and well-organized network of entrie...
|
Feb 7 2008 |
|
|
|
|
|
|
|
|
|
|
|