Results 21 to 30 of about 4,308,293 (309)
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
Testing Polymorphic Properties [PDF]
, 2010 This paper is concerned with testing properties of polymorphic functions. The problem is that testing can only be performed on specific monomorphic instances, whereas parametrically polymorphic functions are expected to work for any type. We present a schema for constructing a monomorphic instance for a polymorphic property, such that correctness of ...
Jean-Philippe Bernardy +2 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 +6 more sources
Testing formula satisfaction [PDF]
, 2012 We study the query complexity of testing for properties defined by read once formulae, as instances of massively parametrized properties, and prove several testability and non-testability results.
Yonatan Goldhirsh +5 more
core +1 more source
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 +5 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 +2 more sources