Search
for Topics
All Reviews
Browse All Reviews
>
Mathematics Of Computing (G)
> General (G.0)
Options:
All Media Types
Journals
Proceedings
Div Books
Whole Books
Other
Date Reviewed
Title
Author
Publisher
Published Date
Descending
Ascending
110 of 152 Reviews about "
General (G.0)
":
Date Reviewed
On the foundations of computing
Primiero G., Oxford University Press, Oxford, UK, 2020. 320 pp. Type: Book (9780198835653)
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, and courageous...
Aug 12 2021
Logical methods: the art of thinking abstractly and mathematically
Antonsen R., Springer, New York, NY, 2021. 304 pp. Type: Book (9783030637767)
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
Efficient differentiable programming in a functional arrayprocessing language
Shaikhha A., Fitzgibbon A., Vytiniotis D., Peyton Jones S. Proceedings of the ACM on Programming Languages 3(ICFP): 130, 2019. Type: Article
Differentiable programming, or automatic differentiation, is a powerful technique in many fields, including dynamic systems, machine learning, and computer vision, mainly for solving nonlinear problems. Forward (versus reverse) differentiation bas...
Jul 20 2021
randUTV: a blocked randomized algorithm for computing a rankrevealing UTV factorization
Martinsson P., QuintanaOrtí G., Heavner N. ACM Transactions on Mathematical Software 45(1): 126, 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. However, e...
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 (9783662625200)
Mathematical foundations of big data analytics
is a very welcome and timely addition to the growing area of big data analytics. The authors developand strictly follow in each of the nine chaptersa template consisting of motiva...
Jul 5 2021
Incomplete SMT techniques for solving nonlinear formulas over the integers
Borralleras C., Larraz D., RodríguezCarbonell E., Oliveras A., Rubio A. ACM Transactions on Computational Logic 20(4): 136, 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 of the wide rang...
May 27 2021
An introduction to compressed sensing
Vidyasagar M., SIAM, Philadelphia, PA, 2020. 341 pp. Type: Book (9781611976113)
Compressed sensing has emerged as a key technology in the signal processing area. This disruptive technique has found applications in many reallife problems. We know from the classical NyquistShannon theorem that a signal can be recovered perfec...
Feb 4 2021
Transformative teaching: a collection of stories of engineering faculty’s pedagogical journeys
Kellam N., Boklage A., Coley B., Morgan&Claypool Publishers, San Rafael, CA, 2019. 126 pp. Type: Book (9781681735450)
Teaching in higher education institutions is often a challenge, especially for those new to the profession. Classes/eligibility are typically not prescribed for teachers in this space, apart from subject knowledge. This can result in mediocre teac...
Jan 11 2021
Computing the geometric intersection number of curves
Despré V., Lazarus F. Journal of the ACM 66(6): 149, 2019. Type: Article
More than a century ago, Poincaré asked for a procedure to determine if a closed curve γ on a compact surface
S
could be contracted to a point, and suggested a computationally expensive method. Dehn proposed a simpler ...
Jan 1 2021
Learning and decisionmaking from rank data
Xia L., Morgan&Claypool Publishers, San Rafael, CA, 2019. 160 pp. Type: Book (9781681734408)
Due to the proliferation of Internet devices and connections, data is generated at an extreme speed. Right now, zettabytes of data are generated daily. How to make meaning out of mostly unstructured data is very difficult. Among these vast amounts...
Dec 23 2020
Display
5
10
15
25
50
100
per page
Reproduction in whole or in part without permission is prohibited. Copyright © 20002021 ThinkLoud, Inc.
Terms of Use

Privacy Policy