受强制性开放获取政策约束的文章 - Edoardo Manino了解详情
可在其他位置公开访问的文章：13 篇
On the efficiency of data collection for crowdsourced classification
E Manino, L Tran-Thanh, N Jennings
强制性开放获取政策： UK Research & Innovation
On the efficiency of data collection for multiple Naïve Bayes classifiers
E Manino, L Tran-Thanh, NR Jennings
Artificial Intelligence 275, 356-378, 2019
强制性开放获取政策： UK Research & Innovation
ESBMC v7. 4: Harnessing the Power of Intervals: (Competition Contribution)
RS Menezes, M Aldughaim, B Farias, X Li, E Manino, F Shmarov, K Song, ...
International Conference on Tools and Algorithms for the Construction and …, 2024
强制性开放获取政策： UK Engineering and Physical Sciences Research Council, European Commission …
Combining BMC and Fuzzing Techniques for Finding Software Vulnerabilities in Concurrent Programs
FK Aljaafari, R Menezes, E Manino, F Shmarov, MA Mustafa, LC Cordeiro
IEEE Access 10, 121365-121384, 2022
强制性开放获取政策： UK Engineering and Physical Sciences Research Council, European Commission …
Counterexample Guided Neural Network Quantization Refinement
JBP Matos, EB de Lima Filho, I Bessa, E Manino, X Song, LC Cordeiro
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 2023
强制性开放获取政策： UK Engineering and Physical Sciences Research Council, UK Research & Innovation
Streaming Bayesian Inference for Crowdsourced Classification
E Manino, L Tran-Thanh, N Jennings
Advances in Neural Information Processing Systems, 12782-12792, 2019
强制性开放获取政策： UK Research & Innovation
EBF 4.2: Black-Box Cooperative Verification for Concurrent Programs: (Competition Contribution)
F Aljaafari, F Shmarov, E Manino, R Menezes, LC Cordeiro
International Conference on Tools and Algorithms for the Construction and …, 2023
强制性开放获取政策： UK Engineering and Physical Sciences Research Council, European Commission …
Towards global neural network abstractions with locally-exact reconstruction
E Manino, I Bessa, LC Cordeiro
Neural Networks 165, 344-357, 2023
强制性开放获取政策： UK Engineering and Physical Sciences Research Council
Counter-Example Guided Neural Network Compression Refinement (CEG4N)
JBPM Junior, E Manino, X Song, IV Bessa, LC Cordeiro
5th Workshop on Formal Methods for ML-Enabled Autonomous Systems (FoMLAS), 2022
强制性开放获取政策： UK Engineering and Physical Sciences Research Council
Certified Private Inference on Neural Networks via Lipschitz-Guided Abstraction Refinement⋆
E Manino, B Magri, MA Mustafa, LC Cordeiro
6th Workshop on Formal Methods for ML-Enabled Autonomous Systems (FoMLAS …, 2023
强制性开放获取政策： UK Engineering and Physical Sciences Research Council
On the efficiency of data collection and aggregation for the combination of multiple classifiers
E Manino
University of Southampton, 2020
强制性开放获取政策： UK Research & Innovation
Verifying Components of Arm® Confidential Computing Architecture with ESBMC
T Wu, S Xiong, E Manino, G Stockwell, LC Cordeiro
International Static Analysis Symposium, 451-462, 2024
强制性开放获取政策： UK Engineering and Physical Sciences Research Council, European Commission …
EnnCore: End-to-End Conceptual Guarding of Neural Architectures
E Manino, D Carvalho, Y Dong, J Rozanova, X Song, MA Mustafa, ...
CEUR Workshop Proceedings 3087, 2022
强制性开放获取政策： UK Engineering and Physical Sciences Research Council, Royal Society UK
出版信息和资助信息由计算机程序自动确定