Browse All Reviews
Mathematics Of Computing (G)
> General (G.0)
All Media Types
1-10 of 147 Reviews about "
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 of the wide rang...
May 27 2021
An introduction to compressed sensing
Vidyasagar M., SIAM, Philadelphia, PA, 2020. 341 pp. Type: Book (978-1-611976-11-3)
Compressed sensing has emerged as a key technology in the signal processing area. This disruptive technique has found applications in many real-life problems. We know from the classical Nyquist-Shannon 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 (978-1-681735-45-0)
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): 1-49, 2019. Type: Article
More than a century ago, Poincaré asked for a procedure to determine if a closed curve γ on a compact surface
could be contracted to a point, and suggested a computationally expensive method. Dehn proposed a simpler ...
Jan 1 2021
Learning and decision-making from rank data
Xia L., Morgan&Claypool Publishers, San Rafael, CA, 2019. 160 pp. Type: Book (978-1-681734-40-8)
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
Unlocking data to improve public policy
Hastings J., Howison M., Lawless T., Ucles J., White P. Communications of the ACM 62(10): 48-53, 2019. Type: Article
Data-driven decision-making is all the rage these days. Government and public sector organizations, as well as industry and private enterprise, are keen to leverage the flood of data available in the Information Age to make better decisions. Data ...
Nov 20 2020
Data mining to increase teaching performance in engineering education
Pascal G., Tornillo J., Minnaard C., Comoglio M. ICEIT 2019 (Proceedings of the 2019 8th International Conference on Educational and Information Technology, Cambridge, UK, Mar 2-4, 2019) 308-311, 2019. Type: Proceedings
A country’s success rate depends on many aspects. It is a mixture of different inner and outer conditions. Some factors are dependent on politics, and there is no possibility of building a strong and innovative industrial sector without an e...
Oct 29 2020
Applying cross project defect prediction approaches to cross-company effort estimation
Amasaki S., Yokogawa T., Aman H. PROMISE 2019 (Proceedings of the 15th International Conference on Predictive Models and Data Analytics in Software Engineering, Recife, Brazil, Sep 18, 2019) 76-79, 2019. Type: Proceedings
The problem is estimating the effort required to complete a software project. The problem is difficult because of the shortage of data within the project, so a promising strategy is to use data from other projects. Work has been done on predicting...
Jun 30 2020
The art of high performance computing for computational science, vol. 1: techniques of speedup and parallelization for general purposes
Geshi M., Springer International Publishing, New York, NY, 2019. 219 pp. Type: Book
This is the book I wish I had owned when I started supporting computational scientists a few years ago. It is revised and updated from a Japanese volume based on computational science lectures broadcast to a number of campuses through video confer...
May 12 2020
Generating functions in engineering and the applied sciences
Chattamvelli R., Shanmugam R., Morgan&Claypool Publishers, San Rafael, CA, 2019. 112 pp. Type: Book (978-1-681736-38-9)
A generating function is an algebraic function that represents a given sequence and the corresponding power series. Generating functions play a vital role in the area of enumerative combinatorics as an effective tool for determining different coun...
Mar 9 2020
Reproduction in whole or in part without permission is prohibited. Copyright © 2000-2021 ThinkLoud, Inc.