Search for Topics All Reviews
	Browse All Reviews > Theory Of Computation (F)     Options: All Media Types Journals Proceedings Div Books Whole Books Other Date Reviewed Title Author Publisher Published Date Descending Ascending     1-10 of 2729 Reviews about "Theory Of Computation (F)": Date Reviewed   Randomness and elements of decision theory applied to signals Borda M., Terebes R., Malutan R., Ilea I., Cislariu M., Miclea A., Barburiceanu S., Springer International Publishing, Cham, Switzerland, 2021. 259 pp.  Type: Book (978-3-030903-13-8) Communication and image processing systems are commonly modeled using random processes and are of immense interest in electronics engineering. This short volume attempts to provide an introduction to various topics related to this subject.... Sep 21 2023   Simple type theory: a practical logic for expressing and reasoning about mathematical ideas Farmer W., BIRKHAUSER, Basel, Switzerland, 2023. 312 pp.  Type: Book (3031211138) The book is an introduction to one of the dialects of type theory. All type theories are grounded in logic. The promise of simple type theory is that it can be understood and handled much easier than other versions of type theory, for example, dep... Sep 19 2023   A theoretical perspective on hyperdimensional computing Thomas A., Dasgupta S., Rosing T. Journal of Artificial Intelligence Research 72(1): 215-249, 2022.  Type: Article Thomas, Dasgupta, and Rosing offer a tricky essay on hyperdimensional (HD) computing, a representational-transformational-retrieval computing paradigm that is brain-inspired, starting from signal levels as electrodes. All the content is highly tec... Mar 27 2023   Quantum computing: an applied approach (2nd ed.) Hidary J., Springer International Publishing, Cham, Switzerland, 2021. 445 pp.  Type: Book (978-3-030832-73-5) Quantum computing is a new paradigm of computing that comes from an idea proposed, in the 1980s, by the Nobel Prize winning physicist Richard Feynman. Based on the principles of quantum mechanics, such as the superposition and entanglement of part... Feb 3 2023   A quantum computation workbook Choi M., Springer International Publishing, Cham, Switzerland, 2022. 446 pp.  Type: Book (978-3-030912-13-0) Quantum computing is a complex and highly interdisciplinary field that assumes deep knowledge of particle physics, quantum mechanics theory, mathematics, and information theory, to name the most important disciplines outside the also essential fie... Jan 30 2023   Cognition and intractability: a guide to classical and parameterized complexity analysis van Rooij I., Blokpoel M., Kwisthout J., Wareham T., Cambridge University Press, New York, NY, 2019. 374 pp.  Type: Book (978-1-108728-97-3) Is thinking computable--not just in principle, but in practice? In the past this was the subject of vigorous exchanges between philosophers [1,2,3]; today, with the promise of artificial intelligence (AI) appearing ever bright... Jun 15 2021   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   Proof theory and algebra in logic Ono H., Springer International Publishing, New York, NY, 2019. 168 pp.  Type: Book If you are interested in mathematical logic and its relationship to algebraic structures, this brief introductory book gives an excellent overview for you. The author of the book, Hiroakira Ono, has been a very active researcher in thi... Mar 3 2021   Model selection and error estimation in a nutshell Oneto L., Springer International Publishing, New York, NY, 2020. 132 pp.  Type: Book (978-3-030243-58-6) The “learning” in machine learning involves the acquisition of a model that reflects the behavior or the functionality behind some dataset. Since there are so many techniques (called classifiers) to process data and... Jan 27 2021   Quantum relational Hoare logic Unruh D. Proceedings of the ACM on Programming Languages 3(POPL): 1-31, 2019.  Type: Article All programs need to be verified--even post-quantum cryptography software. To prove properties of such protocols requires proofs that involve not only quantum programming, but also pairs of programs, an encryptor and an attack... Jan 22 2021       Display 510152550100 per page
	Reproduction in whole or in part without permission is prohibited.   Copyright 1999-2024 ThinkLoud® Terms of Use | Privacy Policy