Results 21 to 30 of about 424,265 (168)
Journal of Constitutional Law, 2020 The beginning of 2020 marked an unexpected turn for the world, the global pandemic of COVID-19 has affected every aspect of life. It has also created an unprecedented opportunity for governments to justify the expansion of their surveillance and ...
Clarisa Long
doaj
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
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
Quantum gate verification and its application in property testing
Physical Review Research, 2020 To guarantee the normal functioning of quantum devices in different scenarios, appropriate benchmarking tool kits are quite significant. Inspired by the recent progress on quantum state verification, here we establish a general framework of verifying a ...
Pei Zeng, You Zhou, Zhenhuan Liu
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
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
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
Testing of Kitazin for its Irritancy property in Rabbits [PDF]
Veterinary World, 2008 Kitazin (technical grade, 94% pure), is an organophosphate group of pesticide was evaluated for irritancy property on skin and mucous membrane of New Zealand rabbits.
G.D.Ranvir and V.P. Vadlamudi
doaj +2 more sources