Results 31 to 40 of about 424,265 (168)

Testing Symmetric Properties of Distributions [PDF]

SIAM Journal on Computing, 2008
We introduce the notion of a Canonical Tester for a class of properties on distributions, that is, a tester strong and general enough that "a distribution property in the class is testable if and only if the Canonical Tester tests it". We construct a Canonical Tester for the class of symmetric properties of one or two distributions, satisfying a ...
openaire   +3 more sources

Scalable Intrusion Detection in IoT Networks Via Property Testing and Federated Edge AI

IEEE Access
The 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

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

Polynomial property testing

Computer Science Review
Survey article to appear in Computer Science ...
Lior Gishboliner, Asaf Shapira
openaire   +2 more sources

Tester-Guided Graph Learning with End-to-End Detection Certificates for Triangle-Based Anomalies

Big Data and Cognitive Computing
We investigate anomaly detection in complex networks through a property-testing-guided graph neural model (PT-GNN) that provides an end-to-end miss-probability certificate (δ+α).
Manuel J. C. S. Reis
doaj   +1 more source

Testing the Effectiveness of Outlier Detecting Methods in Property Classification

Real Estate Management and Valuation, 2020
The introduction of the property value tax in Poland may lead to an increase in the tax burden on real estate. Pilot studies may be carried out on samples and the results should feature a high degree of certainty as to the extrapolation of the results on
Gnat Sebastian
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, Rafika Hajji, Roland Billen   +2 more
doaj   +1 more source

Relationships between Physical, Mechanical and Acoustic Properties of Asphalt Mixtures Using Ultrasonic Testing

Buildings, 2022
Ultrasonic testing can be used for a nondestructive and rapid determination of material properties. In this study, twelve asphalt mixture samples of four different types were fabricated and used in conventional material property tests and two ultrasonic ...
Shuguang Hou, Yong Deng, Rui Jin, Xijun Shi, Xue Luo   +4 more
doaj   +1 more source

Testing of property changes in recycled bedding for dairy cows

Research in Agricultural Engineering, 2016
The aim of this study was to analyse the change of the characteristics of different types of organic bedding in deepened stall base cubicles for dairy cows.
J. Lendelová, M. Žitňák, M. Bošanský, M. Šimko, P. Piterka   +4 more
doaj   +1 more source

Lower Bounds for Unitary Property Testing with Proofs and Advice [PDF]

Quantum
In unitary property testing a quantum algorithm, also known as a tester, is given query access to a black-box unitary and has to decide whether it satisfies some property.
Jordi Weggemans
doaj   +1 more source