Nicht aus der Schweiz? Besuchen Sie lehmanns.de
Property Testing - Arnab Bhattacharyya, Yuichi Yoshida

Property Testing

Problems and Techniques
Buch | Softcover
427 Seiten
2023 | 1st ed. 2022
Springer Verlag, Singapore
978-981-16-8624-5 (ISBN)
CHF 97,35 inkl. MwSt
This book introduces important results and techniques in property testing, where the goal is to design algorithms that decide whether their input satisfies a predetermined property in sublinear time, or even in constant time – that is, time is independent of the input size. 



This book consists of three parts. The first part provides an introduction to the foundations of property testing. The second part studies the testing of specific properties on strings, graphs, functions, and constraint satisfaction problems. Vectors and matrices over real numbers are also covered. The third part is more advanced and explains general conditions, including full characterizations, under which properties are constant-query testable.



The first and second parts of the book are intended for first-year graduate students in computer science. They should also be accessible to undergraduate students with the adequate background. The third part can be used by researchers or ambitious graduate students who want to gain a deeper theoretical understanding of property testing.

Arnab Bhattacharyya obtained his Ph.D. from the Massachusetts Institute of Technology in 2012 and is currently an assistant professor at the National University of Singapore. He is a recipient of the Singapore National Research Foundation Fellowship for AI (2019) and the Ramanujan Fellowship in India (2014). His research area is in the theoretical foundations of data science. Yuichi Yoshida received a Ph.D. from Kyoto University in 2012 and is currently an associate professor at National Institute of Informatics, Japan. He is awarded JSPS Ikushi Prize in 2012 and the Commendation for Science and Technology by the Minister of Education, Culture, Sports, Science and Technology (The Young Scientists’ Prize) in 2017. His research interest is theoretical foundation of big data.

Chapter 1: Introduction.- Chapter 2: Basic Techniques.- Chapter 3: Strings.- Chapter 4: Graphs in the Adjacency Metrix Model.- Chapter 5: Graphs in the Bounded-Degree Model.- Chapter 6: Functions over Hypercubes.- Chapter 7: Massively Parameterized Model.- Chapter 8: Vectors and Matrices over the Reals.- Chapter 9: Graphs in the Adjacency Matrix Model.- Chapter 10: Graphs in the Bounded-Degree Model.- Chapter 11: Affine-Invariant Properties of Functions.- Chapter 12: Linear Properties of Functions.- Chapter 13: Massively Parameterized Model.

Erscheinungsdatum
Zusatzinfo 13 Illustrations, black and white; XIX, 427 p. 13 illus.
Verlagsort Singapore
Sprache englisch
Maße 210 x 279 mm
Themenwelt Informatik Software Entwicklung Qualität / Testen
Informatik Theorie / Studium Algorithmen
Mathematik / Informatik Mathematik Analysis
Schlagworte algorithms • Big Data • Data Science • property testing • Sublinear-time Algorithms • theory
ISBN-10 981-16-8624-6 / 9811686246
ISBN-13 978-981-16-8624-5 / 9789811686245
Zustand Neuware
Haben Sie eine Frage zum Produkt?
Mehr entdecken
aus dem Bereich
Die Softwaretest-Normen verstehen und anwenden

von Matthias Daigl; Rolf Glunz

Buch | Hardcover (2024)
dpunkt (Verlag)
CHF 62,85
Methoden und Techniken für Softwarequalität in der agilen Welt

von Tilo Linz

Buch | Hardcover (2023)
dpunkt (Verlag)
CHF 55,85
Aus- und Weiterbildung zum Certified Tester – Foundation Level nach …

von Andreas Spillner; Tilo Linz

Buch | Hardcover (2024)
dpunkt (Verlag)
CHF 55,85