Results 41 to 50 of about 24,229,753 (306)
Shenzhen Daxue xuebao. Ligong ban, 2023 In order to improve the self-healing property of concrete, a lightweight aggregate concrete mixed with mineral and water-absorbing resin was designed. Based on impedance spectroscopy testing, the effects of different particle size of absorbent polymers ...
WANG Xianfeng +3 more
doaj +1 more source
Linking unit tests and properties [PDF]
Proceedings of the 14th ACM SIGPLAN Workshop on Erlang, 2015 QuickCheck allows us to verify software against particular proper- ties. A property can be regarded as an abstraction over many unit tests. QuickCheck uses generated random input data to test such properties. If a counterexample is found, it becomes immediately clear what we have tested.
Alex Gerdes +3 more
openaire +2 more sources
Schur–Weyl Duality for the Clifford Group with Applications: Property Testing, a Robust Hudson Theorem, and de Finetti Representations [PDF]
Communications in Mathematical Physics, 2017 Schur–Weyl duality is a ubiquitous tool in quantum information. At its heart is the statement that the space of operators that commute with the t-fold tensor powers U⊗t\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage ...
D. Gross, Sepehr Nezami, M. Walter
semanticscholar +1 more source
Erasure-Resilient Property Testing [PDF]
SIAM Journal on Computing, 2018 Property testers form an important class of sublinear algorithms. In the standard property testing model, an algorithm accesses the input function via an oracle that returns function values at all queried domain points. In many realistic situations, the oracle may be unable to reveal the function values at some domain points due to privacy concerns, or
Kashyap Dixit +3 more
openaire +4 more sources
FlinkCheck: Property-Based Testing for Apache Flink
IEEE Access, 2019 Apache Flink is an open-source, soft real-time stream processing framework underlying many modern systems dealing with cloud and real-time computing, data analytics, and the Internet of Things, among others. As the complexity of stream-processing systems
Cristina Valentina Espinosa +3 more
doaj +1 more source
Testing the Linearity Assumption for Starch Structure-Property Relationships in Rices
Frontiers in Nutrition, 2022 Many properties of starch-containing foods are significantly statistically correlated with various structural parameters. The significance of a correlation is judged by the p-value, and this evaluation is based on the assumption of linear relationships ...
Yingting Zhao +6 more
doaj +1 more source
Proceedings of the thirty-third annual ACM symposium on Theory of computing, 2001 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Michal Parnas, Dana Ron
openaire +1 more source
Hierarchy Theorems for Property Testing [PDF]
computational complexity, 2009 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Oded Goldreich 0001 +3 more
openaire +3 more sources
Property testing of planarity in the CONGEST model [PDF]
Distributed computing, 2018 We give a distributed algorithm in the CONGEST model for property testing of planarity with one-sided error in general (unbounded-degree) graphs. Following Censor-Hillel et al. (Proceedings of the 30th International Symposium on Distributed Computing, pp.
Reut Levi, Moti Medina, D. Ron
semanticscholar +1 more source
Property testing in high-dimensional Ising models [PDF]
Annals of Statistics, 2017 This paper explores the information-theoretic limitations of graph property testing in zero-field Ising models. Instead of learning the entire graph structure, sometimes testing a basic graph property such as connectivity, cycle presence or maximum ...
Matey Neykov, Han Liu
semanticscholar +1 more source