Search
	Reviewers have found these items notable and have self-selected them for review.   Options: All Media Types Journals Proceedings Div Books Whole Books Other Date Reviewed Title Author Published Date Descending Ascending     1-10 of 7165 results Date Reviewed     An automatic proving approach to parameterized verification Li Y., Duan K., Jansen D., Pang J., Zhang L., Lv Y., Cai S.  ACM Transactions on Computational Logic 19(4): 1-25, 2018. Type: Article Network and security protocols occasionally require important but difficult to authenticate parameters such as the number in a communication party. The existing formal proofs of algorithms for verifying the required parameters in protocols by huma... Feb 20 2019     Technology and the intelligence community: challenges and advances for the 21st century Kosal M.,  Springer International Publishing, New York, NY, 2018. 287 pp. Type: Book (978-3-319752-31-0) If you have no background in the US intelligence community and your interests include the history, ethics, and organizational dynamics of intelligence agencies, you will find this book interesting. Technical intelligence began as a supplement to h... Feb 19 2019     Neighborhood semantics for modal logic Pacuit E.,  Springer International Publishing, New York, NY, 2017. 154 pp. Type: Book (978-3-319671-48-2) Reading and writing a review of this wonderful book has been a pleasure. Knowing the basics of propositional modal logic may explain why I enjoyed reading it. The author has gathered and surveyed many papers in writing this book. This is a must-re... Feb 14 2019     Advance compression and watermarking technique for speech signals Thanki R., Borisagar K., Borra S.,  Springer International Publishing, New York, NY, 2018. 69 pp. Type: Book (978-3-319690-68-1) In a time of increased interest in security assurance, all topics related to watermarking are important. While the book’s focus is securing speech, a technologically related problem of compression is also covered. While we are mostly used to... Feb 14 2019     Random numbers and computers Kneusel R.,  Springer International Publishing, New York, NY, 2018. 260 pp. Type: Book (978-3-319776-96-5), Reviews: (3 of 3) [CR has previously published a review of this book (see Review CR146350). The author of the book has written a rebuttal to the review (see Review CR146432), and the reviewer has written a re-rebuttal.]... Feb 13 2019     Distributed computing pearls Taubenfeld G.,  Morgan&Claypool Publishers, San Rafael, CA, 2018. 123 pp. Type: Book (978-1-681733-48-7) In computer science, the term “synchronization” can relate to coordination between processors or to contention. So I was expecting to find some program examples using the open message passing interface (OpenMPI) or a discussion of dist... Feb 13 2019     Mobile payment systems: secure network architectures and protocols Téllez J., Zeadally S.,  Springer International Publishing, New York, NY, 2017. 133 pp. Type: Book (978-3-319230-32-0) These days, if you go shopping in any of China’s major cities, one thing that you will probably not see is people making purchases using cash, or for that matter credit cards. Whether buying a TV, a burger, or groceries, the majority of reta... Feb 12 2019     Individual and collective graph mining: principles, algorithms, and applications Koutra D., Faloutsos C.,  Morgan&Claypool Publishers, San Rafael, CA, 2018. 206 pp. Type: Book (978-1-681730-39-4) Having recently finished my course on web intelligence, with topics such as knowledge graphs, social network analysis, and web mining, as well as supervising a PhD candidate on graph-based querying and pattern matching for linked open data, this b... Feb 11 2019     Cross-dependency inference in multi-layered networks: a collaborative filtering perspective Chen C., Tong H., Xie L., Ying L., He Q.  ACM Transactions on Knowledge Discovery from Data 11(4): 1-26, 2017. Type: Article Current and emerging networks have a duty to promote interconnections for new collaborative research and business between academia and industry. Multi-layered networks require descriptions of relations among nodes from different network nodes to e... Feb 11 2019     Improving integrated development environment commands knowledge with recommender systems Gasparic M., Gurbanov T., Ricci F.  ICSE-SEET 2018 (Proceedings of the 40th International Conference on Software Engineering: Software Engineering Education and Training, Gothenburg, Sweden,  May 27-Jun 3, 2018) 88-97, 2018. Type: Proceedings Integrated development environments (IDEs) are an essential part of software developers’ toolkits, enabling them to efficiently author, manage, and test their development projects. As a developer’s familiarity with IDE commands and fun... Feb 11 2019         Display 510152550100 per page
	Reproduction in whole or in part without permission is prohibited.   Copyright © 2000-2019 ThinkLoud, Inc. Terms of Use | Privacy Policy