Computing Reviews
Today's Issue Hot Topics Search Browse Recommended My Account Log In
Browse by topic Browse by titles Authors Reviewers Browse by issue Browse Help
Search
  Browse All Reviews > Mathematics Of Computing (G) > General (G.0)  
 
Options:
 
  1-10 of 69 Reviews about "General (G.0)": Date Reviewed
   Simple type theory: a practical logic for expressing and reasoning about mathematical ideas
Farmer W., BIRKHAUSER, Basel, Switzerland, 2023. 312 pp.  Type: Book (3031211138)

What has evolved from the famous century-old (Bertrand) Russell paradox and Russell’s consequent theory of types needs, in my opinion, all the useful elaboration, clarification, explication, and explanation that it can get. Any nontrivial ex...

Feb 16 2024
  Advances in data science
Demir I., Lou Y., Wang X., Welker K., Springer International Publishing, Cham, Switzerland, 2021. 384 pp.  Type: Book (978-3-030798-90-1)

Advances in data science, published as volume 26 in Springer’s “Association for Women in Mathematics” series, summarizes the results from two related workshops--the first one held at the Institute for Computational an...

Feb 21 2023
  Block Walsh-Hadamard transform based binary layers in deep neural networks
Pan H., Badawi D., Cetin A. ACM Transactions on Embedded Computing Systems 1(1): 1-26, 2022.  Type: Article

Convolution is a mathematical operation that calculates the integral of the product of two functions or signals with one of the signals flipped. Modern deep neural networks consider convolution as the core operation; it is a technique for function...

Jan 17 2023
   A first journey through logic
Hils M., Loeser F., AMERICAN MATHEMATICAL SOCIETY, Providence, RI, 2019. 185 pp.  Type: Book (978-1-470452-72-8)

I have, for years and to largely underwhelmed ears, preached without portfolio the risk of treating connotation as denotation. So “first journey” in this book’s title indicated, to me, a not-especially-deep ...

Aug 24 2022
   Mathematical foundations of big data analytics
Shikhman V., Müller D., Springer International Publishing, New York, NY, 2021. 288 pp.  Type: Book (978-3-662625-20-0), Reviews: (2 of 2)

Data science--and big data analytics as its most recent subdiscipline--is a fashionable research area and teaching subject. Many open-access libraries and source codes provide the opportunity to play with the availabl...

Aug 19 2022
   On the foundations of computing
Primiero G., Oxford University Press, Oxford, UK, 2020. 320 pp.  Type: Book (978-0-198835-65-3)

This enterprising, enthusiastic, and energetic book undertakes to provide a foundational perspective on three phases of modern computing: theory, architecture, and scientific exploration. The author considers these to be exhaustive, an...

Aug 12 2021
  Logical methods: the art of thinking abstractly and mathematically
Antonsen R., Springer, New York, NY, 2021. 304 pp.  Type: Book (978-3-030637-76-7)

The book, dedicated to undergraduate students just starting their studies, promises a basic grounding in mathematics to be used in computer science (CS) and the related scientific subjects....

Jul 27 2021
  randUTV: a blocked randomized algorithm for computing a rank-revealing UTV factorization
Martinsson P., Quintana-Ortí G., Heavner N. ACM Transactions on Mathematical Software 45(1): 1-26, 2019.  Type: Article

Matrix singular value decomposition (SVD) has broad applications in both computational linear algebra and data analysis. Robust SVD algorithms and sophisticated software implementations have been available in the literature for decades...

Jul 12 2021
  Mathematical foundations of big data analytics
Shikhman V., Müller D., Springer International Publishing, New York, NY, 2021. 288 pp.  Type: Book (978-3-662625-20-0), Reviews: (1 of 2)

Mathematical foundations of big data analytics is a very welcome and timely addition to the growing area of big data analytics. The authors develop--and strictly follow in each of the nine chapters--a template ...

Jul 5 2021
  Incomplete SMT techniques for solving non-linear formulas over the integers
Borralleras C., Larraz D., Rodríguez-Carbonell E., Oliveras A., Rubio A. ACM Transactions on Computational Logic 20(4): 1-36, 2019.  Type: Article

It is well known that nonlinear integer arithmetic is undecidable due to a negative answer to Hilbert’s tenth problem. Still, constraint solving over nonlinear integer polynomials has attracted considerable attention because ...

May 27 2021
 
 
 
Display per page
Send Your Comments
Contact Us
Reproduction in whole or in part without permission is prohibited.   Copyright 1999-2024 ThinkLoud®
Terms of Use
| Privacy Policy