Results 21 to 30 of about 403,714 (266)
2012 IEEE 53rd Annual Symposium on Foundations of Computer Science, 2012 One of the motivations for property testing of boolean functions is the idea that testing can serve as a preprocessing step before learning. However, in most machine learning applications, it is not possible to request for labels of fictitious examples constructed by the algorithm.
Balcan, Maria-Florina +3 more
openaire +2 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
Discussion on the Key Links in the Process of Building Material Quality Inspection and Testing [PDF]
MATEC Web of Conferences, 2021 With the development of the construction industry, the applied building materials are becoming more and more diversified. As we all know, the performance and quality of the building materials themselves will have a direct impact on the quality of the ...
Sun Zhixin
doaj +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
Process Behaviour: Formulae vs. Tests (Extended Abstract) [PDF]
Electronic Proceedings in Theoretical Computer Science, 2010 Process behaviour is often defined either in terms of the tests they satisfy, or in terms of the logical properties they enjoy. Here we compare these two approaches, using extensional testing in the style of DeNicola, Hennessy, and a recursive version of
Andrea Cerone, Matthew Hennessy
doaj +1 more source
Computer Science ReviewSurvey article to appear in Computer Science ...
Lior Gishboliner, Asaf Shapira
openaire +2 more sources
Scalable Intrusion Detection in IoT Networks Via Property Testing and Federated Edge AI
IEEE AccessThe rapid proliferation of Internet of Things (IoT) devices has expanded the attack surface for cyber threats, necessitating real-time and scalable security solutions. Traditional Intrusion Detection Systems (IDS) require extensive data processing, which
Manuel J. Cabral S. Reis
doaj +1 more source
IFC-CityGML Data Integration for 3D Property Valuation
ISPRS International Journal of Geo-Information, 2023 The accurate assessment of proper value in complex and increasingly high-rise urban environments is a significant challenge. Previous research has identified property value as a composite of indoor elements, such as volume and height, and 3D simulations ...
Siham El Yamani +2 more
doaj +1 more source