| |
|
|
| |
| |
|
Date Reviewed |
|
| |
1 - 10 of 13
reviews
|
|
|
 |
|
|
|
|
Uncertainty management with fuzzy and rough sets: recent advances and applications
Bello R., Falcon R., Verdegay J., Springer International Publishing, New York, NY, 2019. 413 pp. Type: Book (978-3-030104-62-7)
This volume contains papers presented at the Second International Symposium on Fuzzy and Rough Sets (ISFUROS 2017). The symposium drew 55 submissions; 30 were accepted for presentation. Extended versions of 20 accepted papers are inclu...
|
Jun 3 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 |
|
|
|
|
|
|
Implementing a modal dependent type theory
Gratzer D., Sterling J., Birkedal L. Proceedings of the ACM on Programming Languages 3(ICFP): 1-29, 2019. Type: Article
Modalities are widely used in mathematics and computer science as an abstraction tool, but it turns out to be difficult to incorporate them in rich type theories. The authors address this problem, proposing a new dependent type theory ...
|
Apr 27 2021 |
|
|
|
|
|
|
A calculus for Esterel: If can, can. If no can, no can.
Florence S., You S., Tov J., Findler R. Proceedings of the ACM on Programming Languages 3(POPL): 1-29, 2019. Type: Article
Esterel is a synchronous language for reactive programming. Developed in the mid 1980s, it has been used in several safety-critical applications for aviation and nuclear power plant control....
|
Oct 27 2020 |
|
|
|
|
|
|
Cybercryptography: applicable cryptography for cyberspace security
Yan S., Springer International Publishing, New York, NY, 2019. 436 pp. Type: Book (978-3-319725-34-5), Reviews: (2 of 2)
Cybersecurity is a major challenge today, as computing systems and networks play an increasingly important role in modern society. Cryptography addresses this problem based on mathematical theory, trying to ensure secure communication ...
|
Aug 24 2020 |
|
|
|
|
|
|
Mathematical logic: on numbers, sets, structures, and symmetry
Kossak R., Springer International Publishing, New York, NY, 2018. 186 pp. Type: Book (978-3-319972-97-8)
The author states his goal in the preface: “to try to explain a certain approach to the theory of mathematical structures.” The book consists of two parts: the first part is about logic, sets, and numbers; and the s...
|
Sep 11 2019 |
|
|
|
|
|
|
Regularized non-negative matrix factorization for identifying differentially expressed genes and clustering samples: a survey
Liu J., Wang D., Gao Y., Zheng C., Xu Y., Yu J. IEEE/ACM Transactions on Computational Biology and Bioinformatics 15(3): 974-987, 2018. Type: Article
This paper surveys the application of non-negative matrix factorization (NMF), a well-known dimensionality reduction technique in bioinformatics “for identifying differentially expressed genes and clustering samples.̶...
|
Apr 5 2019 |
|
|
|
|
|
|
Circuit complexity, proof complexity, and polynomial identity testing: the ideal proof system
Grochow J., Pitassi T. Journal of the ACM 65(6): 1-59, 2018. Type: Article
Cook and Reckhow [1] proved that NP ≠ coNP if and only if in every propositional proof system there is a tautology whose proof size has a super-polynomial lower bound (in terms of the size of the proved formula). Currently, i...
|
Feb 13 2019 |
|
|
|
|
|
|
Complexity and expressive power of weakly well-designed SPARQL
Kaminski M., Kostylev E. Theory of Computing Systems 62(4): 772-809, 2018. Type: Article
The resource description framework (RDF) is a data model standard for the web that represents linked data as subject-predicate-object triples. Such triples can be naturally represented as labeled directed graphs. SPARQL is a query lang...
|
Sep 10 2018 |
|
|
|
|
|
|
A Hoare logic for GPU kernels
Kojima K., Igarashi A. ACM Transactions on Computational Logic 18(1): 1-43, 2017. Type: Article
Graphics processing units (GPUs) are hardware accelerators, originally designed to facilitate the fast rendering of images. Later, they became popular for computing in performance-sensitive areas because their highly parallel structure...
|
Aug 8 2018 |
|
|
|
|
|
| |
|
|
| |
|
|
